Details

analyze8.7s (16.1%)

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)

sample21.2s (39.2%)

Results

15.8s	5442×	body	1024	valid
2.4s	427×	body	2048	valid
2.2s	1297×	body	512	valid
465.0ms	411×	body	256	valid
352.0ms	679×	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)

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

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

23.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	23.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 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	23.6b	(.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)))))))))

Status

Error

Program

▶

23.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 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))

23.6b

(*.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)))))))))

Compiler

Compiled 409 to 266 computations (35% saved)

localize42.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(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.6b	(-.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)))
✓	3.4b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
✓	3.6b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))

series262.0ms (0.5%)

Counts

4 → 132

Calls

36 calls:

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
17.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
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)))	phi2	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)))	phi2	inf

rewrite44.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

240×	`add-sqr-sqrt_binary64`
232×	`log1p-expm1-u_binary64`
232×	`expm1-log1p-u_binary64`
229×	`add-cbrt-cube_binary64`
224×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	91
1	485	91

Stop Event

1×	node limit

Counts

4 → 81

simplify153.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

213 → 189

prune1.5s (2.8%)

Pruning

44 alts after pruning (44 fresh and 0 done)

	Pruned	Kept	Total
New	291	44	335
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	293	44	337

Error

22.1b

Counts

337 → 44

Alt Table

Status	Error	Program
	35.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 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.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)) (-.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))) (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.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 1 (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)))))))
	23.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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 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.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 (.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)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.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)))))))
	38.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 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	32.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/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)))))))
	23.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 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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.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)))))))
	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 (-.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	23.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 (cbrt.f64 (pow.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))))))
	37.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)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 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)))))))
	34.6b	(.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)))))))
	34.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 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.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (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 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/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)))))))
	32.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 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.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 (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)))))))
	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 (pow.f64 (cos.f64 (.f64 1/2 phi1)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1)))))))
	37.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 (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.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)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 phi1)) 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)))))))
	23.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 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 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.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 (fma.f64 1/4 (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (.f64 lambda2 lambda2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2))) 1) (fma.f64 1/4 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))) (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.4b	(.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 phi2 -1/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)))))))
	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)) (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)))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.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)) 3/2) 1/3) (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)))))))
	38.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)) (/.f64 (sqrt.f64 (-.f64 (cos.f64 (-.f64 (.f64 (-.f64 lambda2 lambda1) 1/2) (.f64 (-.f64 lambda2 lambda1) 1/2))) (cos.f64 (-.f64 lambda2 lambda1)))) (sqrt.f64 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.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 1/2 lambda2)))) (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.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 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	34.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)))))))
	31.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 (+.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))))))))
	23.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 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)))))))
	33.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 (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)))))))
▶	23.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 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	39.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 (+.f64 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (.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))) (+.f64 (.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 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 1 (+.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)))))))
	36.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 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)))))))
	23.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 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)))))))
	31.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 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (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)))))))
	25.3b	(.f64 R (.f64 2 (atan2.f64 (.f64 (cbrt.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))) (cbrt.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)))))))
	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)) (-.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)))))))
	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 (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)))))))
	25.9b	(.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)))))))

Compiler

Compiled 35183 to 22331 computations (36.5% saved)

localize37.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series12.0ms (0%)

Counts

2 → 16

Calls

12 calls:

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

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	2667	16

Stop Event

1×	node limit

Counts

2 → 90

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

prune3.5s (6.5%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	404	17	421
Fresh	3	40	43
Picked	1	0	1
Done	0	0	0
Total	408	57	465

Error

21.9b

Counts

465 → 57

Alt Table

Status	Error	Program
	35.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 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	37.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)) (-.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))) (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.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 1 (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)))))))
	23.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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 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.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)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (*.f64 phi2 -1/2))) 2))))))))
	37.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 (.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)))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.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)))))))
	38.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 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	32.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/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)))))))
	23.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 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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.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)))))))
	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 (-.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 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 (-.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)) 2)) (+.f64 1 (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))))))))
	31.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 phi2 -1/2)) 2)) 2)) (+.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))))))))
	23.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 (cbrt.f64 (pow.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.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 (sqrt.f64 (.f64 (cos.f64 lambda2) (cos.f64 lambda1))) (sqrt.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)) (+.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))))))))
	37.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)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 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)))))))
	34.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 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.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (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 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/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)))))))
