Details

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
6.2%	93.6%	0.1%	7
9.4%	90.5%	0.1%	8
14%	85.8%	0.1%	9
19.5%	80.4%	0.1%	10
20.7%	79.2%	0.1%	11
22%	77.8%	0.1%	12
23.5%	76.4%	0.1%	13
23.8%	76%	0.1%	14

sample78.0ms

Algorithm

intervals

Results

38.0ms	79×	body	1280	valid
17.0ms	61×	body	640	valid
6.0ms	30×	body	320	valid
5.0ms	74×	body	80	valid
2.0ms	12×	body	160	valid

simplify12.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	21	14
1	21	14

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 10.5b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
0.3b	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
2.8b	(cos.f64 (+.f64 a b))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
13×	`associate-r_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`pow1_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `associate-l_binary64` `associate-/l_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `cos-sum_binary64` `-commutative_binary64`

Counts

3 → 67

Calls

3 calls:

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

series179.0ms

Counts

3 → 9

Calls

3 calls:

103.0ms	(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
54.0ms	(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
22.0ms	(cos.f64 (+.f64 a b))

simplify89.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4989	1258
1	4989	1258

prune69.0ms

Filtered

59 candidates to 76 candidates (-28.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	64	12	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	12	77

Merged error: 0.1b

Counts

77 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
20×	`associate-r_binary64`
19×	`times-frac_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow1_binary64` `associate-/r/_binary64`
7×	`sin-mult_binary64`
6×	`add-log-exp_binary64` `cos-mult_binary64` `associate-l_binary64`
3×	`associate-/r_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l_binary64` `sub-div_binary64` `flip--_binary64` `frac-sub_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 99

Calls

4 calls:

6.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
5.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
12.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
9.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))

series501.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
39.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
248.0ms	(.f64 r (/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
139.0ms	(/.f64 (sin.f64 b) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b))))

simplify107.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5919	2742

prune120.0ms

Filtered

89 candidates to 111 candidates (-24.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	99	12	111
Fresh	10	1	11
Picked	1	0	1
Done	0	0	0
Total	110	13	123

Merged error: 0.0b

Counts

123 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate-r_binary64` `associate-l_binary64`
5×	`sin-mult_binary64`
4×	`cos-mult_binary64` `associate-/r/_binary64`
3×	`associate-/r*_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64` `sub-div_binary64` `flip--_binary64` `frac-sub_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 75

Calls

4 calls:

5.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
4.0ms	(*.f64 (sin.f64 b) r)
5.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
10.0ms	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

series404.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 a) (sin.f64 b)))
28.0ms	(*.f64 (sin.f64 b) r)
38.0ms	(*.f64 (sin.f64 a) (sin.f64 b))
265.0ms	(/.f64 (.f64 (sin.f64 b) r) (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b))))

simplify72.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4995	1633
1	4995	1633

prune71.0ms

Filtered

66 candidates to 87 candidates (-31.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	89	11	100

Merged error: 0.0b

Counts

100 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
20×	`associate-r_binary64`
19×	`times-frac_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow1_binary64` `associate-/r/_binary64`
7×	`sin-mult_binary64`
6×	`add-log-exp_binary64` `cos-mult_binary64` `associate-l_binary64`
3×	`associate-/r_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l_binary64` `sub-div_binary64` `flip--_binary64` `frac-sub_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 99

Calls

4 calls:

6.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
5.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
8.0ms	(/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
13.0ms	(.f64 (sin.f64 b) (/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))

series590.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a)))
39.0ms	(*.f64 (sin.f64 b) (sin.f64 a))
206.0ms	(/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (.f64 (sin.f64 b) (sin.f64 a))))
268.0ms	(.f64 (sin.f64 b) (/.f64 r (-.f64 (.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 b) (sin.f64 a)))))

simplify96.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5573	2792

prune76.0ms

Filtered

86 candidates to 111 candidates (-29.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	111	11	122

Merged error: 0.0b

Counts

122 → 11

regimes75.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	26
1	42	26

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.4s	2960×	body	1280	valid
521.0ms	1845×	body	640	valid
155.0ms	759×	body	320	valid
138.0ms	2122×	body	80	valid
46.0ms	314×	body	160	valid

Details

analyze1.2s

sample78.0ms

simplify12.0ms

prune3.0ms

localize10.0ms

rewrite18.0ms

series179.0ms

simplify89.0ms

prune69.0ms

localize15.0ms

rewrite37.0ms

series501.0ms

simplify107.0ms

prune120.0ms

localize15.0ms

rewrite26.0ms

series404.0ms

simplify72.0ms

prune71.0ms

localize15.0ms

rewrite34.0ms

series590.0ms

simplify96.0ms

prune76.0ms

regimes75.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample2.5s

Profiling