Details

Time bar (total: 2.2s)

analyze15.0ms (0.7%)

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
25%74.9%0.1%6
93.7%6.2%0.1%7
96.8%3.1%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 22 to 13 computations (40.9% saved)

sample1.1s (49.2%)

Results
924.0ms8256×body128valid
Compiler

Compiled 65 to 38 computations (41.5% saved)

simplify105.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
620×fma-def_binary64
549×sub-neg_binary64
460×distribute-neg-frac_binary64
455×cancel-sign-sub-inv_binary64
430×times-frac_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01026
12324
25224
310524
419924
533024
644224
760324
890124
9230424
10338624
11395624
12445424
13473524
14523824

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
32.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶32.0b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)))
Compiler

Compiled 80 to 44 computations (45% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓2.7b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))
✓31.4b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)))

series23.0ms (1.1%)

Counts
2 → 48
Calls

2 calls:

16.0ms
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)))
7.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))

rewrite14.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64
10×add-sqr-sqrt_binary64
10×add-cube-cbrt_binary64
9×times-frac_binary64
4×add-cbrt-cube_binary64
Counts
2 → 50
Calls

2 calls:

6.0ms
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)))
3.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))

simplify88.0ms (4%)

Algorithm
1×egg-herbie
Rules
499×associate-*l*_binary64
433×fma-def_binary64
328×times-frac_binary64
299×associate-/l*_binary64
248×associate-/r*_binary64
Counts
98 → 109
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01292360
13382193
211912164
347022164
449142164

prune70.0ms (3.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1063109
Fresh000
Picked101
Done000
Total1073110
Error
0.2b
Counts
110 → 3
Alt Table
StatusErrorProgram
32.0b
(-.f64 (/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4))) (/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4))))
31.9b
1
▶31.8b
-1
Compiler

Compiled 3265 to 1710 computations (47.6% saved)

localize0.0ms (0%)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033
Error
0.2b
Counts
3 → 3
Alt Table
StatusErrorProgram
32.0b
(-.f64 (/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4))) (/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4))))
▶31.9b
1
✓31.8b
-1
Compiler

Compiled 67 to 39 computations (41.8% saved)

localize0.0ms (0%)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0.2b
Counts
3 → 3
Alt Table
StatusErrorProgram
▶32.0b
(-.f64 (/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4))) (/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4))))
✓31.9b
1
✓31.8b
-1
Compiler

Compiled 64 to 36 computations (43.8% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (*.f64 y y) 4)
✓23.1b
(/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4)))
✓24.4b
(/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4)))

series36.0ms (1.6%)

Counts
3 → 60
Calls

3 calls:

18.0ms
(/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4)))
16.0ms
(/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4)))
2.0ms
(*.f64 (*.f64 y y) 4)

rewrite17.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
22×add-cbrt-cube_binary64
22×add-exp-log_binary64
9×add-sqr-sqrt_binary64
8×*-un-lft-identity_binary64
8×add-cube-cbrt_binary64
Counts
3 → 69
Calls

3 calls:

6.0ms
(/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4)))
4.0ms
(*.f64 (*.f64 y y) 4)
3.0ms
(/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4)))

simplify100.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
620×associate-/r*_binary64
595×associate-*l/_binary64
554×associate-/l/_binary64
439×associate-/r/_binary64
277×fma-neg_binary64
Counts
129 → 143
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01633002
14112667
215242622
349562622
450592622

prune132.0ms (6.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2070207
Fresh000
Picked011
Done022
Total2073210
Error
0.2b
Counts
210 → 3
Alt Table
StatusErrorProgram
✓32.0b
(-.f64 (/.f64 (*.f64 x x) (fma.f64 x x (*.f64 (*.f64 y y) 4))) (/.f64 (*.f64 (*.f64 y y) 4) (fma.f64 x x (*.f64 (*.f64 y y) 4))))
✓31.9b
1
✓31.8b
-1
Compiler

Compiled 7019 to 3267 computations (53.5% saved)

regimes334.0ms (15.3%)

Accuracy

Total 12.8b remaining (97.1%)

Threshold costs 0b (0%)

Counts
26 → 6
Compiler

Compiled 3716 to 2235 computations (39.9% saved)

bsearch66.0ms (3%)

Steps
ItersRangePoint
5
4.605192243663231e+33
5.640966357885411e+34
4.8959736638846305e+33
9
1090147.8347344098
253005186633.5263
174160338219.57495
8
2.3433750848814207e-147
4.192787902613134e-144
3.0001361978417216e-145
0
-3.7756463284272366e-161
-3.700592926012395e-161
-3.738119627219816e-161
7
-3.891206011558726e+110
-3.94271758004569e+108
-2.90709829270765e+109
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
10×*-commutative_binary64
9×+-commutative_binary64
7×sub-neg_binary64
6×distribute-lft-neg-in_binary64
6×distribute-rgt-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
036101
154101
270101
384101
493101
596101
697101
795101

end77.0ms (3.5%)

Compiler

Compiled 179 to 107 computations (40.2% saved)

Profiling

Loading profile data...