▶	23.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 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	32.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 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.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 (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)))))))
	37.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 (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	34.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)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 phi1)) 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)))))))
	23.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 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 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.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 (fma.f64 1/4 (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (.f64 lambda2 lambda2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2))) 1) (fma.f64 1/4 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))) (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	32.4b	(.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 phi2 -1/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)))))))
	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) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	32.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 (sqrt.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	23.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 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2) 1/4)) (/.f64 1 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) 1/2 1/2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.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)) 3/2) 1/3) (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 (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 (-.f64 lambda2 lambda1)) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))) (.f64 (sin.f64 (-.f64 lambda2 lambda1)) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	38.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)) (/.f64 (sqrt.f64 (-.f64 (cos.f64 (-.f64 (.f64 (-.f64 lambda2 lambda1) 1/2) (.f64 (-.f64 lambda2 lambda1) 1/2))) (cos.f64 (-.f64 lambda2 lambda1)))) (sqrt.f64 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.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 1/2 lambda2)))) (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.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 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	47.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 (+.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)) 2)) (+.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.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)))))))
	31.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 (+.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))))))))
	23.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 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)))))))
	33.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 (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)))))))
	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 -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 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	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) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	47.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)) 2)) (+.f64 1 (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))))))))
	31.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)) 2)) (+.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 phi2 -1/2)) 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 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 1) 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)) 2)) (+.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))))))))
	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)) 2)) (+.f64 1 (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))))))))
	39.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 (+.f64 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (.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))) (+.f64 (.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 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 1 (+.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)))))))
	36.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 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)))))))
	23.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 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)))))))
	31.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 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (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)))))))
	25.3b	(.f64 R (.f64 2 (atan2.f64 (.f64 (cbrt.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))) (cbrt.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)))))))
	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 (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)))))))
	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 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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 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)) (-.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)))))))
	25.9b	(.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)))))))

Compiler

Compiled 48797 to 29237 computations (40.1% saved)

localize56.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.4b	(sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2))
	3.4b	(cos.f64 (-.f64 lambda2 lambda1))
	3.6b	(sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1)))
✓	7.7b	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))

series321.0ms (0.6%)

Counts

1 → 24

Calls

6 calls:

84.0ms	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))	lambda2	-inf
79.0ms	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))	lambda2	inf
76.0ms	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))	lambda1	-inf
75.0ms	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))	lambda1	inf
4.0ms	(cbrt.f64 (*.f64 (sin.f64 lambda2) (sin.f64 lambda1)))	lambda2	0

rewrite38.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

684×	`log1p-expm1-u_binary64`
684×	`expm1-log1p-u_binary64`
274×	`prod-diff_binary64`
133×	`log1p-udef_binary64`
74×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	142	10
2	1820	10

Stop Event

1×	node limit

Counts

1 → 24

simplify30.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

544×	`fma-neg_binary64`
404×	`distribute-rgt-neg-in_binary64`
385×	`distribute-lft-neg-in_binary64`
242×	`unswap-sqr_binary64`
194×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	53	580
1	157	550
2	457	449
3	1983	355

Stop Event

1×	node limit

Counts

48 → 42

prune3.2s (5.9%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	349	17	366
Fresh	16	40	56
Picked	1	0	1
Done	0	0	0
Total	366	57	423

Error

21.8b

Counts

423 → 57

Alt Table

Status	Error	Program
	35.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 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.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 1 (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)))))))
	23.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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 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.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)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (*.f64 phi2 -1/2))) 2))))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.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)))))))
	38.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 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	35.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 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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	32.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/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)))))))
	23.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 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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.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)))))))
	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 (-.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	31.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 phi2 -1/2)) 2)) 2)) (+.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))))))))
	37.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)) (+.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 -1/2 (.f64 lambda1 (cos.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	23.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 (cbrt.f64 (pow.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))))))
	37.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)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 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)))))))
	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 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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	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)) (-.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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.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 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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 phi1)) 2))))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (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 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/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)))))))
	23.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)) (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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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.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 (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)))))))
	38.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)) (fabs.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	32.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 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.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 phi2 -1/2)) 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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	23.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 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 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.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 (fma.f64 1/4 (.f64 (.f64 (cos.f64 phi2) (cos.f64 phi1)) (.f64 (.f64 lambda2 lambda2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2))) 1) (fma.f64 1/4 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))) (fma.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))) (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))))
	34.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)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 phi1)) 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 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/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)))))))
	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) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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 phi2 -1/2)) 2))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.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)) 3/2) 1/3) (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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	23.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 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2) 1/4)) (/.f64 1 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) 1/2 1/2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.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 (-.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))) (.f64 (sin.f64 (-.f64 lambda2 lambda1)) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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.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)))))))
	31.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 (+.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))))))))
	23.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 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)))))))
	33.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 (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.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) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	39.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 (+.f64 (.f64 1/4 (.f64 (pow.f64 (sin.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (.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))) (+.f64 (.f64 1/4 (.f64 (pow.f64 (cos.f64 (.f64 1/2 lambda2)) 2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 lambda1 2))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	35.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 -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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	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 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 1) 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)) 2)) (+.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))))))))
	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)) 2)) (+.f64 1 (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))))))))
	47.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	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 1 (+.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)))))))
	36.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 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)))))))
	23.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 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)))))))
	31.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 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (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.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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.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 (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)))))))
	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 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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 phi1)) 2))))))))
	23.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
