Details

Time bar (total: 3.3s)

analyze4.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.8s (85.3%)

Results
1.7s4021×body1024valid
542.0ms2051×body512valid
216.0ms432×body2048valid
201.0ms1082×body256valid
64.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)

simplify28.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

rewrite29.0ms (0.9%)

Algorithm
1×egg-rewrite-iter-limit
1×batch-egg-rewrite
Rules
68×add-sqr-sqrt_binary64
65×log1p-expm1-u_binary64
65×expm1-log1p-u_binary64
64×add-cbrt-cube_binary64
64×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify32.0ms (1%)

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

rewrite29.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
296×log1p-expm1-u_binary64
296×expm1-log1p-u_binary64
274×add-cbrt-cube_binary64
270×add-log-exp_binary64
268×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033
1633
27913
Stop Event
1×node limit
Counts
1 → 39

simplify39.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
51 → 48

prune22.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Compiled 610 to 445 computations (27% saved)

localize6.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)

series15.0ms (0.5%)

Counts
1 → 8
Calls

3 calls:

6.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

rewrite30.0ms (0.9%)

Algorithm
1×batch-egg-rewrite
Rules
427×log1p-expm1-u_binary64
427×expm1-log1p-u_binary64
371×pow1_binary64
272×unpow-prod-down_binary64
206×log-prod_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063
11263
212123
Stop Event
1×node limit
Counts
1 → 39

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
47 → 41

prune38.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Compiled 1233 to 902 computations (26.8% saved)

regimes34.0ms (1%)

Accuracy

Total 0.0b remaining (18.3%)

Threshold costs 0.0b (18.3%)

Counts
11 → 1
Compiler

Compiled 528 to 386 computations (26.9% 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

end73.0ms (2.2%)

Stop Event
1×done
Compiler

Compiled 31 to 27 computations (12.9% saved)

Profiling

Loading profile data...