Details

Time bar (total: 2.2s)

analyze139.0ms (6.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
68.7%31.2%0.1%6
68.7%18.7%12.6%7
71.8%15.6%12.6%8
71.8%9.4%18.8%9
73.4%7.8%18.8%10
73.4%4.7%22%11
74.1%3.9%22%12
74.1%2.3%23.5%13
74.5%2%23.5%14
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample24.0ms (1.1%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
4.0ms138×body128invalid
Compiler

Compiled 19 to 13 computations (31.6% saved)

simplify97.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
457×associate-*l*_binary64
414×associate-*l/_binary64
380×sqr-pow_binary64
368×unswap-sqr_binary64
321×exp-prod_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
199
2139
3229
4489
51109
62689
77779
814449
923619
1026759
1131609
1242429
1349649
1447819

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
Compiler

Compiled 24 to 15 computations (37.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
✓0.0b
(exp.f64 (*.f64 y y))

rewrite28.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
12×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×add-log-exp_binary64
8×add-cbrt-cube_binary64
7×pow1_binary64
Counts
2 → 66
Calls

2 calls:

13.0ms
(exp.f64 (*.f64 y y))
12.0ms
(*.f64 x (exp.f64 (*.f64 y y)))

series25.0ms (1.1%)

Counts
2 → 36
Calls

2 calls:

20.0ms
(*.f64 x (exp.f64 (*.f64 y y)))
3.0ms
(exp.f64 (*.f64 y y))

simplify98.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
398×associate-*l*_binary64
291×associate-*r*_binary64
270×associate-+l+_binary64
268×prod-exp_binary64
218×log-prod_binary64
Counts
102 → 162
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
081868
1163797
2456790
31774784
43898784
54886784
65041784

prune47.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1602162
Fresh000
Picked011
Done000
Total1603163
Error
0.0b
Counts
163 → 3
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 x (pow.f64 (exp.f64 y) y))
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
40.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y)))))
Compiler

Compiled 981 to 323 computations (67.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 x (pow.f64 (exp.f64 y) y))
✓0.0b
(pow.f64 (exp.f64 y) y)

rewrite29.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
13×add-cube-cbrt_binary64
12×add-sqr-sqrt_binary64
8×pow1_binary64
8×add-cbrt-cube_binary64
6×add-exp-log_binary64
Counts
2 → 72
Calls

2 calls:

14.0ms
(pow.f64 (exp.f64 y) y)
12.0ms
(*.f64 x (pow.f64 (exp.f64 y) y))

series374.0ms (17.2%)

Counts
2 → 28
Calls

2 calls:

338.0ms
(*.f64 x (pow.f64 (exp.f64 y) y))
36.0ms
(pow.f64 (exp.f64 y) y)

simplify59.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
673×distribute-rgt-in_binary64
664×distribute-lft-in_binary64
532×associate-*l*_binary64
382×associate-*r*_binary64
212×unswap-sqr_binary64
Counts
100 → 137
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
093838
1183788
2541781
32079775
45797775

prune36.0ms (1.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1370137
Fresh011
Picked011
Done011
Total1373140
Error
0.0b
Counts
140 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 x (pow.f64 (exp.f64 y) y))
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
▶40.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y)))))
Compiler

Compiled 1063 to 346 computations (67.5% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(exp.f64 (*.f64 y y))
0.0b
(exp.f64 (*.f64 y y))
✓0.1b
(*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y))))
✓39.2b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y)))))

rewrite41.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
10×prod-exp_binary64
10×add-exp-log_binary64
10×add-sqr-sqrt_binary64
9×add-cbrt-cube_binary64
9×pow3_binary64
Counts
2 → 74
Calls

2 calls:

20.0ms
(*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y))))
15.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y)))))

series94.0ms (4.3%)

Counts
2 → 48
Calls

2 calls:

63.0ms
(*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y))))
31.0ms
(cbrt.f64 (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y)))))

simplify99.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
927×fma-def_binary64
515×prod-exp_binary64
406×*-commutative_binary64
271×exp-prod_binary64
229×associate-+l+_binary64
Counts
122 → 209
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0982209
12351512
28051263
319381212
440311212
550201212

prune76.0ms (3.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New3890389
Fresh000
Picked011
Done022
Total3893392
Error
0.0b
Counts
392 → 3
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 x (pow.f64 (exp.f64 y) y))
✓0.0b
(*.f64 x (exp.f64 (*.f64 y y)))
✓40.7b
(cbrt.f64 (*.f64 (*.f64 (*.f64 x (exp.f64 (*.f64 y y))) (*.f64 x (exp.f64 (*.f64 y y)))) (*.f64 x (exp.f64 (*.f64 y y)))))
Compiler

Compiled 3739 to 891 computations (76.2% saved)

regimes183.0ms (8.4%)

Accuracy

Total 0.0b remaining (6.4%)

Threshold costs 0.0b (6.4%)

Compiler

Compiled 1959 to 1237 computations (36.9% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
179
279

end0.0ms (0%)

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample698.0ms (32.2%)

Algorithm
1×intervals
Results
236.0ms8000×body128valid
119.0ms4180×body128invalid
Compiler

Compiled 58 to 31 computations (46.6% saved)

Profiling

Loading profile data...