▶	23.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	47.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 (+.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)) 2)) (+.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))))))))
	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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))

Compiler

Compiled 52544 to 27337 computations (48% saved)

localize53.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series899.0ms (1.7%)

Counts

1 → 24

Calls

6 calls:

219.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))	lambda1	-inf
216.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))	lambda2	inf
216.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))	lambda2	-inf
215.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))	lambda1	inf
17.0ms	(-.f64 1/2 (.f64 1/2 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))	lambda2	0

rewrite59.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

282×	`expm1-udef_binary64`
282×	`log1p-udef_binary64`
213×	`fma-neg_binary64`
161×	`add-sqr-sqrt_binary64`
151×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	24
1	320	12
2	4076	12

Stop Event

1×	node limit

Counts

1 → 30

simplify38.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

893×	`fma-def_binary64`
492×	`associate-r_binary64`
486×	`associate-l_binary64`
405×	`cancel-sign-sub-inv_binary64`
136×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	1440
1	403	1244
2	1481	889

Stop Event

1×	node limit

Counts

54 → 49

prune3.4s (6.3%)

Pruning

57 alts after pruning (57 fresh and 0 done)

	Pruned	Kept	Total
New	341	13	354
Fresh	12	44	56
Picked	1	0	1
Done	0	0	0
Total	354	57	411

Error

21.7b

Counts

411 → 57

Alt Table

