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

26.0ms	57×	body	1280	valid
12.0ms	38×	body	640	valid
10.0ms	136×	body	80	valid
7.0ms	87×	body	80	nan
7.0ms	9×	body	2560	valid
3.0ms	12×	body	320	valid
3.0ms	36×	body	80	invalid
1.0ms	4×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	44	19
1	44	19

prune15.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: 18.7b

Counts

2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.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	(/ (* z t) 3.0)
4.0ms	(/ a (* b 3.0))
6.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
5.0ms	(cos (- y (/ (* z t) 3.0)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify47.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5284	789

prune270.0ms

Filtered

60 candidates to 83 candidates (-38.3%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	60	23	83
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	62	23	85

Merged error: 15.6b

Counts

85 → 23

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ a (* b 3.0))
1.5b	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
25.8b	(sin (* t (/ z 3.0)))
26.2b	(cos (* t (/ z 3.0)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `associate-l` `pow-prod-down` `associate-/l*`
2×	`cbrt-undiv` `div-exp`
1×	`frac-2neg` `associate-r` `clear-num` `associate-/r` `-commutative` `div-inv`

Counts

4 → 53

Calls

4 calls:

4.0ms	(/ a (* b 3.0))
7.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
2.0ms	(sin (* t (/ z 3.0)))
2.0ms	(cos (* t (/ z 3.0)))

series33.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ a (* b 3.0))
21.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
4.0ms	(sin (* t (/ z 3.0)))
4.0ms	(cos (* t (/ z 3.0)))

simplify40.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5079	560

prune275.0ms

Filtered

49 candidates to 65 candidates (-32.7%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	58	7	65
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	60	28	88

Merged error: 15.3b

Counts

88 → 28

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* t (/ z 3.0))
0.2b	(/ a (* b 3.0))
1.5b	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
25.8b	(sin (* t (/ z 3.0)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
19×	`add-exp-log` `add-cbrt-cube`
15×	`add-cube-cbrt` `*-un-lft-identity`
14×	`associate-r`
13×	`times-frac`
11×	`pow1`
6×	`associate-l` `prod-exp` `cbrt-unprod`
4×	`pow-prod-down` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-/l*`
2×	`*-commutative` `div-inv` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `clear-num` `associate-/r`

Counts

4 → 78

Calls

4 calls:

7.0ms	(* t (/ z 3.0))
4.0ms	(/ a (* b 3.0))
6.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
2.0ms	(sin (* t (/ z 3.0)))

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* t (/ z 3.0))
3.0ms	(/ a (* b 3.0))
20.0ms	(* (sin (* t (/ z 3.0))) (* 2.0 (sqrt x)))
4.0ms	(sin (* t (/ z 3.0)))

simplify46.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4963	719
1	4963	719

prune348.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	80	10	90
Fresh	3	24	27
Picked	1	0	1
Done	0	0	0
Total	84	34	118

Merged error: 14.0b

Counts

118 → 34

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ (* (cos y) (* 1 (* 2.0 (sqrt x)))) (* (sin y) 0)) (/ a (* b 3.0)))
0.2b	(* (cos y) (* 1 (* 2.0 (sqrt x))))
0.2b	(/ a (* b 3.0))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
17×	`add-cbrt-cube`
12×	`pow1` `prod-exp`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
7×	`cbrt-unprod`
6×	`add-cube-cbrt` `pow-prod-down`
3×	`times-frac` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `diff-log` `1-exp` `div-exp` `frac-sub`
1×	`sub-neg` `flip3--` `frac-2neg` `flip3-+` `associate-r` `associate--l+` `clear-num` `associate-/r` `sum-log` `-commutative` `flip--` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 61

Calls

3 calls:

11.0ms	(- (+ (* (cos y) (* 1 (* 2.0 (sqrt x)))) (* (sin y) 0)) (/ a (* b 3.0)))
8.0ms	(* (cos y) (* 1 (* 2.0 (sqrt x))))
4.0ms	(/ a (* b 3.0))

series47.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(- (+ (* (cos y) (* 1 (* 2.0 (sqrt x)))) (* (sin y) 0)) (/ a (* b 3.0)))
13.0ms	(* (cos y) (* 1 (* 2.0 (sqrt x))))
3.0ms	(/ a (* b 3.0))

simplify56.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5014	800

prune102.0ms

Filtered

51 candidates to 70 candidates (-37.3%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	60	10	70
Fresh	7	26	33
Picked	1	0	1
Done	0	0	0
Total	68	36	104

Merged error: 14.0b

Counts

104 → 36

regimes4.8s

Accuracy

0% (2.3b remaining)

Error of 17.0b against oracle of 14.7b and baseline of 17.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	18
1	24	18

end0.0ms

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

sample2.5s

Algorithm

intervals

Results

747.0ms	1613×	body	1280	valid
346.0ms	4455×	body	80	valid
314.0ms	974×	body	640	valid
276.0ms	366×	body	2560	valid
174.0ms	2250×	body	80	nan
104.0ms	416×	body	320	valid
83.0ms	1105×	body	80	invalid
30.0ms	176×	body	160	valid

Details

analyze1.0s

sample88.0ms

simplify3.0ms

prune15.0ms

localize15.0ms

rewrite21.0ms

series53.0ms

simplify47.0ms

prune270.0ms

localize25.0ms

rewrite16.0ms

series33.0ms

simplify40.0ms

prune275.0ms

localize22.0ms

rewrite21.0ms

series31.0ms

simplify46.0ms

prune348.0ms

localize16.0ms

rewrite25.0ms

series47.0ms

simplify56.0ms

prune102.0ms

regimes4.8s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.0s

sample2.5s

Profiling