Details

sample19.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 1.196289%

Guaranteed chance to sample good point: 35.739437%

Results

8.0ms	197×	body	80	valid
2.0ms	13×	body	1280	valid
2.0ms	20×	body	320	valid
2.0ms	13×	body	640	valid
1.0ms	34×	body	80	invalid
1.0ms	11×	body	160	valid
0.0ms	2×	body	2560	valid

simplify67.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	6
1	45	6
2	111	6
3	288	6
4	714	6
5	1493	6
6	3393	6
7	5002	6

prune4.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: 27.9b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y x) (- z t))
2.9b	(+ x (/ (* (- y x) (- z t)) (- a t)))
19.7b	(/ (* (- y x) (- z t)) (- a t))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 81

Calls

3 calls:

9.0ms	(* (- y x) (- z t))
7.0ms	(+ x (/ (* (- y x) (- z t)) (- a t)))
12.0ms	(/ (* (- y x) (- z t)) (- a t))

series94.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* (- y x) (- z t))
52.0ms	(+ x (/ (* (- y x) (- z t)) (- a t)))
32.0ms	(/ (* (- y x) (- z t)) (- a t))

simplify57.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	468	583
1	2162	534
2	5003	534

prune169.0ms

Filtered

67 candidates to 90 candidates (-34.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	76	14	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	14	91

Merged error: 6.4b

Counts

91 → 14

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) (- a t))
2.3b	(* (- y x) (/ (- z t) (- a t)))
2.9b	(+ x (* (- y x) (/ (- z t) (- a t))))

rewrite33.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/`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 119

Calls

3 calls:

8.0ms	(/ (- z t) (- a t))
16.0ms	(* (- y x) (/ (- z t) (- a t)))
4.0ms	(+ x (* (- y x) (/ (- z t) (- a t))))

series96.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/ (- z t) (- a t))
32.0ms	(* (- y x) (/ (- z t) (- a t)))
54.0ms	(+ x (* (- y x) (/ (- z t) (- a t))))

simplify57.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	476	869
1	2018	820
2	5002	820

prune163.0ms

Filtered

84 candidates to 128 candidates (-52.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	122	6	128
Fresh	3	10	13
Picked	0	1	1
Done	0	0	0
Total	125	17	142

Merged error: 6.4b

Counts

142 → 17

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- a t))
0.2b	(* (- z t) (/ 1 (- a t)))
2.3b	(* (- y x) (* (- z t) (/ 1 (- a t))))
4.6b	(+ x (* (- y x) (* (- z t) (/ 1 (- a t)))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 146

Calls

4 calls:

5.0ms	(/ 1 (- a t))
13.0ms	(* (- z t) (/ 1 (- a t)))
15.0ms	(* (- y x) (* (- z t) (/ 1 (- a t))))
5.0ms	(+ x (* (- y x) (* (- z t) (/ 1 (- a t)))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1 (- a t))
9.0ms	(* (- z t) (/ 1 (- a t)))
32.0ms	(* (- y x) (* (- z t) (/ 1 (- a t))))
53.0ms	(+ x (* (- y x) (* (- z t) (/ 1 (- a t)))))

simplify74.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	586	1025
1	2802	908
2	5003	863

prune184.0ms

Filtered

96 candidates to 158 candidates (-64.6%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	15	15
Picked	0	1	1
Done	0	1	1
Total	158	17	175

Merged error: 6.4b

Counts

175 → 17

localize15.0ms

Local error

Found 4 expressions with local error:

2.4b	(cbrt (* (- y x) (/ (- z t) (- a t))))
2.4b	(cbrt (* (- y x) (/ (- z t) (- a t))))
2.4b	(cbrt (* (- y x) (/ (- z t) (- a t))))
11.0b	(+ x (* (* (cbrt (* (- y x) (/ (- z t) (- a t)))) (cbrt (* (- y x) (/ (- z t) (- a t))))) (cbrt (* (- y x) (/ (- z t) (- a t))))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-div`
6×	`frac-times` `flip3--` `associate-*l/` `flip--` `add-log-exp`
4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`cbrt-prod` `pow1/3` `associate-*r/`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 53

Calls

4 calls:

10.0ms	(cbrt (* (- y x) (/ (- z t) (- a t))))
10.0ms	(cbrt (* (- y x) (/ (- z t) (- a t))))
10.0ms	(cbrt (* (- y x) (/ (- z t) (- a t))))
3.0ms	(+ x (* (* (cbrt (* (- y x) (/ (- z t) (- a t)))) (cbrt (* (- y x) (/ (- z t) (- a t))))) (cbrt (* (- y x) (/ (- z t) (- a t))))))

series1.6s

Counts

4 → 12

Calls

4 calls:

501.0ms	(cbrt (* (- y x) (/ (- z t) (- a t))))
510.0ms	(cbrt (* (- y x) (/ (- z t) (- a t))))
499.0ms	(cbrt (* (- y x) (/ (- z t) (- a t))))
54.0ms	(+ x (* (* (cbrt (* (- y x) (/ (- z t) (- a t)))) (cbrt (* (- y x) (/ (- z t) (- a t))))) (cbrt (* (- y x) (/ (- z t) (- a t))))))

simplify75.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	251	874
1	740	752
2	3106	729
3	5001	693

prune80.0ms

Filtered

59 candidates to 65 candidates (-10.2%)

Pruning

18 alts after pruning (15 fresh and 3 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	14	14
Picked	0	1	1
Done	0	2	2
Total	64	18	82

Merged error: 6.4b

Counts

82 → 18

regimes687.0ms

Accuracy

3.4% (7.2b remaining)

Error of 11.6b against oracle of 4.4b and baseline of 11.8b

bsearch110.0ms

Steps

Iters	Range		Point
10	1.3478581848813206e+230	1.3370272816041337e+241	7.954021218657249e+239
6	-2.552426133984476e+209	-4.465403657098099e+208	-9.42128748867973e+208

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	12
1	31	12

end0.0ms

sample20.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 1.196289%

Guaranteed chance to sample good point: 35.739437%

Results

278.0ms	6542×	body	80	valid
79.0ms	500×	body	640	valid
49.0ms	264×	body	1280	valid
47.0ms	1100×	body	80	invalid
45.0ms	400×	body	320	valid
21.0ms	274×	body	160	valid
5.0ms	20×	body	2560	valid

Details

sample19.2s

simplify67.0ms

prune4.0ms

localize9.0ms

rewrite33.0ms

series94.0ms

simplify57.0ms

prune169.0ms

localize9.0ms

rewrite33.0ms

series96.0ms

simplify57.0ms

prune163.0ms

localize10.0ms

rewrite44.0ms

series100.0ms

simplify74.0ms

prune184.0ms

localize15.0ms

rewrite35.0ms

series1.6s

simplify75.0ms

prune80.0ms

regimes687.0ms

bsearch110.0ms

simplify2.0ms

end0.0ms

sample20.9s

Profiling