Details

analyze685.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
0%	99.9%	0.1%	6
18.7%	81.2%	0.1%	7
18.7%	81.2%	0.1%	8
29.7%	69.5%	0.9%	9
30.4%	67.9%	1.7%	10
36.3%	61.1%	2.6%	11
36.9%	59.5%	3.6%	12
39.9%	55.9%	4.2%	13
40.2%	54.9%	4.9%	14

sample136.0ms

Algorithm

intervals

Results

74.0ms	23×	body	2560	valid
29.0ms	51×	body	1280	valid
9.0ms	33×	body	640	valid
6.0ms	123×	body	80	valid
2.0ms	14×	body	320	valid
1.0ms	12×	body	160	valid
1.0ms	1×	body	5120	exit
0.0ms	6×	body	80	invalid

simplify536.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	300	20
1	300	20

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

Counts

2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
5.5b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
30.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite20.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×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 66

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
7.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
3.0ms	(tan.f64 (*.f64 PI.f64 l))

series185.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(*.f64 PI.f64 l)
13.0ms	(*.f64 PI.f64 l)
94.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
62.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify100.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4868	914
1	4868	914

prune90.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	59	19	78
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	61	19	80

Merged error: 11.8b

Counts

80 → 19

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.2b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
30.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
4.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series151.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(*.f64 PI.f64 l)
16.0ms	(*.f64 PI.f64 l)
77.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
42.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify128.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	4707	1019
1	4707	1019

prune72.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	3	15	18
Picked	0	1	1
Done	0	0	0
Total	82	21	103

Merged error: 11.8b

Counts

103 → 21

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
0.7b	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
30.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

405×	`times-frac_binary64`
201×	`add-sqr-sqrt_binary64`
199×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
47×	`associate-/r*_binary64`
29×	`add-exp-log_binary64`
18×	`div-inv_binary64`
17×	`add-cbrt-cube_binary64`
16×	`div-exp_binary64`
7×	`pow1_binary64` `cbrt-undiv_binary64`
6×	`associate-/l*_binary64`
5×	`associate-/r/_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r_binary64` `1-exp_binary64` `associate-l_binary64` `rec-exp_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `tan-quot_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `inv-pow_binary64` `prod-exp_binary64` `pow-flip_binary64` `*-commutative_binary64`

Counts

4 → 258

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
4.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
13.0ms	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series239.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(*.f64 PI.f64 l)
76.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
106.0ms	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
41.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify158.0ms

Algorithm

egg-herbie

Counts

270 → 270

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4969	6933
1	4969	6933

prune159.0ms

Filtered

156 candidates to 270 candidates (-73.1%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	267	3	270
Fresh	2	17	19
Picked	0	1	1
Done	0	1	1
Total	269	22	291

Merged error: 11.8b

Counts

291 → 22

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.2b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
30.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
4.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series139.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(*.f64 PI.f64 l)
14.0ms	(*.f64 PI.f64 l)
69.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
43.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify123.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4707	1019
1	4707	1019

prune54.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

22 alts after pruning (19 fresh and 3 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	18	19
Picked	0	1	1
Done	0	2	2
Total	84	22	106

Merged error: 11.8b

Counts

106 → 22

regimes170.0ms

Accuracy

0% (0.2b remaining)

Error of 12.5b against oracle of 12.3b and baseline of 12.5b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	20
1	34	20

end0.0ms

sample4.2s

Algorithm

intervals

Results

2.5s	847×	body	2560	valid
944.0ms	1678×	body	1280	valid
254.0ms	958×	body	640	valid
197.0ms	3922×	body	80	valid
67.0ms	383×	body	320	valid
27.0ms	212×	body	160	valid
9.0ms	176×	body	80	invalid
4.0ms	2×	body	2560	invalid
2.0ms	5×	body	1280	invalid
1.0ms	4×	body	5120	exit

Details

analyze685.0ms

sample136.0ms

simplify536.0ms

prune7.0ms

localize11.0ms

rewrite20.0ms

series185.0ms

simplify100.0ms

prune90.0ms

localize8.0ms

rewrite15.0ms

series151.0ms

simplify128.0ms

prune72.0ms

localize12.0ms

rewrite40.0ms

series239.0ms

simplify158.0ms

prune159.0ms

localize11.0ms

rewrite15.0ms

series139.0ms

simplify123.0ms

prune54.0ms

regimes170.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.2s

Profiling