Details

Time bar (total: 6.1s)

sample23.0ms

Algorithm
intervals
Results
11.0ms349×body80valid

simplify103.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0144
1254
2584
3964
41314
51554
61794
73104
86434
911714
1024824
1137744
1250024

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.8b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ z t)))
7.1b
(* (- y x) (/ z t))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*l*
4×pow1 add-log-exp
2×frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 49
Calls
2 calls:
2.0ms
(+ x (* (- y x) (/ z t)))
15.0ms
(* (- y x) (/ z t))

series77.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(+ x (* (- y x) (/ z t)))
43.0ms
(* (- y x) (/ z t))

simplify37.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0296310
11245287
25001275

prune119.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- y x))
0.5b
(cbrt (- y x))
2.8b
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (/ z t)))
4.4b
(* (cbrt (- y x)) (/ z t))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
116×cbrt-div
84×frac-times
58×flip3-- flip--
40×associate-*l/
31×add-sqr-sqrt
30×add-exp-log
27×associate-*r/
21×*-un-lft-identity
18×pow1 add-cbrt-cube
17×cbrt-prod
15×add-cube-cbrt prod-exp cbrt-unprod
14×associate-*r*
11×times-frac
9×associate-*l* pow-prod-down
4×add-log-exp unswap-sqr
3×cbrt-undiv div-exp distribute-lft-out-- difference-of-squares
2×pow1/3 *-commutative
1×div-inv
Counts
4 → 152
Calls
4 calls:
2.0ms
(cbrt (- y x))
2.0ms
(cbrt (- y x))
46.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (/ z t)))
18.0ms
(* (cbrt (- y x)) (/ z t))

series522.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(cbrt (- y x))
146.0ms
(cbrt (- y x))
42.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (- y x)) (/ z t)))
194.0ms
(* (cbrt (- y x)) (/ z t))

simplify81.0ms

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
08062054
126651859
250011806

prune435.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.7b
(* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
2.8b
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (/ (cbrt z) (cbrt t))))

rewrite330.0ms

Algorithm
rewrite-expression-head
Rules
220×cbrt-div
219×frac-times
175×add-exp-log
115×associate-*l/
110×flip3-- flip--
108×prod-exp cbrt-unprod
63×associate-*r/
60×add-cbrt-cube
32×cbrt-undiv div-exp
27×pow1
17×add-sqr-sqrt
16×pow-prod-down
13×cbrt-prod
11×*-un-lft-identity
9×add-cube-cbrt associate-*l*
6×associate-*r*
4×add-log-exp unswap-sqr
3×times-frac
2×pow1/3 *-commutative
1×div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 238
Calls
4 calls:
0.0ms
(cbrt t)
0.0ms
(cbrt t)
28.0ms
(* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
277.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (/ (cbrt z) (cbrt t))))

series590.0ms

Counts
4 → 12
Calls
4 calls:
184.0ms
(cbrt t)
178.0ms
(cbrt t)
183.0ms
(* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
45.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (/ (cbrt z) (cbrt t))))

simplify77.0ms

Algorithm
egg-herbie
Counts
250 → 250
Iterations

Useful iterations: 1 (36.0ms)

IterNodesCost
016756010
150014945

prune765.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.7b
(* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
2.8b
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (/ (cbrt z) (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t))))))

rewrite349.0ms

Algorithm
rewrite-expression-head
Rules
267×add-exp-log
220×cbrt-div
219×frac-times
168×prod-exp cbrt-unprod
115×associate-*l/
110×flip3-- flip--
90×add-cbrt-cube
63×associate-*r/
52×cbrt-undiv div-exp
27×pow1
17×add-sqr-sqrt
16×pow-prod-down
13×cbrt-prod
11×*-un-lft-identity
9×add-cube-cbrt associate-*l*
6×associate-*r*
4×add-log-exp unswap-sqr
3×times-frac
2×pow1/3 *-commutative
1×div-inv distribute-lft-out-- difference-of-squares
Counts
4 → 262
Calls
4 calls:
0.0ms
(cbrt t)
1.0ms
(cbrt t)
30.0ms
(* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
294.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (/ (cbrt z) (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t))))))

series600.0ms

Counts
4 → 12
Calls
4 calls:
183.0ms
(cbrt t)
185.0ms
(cbrt t)
180.0ms
(* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))
52.0ms
(* (* (cbrt (- y x)) (cbrt (- y x))) (* (* (cbrt (- y x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (/ (cbrt z) (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t))))))

simplify100.0ms

Algorithm
egg-herbie
Counts
274 → 274
Iterations

Useful iterations: 1 (39.0ms)

IterNodesCost
018968164
150017011

prune930.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0.0b

regimes261.0ms

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02121
12121

end0.0ms

sample556.0ms

Algorithm
intervals
Results
286.0ms10775×body80valid