Details

analyze1.3s

Algorithm: search

sample28.0ms

Algorithm

intervals

Results

13.0ms	256×	body	80	valid
1.0ms	14×	body	80	invalid

simplify110.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

prune8.0ms

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: 24.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.0b	(* z (- t a))
1.0b	(+ (* x y) (* z (- t a)))
23.2b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

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

series131.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	401	714
1	1759	659
2	5001	659

prune181.0ms

Filtered

74 candidates to 110 candidates (-48.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	96	14	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	14	111

Merged error: 23.3b

Counts

111 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
1.0b	(+ (* x y) (* t z))
1.3b	(+ (+ (* x y) (* t z)) (* z (neg a)))
23.2b	(/ (+ (+ (* x y) (* t z)) (* z (neg a))) (+ y (* z (- b y))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
11×	`add-log-exp`
9×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
5×	`associate-r`
4×	`flip3-+` `sum-log` `distribute-rgt-neg-out` `flip-+`
3×	`associate-l` `associate-/r` `associate-/l`
2×	`+-commutative` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-sub` `associate-*r/` `unsub-neg` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `associate-+l+` `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 → 85

Calls

4 calls:

6.0ms	(* z (- b y))
3.0ms	(+ (* x y) (* t z))
5.0ms	(+ (+ (* x y) (* t z)) (* z (neg a)))
9.0ms	(/ (+ (+ (* x y) (* t z)) (* z (neg a))) (+ y (* z (- b y))))

series131.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* z (- b y))
9.0ms	(+ (* x y) (* t z))
13.0ms	(+ (+ (* x y) (* t z)) (* z (neg a)))
102.0ms	(/ (+ (+ (* x y) (* t z)) (* z (neg a))) (+ y (* z (- b y))))

simplify54.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	402	838
1	1845	762
2	5003	757

prune141.0ms

Filtered

70 candidates to 97 candidates (-38.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	96	15	111

Merged error: 23.2b

Counts

111 → 15

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
0.2b	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
1.0b	(+ (* x y) (* z (- t a)))
23.2b	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

rewrite30.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 (- t a))
8.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))))

series236.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify73.0ms

Algorithm

egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	570	2052
1	2752	1879
2	5001	1791

prune164.0ms

Filtered

93 candidates to 168 candidates (-80.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	166	2	168
Fresh	4	9	13
Picked	0	1	1
Done	0	1	1
Total	170	13	183

Merged error: 23.2b

Counts

183 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
0.4b	(/ 1 (+ y (* z (- b y))))
1.0b	(+ (* x y) (* z (- t a)))
23.0b	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite29.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 (- t a))
4.0ms	(/ 1 (+ y (* z (- b y))))
4.0ms	(+ (* x y) (* z (- t a)))
11.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series129.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify62.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	448	955
1	2212	847
2	5002	821

prune96.0ms

Filtered

77 candidates to 128 candidates (-66.2%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	127	14	141

Merged error: 23.2b

Counts

141 → 14

regimes1.2s

Accuracy

0% (0.7b remaining)

Error of 23.4b against oracle of 22.7b and baseline of 23.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	10
1	29	10
2	30	10
3	30	10

end0.0ms

analyze1.5s

Algorithm: search

sample782.0ms

Algorithm

intervals

Results

454.0ms	8000×	body	80	valid
24.0ms	452×	body	80	invalid

Details

analyze1.3s

sample28.0ms

simplify110.0ms

prune8.0ms

localize13.0ms

rewrite46.0ms

series131.0ms

simplify51.0ms

prune181.0ms

localize13.0ms

rewrite26.0ms

series131.0ms

simplify54.0ms

prune141.0ms

localize15.0ms

rewrite30.0ms

series236.0ms

simplify73.0ms

prune164.0ms

localize13.0ms

rewrite29.0ms

series129.0ms

simplify62.0ms

prune96.0ms

regimes1.2s

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze1.5s

sample782.0ms

Profiling