Details

Time bar (total: 15.6s)

analyze1.8s (11.4%)

Algorithm
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
48.9%50.9%0.2%13
50%49.7%0.2%14
Compiler

Compiled 42 to 20 computations (52.4% saved)

sample5.6s (35.8%)

Results
2.3s2480×body1024invalid
1.7s7805×body128valid
590.0ms942×body512invalid
232.0ms176×body2048invalid
217.0ms357×body256invalid
186.0ms196×body1024valid
122.0ms532×body128invalid
91.0ms155×body512valid
33.0ms83×body256valid
24.0ms17×body2048valid
Compiler

Compiled 125 to 59 computations (52.8% saved)

simplify24.0ms (0.2%)

Algorithm
egg-herbie
Rules
892×unswap-sqr_binary64
451×associate-/l*_binary64
320×associate-/r*_binary64
273×associate-*l/_binary64
263×associate-*r/_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02040
13938
27638
312638
428638
5109638
6414138
Stop Event
node limit
Counts
1 → 2

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
4.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
32.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))) (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))))
7.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
Compiler

Compiled 206 to 97 computations (52.9% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(*.f64 y.re (atan2.f64 x.im x.re))
0.5b
(exp.f64 (atan2.f64 x.im x.re))
0.7b
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
34.2b
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

series470.0ms (3%)

Counts
4 → 68
Calls

4 calls:

383.0ms
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
78.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
6.0ms
(*.f64 y.re (atan2.f64 x.im x.re))
4.0ms
(exp.f64 (atan2.f64 x.im x.re))

rewrite54.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
609×log-prod_binary64
252×prod-diff_binary64
232×expm1-udef_binary64
232×log1p-udef_binary64
230×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01340
125640
2305540
Stop Event
node limit
Counts
4 → 86
Calls

4 calls:

53.0ms
(*.f64 y.re (atan2.f64 x.im x.re))
53.0ms
(exp.f64 (atan2.f64 x.im x.re))
53.0ms
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
53.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))

simplify63.0ms (0.4%)

Algorithm
egg-herbie
Rules
695×fma-def_binary64
376×associate-*r*_binary64
230×*-commutative_binary64
226×times-frac_binary64
214×associate-/l*_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03103605
19973323
245073315
Stop Event
node limit
Counts
154 → 149

prune254.0ms (1.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New13613149
Fresh011
Picked101
Done000
Total13714151
Error
3.0b
Counts
151 → 14
Alt Table
StatusErrorProgram
7.9b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
16.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
7.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))
8.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
20.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
34.8b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 2))
32.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))) (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))))
12.0b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (*.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))))
45.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
28.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
28.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
15.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
40.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
Compiler

Compiled 8411 to 2857 computations (66% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.6b
(pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)
0.7b
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
6.2b
(cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
34.3b
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))

series1.9s (12.2%)

Counts
3 → 120
Calls

3 calls:

704.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))
627.0ms
(pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)
569.0ms
(cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))

rewrite53.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
586×log-prod_binary64
348×prod-diff_binary64
227×expm1-udef_binary64
227×log1p-udef_binary64
214×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01434
127634
2303734
Stop Event
node limit
Counts
3 → 91
Calls

3 calls:

51.0ms
(pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)
51.0ms
(cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
51.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))

simplify76.0ms (0.5%)

Algorithm
egg-herbie
Rules
590×fma-def_binary64
326×associate-*r*_binary64
226×times-frac_binary64
214×associate-/l*_binary64
212×*-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03144491
19824143
243364105
Stop Event
node limit
Counts
211 → 155

prune373.0ms (2.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1813184
Fresh01313
Picked011
Done000
Total18117198
Error
3.0b
Counts
198 → 17
Alt Table
StatusErrorProgram
7.9b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3) 3))))
16.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
7.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 y.re)) 3))))
20.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
7.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))
45.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
42.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (sqrt.f64 y.re) (*.f64 (sqrt.f64 y.re) (atan2.f64 x.im x.re))))))
8.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
34.8b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 2))
32.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))) (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))))
12.0b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (*.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))))
28.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
28.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
15.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
40.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
Compiler

Compiled 9816 to 3360 computations (65.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.7b
(cbrt.f64 y.re)
0.7b
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
4.6b
(cbrt.f64 (atan2.f64 x.im x.re))
34.6b
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 y.re)) 3)))

