Details

analyze1.0s

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

sample88.0ms

Algorithm

intervals

Results

22.0ms	48×	body	1280	valid
11.0ms	141×	body	80	valid
10.0ms	32×	body	640	valid
9.0ms	12×	body	2560	valid
6.0ms	76×	body	80	nan
3.0ms	12×	body	320	valid
2.0ms	28×	body	80	invalid
2.0ms	11×	body	160	valid

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	1320	19
1	1320	19

prune17.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: 23.0b

Counts

2 → 2

localize17.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)))))
24.6b	(cos (- y (* z (/ t 3.0))))

rewrite22.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	(* 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))))

series45.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify54.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5086	897

prune344.0ms

Filtered

73 candidates to 98 candidates (-34.2%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	73	25	98
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	75	25	100

Merged error: 18.1b

Counts

100 → 25

localize28.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))))))
30.6b	(sin (* z (/ t 3.0)))
30.8b	(cos (* z (/ t 3.0)))

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

series74.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (sin y) (sin (* z (/ t 3.0))))
52.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (sin (* z (/ t 3.0))))))
4.0ms	(sin (* z (/ t 3.0)))
4.0ms	(cos (* z (/ t 3.0)))

simplify51.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5033	1202

prune367.0ms

Filtered

59 candidates to 72 candidates (-22.0%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	61	11	72
Fresh	5	19	24
Picked	1	0	1
Done	0	0	0
Total	67	30	97

Merged error: 16.4b

Counts

97 → 30

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))))))
30.8b	(cos (* z (/ t 3.0)))
30.8b	(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)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4966	1202
1	4966	1202

prune351.0ms

Filtered

56 candidates to 72 candidates (-28.6%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	29	29
Picked	1	0	1
Done	0	0	0
Total	71	31	102

Merged error: 16.4b

Counts

102 → 31

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (log (exp (sin (* z (* t 0.3333333333333333))))))))
1.7b	(log (exp (sin (* z (* t 0.3333333333333333)))))
30.8b	(cos (* z (/ t 3.0)))
30.8b	(sin (* z (* t 0.3333333333333333)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 55

Calls

4 calls:

10.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (log (exp (sin (* z (* t 0.3333333333333333))))))))
3.0ms	(log (exp (sin (* z (* t 0.3333333333333333)))))
2.0ms	(cos (* z (/ t 3.0)))
3.0ms	(sin (* z (* t 0.3333333333333333)))

series69.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (sqrt x) (+ (* (cos y) (cos (* z (/ t 3.0)))) (* (sin y) (log (exp (sin (* z (* t 0.3333333333333333))))))))
4.0ms	(log (exp (sin (* z (* t 0.3333333333333333)))))
3.0ms	(cos (* z (/ t 3.0)))
4.0ms	(sin (* z (* t 0.3333333333333333)))

simplify36.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5001	1083

prune159.0ms

Filtered

53 candidates to 67 candidates (-26.4%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	65	2	67
Fresh	2	28	30
Picked	1	0	1
Done	0	0	0
Total	68	30	98

Merged error: 16.4b

Counts

98 → 30

regimes2.2s

Accuracy

24.7% (3.3b remaining)

Error of 18.8b against oracle of 15.5b and baseline of 19.9b

bsearch142.0ms

Steps

Iters	Range		Point
9	27.28361738754868	6990340754.387661	27.719903941462462
9	-1.5894967298000316e-124	-2.1045826155741772e-132	-1.8026738030800525e-128

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	212	108
1	212	108

end0.0ms

sample2.6s

Algorithm

intervals

Results

745.0ms	1604×	body	1280	valid
369.0ms	4459×	body	80	valid
309.0ms	914×	body	640	valid
294.0ms	384×	body	2560	valid
173.0ms	2245×	body	80	nan
110.0ms	446×	body	320	valid
90.0ms	1136×	body	80	invalid
33.0ms	193×	body	160	valid

Details

analyze1.0s

sample88.0ms

simplify88.0ms

prune17.0ms

localize17.0ms

rewrite22.0ms

series45.0ms

simplify54.0ms

prune344.0ms

localize28.0ms

rewrite20.0ms

series74.0ms

simplify51.0ms

prune367.0ms

localize27.0ms

rewrite21.0ms

series74.0ms

simplify49.0ms

prune351.0ms

localize34.0ms

rewrite19.0ms

series69.0ms

simplify36.0ms

prune159.0ms

regimes2.2s

bsearch142.0ms

simplify3.0ms

end0.0ms

sample2.6s

Profiling