Details

analyze686.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
3.1%	96.7%	0.2%	7
6.2%	93.6%	0.2%	8
8.6%	91.2%	0.2%	9
28.1%	71.7%	0.2%	10
31%	68.8%	0.2%	11
40.5%	59.3%	0.2%	12
49.6%	50.2%	0.2%	13
59%	40.8%	0.2%	14

sample24.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
0.0ms	7×	body	80	invalid

simplify52.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4949	17
1	4949	17

prune11.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: 8.0b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
25×	`times-frac`
22×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`distribute-lft-out`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`associate-/r` `associate-/l`
4×	`pow1` `flip3--` `associate-/r/` `flip--` `associate-/l/`
3×	`div-sub`
2×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `clear-num` `flip-+` `div-inv`
1×	`associate-+r-`

Counts

4 → 95

Calls

4 calls:

4.0ms	(- (* t z) x)
4.0ms	(- (* y z) x)
14.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
8.0ms	(/ (- (* y z) x) (- (* t z) x))

series60.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(- (* t z) x)
5.0ms	(- (* y z) x)
34.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
16.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify47.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5466	1777

prune167.0ms

Filtered

81 candidates to 107 candidates (-32.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	100	7	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	7	108

Merged error: 0.0b

Counts

108 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ x (- (* y (/ z (- (* z t) x))) (/ x (- (* z t) x)))) (+ x 1.0))
1.0b	(/ x (- (* z t) x))
4.0b	(* y (/ z (- (* z t) x)))
5.9b	(/ z (- (* z t) x))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
44×	`times-frac`
43×	`add-sqr-sqrt`
38×	`add-cube-cbrt`
15×	`add-exp-log` `associate-r` `add-cbrt-cube`
10×	`associate-/r` `distribute-lft-out` `associate-/l`
8×	`associate-/r/`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `div-inv` `add-log-exp`
3×	`flip3--` `frac-2neg` `associate-l` `clear-num` `flip--`
2×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `associate-/l/` `unswap-sqr`
1×	`associate-+r-` `div-sub` `associate-r/` `pow-prod-down` `-commutative`

Counts

4 → 133

Calls

4 calls:

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

series64.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ (+ x (- (* y (/ z (- (* z t) x))) (/ x (- (* z t) x)))) (+ x 1.0))
11.0ms	(/ x (- (* z t) x))
11.0ms	(* y (/ z (- (* z t) x)))
8.0ms	(/ z (- (* z t) x))

simplify52.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4979	2240
1	4979	2240

prune203.0ms

Filtered

110 candidates to 145 candidates (-31.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	139	6	145
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	145	7	152

Merged error: 0b

Counts

152 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ x 1.0) (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x)))))
0.1b	(/ 1 (/ (+ x 1.0) (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x))))))
1.0b	(/ x (- (* z t) x))
4.5b	(/ y (- t (/ x z)))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

266×	`*-un-lft-identity`
209×	`times-frac`
121×	`add-sqr-sqrt`
101×	`add-cube-cbrt`
68×	`distribute-lft-out`
40×	`associate-/r*`
25×	`distribute-lft-out--`
21×	`add-exp-log`
15×	`associate-/r/` `add-cbrt-cube`
13×	`associate-/l*`
10×	`div-exp`
8×	`div-inv` `difference-of-squares`
6×	`cbrt-undiv` `flip3-+` `flip-+`
5×	`pow1`
4×	`frac-2neg` `clear-num` `add-log-exp`
2×	`rec-exp` `flip3--` `1-exp` `flip--` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 243

Calls

4 calls:

34.0ms	(/ (+ x 1.0) (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x)))))
38.0ms	(/ 1 (/ (+ x 1.0) (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x))))))
5.0ms	(/ x (- (* z t) x))
8.0ms	(/ y (- t (/ x z)))

series83.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ (+ x 1.0) (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x)))))
33.0ms	(/ 1 (/ (+ x 1.0) (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x))))))
15.0ms	(/ x (- (* z t) x))
9.0ms	(/ y (- t (/ x z)))

simplify75.0ms

Algorithm

egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5514	6394

prune270.0ms

Filtered

143 candidates to 255 candidates (-78.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	253	2	255
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	256	6	262

Merged error: 0b

Counts

262 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x)))))
0.1b	(/ (/ 1 (+ x 1.0)) (/ 1 (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x))))))
1.0b	(/ x (- (* z t) x))
4.5b	(/ y (- t (/ x z)))

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

973×	`times-frac`
825×	`*-un-lft-identity`
400×	`add-sqr-sqrt`
380×	`add-cube-cbrt`
188×	`distribute-lft-out`
89×	`associate-/r/`
65×	`distribute-lft-out--`
52×	`add-exp-log`
45×	`div-inv`
42×	`flip3-+` `flip-+`
36×	`div-exp`
35×	`associate-/r*`
27×	`associate-/l*`
22×	`add-cbrt-cube`
11×	`cbrt-undiv`
9×	`rec-exp` `1-exp`
8×	`difference-of-squares`
5×	`pow1`
4×	`frac-2neg` `clear-num` `add-log-exp`
2×	`flip3--` `flip--`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

4 → 560

Calls

4 calls:

30.0ms	(/ 1 (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x)))))
48.0ms	(/ (/ 1 (+ x 1.0)) (/ 1 (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x))))))
5.0ms	(/ x (- (* z t) x))
8.0ms	(/ y (- t (/ x z)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(/ 1 (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x)))))
35.0ms	(/ (/ 1 (+ x 1.0)) (/ 1 (+ x (- (/ y (- t (/ x z))) (/ x (- (* z t) x))))))
11.0ms	(/ x (- (* z t) x))
9.0ms	(/ y (- t (/ x z)))

simplify131.0ms

Algorithm

egg-herbie

Counts

572 → 572

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5212	20629

prune474.0ms

Filtered

220 candidates to 572 candidates (-160.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	572	0	572
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	572	6	578

Merged error: 0b

Counts

578 → 6

regimes277.0ms

Accuracy

0% (0.1b remaining)

Error of 0.4b against oracle of 0.3b and baseline of 0.4b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	97	25
1	97	25

end0.0ms

sample640.0ms

Algorithm

intervals

Results

395.0ms	8000×	body	80	valid
15.0ms	330×	body	80	invalid

Details

analyze686.0ms

sample24.0ms

simplify52.0ms

prune11.0ms

localize11.0ms

rewrite32.0ms

series60.0ms

simplify47.0ms

prune167.0ms

localize12.0ms

rewrite43.0ms

series64.0ms

simplify52.0ms

prune203.0ms

localize14.0ms

rewrite97.0ms

series83.0ms

simplify75.0ms

prune270.0ms

localize15.0ms

rewrite132.0ms

series77.0ms

simplify131.0ms

prune474.0ms

regimes277.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample640.0ms

Profiling