Details

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

sample131.0ms

Algorithm

intervals

Results

68.0ms	22×	body	2560	valid
31.0ms	54×	body	1280	valid
12.0ms	33×	body	640	valid
6.0ms	126×	body	80	valid
2.0ms	13×	body	320	valid
1.0ms	8×	body	160	valid
0.0ms	5×	body	80	invalid

simplify181.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	50	20
1	50	20

prune11.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: 14.6b

Counts

2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite232.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` `insert-posit16`
3×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64` `times-frac_binary64` `consolidate-tan_binary64` `tan-quot_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-undiv_binary64` `consolidate-/-/-b_binary64_1` `unswap-sqr_binary64` `div-exp_binary64` `*-commutative_binary64`
1×	`associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 74

Calls

4 calls:

5.0ms	(*.f64 PI.f64 l)
8.0ms	(*.f64 PI.f64 l)
9.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
207.0ms	(tan.f64 (*.f64 PI.f64 l))

series1.1s

Counts

4 → 12

Calls

4 calls:

243.0ms	(*.f64 PI.f64 l)
246.0ms	(*.f64 PI.f64 l)
132.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
491.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	1	3
1	1	3
0	160	2583
1	160	2583
0	74	9
1	74	9
0	160	2583
1	160	2583
0	74	9
1	74	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3

simplify109.0ms

Counts

86 → 86

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5119	825

prune76.0ms

Filtered

59 candidates to 86 candidates (-45.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	74	12	86
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	76	12	88

Merged error: 0.3b

Counts

88 → 12

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

rewrite20.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` `insert-posit16`
3×	`associate-/r_binary64` `associate-/l_binary64` `consolidate-tan_binary64` `tan-quot_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-unprod_binary64` `consolidate-/-/-b_binary64_1` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 80

Calls

4 calls:

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

series1.1s

Counts

4 → 12

Calls

4 calls:

245.0ms	(*.f64 PI.f64 l)
244.0ms	(*.f64 PI.f64 l)
157.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
485.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	1	3
1	1	3
0	454	2556
1	454	2556
0	56	9
1	56	9
0	454	2556
1	454	2556
0	56	9
1	56	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3

simplify98.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5019	930

prune61.0ms

Filtered

65 candidates to 92 candidates (-41.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	92	12	104

Merged error: 0.3b

Counts

104 → 12

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

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

series1.3s

Counts

4 → 12

Calls

4 calls:

244.0ms	(*.f64 PI.f64 l)
245.0ms	(*.f64 PI.f64 l)
329.0ms	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1 F))
480.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	1	3
1	1	3
0	5416	2562
0	69	9
1	69	9
0	5416	2562
0	69	9
1	69	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3

simplify138.0ms

Counts

104 → 104

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5181	1047

prune66.0ms

Filtered

70 candidates to 104 candidates (-48.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	104	12	116

Merged error: 0.3b

Counts

116 → 12

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

rewrite20.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` `insert-posit16`
3×	`associate-/r_binary64` `associate-/l_binary64` `consolidate-tan_binary64` `tan-quot_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `cbrt-unprod_binary64` `consolidate-/-/-b_binary64_1` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 80

Calls

4 calls:

5.0ms	(*.f64 PI.f64 l)
5.0ms	(*.f64 PI.f64 l)
6.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
3.0ms	(tan.f64 (*.f64 PI.f64 l))

series1.1s

Counts

4 → 12

Calls

4 calls:

245.0ms	(*.f64 PI.f64 l)
249.0ms	(*.f64 PI.f64 l)
161.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
485.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	4982	1923
1	4982	1923
0	171	9
1	171	9
0	1	3
1	1	3
0	454	2556
1	454	2556
0	56	9
1	56	9
0	454	2556
1	454	2556
0	56	9
1	56	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3
0	5260	1905
0	128	9
1	128	9
0	5260	1905
0	128	9
1	128	9
0	1	3
1	1	3

simplify101.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5019	930

prune51.0ms

Filtered

65 candidates to 92 candidates (-41.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	92	12	104

Merged error: 0.3b

Counts

104 → 12

regimes171.0ms

Accuracy

94.8% (0.6b remaining)

Error of 1.0b against oracle of 0.3b and baseline of 12.2b

bsearch2.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	83	50
1	83	50

end0.0ms

sample4.0s

Algorithm

intervals

Results

2.3s	776×	body	2560	valid
941.0ms	1627×	body	1280	valid
258.0ms	954×	body	640	valid
199.0ms	4049×	body	80	valid
66.0ms	396×	body	320	valid
23.0ms	198×	body	160	valid
9.0ms	176×	body	80	invalid
4.0ms	8×	body	1280	invalid
2.0ms	1×	body	2560	invalid
2.0ms	5×	body	5120	exit

Details

analyze686.0ms

sample131.0ms

simplify181.0ms

prune11.0ms

localize10.0ms

rewrite232.0ms

series1.1s

simplify109.0ms

prune76.0ms

localize9.0ms

rewrite20.0ms

series1.1s

simplify98.0ms

prune61.0ms

localize10.0ms

rewrite26.0ms

series1.3s

simplify138.0ms

prune66.0ms

localize10.0ms

rewrite20.0ms

series1.1s

simplify101.0ms

prune51.0ms

regimes171.0ms

bsearch2.0ms

simplify8.0ms

end0.0ms

sample4.0s

Profiling