Details

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

sample109.0ms

Algorithm

intervals

Results

46.0ms	15×	body	2560	valid
29.0ms	55×	body	1280	valid
12.0ms	30×	body	640	valid
7.0ms	129×	body	80	valid
4.0ms	23×	body	320	valid
0.0ms	4×	body	160	valid
0.0ms	6×	body	80	invalid

simplify156.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	288	20
1	288	20

prune12.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: 11.8b

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)
3.2b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
29.8b	(tan.f64 (*.f64 PI.f64 l))

rewrite214.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`
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 → 70

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
12.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
190.0ms	(tan.f64 (*.f64 PI.f64 l))

series2.1s

Counts

4 → 12

Calls

4 calls:

560.0ms	(*.f64 PI.f64 l)
560.0ms	(*.f64 PI.f64 l)
568.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
427.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	640	1950
1	640	1950
0	5317	1719
0	640	1950
1	640	1950
0	5317	1719
0	1	3
1	1	3
0	755	2673
1	755	2673
0	4798	2581
1	4798	2581
0	755	2673
1	755	2673
0	4798	2581
1	4798	2581
0	1	3
1	1	3
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	1	3
1	1	3
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	1	3
1	1	3

simplify189.0ms

Counts

82 → 82

Iterations

Useful iterations: 0 (165.0ms)

Iter	Nodes	Cost
0	4819	772
1	4819	772

prune81.0ms

Filtered

59 candidates to 82 candidates (-39.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	71	11	82
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	73	11	84

Merged error: 0.1b

Counts

84 → 11

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

rewrite19.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`
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 → 76

Calls

4 calls:

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

series2.0s

Counts

4 → 12

Calls

4 calls:

562.0ms	(*.f64 PI.f64 l)
558.0ms	(*.f64 PI.f64 l)
469.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
416.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	640	1950
1	640	1950
0	5317	1719
0	640	1950
1	640	1950
0	5317	1719
0	1	3
1	1	3
0	680	2622
1	680	2622
0	5395	1747
0	680	2622
1	680	2622
0	5395	1747
0	1	3
1	1	3
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	1	3
1	1	3
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	1	3
1	1	3

simplify177.0ms

Counts

88 → 88

Iterations

Useful iterations: 0 (153.0ms)

Iter	Nodes	Cost
0	5025	889

prune59.0ms

Filtered

65 candidates to 88 candidates (-35.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	88	11	99

Merged error: 0.1b

Counts

99 → 11

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.3b	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
29.8b	(tan.f64 (*.f64 PI.f64 l))

rewrite47.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` `insert-posit16`
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 → 262

Calls

4 calls:

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

series2.2s

Counts

4 → 12

Calls

4 calls:

563.0ms	(*.f64 PI.f64 l)
470.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
759.0ms	(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 PI.f64 l)) F)))
418.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	640	1950
1	640	1950
0	5317	1719
0	640	1950
1	640	1950
0	5317	1719
0	1	3
1	1	3
0	1232	2700
1	1232	2700
0	4566	985
1	4566	985
0	1232	2700
1	1232	2700
0	4566	985
1	4566	985
0	1	3
1	1	3
0	680	2622
1	680	2622
0	5395	1747
0	680	2622
1	680	2622
0	5395	1747
0	1	3
1	1	3
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	418	1932
1	418	1932
0	4421	629
1	4421	629
0	1	3
1	1	3

simplify228.0ms

Counts

274 → 274

Iterations

Useful iterations: 0 (153.0ms)

Iter	Nodes	Cost
0	5026	6740

prune153.0ms

Filtered

160 candidates to 274 candidates (-71.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	273	1	274
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	274	11	285

Merged error: 0.1b

Counts

285 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 F)
0.5b	(cbrt.f64 F)
0.5b	(*.f64 (cbrt.f64 F) (cbrt.f64 F))
29.8b	(tan.f64 (*.f64 PI.f64 l))

rewrite14.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` `insert-posit16`
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 → 74

Calls

4 calls:

1.0ms	(cbrt.f64 F)
1.0ms	(cbrt.f64 F)
7.0ms	(*.f64 (cbrt.f64 F) (cbrt.f64 F))
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series2.0s

Counts

4 → 12

Calls

4 calls:

275.0ms	(cbrt.f64 F)
279.0ms	(cbrt.f64 F)
1.1s	(*.f64 (cbrt.f64 F) (cbrt.f64 F))
418.0ms	(tan.f64 (*.f64 PI.f64 l))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	640	1950
1	640	1950
0	5317	1719
0	640	1950
1	640	1950
0	5317	1719
0	1	3
1	1	3
0	115	1690
1	115	1690
0	6878	1660
0	115	1690
1	115	1690
0	6878	1660
0	5206	19
0	43	1613
1	43	1613
0	44	1600
1	44	1600
0	43	1613
1	43	1613
0	44	1600
1	44	1600
0	5033	14
0	43	1613
1	43	1613
0	44	1600
1	44	1600
0	43	1613
1	43	1613
0	44	1600
1	44	1600
0	5033	14

simplify103.0ms

Counts

86 → 86

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5017	617

prune58.0ms

Filtered

61 candidates to 86 candidates (-41.0%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	86	11	97

Merged error: 0.1b

Counts

97 → 11

regimes169.0ms

Accuracy

96.4% (0.4b remaining)

Error of 0.8b against oracle of 0.3b and baseline of 12.7b

bsearch2.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	47	47
1	47	47

end0.0ms

sample4.3s

Algorithm

intervals

Results

2.6s	862×	body	2560	valid
982.0ms	1690×	body	1280	valid
269.0ms	960×	body	640	valid
197.0ms	3861×	body	80	valid
73.0ms	421×	body	320	valid
25.0ms	206×	body	160	valid
9.0ms	169×	body	80	invalid
1.0ms	3×	body	1280	invalid
1.0ms	3×	body	5120	exit

Details

analyze700.0ms

sample109.0ms

simplify156.0ms

prune12.0ms

localize11.0ms

rewrite214.0ms

series2.1s

simplify189.0ms

prune81.0ms

localize8.0ms

rewrite19.0ms

series2.0s

simplify177.0ms

prune59.0ms

localize12.0ms

rewrite47.0ms

series2.2s

simplify228.0ms

prune153.0ms

localize14.0ms

rewrite14.0ms

series2.0s

simplify103.0ms

prune58.0ms

regimes169.0ms

bsearch2.0ms

simplify7.0ms

end0.0ms

sample4.3s

Profiling