Details

Time bar (total: 2.5s)

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

Results
1.1s8256×body128valid
Compiler

Compiled 65 to 38 computations (41.5% saved)

simplify108.0ms (4.4%)

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

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
34.5b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶34.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)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x x (*.f64 y (*.f64 y 4)))
✓5.4b
(fma.f64 -4 (*.f64 y y) (*.f64 x x))
✓33.9b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))

series34.0ms (1.4%)

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))))
8.0ms
(fma.f64 -4 (*.f64 y y) (*.f64 x x))
8.0ms
(fma.f64 x x (*.f64 y (*.f64 y 4)))

rewrite68.0ms (2.8%)

Algorithm
2×batch-egg-rewrite
Rules
560×log-prod_binary64
377×prod-diff_binary64
205×expm1-udef_binary64
205×log1p-udef_binary64
186×log-pow_binary64
Counts
3 → 97
Calls

3 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01246
124644
2273644
3535944
000
100

simplify101.0ms (4.1%)

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

prune127.0ms (5.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1183121
Fresh000
Picked011
Done000
Total1184122
Error
0.6b
Counts
122 → 4
Alt Table
StatusErrorProgram
✓34.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
36.3b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
▶31.0b
-1
33.0b
1
Compiler

Compiled 2717 to 1519 computations (44.1% saved)

localize0.0ms (0%)

prune5.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done011
Total044
Error
0.6b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓34.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
36.3b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
✓31.0b
-1
▶33.0b
1
Compiler

Compiled 52 to 36 computations (30.8% saved)

localize0.0ms (0%)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done022
Total044
Error
0.6b
Counts
4 → 4
Alt Table
StatusErrorProgram
✓34.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
▶36.3b
(fma.f64 1/2 (/.f64 (*.f64 x x) (*.f64 y y)) -1)
✓31.0b
-1
✓33.0b
1
Compiler

Compiled 49 to 33 computations (32.7% saved)

localize11.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

series31.0ms (1.3%)

Counts
1 → 24
Calls

1 calls:

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

rewrite49.0ms (2%)

Algorithm
2×batch-egg-rewrite
Rules
640×log1p-expm1-u_binary64
640×expm1-log1p-u_binary64
334×log-prod_binary64
110×expm1-udef_binary64
110×log1p-udef_binary64
Counts
1 → 39
Calls

1 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0610
11297
216477
352527
000
100

simplify143.0ms (5.8%)

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

prune36.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New40141
Fresh000
Picked101
Done123
Total42345
Error
0.5b
Counts
45 → 3
Alt Table
StatusErrorProgram
31.1b
(fma.f64 1/2 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 x y) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 x y) 2))))) -1)
✓34.5b
(/.f64 (fma.f64 -4 (*.f64 y y) (*.f64 x x)) (fma.f64 x x (*.f64 y (*.f64 y 4))))
✓33.0b
1
Compiler

Compiled 573 to 382 computations (33.3% saved)

regimes402.0ms (16.4%)

Accuracy

Total 11.7b remaining (97.7%)

Threshold costs 0b (0%)

Counts
43 → 3
Compiler

Compiled 3440 to 2614 computations (24% saved)

bsearch1.0ms (0%)

Compiler

Compiled 5 to 3 computations (40% saved)

simplify5.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
02662
13662
25062
35662
46062
56162
65962

end72.0ms (2.9%)

Compiler

Compiled 132 to 85 computations (35.6% saved)

Profiling

Loading profile data...