Details

Time bar (total: 2.3s)

analyze14.0ms (0.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
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 (50.2%)

Results
977.0ms8256×body128valid
Compiler

Compiled 65 to 38 computations (41.5% saved)

simplify116.0ms (5.1%)

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

prune4.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)

localize11.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))))

series35.0ms (1.6%)

Counts
3 → 72
Calls

3 calls:

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

rewrite209.0ms (9.2%)

Algorithm
3×egg-rewrite
Rules
54×egg
52×egg
48×egg
Counts
3 → 154
Calls

3 calls:

82.0ms
(fma.f64 x x (*.f64 y (*.f64 y 4)))
78.0ms
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
47.0ms
(fma.f64 -4 (*.f64 y y) (*.f64 x x))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01224
124623
2273623
3535923
0711
113911
2142011
3527411
0711
114110
2155410
3499710
4494810

simplify86.0ms (3.8%)

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
226 → 175
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0471038
1124984
2331972
31279954
44311900
54922900
64965900

prune107.0ms (4.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1723175
Fresh000
Picked011
Done000
Total1724176
Error
0b
Counts
176 → 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 3932 to 2090 computations (46.8% saved)

localize0.0ms (0%)

prune6.0ms (0.3%)

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))

series32.0ms (1.4%)

Counts
1 → 24
Calls

1 calls:

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

rewrite54.0ms (2.4%)

Algorithm
1×egg-rewrite
Rules
59×egg
Counts
1 → 59
Calls

1 calls:

53.0ms
(/.f64 (*.f64 x x) (*.f64 y y))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0610
11297
216477
352527

simplify143.0ms (6.3%)

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
83 → 60
Iterations

Useful iterations: 0 (0.0ms)

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

prune31.0ms (1.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New60060
Fresh000
Picked011
Done033
Total60464
Error
0b
Counts
64 → 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 811 to 492 computations (39.3% saved)

regimes137.0ms (6%)

Accuracy

Total 11.8b remaining (97.2%)

Threshold costs 0b (0%)

Counts
7 → 5
Compiler

Compiled 642 to 430 computations (33% saved)

bsearch56.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)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
03285
13685
23585

end74.0ms (3.3%)

Compiler

Compiled 161 to 101 computations (37.3% saved)

Profiling

Loading profile data...