Details

Time bar (total: 10.3s)

sample218.0ms

Algorithm
intervals
Results
91.0ms95×body2560valid
47.0ms102×body1280valid
45.0ms53×body10240exit
10.0ms36×body640valid
5.0ms309×pre80true
1.0ms8×body320valid
1.0ms12×body80valid
0.0ms3×body160valid

simplify97.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04013
110113
224513
369713
4346313
5500113

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 60.9b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* (+ a b) eps))
3.0b
(- (exp (* b eps)) 1.0)
3.1b
(- (exp (* a eps)) 1.0)
5.2b
(- (exp (* (+ a b) eps)) 1.0)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
14×add-log-exp
10×add-sqr-sqrt *-un-lft-identity
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
3×sub-neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares
2×exp-to-pow
1×exp-prod sum-log rem-exp-log
Counts
4 → 53
Calls
4 calls:
2.0ms
(exp (* (+ a b) eps))
4.0ms
(- (exp (* b eps)) 1.0)
4.0ms
(- (exp (* a eps)) 1.0)
4.0ms
(- (exp (* (+ a b) eps)) 1.0)

series127.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(exp (* (+ a b) eps))
30.0ms
(- (exp (* b eps)) 1.0)
37.0ms
(- (exp (* a eps)) 1.0)
45.0ms
(- (exp (* (+ a b) eps)) 1.0)

simplify70.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 3 (66.0ms)

IterNodesCost
0246363
1713333
22393329
35001327

prune247.0ms

Filtered
65 candidates to 47 candidates (72.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 48.7b

localize25.0ms

Local error

Found 4 expressions with local error:

3.1b
(- (exp (* a eps)) 1.0)
5.2b
(- (exp (* (+ a b) eps)) 1.0)
6.6b
(* (* 1/2 (pow eps 2)) b)
12.8b
(* (* 1/6 (pow eps 3)) (pow b 2))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
40×add-exp-log
28×prod-exp
14×add-cbrt-cube
11×add-sqr-sqrt *-un-lft-identity associate-*r*
8×pow-to-exp pow-exp add-log-exp
7×add-cube-cbrt
6×pow1 cbrt-unprod
3×unpow-prod-down
2×sub-neg flip3-- diff-log associate-*l* *-commutative flip-- distribute-lft-out-- difference-of-squares
1×pow-prod-down unpow2 sqr-pow
Counts
4 → 78
Calls
4 calls:
6.0ms
(- (exp (* a eps)) 1.0)
4.0ms
(- (exp (* (+ a b) eps)) 1.0)
8.0ms
(* (* 1/2 (pow eps 2)) b)
11.0ms
(* (* 1/6 (pow eps 3)) (pow b 2))

series150.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(- (exp (* a eps)) 1.0)
52.0ms
(- (exp (* (+ a b) eps)) 1.0)
21.0ms
(* (* 1/2 (pow eps 2)) b)
42.0ms
(* (* 1/6 (pow eps 3)) (pow b 2))

simplify62.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0420496
11952441
25001437

prune374.0ms

Filtered
90 candidates to 51 candidates (56.7%)
Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 48.0b

localize29.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (pow eps 3) b)
3.6b
(* (* 1/6 (* (pow eps 3) b)) (pow b (/ 2 2)))
5.2b
(- (exp (* (+ a b) eps)) 1.0)
6.6b
(* (* 1/2 (pow eps 2)) b)

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
46×prod-exp
20×add-sqr-sqrt add-cbrt-cube
14×associate-*l*
13×*-un-lft-identity associate-*r*
11×add-cube-cbrt
10×pow-to-exp pow-exp cbrt-unprod
7×unpow-prod-down
6×pow1 add-log-exp
4×cube-prod unswap-sqr
3×*-commutative sqr-pow
1×cube-mult sub-neg flip3-- diff-log unpow3 pow-prod-down flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 98
Calls
4 calls:
9.0ms
(* (pow eps 3) b)
27.0ms
(* (* 1/6 (* (pow eps 3) b)) (pow b (/ 2 2)))
4.0ms
(- (exp (* (+ a b) eps)) 1.0)
9.0ms
(* (* 1/2 (pow eps 2)) b)

series138.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (pow eps 3) b)
48.0ms
(* (* 1/6 (* (pow eps 3) b)) (pow b (/ 2 2)))
45.0ms
(- (exp (* (+ a b) eps)) 1.0)
22.0ms
(* (* 1/2 (pow eps 2)) b)

simplify81.0ms

Algorithm
egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
0468623
12470526
25001503

prune449.0ms

Filtered
110 candidates to 61 candidates (55.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 48.0b

localize28.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (* 1/6 (* eps (* (* eps eps) b))) (pow b (/ 2 2)))
5.2b
(- (exp (* (+ a b) eps)) 1.0)
6.6b
(* (* 1/2 (pow eps 2)) b)
6.6b
(* (* eps eps) b)

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
74×add-exp-log
55×prod-exp
34×add-cbrt-cube
21×cbrt-unprod
13×associate-*r*
11×pow1 add-sqr-sqrt
10×*-un-lft-identity
8×add-cube-cbrt
6×pow-to-exp pow-exp add-log-exp
4×pow-prod-down
3×unpow-prod-down associate-*l* *-commutative
1×sub-neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares unswap-sqr sqr-pow
Counts
4 → 88
Calls
4 calls:
203.0ms
(* (* 1/6 (* eps (* (* eps eps) b))) (pow b (/ 2 2)))
4.0ms
(- (exp (* (+ a b) eps)) 1.0)
9.0ms
(* (* 1/2 (pow eps 2)) b)
7.0ms
(* (* eps eps) b)

series129.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (* 1/6 (* eps (* (* eps eps) b))) (pow b (/ 2 2)))
49.0ms
(- (exp (* (+ a b) eps)) 1.0)
21.0ms
(* (* 1/2 (pow eps 2)) b)
17.0ms
(* (* eps eps) b)

simplify88.0ms

Algorithm
egg-herbie
Counts
100 → 100
Iterations

Useful iterations: 2 (80.0ms)

IterNodesCost
0533589
12776492
25001469

prune353.0ms

Filtered
100 candidates to 54 candidates (54.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 48.0b

regimes199.0ms

Accuracy

57.2% (3.3b remaining)

Error of 52.3b against oracle of 48.9b and baseline of 56.7b

bsearch363.0ms

Steps
ItersRangePoint
8
1.2462347089776363e+29
5.796616976600271e+32
1.5041808259877258e+32
10
-4.293023714919907e+37
-3.8886871211341036e+24
-1.3296101009335949e+37

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07743
17743

end0.0ms

sample6.7s

Algorithm
intervals
Results
2.5s2625×body2560valid
1.7s1946×body10240exit
1.7s3442×body1280valid
293.0ms1070×body640valid
164.0ms9946×pre80true
56.0ms308×body320valid
25.0ms432×body80valid
14.0ms123×body160valid