Details

Time bar (total: 3.8s)

analyze445.0ms (11.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
25%74.9%0.1%8
34.3%62.4%3.3%9
40.6%52.3%7.2%10
49.1%42.1%8.7%11
56.2%32.6%11.3%12
59.1%27.1%13.8%13
63.7%21.9%14.4%14
Compiler

Compiled 13 to 9 computations (30.8% saved)

sample994.0ms (25.8%)

Results
833.0ms8256×body128valid
61.0ms651×body128invalid
Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify26.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
354×fma-def_binary64
250×fma-neg_binary64
52×cancel-sign-sub-inv_binary64
45×distribute-rgt-in_binary64
43×associate--r+_binary64
Counts
1 → 2
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0911
11711
23011
34911
41079
51728
62558
74208
85528
96248
106548
116648
126218

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 x (-.f64 z y) y)
Compiler

Compiled 36 to 20 computations (44.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x (-.f64 z y) y)

series9.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

9.0ms
(fma.f64 x (-.f64 z y) y)

rewrite38.0ms (1%)

Algorithm
2×batch-egg-rewrite
Rules
23×egg-rr
Counts
1 → 23
Calls

2 calls:

36.0ms
((fma.f64 x (-.f64 z y) y))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11308
216898
349568
000
100

simplify32.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
270×fma-neg_binary64
254×fma-def_binary64
62×distribute-rgt-in_binary64
38×cancel-sign-sub-inv_binary64
36×unsub-neg_binary64
Counts
59 → 33
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
021399
154318
2110264
3183264
4358264
5564264
6642264
7666264
8623264

prune15.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New32133
Fresh000
Picked011
Done000
Total32234
Error
0b
Counts
34 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x (-.f64 z y) y)
▶40.5b
(/.f64 (+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3)) (+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))))
Compiler

Compiled 403 to 126 computations (68.7% saved)

localize18.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓3.2b
(+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y)))
✓3.4b
(+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3))
✓4.2b
(-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))
✓39.1b
(/.f64 (+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3)) (+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))))

series1.1s (29.3%)

Counts
4 → 144
Calls

4 calls:

957.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3)) (+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))))
73.0ms
(+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y)))
73.0ms
(+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3))
21.0ms
(-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))

rewrite129.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
169×egg-rr
Counts
4 → 169
Calls

2 calls:

124.0ms
((/.f64 (+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3)) (+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y)))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y)) (+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3)) (+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01697
139160
2458960
3633060
000
100

simplify491.0ms (12.8%)

Algorithm
1×egg-herbie
Rules
826×times-frac_binary64
688×associate-/l*_binary64
511×fma-def_binary64
179×+-commutative_binary64
179×*-commutative_binary64
Counts
313 → 251
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
053914011
1202612590
2534812590

prune313.0ms (8.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2510251
Fresh000
Picked011
Done011
Total2512253
Error
0b
Counts
253 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x (-.f64 z y) y)
✓40.5b
(/.f64 (+.f64 (pow.f64 (*.f64 x (-.f64 z y)) 3) (pow.f64 y 3)) (+.f64 (*.f64 (*.f64 x (-.f64 z y)) (*.f64 x (-.f64 z y))) (-.f64 (*.f64 y y) (*.f64 (*.f64 x (-.f64 z y)) y))))
Compiler

Compiled 17944 to 8311 computations (53.7% saved)

regimes155.0ms (4%)

Accuracy

Total 0.0b remaining (11.4%)

Threshold costs 0.0b (11.4%)

Counts
34 → 1
Compiler

Compiled 3736 to 1894 computations (49.3% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
068
188
2138
3158
4168
5168

end48.0ms (1.2%)

Compiler

Compiled 65 to 31 computations (52.3% saved)

Profiling

Loading profile data...