Details

analyze514.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

sample35.0ms

Algorithm

intervals

Results

13.0ms	47×	body	1280	valid
6.0ms	154×	body	80	valid
5.0ms	31×	body	640	valid
2.0ms	19×	body	320	valid
0.0ms	5×	body	160	valid

simplify308.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (170.0ms)

Iter	Nodes	Cost
0	5718	24

prune3.0ms

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: 0.3b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.2b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))

rewrite226.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
18×	`pow1_binary64`
15×	`times-frac_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64`
8×	`tan-quot_binary64`
6×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64`
5×	`associate-/l*_binary64`
4×	`insert-posit16`
3×	`associate-/r*_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `associate-/r/_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow-sqr_binary64` `flip--_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

4 → 113

Calls

4 calls:

4.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
9.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
7.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
202.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

series2.3s

Counts

4 → 12

Calls

4 calls:

408.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
786.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
536.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
561.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Iterations

Useful iterations: 0 (216.0ms)

Iter	Nodes	Cost
0	421	1002
1	421	1002
0	5014	548
0	421	1002
1	421	1002
0	5014	548
0	4860	76
1	4860	76
0	421	1002
1	421	1002
0	5014	548
0	421	1002
1	421	1002
0	5014	548
0	4860	76
1	4860	76
0	689	1655
1	689	1655
0	4896	1032
1	4896	1032
0	689	1655
1	689	1655
0	4896	1032
1	4896	1032
0	5799	29
0	453	1029
1	453	1029
0	4923	558
1	4923	558
0	453	1029
1	453	1029
0	4923	558
1	4923	558
0	4946	85
1	4946	85

simplify135.0ms

Counts

125 → 125

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	5719	2071

prune163.0ms

Filtered

94 candidates to 125 candidates (-33.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	113	12	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	12	126

Merged error: 0.0b

Counts

126 → 12

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) 1))
0.2b	(+.f64 (tan.f64 x) 1)
0.2b	(*.f64 (+.f64 (tan.f64 x) 1) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))
0.2b	(pow.f64 (tan.f64 x) 2)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

87×	`*-un-lft-identity_binary64`
62×	`add-sqr-sqrt_binary64`
49×	`times-frac_binary64`
30×	`associate-r_binary64` `add-cube-cbrt_binary64`
18×	`difference-of-squares_binary64`
15×	`distribute-lft-out_binary64`
12×	`add-exp-log_binary64`
11×	`add-cbrt-cube_binary64`
9×	`distribute-lft-out--_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate-/l*_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`associate-/r_binary64` `associate-/r/_binary64` `associate-l*_binary64` `insert-posit16`
3×	`pow-unpow_binary64` `unpow-prod-down_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `flip3--_binary64` `unpow2_binary64` `associate-r/_binary64` `pow-pow_binary64` `sqr-pow_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `flip--_binary64` `pow-exp_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 139

Calls

4 calls:

13.0ms	(/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) 1))
5.0ms	(+.f64 (tan.f64 x) 1)
26.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))
4.0ms	(pow.f64 (tan.f64 x) 2)

series2.1s

Counts

4 → 12

Calls

4 calls:

643.0ms	(/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) 1))
191.0ms	(+.f64 (tan.f64 x) 1)
694.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))
525.0ms	(pow.f64 (tan.f64 x) 2)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	580	977
1	580	977
0	6035	792
0	580	977
1	580	977
0	6035	792
0	4784	57
1	4784	57
0	990	1656
1	990	1656
0	4840	1112
1	4840	1112
0	990	1656
1	990	1656
0	4840	1112
1	4840	1112
0	4879	113
1	4879	113
0	382	417
1	382	417
0	12	9
1	12	9
0	382	417
1	382	417
0	12	9
1	12	9
0	1	3
1	1	3
0	848	1412
1	848	1412
0	5528	1102
0	848	1412
1	848	1412
0	5528	1102
0	4676	30
1	4676	30

simplify122.0ms

Counts

151 → 151

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5280	3348

prune166.0ms

Filtered

106 candidates to 151 candidates (-42.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	149	2	151
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	152	11	163

Merged error: 0.0b

Counts

163 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (tan.f64 x) 2)
0.2b	(pow.f64 (tan.f64 x) 2)
0.2b	(pow.f64 (tan.f64 x) 2)
0.3b	(-.f64 (/.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) 1)) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt_binary64`
48×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
15×	`difference-of-squares_binary64`
12×	`add-cube-cbrt_binary64` `unpow-prod-down_binary64`
9×	`pow-unpow_binary64`
8×	`distribute-lft-out--_binary64`
7×	`pow1_binary64` `add-exp-log_binary64`
6×	`add-log-exp_binary64` `distribute-rgt-out--_binary64` `unpow2_binary64` `sqr-pow_binary64` `div-inv_binary64`
5×	`distribute-lft-out_binary64`
4×	`add-cbrt-cube_binary64` `associate-/r/_binary64` `insert-posit16`
3×	`pow-to-exp_binary64` `pow-pow_binary64` `pow-exp_binary64`
2×	`flip3-+_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `sub-div_binary64` `flip--_binary64` `frac-sub_binary64`

Counts

4 → 100

Calls

4 calls:

4.0ms	(pow.f64 (tan.f64 x) 2)
4.0ms	(pow.f64 (tan.f64 x) 2)
4.0ms	(pow.f64 (tan.f64 x) 2)
55.0ms	(-.f64 (/.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) 1)) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))

series2.4s

Counts

4 → 12

Calls

4 calls:

534.0ms	(pow.f64 (tan.f64 x) 2)
545.0ms	(pow.f64 (tan.f64 x) 2)
542.0ms	(pow.f64 (tan.f64 x) 2)
776.0ms	(-.f64 (/.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) 1)) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))

Iterations

Useful iterations: 0 (181.0ms)

Iter	Nodes	Cost
0	1005	1867
1	1005	1867
0	5887	1609
0	1005	1867
1	1005	1867
0	5887	1609
0	4878	111
1	4878	111
0	580	977
1	580	977
0	6035	792
0	580	977
1	580	977
0	6035	792
0	4784	57
1	4784	57
0	580	977
1	580	977
0	6035	792
0	580	977
1	580	977
0	6035	792
0	4784	57
1	4784	57
0	580	977
1	580	977
0	6035	792
0	580	977
1	580	977
0	6035	792
0	4784	57
1	4784	57

simplify167.0ms

Counts

112 → 112

Iterations

Useful iterations: 0 (133.0ms)

Iter	Nodes	Cost
0	5051	2411

prune120.0ms

Filtered

74 candidates to 112 candidates (-51.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	112	11	123

Merged error: 0.0b

Counts

123 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (tan.f64 x) 2)
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))
0.3b	(cbrt.f64 (pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3))
0.4b	(pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64`
40×	`*-un-lft-identity_binary64`
35×	`unpow-prod-down_binary64`
32×	`difference-of-squares_binary64`
30×	`cbrt-prod_binary64`
24×	`cube-prod_binary64`
16×	`add-cube-cbrt_binary64`
13×	`pow1_binary64`
11×	`sqr-pow_binary64`
9×	`unpow2_binary64`
8×	`add-exp-log_binary64`
7×	`add-cbrt-cube_binary64`
6×	`pow-unpow_binary64`
4×	`add-log-exp_binary64` `cube-div_binary64` `distribute-lft-out--_binary64` `insert-posit16` `tan-quot_binary64`
3×	`swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64`
2×	`cbrt-div_binary64` `pow-to-exp_binary64` `flip3--_binary64` `pow-pow_binary64` `flip--_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`pow-prod-down_binary64` `rem-cbrt-cube_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow1/3_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `rem-cube-cbrt_binary64` `prod-exp_binary64` `pow-sqr_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 134

Calls

4 calls:

4.0ms	(pow.f64 (tan.f64 x) 2)
7.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
13.0ms	(cbrt.f64 (pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3))
10.0ms	(pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3)

series2.1s

Counts

4 → 12

Calls

4 calls:

534.0ms	(pow.f64 (tan.f64 x) 2)
547.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
490.0ms	(cbrt.f64 (pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3))
566.0ms	(pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3)

Iterations

Useful iterations: 0 (177.0ms)

Iter	Nodes	Cost
0	843	1299
1	843	1299
0	4821	1060
1	4821	1060
0	843	1299
1	843	1299
0	4821	1060
1	4821	1060
0	5062	83
0	73	1702
1	73	1702
0	5030	1162
0	73	1702
1	73	1702
0	5030	1162
0	4898	55
1	4898	55
0	421	1002
1	421	1002
0	5014	548
0	421	1002
1	421	1002
0	5014	548
0	4860	76
1	4860	76
0	580	977
1	580	977
0	6035	792
0	580	977
1	580	977
0	6035	792
0	4784	57
1	4784	57

simplify136.0ms

Counts

146 → 146

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4983	1936
1	4983	1936

prune91.0ms

Filtered

74 candidates to 146 candidates (-97.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	145	1	146
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	146	11	157

Merged error: 0.0b

Counts

157 → 11

regimes56.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	29	31
1	29	31

end0.0ms

sample991.0ms

Algorithm

intervals

Results

390.0ms	1491×	body	1280	valid
204.0ms	1218×	body	640	valid
163.0ms	4331×	body	80	valid
81.0ms	643×	body	320	valid
27.0ms	317×	body	160	valid

Details

analyze514.0ms

sample35.0ms

simplify308.0ms

prune3.0ms

localize9.0ms

rewrite226.0ms

series2.3s

simplify135.0ms

prune163.0ms

localize10.0ms

rewrite55.0ms

series2.1s

simplify122.0ms

prune166.0ms

localize9.0ms

rewrite71.0ms

series2.4s

simplify167.0ms

prune120.0ms

localize12.0ms

rewrite38.0ms

series2.1s

simplify136.0ms

prune91.0ms

regimes56.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample991.0ms

Profiling