Details

analyze8.3s (15.2%)

Algorithm

1×

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0.6%	99.2%	0.2%	13
1.8%	98%	0.2%	14

Compiler

Compiled 71 to 47 computations (33.8% saved)

sample20.6s (37.7%)

Results

15.2s	5457×	body	1024	valid
2.6s	476×	body	2048	valid
2.1s	1215×	body	512	valid
427.0ms	424×	body	256	valid
345.0ms	684×	body	128	valid
3.0ms	1×	body	1024	invalid

Compiler

Compiled 142 to 94 computations (33.8% saved)

preprocess60.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

661×	`cancel-sign-sub-inv_binary64`
351×	`distribute-rgt-neg-in_binary64`
312×	`fma-neg_binary64`
281×	`neg-mul-1_binary64`
263×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	170	1101
1	391	1057
2	968	1057
3	2393	1057
4	4809	1057
0	5	5

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 70 to 46 computations (34.3% saved)

simplify35.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-def_binary64`
562×	`fma-neg_binary64`
317×	`cancel-sign-sub-inv_binary64`
288×	`distribute-rgt-neg-in_binary64`
278×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	103
1	59	99
2	127	99
3	292	99
4	710	99
5	1626	99
6	3178	99
7	4850	99

Stop Event

1×	node limit

Counts

1 → 2

prune8.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

24.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))
▶	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Status

Error

Program

24.4b

(*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))

▶

24.4b

(*.f64 R (*.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (*.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (*.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Compiler

Compiled 409 to 266 computations (35% saved)

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))
✓	0.8b	(-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))
✓	2.5b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
✓	3.3b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))

series269.0ms (0.5%)

Counts

4 → 132

Calls

36 calls:

20.0ms	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))	lambda1	0
18.0ms	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))	lambda2	0
15.0ms	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))	phi2	0
15.0ms	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))	phi1	0
13.0ms	(sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))	lambda2	-inf

rewrite41.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

250×	`add-sqr-sqrt_binary64`
243×	`pow1_binary64`
242×	`*-un-lft-identity_binary64`
232×	`add-log-exp_binary64`
232×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	91
1	485	91

Stop Event

1×	node limit

Counts

4 → 67

simplify139.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

554×	`*-commutative_binary64`
455×	`fma-def_binary64`
269×	`fma-neg_binary64`
241×	`+-commutative_binary64`
184×	`associate--r+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	480	8710
1	1679	8376
2	4418	8373

Stop Event

1×	node limit

Counts

199 → 174

prune1.5s (2.7%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	263	37	300
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	264	38	302

Error

22.5b

Counts

302 → 38

Alt Table

Status	Error	Program
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))) 3))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 3)))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (sin.f64 (.f64 1/2 phi1)) (fma.f64 (.f64 1/2 (cos.f64 (.f64 1/2 phi1))) phi2 (.f64 1/8 (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 phi2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (pow.f64 lambda2 2) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (+.f64 (.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (pow.f64 lambda2 2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (cos.f64 phi1))))) (+.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
▶	24.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	26.8b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) 1) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	41.1b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))) (+.f64 (.f64 1/2 (.f64 (.f64 (cos.f64 (.f64 -1/2 phi2)) (.f64 phi1 (sin.f64 (.f64 -1/2 phi2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (pow.f64 phi1 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))) 3))))) (.f64 1/4 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (.f64 (pow.f64 phi1 2) (cos.f64 phi2))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	36.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))
	33.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	24.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 2) (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2)))))))
	24.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.3b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 -1/2 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 lambda1 (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.2b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 -1/2 phi2)) (cos.f64 (.f64 -1/2 phi2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (+.f64 (sin.f64 (.f64 -1/2 phi2)) (.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))))) (.f64 1/8 (.f64 (pow.f64 phi1 2) (sin.f64 (.f64 -1/2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	39.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 lambda2)) lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 2) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	36.5b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 lambda2 2) (.f64 (cos.f64 phi2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (cos.f64 phi1)))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))) (.f64 1/2 (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (pow.f64 lambda2 2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2))))) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3))))) (.f64 1/8 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (.f64 (pow.f64 lambda2 2) (cos.f64 phi1)))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	30.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 1/2 (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)))))))
	34.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))) (sin.f64 (.f64 -1/2 phi2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	25.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (exp.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Compiler

Compiled 32371 to 20656 computations (36.2% saved)

localize40.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.3b	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))
	2.5b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
	3.3b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
✓	3.4b	(cos.f64 (-.f64 lambda2 lambda1))

series13.0ms (0%)

Counts

2 → 16

Calls

12 calls:

2.0ms	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))	lambda1	-inf
2.0ms	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))	lambda2	0
2.0ms	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))	lambda1	0
1.0ms	(-.f64 1/2 (*.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))	lambda2	-inf
1.0ms	(cos.f64 (-.f64 lambda2 lambda1))	lambda2	0

