Details

Time bar (total: 3.0s)

sample28.0ms

Algorithm
intervals
Results
18.0ms319×body80valid

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0134
1204
2344
3494
4574
5694
6904
71274
81764
93044
104394
114494
124494

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) (* (- 1.0 x) z))
0.0b
(* (- 1.0 x) z)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*l*
4×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
3×associate-*r*
2×associate-*l/
1×+-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 33
Calls
2 calls:
3.0ms
(+ (* x y) (* (- 1.0 x) z))
11.0ms
(* (- 1.0 x) z)

series64.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(+ (* x y) (* (- 1.0 x) z))
29.0ms
(* (- 1.0 x) z)

simplify98.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
0185183
1776166
24093166
35001166

prune73.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x y) (/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
0.0b
(+ (* x x) (* 1.0 x))
3.1b
(* (- (pow 1.0 3) (pow x 3)) z)
11.9b
(/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
25×associate-*l*
18×*-un-lft-identity
16×difference-of-squares
12×unpow-prod-down cube-prod
11×add-exp-log add-cbrt-cube
8×add-cube-cbrt add-log-exp sqr-pow
6×pow1
5×distribute-lft-out--
4×associate-*l/
3×flip3-+ times-frac associate-*r* associate-/r* flip-+
2×cbrt-undiv +-commutative flip3-- div-exp prod-exp sum-log associate-/r/ flip-- cbrt-unprod associate-/l/
1×difference-cubes distribute-rgt-out frac-2neg pow-prod-down clear-num *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 90
Calls
4 calls:
26.0ms
(+ (* x y) (/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
3.0ms
(+ (* x x) (* 1.0 x))
61.0ms
(* (- (pow 1.0 3) (pow x 3)) z)
43.0ms
(/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series255.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(+ (* x y) (/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))
50.0ms
(+ (* x x) (* 1.0 x))
43.0ms
(* (- (pow 1.0 3) (pow x 3)) z)
78.0ms
(/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify66.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (57.0ms)

IterNodesCost
0517890
12405793
25001787

prune282.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(- z (* x z))
0.0b
(+ (* x y) (* 1.0 (- z (* x z))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
4×associate-+r+
3×sub-neg *-un-lft-identity
2×pow1 add-exp-log distribute-rgt-in add-sqr-sqrt add-cube-cbrt distribute-lft-in add-cbrt-cube
1×+-commutative flip3-- distribute-rgt-out-- flip3-+ diff-log sum-log flip-- flip-+
Counts
2 → 28
Calls
2 calls:
2.0ms
(- z (* x z))
3.0ms
(+ (* x y) (* 1.0 (- z (* x z))))

series239.0ms

Counts
2 → 6
Calls
2 calls:
202.0ms
(- z (* x z))
36.0ms
(+ (* x y) (* 1.0 (- z (* x z))))

simplify80.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0175193
1579173
22628172
35003172

prune65.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

2.9b
(exp (log (+ (* x x) (* 1.0 x))))
3.1b
(* (- (pow 1.0 3) (pow x 3)) z)
7.8b
(log (+ (* x x) (* 1.0 x)))
11.9b
(/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (exp (log (+ (* x x) (* 1.0 x))))))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
25×associate-*l*
21×*-un-lft-identity
16×difference-of-squares
12×add-exp-log unpow-prod-down cube-prod
11×add-cube-cbrt add-cbrt-cube
8×pow1 log-prod sqr-pow
5×distribute-lft-out--
4×log-div exp-prod exp-sum associate-*l/ add-log-exp
3×flip3-+ times-frac associate-*r* associate-/r* flip-+
2×cbrt-undiv distribute-rgt-out flip3-- exp-diff div-exp prod-exp associate-/r/ log-pow flip-- cbrt-unprod associate-/l/
1×difference-cubes frac-2neg rem-log-exp pow-prod-down clear-num *-commutative div-inv rem-exp-log associate-/l* unswap-sqr
Counts
4 → 100
Calls
4 calls:
4.0ms
(exp (log (+ (* x x) (* 1.0 x))))
61.0ms
(* (- (pow 1.0 3) (pow x 3)) z)
3.0ms
(log (+ (* x x) (* 1.0 x)))
46.0ms
(/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (exp (log (+ (* x x) (* 1.0 x))))))

series218.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(exp (log (+ (* x x) (* 1.0 x))))
37.0ms
(* (- (pow 1.0 3) (pow x 3)) z)
52.0ms
(log (+ (* x x) (* 1.0 x)))
76.0ms
(/ (* (- (pow 1.0 3) (pow x 3)) z) (+ (* 1.0 1.0) (exp (log (+ (* x x) (* 1.0 x))))))

simplify61.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
0513924
12301793
25002768

prune336.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes49.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0135
1135

end0.0ms

sample753.0ms

Algorithm
intervals
Results
526.0ms10195×body80valid