Details

Time bar (total: 4.0s)

sample87.0ms

Algorithm
intervals
Results
56.0ms179×body1280valid
8.0ms293×body80valid
7.0ms42×body640valid
2.0ms17×body320valid
1.0ms11×body160valid

simplify149.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0145
1265
2415
3555
4655
5965
61405
72855
816425
950015

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.9b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (exp x) 2.0)
4.5b
(+ (- (exp x) 2.0) (exp (neg x)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity add-log-exp
4×add-sqr-sqrt frac-add
3×flip3-- flip--
2×pow1 add-exp-log neg-sub0 exp-neg add-cube-cbrt sub-neg associate-+l+ exp-diff diff-log sum-log add-cbrt-cube distribute-lft-out distribute-lft-out--
1×+-commutative associate-+l- flip3-+ flip-+ difference-of-squares
Counts
2 → 35
Calls
2 calls:
4.0ms
(- (exp x) 2.0)
7.0ms
(+ (- (exp x) 2.0) (exp (neg x)))

series9.0ms

Counts
2 → 6
Calls
2 calls:
2.0ms
(- (exp x) 2.0)
7.0ms
(+ (- (exp x) 2.0) (exp (neg x)))

simplify89.0ms

Algorithm
egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0209282
1694269
23196260
35001260

prune64.0ms

Filtered
41 candidates to 29 candidates (29.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New38341
Fresh000
Picked011
Done000
Total38442

Merged error: 0.0b

Counts
42 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.1b
(* 1/360 (pow x 6))
0.1b
(* 1/12 (pow x 4))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
14×associate-*r*
13×add-exp-log
9×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down
7×add-cbrt-cube
6×associate-*l* prod-exp unswap-sqr
5×add-log-exp
4×sqr-pow
3×pow1
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative flip3-+ sum-log flip-+
Counts
3 → 61
Calls
3 calls:
4.0ms
(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
5.0ms
(* 1/360 (pow x 6))
5.0ms
(* 1/12 (pow x 4))

series19.0ms

Counts
3 → 9
Calls
3 calls:
11.0ms
(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
4.0ms
(* 1/360 (pow x 6))
4.0ms
(* 1/12 (pow x 4))

simplify44.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0254302
11056280
25001268

prune109.0ms

Filtered
70 candidates to 44 candidates (37.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New70070
Fresh022
Picked011
Done011
Total70474

Merged error: 0.0b

Counts
74 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp x) -2)
0.0b
(pow (exp (neg x)) 3)
0.0b
(pow (- (exp x) 2.0) 3)
4.5b
(+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
20×add-sqr-sqrt
19×unpow-prod-down
16×add-cube-cbrt pow-pow cube-prod
13×exp-prod
12×cube-div
9×pow-unpow distribute-lft-out
7×pow1
6×add-cbrt-cube distribute-lft-out-- add-log-exp
5×add-exp-log
4×frac-add
3×neg-sub0 distribute-lft-neg-in exp-neg pow-to-exp flip3-- distribute-rgt-neg-in exp-diff pow-exp flip-- sqr-pow
2×cube-mult unpow3 rem-cube-cbrt difference-of-squares
1×+-commutative neg-mul-1 flip3-+ sum-log sum-cubes flip-+
Counts
4 → 109
Calls
4 calls:
3.0ms
(pow (exp x) -2)
4.0ms
(pow (exp (neg x)) 3)
5.0ms
(pow (- (exp x) 2.0) 3)
17.0ms
(+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))

series35.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(pow (exp x) -2)
5.0ms
(pow (exp (neg x)) 3)
5.0ms
(pow (- (exp x) 2.0) 3)
20.0ms
(+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))

simplify86.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 2 (75.0ms)

IterNodesCost
0499690
12363641
25002625

prune176.0ms

Filtered
121 candidates to 71 candidates (41.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1192121
Fresh101
Picked101
Done022
Total1214125

Merged error: 0.0b

Counts
125 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (- (exp x) 2.0) 3)
0.1b
(pow (- (exp x) 2.0) 6)
0.1b
(pow (exp (neg x)) 6)
4.4b
(+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
20×add-sqr-sqrt
17×unpow-prod-down
14×add-cube-cbrt
13×pow-pow
10×exp-prod
9×pow-unpow
8×add-log-exp
7×pow1
6×add-exp-log distribute-rgt-neg-in
5×cube-prod add-cbrt-cube
4×distribute-lft-out distribute-lft-out--
3×distribute-lft-neg-in pow-to-exp pow-exp difference-of-squares sqr-pow
2×cube-div sum-log
1×+-commutative neg-sub0 cube-mult associate-+r- neg-mul-1 flip3-- flip3-+ unpow3 unsub-neg neg-log flip-- flip-+ rem-cube-cbrt
Counts
4 → 94
Calls
4 calls:
5.0ms
(pow (- (exp x) 2.0) 3)
5.0ms
(pow (- (exp x) 2.0) 6)
4.0ms
(pow (exp (neg x)) 6)
14.0ms
(+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))

series71.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(pow (- (exp x) 2.0) 3)
7.0ms
(pow (- (exp x) 2.0) 6)
7.0ms
(pow (exp (neg x)) 6)
52.0ms
(+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))

simplify61.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0493616
11984564
25001554

prune211.0ms

Filtered
106 candidates to 67 candidates (36.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1060106
Fresh011
Picked011
Done022
Total1064110

Merged error: 0.0b

Counts
110 → 4

regimes72.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0177
1177

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.8s5601×body1280valid
233.0ms1300×body640valid
217.0ms7895×body80valid
73.0ms642×body320valid
21.0ms298×body160valid

Profiling

Loading profile data...