rewrite49.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

559×	`prod-diff_binary64`
263×	`fma-def_binary64`
184×	`expm1-udef_binary64`
184×	`log1p-udef_binary64`
125×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	192	18
2	2699	16

Stop Event

1×	node limit

Counts

2 → 90

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

714×	`fma-neg_binary64`
303×	`distribute-rgt-neg-in_binary64`
298×	`distribute-lft-neg-in_binary64`
294×	`fma-def_binary64`
249×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	357
1	210	345
2	693	308
3	2662	293

Stop Event

1×	node limit

Counts

106 → 121

prune5.0s (9.2%)

Pruning

54 alts after pruning (54 fresh and 0 done)

	Pruned	Kept	Total
New	527	20	547
Fresh	3	34	37
Picked	1	0	1
Done	0	0	0
Total	531	54	585

Error

22.3b

Counts

585 → 54

Alt Table

Status	Error	Program
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))) 3))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 3)))))
	24.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cos.f64 (+.f64 lambda2 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	36.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 -1/2 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) 1/2)) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (sin.f64 (.f64 1/2 phi1)) (fma.f64 (.f64 1/2 (cos.f64 (.f64 1/2 phi1))) phi2 (.f64 1/8 (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 phi2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	30.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	35.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (pow.f64 lambda2 2) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (+.f64 (.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (pow.f64 lambda2 2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (cos.f64 phi1))))) (+.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	30.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	26.8b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) 1) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	41.1b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))) (+.f64 (.f64 1/2 (.f64 (.f64 (cos.f64 (.f64 -1/2 phi2)) (.f64 phi1 (sin.f64 (.f64 -1/2 phi2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (pow.f64 phi1 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))) 3))))) (.f64 1/4 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (.f64 (pow.f64 phi1 2) (cos.f64 phi2))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	36.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))
	33.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	24.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 2) (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2)))))))
	24.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.3b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 -1/2 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 lambda1 (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.2b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 -1/2 phi2)) (cos.f64 (.f64 -1/2 phi2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (+.f64 (sin.f64 (.f64 -1/2 phi2)) (.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))))) (.f64 1/8 (.f64 (pow.f64 phi1 2) (sin.f64 (.f64 -1/2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))) (sin.f64 (.f64 -1/2 phi2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
▶	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))))
	43.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	24.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	30.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	31.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 2) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	43.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	33.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 1/2 (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 -1/2 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (exp.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Compiler

Compiled 75111 to 44069 computations (41.3% saved)

localize50.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.3b	(-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))
	2.5b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
	3.3b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
	3.4b	(cos.f64 (-.f64 lambda2 lambda1))

series22.0ms (0%)

Counts

1 → 24

Calls

6 calls:

4.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda2	-inf
4.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda1	-inf
4.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda2	inf
4.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda1	inf
4.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda1	0

rewrite44.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

560×	`prod-diff_binary64`
241×	`expm1-udef_binary64`
241×	`log1p-udef_binary64`
137×	`add-sqr-sqrt_binary64`
132×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	259	12
2	3361	12

Stop Event

1×	node limit

Counts

1 → 30

simplify42.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

506×	`associate-l_binary64`
413×	`sub-neg_binary64`
409×	`fma-neg_binary64`
351×	`associate-r_binary64`
320×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	584
1	176	542
2	544	484
3	1716	482
4	4513	482

Stop Event

1×	node limit

Counts

54 → 49

prune3.4s (6.1%)

Pruning

56 alts after pruning (56 fresh and 0 done)

	Pruned	Kept	Total
New	343	12	355
Fresh	9	44	53
Picked	1	0	1
Done	0	0	0
Total	353	56	409

Error

22.2b

Counts

409 → 56

Alt Table

Status	Error	Program
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))) 3))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 3)))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cos.f64 (+.f64 lambda2 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	36.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 -1/2 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) 1/2)) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (sin.f64 (.f64 1/2 phi1)) (fma.f64 (.f64 1/2 (cos.f64 (.f64 1/2 phi1))) phi2 (.f64 1/8 (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 phi2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2)))))))))
	37.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	30.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	35.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (pow.f64 lambda2 2) (.f64 (cos.f64 phi2) (cos.f64 phi1)))))) (+.f64 (.f64 1/4 (.f64 (cos.f64 phi2) (.f64 (pow.f64 lambda2 2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (cos.f64 phi1))))) (+.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
▶	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	26.8b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) 1) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	41.1b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))) (+.f64 (.f64 1/2 (.f64 (.f64 (cos.f64 (.f64 -1/2 phi2)) (.f64 phi1 (sin.f64 (.f64 -1/2 phi2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (pow.f64 phi1 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))) 3))))) (.f64 1/4 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (.f64 (pow.f64 phi1 2) (cos.f64 phi2))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	36.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))
	33.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	24.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 2) (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2)))))))
	37.3b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 -1/2 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 lambda1 (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.2b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 -1/2 phi2)) (cos.f64 (.f64 -1/2 phi2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (+.f64 (sin.f64 (.f64 -1/2 phi2)) (.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))))) (.f64 1/8 (.f64 (pow.f64 phi1 2) (sin.f64 (.f64 -1/2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))) (sin.f64 (.f64 -1/2 phi2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))))
	43.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	30.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	31.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 2) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	43.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 1/2 (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	30.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 lambda1)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 -1/2 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	25.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (exp.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Compiler

Compiled 55038 to 31759 computations (42.3% saved)

localize62.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.3b	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))
	2.5b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
	3.3b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
	3.4b	(cos.f64 (-.f64 lambda2 lambda1))

