Details

Time bar (total: 5.5s)

analyze4.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
74.9%25%0.1%3
87.4%12.5%0.1%4
93.7%6.2%0.1%5
96.8%3.1%0.1%6
98.3%1.6%0.1%7
99.1%0.8%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14
Compiler

Compiled 7 to 7 computations (0% saved)

sample24.0ms (0.4%)

Algorithm
1×intervals
Results
14.0ms256×body128valid
Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify115.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
079
179

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.9b
Counts
2 → 1
Compiler

Compiled 12 to 12 computations (0% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))

rewrite36.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
12×times-frac_binary64_84
10×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
5×pow1_binary64_139
4×log-pow_binary64_167 associate-/r*_binary64_22
3×add-exp-log_binary64_116 add-cbrt-cube_binary64_114 associate-/l*_binary64_23
1×div-exp_binary64_129 add-log-exp_binary64_117 cbrt-undiv_binary64_112 frac-2neg_binary64_89 clear-num_binary64_77 div-inv_binary64_75
Counts
1 → 31
Calls

1 calls:

4.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
Compiler

Compiled 426 to 243 computations (43% saved)

series142.0ms (2.6%)

Error
0.9b
Counts
1 → 6
Calls

1 calls:

136.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))
Compiler

Compiled 108 to 93 computations (13.9% saved)

simplify130.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
05096545

prune39.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New29837
Fresh000
Picked101
Done000
Total30838
Error
0.1b
Counts
38 → 8
Compiler

Compiled 526 to 316 computations (39.9% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.8b
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

rewrite274.0ms (5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
92×add-sqr-sqrt_binary64_100
85×times-frac_binary64_84
52×*-un-lft-identity_binary64_78
51×sqrt-prod_binary64_94
46×add-cube-cbrt_binary64_113
26×add-exp-log_binary64_116
25×associate-*l*_binary64_19 associate-*r*_binary64_18
16×add-cbrt-cube_binary64_114
15×unswap-sqr_binary64_46
14×pow1_binary64_139
10×log-pow_binary64_167
9×div-exp_binary64_129
8×prod-exp_binary64_127
7×associate-/r*_binary64_22
5×cbrt-undiv_binary64_112
4×cbrt-unprod_binary64_111
3×div-inv_binary64_75 associate-/l*_binary64_23
2×1-exp_binary64_122 rec-exp_binary64_128 add-log-exp_binary64_117
1×pow-prod-down_binary64_149 frac-times_binary64_88 associate-*l/_binary64_21 associate-*r/_binary64_20 *-commutative_binary64_9 frac-2neg_binary64_89 clear-num_binary64_77
Counts
2 → 132
Calls

2 calls:

35.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))
4.0ms
(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
Compiler

Compiled 3174 to 2417 computations (23.9% saved)

series371.0ms (6.7%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

201.0ms
(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
161.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))
Compiler

Compiled 378 to 345 computations (8.7% saved)

simplify96.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
051322661

prune184.0ms (3.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1404144
Fresh257
Picked101
Done000
Total1439152
Error
0.0b
Counts
152 → 9
Compiler

Compiled 2730 to 1964 computations (28.1% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b
(*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (log.f64 10))))
0.8b
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (log.f64 10)))))
1.0b
(/.f64 1 (log.f64 10))

rewrite250.0ms (4.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
47×times-frac_binary64_84
45×add-sqr-sqrt_binary64_100
37×*-un-lft-identity_binary64_78
36×add-cube-cbrt_binary64_113
31×add-exp-log_binary64_116 sqrt-prod_binary64_94
28×associate-*l*_binary64_19
21×pow1_binary64_139
20×associate-*r*_binary64_18
19×add-cbrt-cube_binary64_114
13×prod-exp_binary64_127
10×log-pow_binary64_167
7×cbrt-unprod_binary64_111
6×div-exp_binary64_129
4×associate-/r*_binary64_22 pow-prod-down_binary64_149 associate-*r/_binary64_20 unswap-sqr_binary64_46
3×1-exp_binary64_122 rec-exp_binary64_128 add-log-exp_binary64_117 cbrt-undiv_binary64_112 div-inv_binary64_75 associate-/l*_binary64_23 sqrt-div_binary64_95
2×*-commutative_binary64_9
1×inv-pow_binary64_163 pow-flip_binary64_152 frac-2neg_binary64_89 clear-num_binary64_77 frac-times_binary64_88 associate-*l/_binary64_21
Counts
3 → 124
Calls

3 calls:

15.0ms
(*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (log.f64 10))))
15.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (log.f64 10)))))
3.0ms
(/.f64 1 (log.f64 10))
Compiler

Compiled 2900 to 2431 computations (16.2% saved)

series311.0ms (5.6%)

Error
0.0b
Counts
3 → 12
Calls

3 calls:

175.0ms
(*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (log.f64 10))))
128.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (log.f64 10)))))
0.0ms
(/.f64 1 (log.f64 10))
Compiler

Compiled 378 to 345 computations (8.7% saved)

simplify131.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
051172247

prune232.0ms (4.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1360136
Fresh088
Picked011
Done000
Total1369145
Error
0.0b
Counts
145 → 9
Compiler

Compiled 2764 to 2284 computations (17.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b
(/.f64 1 (/.f64 (log.f64 10) (atan2.f64 im re)))
0.9b
(/.f64 (log.f64 10) (atan2.f64 im re))

rewrite179.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
108×times-frac_binary64_84
60×add-cube-cbrt_binary64_113 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
19×pow1_binary64_139 associate-/r*_binary64_22
16×log-pow_binary64_167
15×add-exp-log_binary64_116
9×add-cbrt-cube_binary64_114
8×div-exp_binary64_129
7×associate-/l*_binary64_23
6×div-inv_binary64_75
4×cbrt-undiv_binary64_112
2×add-log-exp_binary64_117 frac-2neg_binary64_89 clear-num_binary64_77 1-exp_binary64_122 rec-exp_binary64_128
1×inv-pow_binary64_163 pow-flip_binary64_152 associate-/r/_binary64_24
Counts
2 → 119
Calls

2 calls:

8.0ms
(/.f64 1 (/.f64 (log.f64 10) (atan2.f64 im re)))
4.0ms
(/.f64 (log.f64 10) (atan2.f64 im re))
Compiler

Compiled 2172 to 1417 computations (34.8% saved)

series278.0ms (5%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

136.0ms
(/.f64 (log.f64 10) (atan2.f64 im re))
134.0ms
(/.f64 1 (/.f64 (log.f64 10) (atan2.f64 im re)))
Compiler

Compiled 252 to 219 computations (13.1% saved)

simplify136.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
048772381
148772381

prune132.0ms (2.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1274131
Fresh437
Picked011
Done011
Total1319140
Error
0b
Counts
140 → 9
Compiler

Compiled 1897 to 1143 computations (39.7% saved)

regimes465.0ms (8.4%)

Accuracy

Total 0.8b remaining (99%)

Threshold costs 0.8b (99%)

Compiler

Compiled 3878 to 3395 computations (12.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01440
11440

end0.0ms (0%)

sample2.0s (35.5%)

Algorithm
1×intervals
Results
345.0ms8000×body128valid
Compiler

Compiled 968 to 846 computations (12.6% saved)

Profiling

Loading profile data...