Details

Time bar (total: 5.1s)

sample30.0ms

Algorithm
intervals
Results
19.0ms326×body80valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0153
1343
2723
31003
41083
51083

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.1b

localize6.0ms

Local error

Found 2 expressions with local error:

0.7b
(- (* x y) (* z y))
4.9b
(* (- (* 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:
3.0ms
(- (* x y) (* z y))
9.0ms
(* (- (* x y) (* z y)) t)

series76.0ms

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

simplify98.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0157205
1644173
23801169
35001169

prune91.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (* (cbrt (- (* x y) (* z y))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
7.4b
(cbrt (- (* x y) (* z y)))
7.4b
(cbrt (- (* x y) (* z y)))
7.4b
(cbrt (- (* x y) (* z y)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
32×associate-*l/
30×flip3-- flip--
28×frac-times
16×pow1 add-exp-log
12×cbrt-prod
10×add-cbrt-cube
8×associate-*r/ pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×distribute-rgt-out-- pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 90
Calls
4 calls:
45.0ms
(* (* (cbrt (- (* x y) (* z y))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
2.0ms
(cbrt (- (* x y) (* z y)))
2.0ms
(cbrt (- (* x y) (* z y)))
2.0ms
(cbrt (- (* x y) (* z y)))

series381.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* (cbrt (- (* x y) (* z y))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
109.0ms
(cbrt (- (* x y) (* z y)))
111.0ms
(cbrt (- (* x y) (* z y)))
115.0ms
(cbrt (- (* x y) (* z y)))

simplify49.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
04841784
113911557
250011464

prune271.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (* x y) (* z y))
1.4b
(* (* (* (cbrt y) (cbrt (- x z))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
7.4b
(cbrt (- (* x y) (* z y)))
7.4b
(cbrt (- (* x y) (* z y)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
58×cbrt-div
32×associate-*l/
30×flip3-- flip--
28×frac-times
26×associate-*r/
25×pow1 add-exp-log
15×pow-prod-down prod-exp cbrt-unprod
14×add-cbrt-cube
8×cbrt-prod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp
3×distribute-rgt-out--
2×pow1/3
1×sub-neg diff-log associate-*r* associate-*l* *-commutative
Counts
4 → 95
Calls
4 calls:
2.0ms
(- (* x y) (* z y))
91.0ms
(* (* (* (cbrt y) (cbrt (- x z))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
2.0ms
(cbrt (- (* x y) (* z y)))
2.0ms
(cbrt (- (* x y) (* z y)))

series700.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(- (* x y) (* z y))
428.0ms
(* (* (* (cbrt y) (cbrt (- x z))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
123.0ms
(cbrt (- (* x y) (* z y)))
112.0ms
(cbrt (- (* x y) (* z y)))

simplify74.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
06811798
124921641
250011594

prune379.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.7b
(- (* x y) (* z y))
4.9b
(* (* (* (* (cbrt y) (cbrt (- x z))) (cbrt (- (* x y) (* z y)))) (cbrt (- (* x y) (* z y)))) t)
7.4b
(cbrt (- (* x y) (* z y)))
7.4b
(cbrt (- (* x y) (* z y)))

rewrite311.0ms

Algorithm
rewrite-expression-head
Rules
58×cbrt-div
40×associate-*l/
30×flip3-- flip--
28×frac-times
26×associate-*r/
18×pow1 add-exp-log
11×add-cbrt-cube
10×pow-prod-down prod-exp cbrt-unprod
8×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×add-log-exp
3×distribute-rgt-out-- associate-*r*
2×pow1/3
1×sub-neg diff-log associate-*l* *-commutative
Counts
4 → 91
Calls
4 calls:
2.0ms
(- (* x y) (* z y))
300.0ms
(* (* (* (* (cbrt y) (cbrt (- x z))) (cbrt (- (* x y) (* z y)))) (cbrt (- (* x y) (* z y)))) t)
2.0ms
(cbrt (- (* x y) (* z y)))
2.0ms
(cbrt (- (* x y) (* z y)))

series689.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(- (* x y) (* z y))
407.0ms
(* (* (* (* (cbrt y) (cbrt (- x z))) (cbrt (- (* x y) (* z y)))) (cbrt (- (* x y) (* z y)))) t)
120.0ms
(cbrt (- (* x y) (* z y)))
130.0ms
(cbrt (- (* x y) (* z y)))

simplify72.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
06601410
124851276
250021252

prune570.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes272.0ms

Accuracy

76.7% (1.7b remaining)

Error of 1.7b against oracle of 0.0b and baseline of 7.2b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03327
13327

end0.0ms

sample827.0ms

Algorithm
intervals
Results
552.0ms10706×body80valid