Details

Time bar (total: 2.4s)

analyze15.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.4s (59.2%)

Results
1.3s8256×body128valid
Compiler

Compiled 65 to 38 computations (41.5% saved)

simplify106.0ms (4.5%)

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

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

localize13.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.5%)

Counts
3 → 72
Calls

3 calls:

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

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64
11×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
9×times-frac_binary64
5×add-cbrt-cube_binary64
Counts
3 → 49
Calls

3 calls:

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

simplify144.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
639×fma-def_binary64
500×div-sub_binary64
426×fma-neg_binary64
356×cancel-sign-sub-inv_binary64
223×distribute-rgt-in_binary64
Counts
121 → 111
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01082496
12212296
25812284
320832266
444902230
555082230

prune128.0ms (5.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Compiled 2897 to 1391 computations (52% saved)

localize0.0ms (0%)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Compiled 52 to 36 computations (30.8% saved)

localize0.0ms (0%)

prune7.0ms (0.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Compiled 49 to 33 computations (32.7% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series41.0ms (1.7%)

Counts
1 → 24
Calls

1 calls:

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

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
13×add-cbrt-cube_binary64
13×add-exp-log_binary64
4×cbrt-unprod_binary64
4×cbrt-undiv_binary64
4×div-exp_binary64
Counts
1 → 23
Calls

1 calls:

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

simplify101.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
639×fma-neg_binary64
528×times-frac_binary64
339×unswap-sqr_binary64
327×associate-/l*_binary64
288×*-commutative_binary64
Counts
47 → 35
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
049635
1120501
2410476
31765453
42660453
53835363
64877360
74953360
84920360

prune22.0ms (0.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Compiled 549 to 248 computations (54.8% saved)

regimes167.0ms (7.1%)

Accuracy

Total 11.8b remaining (97.2%)

Threshold costs 0b (0%)

Counts
8 → 5
Compiler

Compiled 697 to 475 computations (31.9% saved)

bsearch67.0ms (2.8%)

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

Algorithm
1×egg-herbie
Rules
5×+-commutative_binary64
5×*-commutative_binary64
4×distribute-rgt-neg-in_binary64
4×sub-neg_binary64
3×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03093
14093
25493
36093
46493
56593
66393

end87.0ms (3.7%)

Compiler

Compiled 169 to 107 computations (36.7% saved)

Profiling

Loading profile data...