Details

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

sample145.0ms

Algorithm

intervals

Results

88.0ms	28×	body	2560	valid
24.0ms	45×	body	1280	valid
8.0ms	30×	body	640	valid
7.0ms	135×	body	80	valid
2.0ms	9×	body	320	valid
1.0ms	9×	body	160	valid
0.0ms	8×	body	80	invalid

simplify435.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	298	12
1	298	12

prune21.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: 15.7b

Counts

2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
4.5b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
28.9b	(tan.f64 (*.f64 PI.f64 l))

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

series57.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)
26.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
24.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify60.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5225	541

prune123.0ms

Filtered

53 candidates to 78 candidates (-47.2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	63	15	78
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	64	16	80

Merged error: 10.9b

Counts

80 → 16

localize10.0ms

Local error

Found 4 expressions with local error:

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

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

series39.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify81.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4715	594
1	4715	594

prune108.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	84	16	100

Merged error: 10.9b

Counts

100 → 16

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)))
28.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite38.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`
29×	`add-exp-log_binary64`
17×	`add-cbrt-cube_binary64` `div-inv_binary64`
15×	`div-exp_binary64`
9×	`pow1_binary64`
6×	`associate-r_binary64` `cbrt-undiv_binary64` `associate-l_binary64`
5×	`associate-/r/_binary64`
4×	`add-log-exp_binary64`
3×	`1-exp_binary64` `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 → 248

Calls

4 calls:

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

series48.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)
29.0ms	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
11.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify85.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5070	3868

prune195.0ms

Filtered

146 candidates to 260 candidates (-78.1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	256	4	260
Fresh	2	13	15
Picked	0	1	1
Done	0	0	0
Total	258	18	276

Merged error: 10.9b

Counts

276 → 18

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 l)
0.5b	(cbrt.f64 l)
0.6b	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
29.0b	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64` `cbrt-prod_binary64`
14×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
8×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `tan-quot_binary64` `*-commutative_binary64`

Counts

4 → 70

Calls

4 calls:

1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)
6.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
4.0ms	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

series83.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt.f64 l)
19.0ms	(cbrt.f64 l)
28.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
15.0ms	(tan.f64 (.f64 (.f64 PI.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)))

simplify48.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4885	400
1	4885	400

prune71.0ms

Filtered

56 candidates to 82 candidates (-46.4%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	1	15	16
Picked	0	1	1
Done	0	1	1
Total	80	20	100

Merged error: 10.9b

Counts

100 → 20

regimes542.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	14
1	32	14

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.4s	797×	body	2560	valid
954.0ms	1659×	body	1280	valid
264.0ms	983×	body	640	valid
201.0ms	3986×	body	80	valid
72.0ms	399×	body	320	valid
20.0ms	176×	body	160	valid
12.0ms	183×	body	80	invalid
2.0ms	1×	body	2560	invalid
2.0ms	4×	body	1280	invalid
1.0ms	2×	body	5120	exit

Details

analyze691.0ms

sample145.0ms

simplify435.0ms

prune21.0ms

localize11.0ms

rewrite21.0ms

series57.0ms

simplify60.0ms

prune123.0ms

localize10.0ms

rewrite16.0ms

series39.0ms

simplify81.0ms

prune108.0ms

localize10.0ms

rewrite38.0ms

series48.0ms

simplify85.0ms

prune195.0ms

localize15.0ms

rewrite15.0ms

series83.0ms

simplify48.0ms

prune71.0ms

regimes542.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.1s

Profiling