Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	74.8%	25.2%	10
0%	74.8%	25.2%	11
0%	74.8%	25.2%	12
24.9%	49.9%	25.2%	13
24.9%	37.4%	37.7%	14

sample89.0ms

Algorithm

intervals

Results

21.0ms	45×	body	1280	valid
14.0ms	139×	body	80	valid
10.0ms	14×	body	2560	valid
9.0ms	27×	body	640	valid
6.0ms	25×	body	320	valid
6.0ms	74×	body	80	nan
2.0ms	30×	body	80	invalid
1.0ms	6×	body	160	valid

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	796	19
1	796	19

prune16.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: 21.6b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (/ t 3.0))
0.2b	(/ a (* 3.0 b))
0.3b	(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
27.2b	(cos (- y (* z (/ t 3.0))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `associate-r` `add-cbrt-cube`
13×	`times-frac`
9×	`associate-l`
8×	`pow1`
4×	`prod-exp` `sqrt-prod` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`cbrt-undiv` `cos-diff` `div-exp` `associate-/l*`
2×	`pow-prod-down` `*-commutative` `div-inv`
1×	`distribute-rgt-in` `sub-neg` `cos-sum` `frac-2neg` `distribute-lft-in` `associate-r/` `clear-num` `associate-/r`

Counts

4 → 86

Calls

4 calls:

9.0ms	(* z (/ t 3.0))
4.0ms	(/ a (* 3.0 b))
5.0ms	(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
3.0ms	(cos (- y (* z (/ t 3.0))))

series43.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* z (/ t 3.0))
3.0ms	(/ a (* 3.0 b))
26.0ms	(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
10.0ms	(cos (- y (* z (/ t 3.0))))

simplify58.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5485	897

prune327.0ms

Filtered

73 candidates to 98 candidates (-34.2%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	72	26	98
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	73	27	100

Merged error: 17.9b

Counts

100 → 27

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sin y) (sin (* z (/ t 3.0))))
0.3b	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (sin (* z (/ t 3.0))))))
29.5b	(cos (* z (/ t 3.0)))
29.9b	(sin (* z (/ t 3.0)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`associate-r`
4×	`sqrt-prod` `add-log-exp`
3×	`associate-*r/` `unswap-sqr`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `sin-mult`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `frac-add` `cos-mult` `flip-+`

Counts

4 → 60

Calls

4 calls:

5.0ms	(* (sin y) (sin (* z (/ t 3.0))))
11.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (sin (* z (/ t 3.0))))))
2.0ms	(cos (* z (/ t 3.0)))
2.0ms	(sin (* z (/ t 3.0)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* (sin y) (sin (* z (/ t 3.0))))
53.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (sin (* z (/ t 3.0))))))
3.0ms	(cos (* z (/ t 3.0)))
4.0ms	(sin (* z (/ t 3.0)))

simplify46.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5012	1178

prune331.0ms

Filtered

59 candidates to 72 candidates (-22.0%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	64	8	72
Fresh	6	20	26
Picked	1	0	1
Done	0	0	0
Total	71	28	99

Merged error: 16.6b

Counts

99 → 28

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt x) (+ (* (cos y) (cos (* z (* t 0.3333333333333333)))) (* (sin y) (sin (* z (/ t 3.0))))))
0.3b	(* (sin y) (sin (* z (/ t 3.0))))
29.4b	(cos (* z (* t 0.3333333333333333)))
29.9b	(sin (* z (/ t 3.0)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`associate-r`
4×	`sqrt-prod` `add-log-exp`
3×	`associate-*r/` `unswap-sqr`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `sin-mult`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `frac-add` `cos-mult` `flip-+`

Counts

4 → 60

Calls

4 calls:

12.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (* t 0.3333333333333333)))) (* (sin y) (sin (* z (/ t 3.0))))))
5.0ms	(* (sin y) (sin (* z (/ t 3.0))))
3.0ms	(cos (* z (* t 0.3333333333333333)))
2.0ms	(sin (* z (/ t 3.0)))

series70.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (* t 0.3333333333333333)))) (* (sin y) (sin (* z (/ t 3.0))))))
11.0ms	(* (sin y) (sin (* z (/ t 3.0))))
4.0ms	(cos (* z (* t 0.3333333333333333)))
4.0ms	(sin (* z (/ t 3.0)))

simplify44.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4968	1178
1	4968	1178

prune332.0ms

Filtered

57 candidates to 72 candidates (-26.3%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	68	4	72
Fresh	1	26	27
Picked	1	0	1
Done	0	0	0
Total	70	30	100

Merged error: 16.6b

Counts

100 → 30

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sin y) (sin (* z (/ t 3.0))))
0.3b	(log (exp (cos (* z (* t 0.3333333333333333)))))
29.4b	(cos (* z (* t 0.3333333333333333)))
29.9b	(sin (* z (/ t 3.0)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube`
4×	`log-pow` `add-log-exp`
3×	`log-prod` `exp-prod` `associate-r` `associate-l`
1×	`rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `sin-mult` `unswap-sqr`

Counts

4 → 48

Calls

4 calls:

5.0ms	(* (sin y) (sin (* z (/ t 3.0))))
2.0ms	(log (exp (cos (* z (* t 0.3333333333333333)))))
3.0ms	(cos (* z (* t 0.3333333333333333)))
2.0ms	(sin (* z (/ t 3.0)))

series23.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (sin y) (sin (* z (/ t 3.0))))
3.0ms	(log (exp (cos (* z (* t 0.3333333333333333)))))
3.0ms	(cos (* z (* t 0.3333333333333333)))
4.0ms	(sin (* z (/ t 3.0)))

simplify46.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5180	521

prune123.0ms

Filtered

46 candidates to 60 candidates (-30.4%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	1	28	29
Picked	0	1	1
Done	0	0	0
Total	59	31	90

Merged error: 16.6b

Counts

90 → 31

regimes4.3s

Accuracy

43.5% (2.6b remaining)

Error of 18.3b against oracle of 15.6b and baseline of 20.3b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	77
1	78	77

end0.0ms

sample2.5s

Algorithm

intervals

Results

723.0ms	1579×	body	1280	valid
348.0ms	4451×	body	80	valid
303.0ms	947×	body	640	valid
292.0ms	388×	body	2560	valid
172.0ms	2214×	body	80	nan
99.0ms	411×	body	320	valid
89.0ms	1113×	body	80	invalid
38.0ms	224×	body	160	valid

Details

analyze1.1s

sample89.0ms

simplify34.0ms

prune16.0ms

localize16.0ms

rewrite24.0ms

series43.0ms

simplify58.0ms

prune327.0ms

localize25.0ms

rewrite21.0ms

series72.0ms

simplify46.0ms

prune331.0ms

localize28.0ms

rewrite22.0ms

series70.0ms

simplify44.0ms

prune332.0ms

localize33.0ms

rewrite12.0ms

series23.0ms

simplify46.0ms

prune123.0ms

regimes4.3s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample2.5s

Profiling