Details

analyze751.0ms

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
12.5%	87.4%	0.1%	6
18.7%	81.2%	0.1%	7
25%	73.4%	1.7%	8
28.1%	68.7%	3.2%	9
31.2%	62.8%	6%	10
32.8%	60.1%	7.1%	11
34.3%	56.7%	9%	12
35.1%	55.2%	9.7%	13
35.9%	53.4%	10.7%	14

sample68.0ms

Algorithm

intervals

Results

26.0ms	58×	body	1280	valid
12.0ms	44×	body	640	valid
8.0ms	117×	body	80	valid
5.0ms	23×	body	320	valid
4.0ms	7×	body	80	invalid
2.0ms	14×	body	160	valid

simplify513.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	141	14
1	141	14

prune7.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: 0.1b

Counts

2 → 2

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
0.1b	(/.f64 x (tan.f64 B))
0.2b	(/.f64 1 (sin.f64 B))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64`
27×	`times-frac_binary64`
19×	`add-cube-cbrt_binary64`
9×	`add-exp-log_binary64`
7×	`add-cbrt-cube_binary64`
6×	`associate-/r_binary64` `difference-of-squares_binary64` `associate-/l_binary64`
5×	`add-log-exp_binary64`
4×	`pow1_binary64`
3×	`distribute-lft-out--_binary64` `div-inv_binary64` `div-exp_binary64`
2×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `1-exp_binary64` `associate-/r/_binary64` `inv-pow_binary64` `rec-exp_binary64` `flip--_binary64` `pow-flip_binary64` `frac-sub_binary64` `tan-quot_binary64`

Counts

3 → 80

Calls

3 calls:

15.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
4.0ms	(/.f64 x (tan.f64 B))
6.0ms	(/.f64 1 (sin.f64 B))

series289.0ms

Counts

3 → 9

Calls

3 calls:

127.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B)))
129.0ms	(/.f64 x (tan.f64 B))
32.0ms	(/.f64 1 (sin.f64 B))

simplify109.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4869	1308
1	4869	1308

prune73.0ms

Filtered

60 candidates to 89 candidates (-48.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	81	10	91

Merged error: 0.0b

Counts

91 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) x)))
0.2b	(/.f64 1 (sin.f64 B))
0.2b	(/.f64 (tan.f64 B) x)
0.2b	(/.f64 1 (/.f64 (tan.f64 B) x))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

127×	`times-frac_binary64`
111×	`add-sqr-sqrt_binary64`
85×	`*-un-lft-identity_binary64`
64×	`add-cube-cbrt_binary64`
21×	`add-exp-log_binary64`
19×	`associate-/r*_binary64`
15×	`difference-of-squares_binary64`
13×	`add-cbrt-cube_binary64`
11×	`div-inv_binary64`
10×	`div-exp_binary64`
9×	`associate-/l*_binary64`
7×	`distribute-lft-out--_binary64`
6×	`add-log-exp_binary64` `pow1_binary64`
5×	`cbrt-undiv_binary64`
3×	`1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`
2×	`inv-pow_binary64` `pow-flip_binary64`
1×	`associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `associate-/r/_binary64` `flip--_binary64` `frac-sub_binary64` `tan-quot_binary64`

Counts

4 → 169

Calls

4 calls:

31.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) x)))
7.0ms	(/.f64 1 (sin.f64 B))
4.0ms	(/.f64 (tan.f64 B) x)
6.0ms	(/.f64 1 (/.f64 (tan.f64 B) x))

series277.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 1 (/.f64 (tan.f64 B) x)))
18.0ms	(/.f64 1 (sin.f64 B))
49.0ms	(/.f64 (tan.f64 B) x)
90.0ms	(/.f64 1 (/.f64 (tan.f64 B) x))

simplify101.0ms

Algorithm

egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5078	3010

prune109.0ms

Filtered

