Details

Time bar (total: 2.3s)

analyze399.0ms (17%)

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

Results
867.0ms8256×body128valid
785.0ms8228×body128invalid
Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess35.0ms (1.5%)

Algorithm
2×egg-herbie
Rules
868×fma-neg_binary64
396×unsub-neg_binary64
348×distribute-neg-in_binary64
330×fma-def_binary64
262×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
11812
22212
33712
47812
515412
636012
775112
8236512
9428412
011
Stop Event
1×saturated
1×node limit
Compiler

Compiled 10 to 7 computations (30% saved)

simplify28.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
868×fma-neg_binary64
396×unsub-neg_binary64
348×distribute-neg-in_binary64
330×fma-def_binary64
262×sub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0812
11812
22212
33712
47812
515412
636012
775112
8236512
9428412
Stop Event
1×node limit
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
34.8b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶34.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)))
✓32.4b
(sqrt.f64 (fma.f64 x x -1))

series6.0ms (0.3%)

Counts
2 → 24
Calls

6 calls:

1.0ms
(sqrt.f64 (fma.f64 x x -1))
x
0
1.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
x
-inf
1.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
x
0
1.0ms
(+.f64 x (sqrt.f64 (fma.f64 x x -1)))
x
inf
1.0ms
(sqrt.f64 (fma.f64 x x -1))
x
-inf

rewrite39.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
615×prod-diff_binary64
610×log1p-expm1-u_binary64
610×expm1-log1p-u_binary64
61×add-sqr-sqrt_binary64
59×add-cbrt-cube_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0617
112517
2163317
Stop Event
1×node limit
Counts
2 → 58

simplify26.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
738×associate-/l*_binary64
658×fma-def_binary64
504×associate-/r*_binary64
265×cancel-sign-sub-inv_binary64
190×fma-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
062396
1188377
2506375
31676366
Stop Event
1×node limit
Counts
82 → 100

prune49.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New991100
Fresh000
Picked011
Done000
Total992101
Error
0b
Counts
101 → 2
Alt Table
StatusErrorProgram
✓34.8b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
▶0.2b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 1495 to 1084 computations (27.5% saved)

localize5.0ms (0.2%)

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
✓34.8b
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x -1))))
✓0.2b
(log.f64 (fma.f64 x 2 (/.f64 -1/2 x)))
Compiler

Compiled 17 to 12 computations (29.4% saved)

regimes25.0ms (1.1%)

Accuracy

Total 0.3b remaining (81.5%)

Threshold costs 0.3b (81.5%)

Counts
5 → 1
Compiler

Compiled 156 to 109 computations (30.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
Stop Event
1×saturated

end37.0ms (1.6%)

Stop Event
1×done
Compiler

Compiled 33 to 24 computations (27.3% saved)

Profiling

Loading profile data...