Details

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

sample154.0ms

Algorithm

intervals

Results

87.0ms	41×	body	2048	valid
23.0ms	61×	body	1024	valid
21.0ms	3×	body	4096	valid
6.0ms	118×	body	128	valid
5.0ms	25×	body	512	valid
1.0ms	8×	body	256	valid
0.0ms	1×	body	128	invalid

simplify180.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	299	20
1	299	20

prune6.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: 18.3b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
3.7b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
32.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite22.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))
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series289.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(*.f64 PI.f64 l)
26.0ms	(*.f64 PI.f64 l)
151.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
86.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify77.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4867	914
1	4867	914

prune83.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	61	17	78
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	62	18	80

Merged error: 14.4b

Counts

80 → 18

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
0.4b	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
32.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

396×	`times-frac_binary64`
197×	`add-sqr-sqrt_binary64`
193×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
44×	`associate-/r*_binary64`
23×	`add-exp-log_binary64`
17×	`add-cbrt-cube_binary64` `div-inv_binary64`
9×	`pow1_binary64` `div-exp_binary64`
6×	`associate-r_binary64` `cbrt-undiv_binary64` `associate-l_binary64`
5×	`associate-/r/_binary64`
4×	`add-log-exp_binary64`
3×	`rec-exp_binary64` `associate-/l*_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
1×	`clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-flip_binary64` `tan-quot_binary64`

Counts

4 → 245

Calls

4 calls:

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

series316.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(*.f64 PI.f64 l)
28.0ms	(*.f64 PI.f64 l)
187.0ms	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
72.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify143.0ms

Algorithm

egg-herbie

Counts

257 → 257

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4942	6334
1	4942	6334

prune167.0ms

Filtered

144 candidates to 257 candidates (-78.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	253	4	257
Fresh	4	13	17
Picked	0	1	1
Done	0	0	0
Total	257	18	275

Merged error: 14.4b

Counts

275 → 18

localize21.0ms

Local error

Found 4 expressions with local error:

28.6b	(cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
32.9b	(tan.f64 (*.f64 PI.f64 l))
32.9b	(tan.f64 (*.f64 PI.f64 l))
32.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

66×	`times-frac_binary64`
44×	`cbrt-prod_binary64`
39×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-inv_binary64`
3×	`tan-quot_binary64`
1×	`cbrt-div_binary64` `pow1/3_binary64` `associate-/r/_binary64`

Counts

4 → 77

Calls

4 calls:

6.0ms	(cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
2.0ms	(tan.f64 (*.f64 PI.f64 l))
2.0ms	(tan.f64 (*.f64 PI.f64 l))
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series598.0ms

Counts

4 → 12

Calls

4 calls:

396.0ms	(cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
71.0ms	(tan.f64 (*.f64 PI.f64 l))
64.0ms	(tan.f64 (*.f64 PI.f64 l))
66.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify91.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4907	2248
1	4907	2248

prune128.0ms

Filtered

67 candidates to 89 candidates (-32.8%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	86	21	107

Merged error: 13.5b

Counts

107 → 21

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
32.9b	(tan.f64 (*.f64 PI.f64 l))
32.9b	(tan.f64 (*.f64 PI.f64 l))
32.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `tan-quot_binary64`
3×	`cbrt-prod_binary64`
1×	`cbrt-div_binary64` `pow1/3_binary64`

Counts

4 → 36

Calls

4 calls:

2.0ms	(cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
2.0ms	(tan.f64 (*.f64 PI.f64 l))
2.0ms	(tan.f64 (*.f64 PI.f64 l))
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series469.0ms

Counts

4 → 12

Calls

4 calls:

260.0ms	(cbrt.f64 (tan.f64 (*.f64 PI.f64 l)))
76.0ms	(tan.f64 (*.f64 PI.f64 l))
68.0ms	(tan.f64 (*.f64 PI.f64 l))
65.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify72.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5913	708

prune42.0ms

Filtered

39 candidates to 48 candidates (-23.1%)

Pruning

21 alts after pruning (18 fresh and 3 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	18	18
Picked	0	1	1
Done	0	2	2
Total	48	21	69

Merged error: 13.5b

Counts

69 → 21

regimes266.0ms

Accuracy

0% (1.6b remaining)

Error of 12.8b against oracle of 11.1b and baseline of 12.8b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	23
1	33	23

end0.0ms

sample3.9s

Algorithm

intervals

Results

2.1s	1059×	body	2048	valid
710.0ms	1846×	body	1024	valid
528.0ms	67×	body	4096	valid
202.0ms	4026×	body	128	valid
142.0ms	703×	body	512	valid
38.0ms	299×	body	256	valid
10.0ms	169×	body	128	invalid
5.0ms	6×	body	2048	invalid
2.0ms	5×	body	8192	exit

Details

analyze905.0ms

sample154.0ms

simplify180.0ms

prune6.0ms

localize16.0ms

rewrite22.0ms

series289.0ms

simplify77.0ms

prune83.0ms

localize10.0ms

rewrite57.0ms

series316.0ms

simplify143.0ms

prune167.0ms

localize21.0ms

rewrite24.0ms

series598.0ms

simplify91.0ms

prune128.0ms

localize14.0ms

rewrite11.0ms

series469.0ms

simplify72.0ms

prune42.0ms

regimes266.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.9s

Profiling