Details

sample92.0ms

Algorithm

intervals

Results

33.0ms	81×	body	1280	valid
16.0ms	265×	body	80	valid
14.0ms	56×	body	640	valid
9.0ms	51×	body	320	valid
2.0ms	16×	body	160	valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	7
1	50	7
2	77	7
3	96	7
4	112	7
5	127	7
6	141	7
7	141	7

prune6.0ms

Filtered

1 candidates to 1 candidates (100.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: 0.8b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.5b	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.7b	(/ (cos th) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
70×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-l` `sqrt-prod`
32×	`add-exp-log` `add-cbrt-cube`
14×	`pow1`
12×	`prod-exp` `associate-/r*` `cbrt-unprod`
6×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*` `unswap-sqr`
4×	`div-inv` `add-log-exp`
2×	`frac-2neg` `associate-r` `associate-l/` `clear-num` `-commutative`

Counts

4 → 168

Calls

4 calls:

10.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
10.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
5.0ms	(/ (cos th) (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

series540.0ms

Counts

4 → 12

Calls

4 calls:

308.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
110.0ms	(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
64.0ms	(/ (cos th) (sqrt 2.0))
58.0ms	(/ (cos th) (sqrt 2.0))

simplify54.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	504	1284
1	2009	1156
2	5002	1136

prune437.0ms

Filtered

180 candidates to 116 candidates (64.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	167	13	180
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	13	181

Merged error: 0.0b

Counts

181 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.4b	(* (/ (cos th) (sqrt 2.0)) a1)
0.7b	(/ (cos th) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
74×	`add-sqr-sqrt`
61×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-l` `sqrt-prod`
25×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
11×	`pow1`
8×	`prod-exp` `cbrt-unprod`
6×	`associate-/l*` `unswap-sqr`
5×	`cbrt-undiv` `div-exp`
4×	`associate-r` `pow-prod-down` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-l/` `clear-num` `-commutative`

Counts

4 → 165

Calls

4 calls:

9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
11.0ms	(* (/ (cos th) (sqrt 2.0)) a1)
5.0ms	(/ (cos th) (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

series336.0ms

Counts

4 → 12

Calls

4 calls:

116.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
101.0ms	(* (/ (cos th) (sqrt 2.0)) a1)
56.0ms	(/ (cos th) (sqrt 2.0))
63.0ms	(/ (cos th) (sqrt 2.0))

simplify52.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	444	1207
1	1802	1104
2	5001	1084

prune392.0ms

Filtered

177 candidates to 117 candidates (66.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	176	14	190

Merged error: 0b

Counts

190 → 14

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
0.2b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.4b	(/ (* (cos th) a1) (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

50×	`times-frac`
47×	`add-sqr-sqrt`
40×	`add-cube-cbrt` `*-un-lft-identity`
32×	`add-exp-log` `associate-l` `add-cbrt-cube`
31×	`sqrt-prod`
12×	`associate-/r*`
11×	`pow1` `prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
4×	`associate-r` `pow-prod-down` `div-inv` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`frac-2neg` `associate-l/` `clear-num` `-commutative`

Counts

4 → 141

Calls

4 calls:

8.0ms	(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
5.0ms	(/ (* (cos th) a1) (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

series389.0ms

Counts

4 → 12

Calls

4 calls:

116.0ms	(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
110.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
103.0ms	(/ (* (cos th) a1) (sqrt 2.0))
61.0ms	(/ (cos th) (sqrt 2.0))

simplify61.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	529	1048
1	2383	921
2	5002	908

prune322.0ms

Filtered

153 candidates to 98 candidates (64.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	1	11	12
Picked	0	1	1
Done	1	0	1
Total	154	13	167

Merged error: 0b

Counts

167 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (cos th) a1) (/ a1 (sqrt 2.0)))
0.2b	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.4b	(/ a1 (sqrt 2.0))
0.7b	(/ (cos th) (sqrt 2.0))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

74×	`times-frac`
65×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
43×	`sqrt-prod`
32×	`add-exp-log` `add-cbrt-cube`
23×	`associate-r` `associate-l`
14×	`pow1`
12×	`prod-exp` `associate-/r*` `cbrt-unprod`
6×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/l*`
4×	`div-inv` `add-log-exp`
3×	`unswap-sqr`
2×	`frac-2neg` `clear-num` `*-commutative`
1×	`associate-r/` `associate-l/`

Counts

4 → 165

Calls

4 calls:

9.0ms	(* (* (cos th) a1) (/ a1 (sqrt 2.0)))
9.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
4.0ms	(/ a1 (sqrt 2.0))
5.0ms	(/ (cos th) (sqrt 2.0))

series338.0ms

Counts

4 → 12

Calls

4 calls:

108.0ms	(* (* (cos th) a1) (/ a1 (sqrt 2.0)))
110.0ms	(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
58.0ms	(/ a1 (sqrt 2.0))
61.0ms	(/ (cos th) (sqrt 2.0))

simplify73.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	589	1185
1	2956	1062
2	5001	1036

prune332.0ms

Filtered

177 candidates to 109 candidates (61.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	177	13	190

Merged error: 0b

Counts

190 → 13

regimes396.0ms

Accuracy

0% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	11
1	17	11

end0.0ms

sample2.6s

Algorithm

intervals

Results

953.0ms	2540×	body	1280	valid
552.0ms	2117×	body	640	valid
499.0ms	8019×	body	80	valid
189.0ms	1013×	body	320	valid
69.0ms	543×	body	160	valid

Details

sample92.0ms

simplify17.0ms

prune6.0ms

localize12.0ms

rewrite38.0ms

series540.0ms

simplify54.0ms

prune437.0ms

localize12.0ms

rewrite36.0ms

series336.0ms

simplify52.0ms

prune392.0ms

localize13.0ms

rewrite32.0ms

series389.0ms

simplify61.0ms

prune322.0ms

localize12.0ms

rewrite33.0ms

series338.0ms

simplify73.0ms

prune332.0ms

regimes396.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.6s

Profiling