Details

Time bar (total: 3.2s)

analyze501.0ms (15.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%50%25%4
25%37.5%37.5%5
25%31.2%43.8%6
25%28.1%46.9%7
25%26.5%48.5%8
25%25.8%49.2%9
25%25.4%49.6%10
25%25.2%49.8%11
25%25.1%49.9%12
25%25%50%13
25%25%50%14
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.9s (58.5%)

Results
876.0ms8256×body128valid
805.0ms8085×body128invalid
Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify152.0ms (4.8%)

Algorithm
1×egg-herbie
Rules
871×fma-neg_binary64
804×unsub-neg_binary64
461×distribute-neg-in_binary64
434×sub-neg_binary64
338×distribute-rgt-out_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
11812
22212
33712
46412
511312
624712
750012
8156012
9251312
10321812
11360212
12380312
13397412
14407512
15439212
16483612
17489812
18490112

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
32.8b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶32.8b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
✓30.4b
(sqrt.f64 (fma.f64 x x -1))

series6.0ms (0.2%)

Counts
2 → 24
Calls

2 calls:

3.0ms
(sqrt.f64 (fma.f64 x x -1))
3.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))

rewrite43.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
615×prod-diff_binary64
610×log1p-expm1-u_binary64
610×expm1-log1p-u_binary64
108×log1p-udef_binary64
61×add-sqr-sqrt_binary64
Counts
2 → 60
Calls

2 calls:

42.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
42.0ms
(sqrt.f64 (fma.f64 x x -1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0617
112417
2151717
3504617

simplify63.0ms (2%)

Algorithm
1×egg-herbie
Rules
743×associate-/l*_binary64
656×fma-def_binary64
512×associate-/r*_binary64
283×associate-*l/_binary64
265×cancel-sign-sub-inv_binary64
Counts
84 → 102
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
062396
1187377
2475375
31486366
44834366
54977366
64917366

prune61.0ms (1.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1002102
Fresh000
Picked101
Done000
Total1012103
Error
0b
Counts
103 → 2
Alt Table
StatusErrorProgram
32.8b
(log.f64 (+.f64 x (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1)))) 1)))
▶0.5b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 1528 to 1103 computations (27.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))

series3.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))

rewrite38.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
606×log1p-expm1-u_binary64
606×expm1-log1p-u_binary64
283×log-prod_binary64
126×expm1-udef_binary64
126×log1p-udef_binary64
Counts
1 → 27
Calls

1 calls:

38.0ms
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
114510
2160010
3487010

simplify52.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
729×fma-def_binary64
535×times-frac_binary64
409×cancel-sign-sub-inv_binary64
345×sub-neg_binary64
309×fma-neg_binary64
Counts
39 → 49
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
059272
1162258
2499258
31660258
44407258
55124258

prune26.0ms (0.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New49049
Fresh011
Picked011
Done000
Total49251
Error
0b
Counts
51 → 2
Alt Table
StatusErrorProgram
▶32.8b
(log.f64 (+.f64 x (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1)))) 1)))
✓0.5b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 751 to 580 computations (22.8% saved)

localize13.0ms (0.4%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 x (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1)))) 1))
✓5.9b
(exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1))))
30.4b
(sqrt.f64 (fma.f64 x x -1))

series13.0ms (0.4%)

Counts
2 → 24
Calls

2 calls:

8.0ms
(exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1))))
5.0ms
(+.f64 x (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1)))) 1))

rewrite55.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
925×prod-diff_binary64
893×expm1-log1p-u_binary64
88×add-sqr-sqrt_binary64
86×log1p-expm1-u_binary64
82×add-cbrt-cube_binary64
Counts
2 → 66
Calls

2 calls:

54.0ms
(+.f64 x (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1)))) 1))
54.0ms
(exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1))))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01021
118620
2219720
3550920

simplify59.0ms (1.9%)

Algorithm
1×egg-herbie
Rules
1026×fma-neg_binary64
722×associate-/l*_binary64
560×associate-/r*_binary64
235×sub-neg_binary64
219×associate-/l/_binary64
Counts
90 → 108
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
077669
1230522
2634344
31966267
44641259
55115259

prune84.0ms (2.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1540154
Fresh000
Picked011
Done011
Total1542156
Error
0b
Counts
156 → 2
Alt Table
StatusErrorProgram
✓32.8b
(log.f64 (+.f64 x (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 x x -1)))) 1)))
✓0.5b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 2679 to 2046 computations (23.6% saved)

regimes96.0ms (3%)

Accuracy

Total 0.3b remaining (75.9%)

Threshold costs 0.3b (75.9%)

Counts
37 → 1
Compiler

Compiled 1191 to 865 computations (27.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
1710

end44.0ms (1.4%)

Compiler

Compiled 37 to 28 computations (24.3% saved)

Profiling

Loading profile data...