Details

Time bar (total: 15.3s)

analyze1.5s (10%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
9.4%90.4%0.2%6
17.2%82.7%0.2%7
19.5%80.3%0.2%8
30.8%69%0.2%9
35.5%64.3%0.2%10
42.4%57.4%0.2%11
47.1%52.7%0.2%12
49%50.8%0.2%13
50.1%49.7%0.2%14
Compiler

Compiled 42 to 20 computations (52.4% saved)

sample130.0ms (0.9%)

Algorithm
1×intervals
Results
49.0ms93×body1024invalid
31.0ms237×body128valid
9.0ms26×body512invalid
5.0ms9×body1024valid
3.0ms13×body256invalid
3.0ms3×body2048invalid
3.0ms7×body512valid
2.0ms16×body128invalid
1.0ms3×body256valid
Compiler

Compiled 87 to 43 computations (50.6% saved)

simplify70.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
892×unswap-sqr_binary64
461×associate-/l*_binary64
323×associate-/r*_binary64
296×associate-*l/_binary64
286×associate-*r/_binary64
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02274
13772
26272
310572
424572
596872
6299872
7402872
8444472
9494272

prune9.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
32.7b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶32.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
Compiler

Compiled 122 to 57 computations (53.3% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.2b
(*.f64 (atan2.f64 x.im x.re) y.re)
28.1b
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
28.1b
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
34.2b
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))

rewrite131.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
32.7b
Rules
12×add-sqr-sqrt_binary64
8×pow1_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64
6×add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-prod_binary64
4×add-log-exp_binary64 sqrt-div_binary64
3×associate-*l*_binary64 associate-*r*_binary64
Counts
4 → 56
Calls

4 calls:

8.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
4.0ms
(*.f64 (atan2.f64 x.im x.re) y.re)
4.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
4.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
Compiler

Compiled 2424 to 343 computations (85.8% saved)

series349.0ms (2.3%)

Error
18.7b
Counts
4 → 66
Calls

4 calls:

158.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
52.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
51.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
26.0ms
(*.f64 (atan2.f64 x.im x.re) y.re)
Compiler

Compiled 7052 to 3691 computations (47.7% saved)

simplify129.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
631×associate-/l*_binary64
526×associate-*l*_binary64
459×associate-/r*_binary64
172×associate-*l/_binary64 associate-*r/_binary64
159×neg-sub0_binary64
Counts
122 → 73
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02103107
14912942
213562942
347282942
449662942

prune148.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New64973
Fresh000
Picked101
Done000
Total65974
Error
18.7b
Counts
74 → 9
Alt Table
StatusErrorProgram
42.1b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (neg.f64 (log.f64 x.re))))))
43.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.re)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
33.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (*.f64 y.im (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))
▶32.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
48.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
49.5b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
33.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
38.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))) 3)))
43.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
Compiler

Compiled 3592 to 1403 computations (60.9% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

28.1b
(sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))
28.1b
(sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))
28.1b
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
34.2b
(sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))

rewrite248.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
18.7b
Rules
15×*-un-lft-identity_binary64
13×sqrt-prod_binary64
10×add-sqr-sqrt_binary64
7×pow1_binary64 add-cube-cbrt_binary64
6×sqrt-div_binary64
Counts
4 → 57
Calls

4 calls:

36.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))
8.0ms
(sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))
4.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
Compiler

Compiled 3685 to 1987 computations (46.1% saved)

series478.0ms (3.1%)

Error
18.6b
Counts
4 → 75
Calls

4 calls:

145.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
69.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
67.0ms
(sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))
67.0ms
(sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))
Compiler

Compiled 10161 to 6232 computations (38.7% saved)

simplify105.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
698×associate-*r*_binary64
631×associate-/l*_binary64
489×associate-*l*_binary64
459×associate-/r*_binary64
172×associate-*l/_binary64 associate-*r/_binary64
Counts
132 → 75
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02143415
14473271
212453271
355653271

prune186.0ms (1.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New73275
Fresh088
Picked011
Done000
Total731184
Error
18.6b
Counts
84 → 11
Alt Table
StatusErrorProgram
42.1b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (neg.f64 (log.f64 x.re))))))
43.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.re)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
33.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (*.f64 y.im (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))
✓32.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
48.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
49.5b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
▶33.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
38.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))) 3)))
50.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (neg.f64 x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
43.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
51.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
Compiler

Compiled 4603 to 2482 computations (46.1% saved)

localize44.0ms (0.3%)

Local error

Found 4 expressions with local error:

28.1b
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
34.2b
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
34.2b
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
34.2b
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))