series1.1s (7.4%)

Counts
3 → 84
Calls

3 calls:

768.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 y.re)) 3)))
352.0ms
(cbrt.f64 (atan2.f64 x.im x.re))
27.0ms
(cbrt.f64 y.re)

rewrite51.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
322×prod-diff_binary64
251×expm1-udef_binary64
251×log1p-udef_binary64
144×add-sqr-sqrt_binary64
135×log1p-expm1-u_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01532
129827
2339627
Stop Event
node limit
Counts
3 → 62
Calls

3 calls:

50.0ms
(cbrt.f64 y.re)
50.0ms
(cbrt.f64 (atan2.f64 x.im x.re))
49.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 y.re)) 3)))

simplify66.0ms (0.4%)

Algorithm
egg-herbie
Rules
583×fma-def_binary64
324×associate-*r*_binary64
226×times-frac_binary64
214×associate-/l*_binary64
212×*-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03173843
19953495
243493449
Stop Event
node limit
Counts
146 → 119

prune372.0ms (2.4%)

Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New1480148
Fresh01515
Picked011
Done011
Total14817165
Error
3.0b
Counts
165 → 17
Alt Table
StatusErrorProgram
7.9b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3) 3))))
16.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
7.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 y.re)) 3))))
20.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
7.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))
45.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
42.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (sqrt.f64 y.re) (*.f64 (sqrt.f64 y.re) (atan2.f64 x.im x.re))))))
8.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
34.8b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 2))
32.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))) (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))))
12.0b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (*.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))))
28.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
28.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
15.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
40.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
Compiler

Compiled 8542 to 3110 computations (63.6% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.7b
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3)
0.7b
(pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)
6.2b
(cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))
34.6b
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3) 3)))

series1.9s (12%)

Counts
2 → 84
Calls

2 calls:

1.0s
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3) 3)))
858.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3)

rewrite50.0ms (0.3%)

Algorithm
batch-egg-rewrite
Rules
378×prod-diff_binary64
239×expm1-udef_binary64
239×log1p-udef_binary64
136×add-sqr-sqrt_binary64
130×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01627
131727
2331927
Stop Event
node limit
Counts
2 → 46
Calls

2 calls:

49.0ms
(pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3)
49.0ms
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3) 3)))

simplify72.0ms (0.5%)

Algorithm
egg-herbie
Rules
579×fma-def_binary64
332×associate-*r*_binary64
226×times-frac_binary64
214×associate-/l*_binary64
211×*-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03204223
110063931
243943929
Stop Event
node limit
Counts
130 → 105

prune343.0ms (2.2%)

Pruning

17 alts after pruning (14 fresh and 3 done)

PrunedKeptTotal
New1670167
Fresh01414
Picked011
Done022
Total16717184
Error
3.0b
Counts
184 → 17
Alt Table
StatusErrorProgram
7.9b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) 3) 3))))
16.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3)))
7.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (*.f64 (cbrt.f64 (atan2.f64 x.im x.re)) (cbrt.f64 y.re)) 3))))
20.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2)))
7.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))))
7.7b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 3))
45.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (*.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (*.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))))
42.2b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (sqrt.f64 y.re) (*.f64 (sqrt.f64 y.re) (atan2.f64 x.im x.re))))))
8.5b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
34.8b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (sqrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) 2))
32.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))) (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))))
12.0b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (*.f64 (cbrt.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) (cbrt.f64 (pow.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))))
28.3b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) (log.f64 (sqrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
28.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))))
15.4b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) 1) (sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
40.6b
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im))))
Compiler

Compiled 8862 to 3159 computations (64.4% saved)

regimes515.0ms (3.3%)

Accuracy

Total 1.4b remaining (22.6%)

Threshold costs 0b (0%)

Counts
75 → 2
Compiler

Compiled 12417 to 6735 computations (45.8% saved)

bsearch5.0ms (0%)

Compiler

Compiled 41 to 19 computations (53.7% saved)

simplify5.0ms (0%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
+-commutative_binary64
sub-neg_binary64
neg-sub0_binary64
neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033159
146159
258159
364159
468159
569159
Stop Event
saturated

end363.0ms (2.3%)

Compiler

Compiled 875 to 385 computations (56% saved)

Profiling

Loading profile data...