Details

sample74.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
15.0ms	231×	body	80	nan

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	50	17
1	106	17
2	374	17
3	1652	17
4	5001	17

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (sqrt (+ t a)))
0.2b	(/ 2.0 (* t 3.0))
2.7b	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
4.4b	(/ (* z (sqrt (+ t a))) t)

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

20×	`frac-sub`
16×	`add-exp-log` `add-cbrt-cube`
15×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
11×	`add-cube-cbrt`
9×	`flip3--` `flip--`
8×	`frac-times` `associate-*r/`
7×	`associate-r`
6×	`pow1` `times-frac` `associate--r+` `add-log-exp`
5×	`flip3-+` `sqrt-prod` `flip-+`
4×	`cbrt-undiv` `sqrt-div` `div-exp` `associate-/r` `associate-/l`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `prod-exp` `cbrt-unprod`
2×	`frac-2neg` `associate-*l/` `associate--l+` `clear-num` `div-inv` `associate-/l/` `unswap-sqr`
1×	`diff-log` `pow-prod-down` `*-commutative` `distribute-lft-out`

Counts

4 → 101

Calls

4 calls:

23.0ms	(* z (sqrt (+ t a)))
8.0ms	(/ 2.0 (* t 3.0))
38.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
16.0ms	(/ (* z (sqrt (+ t a))) t)

series309.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(* z (sqrt (+ t a)))
15.0ms	(/ 2.0 (* t 3.0))
162.0ms	(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
72.0ms	(/ (* z (sqrt (+ t a))) t)

simplify40.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1019	1262
1	5001	1200

prune571.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 2.0 (* t 3.0))
0.4b	(/ t (sqrt (+ t a)))
1.0b	(/ z (/ t (sqrt (+ t a))))
2.7b	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

rewrite183.0ms

Algorithm

rewrite-expression-head

Rules

189×	`times-frac`
138×	`*-un-lft-identity`
106×	`add-sqr-sqrt` `add-cube-cbrt`
64×	`sqrt-prod`
35×	`associate-/r*`
20×	`frac-sub`
16×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
11×	`associate-/r/`
10×	`sqrt-div`
9×	`flip3--` `flip--` `associate-/l*`
8×	`frac-times` `flip3-+` `flip-+`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp` `associate--r+` `add-log-exp`
4×	`pow1` `associate-*r/`
3×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `clear-num`
2×	`associate-*l/` `associate--l+`
1×	`diff-log` `prod-exp` `cbrt-unprod`

Counts

4 → 224

Calls

4 calls:

8.0ms	(/ 2.0 (* t 3.0))
13.0ms	(/ t (sqrt (+ t a)))
22.0ms	(/ z (/ t (sqrt (+ t a))))
128.0ms	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

series313.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(/ 2.0 (* t 3.0))
67.0ms	(/ t (sqrt (+ t a)))
69.0ms	(/ z (/ t (sqrt (+ t a))))
162.0ms	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

simplify53.0ms

Algorithm

egg-herbie

Counts

236 → 236

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1359	2598
1	5001	2465

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.3b

localize26.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ t (sqrt (+ t a)))
1.0b	(/ z (/ t (sqrt (+ t a))))
2.7b	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (pow (/ 2.0 (* t 3.0)) 3)))))
40.2b	(cbrt (pow (/ 2.0 (* t 3.0)) 3))

rewrite184.0ms

Algorithm

rewrite-expression-head

Rules

192×	`times-frac`
141×	`*-un-lft-identity`
109×	`add-sqr-sqrt` `add-cube-cbrt`
64×	`sqrt-prod`
34×	`associate-/r*`
20×	`cbrt-prod` `frac-sub`
16×	`distribute-lft-out`
11×	`add-exp-log` `associate-/r/` `add-cbrt-cube`
10×	`sqrt-div`
9×	`flip3--` `flip--`
8×	`frac-times` `flip3-+` `flip-+` `div-inv`
7×	`cube-div` `unpow-prod-down` `cbrt-div` `cube-prod`
6×	`associate-/l*` `associate--r+` `add-log-exp`
4×	`pow1` `cbrt-undiv` `associate-*r/` `div-exp`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
2×	`frac-2neg` `associate-*l/` `associate--l+` `clear-num`
1×	`cube-mult` `pow1/3` `diff-log` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 233

Calls

4 calls:

13.0ms	(/ t (sqrt (+ t a)))
19.0ms	(/ z (/ t (sqrt (+ t a))))
132.0ms	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (pow (/ 2.0 (* t 3.0)) 3)))))
6.0ms	(cbrt (pow (/ 2.0 (* t 3.0)) 3))

series308.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(/ t (sqrt (+ t a)))
69.0ms	(/ z (/ t (sqrt (+ t a))))
160.0ms	(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (pow (/ 2.0 (* t 3.0)) 3)))))
15.0ms	(cbrt (pow (/ 2.0 (* t 3.0)) 3))

simplify57.0ms

Algorithm

egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1406	2775
1	5001	2629

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.3b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x (* 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))))
0.9b	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `exp-sum` `add-cbrt-cube`
4×	`pow1`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate--l+` `associate-/r` `associate-/l`
2×	`flip3-+` `diff-log` `sum-log` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `exp-prod` `distribute-rgt-out` `flip3--` `exp-to-pow` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv` `rem-exp-log`

Counts

4 → 71

Calls

4 calls:

9.0ms	(/ x (+ x (* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b)))))))
8.0ms	(+ (* a c) (* 0.8333333333333334 c))
34.0ms	(exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))
40.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

series192.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(/ x (+ x (* y (exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b)))))))
27.0ms	(+ (* a c) (* 0.8333333333333334 c))
36.0ms	(exp (* 2.0 (- (+ (* a c) (* 0.8333333333333334 c)) (* a b))))
33.0ms	(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

simplify141.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 3 (128.0ms)

Iter	Nodes	Cost
0	353	839
1	1257	766
2	4519	747
3	5001	744

prune229.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes290.0ms

Accuracy

20.5% (2.2b remaining)

Error of 2.7b against oracle of 0.5b and baseline of 3.3b

bsearch406.0ms

Steps

Iters	Range		Point
8	1.3658540827360425e-157	1.1240042251494377e-153	7.255739940407829e-155
10	-4.657345407613665e-28	-2.914492396120294e-42	-2.9805461732361316e-42

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	51
1	75	51

end0.0ms

sample2.0s

Algorithm

intervals

Results

557.0ms	8000×	body	80	valid
512.0ms	7930×	body	80	nan