Details

Time bar (total: 2.0s)

analyze14.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 (56.3%)

Results
966.0ms8256×body128valid
Compiler

Compiled 65 to 38 computations (41.5% saved)

simplify103.0ms (5.2%)

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.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 76 to 42 computations (44.7% saved)

localize10.0ms (0.5%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x x (*.f64 y (*.f64 y 4)))
✓2.2b
(fma.f64 -4 (*.f64 y y) (*.f64 x x))
✓28.0b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))

series37.0ms (1.9%)

Counts
3 → 72
Calls

3 calls:

19.0ms
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
10.0ms
(fma.f64 x x (*.f64 y (*.f64 y 4)))
8.0ms
(fma.f64 -4 (*.f64 y y) (*.f64 x x))

rewrite65.0ms (3.3%)

Algorithm
2×batch-egg-rewrite
Rules
97×egg-rr
Counts
3 → 97
Calls

2 calls:

63.0ms
((/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4)))) (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01246
124644
2273644
3535944
000
100

simplify74.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
557×fma-neg_binary64
502×associate-*l/_binary64
472×associate-*r/_binary64
378×fma-def_binary64
322×associate-/r/_binary64
Counts
169 → 121
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0471038
1124984
2331972
31279954
44311900
54922900
64965900

prune70.0ms (3.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1183121
Fresh000
Picked011
Done000
Total1184122
Error
0b
Counts
122 → 4
Alt Table
StatusErrorProgram
✓28.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
34.8b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
▶30.8b
-1
32.4b
1
Compiler

Compiled 2717 to 1519 computations (44.1% saved)

localize0.0ms (0%)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
0b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓28.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
34.8b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
✓30.8b
-1
▶32.4b
1
Compiler

Compiled 52 to 36 computations (30.8% saved)

localize0.0ms (0%)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done022
Total044
Error
0b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓28.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
▶34.8b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
✓30.8b
-1
✓32.4b
1
Compiler

Compiled 49 to 33 computations (32.7% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓13.8b
(/.f64 (*.f64 x x) (*.f64 y y))

series29.0ms (1.5%)

Counts
1 → 24
Calls

1 calls:

29.0ms
(/.f64 (*.f64 x x) (*.f64 y y))

rewrite47.0ms (2.4%)

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

2 calls:

46.0ms
((/.f64 (*.f64 x x) (*.f64 y y)))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
11297
216477
352527
000
100

simplify116.0ms (5.9%)

Algorithm
1×egg-herbie
Rules
1209×associate-/r/_binary64
570×unswap-sqr_binary64
555×times-frac_binary64
478×sqr-pow_binary64
259×associate-/l*_binary64
Counts
63 → 41
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07240
115240
228240
371240
4268240
51715240
62536240
72652240
82816240
93030240
103291240
114574240
124930240
134994240
144972240

prune23.0ms (1.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New41041
Fresh000
Picked011
Done033
Total41445
Error
0b
Counts
45 → 4
Alt Table
StatusErrorProgram
✓28.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
✓34.8b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
✓30.8b
-1
✓32.4b
1
Compiler

Compiled 566 to 376 computations (33.6% saved)

regimes135.0ms (6.8%)

Accuracy

Total 11.8b remaining (97.2%)

Threshold costs 0b (0%)

Counts
7 → 5
Compiler

Compiled 642 to 430 computations (33% saved)

bsearch49.0ms (2.5%)

Steps
ItersRangePoint
6
5.060605728981466e+126
4.259417875640103e+127
3.0538265363810125e+127
5
3.614457893004619e-129
1.0911580714196148e-128
3.688311616163236e-129
8
-9.02618591367193e-144
-1.8767786227202366e-147
-3.960288759049152e-146
5
-6.498727545400839e+115
-1.7621254489836009e+115
-2.413208438391072e+115
Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify6.0ms (0.3%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
03285
13685
23585

end72.0ms (3.6%)

Compiler

Compiled 161 to 101 computations (37.3% saved)

Profiling

Loading profile data...