Details

sample31.0ms

Algorithm

intervals

Results

9.0ms	251×	body	80	valid
5.0ms	20×	body	640	valid
1.0ms	14×	body	320	valid
1.0ms	5×	body	1280	valid
1.0ms	7×	body	160	valid

simplify114.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	20	6
1	45	6
2	116	5
3	324	5
4	861	5
5	1907	5
6	4560	5
7	5001	5

prune9.0ms

Filtered

1 candidates to 1 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: 11.1b

Counts

2 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y x) (- a t))
14.5b	(fma (/ (- y x) (- a t)) (- z t) x)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
14×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
4×	`add-exp-log` `add-cbrt-cube`
2×	`pow1` `expm1-log1p-u` `flip3--` `associate-/r/` `flip--` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `fma-udef` `div-inv`

Counts

2 → 64

Calls

2 calls:

9.0ms	(/ (- y x) (- a t))
1.0ms	(fma (/ (- y x) (- a t)) (- z t) x)

series171.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(/ (- y x) (- a t))
115.0ms	(fma (/ (- y x) (- a t)) (- z t) x)

simplify70.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	269	450
1	734	425
2	2488	423
3	5002	423

prune240.0ms

Filtered

70 candidates to 51 candidates (72.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	57	13	70
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	58	14	72

Merged error: 6.7b

Counts

72 → 14

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- a t))
0.2b	(* (- y x) (/ 1 (- a t)))
14.5b	(fma (* (- y x) (/ 1 (- a t))) (- z t) x)

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
32×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
16×	`add-exp-log`
10×	`add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1`
5×	`associate-l` `associate-/r*`
4×	`flip3--` `div-exp` `prod-exp` `associate-/r/` `flip--`
3×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `fma-udef` `inv-pow`

Counts

3 → 105

Calls

3 calls:

6.0ms	(/ 1 (- a t))
14.0ms	(* (- y x) (/ 1 (- a t)))
1.0ms	(fma (* (- y x) (/ 1 (- a t))) (- z t) x)

series184.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(/ 1 (- a t))
56.0ms	(* (- y x) (/ 1 (- a t)))
91.0ms	(fma (* (- y x) (/ 1 (- a t))) (- z t) x)

simplify55.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	351	602
1	1495	525
2	5001	481

prune258.0ms

Filtered

114 candidates to 68 candidates (59.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	113	15	128

Merged error: 6.7b

Counts

128 → 15

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- y x) (- a t))
4.3b	(+ (* (/ (- y x) (- a t)) (- z t)) x)
5.4b	(* (/ (- y x) (- a t)) (- z t))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

102×	`add-sqr-sqrt`
97×	`*-un-lft-identity`
51×	`add-cube-cbrt` `times-frac`
36×	`prod-diff`
31×	`associate-l`
23×	`distribute-lft-out--` `difference-of-squares`
22×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-r` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`sub-neg` `associate-/r/`
3×	`expm1-log1p-u` `log1p-expm1-u`
2×	`cbrt-undiv` `frac-times` `associate-*r/` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `fma-def` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 170

Calls

3 calls:

9.0ms	(/ (- y x) (- a t))
15.0ms	(+ (* (/ (- y x) (- a t)) (- z t)) x)
21.0ms	(* (/ (- y x) (- a t)) (- z t))

series422.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(/ (- y x) (- a t))
150.0ms	(+ (* (/ (- y x) (- a t)) (- z t)) x)
215.0ms	(* (/ (- y x) (- a t)) (- z t))

simplify87.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	684	1508
1	2581	1283
2	5003	1263

prune445.0ms

Filtered

179 candidates to 118 candidates (65.9%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	174	5	179
Fresh	3	10	13
Picked	1	0	1
Done	0	1	1
Total	178	16	194

Merged error: 6.7b

Counts

194 → 16

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) (- a t))
1.7b	(* (- y x) (/ (- z t) (- a t)))
2.4b	(+ (* (- y x) (/ (- z t) (- a t))) x)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
73×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
23×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `flip3--` `associate-l` `associate-/r` `flip--` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`expm1-log1p-u` `log1p-expm1-u`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `fma-def` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 126

Calls

3 calls:

12.0ms	(/ (- z t) (- a t))
17.0ms	(* (- y x) (/ (- z t) (- a t)))
13.0ms	(+ (* (- y x) (/ (- z t) (- a t))) x)

series336.0ms

Counts

3 → 9

Calls

3 calls:

52.0ms	(/ (- z t) (- a t))
125.0ms	(* (- y x) (/ (- z t) (- a t)))
159.0ms	(+ (* (- y x) (/ (- z t) (- a t))) x)

simplify71.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	491	904
1	2052	854
2	5002	852

prune308.0ms

Filtered

135 candidates to 95 candidates (70.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	6	8	14
Picked	0	1	1
Done	0	1	1
Total	139	12	151

Merged error: 3.9b

Counts

151 → 12

regimes343.0ms

Accuracy

13.6% (6.9b remaining)

Error of 10.7b against oracle of 3.7b and baseline of 11.7b

bsearch137.0ms

Steps

Iters	Range		Point
10	5.284566832800147e-148	8.545713757692853e-130	1.7180529759557746e-147
10	-9.03971722944116e-223	-4.356904192426758e-233	-2.0993861334519837e-224

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	11
1	28	11

end0.0ms

sample792.0ms

Algorithm

intervals

Results

318.0ms	7753×	body	80	valid
68.0ms	472×	body	640	valid
51.0ms	432×	body	320	valid
49.0ms	265×	body	1280	valid
19.0ms	260×	body	160	valid
2.0ms	11×	body	2560	valid

Details

sample31.0ms

simplify114.0ms

prune9.0ms

localize10.0ms

rewrite12.0ms

series171.0ms

simplify70.0ms

prune240.0ms

localize11.0ms

rewrite27.0ms

series184.0ms

simplify55.0ms

prune258.0ms

localize10.0ms

rewrite53.0ms

series422.0ms

simplify87.0ms

prune445.0ms

localize10.0ms

rewrite47.0ms

series336.0ms

simplify71.0ms

prune308.0ms

regimes343.0ms

bsearch137.0ms

simplify2.0ms

end0.0ms

sample792.0ms

Profiling