Details

Time bar (total: 4.9s)

sample30.0ms

Algorithm
intervals
Results
12.0ms350×body80valid

simplify22.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1255
2395
3585
4735
5875
61025
71085
81105
91105

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize8.0ms

Local error

Found 1 expressions with local error:

5.2b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×*-un-lft-identity
10×associate-*r*
8×times-frac
4×distribute-lft-out-- difference-of-squares
3×pow1 add-exp-log add-cube-cbrt associate-*r/ associate-*l* add-cbrt-cube
2×distribute-rgt-in sub-neg distribute-lft-in
1×flip3-- pow-prod-down prod-exp *-commutative frac-sub flip-- cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 32
Calls
1 calls:
132.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series50.0ms

Counts
1 → 3
Calls
1 calls:
50.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify35.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0203237
1846215
25001213

prune99.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 1.2b

localize8.0ms

Local error

Found 1 expressions with local error:

5.2b
(* (- (/ y z) (/ t (- 1.0 z))) x)

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×*-un-lft-identity
10×associate-*l*
8×times-frac
4×distribute-lft-out-- difference-of-squares
3×pow1 add-exp-log add-cube-cbrt associate-*r* associate-*l/ add-cbrt-cube
1×flip3-- pow-prod-down prod-exp *-commutative frac-sub flip-- cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 28
Calls
1 calls:
144.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(* (- (/ y z) (/ t (- 1.0 z))) x)

simplify68.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 1 (7.0ms)

IterNodesCost
0174226
1592204
22820204
35001204

prune97.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
1.8b
(* (* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x))) (cbrt x))
3.6b
(* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x)))

rewrite371.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×pow1 add-exp-log
11×associate-*l* add-cbrt-cube
9×cbrt-prod add-cube-cbrt pow-prod-down associate-*l/ prod-exp cbrt-unprod
8×times-frac
7×associate-*r*
4×distribute-lft-out-- add-log-exp difference-of-squares
2×flip3-- pow1/3 *-commutative frac-sub flip--
1×unswap-sqr
Counts
4 → 78
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
210.0ms
(* (* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x))) (cbrt x))
157.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (* (cbrt x) (cbrt x)))

series616.0ms

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

simplify54.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
0387812
11601620
25002581

prune278.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
1.5b
(* (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)) (cbrt x))
1.8b
(* (* (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)) (cbrt x)) (cbrt x))
2.3b
(* (- (/ y z) (/ t (- 1.0 z))) (cbrt x))

rewrite894.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×*-un-lft-identity
20×pow1 add-exp-log
18×associate-*r* associate-*l/
13×cbrt-prod
12×add-cube-cbrt associate-*l*
10×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
8×times-frac
4×distribute-lft-out-- add-log-exp difference-of-squares
3×flip3-- *-commutative frac-sub flip--
2×unswap-sqr
1×pow1/3
Counts
4 → 94
Calls
4 calls:
1.0ms
(cbrt x)
162.0ms
(* (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)) (cbrt x))
585.0ms
(* (* (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)) (cbrt x)) (cbrt x))
142.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (cbrt x))

series568.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt x)
186.0ms
(* (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)) (cbrt x))
61.0ms
(* (* (* (- (/ y z) (/ t (- 1.0 z))) (cbrt x)) (cbrt x)) (cbrt x))
135.0ms
(* (- (/ y z) (/ t (- 1.0 z))) (cbrt x))

simplify66.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
04731019
12167846
25002793

prune296.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.0b

regimes348.0ms

Accuracy

90% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 4.6b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04852
14852

end0.0ms

sample642.0ms

Algorithm
intervals
Results
289.0ms10062×body80valid