Details

Time bar (total: 0.0hr)

sample0.0hr

Algorithm
intervals
Results
0.0hr11×body1280valid
0.0hr406×body80valid
0.0hr18×body640valid
0.0hr8×body320valid
0.0hr6×body160valid

simplify0.0hr

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (0.0hr)

IterNodesCost
010363
137262
2191461
3500261

prune0.0hr

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

localize0.0hr

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))

rewrite0.0hr

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:
0.0hr
(+ (* (* (* 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)))
0.0hr
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
0.0hr
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
0.0hr
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series0.0hr

Counts
4 → 12
Calls
4 calls:
0.0hr
(+ (* (* (* 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)))
0.0hr
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
0.0hr
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
0.0hr
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify0.0hr

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 1 (0.0hr)

IterNodesCost
08813131
148952921
250012921

prune0.0hr

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

localize0.0hr

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))

rewrite0.0hr

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:
0.0hr
(+ (* (* (* 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)))
0.0hr
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ (* x1 x1) 1.0)) 3.0))
0.0hr
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
0.0hr
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series0.0hr

Counts
4 → 12
Calls
4 calls:
0.0hr
(+ (* (* (* 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)))
0.0hr
(- (/ (+ (* (* 3.0 x1) x1) (* 2.0 x2)) (+ (* x1 x1) 1.0)) (+ (/ x1 (+ (* x1 x1) 1.0)) 3.0))
0.0hr
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
0.0hr
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify0.0hr

Algorithm
egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 1 (0.0hr)

IterNodesCost
012174475
150014262

prune0.0hr

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

localize0.0hr

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)))

rewrite0.0hr

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:
0.0hr
(+ (* (* (* 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)))))
0.0hr
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
0.0hr
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
0.0hr
(cbrt (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

series0.0hr

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

simplify0.0hr

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 1 (0.0hr)

IterNodesCost
0182029355
1500128892

prune0.0hr

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

localize0.0hr

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))

rewrite0.0hr

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:
0.0hr
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
0.0hr
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
0.0hr
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
0.0hr
(cbrt (pow (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) 3))

series0.0hr

Counts
4 → 12
Calls
4 calls:
0.0hr
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
0.0hr
(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
0.0hr
(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
0.0hr
(cbrt (pow (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) 3))

simplify0.0hr

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (0.0hr)

IterNodesCost
05371449
125331359
250031358

prune0.0hr

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

regimes0.0hr

Accuracy

0% (0.1b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0hr)

IterNodesCost
05964
15964

end0.0hr

sample0.0hr

Algorithm
intervals
Results
0.0hr14053×body80valid
0.0hr387×body640valid
0.0hr194×body1280valid
0.0hr312×body320valid
0.0hr185×body160valid

Profiling

Loading profile data...