Details

sample34.0ms

Algorithm

intervals

Results

13.0ms

270×

body

valid

simplify108.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	8
1	37	8
2	65	8
3	94	8
4	108	8
5	132	8
6	201	8
7	359	8
8	825	8
9	3212	8
10	5002	8

prune5.0ms

Filtered

1 candidates to 0 candidates (100.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: 21.7b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* z (- b y))
0.9b	(+ (* x y) (* z (- t a)))
21.1b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 72

Calls

3 calls:

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

series120.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* z (- b y))
13.0ms	(+ (* x y) (* z (- t a)))
100.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify41.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	328	621
1	1398	571
2	5001	571

prune142.0ms

Filtered

81 candidates to 57 candidates (29.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	70	11	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	11	82

Merged error: 21.1b

Counts

82 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.4b	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
0.9b	(+ (* x y) (* z (- t a)))
21.0b	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
62×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
58×	`add-cube-cbrt`
19×	`add-exp-log`
18×	`associate-/r*`
13×	`add-cbrt-cube`
11×	`associate-/r/`
8×	`div-exp`
7×	`pow1` `flip3-+` `flip-+`
6×	`div-inv` `associate-/l*` `add-log-exp`
5×	`associate-r`
4×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in`
3×	`associate-l`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*r/` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3--` `pow-flip` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `inv-pow` `difference-of-squares` `unswap-sqr`

Counts

4 → 156

Calls

4 calls:

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

series259.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* z (- b y))
166.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
14.0ms	(+ (* x y) (* z (- t a)))
72.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify103.0ms

Algorithm

egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	576	2057
1	2790	1879
2	5001	1791

prune175.0ms

Filtered

168 candidates to 92 candidates (45.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	163	5	168
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	167	12	179

Merged error: 21.1b

Counts

179 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.5b	(/ 1 (+ y (* z (- b y))))
0.9b	(+ (* x y) (* z (- t a)))
20.9b	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 116

Calls

4 calls:

6.0ms	(* z (- b y))
4.0ms	(/ 1 (+ y (* z (- b y))))
4.0ms	(+ (* x y) (* z (- t a)))
12.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series125.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* z (- b y))
16.0ms	(/ 1 (+ y (* z (- b y))))
13.0ms	(+ (* x y) (* z (- t a)))
89.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify58.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	449	955
1	2234	847
2	5001	821

prune149.0ms

Filtered

128 candidates to 77 candidates (39.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	128	12	140

Merged error: 21.1b

Counts

140 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
0.9b	(/ 1 (+ (* x y) (* z (- t a))))
0.9b	(+ (* x y) (* z (- t a)))
20.7b	(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-exp-log`
29×	`add-sqr-sqrt`
23×	`*-un-lft-identity` `times-frac`
22×	`add-cube-cbrt`
20×	`div-exp` `add-cbrt-cube`
16×	`prod-exp`
15×	`associate-r`
10×	`pow1` `rec-exp` `1-exp` `associate-/r/`
7×	`flip3-+` `flip-+`
6×	`cbrt-undiv` `associate-/l*` `add-log-exp`
4×	`frac-times` `associate-+r+` `associate-l/` `associate-/r` `cbrt-unprod`
3×	`pow-flip` `associate-l` `div-inv` `unswap-sqr`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `clear-num` `un-div-inv` `inv-pow`
1×	`+-commutative` `sum-log` `*-commutative`

Counts

4 → 134

Calls

4 calls:

10.0ms	(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
5.0ms	(/ 1 (+ (* x y) (* z (- t a))))
4.0ms	(+ (* x y) (* z (- t a)))
10.0ms	(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

series260.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
21.0ms	(/ 1 (+ (* x y) (* z (- t a))))
13.0ms	(+ (* x y) (* z (- t a)))
66.0ms	(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

simplify61.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	499	1404
1	2401	1184
2	5001	1145

prune103.0ms

Filtered

146 candidates to 79 candidates (45.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	146	12	158

Merged error: 21.1b

Counts

158 → 12

regimes1.1s

Accuracy

0% (0.7b remaining)

Error of 23.2b against oracle of 22.5b and baseline of 23.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	9
1	24	9

end0.0ms

sample945.0ms

Algorithm

intervals

Results

418.0ms

8437×

body

valid

Details

sample34.0ms

simplify108.0ms

prune5.0ms

localize11.0ms

rewrite22.0ms

series120.0ms

simplify41.0ms

prune142.0ms

localize16.0ms

rewrite32.0ms

series259.0ms

simplify103.0ms

prune175.0ms

localize13.0ms

rewrite30.0ms

series125.0ms

simplify58.0ms

prune149.0ms

localize14.0ms

rewrite34.0ms

series260.0ms

simplify61.0ms

prune103.0ms

regimes1.1s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample945.0ms

Profiling