Details

analyze877.0ms

Algorithm: search

sample26.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
4.0ms	92×	body	80	invalid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	7
1	55	7
2	101	7
3	182	7
4	335	7
5	731	7
6	1828	7
7	5001	7

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

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

3.8b	(- (+ (* x x) (* y y)) (* z z))
28.0b	(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube` `add-log-exp`
4×	`add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
3×	`difference-of-squares`
2×	`pow1` `cbrt-undiv` `flip3--` `diff-log` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `div-sub` `prod-exp` `associate--l+` `clear-num` `associate-/r*` `sum-log` `cbrt-unprod` `div-inv`

Counts

2 → 41

Calls

2 calls:

5.0ms	(- (+ (* x x) (* y y)) (* z z))
8.0ms	(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

series32.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(- (+ (* x x) (* y y)) (* z z))
18.0ms	(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

simplify34.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	275	450
1	1168	388
2	5001	380

prune72.0ms

Filtered

35 candidates to 47 candidates (-34.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	3	48

Merged error: 8.8b

Counts

48 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (/ (pow x 2) y))
0.2b	(* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
7.1b	(/ (pow z 2) y)
7.4b	(/ (pow x 2) y)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 145

Calls

4 calls:

9.0ms	(+ y (/ (pow x 2) y))
24.0ms	(* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
4.0ms	(/ (pow z 2) y)
5.0ms	(/ (pow x 2) y)

series26.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ y (/ (pow x 2) y))
14.0ms	(* 0.5 (- (+ y (/ (pow x 2) y)) (/ (pow z 2) y)))
3.0ms	(/ (pow z 2) y)
3.0ms	(/ (pow x 2) y)

simplify60.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	494	902
1	1944	815
2	5003	809

prune237.0ms

Filtered

100 candidates to 157 candidates (-57.0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	152	5	157
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	154	6	160

Merged error: 0.3b

Counts

160 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (/ (pow x 2) y))
0.2b	(* 0.5 (- (+ y (/ (pow x 2) y)) (/ z (/ y z))))
0.3b	(/ z (/ y z))
7.4b	(/ (pow x 2) y)

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

102×	`times-frac`
76×	`add-sqr-sqrt`
72×	`*-un-lft-identity`
65×	`add-cube-cbrt`
16×	`add-exp-log` `associate-/r*`
13×	`add-cbrt-cube`
12×	`unpow-prod-down`
11×	`associate-/l*`
8×	`associate-r`
6×	`pow1` `div-exp` `div-inv` `add-log-exp`
4×	`cbrt-undiv` `associate-*r/` `unpow2` `sqr-pow`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `difference-of-squares`
2×	`sub-neg` `frac-2neg` `flip3-+` `associate--l+` `clear-num` `frac-sub` `flip-+` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `pow-to-exp` `flip3--` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `associate-/r/` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

4 → 164

Calls

4 calls:

8.0ms	(+ y (/ (pow x 2) y))
25.0ms	(* 0.5 (- (+ y (/ (pow x 2) y)) (/ z (/ y z))))
5.0ms	(/ z (/ y z))
5.0ms	(/ (pow x 2) y)

series27.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ y (/ (pow x 2) y))
15.0ms	(* 0.5 (- (+ y (/ (pow x 2) y)) (/ z (/ y z))))
3.0ms	(/ z (/ y z))
3.0ms	(/ (pow x 2) y)

simplify89.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	665	1098
1	3185	1000
2	5001	996

prune204.0ms

Filtered

116 candidates to 176 candidates (-51.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	174	2	176
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Merged error: 0b

Counts

182 → 6

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* x (/ x y)))
0.2b	(* x (/ x y))
0.2b	(* 0.5 (- (+ y (* x (/ x y))) (/ z (/ y z))))
0.3b	(/ z (/ y z))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 145

Calls

4 calls:

3.0ms	(+ y (* x (/ x y)))
6.0ms	(* x (/ x y))
17.0ms	(* 0.5 (- (+ y (* x (/ x y))) (/ z (/ y z))))
5.0ms	(/ z (/ y z))

series29.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ y (* x (/ x y)))
3.0ms	(* x (/ x y))
16.0ms	(* 0.5 (- (+ y (* x (/ x y))) (/ z (/ y z))))
4.0ms	(/ z (/ y z))

simplify91.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	682	987
1	3487	902
2	5001	895

prune120.0ms

Filtered

107 candidates to 157 candidates (-46.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	157	6	163

Merged error: 0b

Counts

163 → 6

regimes225.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	7
1	14	7

end0.0ms

analyze620.0ms

Algorithm: search

sample706.0ms

Algorithm

intervals

Results

346.0ms	8000×	body	80	valid
121.0ms	2910×	body	80	invalid

Details

analyze877.0ms

sample26.0ms

simplify54.0ms

prune4.0ms

localize9.0ms

rewrite15.0ms

series32.0ms

simplify34.0ms

prune72.0ms

localize10.0ms

rewrite48.0ms

series26.0ms

simplify60.0ms

prune237.0ms

localize10.0ms

rewrite52.0ms

series27.0ms

simplify89.0ms

prune204.0ms

localize9.0ms

rewrite36.0ms

series29.0ms

simplify91.0ms

prune120.0ms

regimes225.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze620.0ms

sample706.0ms

Profiling