Details

Time bar (total: 13.7s)

analyze1.8s

Algorithm
search
Search
TrueOtherFalseIter
0%49.9%50.1%0
0%49.9%50.1%1
0%49.9%50.1%2
0%49.9%50.1%3
0%49.9%50.1%4
0%49.9%50.1%5
0%49.9%50.1%6
0%49.9%50.1%7
0%49.9%50.1%8
0.4%49.5%50.1%9
0.4%49.3%50.3%10
0.6%48.9%50.5%11
1.1%48.1%50.9%12
1.5%47.3%51.2%13
1.7%46.9%51.5%14

sample228.0ms

Algorithm
intervals
Results
94.0ms81×body2560valid
68.0ms105×body1280valid
14.0ms40×body640valid
10.0ms24×body1280overflowed
7.0ms329×pre80true
6.0ms9×body2560overflowed
5.0ms17×body640overflowed
3.0ms12×body320valid
2.0ms10×body320overflowed
1.0ms16×body80valid
1.0ms9×body80overflowed
1.0ms4×body160overflowed
0.0ms2×body160valid

simplify94.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04013
110113
224513
369713
4346313
5500113

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 59.9b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
2.0b
(- (exp (* a eps)) 1.0)
3.0b
(- (exp (* b eps)) 1.0)
4.4b
(- (exp (* (+ a b) eps)) 1.0)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
10×add-log-exp
9×flip3-- flip--
6×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
5×sub-neg associate-*r* associate-*l* distribute-lft-out-- difference-of-squares
4×frac-times
3×diff-log
2×distribute-rgt-in distribute-lft-in associate-*r/ associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
9.0ms
(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
4.0ms
(- (exp (* a eps)) 1.0)
4.0ms
(- (exp (* b eps)) 1.0)
4.0ms
(- (exp (* (+ a b) eps)) 1.0)

series48.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))
8.0ms
(- (exp (* a eps)) 1.0)
10.0ms
(- (exp (* b eps)) 1.0)
16.0ms
(- (exp (* (+ a b) eps)) 1.0)

simplify47.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0346733
11449673
25001673

prune151.0ms

Filtered
66 candidates to 88 candidates (-33.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New84488
Fresh000
Picked101
Done000
Total85489

Merged error: 48.1b

Counts
89 → 4

localize31.0ms

Local error

Found 4 expressions with local error:

3.0b
(- (exp (* b eps)) 1.0)
4.4b
(- (exp (* (+ a b) eps)) 1.0)
11.6b
(* (pow a 2) (pow eps 2))
14.5b
(* (pow a 3) (pow eps 3))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
32×unswap-sqr
28×add-exp-log unpow-prod-down
20×associate-*r* associate-*l* sqr-pow
18×*-un-lft-identity prod-exp
14×add-cube-cbrt cube-prod
12×pow-to-exp pow-exp
10×unpow2
8×add-cbrt-cube add-log-exp
4×pow1
2×cube-mult sub-neg flip3-- diff-log unpow3 pow-prod-down *-commutative flip-- cbrt-unprod distribute-lft-out-- difference-of-squares
Counts
4 → 138
Calls
4 calls:
4.0ms
(- (exp (* b eps)) 1.0)
4.0ms
(- (exp (* (+ a b) eps)) 1.0)
7.0ms
(* (pow a 2) (pow eps 2))
10.0ms
(* (pow a 3) (pow eps 3))

series42.0ms

Counts
4 → 12
Calls
4 calls:
11.0ms
(- (exp (* b eps)) 1.0)
14.0ms
(- (exp (* (+ a b) eps)) 1.0)
7.0ms
(* (pow a 2) (pow eps 2))
10.0ms
(* (pow a 3) (pow eps 3))

simplify81.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
0470772
12119679
25002636

prune286.0ms

Filtered
80 candidates to 150 candidates (-87.5%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1464150
Fresh033
Picked101
Done000
Total1477154

Merged error: 47.6b

Counts
154 → 7

localize34.0ms

Local error

Found 4 expressions with local error:

2.3b
(+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
3.0b
(- (exp (* b eps)) 1.0)
4.4b
(- (exp (* (+ a b) eps)) 1.0)
11.6b
(* (pow a 2) (pow eps 2))

rewrite31.0ms

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

series48.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps)))
7.0ms
(- (exp (* b eps)) 1.0)
14.0ms
(- (exp (* (+ a b) eps)) 1.0)
7.0ms
(* (pow a 2) (pow eps 2))

