Details

Time bar (total: 10.0s)

sample73.0ms

Algorithm
intervals
Results
22.0ms288×body80nan
18.0ms256×body80valid

simplify35.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05017
110617
237417
3165217
4500117

prune5.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.3b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(* z (sqrt (+ t a)))
0.3b
(/ 2.0 (* t 3.0))
1.5b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
6.1b
(/ (* z (sqrt (+ t a))) t)

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
476×frac-sub
168×frac-times
164×associate-*r/
145×flip3-+ flip-+
113×flip3-- flip--
86×associate-/r*
83×*-commutative
82×frac-2neg clear-num
80×sqrt-div
78×associate-/l/ associate-/l*
14×associate-*l/
8×associate--r+
4×distribute-rgt-in distribute-lft-in associate--l+
3×sub-neg
2×+-commutative div-inv
Counts
4 → 293
Calls
4 calls:
3.0ms
(* z (sqrt (+ t a)))
3.0ms
(/ 2.0 (* t 3.0))
28.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
5.0ms
(/ (* z (sqrt (+ t a))) t)

series338.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* z (sqrt (+ t a)))
21.0ms
(/ 2.0 (* t 3.0))
178.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
80.0ms
(/ (* z (sqrt (+ t a))) t)

simplify140.0ms

Algorithm
egg-herbie
Counts
305 → 305
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
0500112817

prune2.9s

Filtered
305 candidates to 299 candidates (98.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New3023305
Fresh000
Picked101
Done000
Total3033306

Merged error: 0.5b

Counts
306 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
0.3b
(/ 2.0 (* t 3.0))
1.5b
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
5.3b
(/ (sqrt (+ t a)) (/ t z))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
438×frac-sub
168×frac-times
144×flip3-+ flip-+
125×associate-/r*
113×flip3-- flip--
84×associate-*r/
83×frac-2neg clear-num
78×sqrt-div associate-/l/
44×*-commutative
41×div-inv
14×associate-*l/
8×distribute-rgt-in distribute-lft-in associate--l+ associate--r+
5×sub-neg
4×+-commutative
3×associate-/r/
Counts
4 → 301
Calls
4 calls:
10.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
3.0ms
(/ 2.0 (* t 3.0))
24.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
4.0ms
(/ (sqrt (+ t a)) (/ t z))

series340.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
15.0ms
(/ 2.0 (* t 3.0))
194.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
72.0ms
(/ (sqrt (+ t a)) (/ t z))

simplify203.0ms

Algorithm
egg-herbie
Counts
313 → 313
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
0449812150
1500112150

prune2.7s

Filtered
313 candidates to 300 candidates (95.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New3121313
Fresh112
Picked011
Done000
Total3133316

Merged error: 0.5b

Counts
316 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* a c) (* 0.8333333333333334 c))
0.9b
(- (/ (sqrt (+ t a)) (/ t z)) (- (* a b) (+ (* a c) (* 0.8333333333333334 c))))
1.5b
(- (* a b) (+ (* a c) (* 0.8333333333333334 c)))
5.3b
(/ (sqrt (+ t a)) (/ t z))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
12×frac-sub
8×flip3-- flip--
6×sqrt-div associate-/l/ associate--r+
4×frac-2neg flip3-+ clear-num flip-+ div-inv
3×+-commutative sub-neg associate-/r* associate-/r/ associate--r-
2×*-commutative
1×distribute-rgt-out distribute-lft-out
Counts
4 → 41
Calls
4 calls:
4.0ms
(+ (* a c) (* 0.8333333333333334 c))
12.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (- (* a b) (+ (* a c) (* 0.8333333333333334 c))))
6.0ms
(- (* a b) (+ (* a c) (* 0.8333333333333334 c)))
4.0ms
(/ (sqrt (+ t a)) (/ t z))

series256.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(+ (* a c) (* 0.8333333333333334 c))
120.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (- (* a b) (+ (* a c) (* 0.8333333333333334 c))))
31.0ms
(- (* a b) (+ (* a c) (* 0.8333333333333334 c)))
70.0ms
(/ (sqrt (+ t a)) (/ t z))

simplify86.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
0634777
13465716
25002713

prune237.0ms

Filtered
53 candidates to 40 candidates (75.5%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New52153
Fresh011
Picked011
Done011
Total52456

Merged error: 0.4b

Counts
56 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b)))))
0.0b
(+ (* a c) (* 0.8333333333333334 c))
0.0b
(exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))
1.3b
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×exp-sum
10×associate--l+
8×distribute-rgt-in distribute-lft-in associate-*r*
6×+-commutative
5×sub-neg
4×*-commutative
2×exp-prod
1×distribute-rgt-out flip3-- flip3-+ flip-- flip-+ distribute-lft-out
Counts
4 → 30
Calls
4 calls:
8.0ms
(* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b)))))
4.0ms
(+ (* a c) (* 0.8333333333333334 c))
9.0ms
(exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))
8.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

series172.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b)))))
35.0ms
(+ (* a c) (* 0.8333333333333334 c))
39.0ms
(exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))
39.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

simplify69.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 3 (65.0ms)

IterNodesCost
0215241
1651233
22152222
35002221

prune97.0ms

Filtered
42 candidates to 23 candidates (54.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New41142
Fresh101
Picked011
Done022
Total42446

Merged error: 0b

Counts
46 → 4

regimes238.0ms

Accuracy

0% (2.2b remaining)

Error of 3.1b against oracle of 0.8b and baseline of 3.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03517
13517

end0.0ms

sample1.7s

Algorithm
intervals
Results
570.0ms8000×body80valid
547.0ms8037×body80nan