Details

Time bar (total: 2.7s)

analyze16.0ms

Algorithm
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

sample70.0ms

Algorithm
intervals
Results
33.0ms99×body1280valid
18.0ms88×body640valid
7.0ms16×body160valid
5.0ms41×body320valid
1.0ms12×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0483513
1483513

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.8b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

1.3b
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
4.2b
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity_binary64
30×times-frac_binary64
29×add-sqr-sqrt_binary64
15×add-cube-cbrt_binary64
7×distribute-lft-out_binary64 sinh-undef_binary64 cosh-undef_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64
6×associate-/l*_binary64
5×associate-/r*_binary64
4×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
2×associate-/l/_binary64 pow1_binary64 flip3--_binary64 associate-/r/_binary64 flip--_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 tanh-undef_binary64 div-inv_binary64 div-exp_binary64 flip-+_binary64
Counts
2 → 73
Calls
2 calls:
12.0ms
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
5.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

series20.0ms

Counts
2 → 6
Calls
2 calls:
15.0ms
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
5.0ms
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

simplify60.0ms

Algorithm
egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
060481262

prune60.0ms

Filtered
56 candidates to 79 candidates (-41.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New76379
Fresh000
Picked101
Done000
Total77380

Merged error: 0b

Counts
80 → 3

localize2.0ms

Local error

Found 1 expressions with local error:

0.0b
(tanh.f64 x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×*-un-lft-identity_binary64 add-log-exp_binary64 pow1_binary64 add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64 tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64
Counts
1 → 10
Calls
1 calls:
1.0ms
(tanh.f64 x)

series15.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(tanh.f64 x)

simplify40.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
0600779

prune15.0ms

Filtered
11 candidates to 13 candidates (-18.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New13013
Fresh022
Picked011
Done000
Total13316

Merged error: 0b

Counts
16 → 3

localize4.0ms

Local error

Found 1 expressions with local error:

1.3b
(/.f64 (sinh.f64 x) (cosh.f64 x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 times-frac_binary64
3×associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-/l*_binary64
1×associate-/l/_binary64 add-log-exp_binary64 pow1_binary64 sinh-def_binary64 cbrt-undiv_binary64 associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 cosh-def_binary64
Counts
1 → 29
Calls
1 calls:
4.0ms
(/.f64 (sinh.f64 x) (cosh.f64 x))

series25.0ms

Counts
1 → 3
Calls
1 calls:
24.0ms
(/.f64 (sinh.f64 x) (cosh.f64 x))

simplify68.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04881273
14881273

prune25.0ms

Filtered
25 candidates to 32 candidates (-28.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New31132
Fresh101
Picked011
Done011
Total32335

Merged error: 0b

Counts
35 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.1b
(/.f64 1 (/.f64 (cosh.f64 x) (sinh.f64 x)))
1.2b
(/.f64 (cosh.f64 x) (sinh.f64 x))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
87×times-frac_binary64
53×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
17×associate-/r*_binary64
15×add-exp-log_binary64
9×add-cbrt-cube_binary64
8×div-exp_binary64
6×associate-/r/_binary64 associate-/l*_binary64 div-inv_binary64
5×sinh-def_binary64
4×cbrt-undiv_binary64
3×pow1_binary64
2×add-log-exp_binary64 1-exp_binary64 clear-num_binary64 frac-2neg_binary64 rec-exp_binary64
1×associate-/l/_binary64 inv-pow_binary64 pow-flip_binary64 cosh-def_binary64
Counts
2 → 109
Calls
2 calls:
6.0ms
(/.f64 1 (/.f64 (cosh.f64 x) (sinh.f64 x)))
4.0ms
(/.f64 (cosh.f64 x) (sinh.f64 x))

series48.0ms

Counts
2 → 6
Calls
2 calls:
22.0ms
(/.f64 1 (/.f64 (cosh.f64 x) (sinh.f64 x)))
26.0ms
(/.f64 (cosh.f64 x) (sinh.f64 x))

simplify58.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
063181203

prune72.0ms

Filtered
75 candidates to 115 candidates (-53.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1150115
Fresh000
Picked011
Done022
Total1153118

Merged error: 0b

Counts
118 → 3

regimes27.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
022
122

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.1s3264×body1280valid
494.0ms2454×body640valid
162.0ms1262×body320valid
50.0ms615×body160valid
17.0ms405×body80valid

Profiling

Loading profile data...