Details

Time bar (total: 3.8s)

sample36.0ms

Algorithm
intervals
Results
18.0ms377×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0267
1576
2956
31166
41186
51186

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ x (* y z)) (* t a))
4.6b
(* (* a z) b)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-exp-log add-cbrt-cube add-log-exp
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp sum-log cbrt-unprod
1×+-commutative associate-+l+ flip3-+ associate-*l* *-commutative flip-+
Counts
2 → 31
Calls
2 calls:
5.0ms
(+ (+ x (* y z)) (* t a))
5.0ms
(* (* a z) b)

series70.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(+ (+ x (* y z)) (* t a))
24.0ms
(* (* a z) b)

simplify101.0ms

Algorithm
egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0208172
1941148
24576147
35001147

prune71.0ms

Filtered
37 candidates to 26 candidates (70.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New36137
Fresh011
Picked011
Done000
Total36339

Merged error: 0.0b

Counts
39 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
0.8b
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
4.0b
(* (* a z) (* (cbrt b) (cbrt b)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×add-log-exp
2×pow1/3 associate-*l* *-commutative
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt b)
1.0ms
(cbrt b)
11.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
8.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

series560.0ms

Counts
4 → 12
Calls
4 calls:
251.0ms
(cbrt b)
166.0ms
(cbrt b)
45.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
98.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

simplify47.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
0258535
11318385
25001337

prune182.0ms

Filtered
86 candidates to 54 candidates (62.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New85186
Fresh011
Picked101
Done011
Total86389

Merged error: 0.0b

Counts
89 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt b) (cbrt b)))
0.6b
(cbrt (cbrt b))
0.8b
(* (* (* a z) (* (cbrt b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b))))) (cbrt b))
4.0b
(* (* a z) (* (cbrt b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)))))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
54×pow1 add-exp-log
37×pow-prod-down prod-exp cbrt-unprod
31×add-cbrt-cube
13×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×add-log-exp
2×pow1/3 associate-*l* *-commutative
Counts
4 → 87
Calls
4 calls:
4.0ms
(cbrt (* (cbrt b) (cbrt b)))
2.0ms
(cbrt (cbrt b))
14.0ms
(* (* (* a z) (* (cbrt b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b))))) (cbrt b))
11.0ms
(* (* a z) (* (cbrt b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)))))

series679.0ms

Counts
4 → 12
Calls
4 calls:
265.0ms
(cbrt (* (cbrt b) (cbrt b)))
267.0ms
(cbrt (cbrt b))
48.0ms
(* (* (* a z) (* (cbrt b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b))))) (cbrt b))
98.0ms
(* (* a z) (* (cbrt b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)))))

simplify83.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 2 (70.0ms)

IterNodesCost
03671202
11741925
25001821

prune220.0ms

Filtered
99 candidates to 55 candidates (55.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New99099
Fresh011
Picked011
Done011
Total993102

Merged error: 0.0b

Counts
102 → 3

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ t (* z b))
3.3b
(* a (+ t (* z b)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×associate-*r* associate-*l*
2×flip3-+ associate-*r/ flip-+
1×+-commutative distribute-rgt-in distribute-lft-in pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
2 → 33
Calls
2 calls:
3.0ms
(+ t (* z b))
5.0ms
(* a (+ t (* z b)))

series83.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(+ t (* z b))
53.0ms
(* a (+ t (* z b)))

simplify82.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0165168
1711149
22913149
35002149

prune82.0ms

Filtered
39 candidates to 28 candidates (71.8%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New36339
Fresh000
Picked011
Done022
Total36642

Merged error: 0b

Counts
42 → 6

regimes260.0ms

Accuracy

82.9% (0.3b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 2.0b

bsearch107.0ms

Steps
ItersRangePoint
8
7.262711338183868e-70
1.1599643582685415e-66
8.665808856307597e-69
9
-11051305486.510078
-29.709840736800672
-29882.937229977622

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03913
13913

end0.0ms

sample973.0ms

Algorithm
intervals
Results
555.0ms11902×body80valid

Profiling

Loading profile data...