Details

Time bar (total: 11.7s)

sample351.0ms

Algorithm
intervals
Results
189.0ms6×body160valid
102.0ms406×body80valid
18.0ms18×body640valid
13.0ms11×body1280valid
6.0ms8×body320valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
010363
137262
2191461
3500261

prune14.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.5b

Counts
2 → 1

localize47.0ms

Local error

Found 4 expressions with local error:

2.1b
(+ (* (* (* 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)))
3.8b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
5.2b
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
5.3b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite83.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:
33.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)))
16.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
6.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
20.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series128.0ms

Counts
4 → 12
Calls
4 calls:
71.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)))
14.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
18.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
24.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify149.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
08813131
148952921
250012921

prune673.0ms

Filtered
105 candidates to 77 candidates (26.7%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New9411105
Fresh000
Picked101
Done000
Total9511106

Merged error: 0.4b

Counts
106 → 11

localize38.0ms

Local error

Found 4 expressions with local error:

2.1b
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ 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)))
3.8b
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ (* x1 x1) 1.0)) 3.0))
5.2b
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
5.3b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
40×associate-*r/
18×frac-add
15×flip3-- flip--
14×pow1 add-exp-log add-cbrt-cube
13×add-sqr-sqrt
11×*-un-lft-identity add-log-exp
10×frac-sub
8×frac-times
7×distribute-rgt-in sub-neg distribute-lft-in flip3-+ flip-+
6×add-cube-cbrt associate-*r* pow-prod-down prod-exp cbrt-unprod
4×associate-+l+ associate-+r+
2×diff-log associate-*l* associate-*l/ sum-log *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×+-commutative times-frac distribute-lft-out associate--r+
Counts
4 → 105
Calls
4 calls:
40.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) 1.0)) (+ (/ 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)))
24.0ms
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ (* x1 x1) 1.0)) 3.0))
6.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
17.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series116.0ms

Counts
4 → 12
Calls
4 calls:
66.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) 1.0)) (+ (/ 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)))
15.0ms
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ (* x1 x1) 1.0)) 3.0))
20.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
16.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify66.0ms

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
012174475
150014262

prune905.0ms

Filtered
117 candidates to 88 candidates (24.8%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1161117
Fresh2810
Picked011
Done000
Total11810128

Merged error: 0.4b

Counts
128 → 10

localize46.0ms

Local error

Found 4 expressions with local error:

5.4b
(+ (* (* (* 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)) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
22.7b
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
22.7b
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
22.7b
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
446×associate-*r/
276×cbrt-div
192×frac-times
190×flip3-- flip--
130×frac-add
96×associate-*l/
6×add-log-exp
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt associate-+l+ *-un-lft-identity add-cbrt-cube
3×cbrt-prod pow1/3
2×distribute-rgt-in sub-neg distribute-lft-in
1×+-commutative flip3-+ sum-log flip-+
Counts
4 → 178
Calls
4 calls:
41.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)) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
19.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
16.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
16.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

series171.0ms

Counts
4 → 12
Calls
4 calls:
69.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)) (* (* (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))
31.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
31.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
40.0ms
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

simplify261.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
0182029355
1500128892

prune2.7s

Filtered
190 candidates to 98 candidates (48.4%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1900190
Fresh088
Picked011
Done011
Total19010200

Merged error: 0.4b

Counts
200 → 10

localize39.0ms

Local error

Found 4 expressions with local error:

3.8b
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
5.2b
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
5.3b
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
19.8b
(cbrt (pow (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) 3))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
9×*-un-lft-identity
8×cbrt-prod
7×add-cube-cbrt
6×associate-*r/ associate-*r* pow-prod-down prod-exp cbrt-unprod add-log-exp
3×distribute-rgt-in sub-neg flip3-- distribute-lft-in flip--
2×cube-div cbrt-div associate-*l* *-commutative difference-of-squares unswap-sqr
1×associate--l- cube-mult unpow-prod-down flip3-+ times-frac pow1/3 diff-log unpow3 div-sub cube-prod rem-cbrt-cube flip-+ distribute-lft-out-- sqr-pow
Counts
4 → 83
Calls
4 calls:
16.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
8.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
17.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.0ms
(cbrt (pow (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) 3))

series63.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
17.0ms
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
16.0ms
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
16.0ms
(cbrt (pow (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) 3))

simplify75.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (58.0ms)

IterNodesCost
05371449
125331359
250031358

prune404.0ms

Filtered
95 candidates to 65 candidates (31.6%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New95095
Fresh077
Picked011
Done022
Total9510105

Merged error: 0.4b

Counts
105 → 10

regimes283.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05964
15964

end0.0ms

sample4.7s

Algorithm
intervals
Results
3.4s14053×body80valid
377.0ms387×body640valid
237.0ms194×body1280valid
224.0ms312×body320valid
89.0ms185×body160valid

Profiling

Loading profile data...