Details

analyze2.5s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

sample280.0ms

Algorithm

intervals

Results

195.0ms	143×	body	1280	valid
50.0ms	66×	body	640	valid
16.0ms	20×	body	320	valid
4.0ms	21×	body	80	valid
2.0ms	6×	body	160	valid

simplify46.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	368	39
1	368	39

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 12.6b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
3.0b	(cos.f64 (-.f64 lambda1 lambda2))
3.2b	(sin.f64 (-.f64 lambda1 lambda2))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`associate-r_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64` `insert-posit16`
3×	`cos-diff_binary64`
2×	`sub-neg_binary64` `sin-cos-mult_binary64` `*-commutative_binary64`
1×	`sin-diff_binary64` `sin-sum_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `cos-sum_binary64` `associate-*l/_binary64`

Counts

4 → 62

Calls

4 calls:

6.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
13.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))
5.0ms	(sin.f64 (-.f64 lambda1 lambda2))

series1.2s

Counts

4 → 12

Calls

4 calls:

53.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
57.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
526.0ms	(cos.f64 (-.f64 lambda1 lambda2))
522.0ms	(sin.f64 (-.f64 lambda1 lambda2))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	10258	9
1	10258	9
0	10258	9
1	10258	9
0	1	3
1	1	3
0	10261	9
1	10261	9
0	10261	9
1	10261	9
0	1	3
1	1	3
0	80	9
1	80	9
0	80	9
1	80	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3

simplify118.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5010	878

prune90.0ms

Filtered

54 candidates to 74 candidates (-37.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	64	10	74
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	10	75

Merged error: 7.3b

Counts

75 → 10

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
0.2b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
3.0b	(cos.f64 (-.f64 lambda1 lambda2))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
9×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64`
7×	`associate-l_binary64`
5×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`cos-diff_binary64` `*-commutative_binary64`
2×	`unswap-sqr_binary64` `sin-cos-mult_binary64`
1×	`sub-neg_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `cos-sum_binary64` `associate-*l/_binary64`

Counts

4 → 71

Calls

4 calls:

6.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
6.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
9.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms	(cos.f64 (-.f64 lambda1 lambda2))

series698.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(*.f64 (cos.f64 phi1) (sin.f64 phi2))
51.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
58.0ms	(.f64 (.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
537.0ms	(cos.f64 (-.f64 lambda1 lambda2))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	10261	9
1	10261	9
0	10261	9
1	10261	9
0	1	3
1	1	3
0	80	9
1	80	9
0	80	9
1	80	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3

simplify126.0ms

Counts

83 → 83

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4898	973
1	4898	973

prune98.0ms

Filtered

58 candidates to 83 candidates (-43.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	83	10	93

Merged error: 0.1b

Counts

93 → 10

localize34.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
0.2b	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
12×	`add-sqr-sqrt_binary64`
8×	`-un-lft-identity_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
5×	`sin-cos-mult_binary64`
4×	`add-log-exp_binary64` `insert-posit16` `*-commutative_binary64`
3×	`sin-mult_binary64`
2×	`cos-mult_binary64` `associate-r/_binary64` `unswap-sqr_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

4 → 92

Calls

4 calls:

6.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
6.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
11.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
12.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

series216.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(*.f64 (sin.f64 phi1) (cos.f64 phi2))
50.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
57.0ms	(.f64 (.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
57.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3

simplify156.0ms

Counts

104 → 104

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	5413	1496

prune126.0ms

Filtered

63 candidates to 104 candidates (-65.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	98	6	104
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	101	13	114

Merged error: 0.1b

Counts

114 → 13

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (cos.f64 phi2))
0.2b	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b	(.f64 (sin.f64 phi1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
0.2b	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
10×	`add-sqr-sqrt_binary64`
8×	`-un-lft-identity_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `associate-l*_binary64`
4×	`add-log-exp_binary64` `insert-posit16` `*-commutative_binary64`
3×	`associate-*r/_binary64` `sin-mult_binary64`
2×	`cos-mult_binary64` `sin-cos-mult_binary64` `associate-*l/_binary64`
1×	`unswap-sqr_binary64` `frac-times_binary64`

Counts

4 → 89

Calls

4 calls:

12.0ms	(.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (cos.f64 phi2))
6.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
11.0ms	(.f64 (sin.f64 phi1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
12.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

series216.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(.f64 (.f64 (sin.f64 phi1) (*.f64 (cos.f64 lambda1) (cos.f64 lambda2))) (cos.f64 phi2))
52.0ms	(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
54.0ms	(.f64 (sin.f64 phi1) (.f64 (cos.f64 lambda1) (cos.f64 lambda2)))
55.0ms	(.f64 (.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	31	9
1	31	9
0	31	9
1	31	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3

simplify155.0ms

Counts

101 → 101

Iterations

Useful iterations: 0 (126.0ms)

Iter	Nodes	Cost
0	5037	1507

prune85.0ms

Filtered

60 candidates to 101 candidates (-68.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	101	13	114

Merged error: 0.1b

Counts

114 → 13

regimes229.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	160	73
1	160	73

end0.0ms

sample9.0s

Algorithm

intervals

Results

6.7s	4642×	body	1280	valid
1.6s	1989×	body	640	valid
268.0ms	523×	body	320	valid
101.0ms	676×	body	80	valid
58.0ms	170×	body	160	valid

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	31	9
1	31	9
0	31	9
1	31	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	31	9
1	31	9
0	31	9
1	31	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3

Details

analyze2.5s

sample280.0ms

simplify46.0ms

prune4.0ms

localize24.0ms

rewrite31.0ms

series1.2s

simplify118.0ms

prune90.0ms

localize34.0ms

rewrite28.0ms

series698.0ms

simplify126.0ms

prune98.0ms

localize34.0ms

rewrite38.0ms

series216.0ms

simplify156.0ms

prune126.0ms

localize35.0ms

rewrite44.0ms

series216.0ms

simplify155.0ms

prune85.0ms

regimes229.0ms

bsearch0.0ms

simplify9.0ms

end0.0ms

sample9.0s

Profiling

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	91	9
1	91	9
0	91	9
1	91	9
0	1	3
1	1	3

Iter	Nodes	Cost
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3
0	31	9
1	31	9
0	31	9
1	31	9
0	1	3
1	1	3
0	88	9
1	88	9
0	88	9
1	88	9
0	1	3
1	1	3
0	41	9
1	41	9
0	41	9
1	41	9
0	1	3
1	1	3