series326.0ms (0.6%)

Counts

1 → 24

Calls

6 calls:

85.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda1	-inf
78.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda1	inf
78.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda2	inf
77.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda2	-inf
4.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))	lambda1	0

rewrite51.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

956×	`prod-diff_binary64`
163×	`add-sqr-sqrt_binary64`
158×	`pow1_binary64`
157×	`*-un-lft-identity_binary64`
151×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	319	12
2	4050	12

Stop Event

1×	node limit

Counts

1 → 30

simplify44.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

506×	`associate-l_binary64`
413×	`sub-neg_binary64`
409×	`fma-neg_binary64`
351×	`associate-r_binary64`
320×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	584
1	176	542
2	544	484
3	1716	482
4	4513	482

Stop Event

1×	node limit

Counts

54 → 49

prune2.8s (5.1%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	282	12	294
Fresh	10	45	55
Picked	1	0	1
Done	0	0	0
Total	293	57	350

Error

22.1b

Counts

350 → 57

Alt Table

Status	Error	Program
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/2))) 3))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	31.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.5b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 3)))))
	36.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 -1/2 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) 1/2)) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (sin.f64 (.f64 1/2 phi1)) (fma.f64 (.f64 1/2 (cos.f64 (.f64 1/2 phi1))) phi2 (.f64 1/8 (.f64 (sin.f64 (.f64 1/2 phi1)) (.f64 phi2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 1/2 phi1)) 2)))))))))
	37.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (+.f64 1 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) lambda1))))) (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	30.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	26.8b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) 1) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	41.1b	(.f64 R (.f64 2 (atan2.f64 (-.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))) (+.f64 (.f64 1/2 (.f64 (.f64 (cos.f64 (.f64 -1/2 phi2)) (.f64 phi1 (sin.f64 (.f64 -1/2 phi2)))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (pow.f64 phi1 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))))))) (+.f64 (.f64 1/8 (.f64 (.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 phi1 2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2))) 3))))) (.f64 1/4 (.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (.f64 (pow.f64 phi1 2) (cos.f64 phi2))) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.2b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 (pow.f64 (cos.f64 (.f64 -1/2 phi2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	36.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))))) (sqrt.f64 (-.f64 1 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) 2)) 2) (.f64 (.f64 (.f64 (cos.f64 phi1) (cos.f64 phi2)) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2)))))))))
	33.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	24.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 2) (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2)))))))
	34.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))))
	31.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	24.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.3b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 -1/2 (.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 (.f64 (cos.f64 (.f64 1/2 lambda2)) (.f64 lambda1 (.f64 (cos.f64 phi2) (cos.f64 phi1)))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.2b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 -1/2 phi2)) (cos.f64 (.f64 -1/2 phi2))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	32.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	30.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	43.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (-.f64 (+.f64 (sin.f64 (.f64 -1/2 phi2)) (.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))))) (.f64 1/8 (.f64 (pow.f64 phi1 2) (sin.f64 (.f64 -1/2 phi2))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))))
	34.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 -1/2 phi2))) (sin.f64 (.f64 -1/2 phi2))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))))
	43.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	24.1b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (/.f64 (-.f64 (.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)) (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cos.f64 (+.f64 lambda2 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	30.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	35.8b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	31.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 -1/2 lambda1)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.9b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) 2) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.3b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (-.f64 (.f64 (sin.f64 (/.f64 lambda2 2)) (cos.f64 (/.f64 lambda1 2))) (.f64 (cos.f64 (/.f64 lambda2 2)) (sin.f64 (/.f64 lambda1 2)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	43.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (-.f64 lambda2 lambda1)))) (sin.f64 1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	24.0b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (log.f64 (.f64 (exp.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (exp.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 phi2)) 2)))))))
	33.6b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (.f64 1/2 (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1))))) (sqrt.f64 (/.f64 1 (+.f64 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	24.4b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (log.f64 (exp.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	35.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (.f64 1/2 lambda2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))) (cbrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	37.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (fma.f64 -1/2 (fma.f64 lambda1 (sin.f64 lambda2) (cos.f64 lambda2)) 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.7b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (cos.f64 lambda2) (cos.f64 lambda1) (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)) (+.f64 1 (+.f64 (pow.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2) (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 lambda2 (sin.f64 lambda1) (cos.f64 lambda1))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	25.6b	(.f64 R (.f64 2 (atan2.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (log.f64 (exp.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 2))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))) (sqrt.f64 (-.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

Compiler

Compiled 47789 to 24309 computations (49.1% saved)

regimes8.7s (16%)

Accuracy

Total 1.6b remaining (6.7%)

Threshold costs 0b (0%)

Counts

259 → 1

Compiler

Compiled 319876 to 207340 computations (35.2% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
14×	`+-commutative_binary64`
12×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	254
1	81	254
2	107	254
3	121	254
4	130	254
5	132	254

Stop Event

1×

saturated

end3.0s (5.4%)

Stop Event

1×

fuel

Compiler

Compiled 6214 to 4005 computations (35.5% saved)

Details

analyze8.3s (15.2%)

sample20.6s (37.7%)

preprocess60.0ms (0.1%)

simplify35.0ms (0.1%)

prune8.0ms (0%)

localize26.0ms (0%)

series269.0ms (0.5%)

rewrite41.0ms (0.1%)

simplify139.0ms (0.3%)

prune1.5s (2.7%)

localize40.0ms (0.1%)

series13.0ms (0%)

rewrite49.0ms (0.1%)

simplify62.0ms (0.1%)

prune5.0s (9.2%)

localize50.0ms (0.1%)

series22.0ms (0%)

rewrite44.0ms (0.1%)

simplify42.0ms (0.1%)

prune3.4s (6.1%)

localize62.0ms (0.1%)

series326.0ms (0.6%)

rewrite51.0ms (0.1%)

simplify44.0ms (0.1%)

prune2.8s (5.1%)

regimes8.7s (16%)

simplify8.0ms (0%)

end3.0s (5.4%)

Profiling