rewrite205.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
18.6b
Rules
6×add-sqr-sqrt_binary64
5×pow1_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
3×sin-sum_binary64 sqrt-prod_binary64
2×sqrt-div_binary64
Counts
4 → 39
Calls

4 calls:

7.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
6.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
6.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
4.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
Compiler

Compiled 3491 to 1729 computations (50.5% saved)

series816.0ms (5.3%)

Error
18.6b
Counts
4 → 81
Calls

4 calls:

173.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
173.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
171.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
76.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
Compiler

Compiled 18492 to 10459 computations (43.4% saved)

simplify131.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
662×associate-*r*_binary64
631×associate-/l*_binary64
459×associate-/r*_binary64
425×associate-*l*_binary64
172×associate-*l/_binary64 associate-*r/_binary64
Counts
120 → 80
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01845217
14354905
211994905
353734905

prune247.0ms (1.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New77380
Fresh189
Picked011
Done011
Total781391
Error
18.6b
Counts
91 → 13
Alt Table
StatusErrorProgram
42.1b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (neg.f64 (log.f64 x.re))))))
43.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.re)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
33.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (*.f64 y.im (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))
50.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 x.im)))))))
✓32.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
48.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
49.5b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
✓33.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
50.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (neg.f64 x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
43.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
51.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
38.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
▶33.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))))))
Compiler

Compiled 6520 to 3403 computations (47.8% saved)

localize59.0ms (0.4%)

Local error

Found 4 expressions with local error:

34.2b
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
34.2b
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
34.2b
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
34.2b
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))

rewrite224.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
18.6b
Rules
4×sin-sum_binary64 pow1_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
Counts
4 → 32
Calls

4 calls:

9.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
7.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
7.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
7.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
Compiler

Compiled 4332 to 2289 computations (47.2% saved)

series1.2s (7.8%)

Error
18.6b
Counts
4 → 84
Calls

4 calls:

202.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
199.0ms
(sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))
197.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
195.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))
Compiler

Compiled 28896 to 16435 computations (43.1% saved)

simplify178.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
796×cancel-sign-sub-inv_binary64
442×times-frac_binary64
400×distribute-rgt-neg-in_binary64
327×associate-*r*_binary64
295×associate-/l*_binary64
Counts
116 → 88
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01436140
12875752
26405752
330215752
450475752

prune352.0ms (2.3%)

Pruning

14 alts after pruning (11 fresh and 3 done)

PrunedKeptTotal
New87188
Fresh01010
Picked011
Done022
Total8714101
Error
18.6b
Counts
101 → 14
Alt Table
StatusErrorProgram
50.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 x.im)))))))))
42.1b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (neg.f64 (log.f64 x.re))))))
43.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.re)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
33.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (+.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (*.f64 y.im (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))
50.9b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 x.im)))))))
32.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
48.4b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
49.5b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (sqrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
33.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
50.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (neg.f64 x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
43.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
51.7b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))) (cbrt.f64 (+.f64 x.im (*.f64 1/2 (/.f64 (pow.f64 x.re 2) x.im)))))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
38.8b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (cbrt.f64 (pow.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))))
33.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2)))))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.re 2) (pow.f64 x.im 2))))))))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 x.im 2) (pow.f64 x.re 2)))) y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))))))
Compiler

Compiled 8883 to 4577 computations (48.5% saved)

regimes3.9s (25.3%)

Accuracy

Total 0.2b remaining (0.8%)

Threshold costs 0.2b (0.8%)

Compiler

Compiled 68107 to 41540 computations (39% saved)

bsearch21.0ms (0.1%)

Compiler

Compiled 41 to 19 computations (53.7% saved)

simplify12.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
14×*-commutative_binary64
8×+-commutative_binary64
4×sub-neg_binary64
3×neg-mul-1_binary64 neg-sub0_binary64
2×cancel-sign-sub-inv_binary64 distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045277
164277
274277
380277
484277
585277
685277

end3.0ms (0%)

Compiler

Compiled 148 to 69 computations (53.4% saved)

sample4.4s (28.5%)

Algorithm
1×intervals
Results
1.3s2539×body1024invalid
884.0ms7573×body128valid
343.0ms944×body512invalid
165.0ms184×body2048invalid
88.0ms172×body1024valid
78.0ms324×body256invalid
60.0ms505×body128invalid
58.0ms163×body512valid
20.0ms84×body256valid
7.0ms8×body2048valid
Compiler

Compiled 1113 to 669 computations (39.9% saved)

Profiling

Loading profile data...