simplify68.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0452695
11920602
25001598

prune239.0ms

Filtered
64 candidates to 104 candidates (-62.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New977104
Fresh426
Picked101
Done000
Total1029111

Merged error: 47.1b

Counts
111 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (pow (* eps a) 2)) (* a eps))) (- (exp (* b eps)) 1.0))
2.3b
(+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (pow (* eps a) 2)) (* a eps)))
3.0b
(- (exp (* b eps)) 1.0)
4.4b
(- (exp (* (+ a b) eps)) 1.0)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×add-log-exp
12×*-un-lft-identity
6×pow1 add-exp-log add-cube-cbrt add-cbrt-cube
5×flip3-- associate-*r* flip--
4×frac-times sub-neg flip3-+ flip-+
3×associate-*l* sum-log distribute-lft-out-- difference-of-squares
2×distribute-rgt-in distribute-lft-in diff-log associate-*r/ associate-*l/
1×+-commutative associate-+r+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 73
Calls
4 calls:
12.0ms
(* (+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (pow (* eps a) 2)) (* a eps))) (- (exp (* b eps)) 1.0))
7.0ms
(+ (* 1/6 (pow (* eps a) 3)) (+ (* 1/2 (pow (* eps a) 2)) (* a eps)))
4.0ms
(- (exp (* b eps)) 1.0)
4.0ms
(- (exp (* (+ a b) eps)) 1.0)

series74.0ms

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

simplify77.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 1 (13.0ms)

IterNodesCost
04651171
123561064
250011064

prune185.0ms

Filtered
63 candidates to 85 candidates (-34.9%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New78785
Fresh628
Picked011
Done000
Total841094

Merged error: 46.9b

Counts
94 → 10

regimes332.0ms

Accuracy

54.5% (3.9b remaining)

Error of 52.2b against oracle of 48.3b and baseline of 56.8b

bsearch1.4s

Steps
ItersRangePoint
9
2.4030359063106986e+66
1.1011899270383602e+73
4.131032168907655e+66
9
-1.312527530380709e+68
-2.8874403778969236e+60
-3.3763543922335703e+65

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06972
17372
27372

end0.0ms

analyze1.8s

Algorithm
search
Search
TrueOtherFalseIter
0%49.9%50.1%0
0%49.9%50.1%1
0%49.9%50.1%2
0%49.9%50.1%3
0%49.9%50.1%4
0%49.9%50.1%5
0%49.9%50.1%6
0%49.9%50.1%7
0%49.9%50.1%8
0.4%49.5%50.1%9
0.4%49.3%50.3%10
0.6%48.9%50.5%11
1.1%48.1%50.9%12
1.5%47.3%51.2%13
1.7%46.9%51.5%14

sample6.4s

Algorithm
intervals
Results
2.8s2522×body2560valid
2.0s3503×body1280valid
367.0ms1063×body640valid
314.0ms703×body1280overflowed
206.0ms9738×pre80true
112.0ms380×body640overflowed
110.0ms161×body2560overflowed
79.0ms340×body320valid
38.0ms170×body320overflowed
36.0ms446×body80valid
20.0ms126×body160valid
17.0ms227×body80overflowed
14.0ms96×body160overflowed
1.0ms1×body2560invalid

Profiling

Loading profile data...