see

Complex numbers

Insight

The derivation produced 1 formula-valued conclusion(s).
Main conclusion: :test is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) }.

Selected conclusions:

• :test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } .

Explanation

The generated JavaScript starts from 0 compiled source fact(s), applies 9 compiled rule(s), and stops only after a fixpoint is reached.

A compact derivation path is:

• Rule 9: if ((-1 0) (0.5 0)) complex:exponentiation ?C1; ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ?C2; ((0 1) (0 1)) complex:exponentiation ?C3; ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ?C4; (2 0) complex:asin ?C5; (2 0) complex:acos ?C6, then :test :is { ((-1 0) (0.5 0)) complex:exponentiation ?C1 . ((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ?C2 . ((0 1) (0 1)) complex:exponentiation ?C3 . ((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ?C4 . (2 0) complex:asin ?C5 . (2 0) complex:acos ?C6 }. This produced :test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } .

Evidence

These are the formula-valued facts produced by the derivation.

:test :is { ((-1 0) (0.5 0)) complex:exponentiation (-3.49148133884313e-15 1) . ((2.71828182845905 0) (0 3.14159265358979)) complex:exponentiation (-1 3.23108914886517e-15) . ((0 1) (0 1)) complex:exponentiation (0.207879576350761 0) . ((2.71828182845905 0) (-1.57079632679 0)) complex:exponentiation (0.207879576351779 0) . (2 0) complex:asin (1.5707963267949 1.31695789692482) . (2 0) complex:acos (0 -1.31695789692482) } .