Status	Error	Program
	38.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)) (fabs.f64 (sin.f64 (.f64 (-.f64 lambda2 lambda1) 1/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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	35.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 -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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	35.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 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (sin.f64 (/.f64 (-.f64 lambda2 lambda1) 2)) (sqrt.f64 (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2)))))))
	33.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 1 (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)))))))
	23.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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	32.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)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (*.f64 phi2 -1/2))) 2))))))))
	25.2b	(.f64 R (.f64 2 (atan2.f64 (exp.f64 (log.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)))))))
	38.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 (fma.f64 (cos.f64 (.f64 1/2 phi1)) (.f64 (sin.f64 (.f64 1/2 phi1)) phi2) 1) (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 1/2 phi1)) 2)))))))
	35.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 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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	32.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/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)))))))
	23.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 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 (pow.f64 (cbrt.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))) 3) 2)))))))
	34.8b	(.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)))))))
	34.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 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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 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 (-.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 (fma.f64 1/2 (.f64 phi1 (cos.f64 (.f64 phi2 -1/2))) (sin.f64 (.f64 phi2 -1/2))) 2)))))))
	31.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 phi2 -1/2)) 2)) 2)) (+.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))))))))
	31.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 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 phi2 -1/2)) 2))))))))
	23.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 (cbrt.f64 (pow.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))))))
	23.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)) (-.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.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)) (-.f64 (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (sin.f64 (.f64 -1/2 lambda1))) (fma.f64 1/8 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (.f64 1/48 (pow.f64 lambda2 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)))))))
	34.6b	(.f64 R (.f64 2 (atan2.f64 (fma.f64 1/2 (.f64 phi1 (.f64 (.f64 (sin.f64 (.f64 phi2 -1/2)) (cos.f64 (.f64 phi2 -1/2))) (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 phi2 -1/2)) 2)))))) (sqrt.f64 (fma.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/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)))))))
	23.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)) (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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	32.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 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.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 (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)))))))
	23.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 (cbrt.f64 (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 3)) 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.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)) (.f64 1/2 (.f64 (cos.f64 (.f64 1/2 phi1)) 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 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 phi2 -1/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)))))))
	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) (fma.f64 (cos.f64 lambda2) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	25.5b	(.f64 R (.f64 2 (atan2.f64 (pow.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)) 3/2) 1/3) (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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	23.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 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (.f64 (-.f64 1/4 (.f64 (pow.f64 (cos.f64 (-.f64 lambda2 lambda1)) 2) 1/4)) (/.f64 1 (fma.f64 (cos.f64 (-.f64 lambda2 lambda1)) 1/2 1/2)))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	23.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1)))))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.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 (-.f64 (.f64 (cos.f64 (-.f64 lambda2 lambda1)) (cos.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))) (.f64 (sin.f64 (-.f64 lambda2 lambda1)) (sin.f64 (fma.f64 (neg.f64 (cbrt.f64 lambda1)) (cbrt.f64 (.f64 lambda1 lambda1)) lambda1))))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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.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)))))))
	31.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 (+.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))))))))
	23.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 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)))))))
	33.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 (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.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) (fma.f64 (cos.f64 lambda1) -1/2 1/2)) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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))))))))
	36.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 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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (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 (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))))) 1) 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)) 2)) (+.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))))))))
	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)) 2)) (+.f64 1 (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))))))))
	47.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	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 1 (+.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)))))))
	40.4b	(.f64 R (.f64 2 (atan2.f64 (+.f64 (sqrt.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2))) (fma.f64 (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)))) (+.f64 (.f64 1/2 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 (.f64 (cos.f64 phi2) (.f64 (cos.f64 (.f64 -1/2 lambda1)) (cos.f64 phi1)))))) (.f64 1/8 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (.f64 (cos.f64 phi1) (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2)))))) (.f64 -1/8 (.f64 (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2) (+.f64 (.f64 (.f64 (pow.f64 (cos.f64 phi2) 2) (.f64 (.f64 lambda2 lambda2) (.f64 (pow.f64 (cos.f64 (.f64 -1/2 lambda1)) 2) (pow.f64 (cos.f64 phi1) 2)))) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (cos.f64 phi1) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 3)))) (.f64 (.f64 (.f64 lambda2 lambda2) (.f64 (cos.f64 phi2) (cos.f64 phi1))) (sqrt.f64 (/.f64 1 (fma.f64 (.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (.f64 -1/2 lambda1)) 2)) (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)))))))
	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 phi2 -1/2)) 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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	37.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)) (+.f64 (sin.f64 (.f64 1/2 lambda2)) (.f64 -1/2 (.f64 lambda1 (cos.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 -1/2 (-.f64 phi2 phi1))) 2))))))))
	36.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 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.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 (pow.f64 (cos.f64 (.f64 phi2 -1/2)) 2) (.f64 (pow.f64 (sin.f64 (.f64 1/2 (-.f64 lambda2 lambda1))) 2) (cos.f64 phi2)))))))
	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 (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)))))))
	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 (cos.f64 (-.f64 lambda2 lambda1))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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 phi1)) 2))))))))
	23.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 (.f64 (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	37.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)) (+.f64 (sin.f64 (.f64 -1/2 lambda1)) (fma.f64 1/2 (.f64 lambda2 (cos.f64 (.f64 -1/2 lambda1))) (.f64 (.f64 (sin.f64 (.f64 -1/2 lambda1)) (.f64 lambda2 lambda2)) -1/8))))) (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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 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)) (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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (fma.f64 (cos.f64 phi1) (.f64 (cos.f64 phi2) (-.f64 1/2 (.f64 1/2 (fma.f64 (sin.f64 lambda1) (sin.f64 lambda2) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (*.f64 1/2 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 (-.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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.f64 1 (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))))))))
	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 (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 (sin.f64 lambda2) (sin.f64 lambda1))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1)))) (cbrt.f64 (.f64 (sin.f64 lambda2) (sin.f64 lambda1))) (.f64 (cos.f64 lambda2) (cos.f64 lambda1)))))) (pow.f64 (sin.f64 (.f64 -1/2 (-.f64 phi2 phi1))) 2)) 2)) (+.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 phi1)) 2))))))))
	47.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 (+.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)) 2)) (+.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))))))))

Compiler

Compiled 47912 to 23903 computations (50.1% saved)

regimes7.8s (14.3%)

Accuracy

Total 1.6b remaining (6.8%)

Threshold costs 0b (0%)

Counts

268 → 1

Compiler

Compiled 284008 to 186040 computations (34.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
9×	`+-commutative_binary64`
9×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	96
1	54	96
2	72	96
3	82	96
4	88	96
5	89	96

Stop Event

1×

saturated

end2.5s (4.7%)

Stop Event

1×

fuel

Compiler

Compiled 5502 to 3558 computations (35.3% saved)

Details

analyze8.7s (16.1%)

sample21.2s (39.2%)

preprocess60.0ms (0.1%)

simplify36.0ms (0.1%)

prune9.0ms (0%)

localize42.0ms (0.1%)

series262.0ms (0.5%)

rewrite44.0ms (0.1%)

simplify153.0ms (0.3%)

prune1.5s (2.8%)

localize37.0ms (0.1%)

series12.0ms (0%)

rewrite49.0ms (0.1%)

simplify33.0ms (0.1%)

prune3.5s (6.5%)

localize56.0ms (0.1%)

series321.0ms (0.6%)

rewrite38.0ms (0.1%)

simplify30.0ms (0.1%)

prune3.2s (5.9%)

localize53.0ms (0.1%)

series899.0ms (1.7%)

rewrite59.0ms (0.1%)

simplify38.0ms (0.1%)

prune3.4s (6.3%)

regimes7.8s (14.3%)

simplify4.0ms (0%)

end2.5s (4.7%)

Profiling