Details

Time bar (total: 3.3s)

analyze5.0ms (0.1%)

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%0.8%49.2%9
50.4%0.4%49.2%10
50.4%0.2%49.4%11
50.4%0.1%49.5%12
50.4%0%49.6%13
50.4%0%49.6%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample2.9s (87.1%)

Results
1.9s4021×body1024valid
566.0ms2051×body512valid
201.0ms432×body2048valid
183.0ms1082×body256valid
70.0ms670×body128valid
0.0ms1×body128invalid
Compiler

Compiled 20 to 16 computations (20% saved)

preprocess37.0ms (1.1%)

Algorithm
2×egg-herbie
Rules
618×fma-neg_binary64
508×associate-/l*_binary64
414×associate-/r/_binary64
307×associate-/l/_binary64
215×fma-def_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11913
23413
35813
412013
526113
671413
7210013
8493912
011
Stop Event
1×saturated
1×node limit
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify31.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
618×fma-neg_binary64
508×associate-/l*_binary64
414×associate-/r/_binary64
307×associate-/l/_binary64
215×fma-def_binary64
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
0813
11913
23413
35813
412013
526113
671413
7210013
8493912
Stop Event
1×node limit
Counts
1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
57.7b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶57.7b
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
Compiler

Compiled 35 to 25 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓5.5b
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series2.0ms (0.1%)

Counts
1 → 8
Calls

3 calls:

1.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
x
0
0.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
x
inf
0.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
x
-inf

rewrite28.0ms (0.8%)

Algorithm
1×egg-rewrite-iter-limit
1×batch-egg-rewrite
Rules
70×add-sqr-sqrt_binary64
67×add-log-exp_binary64
66×*-un-lft-identity_binary64
66×pow1_binary64
65×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066
11306
221496
066
Stop Event
1×iter limit
1×unsound
Counts
1 → 13

simplify31.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
704×fma-def_binary64
676×unswap-sqr_binary64
319×associate-*l*_binary64
247×*-commutative_binary64
207×associate-*r*_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02598
16498
214898
338298
473598
5161798
6251398
7409998
Stop Event
1×node limit
Counts
21 → 22

prune17.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New20222
Fresh000
Picked101
Done000
Total21223
Error
0b
Counts
23 → 2
Alt Table
StatusErrorProgram
36.6b
(/.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x)))) 2)
▶0.0b
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
Compiler

Compiled 336 to 228 computations (32.1% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(sinh.f64 x)

series7.0ms (0.2%)

Counts
1 → 12
Calls

3 calls:

3.0ms
(sinh.f64 x)
x
inf
3.0ms
(sinh.f64 x)
x
-inf
1.0ms
(sinh.f64 x)
x
0

rewrite28.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
318×pow1_binary64
311×add-sqr-sqrt_binary64
297×add-log-exp_binary64
296×log1p-expm1-u_binary64
296×expm1-log1p-u_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
1633
27853
Stop Event
1×node limit
Counts
1 → 21

simplify40.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
890×fma-def_binary64
624×unswap-sqr_binary64
306×associate-*l*_binary64
234×*-commutative_binary64
217×fma-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
024150
164150
2149142
3369142
4696142
51505142
62338142
73592142
84582142
Stop Event
1×node limit
Counts
33 → 30

prune16.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New29130
Fresh101
Picked011
Done000
Total30232
Error
0b
Counts
32 → 2
Alt Table
StatusErrorProgram
▶29.3b
(/.f64 (*.f64 2 (pow.f64 (sqrt.f64 (sinh.f64 x)) 2)) 2)
✓0.0b
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
Compiler

Compiled 360 to 277 computations (23.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(sinh.f64 x)
✓0.3b
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)

series17.0ms (0.5%)

Counts
1 → 8
Calls

3 calls:

8.0ms
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)
x
-inf
6.0ms
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)
x
inf
3.0ms
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)
x
0

rewrite31.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
458×pow1_binary64
428×add-log-exp_binary64
427×log1p-expm1-u_binary64
427×expm1-log1p-u_binary64
417×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063
11273
211983
Stop Event
1×node limit
Counts
1 → 22

simplify24.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
777×fma-def_binary64
315×distribute-rgt-neg-out_binary64
282×unswap-sqr_binary64
223×distribute-rgt-in_binary64
212×times-frac_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
011144
122104
24596
39796
425396
589896
6265096
Stop Event
1×node limit
Counts
30 → 24

prune23.0ms (0.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done011
Total54256
Error
0b
Counts
56 → 2
Alt Table
StatusErrorProgram
✓29.3b
(/.f64 (*.f64 2 (pow.f64 (sqrt.f64 (sinh.f64 x)) 2)) 2)
✓0.0b
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
Compiler

Compiled 710 to 527 computations (25.8% saved)

regimes34.0ms (1%)

Accuracy

Total 0.0b remaining (18.3%)

Threshold costs 0.0b (18.3%)

Counts
12 → 1
Compiler

Compiled 555 to 410 computations (26.1% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
179
Stop Event
1×saturated

end40.0ms (1.2%)

Stop Event
1×done
Compiler

Compiled 31 to 27 computations (12.9% saved)

Profiling

Loading profile data...