Details

analyze755.0ms

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
18.7%	81.2%	0.1%	7
32.8%	67.1%	0.1%	8
38.2%	61.7%	0.1%	9
41%	58.9%	0.1%	10
43.9%	56%	0.1%	11
45.4%	54.5%	0.1%	12
46.9%	53%	0.1%	13
47.6%	52.3%	0.1%	14

sample70.0ms

Algorithm

intervals

Results

23.0ms	46×	body	1280	valid
15.0ms	15×	body	2560	valid
10.0ms	143×	body	80	valid
7.0ms	23×	body	640	valid
4.0ms	18×	body	320	valid
2.0ms	11×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	13
1	13	13

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

6.7b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
24.8b	(sin (/ x (* y 2.0)))
25.5b	(tan (/ x (* y 2.0)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
5×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
2×	`tan-quot`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `associate-/l/`

Counts

3 → 43

Calls

3 calls:

5.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
2.0ms	(sin (/ x (* y 2.0)))
2.0ms	(tan (/ x (* y 2.0)))

series37.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
7.0ms	(sin (/ x (* y 2.0)))
13.0ms	(tan (/ x (* y 2.0)))

simplify36.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5037	733

prune172.0ms

Filtered

44 candidates to 52 candidates (-18.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	38	14	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	14	53

Merged error: 22.9b

Counts

53 → 14

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify3.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune52.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	13	13
Picked	1	1
Done	0	0
Total	14	14

Merged error: 22.9b

Counts

14 → 14

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1 (* (/ x y) (* (/ x y) 0.125)))
0.2b	(* (/ x y) 0.125)
0.2b	(* (/ x y) (* (/ x y) 0.125))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-exp-log` `add-cbrt-cube`
26×	`associate-l`
23×	`add-sqr-sqrt`
19×	`times-frac`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`prod-exp` `cbrt-unprod`
10×	`pow1`
6×	`cbrt-undiv` `div-exp`
5×	`add-log-exp`
4×	`associate-r` `pow-prod-down` `associate-*l/`
2×	`*-commutative` `div-inv` `unswap-sqr`
1×	`+-commutative` `frac-times` `flip3-+` `associate-*r/` `sum-log` `flip-+`

Counts

3 → 82

Calls

3 calls:

4.0ms	(+ 1 (* (/ x y) (* (/ x y) 0.125)))
6.0ms	(* (/ x y) 0.125)
9.0ms	(* (/ x y) (* (/ x y) 0.125))

series17.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(+ 1 (* (/ x y) (* (/ x y) 0.125)))
3.0ms	(* (/ x y) 0.125)
7.0ms	(* (/ x y) (* (/ x y) 0.125))

simplify48.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4985	809
1	4985	809

prune122.0ms

Filtered

58 candidates to 91 candidates (-56.9%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	91	14	105

Merged error: 22.9b

Counts

105 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

24.8b	(sin (/ x (* y 2.0)))
25.5b	(tan (/ x (* y 2.0)))
25.5b	(tan (/ x (* y 2.0)))
25.5b	(tan (/ x (* y 2.0)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`tan-quot`

Counts

4 → 31

Calls

4 calls:

2.0ms	(sin (/ x (* y 2.0)))
2.0ms	(tan (/ x (* y 2.0)))
2.0ms	(tan (/ x (* y 2.0)))
2.0ms	(tan (/ x (* y 2.0)))

series44.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sin (/ x (* y 2.0)))
13.0ms	(tan (/ x (* y 2.0)))
13.0ms	(tan (/ x (* y 2.0)))
15.0ms	(tan (/ x (* y 2.0)))

simplify62.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4954	360
1	4954	360

prune155.0ms

Filtered

39 candidates to 43 candidates (-10.3%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	1	10	11
Picked	0	1	1
Done	0	2	2
Total	43	14	57

Merged error: 22.8b

Counts

57 → 14

regimes482.0ms

Accuracy

35.1% (1.6b remaining)

Error of 27.2b against oracle of 25.7b and baseline of 28.1b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	61
1	17	61

end0.0ms

sample2.3s

Algorithm

intervals

Results

689.0ms	1371×	body	1280	valid
627.0ms	635×	body	2560	valid
325.0ms	1014×	body	640	valid
309.0ms	4157×	body	80	valid
119.0ms	517×	body	320	valid
55.0ms	306×	body	160	valid

Details

analyze755.0ms

sample70.0ms

simplify3.0ms

prune4.0ms

localize9.0ms

rewrite10.0ms

series37.0ms

simplify36.0ms

prune172.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify3.0ms

prune52.0ms

localize6.0ms

rewrite21.0ms

series17.0ms

simplify48.0ms

prune122.0ms

localize15.0ms

rewrite9.0ms

series44.0ms

simplify62.0ms

prune155.0ms

regimes482.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling