Details

Time bar (total: 6.2s)

sample19.0ms

Algorithm
intervals
Results
8.0ms331×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0153
1343
2723
31003
41083
51083

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.4b

localize6.0ms

Local error

Found 2 expressions with local error:

0.4b
(- (* x y) (* z y))
6.1b
(* (- (* x y) (* z y)) t)

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*l* add-cbrt-cube add-log-exp
3×associate-*r*
2×flip3-- distribute-rgt-out-- associate-*l/ flip--
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 34
Calls
2 calls:
2.0ms
(- (* x y) (* z y))
9.0ms
(* (- (* x y) (* z y)) t)

series79.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(- (* x y) (* z y))
46.0ms
(* (- (* x y) (* z y)) t)

simplify99.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0157205
1644173
23801169
35001169

prune91.0ms

Filtered
40 candidates to 30 candidates (75.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
1.0b
(* (* (* (* y (- x z)) (cbrt t)) (cbrt t)) (cbrt t))
2.4b
(* (* y (- x z)) (cbrt t))
3.2b
(* (* (* y (- x z)) (cbrt t)) (cbrt t))

rewrite262.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1 add-exp-log
19×pow-prod-down prod-exp cbrt-unprod
18×associate-*r*
16×add-cbrt-cube
12×cbrt-prod associate-*l/
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*r/
4×add-log-exp
3×flip3-- associate-*l* *-commutative flip--
1×pow1/3
Counts
4 → 89
Calls
4 calls:
1.0ms
(cbrt t)
191.0ms
(* (* (* (* y (- x z)) (cbrt t)) (cbrt t)) (cbrt t))
15.0ms
(* (* y (- x z)) (cbrt t))
52.0ms
(* (* (* y (- x z)) (cbrt t)) (cbrt t))

series557.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(cbrt t)
68.0ms
(* (* (* (* y (- x z)) (cbrt t)) (cbrt t)) (cbrt t))
131.0ms
(* (* y (- x z)) (cbrt t))
190.0ms
(* (* (* y (- x z)) (cbrt t)) (cbrt t))

simplify64.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0402713
12103562
25002516

prune225.0ms

Filtered
101 candidates to 70 candidates (69.3%)
Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t))) (cbrt t))
1.6b
(* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
1.9b
(* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t))))
2.4b
(* (* y (- x z)) (cbrt t))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
52×pow1 add-exp-log
34×pow-prod-down prod-exp cbrt-unprod
25×associate-*r*
22×add-cbrt-cube
20×associate-*l/
16×cbrt-prod
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-*r/
4×flip3-- associate-*l* *-commutative flip-- add-log-exp
Counts
4 → 111
Calls
4 calls:
742.0ms
(* (* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t))) (cbrt t))
196.0ms
(* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
51.0ms
(* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t))))
15.0ms
(* (* y (- x z)) (cbrt t))

series735.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t))) (cbrt t))
191.0ms
(* (* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt t)))
340.0ms
(* (* (* y (- x z)) (cbrt t)) (cbrt (* (cbrt t) (cbrt t))))
133.0ms
(* (* y (- x z)) (cbrt t))

simplify92.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
05671471
131801242
250021201

prune321.0ms

Filtered
123 candidates to 83 candidates (67.5%)
Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* (* (cbrt (* (* y (- x z)) (cbrt t))) (cbrt (* (* y (- x z)) (cbrt t)))) (cbrt (* (* y (- x z)) (cbrt t)))) (cbrt t))
7.8b
(cbrt (* (* y (- x z)) (cbrt t)))
7.8b
(cbrt (* (* y (- x z)) (cbrt t)))
7.8b
(cbrt (* (* y (- x z)) (cbrt t)))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
100×associate-*l/
68×associate-*r/
60×cbrt-div
30×flip3-- flip--
28×frac-times
13×pow1 add-exp-log
9×pow-prod-down
7×pow1/3
6×cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* prod-exp add-cbrt-cube cbrt-unprod
4×add-log-exp
1×associate-*l* *-commutative
Counts
4 → 84
Calls
4 calls:
122.0ms
(* (* (* (cbrt (* (* y (- x z)) (cbrt t))) (cbrt (* (* y (- x z)) (cbrt t)))) (cbrt (* (* y (- x z)) (cbrt t)))) (cbrt t))
15.0ms
(cbrt (* (* y (- x z)) (cbrt t)))
12.0ms
(cbrt (* (* y (- x z)) (cbrt t)))
12.0ms
(cbrt (* (* y (- x z)) (cbrt t)))

series1.1s

Counts
4 → 12
Calls
4 calls:
241.0ms
(* (* (* (cbrt (* (* y (- x z)) (cbrt t))) (cbrt (* (* y (- x z)) (cbrt t)))) (cbrt (* (* y (- x z)) (cbrt t)))) (cbrt t))
306.0ms
(cbrt (* (* y (- x z)) (cbrt t)))
290.0ms
(cbrt (* (* y (- x z)) (cbrt t)))
288.0ms
(cbrt (* (* y (- x z)) (cbrt t)))

simplify78.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
04781538
114861302
250011152

prune306.0ms

Filtered
96 candidates to 73 candidates (76.0%)
Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 0.0b

regimes332.0ms

Accuracy

82.3% (1.2b remaining)

Error of 1.3b against oracle of 0.1b and baseline of 6.9b

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02513
12513

end0.0ms

sample541.0ms

Algorithm
intervals
Results
267.0ms10755×body80valid