Details

Time bar (total: 8.7s)

sample343.0ms

Algorithm
intervals
Results
61.0ms478×body80valid
5.0ms13×body640valid
3.0ms11×body320valid
3.0ms5×body1280valid
2.0ms10×body160valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
010363
137262
2191461
3500261

prune18.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.5b

Counts
2 → 2

localize50.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
4.9b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log add-cbrt-cube
26×add-sqr-sqrt
24×associate-*r*
23×associate-*r/
22×*-un-lft-identity
18×pow1
16×times-frac
15×prod-exp cbrt-unprod
14×add-cube-cbrt
11×flip3-- flip--
10×frac-add
9×pow-prod-down
8×add-log-exp
7×sub-neg
6×distribute-rgt-in distribute-lft-in
5×difference-of-squares
4×frac-times associate-+l+ associate-+r+ distribute-lft-out--
3×cbrt-undiv div-exp
2×flip3-+ associate-*l* associate-*l/ associate-/r/ *-commutative flip-+
1×+-commutative associate--l- diff-log div-sub sum-log div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
22.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
35.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
17.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
21.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series608.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
337.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
64.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))
103.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify63.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
010733381
150023157

prune655.0ms

Filtered
128 candidates to 89 candidates (69.5%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1199128
Fresh011
Picked101
Done000
Total12010130

Merged error: 0.4b

Counts
130 → 10

localize40.0ms

Local error

Found 4 expressions with local error:

2.7b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.9b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.9b
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*r/
14×pow1 add-exp-log add-cbrt-cube
13×add-sqr-sqrt
11×flip3-- flip--
10×frac-add
8×*-un-lft-identity add-log-exp
7×distribute-rgt-in sub-neg distribute-lft-in
6×add-cube-cbrt associate-*r* pow-prod-down prod-exp cbrt-unprod
4×frac-times associate-+l+ associate-+r+
2×flip3-+ associate-*l* associate-*l/ *-commutative flip-+ difference-of-squares unswap-sqr
1×+-commutative associate--l- times-frac diff-log div-sub sum-log distribute-lft-out--
Counts
4 → 93
Calls
4 calls:
20.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
32.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
17.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
7.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))

series634.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
336.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
92.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
101.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))

simplify155.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
08813131
148952921
250012921

prune558.0ms

Filtered
105 candidates to 77 candidates (73.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1041105
Fresh189
Picked101
Done000
Total1069115

Merged error: 0.4b

Counts
115 → 9

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
2.7b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
43×add-exp-log add-cbrt-cube
36×associate-*r/
30×add-sqr-sqrt
27×associate-*r*
24×*-un-lft-identity
23×prod-exp cbrt-unprod
22×pow1
17×times-frac
14×add-cube-cbrt
12×distribute-rgt-in flip3-- distribute-lft-in pow-prod-down flip--
10×frac-add
9×sub-neg
8×associate-+r+ add-log-exp
7×difference-of-squares
6×frac-times
5×cbrt-undiv div-exp distribute-lft-out--
4×associate-+l+
3×associate-*l/
2×flip3-+ associate-*l* associate-/r/ *-commutative flip-+
1×+-commutative associate--l- diff-log div-sub sum-log div-inv
Counts
4 → 132
Calls
4 calls:
35.0ms
(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
17.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
35.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
17.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series772.0ms

Counts
4 → 12
Calls
4 calls:
273.0ms
(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
104.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
333.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (* x1 (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
61.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify65.0ms

Algorithm
egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
011884148
150013803

prune661.0ms

Filtered
144 candidates to 94 candidates (65.3%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1413144
Fresh448
Picked101
Done000
Total1467153

Merged error: 0.4b

Counts
153 → 7

localize46.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
2.7b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.6b
(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* x1 (* x1 (- 6.0))))
4.9b
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
43×add-exp-log add-cbrt-cube
30×add-sqr-sqrt
27×associate-*r*
24×*-un-lft-identity
23×prod-exp cbrt-unprod
22×pow1
17×times-frac
14×add-cube-cbrt
12×pow-prod-down
11×add-log-exp
7×difference-of-squares
6×associate-*r/
5×cbrt-undiv div-exp distribute-lft-out--
4×distribute-rgt-neg-out
3×sub-neg flip3-- sum-log flip--
2×distribute-rgt-in frac-times distribute-lft-in flip3-+ associate-*l* associate-/r/ *-commutative flip-+
1×+-commutative associate--l- associate-+l+ diff-log div-sub unsub-neg associate-*l/ div-inv
Counts
4 → 114
Calls
4 calls:
36.0ms
(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
17.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
39.0ms
(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* x1 (* x1 (- 6.0))))
17.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series792.0ms

Counts
4 → 12
Calls
4 calls:
274.0ms
(* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
109.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
337.0ms
(+ (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* x1 (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) x1))) (* x1 (* x1 (- 6.0))))
72.0ms
(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify47.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 1 (24.0ms)

IterNodesCost
09052744
150012331

prune558.0ms

Filtered
126 candidates to 78 candidates (61.9%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1260126
Fresh066
Picked011
Done000
Total1267133

Merged error: 0.4b

Counts
133 → 7

regimes197.0ms

Accuracy

0% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06566
17366
27666
37666

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.3s13833×body80valid
160.0ms419×body640valid
98.0ms203×body1280valid
85.0ms297×body320valid
32.0ms173×body160valid