Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

sample65.0ms

Algorithm

intervals

Results

18.0ms	200×	body	80	valid
12.0ms	22×	body	1280	valid
6.0ms	16×	body	640	valid
5.0ms	52×	body	80	invalid
3.0ms	12×	body	320	valid
3.0ms	8×	body	640	invalid
2.0ms	5×	body	1280	invalid
1.0ms	6×	body	160	valid
1.0ms	4×	body	320	invalid
1.0ms	4×	body	160	invalid

simplify65.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4845	16
1	4845	16

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
5.3b	(* x (* x (* (pow c 2.0) (pow s 2.0))))
7.6b	(* x (* (pow c 2.0) (pow s 2.0)))
15.7b	(* (pow c 2.0) (pow s 2.0))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-exp-log`
88×	`prod-exp`
34×	`add-cbrt-cube`
24×	`add-sqr-sqrt` `pow-to-exp` `pow-exp`
16×	`cbrt-unprod`
13×	`associate-l`
12×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity` `div-exp`
11×	`pow1`
9×	`associate-r` `unswap-sqr`
8×	`sqr-pow`
5×	`pow-prod-down`
4×	`cbrt-undiv` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 128

Calls

4 calls:

10.0ms	(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
9.0ms	(* x (* x (* (pow c 2.0) (pow s 2.0))))
7.0ms	(* x (* (pow c 2.0) (pow s 2.0)))
11.0ms	(* (pow c 2.0) (pow s 2.0))

series242.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(/ (cos (* 2.0 x)) (* x (* x (* (pow c 2.0) (pow s 2.0)))))
59.0ms	(* x (* x (* (pow c 2.0) (pow s 2.0))))
53.0ms	(* x (* (pow c 2.0) (pow s 2.0)))
55.0ms	(* (pow c 2.0) (pow s 2.0))

simplify69.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4952	1811
1	4952	1811

prune251.0ms

Filtered

82 candidates to 140 candidates (-70.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	129	11	140
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	130	12	142

Merged error: 9.4b

Counts

142 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (* c s) 2.0)
0.2b	(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
5.3b	(* x (* x (pow (* c s) 2.0)))
7.6b	(* x (pow (* c s) 2.0))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-exp-log`
26×	`prod-exp`
20×	`add-cbrt-cube`
13×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1`
8×	`pow-exp`
7×	`cbrt-unprod`
6×	`div-exp` `associate-r` `associate-l`
4×	`pow-to-exp` `add-log-exp`
3×	`cbrt-undiv` `pow-unpow` `times-frac` `associate-/l*` `sqr-pow`
2×	`unpow-prod-down` `pow-pow` `pow-prod-down` `*-commutative` `unswap-sqr`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 86

Calls

4 calls:

3.0ms	(pow (* c s) 2.0)
7.0ms	(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
5.0ms	(* x (* x (pow (* c s) 2.0)))
5.0ms	(* x (pow (* c s) 2.0))

series179.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow (* c s) 2.0)
67.0ms	(/ (cos (* 2.0 x)) (* x (* x (pow (* c s) 2.0))))
51.0ms	(* x (* x (pow (* c s) 2.0)))
47.0ms	(* x (pow (* c s) 2.0))

simplify48.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4963	1115
1	4963	1115

prune196.0ms

Filtered

62 candidates to 98 candidates (-58.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	89	9	98
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	97	13	110

Merged error: 4.7b

Counts

110 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
0.2b	(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
3.4b	(* x (pow (* c s) (* 1/2 2.0)))
5.3b	(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

247×	`add-exp-log`
182×	`prod-exp`
56×	`pow-exp`
34×	`add-cbrt-cube`
28×	`pow-to-exp`
22×	`div-exp`
16×	`cbrt-unprod`
13×	`add-sqr-sqrt`
11×	`associate-r`
10×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-l`
6×	`pow1`
4×	`cbrt-undiv` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l` `sqr-pow`
2×	`unpow-prod-down` `unswap-sqr`
1×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 139

Calls

4 calls:

8.0ms	(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
11.0ms	(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
5.0ms	(* x (pow (* c s) (* 1/2 2.0)))
9.0ms	(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series216.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
67.0ms	(/ (cos (* 2.0 x)) (* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))))
46.0ms	(* x (pow (* c s) (* 1/2 2.0)))
55.0ms	(* x (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

simplify58.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4918	1843
1	4918	1843

prune200.0ms

Filtered

65 candidates to 151 candidates (-132.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	147	4	151
Fresh	4	8	12
Picked	0	1	1
Done	0	0	0
Total	151	13	164

Merged error: 2.4b

Counts

164 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (cos (* x 2.0)) x)
0.2b	(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
3.4b	(* x (pow (* c s) (* 1/2 2.0)))
5.4b	(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

247×	`add-exp-log`
140×	`prod-exp`
64×	`div-exp`
56×	`pow-exp`
40×	`times-frac`
34×	`add-cbrt-cube`
32×	`add-sqr-sqrt`
29×	`add-cube-cbrt` `*-un-lft-identity`
28×	`pow-to-exp`
16×	`associate-/l*`
10×	`cbrt-undiv` `associate-r` `cbrt-unprod`
4×	`pow1` `associate-l` `associate-/r*` `div-inv` `add-log-exp`
3×	`sqr-pow`
2×	`unpow-prod-down` `frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
1×	`associate-/l/`

Counts

4 → 172

Calls

4 calls:

4.0ms	(/ (cos (* x 2.0)) x)
8.0ms	(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
5.0ms	(* x (pow (* c s) (* 1/2 2.0)))
13.0ms	(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

series168.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (cos (* x 2.0)) x)
46.0ms	(* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2)))
46.0ms	(* x (pow (* c s) (* 1/2 2.0)))
72.0ms	(/ (/ (cos (* x 2.0)) x) (* (* x (pow (* c s) (* 1/2 2.0))) (pow (* c s) (/ 2.0 2))))

simplify69.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5027	2564

prune240.0ms

Filtered

97 candidates to 184 candidates (-89.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	177	7	184
Fresh	5	6	11
Picked	0	1	1
Done	1	0	1
Total	183	14	197

Merged error: 2.3b

Counts

197 → 14

regimes498.0ms

Accuracy

0% (0.5b remaining)

Error of 2.6b against oracle of 2.0b and baseline of 2.6b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	26
1	21	26

end0.0ms

sample2.0s

Algorithm

intervals

Results

559.0ms	5991×	body	80	valid
365.0ms	708×	body	1280	valid
252.0ms	694×	body	640	valid
176.0ms	1857×	body	80	invalid
111.0ms	396×	body	320	valid
86.0ms	257×	body	640	invalid
70.0ms	137×	body	1280	invalid
43.0ms	174×	body	320	invalid
42.0ms	211×	body	160	valid
20.0ms	114×	body	160	invalid

Details

analyze1.1s

sample65.0ms

simplify65.0ms

prune13.0ms

localize14.0ms

rewrite42.0ms

series242.0ms

simplify69.0ms

prune251.0ms

localize11.0ms

rewrite23.0ms

series179.0ms

simplify48.0ms

prune196.0ms

localize17.0ms

rewrite39.0ms

series216.0ms

simplify58.0ms

prune200.0ms

localize17.0ms

rewrite38.0ms

series168.0ms

simplify69.0ms

prune240.0ms

regimes498.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.0s

Profiling