Details

sample36.0ms

Algorithm

intervals

Results

15.0ms

256×

body

valid

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	3975	21
1	3975	21

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 24.2b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ t y) a)
1.9b	(+ (* (+ x y) z) (* (+ t y) a))
2.7b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
22.5b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite41.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 → 90

Calls

4 calls:

5.0ms	(* (+ t y) a)
7.0ms	(+ (* (+ x y) z) (* (+ t y) a))
9.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
17.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series198.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ t y) a)
17.0ms	(+ (* (+ x y) z) (* (+ t y) a))
30.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
145.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify42.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5406	2061

prune166.0ms

Filtered

78 candidates to 102 candidates (-30.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	92	10	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	93	10	103

Merged error: 4.6b

Counts

103 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ x (+ y t)))
1.9b	(+ (* (+ x y) z) (* (+ y t) a))
4.3b	(* (/ y (+ x (+ y t))) b)
22.1b	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite40.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:

6.0ms	(/ y (+ x (+ y t)))
6.0ms	(+ (* (+ x y) z) (* (+ y t) a))
10.0ms	(* (/ y (+ x (+ y t))) b)
12.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series119.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ y (+ x (+ y t)))
17.0ms	(+ (* (+ x y) z) (* (+ y t) a))
28.0ms	(* (/ y (+ x (+ y t))) b)
63.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify67.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4984	2273
1	4984	2273

prune160.0ms

Filtered

101 candidates to 147 candidates (-45.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	143	4	147
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	147	10	157

Merged error: 1.9b

Counts

157 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
1.8b	(+ (* t a) (* y (- a b)))
3.1b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
22.6b	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

rewrite51.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` `associate-+r+`
4×	`cbrt-undiv` `sum-log`
2×	`+-commutative` `distribute-rgt-in` `sub-neg` `rec-exp` `frac-2neg` `distribute-lft-in` `1-exp` `clear-num` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 199

Calls

4 calls:

16.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))))
13.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

series216.0ms

Counts

4 → 12

Calls

4 calls:

136.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
10.0ms	(+ (* t a) (* y (- a b)))
30.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
40.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

simplify77.0ms

Algorithm

egg-herbie

Counts

211 → 211

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4994	7220
1	4994	7220

prune207.0ms

Filtered

125 candidates to 211 candidates (-68.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	210	11	221

Merged error: 1.9b

Counts

221 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

1.8b	(+ (* t a) (* y (- a b)))
3.1b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
5.5b	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t))))
17.1b	(* (/ 1 (* (cbrt (+ x (+ y t))) (cbrt (+ x (+ y t))))) (/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t)))))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 173

Calls

4 calls:

4.0ms	(+ (* t a) (* y (- a b)))
8.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
14.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t))))
38.0ms	(* (/ 1 (* (cbrt (+ x (+ y t))) (cbrt (+ x (+ y t))))) (/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t)))))

series790.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+ (* t a) (* y (- a b)))
30.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
612.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t))))
138.0ms	(* (/ 1 (* (cbrt (+ x (+ y t))) (cbrt (+ x (+ y t))))) (/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (cbrt (+ x (+ y t)))))

simplify99.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5151	5641

prune156.0ms

Filtered

123 candidates to 185 candidates (-50.4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	182	14	196

Merged error: 1.7b

Counts

196 → 14

regimes956.0ms

Accuracy

19.3% (19.6b remaining)

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

bsearch103.0ms

Steps

Iters	Range		Point
8	1.6398802458694737e+121	3.862887921604479e+124	1.6625525016520592e+121
8	1.2178156634923338e-71	1.0318824482593048e-67	7.133684095598806e-70
9	-5.9008968450211035e-226	-1.9045487533186338e-234	-2.128715309968944e-228
8	-2.0987428163729112e+232	-1.9030978354097534e+228	-1.942880152641725e+228

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	95
1	44	95

end0.0ms

sample967.0ms

Algorithm

intervals

Results

459.0ms	7998×	body	80	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample36.0ms

simplify118.0ms

prune9.0ms

localize14.0ms

rewrite41.0ms

series198.0ms

simplify42.0ms

prune166.0ms

localize17.0ms

rewrite40.0ms

series119.0ms

simplify67.0ms

prune160.0ms

localize18.0ms

rewrite51.0ms

series216.0ms

simplify77.0ms

prune207.0ms

localize19.0ms

rewrite73.0ms

series790.0ms

simplify99.0ms

prune156.0ms

regimes956.0ms

bsearch103.0ms

simplify1.0ms

end0.0ms

sample967.0ms

Profiling