Details

analyze706.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

sample168.0ms

Algorithm

intervals

Results

96.0ms	32×	body	2560	valid
36.0ms	57×	body	1280	valid
10.0ms	126×	body	80	valid
5.0ms	21×	body	640	valid
2.0ms	10×	body	320	valid
1.0ms	10×	body	160	valid
0.0ms	5×	body	80	invalid

simplify544.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	299	20
1	299	20

prune22.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: 19.8b

Counts

2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
5.2b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
29.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:

4.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))

series195.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify115.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	4884	914
1	4884	914

prune349.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	62	16	78
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	63	17	80

Merged error: 14.7b

Counts

80 → 17

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.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:

4.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))

series141.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(*.f64 PI.f64 l)
15.0ms	(*.f64 PI.f64 l)
72.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
41.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify104.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5231	1019

prune397.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	76	8	84
Fresh	4	12	16
Picked	1	0	1
Done	0	0	0
Total	81	20	101

Merged error: 14.6b

Counts

101 → 20

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.3b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
29.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))

series146.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify104.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5231	1019

prune388.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	3	16	19
Picked	1	0	1
Done	0	0	0
Total	83	21	104

Merged error: 14.6b

Counts

104 → 21

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.3b	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1 F))
29.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
17×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
15×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
11×	`times-frac_binary64`
10×	`pow1_binary64`
9×	`associate-l_binary64`
5×	`unswap-sqr_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64`
3×	`pow-prod-down_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`cbrt-undiv_binary64` `associate-r/_binary64` `rec-exp_binary64` `un-div-inv_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

4 → 81

Calls

4 calls:

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

series142.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(*.f64 PI.f64 l)
13.0ms	(*.f64 PI.f64 l)
72.0ms	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1 F))
43.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify133.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4912	1059
1	4912	1059

prune272.0ms

Filtered

62 candidates to 93 candidates (-50.0%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	1	19	20
Picked	0	1	1
Done	0	0	0
Total	93	21	114

Merged error: 14.6b

Counts

114 → 21

regimes832.0ms

Accuracy

0% (0.3b remaining)

Error of 12.1b against oracle of 11.9b and baseline of 12.1b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	69	23
1	69	23

end0.0ms

sample4.3s

Algorithm

intervals

Results

2.4s	800×	body	2560	valid
985.0ms	1686×	body	1280	valid
265.0ms	956×	body	640	valid
209.0ms	397×	body	320	valid
206.0ms	3958×	body	80	valid
24.0ms	203×	body	160	valid
11.0ms	194×	body	80	invalid
4.0ms	2×	body	2560	invalid
1.0ms	3×	body	1280	invalid
1.0ms	3×	body	5120	exit

Details

analyze706.0ms

sample168.0ms

simplify544.0ms

prune22.0ms

localize22.0ms

rewrite20.0ms

series195.0ms

simplify115.0ms

prune349.0ms

localize15.0ms

rewrite16.0ms

series141.0ms

simplify104.0ms

prune397.0ms

localize12.0ms

rewrite15.0ms

series146.0ms

simplify104.0ms

prune388.0ms

localize14.0ms

rewrite27.0ms

series142.0ms

simplify133.0ms

prune272.0ms

regimes832.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.3s

Profiling