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

sample94.0ms

Algorithm

intervals

Results

30.0ms	61×	body	1280	valid
10.0ms	133×	body	80	valid
10.0ms	30×	body	640	valid
8.0ms	10×	body	2560	valid
7.0ms	84×	body	80	nan
4.0ms	17×	body	320	valid
2.0ms	32×	body	80	invalid
1.0ms	5×	body	160	valid

simplify33.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	796	19
1	796	19

prune28.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.8b

Counts

2 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.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:

7.0ms	(/ a (* 3.0 b))
11.0ms	(* z (/ t 3.0))
9.0ms	(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
6.0ms	(cos (- y (* z (/ t 3.0))))

series76.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ a (* 3.0 b))
6.0ms	(* z (/ t 3.0))
47.0ms	(* (sqrt x) (cos (- y (* z (/ t 3.0)))))
18.0ms	(cos (- y (* z (/ t 3.0))))

simplify75.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5485	897

prune329.0ms

Filtered

73 candidates to 98 candidates (-34.2%)

Pruning

26 alts after pruning (26 fresh and 0 done)

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

Merged error: 17.7b

Counts

100 → 26

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (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))))))
31.2b	(cos (* z (/ t 3.0)))
31.8b	(sin (* z (/ t 3.0)))

rewrite19.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))))
9.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)))

series73.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)))

simplify41.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5012	1178

prune330.0ms

Filtered

59 candidates to 72 candidates (-22.0%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	61	11	72
Fresh	7	18	25
Picked	1	0	1
Done	0	0	0
Total	69	29	98

Merged error: 16.5b

Counts

98 → 29

localize27.0ms

Local error

Found 4 expressions with local error:

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

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 0.3333333333333333))))
10.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (sin (* z (* t 0.3333333333333333))))))
2.0ms	(cos (* z (/ t 3.0)))
3.0ms	(sin (* z (* t 0.3333333333333333)))

series73.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5011	1178

prune314.0ms

Filtered

56 candidates to 72 candidates (-28.6%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	2	26	28
Picked	1	0	1
Done	0	0	0
Total	72	29	101

Merged error: 16.5b

Counts

101 → 29

localize40.0ms

Local error

Found 4 expressions with local error:

31.2b	(cos (* z (/ t 3.0)))
31.8b	(sin (* z (/ t 3.0)))
31.8b	(sin (* z (/ t 3.0)))
31.8b	(sin (* z (/ t 3.0)))

rewrite8.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`

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos (* z (/ t 3.0)))
2.0ms	(sin (* z (/ t 3.0)))
2.0ms	(sin (* z (/ t 3.0)))
2.0ms	(sin (* z (/ t 3.0)))

series16.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(cos (* z (/ t 3.0)))
4.0ms	(sin (* z (/ t 3.0)))
4.0ms	(sin (* z (/ t 3.0)))
4.0ms	(sin (* z (/ t 3.0)))

simplify121.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	5077	296

prune147.0ms

Filtered

36 candidates to 40 candidates (-11.1%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	37	3	40
Fresh	2	26	28
Picked	1	0	1
Done	0	0	0
Total	40	29	69

Merged error: 16.4b

Counts

69 → 29

regimes1.9s

Accuracy

24.3% (3.7b remaining)

Error of 18.9b against oracle of 15.2b and baseline of 20.1b

bsearch128.0ms

Steps

Iters	Range		Point
9	1.1273424117140073e-92	9.780144045835361e-85	8.775822155136655e-86
7	-79542996.55075324	-4658294.711143975	-4725053.924320843

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	214	126
1	214	126

end0.0ms

sample2.5s

Algorithm

intervals

Results

726.0ms	1540×	body	1280	valid
365.0ms	4526×	body	80	valid
328.0ms	939×	body	640	valid
283.0ms	364×	body	2560	valid
189.0ms	2281×	body	80	nan
103.0ms	422×	body	320	valid
88.0ms	1084×	body	80	invalid
37.0ms	209×	body	160	valid

Details

analyze1.1s

sample94.0ms

simplify33.0ms

prune28.0ms

localize29.0ms

rewrite36.0ms

series76.0ms

simplify75.0ms

prune329.0ms

localize26.0ms

rewrite19.0ms

series73.0ms

simplify41.0ms

prune330.0ms

localize27.0ms

rewrite21.0ms

series73.0ms

simplify42.0ms

prune314.0ms

localize40.0ms

rewrite8.0ms

series16.0ms

simplify121.0ms

prune147.0ms

regimes1.9s

bsearch128.0ms

simplify3.0ms

end0.0ms

sample2.5s

Profiling