Details

sample84.0ms

Algorithm

intervals

Results

42.0ms	83×	body	1280	valid
16.0ms	53×	body	640	valid
5.0ms	27×	body	320	valid
5.0ms	82×	body	80	valid
1.0ms	11×	body	160	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	5
1	16	5
2	20	5
3	21	5
4	21	5

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 14.4b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(* r (/ (sin b) (cos (+ a b))))
0.2b	(/ (sin b) (cos (+ a b)))
2.8b	(cos (+ a b))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
13×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1`
3×	`associate-l` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`cos-sum` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

3 → 67

Calls

3 calls:

7.0ms	(* r (/ (sin b) (cos (+ a b))))
4.0ms	(/ (sin b) (cos (+ a b)))
4.0ms	(cos (+ a b))

series46.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(* r (/ (sin b) (cos (+ a b))))
12.0ms	(/ (sin b) (cos (+ a b)))
6.0ms	(cos (+ a b))

simplify37.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	252	536
1	1064	480
2	5001	477

prune101.0ms

Filtered

76 candidates to 57 candidates (25.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	69	7	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	7	77

Merged error: 0.1b

Counts

77 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (cos a) (cos b))
0.1b	(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
0.2b	(* (sin a) (sin b))
0.2b	(/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `*-un-lft-identity`
23×	`associate-r`
19×	`times-frac`
15×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`associate-l`
8×	`associate-/r/`
5×	`cos-mult` `sin-mult`
4×	`prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-exp` `frac-sub` `flip--` `div-inv` `sub-div`
1×	`frac-2neg` `associate-*r/` `clear-num`

Counts

4 → 105

Calls

4 calls:

4.0ms	(* (cos a) (cos b))
11.0ms	(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
4.0ms	(* (sin a) (sin b))
8.0ms	(/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (cos a) (cos b))
53.0ms	(* r (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b)))))
9.0ms	(* (sin a) (sin b))
29.0ms	(/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))

simplify55.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	428	1219
1	1858	1102
2	5001	1098

prune172.0ms

Filtered

117 candidates to 87 candidates (25.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	106	11	117
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	111	13	124

Merged error: 0.0b

Counts

124 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
0.2b	(* (sin a) (sin b))
0.2b	(/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
2.7b	(log (exp (* (sin a) (sin b))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
23×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
6×	`associate-l`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`log-prod` `prod-exp` `associate-/r` `log-pow` `cbrt-unprod` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `flip3--` `div-exp` `pow-prod-down` `*-commutative` `flip--` `div-inv`
1×	`exp-prod` `exp-to-pow` `frac-2neg` `associate-*r/` `rem-log-exp` `clear-num` `sin-mult`

Counts

4 → 96

Calls

4 calls:

10.0ms	(* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
5.0ms	(* (sin a) (sin b))
8.0ms	(/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
2.0ms	(log (exp (* (sin a) (sin b))))

series99.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* r (/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b)))))))
9.0ms	(* (sin a) (sin b))
28.0ms	(/ (sin b) (- (* (cos a) (cos b)) (log (exp (* (sin a) (sin b))))))
9.0ms	(log (exp (* (sin a) (sin b))))

simplify50.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	360	1301
1	1546	1128
2	5001	1121

prune150.0ms

Filtered

108 candidates to 84 candidates (22.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	109	12	121

Merged error: 0.0b

Counts

121 → 12

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sin a)) (cbrt (sin a)))
0.6b	(cbrt (sin a))
0.6b	(cbrt (sin a))
0.6b	(cbrt (sin a))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt (sin a)) (cbrt (sin a)))
1.0ms	(cbrt (sin a))
1.0ms	(cbrt (sin a))
2.0ms	(cbrt (sin a))

series79.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (cbrt (sin a)) (cbrt (sin a)))
18.0ms	(cbrt (sin a))
20.0ms	(cbrt (sin a))
18.0ms	(cbrt (sin a))

simplify116.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (109.0ms)

Iter	Nodes	Cost
0	161	512
1	600	453
2	3699	400
3	5002	394

prune82.0ms

Filtered

85 candidates to 60 candidates (29.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	85	12	97

Merged error: 0.0b

Counts

97 → 12

regimes466.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	17
1	19	17

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.3s	2889×	body	1280	valid
511.0ms	1859×	body	640	valid
158.0ms	812×	body	320	valid
137.0ms	2096×	body	80	valid
49.0ms	345×	body	160	valid

Details

sample84.0ms

simplify6.0ms

prune4.0ms

localize10.0ms

rewrite16.0ms

series46.0ms

simplify37.0ms

prune101.0ms

localize16.0ms

rewrite31.0ms

series100.0ms

simplify55.0ms

prune172.0ms

localize18.0ms

rewrite28.0ms

series99.0ms

simplify50.0ms

prune150.0ms

localize20.0ms

rewrite13.0ms

series79.0ms

simplify116.0ms

prune82.0ms

regimes466.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling