Details

Time bar (total: 4.1s)

sample13.0ms

Algorithm
intervals
Results
6.0ms333×body80valid

simplify25.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0194
1414
2694
3904
41054
51474
62264
73684
84154
94154

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: 0.1b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 0.253 (* x 0.12))
0.1b
(* x (+ 0.253 (* x 0.12)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
6×add-sqr-sqrt
5×associate-*r* associate-*l*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube distribute-lft-out add-log-exp
3×+-commutative
2×distribute-rgt-in distribute-lft-in flip3-+ associate-*r/ flip-+
1×pow-prod-down prod-exp sum-log *-commutative cbrt-unprod unswap-sqr
Counts
2 → 39
Calls
2 calls:
6.0ms
(+ 0.253 (* x 0.12))
8.0ms
(* x (+ 0.253 (* x 0.12)))

series106.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(+ 0.253 (* x 0.12))
68.0ms
(* x (+ 0.253 (* x 0.12)))

simplify102.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0161183
1735164
23776164
35002164

prune64.0ms

Filtered
45 candidates to 29 candidates (35.6%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New40545
Fresh000
Picked011
Done000
Total40646

Merged error: 0.0b

Counts
46 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
51×cbrt-prod
23×add-sqr-sqrt
22×distribute-lft-out
19×associate-*l*
18×cbrt-div
15×add-cube-cbrt
14×swap-sqr
11×pow1
9×flip3-+ pow1/3 flip-+
8×associate-*r* add-cbrt-cube
6×add-exp-log
4×frac-times cbrt-unprod add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative
Counts
4 → 108
Calls
4 calls:
17.0ms
(* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
5.0ms
(cbrt (+ 0.253 (* x 0.12)))
9.0ms
(cbrt (+ 0.253 (* x 0.12)))
6.0ms
(cbrt (+ 0.253 (* x 0.12)))

series560.0ms

Counts
4 → 12
Calls
4 calls:
161.0ms
(* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
134.0ms
(cbrt (+ 0.253 (* x 0.12)))
134.0ms
(cbrt (+ 0.253 (* x 0.12)))
131.0ms
(cbrt (+ 0.253 (* x 0.12)))

simplify53.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
04321303
115681235
250011025

prune253.0ms

Filtered
120 candidates to 75 candidates (37.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1182120
Fresh134
Picked011
Done011
Total1197126

Merged error: 0.0b

Counts
126 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
0.8b
(cbrt (- 0.253 (* x 0.12)))
1.2b
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
153×add-sqr-sqrt
75×cbrt-prod
60×unswap-sqr
48×*-un-lft-identity
47×difference-of-squares
27×swap-sqr
16×associate-*l*
14×*-commutative
12×distribute-lft-out--
8×add-cube-cbrt cbrt-div
4×pow1 add-exp-log pow1/3 add-cbrt-cube distribute-lft-out add-log-exp
2×flip3-- flip3-+ flip-- flip-+
Counts
4 → 115
Calls
4 calls:
6.0ms
(cbrt (+ 0.253 (* x 0.12)))
5.0ms
(cbrt (+ 0.253 (* x 0.12)))
6.0ms
(cbrt (- 0.253 (* x 0.12)))
43.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

series666.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(cbrt (+ 0.253 (* x 0.12)))
138.0ms
(cbrt (+ 0.253 (* x 0.12)))
141.0ms
(cbrt (- 0.253 (* x 0.12)))
257.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

simplify74.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
06571484
121051329
250021301

prune300.0ms

Filtered
127 candidates to 66 candidates (48.0%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1261127
Fresh134
Picked011
Done022
Total1277134

Merged error: 0.0b

Counts
134 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.8b
(cbrt (- 0.253 (* x 0.12)))
0.8b
(cbrt (+ 0.253 (* x 0.12)))
1.2b
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
1.2b
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

rewrite130.0ms

Algorithm
rewrite-expression-head
Rules
293×add-sqr-sqrt
128×cbrt-prod
119×unswap-sqr
92×difference-of-squares
72×*-un-lft-identity
54×swap-sqr
28×associate-*l* *-commutative
22×distribute-lft-out--
8×add-cube-cbrt cbrt-div
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
3×flip3-- flip--
2×distribute-lft-out
1×flip3-+ flip-+
Counts
4 → 168
Calls
4 calls:
6.0ms
(cbrt (- 0.253 (* x 0.12)))
6.0ms
(cbrt (+ 0.253 (* x 0.12)))
65.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
42.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

series792.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(cbrt (- 0.253 (* x 0.12)))
131.0ms
(cbrt (+ 0.253 (* x 0.12)))
261.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
263.0ms
(cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))

simplify73.0ms

Algorithm
egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
06572186
121051904
250021868

prune343.0ms

Filtered
180 candidates to 71 candidates (60.6%)
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New1800180
Fresh033
Picked011
Done033
Total1807187

Merged error: 0.0b

Counts
187 → 7

regimes72.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0114
1114

end0.0ms

sample304.0ms

Algorithm
intervals
Results
191.0ms10653×body80valid