112 candidates to 181 candidates (-61.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	179	2	181
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	180	11	191

Merged error: 0.0b

Counts

191 → 11

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 1 (sin.f64 B)) (*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B)))
0.1b	(/.f64 x (sin.f64 B))
0.2b	(/.f64 1 (sin.f64 B))
0.2b	(*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
28×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `times-frac_binary64`
15×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64` `associate-l_binary64`
7×	`pow1_binary64`
6×	`associate-/r_binary64` `add-log-exp_binary64` `associate-/l_binary64`
4×	`div-exp_binary64`
3×	`associate-r_binary64` `cbrt-undiv_binary64` `div-inv_binary64` `associate-*l/_binary64`
2×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `1-exp_binary64` `inv-pow_binary64` `rec-exp_binary64` `sub-div_binary64` `flip--_binary64` `pow-flip_binary64` `frac-sub_binary64` `*-commutative_binary64`

Counts

4 → 103

Calls

4 calls:

8.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B)))
4.0ms	(/.f64 x (sin.f64 B))
5.0ms	(/.f64 1 (sin.f64 B))
7.0ms	(*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))

series263.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(-.f64 (/.f64 1 (sin.f64 B)) (*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B)))
48.0ms	(/.f64 x (sin.f64 B))
18.0ms	(/.f64 1 (sin.f64 B))
96.0ms	(*.f64 (/.f64 x (sin.f64 B)) (cos.f64 B))

simplify87.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5107	1565

prune77.0ms

Filtered

82 candidates to 115 candidates (-40.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	6	3	9
Picked	1	0	1
Done	0	1	1
Total	119	7	126

Merged error: 0b

Counts

126 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (sin.f64 B) (-.f64 1 (.f64 x (cos.f64 B))))
0.1b	(*.f64 x (cos.f64 B))
0.3b	(*.f64 (sin.f64 B) (sin.f64 B))
10.5b	(/.f64 (.f64 (sin.f64 B) (-.f64 1 (.f64 x (cos.f64 B)))) (*.f64 (sin.f64 B) (sin.f64 B)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
15×	`pow1_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `associate-*r/_binary64` `div-exp_binary64`
3×	`pow-prod-down_binary64` `swap-sqr_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `sin-mult_binary64` `flip--_binary64`
1×	`associate-/r_binary64` `pow-prod-up_binary64` `distribute-lft-in_binary64` `associate-/r/_binary64` `distribute-rgt-in_binary64` `pow-plus_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `sqr-sin-a_binary64` `div-inv_binary64` `pow-sqr_binary64` `pow2_binary64`

Counts

4 → 91

Calls

4 calls:

7.0ms	(.f64 (sin.f64 B) (-.f64 1 (.f64 x (cos.f64 B))))
4.0ms	(*.f64 x (cos.f64 B))
7.0ms	(*.f64 (sin.f64 B) (sin.f64 B))
11.0ms	(/.f64 (.f64 (sin.f64 B) (-.f64 1 (.f64 x (cos.f64 B)))) (*.f64 (sin.f64 B) (sin.f64 B)))

series202.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(.f64 (sin.f64 B) (-.f64 1 (.f64 x (cos.f64 B))))
31.0ms	(*.f64 x (cos.f64 B))
19.0ms	(*.f64 (sin.f64 B) (sin.f64 B))
84.0ms	(/.f64 (.f64 (sin.f64 B) (-.f64 1 (.f64 x (cos.f64 B)))) (*.f64 (sin.f64 B) (sin.f64 B)))

simplify71.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4957	1264
1	4957	1264

prune59.0ms

Filtered

66 candidates to 103 candidates (-56.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	103	7	110

Merged error: 0b

Counts

110 → 7

regimes37.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	17
1	32	17

end0.0ms

sample1.8s

Algorithm

intervals

Results

762.0ms	1716×	body	1280	valid
412.0ms	1463×	body	640	valid
272.0ms	3753×	body	80	valid
139.0ms	692×	body	320	valid
59.0ms	376×	body	160	valid
11.0ms	169×	body	80	invalid
0.0ms	1×	body	1280	invalid
0.0ms	1×	body	640	invalid

Details

analyze751.0ms

sample68.0ms

simplify513.0ms

prune7.0ms

localize12.0ms

rewrite29.0ms

series289.0ms

simplify109.0ms

prune73.0ms

localize10.0ms

rewrite56.0ms

series277.0ms

simplify101.0ms

prune109.0ms

localize11.0ms

rewrite27.0ms

series263.0ms

simplify87.0ms

prune77.0ms

localize11.0ms

rewrite31.0ms

series202.0ms

simplify71.0ms

prune59.0ms

regimes37.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.8s

Profiling