Details

Time bar (total: 4.4s)

sample15.0ms

Algorithm
intervals
Results
5.0ms237×body80valid
1.0ms10×body640valid
0.0ms5×body1280valid
0.0ms3×body320valid
0.0ms1×body2560valid

simplify299.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0205
1644
22034
33274
43394
53454
64134
75164
85614
97004
109094
1112714
1239214
1350014

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* 2 (+ x y)) (+ x z))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
5×flip3-+ flip-+
4×associate-*r/ frac-add
3×sum-log
2×associate-+l+
1×pow1 add-exp-log +-commutative distribute-rgt-in add-sqr-sqrt add-cube-cbrt associate-+r+ *-un-lft-identity distribute-lft-in add-cbrt-cube
Counts
1 → 19
Calls
1 calls:
12.0ms
(+ (* 2 (+ x y)) (+ x z))

series22.0ms

Counts
1 → 3
Calls
1 calls:
22.0ms
(+ (* 2 (+ x y)) (+ x z))

simplify36.0ms

Algorithm
egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0275199
11174190
25001185

prune58.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* 2 x) (+ (* y 2) (+ x z)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
6×sum-log
1×pow1 add-exp-log +-commutative add-sqr-sqrt add-cube-cbrt associate-+r+ *-un-lft-identity flip3-+ add-cbrt-cube flip-+
Counts
1 → 14
Calls
1 calls:
22.0ms
(+ (* 2 x) (+ (* y 2) (+ x z)))

series25.0ms

Counts
1 → 3
Calls
1 calls:
25.0ms
(+ (* 2 x) (+ (* y 2) (+ x z)))

simplify84.0ms

Algorithm
egg-herbie
Counts
17 → 17
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0135128
1571113
23374112
35001112

prune35.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (+ (* y 2) (+ x z)) 3)
3.3b
(+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3))
11.3b
(+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))
44.3b
(/ (+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3)) (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x))))

rewrite348.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity
17×add-sqr-sqrt add-cube-cbrt
15×times-frac
8×add-log-exp
7×add-exp-log add-cbrt-cube
6×associate-+l+
5×pow1 flip3-+ sum-cubes flip-+ distribute-lft-out associate-/l*
3×distribute-rgt-in unpow-prod-down pow-unpow distribute-lft-in cube-prod associate-/r*
2×+-commutative cube-div sub-neg associate--l+ sum-log associate-/r/ associate-/l/
1×cbrt-undiv cube-mult pow-to-exp pow-pow frac-2neg unpow3 div-exp pow-exp clear-num div-inv rem-cube-cbrt sqr-pow
Counts
4 → 94
Calls
4 calls:
15.0ms
(pow (+ (* y 2) (+ x z)) 3)
48.0ms
(+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3))
56.0ms
(+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))
227.0ms
(/ (+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3)) (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x))))

series769.0ms

Counts
4 → 12
Calls
4 calls:
164.0ms
(pow (+ (* y 2) (+ x z)) 3)
375.0ms
(+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3))
70.0ms
(+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))
160.0ms
(/ (+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3)) (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x))))

simplify111.0ms

Algorithm
egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 2 (94.0ms)

IterNodesCost
05811938
131591778
250011767

prune347.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x))))
3.3b
(+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3))
11.3b
(+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))
44.3b
(* (+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3)) (/ 1 (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))))

rewrite550.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
25×*-un-lft-identity
20×add-cube-cbrt times-frac
17×add-exp-log
15×associate-*r*
11×add-cbrt-cube
8×add-log-exp
7×pow1
6×associate-+l+ flip3-+ flip-+
5×associate-*l*
4×div-exp prod-exp associate-/r/
3×distribute-rgt-in distribute-lft-in associate-/r* associate-/l* unswap-sqr
2×cbrt-undiv +-commutative frac-times sub-neg rec-exp 1-exp associate-*l/ associate--l+ sum-log sum-cubes cbrt-unprod div-inv distribute-lft-out
1×pow-flip frac-2neg associate-*r/ pow-prod-down clear-num un-div-inv *-commutative inv-pow
Counts
4 → 107
Calls
4 calls:
83.0ms
(/ 1 (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x))))
47.0ms
(+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3))
57.0ms
(+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))
360.0ms
(* (+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3)) (/ 1 (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))))

series697.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(/ 1 (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x))))
377.0ms
(+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3))
70.0ms
(+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))
161.0ms
(* (+ (pow (* 2 x) 3) (pow (+ (* y 2) (+ x z)) 3)) (/ 1 (+ (* (+ (* y 2) (+ x z)) (- (+ (* y 2) (+ x z)) (* 2 x))) (* 4 (* x x)))))

simplify101.0ms

Algorithm
egg-herbie
Counts
119 → 119
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
05522298
131182048
250012019

prune376.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes66.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0145
1145

end0.0ms

sample371.0ms

Algorithm
intervals
Results
163.0ms7371×body80valid
22.0ms197×body1280valid
15.0ms200×body640valid
8.0ms131×body320valid
4.0ms37×body2560valid
3.0ms69×body160valid