Details

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

sample37.0ms

Algorithm

intervals

Results

12.0ms	47×	body	1280	valid
7.0ms	38×	body	640	valid
6.0ms	140×	body	80	valid
3.0ms	22×	body	320	valid
1.0ms	9×	body	160	valid

simplify323.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (171.0ms)

Iter	Nodes	Cost
0	4853	24
1	4853	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

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite243.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:

9.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
4.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
219.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

series1.4s

Counts

4 → 12

Calls

4 calls:

481.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
417.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
226.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
230.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3
0	783	639
1	783	639
0	783	639
1	783	639
0	4960	9
1	4960	9
0	1021	1609
1	1021	1609
0	1021	1609
1	1021	1609
0	5330	9

simplify117.0ms

Counts

125 → 125

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	5507	2111

prune139.0ms

Filtered

84 candidates to 125 candidates (-48.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	111	14	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	14	126

Merged error: 0.1b

Counts

126 → 14

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(-.f64 (/.f64 1 (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)) (/.f64 (.f64 (tan.f64 x) (tan.f64 x)) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) 1)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64`
25×	`pow1_binary64`
24×	`*-un-lft-identity_binary64`
16×	`add-cube-cbrt_binary64`
12×	`tan-quot_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64`
8×	`times-frac_binary64`
6×	`add-log-exp_binary64` `difference-of-squares_binary64`
5×	`distribute-rgt-out--_binary64` `div-inv_binary64`
4×	`associate-/r/_binary64` `insert-posit16`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow-sqr_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`
2×	`flip3-+_binary64` `distribute-lft-out--_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `sub-div_binary64` `flip--_binary64` `frac-sub_binary64`

Counts

4 → 114

Calls

4 calls:

7.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
26.0ms	(-.f64 (/.f64 1 (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)) (/.f64 (.f64 (tan.f64 x) (tan.f64 x)) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) 1)))

series1.6s

Counts

4 → 12

Calls

4 calls:

226.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
224.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
231.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
937.0ms	(-.f64 (/.f64 1 (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)) (/.f64 (.f64 (tan.f64 x) (tan.f64 x)) (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) 1)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	2516	1799
1	2516	1799
0	2516	1799
1	2516	1799
0	5330	9
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3

simplify121.0ms

Counts

126 → 126

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4991	1803
1	4991	1803

prune108.0ms

Filtered

74 candidates to 126 candidates (-70.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	127	13	140

Merged error: 0.0b

Counts

140 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(-.f64 (/.f64 1 (+.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 6)) 1)) (/.f64 (.f64 (tan.f64 x) (tan.f64 x)) (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
0.6b	(pow.f64 (tan.f64 x) 6)
11.0b	(cbrt.f64 (pow.f64 (tan.f64 x) 6))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
12×	`pow1_binary64` `add-cube-cbrt_binary64`
7×	`add-exp-log_binary64` `times-frac_binary64` `cbrt-prod_binary64`
6×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unpow-prod-down_binary64` `difference-of-squares_binary64`
4×	`insert-posit16` `tan-quot_binary64`
3×	`pow-unpow_binary64` `swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64`
2×	`sqr-pow_binary64` `distribute-lft-out--_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow1/3_binary64` `pow-pow_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `pow-sqr_binary64` `flip--_binary64` `frac-sub_binary64` `frac-times_binary64` `pow-exp_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 84

Calls

4 calls:

6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
29.0ms	(-.f64 (/.f64 1 (+.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 6)) 1)) (/.f64 (.f64 (tan.f64 x) (tan.f64 x)) (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
4.0ms	(pow.f64 (tan.f64 x) 6)
3.0ms	(cbrt.f64 (pow.f64 (tan.f64 x) 6))

series1.7s

Counts

4 → 12

Calls

4 calls:

229.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
1.1s	(-.f64 (/.f64 1 (+.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 6)) 1)) (/.f64 (.f64 (tan.f64 x) (tan.f64 x)) (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
211.0ms	(pow.f64 (tan.f64 x) 6)
216.0ms	(cbrt.f64 (pow.f64 (tan.f64 x) 6))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	54	1642
1	54	1642
0	54	1642
1	54	1642
0	5408	14
0	717	625
1	717	625
0	717	625
1	717	625
0	1	3
1	1	3
0	2726	1973
1	2726	1973
0	2726	1973
1	2726	1973
0	4917	17
1	4917	17
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3

simplify118.0ms

Counts

96 → 96

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4951	1431
1	4951	1431

prune102.0ms

Filtered

63 candidates to 96 candidates (-52.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	96	13	109

Merged error: 0.0b

Counts

109 → 13

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64`
35×	`*-un-lft-identity_binary64`
27×	`associate-r_binary64`
19×	`add-cube-cbrt_binary64` `times-frac_binary64`
13×	`pow1_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `difference-of-squares_binary64`
7×	`associate-l_binary64`
4×	`flip3-+_binary64` `distribute-lft-out--_binary64` `insert-posit16` `flip-+_binary64` `tan-quot_binary64`
3×	`swap-sqr_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
2×	`pow-prod-down_binary64` `distribute-lft-out_binary64` `associate-r/_binary64` `associate-/r/_binary64` `-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `pow-prod-up_binary64` `cbrt-undiv_binary64` `pow-plus_binary64` `div-inv_binary64` `div-exp_binary64` `pow-sqr_binary64` `+-commutative_binary64` `flip--_binary64` `pow2_binary64` `sum-log_binary64`

Counts

4 → 106

Calls

4 calls:

5.0ms	(+.f64 (tan.f64 x) 1)
4.0ms	(-.f64 1 (tan.f64 x))
24.0ms	(.f64 (+.f64 (tan.f64 x) 1) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
7.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

series1.2s

Counts

4 → 12

Calls

4 calls:

263.0ms	(+.f64 (tan.f64 x) 1)
271.0ms	(-.f64 1 (tan.f64 x))
426.0ms	(.f64 (+.f64 (tan.f64 x) 1) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
230.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	749	625
1	749	625
0	749	625
1	749	625
0	1	3
1	1	3
0	1175	1722
1	1175	1722
0	1175	1722
1	1175	1722
0	5331	9
0	391	452
1	391	452
0	391	452
1	391	452
0	5132	6
0	371	446
1	371	446
0	371	446
1	371	446
0	5118	6

simplify138.0ms

Counts

118 → 118

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	5310	2029

prune100.0ms

Filtered

83 candidates to 118 candidates (-42.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	118	13	131

Merged error: 0.0b

Counts

131 → 13

regimes111.0ms

Accuracy

0% (0.4b 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	41	37
1	41	37

end0.0ms

sample1.0s

Algorithm

intervals

Results

391.0ms	1487×	body	1280	valid
225.0ms	1323×	body	640	valid
159.0ms	4229×	body	80	valid
80.0ms	660×	body	320	valid
26.0ms	301×	body	160	valid

Details

analyze493.0ms

sample37.0ms

simplify323.0ms

prune3.0ms

localize10.0ms

rewrite243.0ms

series1.4s

simplify117.0ms

prune139.0ms

localize9.0ms

rewrite50.0ms

series1.6s

simplify121.0ms

prune108.0ms

localize16.0ms

rewrite45.0ms

series1.7s

simplify118.0ms

prune102.0ms

localize10.0ms

rewrite44.0ms

series1.2s

simplify138.0ms

prune100.0ms

regimes111.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.0s

Profiling