Details

sample9.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 67.06543%

Results

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

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	8
1	35	8
2	60	8
3	103	8
4	183	8
5	416	8
6	1194	8
7	5001	8

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

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.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 → 97

Calls

4 calls:

7.0ms	(- (* t z) x)
3.0ms	(- (* y z) x)
14.0ms	(/ (+ x (/ (- (* y z) x) (- (* t z) x))) (+ x 1.0))
9.0ms	(/ (- (* y z) x) (- (* t z) x))

series62.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))
17.0ms	(/ (- (* y z) x) (- (* t z) x))

simplify46.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	399	950
1	1413	884
2	5001	882

prune147.0ms

Filtered

78 candidates to 109 candidates (-39.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	101	8	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	8	110

Merged error: 1.0b

Counts

110 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (* y z) (- (* t z) x)) (/ x (- (* t z) x)))
0.2b	(/ (+ x (- (/ (* y z) (- (* t z) x)) (/ x (- (* t z) x)))) (+ x 1.0))
3.3b	(/ x (- (* t z) x))
11.9b	(/ (* y z) (- (* t z) x))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

64×	`*-un-lft-identity`
33×	`times-frac`
30×	`add-sqr-sqrt`
25×	`add-cube-cbrt`
16×	`distribute-lft-out`
13×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/r*` `associate-/r/`
9×	`associate-/l*`
6×	`distribute-lft-out--` `add-log-exp`
5×	`flip3--` `flip--` `div-inv`
4×	`pow1` `cbrt-undiv` `div-exp`
3×	`distribute-rgt-out--` `frac-2neg` `clear-num`
2×	`flip3-+` `flip-+` `associate-/l/` `difference-of-squares`
1×	`associate-+r-` `sub-neg` `diff-log` `div-sub` `prod-exp` `frac-sub` `cbrt-unprod` `sub-div`

Counts

4 → 118

Calls

4 calls:

17.0ms	(- (/ (* y z) (- (* t z) x)) (/ x (- (* t z) x)))
22.0ms	(/ (+ x (- (/ (* y z) (- (* t z) x)) (/ x (- (* t z) x)))) (+ x 1.0))
5.0ms	(/ x (- (* t z) x))
8.0ms	(/ (* y z) (- (* t z) x))

series81.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(- (/ (* y z) (- (* t z) x)) (/ x (- (* t z) x)))
37.0ms	(/ (+ x (- (/ (* y z) (- (* t z) x)) (/ x (- (* t z) x)))) (+ x 1.0))
11.0ms	(/ x (- (* t z) x))
12.0ms	(/ (* y z) (- (* t z) x))

simplify56.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	477	1357
1	1966	1267
2	5002	1267

prune135.0ms

Filtered

89 candidates to 130 candidates (-46.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	132	6	138

Merged error: 0.2b

Counts

138 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (+ x (- (* y (/ z (- (* t z) x))) (/ x (- (* t z) x)))) (+ x 1.0))
2.0b	(* y (/ z (- (* t z) x)))
3.3b	(/ x (- (* t z) x))
8.6b	(/ z (- (* t z) x))

rewrite41.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 (- (* t z) x))) (/ x (- (* t z) x)))) (+ x 1.0))
9.0ms	(* y (/ z (- (* t z) x)))
5.0ms	(/ x (- (* t z) x))
5.0ms	(/ z (- (* t z) x))

series68.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ (+ x (- (* y (/ z (- (* t z) x))) (/ x (- (* t z) x)))) (+ x 1.0))
12.0ms	(* y (/ z (- (* t z) x)))
14.0ms	(/ x (- (* t z) x))
9.0ms	(/ z (- (* t z) x))

simplify60.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	476	1296
1	2056	1196
2	5001	1196

prune149.0ms

Filtered

105 candidates to 145 candidates (-38.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	145	6	151

Merged error: 0.2b

Counts

151 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (+ x 1.0) (+ x (- (* y (/ z (- (* t z) x))) (/ x (- (* t z) x)))))
2.0b	(* y (/ z (- (* t z) x)))
3.3b	(/ x (- (* t z) x))
8.6b	(/ z (- (* t z) 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/` `pow-prod-down` `-commutative`

Counts

4 → 132

Calls

4 calls:

19.0ms	(/ (+ x 1.0) (+ x (- (* y (/ z (- (* t z) x))) (/ x (- (* t z) x)))))
9.0ms	(* y (/ z (- (* t z) x)))
6.0ms	(/ x (- (* t z) x))
5.0ms	(/ z (- (* t z) x))

series61.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ (+ x 1.0) (+ x (- (* y (/ z (- (* t z) x))) (/ x (- (* t z) x)))))
12.0ms	(* y (/ z (- (* t z) x)))
12.0ms	(/ x (- (* t z) x))
8.0ms	(/ z (- (* t z) x))

simplify56.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	454	1281
1	1887	1181
2	5001	1181

prune130.0ms

Filtered

104 candidates to 144 candidates (-38.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	144	6	150

Merged error: 0.2b

Counts

150 → 6

regimes250.0ms

Accuracy

0% (2.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	12
1	22	12

end0.0ms

sample10.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 67.06543%

Results

407.0ms	8000×	body	80	valid
15.0ms	318×	body	80	invalid

Details

sample9.5s

simplify44.0ms

prune4.0ms

localize11.0ms

rewrite36.0ms

series62.0ms

simplify46.0ms

prune147.0ms

localize12.0ms

rewrite56.0ms

series81.0ms

simplify56.0ms

prune135.0ms

localize13.0ms

rewrite41.0ms

series68.0ms

simplify60.0ms

prune149.0ms

localize13.0ms

rewrite43.0ms

series61.0ms

simplify56.0ms

prune130.0ms

regimes250.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample10.8s

Profiling