Details

Time bar (total: 3.6s)

analyze20.0ms (0.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
50%12.5%37.5%5
50%6.2%43.8%6
50%3.1%46.9%7
50%1.6%48.5%8
50%1.6%48.5%9
50.4%1.2%48.5%10
50.4%1.2%48.5%11
50.4%1.1%48.6%12
50.4%1%48.6%13
50.5%0.9%48.6%14
Compiler

Compiled 15 to 8 computations (46.7% saved)

sample3.0s (82.3%)

Results
1.9s4042×body1024valid
596.0ms2007×body512valid
215.0ms425×body2048valid
189.0ms949×body256valid
86.0ms833×body128valid
Compiler

Compiled 44 to 23 computations (47.7% saved)

simplify21.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
720×fma-def_binary64
478×fma-neg_binary64
464×times-frac_binary64
264×associate-*l*_binary64
226×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0822
12022
23522
35922
413322
533622
687822
7256922
Stop Event
1×node limit
Counts
1 → 1

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
57.5b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶57.5b
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
Compiler

Compiled 42 to 21 computations (50% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
✓1.0b
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓4.0b
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series19.0ms (0.5%)

Counts
3 → 24
Calls

3 calls:

15.0ms
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
2.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
2.0ms
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite102.0ms (2.8%)

Algorithm
6×egg-rewrite
1×batch-egg-rewrite
Rules
97×add-sqr-sqrt_binary64
92×log1p-expm1-u_binary64
92×expm1-log1p-u_binary64
91×add-cbrt-cube_binary64
91×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0818
118618
2366218
066
11306
221316
066
083
11863
236623
083
066
11296
221306
066
Stop Event
1×iter limit
1×unsound
1×iter limit
1×unsound
1×iter limit
1×unsound
1×unsound
Counts
3 → 37
Calls

3 calls:

102.0ms
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
102.0ms
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
102.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

simplify32.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
783×fma-def_binary64
695×fma-neg_binary64
507×unswap-sqr_binary64
471×associate-*l*_binary64
377×associate-*r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
050321
1138317
2352311
31114309
43894309
Stop Event
1×node limit
Counts
61 → 64

prune38.0ms (1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New62264
Fresh000
Picked101
Done000
Total63265
Error
0b
Counts
65 → 2
Alt Table
StatusErrorProgram
1.0b
(*.f64 (*.f64 2 (sinh.f64 x)) (/.f64 1 (*.f64 2 (cosh.f64 x))))
▶0.0b
(tanh.f64 x)
Compiler

Compiled 962 to 423 computations (56% saved)

localize2.0ms (0%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(tanh.f64 x)

series20.0ms (0.5%)

Counts
1 → 12
Calls

1 calls:

20.0ms
(tanh.f64 x)

rewrite30.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
435×log1p-expm1-u_binary64
435×expm1-log1p-u_binary64
373×pow1_binary64
202×unpow-prod-down_binary64
186×log-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
1753
210873
Stop Event
1×node limit
Counts
1 → 52
Calls

1 calls:

29.0ms
(tanh.f64 x)

simplify38.0ms (1%)

Algorithm
1×egg-herbie
Rules
490×fma-neg_binary64
404×distribute-rgt-neg-in_binary64
367×cancel-sign-sub-inv_binary64
299×distribute-lft-neg-in_binary64
281×fma-def_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
025228
173228
2179224
3535222
41589222
53314222
64744222
Stop Event
1×node limit
Counts
64 → 61

prune27.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New60161
Fresh101
Picked011
Done000
Total61263
Error
0b
Counts
63 → 2
Alt Table
StatusErrorProgram
▶1.0b
(/.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (cosh.f64 x)))
✓0.0b
(tanh.f64 x)
Compiler

Compiled 625 to 397 computations (36.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(sinh.f64 x)
✓1.0b
(/.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (cosh.f64 x)))

series38.0ms (1%)

Counts
2 → 24
Calls

2 calls:

29.0ms
(/.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (cosh.f64 x)))
9.0ms
(sinh.f64 x)

rewrite53.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
890×log1p-expm1-u_binary64
890×expm1-log1p-u_binary64
88×egg-rr
84×add-sqr-sqrt_binary64
80×add-log-exp_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0814
117711
2239311
Stop Event
1×node limit
Counts
2 → 88
Calls

2 calls:

51.0ms
(sinh.f64 x)
51.0ms
(/.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (cosh.f64 x)))

simplify35.0ms (1%)

Algorithm
1×egg-herbie
Rules
490×fma-neg_binary64
468×fma-def_binary64
406×distribute-rgt-neg-in_binary64
367×cancel-sign-sub-inv_binary64
301×distribute-lft-neg-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
037378
1103378
2271366
3807364
42108364
53928364
Stop Event
1×node limit
Counts
112 → 105

prune50.0ms (1.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1050105
Fresh000
Picked011
Done011
Total1052107
Error
0b
Counts
107 → 2
Alt Table
StatusErrorProgram
✓1.0b
(/.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (cosh.f64 x)))
✓0.0b
(tanh.f64 x)
Compiler

Compiled 1378 to 805 computations (41.6% saved)

regimes71.0ms (1.9%)

Accuracy

Total 0.0b remaining (71.7%)

Threshold costs 0.0b (71.7%)

Counts
42 → 1
Compiler

Compiled 946 to 704 computations (25.6% saved)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
Stop Event
1×saturated

end35.0ms (1%)

Compiler

Compiled 19 to 14 computations (26.3% saved)

Profiling

Loading profile data...