Details

Time bar (total: 5.1s)

sample113.0ms

Algorithm
intervals
Results
49.0ms111×body1280valid
23.0ms76×body640valid
16.0ms311×body80valid
7.0ms39×body320valid
3.0ms22×body160valid

simplify214.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0145
1235
2315
3365
4415
5655
61035
72505
812525
950015

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.2b

Counts
2 → 1

localize10.0ms

Local error

Found 1 expressions with local error:

5.3b
(- (exp x) (exp (- x)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 14
Calls
1 calls:
8.0ms
(- (exp x) (exp (- x)))

series54.0ms

Counts
1 → 3
Calls
1 calls:
54.0ms
(- (exp x) (exp (- x)))

simplify617.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 3 (40.0ms)

IterNodesCost
0100120
1257108
2763107
34896105
45001105

prune54.0ms

Filtered
17 candidates to 14 candidates (82.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New13417
Fresh000
Picked101
Done000
Total14418

Merged error: 0b

Counts
18 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
0.1b
(* 1/60 (pow x 5))
0.1b
(* 1/3 (pow x 3))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×associate-*r*
13×add-exp-log
10×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down add-log-exp
7×add-cbrt-cube unswap-sqr
6×associate-*l* prod-exp
4×cube-prod sqr-pow
3×pow1 sum-log
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative cube-mult associate-+r+ flip3-+ unpow3 flip-+
Counts
3 → 69
Calls
3 calls:
8.0ms
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
6.0ms
(* 1/60 (pow x 5))
7.0ms
(* 1/3 (pow x 3))

series144.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
52.0ms
(* 1/60 (pow x 5))
36.0ms
(* 1/3 (pow x 3))

simplify46.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0300375
11301346
25001346

prune139.0ms

Filtered
78 candidates to 49 candidates (62.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New78078
Fresh033
Picked011
Done000
Total78482

Merged error: 0b

Counts
82 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp x) -2)))
0.0b
(pow (exp x) 3)
0.1b
(pow (exp (- x)) 3)
5.2b
(- (pow (exp x) 3) (pow (exp (- x)) 3))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
246×*-un-lft-identity
214×add-sqr-sqrt
125×times-frac
112×difference-of-squares
90×unpow-prod-down cube-prod
78×distribute-lft-out
58×sqr-pow
46×add-cube-cbrt
35×distribute-lft-out--
25×associate-/l*
15×pow-pow
13×exp-prod
8×add-cbrt-cube
7×difference-cubes
6×pow1 add-exp-log pow-unpow add-log-exp
5×associate-/r*
3×distribute-lft-neg-in distribute-rgt-neg-in
2×cube-div cube-mult pow-to-exp flip3-- unpow3 pow-exp associate-/r/ flip-- associate-/l/ rem-cube-cbrt
1×cbrt-undiv neg-sub0 exp-neg neg-mul-1 sub-neg frac-2neg flip3-+ exp-diff diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
4 → 267
Calls
4 calls:
29.0ms
(/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp x) -2)))
4.0ms
(pow (exp x) 3)
5.0ms
(pow (exp (- x)) 3)
13.0ms
(- (pow (exp x) 3) (pow (exp (- x)) 3))

series307.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(/ (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ 1 (exp (+ x x))) (pow (exp x) -2)))
23.0ms
(pow (exp x) 3)
26.0ms
(pow (exp (- x)) 3)
93.0ms
(- (pow (exp x) 3) (pow (exp (- x)) 3))

simplify138.0ms

Algorithm
egg-herbie
Counts
279 → 279
Iterations

Useful iterations: 2 (100.0ms)

IterNodesCost
06584640
128264523
250024515

prune458.0ms

Filtered
279 candidates to 111 candidates (39.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2790279
Fresh022
Picked011
Done011
Total2794283

Merged error: 0b

Counts
283 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp x))
0.0b
(sqrt (exp (- x)))
0.0b
(sqrt (exp (- x)))
5.4b
(- (sqrt (exp x)) (sqrt (exp (- x))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
26×sqrt-pow1
25×add-sqr-sqrt
23×exp-prod
18×*-un-lft-identity
15×sqrt-prod
14×add-cube-cbrt
7×pow1
6×distribute-lft-neg-in distribute-rgt-neg-in add-log-exp
4×add-exp-log sqrt-div add-cbrt-cube difference-of-squares
3×rem-sqrt-square pow1/2
2×neg-sub0 exp-neg neg-mul-1 exp-diff distribute-lft-out--
1×sub-neg flip3-- diff-log flip--
Counts
4 → 84
Calls
4 calls:
2.0ms
(sqrt (exp x))
3.0ms
(sqrt (exp (- x)))
4.0ms
(sqrt (exp (- x)))
11.0ms
(- (sqrt (exp x)) (sqrt (exp (- x))))

series103.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(sqrt (exp x))
14.0ms
(sqrt (exp (- x)))
20.0ms
(sqrt (exp (- x)))
57.0ms
(- (sqrt (exp x)) (sqrt (exp (- x))))

simplify103.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
0157447
1354429
2892427
33283418
45001418

prune232.0ms

Filtered
96 candidates to 74 candidates (77.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New96096
Fresh011
Picked011
Done022
Total964100

Merged error: 0b

Counts
100 → 4

regimes42.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0208
1208

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.1s3422×body1280valid
457.0ms2404×body640valid
242.0ms8238×body80valid
152.0ms1272×body320valid
48.0ms650×body160valid