Details

analyze1.4s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

sample27.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5284	21

prune17.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 29.0b

Counts

2 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (- a b))
1.6b	(+ (* t a) (* y (- a b)))
2.0b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
27.1b	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

6.0ms	(* y (- a b))
4.0ms	(+ (* t a) (* y (- a b)))
9.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
15.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

series386.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* y (- a b))
10.0ms	(+ (* t a) (* y (- a b)))
31.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
336.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

simplify51.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5197	2234

prune163.0ms

Filtered

79 candidates to 109 candidates (-38.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	100	9	109
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	101	10	111

Merged error: 7.3b

Counts

111 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
1.6b	(+ (* t a) (* y (- a b)))
2.0b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
27.1b	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

156×	`*-un-lft-identity`
150×	`times-frac`
76×	`add-sqr-sqrt` `add-cube-cbrt`
48×	`distribute-lft-out`
32×	`flip3-+` `flip-+`
31×	`associate-/r/`
28×	`associate-/r*`
24×	`associate-*l/` `frac-add`
17×	`add-exp-log`
11×	`add-cbrt-cube` `add-log-exp`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
5×	`pow1`
4×	`cbrt-undiv` `sum-log`
3×	`associate-+r+`
2×	`+-commutative` `sub-neg` `rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `inv-pow`

Counts

4 → 197

Calls

4 calls:

18.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
4.0ms	(+ (* t a) (* y (- a b)))
9.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
15.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

series208.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
10.0ms	(+ (* t a) (* y (- a b)))
29.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
34.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

simplify83.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5170	7210

prune197.0ms

Filtered

124 candidates to 209 candidates (-68.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	207	2	209
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	209	10	219

Merged error: 7.3b

Counts

219 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ t y) a)
0.5b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.8b	(+ (* (+ x y) z) (* (+ t y) a))
27.1b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

6.0ms	(* (+ t y) a)
11.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
7.0ms	(+ (* (+ x y) z) (* (+ t y) a))
15.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series190.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ t y) a)
29.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
18.0ms	(+ (* (+ x y) z) (* (+ t y) a))
138.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify43.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5333	2056

prune135.0ms

Filtered

74 candidates to 101 candidates (-36.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	97	4	101
Fresh	1	7	8
Picked	1	0	1
Done	1	0	1
Total	100	11	111

Merged error: 4.2b

Counts

111 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ x (+ y t)))
1.8b	(+ (* (+ x y) z) (* (+ y t) a))
4.4b	(* (/ y (+ x (+ y t))) b)
24.0b	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

89×	`*-un-lft-identity`
46×	`times-frac`
39×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
33×	`distribute-lft-out`
21×	`associate-l`
17×	`associate-*l/`
13×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
10×	`associate-/r*`
8×	`frac-add`
6×	`pow1` `associate-/r/` `associate-/l/` `associate-/l*` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-r` `div-inv`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `pow-prod-down` `sum-log` `*-commutative`

Counts

4 → 135

Calls

4 calls:

7.0ms	(/ y (+ x (+ y t)))
8.0ms	(+ (* (+ x y) z) (* (+ y t) a))
11.0ms	(* (/ y (+ x (+ y t))) b)
13.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series118.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ y (+ x (+ y t)))
19.0ms	(+ (* (+ x y) z) (* (+ y t) a))
27.0ms	(* (/ y (+ x (+ y t))) b)
61.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify50.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4980	2273
1	4980	2273

prune118.0ms

Filtered

101 candidates to 147 candidates (-45.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	143	4	147
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	145	13	158

Merged error: 3.0b

Counts

158 → 13

regimes877.0ms

Accuracy

10.7% (19.6b remaining)

Error of 22.4b against oracle of 2.8b and baseline of 24.8b

bsearch113.0ms

Steps

Iters	Range		Point
9	1.7260926892289217e+44	5.786743269479101e+51	3.553301541827467e+47
8	1.5948907756470358e-30	2.8616639950761878e-27	1.406756431860135e-27
5	4.206884451500617e-66	1.2098808872859341e-65	6.228761208579606e-66
7	9.170678226635476e-197	2.229538382379353e-195	4.391480808848887e-196
8	3.759721724277957e-233	3.1908532010513285e-230	1.5153690653489133e-230
9	-1.0040896527367972e+97	-7.005688028377284e+91	-7.946975425078722e+93

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	100	133
1	100	133

end0.0ms

sample720.0ms

Algorithm

intervals

Results

455.0ms	7998×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

analyze1.4s

sample27.0ms

simplify54.0ms

prune17.0ms

localize13.0ms

rewrite38.0ms

series386.0ms

simplify51.0ms

prune163.0ms

localize15.0ms

rewrite59.0ms

series208.0ms

simplify83.0ms

prune197.0ms

localize13.0ms

rewrite43.0ms

series190.0ms

simplify43.0ms

prune135.0ms

localize13.0ms

rewrite43.0ms

series118.0ms

simplify50.0ms

prune118.0ms

regimes877.0ms

bsearch113.0ms

simplify2.0ms

end0.0ms

sample720.0ms

Profiling