Details

analyze1.2s

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

sample84.0ms

Algorithm

intervals

Results

27.0ms	53×	body	1280	valid
10.0ms	140×	body	80	valid
10.0ms	31×	body	640	valid
6.0ms	75×	body	80	nan
5.0ms	6×	body	2560	valid
3.0ms	13×	body	320	valid
2.0ms	31×	body	80	invalid
2.0ms	13×	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

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

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ a (* b 3.0))
0.2b	(/ (* z t) 3.0)
0.2b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
25.2b	(cos (- y (/ (* z t) 3.0)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 71

Calls

4 calls:

4.0ms	(/ a (* b 3.0))
4.0ms	(/ (* z t) 3.0)
6.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
8.0ms	(cos (- y (/ (* z t) 3.0)))

series47.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4982	789
1	4982	789

prune261.0ms

Filtered

60 candidates to 83 candidates (-38.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	63	20	83
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	65	20	85

Merged error: 17.5b

Counts

85 → 20

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin y) (* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x))))
2.5b	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
29.2b	(sin (* t (/ z 3.0)))
29.4b	(cos (* t (/ z 3.0)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*`
4×	`add-log-exp`
2×	`associate-r` `*-commutative`

Counts

4 → 53

Calls

4 calls:

10.0ms	(* (sin y) (* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x))))
6.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
2.0ms	(sin (* t (/ z 3.0)))
2.0ms	(cos (* t (/ z 3.0)))

series59.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (sin y) (* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x))))
18.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
4.0ms	(sin (* t (/ z 3.0)))
3.0ms	(cos (* t (/ z 3.0)))

simplify35.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4977	767
1	4977	767

prune282.0ms

Filtered

48 candidates to 65 candidates (-35.4%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	56	9	65
Fresh	3	16	19
Picked	1	0	1
Done	0	0	0
Total	60	25	85

Merged error: 17.3b

Counts

85 → 25

localize32.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin y) (* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x))))
2.5b	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
28.9b	(cos (* t (* z 0.3333333333333333)))
29.2b	(sin (* t (/ z 3.0)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*`
4×	`add-log-exp`
2×	`associate-r` `*-commutative`

Counts

4 → 53

Calls

4 calls:

9.0ms	(* (sin y) (* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x))))
6.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
3.0ms	(cos (* t (* z 0.3333333333333333)))
2.0ms	(sin (* t (/ z 3.0)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (sin y) (* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x))))
18.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
3.0ms	(cos (* t (* z 0.3333333333333333)))
4.0ms	(sin (* t (/ z 3.0)))

simplify37.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4976	767
1	4976	767

prune275.0ms

Filtered

46 candidates to 65 candidates (-41.3%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	61	4	65
Fresh	1	23	24
Picked	1	0	1
Done	0	0	0
Total	63	27	90

Merged error: 17.3b

Counts

90 → 27

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cos (* t (* z 0.3333333333333333))) (* 2.0 (sqrt x)))
2.5b	(* (sin (* t (* z 0.3333333333333333))) (* 2.0 (sqrt x)))
28.9b	(cos (* t (* z 0.3333333333333333)))
29.4b	(sin (* t (* z 0.3333333333333333)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
2×	`associate-r` `*-commutative`

Counts

4 → 50

Calls

4 calls:

6.0ms	(* (cos (* t (* z 0.3333333333333333))) (* 2.0 (sqrt x)))
7.0ms	(* (sin (* t (* z 0.3333333333333333))) (* 2.0 (sqrt x)))
3.0ms	(cos (* t (* z 0.3333333333333333)))
2.0ms	(sin (* t (* z 0.3333333333333333)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (cos (* t (* z 0.3333333333333333))) (* 2.0 (sqrt x)))
18.0ms	(* (sin (* t (* z 0.3333333333333333))) (* 2.0 (sqrt x)))
3.0ms	(cos (* t (* z 0.3333333333333333)))
4.0ms	(sin (* t (* z 0.3333333333333333)))

simplify46.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5119	700

prune135.0ms

Filtered

44 candidates to 62 candidates (-40.9%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	57	5	62
Fresh	3	23	26
Picked	1	0	1
Done	0	0	0
Total	61	28	89

Merged error: 17.2b

Counts

89 → 28

regimes4.2s

Accuracy

53.1% (1.8b remaining)

Error of 18.4b against oracle of 16.6b and baseline of 20.5b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	69
1	78	69

end0.0ms

sample2.5s

Algorithm

intervals

Results

728.0ms	1553×	body	1280	valid
353.0ms	4461×	body	80	valid
316.0ms	966×	body	640	valid
269.0ms	363×	body	2560	valid
178.0ms	2302×	body	80	nan
113.0ms	454×	body	320	valid
90.0ms	1157×	body	80	invalid
35.0ms	203×	body	160	valid

Details

analyze1.2s

sample84.0ms

simplify33.0ms

prune16.0ms

localize17.0ms

rewrite23.0ms

series47.0ms

simplify40.0ms

prune261.0ms

localize27.0ms

rewrite21.0ms

series59.0ms

simplify35.0ms

prune282.0ms

localize32.0ms

rewrite20.0ms

series64.0ms

simplify37.0ms

prune275.0ms

localize29.0ms

rewrite19.0ms

series48.0ms

simplify46.0ms

prune135.0ms

regimes4.2s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample2.5s

Profiling