Details

Time bar (total: 3.2s)

sample73.0ms

Algorithm
intervals
Results
32.0ms107×body1280valid
15.0ms80×body640valid
8.0ms276×body80valid
4.0ms38×body320valid
2.0ms21×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0318
1318

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

6.3b
(- (exp x) (exp (neg x)))

rewrite5.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:
5.0ms
(- (exp x) (exp (neg x)))

series5.0ms

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

simplify53.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
05168157

prune36.0ms

Filtered
12 candidates to 17 candidates (-41.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New15217
Fresh000
Picked011
Done000
Total15318

Merged error: 0.0b

Counts
18 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×associate-*r*
16×*-un-lft-identity
15×add-log-exp
14×add-exp-log
11×add-cube-cbrt
8×unpow-prod-down add-cbrt-cube
7×sum-log unswap-sqr
6×associate-*l* prod-exp
4×pow1 cube-prod sqr-pow
3×distribute-lft-out
2×+-commutative pow-to-exp flip3-+ pow-exp *-commutative cbrt-unprod flip-+
1×cube-mult associate-+r+ unpow3
Counts
4 → 83
Calls
4 calls:
8.0ms
(+ x (+ x (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))))
4.0ms
(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
5.0ms
(* 1/60 (pow x 5))
7.0ms
(* 1/3 (pow x 3))

series27.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ x (+ x (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))))
12.0ms
(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
4.0ms
(* 1/60 (pow x 5))
4.0ms
(* 1/3 (pow x 3))

simplify35.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
04906938
14906938

prune134.0ms

Filtered
59 candidates to 95 candidates (-61.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New94195
Fresh011
Picked011
Done011
Total94498

Merged error: 0b

Counts
98 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
0.1b
(* 1/60 (pow x 5))
0.1b
(* 1/3 (pow x 3))
2.7b
(exp (log (+ x (+ x (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))))))

rewrite27.0ms

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

series27.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))
4.0ms
(* 1/60 (pow x 5))
4.0ms
(* 1/3 (pow x 3))
7.0ms
(exp (log (+ x (+ x (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))))))

simplify50.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049391012
149391012

prune159.0ms

Filtered
60 candidates to 98 candidates (-63.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New98098
Fresh011
Picked011
Done022
Total984102

Merged error: 0b

Counts
102 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp (neg x)))
0.0b
(sqrt (exp (neg x)))
0.0b
(* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
6.3b
(- (sqrt (exp x)) (sqrt (exp (neg x))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
26×*-un-lft-identity
22×sqrt-pow1
20×exp-prod sqrt-prod
14×add-cube-cbrt
9×associate-*r*
8×pow1 difference-of-squares
6×add-exp-log distribute-lft-neg-in distribute-rgt-neg-in add-cbrt-cube add-log-exp
5×associate-*l*
4×frac-times flip3-- sqrt-div flip-- distribute-lft-out--
3×sub-neg flip3-+ flip-+
2×neg-sub0 distribute-rgt-in exp-neg neg-mul-1 rem-sqrt-square distribute-lft-in pow1/2 exp-diff associate-*r/ associate-*l/ distribute-lft-out
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 106
Calls
4 calls:
3.0ms
(sqrt (exp (neg x)))
3.0ms
(sqrt (exp (neg x)))
18.0ms
(* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
7.0ms
(- (sqrt (exp x)) (sqrt (exp (neg x))))

series34.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (exp (neg x)))
3.0ms
(sqrt (exp (neg x)))
19.0ms
(* (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
9.0ms
(- (sqrt (exp x)) (sqrt (exp (neg x))))

simplify50.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049241194
149241194

prune93.0ms

Filtered
82 candidates to 118 candidates (-43.9%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1180118
Fresh000
Picked011
Done033
Total1184122

Merged error: 0b

Counts
122 → 4

regimes88.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
01917
11917

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.1s3422×body1280valid
468.0ms2466×body640valid
225.0ms8068×body80valid
145.0ms1206×body320valid
50.0ms654×body160valid

Profiling

Loading profile data...