Details

Time bar (total: 2.0s)

analyze76.0ms (3.8%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
18.8%18.7%81.2%0.1%0%0%0%5
34.4%34.3%65.6%0.1%0%0%0%6
54.7%54.6%45.3%0.1%0%0%0%7
64.8%64.8%35.1%0.1%0%0%0%8
76.2%76.1%23.8%0.1%0%0%0%9
81.8%81.8%18.1%0.1%0%0%0%10
87.8%87.7%12.2%0.1%0%0%0%11
90.8%90.7%9.2%0.1%0%0%0%12
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (61.4%)

Results
1.2s8256×body256valid
Bogosity

preprocess11.0ms (0.6%)

Algorithm
2×egg-herbie
Rules
8×rational.json-simplify-48
8×rational.json-simplify-47
4×rational.json-simplify-59
4×rational.json-simplify-39
4×rational.json-simplify-62
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01354
11554
21954
32354
43154
53154
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re))))
Outputs
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re))))
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
Symmetry

(sort re im)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
8×rational.json-simplify-48
8×rational.json-simplify-47
4×rational.json-simplify-59
4×rational.json-simplify-39
4×rational.json-simplify-62
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01027
11327
21727
32127
42927
52927
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
Outputs
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))

eval0.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
29.8b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶29.8b
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
Compiler

Compiled 11 to 7 computations (36.4% saved)

localize9.0ms (0.5%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓27.8b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Compiler

Compiled 34 to 7 computations (79.4% saved)

series2.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
re
@0
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
0.0ms
re
@inf
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
0.0ms
im
@inf
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
0.0ms
im
@0
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
0.0ms
im
@-inf
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite61.0ms (3%)

Algorithm
1×batch-egg-rewrite
Rules
1586×rational.json-1
1582×rational.json-2
1582×rational.json-4
1582×rational.json-3
696×rational.json-simplify-39
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0923
15023
214723
370623
4492623
Stop Event
1×node limit
Counts
1 → 43
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 -1 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2)) (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 1 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))

simplify77.0ms (3.8%)

