Details

Time bar (total: 7.7s)

analyze2.1s (26.6%)

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
0%99.8%0.2%6
0%99.8%0.2%7
12.5%87.3%0.2%8
12.5%87.3%0.2%9
18.7%81.1%0.2%10
23.4%76.4%0.2%11
31.6%68.2%0.2%12
34.5%64.9%0.6%13
40.3%59.2%0.6%14
Compiler

Compiled 20 to 14 computations (30% saved)

sample2.8s (35.8%)

Results
1.9s8256×body128valid
720.0ms3158×body128invalid
Compiler

Compiled 59 to 41 computations (30.5% saved)

simplify136.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
871×distribute-rgt-in_binary64
685×div-sub_binary64
652×distribute-lft-in_binary64
409×distribute-neg-frac_binary64
395×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
01222
12522
25822
310922
422320
543716
687614
7209814
8232014
9245114
10304214
11322614
12332714
13491314

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
4.2b
(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
▶4.2b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
Compiler

Compiled 95 to 62 computations (34.7% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 x (/.f64 y (*.f64 z 3)))
✓0.2b
(*.f64 (*.f64 z 3) y)
✓0.2b
(/.f64 y (*.f64 z 3))
✓6.8b
(/.f64 t (*.f64 (*.f64 z 3) y))

series38.0ms (0.5%)

Counts
4 → 120
Calls

4 calls:

16.0ms
(/.f64 t (*.f64 (*.f64 z 3) y))
9.0ms
(-.f64 x (/.f64 y (*.f64 z 3)))
8.0ms
(/.f64 y (*.f64 z 3))
4.0ms
(*.f64 (*.f64 z 3) y)

rewrite100.0ms (1.3%)

Algorithm
2×batch-egg-rewrite
Rules
595×prod-diff_binary64
232×log1p-udef_binary64
229×egg-rr
127×add-sqr-sqrt_binary64
120×log1p-expm1-u_binary64
Counts
4 → 229
Calls

4 calls:

93.0ms
(-.f64 x (/.f64 y (*.f64 z 3)))
93.0ms
(*.f64 (*.f64 z 3) y)
93.0ms
(/.f64 y (*.f64 z 3))
93.0ms
(/.f64 t (*.f64 (*.f64 z 3) y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01134
124634
2352034
3519434
000
100

simplify501.0ms (6.5%)

Algorithm
1×egg-herbie
Rules
2744×fma-def_binary64
2142×fma-neg_binary64
1204×div-sub_binary64
880×associate-/l/_binary64
810×associate-/l*_binary64
Counts
349 → 237
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
016999
135999
272945
3120945
4173945
5211945
6273945
7306945
8374945
9466945
101020945
111811945
122603945
132492945
142677945
152787945
162855945
172867945
183762945
193514945
203514945
213514945
222804945
233086945
243172945
253192945
263276945
273354945
283552945
293488945
303488945
313056945
323032945
333016945
343016945
352791945

prune255.0ms (3.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2307237
Fresh011
Picked101
Done000
Total2318239
Error
0b
Counts
239 → 8
Alt Table
StatusErrorProgram
4.2b
(+.f64 (-.f64 x (*.f64 (/.f64 1 z) (/.f64 y 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
32.4b
(+.f64 (-.f64 x (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1/3 z)))) (/.f64 t (*.f64 (*.f64 z 3) y)))
4.2b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
▶1.4b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
4.5b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (/.f64 t (pow.f64 (cbrt.f64 (*.f64 (*.f64 z 3) y)) 3)))
4.2b
(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
4.2b
(+.f64 (-.f64 x (pow.f64 (/.f64 (*.f64 z 3) y) -1)) (/.f64 t (*.f64 (*.f64 z 3) y)))
11.1b
(+.f64 (-.f64 x (*.f64 (/.f64 1 (cbrt.f64 (*.f64 (*.f64 z z) 9))) (/.f64 y (cbrt.f64 (*.f64 z 3))))) (/.f64 t (*.f64 (*.f64 z 3) y)))
Compiler

Compiled 7702 to 4473 computations (41.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 x (/.f64 y (*.f64 z 3)))
0.2b
(/.f64 y (*.f64 z 3))
✓0.2b
(/.f64 t (*.f64 z 3))
✓4.7b
(*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y))

series26.0ms (0.3%)

Counts
2 → 60
Calls

2 calls:

20.0ms
(*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y))
6.0ms
(/.f64 t (*.f64 z 3))

rewrite63.0ms (0.8%)

Algorithm
2×batch-egg-rewrite
Rules
553×log-prod_binary64
182×expm1-udef_binary64
182×log1p-udef_binary64
170×log-div_binary64
169×pow3_binary64
Counts
2 → 114
Calls

2 calls:

61.0ms
(/.f64 t (*.f64 z 3))
61.0ms
(*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01017
121317
2272917
3497317
000
100

simplify25.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
16×associate-/l*_binary64
9×associate-*r/_binary64
7×*-commutative_binary64
7×associate-/r/_binary64
6×associate-*l/_binary64
Counts
174 → 115
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010528
118528
235528
354528
473528
568528
668528

prune303.0ms (3.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2883291
Fresh347
Picked101
Done000
Total2927299
Error
0b
Counts
299 → 7
Alt Table
StatusErrorProgram
4.2b
(+.f64 (-.f64 x (*.f64 (/.f64 1 z) (/.f64 y 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
1.5b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (*.f64 1/3 (/.f64 t z)) (/.f64 1 y)))
4.2b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
▶1.5b
(+.f64 (-.f64 x (pow.f64 (/.f64 (*.f64 z 3) y) -1)) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
32.4b
(+.f64 (-.f64 x (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (/.f64 1/3 z)))) (/.f64 t (*.f64 (*.f64 z 3) y)))
17.5b
(+.f64 (-.f64 x (cbrt.f64 (pow.f64 (/.f64 y (*.f64 z 3)) 3))) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
4.2b
(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
Compiler

Compiled 9107 to 5493 computations (39.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (*.f64 z 3) y)
0.2b
(/.f64 t (*.f64 z 3))
✓0.3b
(pow.f64 (/.f64 (*.f64 z 3) y) -1)
4.7b
(*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y))

series28.0ms (0.4%)

Counts
2 → 48
Calls

2 calls:

14.0ms
(pow.f64 (/.f64 (*.f64 z 3) y) -1)
14.0ms
(/.f64 (*.f64 z 3) y)

rewrite48.0ms (0.6%)

Algorithm
2×batch-egg-rewrite
Rules
774×log1p-expm1-u_binary64
774×expm1-log1p-u_binary64
143×log1p-udef_binary64
94×egg-rr
83×add-sqr-sqrt_binary64
Counts
2 → 94
Calls

2 calls:

46.0ms
(/.f64 (*.f64 z 3) y)
46.0ms
(pow.f64 (/.f64 (*.f64 z 3) y) -1)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
116914
2200414
3495714
000
100

simplify23.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
6×*-commutative_binary64
4×associate-/l*_binary64
2×associate-*r/_binary64
2×associate-*l/_binary64
2×associate-/r/_binary64
Counts
142 → 94
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09336
115336
219336
327336
429336
529336

prune206.0ms (2.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New2081209
Fresh156
Picked101
Done000
Total2106216
Error
0b
Counts
216 → 6
Alt Table
StatusErrorProgram
4.2b
(+.f64 (-.f64 x (*.f64 (/.f64 1 z) (/.f64 y 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
1.5b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (*.f64 1/3 (/.f64 t z)) (/.f64 1 y)))
4.2b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
▶1.4b
(+.f64 (-.f64 x (pow.f64 (*.f64 (/.f64 z y) 3) -1)) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
17.5b
(+.f64 (-.f64 x (cbrt.f64 (pow.f64 (/.f64 y (*.f64 z 3)) 3))) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
4.2b
(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
Compiler

Compiled 4912 to 3304 computations (32.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(*.f64 (/.f64 z y) 3)
0.2b
(/.f64 t (*.f64 z 3))
✓0.3b
(pow.f64 (*.f64 (/.f64 z y) 3) -1)
4.7b
(*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y))

series22.0ms (0.3%)

Counts
2 → 48
Calls

2 calls:

16.0ms
(pow.f64 (*.f64 (/.f64 z y) 3) -1)
6.0ms
(*.f64 (/.f64 z y) 3)

rewrite46.0ms (0.6%)

Algorithm
2×batch-egg-rewrite
Rules
779×log1p-expm1-u_binary64
779×expm1-log1p-u_binary64
146×log1p-udef_binary64
85×add-sqr-sqrt_binary64
79×add-cbrt-cube_binary64
Counts
2 → 49
Calls

2 calls:

45.0ms
(*.f64 (/.f64 z y) 3)
45.0ms
(pow.f64 (*.f64 (/.f64 z y) 3) -1)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
117314
2202914
3498714
000
100

simplify15.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
6×*-commutative_binary64
4×associate-/l*_binary64
2×associate-*r/_binary64
2×associate-*l/_binary64
2×associate-/r/_binary64
Counts
97 → 50
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09336
115336
219336
327336
429336
529336

prune160.0ms (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1650165
Fresh055
Picked011
Done000
Total1656171
Error
0b
Counts
171 → 6
Alt Table
StatusErrorProgram
4.2b
(+.f64 (-.f64 x (*.f64 (/.f64 1 z) (/.f64 y 3))) (/.f64 t (*.f64 (*.f64 z 3) y)))
1.5b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (*.f64 1/3 (/.f64 t z)) (/.f64 1 y)))
4.2b
(+.f64 (-.f64 x (/.f64 y (*.f64 z 3))) (*.f64 (/.f64 1 z) (/.f64 t (*.f64 3 y))))
✓1.4b
(+.f64 (-.f64 x (pow.f64 (*.f64 (/.f64 z y) 3) -1)) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
17.5b
(+.f64 (-.f64 x (cbrt.f64 (pow.f64 (/.f64 y (*.f64 z 3)) 3))) (*.f64 (/.f64 t (*.f64 z 3)) (/.f64 1 y)))
4.2b
(fma.f64 (/.f64 -1/3 z) (-.f64 y (/.f64 t y)) x)
Compiler

Compiled 3707 to 2355 computations (36.5% saved)

regimes742.0ms (9.6%)

Accuracy

Total 0.9b remaining (97.3%)

Threshold costs 0.9b (97.3%)

Counts
78 → 3
Compiler

Compiled 10303 to 7325 computations (28.9% saved)

bsearch2.0ms (0%)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
7×+-commutative_binary64
6×*-commutative_binary64
4×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03493
14793
25693
36093
46293
56093

end119.0ms (1.5%)

Compiler

Compiled 258 to 179 computations (30.6% saved)

Profiling

Loading profile data...