Algorithm
1×egg-herbie
Rules
1306×rational.json-simplify-51
1038×rational.json-simplify-41
830×rational.json-simplify-5
720×rational.json-simplify-9
560×rational.json-simplify-11
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01372033
13842017
211972017
372342017
Stop Event
1×node limit
Counts
67 → 99
Calls
Call 1
Inputs
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(*.f64 -1 re)
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
(*.f64 -1 im)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)))
(+.f64 (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))))
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0))
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(+.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2))
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0))
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)))
(-.f64 0 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) -1))
(-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 -1 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3))
(-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))
(-.f64 (-.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3))
(-.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2))
(-.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2)) (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))
(*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 -1 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(*.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1)
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 1/2)
(*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))
(*.f64 2 (/.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
(*.f64 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1/2)
(*.f64 -1/2 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(*.f64 -1/2 (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(*.f64 -1/2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))
(*.f64 (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)) -1/2)
(*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)) -1/2)
(*.f64 (/.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 2)
(/.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)
(/.f64 1 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(/.f64 -1 (/.f64 1 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
(/.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1)
(/.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(/.f64 1/2 (/.f64 -1 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
(neg.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
Outputs
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 im (/.f64 1/2 (/.f64 im (pow.f64 re 2))))
(+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im)))
(+.f64 im (*.f64 (pow.f64 re 2) (/.f64 1/2 im)))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(+.f64 (/.f64 1/2 (/.f64 im (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) im))
(+.f64 (+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8)))
(+.f64 im (+.f64 (*.f64 (pow.f64 re 2) (/.f64 1/2 im)) (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 im (/.f64 1/2 (/.f64 im (pow.f64 re 2))))))
(+.f64 (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8)) (+.f64 im (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))))))
(+.f64 im (+.f64 (*.f64 (pow.f64 re 2) (/.f64 1/2 im)) (+.f64 (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8)) (*.f64 (pow.f64 re 6) (/.f64 1/16 (pow.f64 im 5))))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 re (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 re (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2)))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(+.f64 (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2))))))
(+.f64 (+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2)))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)))))
(*.f64 -1 re)
(*.f64 re -1)
(neg.f64 re)
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 (*.f64 re -1) (*.f64 (/.f64 (pow.f64 im 2) re) -1/2))
(+.f64 (neg.f64 re) (*.f64 (/.f64 (pow.f64 im 2) re) -1/2))
(+.f64 (neg.f64 re) (*.f64 (pow.f64 im 2) (/.f64 -1/2 re)))
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (*.f64 re -1) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)))
(+.f64 (neg.f64 re) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)))
(+.f64 (+.f64 (neg.f64 re) (*.f64 (pow.f64 im 2) (/.f64 -1/2 re))) (*.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))))
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))))
(+.f64 (*.f64 re -1) (+.f64 (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
(+.f64 (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (+.f64 (*.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (neg.f64 re) (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
(+.f64 (*.f64 (pow.f64 im 2) (/.f64 -1/2 re)) (+.f64 (*.f64 (pow.f64 im 4) (/.f64 1/8 (pow.f64 re 3))) (+.f64 (neg.f64 re) (*.f64 (pow.f64 im 6) (/.f64 -1/16 (pow.f64 re 5))))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 re (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))
(+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 re (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))
(+.f64 (+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2)))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))))
(+.f64 (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 1/2 (/.f64 (pow.f64 im 2) re))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2))))))
(+.f64 (+.f64 re (/.f64 1/2 (/.f64 re (pow.f64 im 2)))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)))))
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 im (/.f64 1/2 (/.f64 im (pow.f64 re 2))))
(+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im)))
(+.f64 im (*.f64 (pow.f64 re 2) (/.f64 1/2 im)))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im))
(+.f64 (/.f64 1/2 (/.f64 im (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) im))
(+.f64 (+.f64 im (*.f64 1/2 (/.f64 (pow.f64 re 2) im))) (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8)))
(+.f64 im (+.f64 (*.f64 (pow.f64 re 2) (/.f64 1/2 im)) (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8))))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im)))
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 im (/.f64 1/2 (/.f64 im (pow.f64 re 2))))))
(+.f64 (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8)) (+.f64 im (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))))))
(+.f64 im (+.f64 (*.f64 (pow.f64 re 2) (/.f64 1/2 im)) (+.f64 (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) -1/8)) (*.f64 (pow.f64 re 6) (/.f64 1/16 (pow.f64 im 5))))))
(*.f64 -1 im)
(*.f64 im -1)
(neg.f64 im)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))
(+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2))
(+.f64 (neg.f64 im) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2))
(+.f64 (neg.f64 im) (*.f64 (pow.f64 re 2) (/.f64 -1/2 im)))
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)))
(+.f64 (+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2)) (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8))
(+.f64 (neg.f64 im) (+.f64 (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) 1/8)) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2)))
(+.f64 (+.f64 (neg.f64 im) (*.f64 (pow.f64 re 2) (/.f64 -1/2 im))) (/.f64 (*.f64 (pow.f64 re 4) 1/8) (pow.f64 im 3)))
(+.f64 (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))))
(+.f64 (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8) (+.f64 (*.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16) (+.f64 (*.f64 im -1) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2))))
(+.f64 (+.f64 (neg.f64 im) (+.f64 (/.f64 (pow.f64 re 4) (/.f64 (pow.f64 im 3) 1/8)) (*.f64 (/.f64 (pow.f64 re 2) im) -1/2))) (*.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16))
(+.f64 (*.f64 (pow.f64 re 2) (/.f64 -1/2 im)) (+.f64 (neg.f64 im) (+.f64 (/.f64 (*.f64 (pow.f64 re 4) 1/8) (pow.f64 im 3)) (*.f64 (pow.f64 re 6) (/.f64 -1/16 (pow.f64 im 5))))))
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 0 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) -1))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 -1 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0) (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (-.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 0)) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1/2))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2)) (+.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 2) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 -1 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2) 1/2)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 1/2 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 2 (/.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1/2)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 -1/2 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 -1/2 (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 -1/2 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (-.f64 0 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)) -1/2)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 3)) -1/2)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (/.f64 1/2 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) 2)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 1)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 1 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 -1 (/.f64 1 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) -1)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 1/2 (/.f64 1 (*.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) 2)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 1/2 (/.f64 -1 (-.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(neg.f64 (neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

eval34.0ms (1.7%)

Compiler

Compiled 1841 to 1002 computations (45.6% saved)

prune50.0ms (2.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New97299
Fresh000
Picked011
Done000
Total973100
Error
0.2b
Counts
100 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓29.8b
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
▶32.0b
(log.f64 (neg.f64 re))
▶28.7b
(log.f64 im)
Compiler

Compiled 20 to 14 computations (30% saved)

localize3.0ms (0.2%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize4.0ms (0.2%)

Compiler

Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.2b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓29.8b
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
✓32.0b
(log.f64 (neg.f64 re))
✓28.7b
(log.f64 im)
Compiler

Compiled 20 to 14 computations (30% saved)

regimes85.0ms (4.2%)

Counts
3 → 3
Calls
Call 1
Inputs
(log.f64 im)
(log.f64 (neg.f64 re))
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
Outputs
(log.f64 (neg.f64 re))
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
(log.f64 im)
Calls

7 calls:

32.0ms
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
10.0ms
re
10.0ms
im
10.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
8.0ms
(*.f64 im im)
Results
ErrorSegmentsBranch
7.0b3re
3.7b3im
11.1b3(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
11.1b3(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
11.1b3(+.f64 (*.f64 re re) (*.f64 im im))
12.3b3(*.f64 re re)
7.5b3(*.f64 im im)
Compiler

Compiled 62 to 38 computations (38.7% saved)

bsearch33.0ms (1.6%)

Algorithm
2×binary-search
Steps
TimeLeftRight
12.0ms
7.642573992480244e+114
5.272567009755845e+115
21.0ms
3.235264360238311e-159
2.801476197287419e-146
Results
30.0ms256×body256valid
Compiler

Compiled 298 to 213 computations (28.5% saved)

regimes44.0ms (2.2%)

Accuracy

Total -53.5b remaining (-790.2%)

Threshold costs -53.5b (-790.2%)

Counts
2 → 4
Calls
Call 1
Inputs
(log.f64 im)
(log.f64 (neg.f64 re))
Outputs
(log.f64 (neg.f64 re))
(log.f64 im)
(log.f64 (neg.f64 re))
(log.f64 im)
Calls

2 calls:

34.0ms
im
9.0ms
re
Results
ErrorSegmentsBranch
9.6b2re
6.8b4im
Compiler

Compiled 13 to 9 computations (30.8% saved)

bsearch54.0ms (2.7%)

Algorithm
3×binary-search
Steps
TimeLeftRight
18.0ms
2.098241610024861e-18
6.865675003609293e-15
17.0ms
5.610810416719752e-42
1.306338470118856e-34
19.0ms
6.305078365708199e-72
1.8731220145232107e-66
Results
49.0ms416×body256valid
Compiler

Compiled 302 to 245 computations (18.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031119
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(if (<=.f64 im 4748743708283607/989321605892418136242010084078588760140525396404847359656252224371588900426127468681265604244972179958390685704064557357405460137227004839870184620407572671666427088594796544) (log.f64 (neg.f64 re)) (if (<=.f64 im 8000000000000000124475329035734744194145611175368491466958164643446670249318045626119883119320379581409650246942720) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 im)))
(if (<=.f64 im 5122271493173309/3794275180128377091639574036764685364535950857523710002444946112771297432041422848) (log.f64 (neg.f64 re)) (if (<=.f64 im 7355978596156267/12259964326927110866866776217202473468949912977468817408) (log.f64 im) (if (<=.f64 im 5831192761049855/5070602400912917605986812821504) (log.f64 (neg.f64 re)) (log.f64 im))))
(log.f64 im)
Outputs
(if (<=.f64 im 4748743708283607/989321605892418136242010084078588760140525396404847359656252224371588900426127468681265604244972179958390685704064557357405460137227004839870184620407572671666427088594796544) (log.f64 (neg.f64 re)) (if (<=.f64 im 8000000000000000124475329035734744194145611175368491466958164643446670249318045626119883119320379581409650246942720) (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 im)))
(if (<=.f64 im 5122271493173309/3794275180128377091639574036764685364535950857523710002444946112771297432041422848) (log.f64 (neg.f64 re)) (if (<=.f64 im 7355978596156267/12259964326927110866866776217202473468949912977468817408) (log.f64 im) (if (<=.f64 im 5831192761049855/5070602400912917605986812821504) (log.f64 (neg.f64 re)) (log.f64 im))))
(log.f64 im)
Compiler

Compiled 52 to 33 computations (36.5% saved)

soundness170.0ms (8.4%)

Algorithm
1×egg-herbie
Rules
1306×rational.json-simplify-51
1038×rational.json-simplify-41
830×rational.json-simplify-5
720×rational.json-simplify-9
560×rational.json-simplify-11
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01372033
13842017
211972017
372342017
Stop Event
1×node limit
Compiler

Compiled 13 to 10 computations (23.1% saved)

end55.0ms (2.7%)

Compiler

Compiled 96 to 57 computations (40.6% saved)

Profiling

Loading profile data...