Distance on a great circle

Time bar (total: 2.5min)

start0.0ms (0.0%)

analyze9.6s (6.4%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.8%0.2%0.0%0.0%0.0%0
0.0%0.0%99.8%0.2%0.0%0.0%0.0%1
0.0%0.0%99.8%0.2%0.0%0.0%0.0%2
0.0%0.0%99.8%0.2%0.0%0.0%0.0%3
0.0%0.0%99.8%0.2%0.0%0.0%0.0%4
0.0%0.0%99.8%0.2%0.0%0.0%0.0%5
0.0%0.0%99.8%0.2%0.0%0.0%0.0%6
0.0%0.0%99.8%0.2%0.0%0.0%0.0%7
0.0%0.0%99.8%0.2%0.0%0.0%0.0%8
0.0%0.0%99.8%0.2%0.0%0.0%0.0%9
0.0%0.0%99.8%0.2%0.0%0.0%0.0%10
0.0%0.0%99.8%0.2%0.0%0.0%0.0%11
0.0%0.0%99.8%0.2%0.0%0.0%0.0%12
Compiler

Compiled 67 to 28 computations (58.2% saved)

sample1.5min (61.6%)

Samples
1.4min7 599×1valid
1.2s657×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-cos: 31.5s (40.9% of total, 1156.3 MiB)
ival-sin: 23.5s (30.6% of total, 867.8 MiB)
adjust: 5.7s (7.4% of total, 198.7 MiB)
ival-mult!: 5.5s (7.2% of total, 229.5 MiB)
ival-atan2: 3.3s (4.3% of total, 97.6 MiB)
ival-sqrt!: 2.2s (2.9% of total, 74.7 MiB)
ival-sub!: 1.6s (2.1% of total, 73.0 MiB)
ival-div!: 1.6s (2.1% of total, 64.1 MiB)
ival-pow2: 1.4s (1.8% of total, 72.1 MiB)
ival-add!: 559.0ms (0.7% of total, 24.2 MiB)
Bogosity

preprocess419.0ms (0.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02341364
111561170
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶61.8%
%15 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%18 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %15) %15))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %18) (sqrt.f64 (-.f64 #s(literal 1 binary64) %18)))))
Compiler

Compiled 2 to 52 computations (-2500.0% saved)

sample21.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series5.3s (3.5%)
Counts
26 → 220
Calls
Call 1
Inputs
%4 = (-.f64 phi1 phi2)
%5 = (/.f64 %4 #s(literal 2 binary64))
%6 = (sin.f64 %5)
%7 = (pow.f64 %6 #s(literal 2 binary64))
%8 = (cos.f64 phi1)
%9 = (cos.f64 phi2)
%10 = (*.f64 %8 %9)
%13 = (-.f64 lambda1 lambda2)
%14 = (/.f64 %13 #s(literal 2 binary64))
%15 = (sin.f64 %14)
%16 = (*.f64 %10 %15)
%17 = (*.f64 %16 %15)
%18 = (+.f64 %7 %17)
%19 = (sqrt.f64 %18)
%21 = (-.f64 #s(literal 1 binary64) %18)
%22 = (sqrt.f64 %21)
%23 = (atan2.f64 %19 %22)
%24 = (*.f64 #s(literal 2 binary64) %23)
R
#s(literal 2 binary64)
phi1
phi2
%4
%5
%6
%7
%8
%9
%10
lambda1
lambda2
%13
%14
%15
%16
%17
%18
%19
#s(literal 1 binary64)
%21
%22
%23
%24
(*.f64 R %24)
Outputs
%7 = (- phi1 phi2)
%8 = (/ %7 2)
%9 = (sin %8)
%10 = (pow %9 2)
%11 = (cos phi1)
%12 = (cos phi2)
%13 = (* %11 %12)
%16 = (- lambda1 lambda2)
%17 = (/ %16 2)
%18 = (sin %17)
%19 = (* %13 %18)
%20 = (* %19 %18)
%21 = (+ %10 %20)
%22 = (sqrt %21)
%24 = (- 1 %21)
%25 = (sqrt %24)
%26 = (atan2 %22 %25)
%27 = (* 2 %26)
%28 = (* R %27)
%30 = (cos.f64 phi1)
%31 = (cos.f64 phi2)
%33 = (-.f64 lambda1 lambda2)
%35 = (sin.f64 (*.f64 #s(literal 1/2 binary64) %33))
%36 = (pow.f64 %35 #s(literal 2 binary64))
%37 = (*.f64 %31 %36)
%38 = (-.f64 phi1 phi2)
%40 = (sin.f64 (*.f64 #s(literal 1/2 binary64) %38))
%41 = (pow.f64 %40 #s(literal 2 binary64))
%42 = (fma.f64 %30 %37 %41)
%43 = (sqrt.f64 %42)
%45 = (-.f64 #s(literal 1 binary64) %42)
%46 = (sqrt.f64 %45)
%47 = (atan2.f64 %43 %46)
%53 = (*.f64 #s(literal -1 binary64) lambda2)
%57 = (*.f64 #s(literal -1/2 binary64) lambda2)
%59 = (*.f64 #s(literal 1/2 binary64) lambda1)
%62 = (sin.f64 %57)
%64 = (cos.f64 %57)
%65 = (*.f64 lambda1 %64)
%85 = (*.f64 %30 (*.f64 %31 %62))
%88 = (*.f64 %30 (*.f64 %31 %64))
%89 = (*.f64 lambda1 %88)
%103 = (pow.f64 %62 #s(literal 2 binary64))
%104 = (*.f64 %31 %103)
%105 = (*.f64 %30 %104)
%107 = (*.f64 %64 %62)
%109 = (*.f64 %30 (*.f64 %31 %107))
%114 = (pow.f64 %64 #s(literal 2 binary64))
%118 = (*.f64 %30 (*.f64 %31 (fma.f64 #s(literal -1/4 binary64) %103 (*.f64 #s(literal 1/4 binary64) %114))))
%119 = (fma.f64 lambda1 %118 %109)
%126 = (*.f64 %30 (*.f64 %31 (fma.f64 #s(literal -1/8 binary64) %107 (*.f64 #s(literal -1/24 binary64) %107))))
%128 = (fma.f64 lambda1 (fma.f64 lambda1 %126 %118) %109)
%131 = (fma.f64 %30 %104 %41)
%139 = (sqrt.f64 %131)
%141 = (*.f64 lambda1 %109)
%146 = (pow.f64 %30 #s(literal 2 binary64))
%147 = (pow.f64 %31 #s(literal 2 binary64))
%150 = (*.f64 %146 (*.f64 %147 (*.f64 %114 %103)))
%151 = (pow.f64 %139 #s(literal 2 binary64))
%154 = (-.f64 %118 (*.f64 #s(literal 1/4 binary64) (/.f64 %150 %151)))
%157 = (/.f64 %109 %139)
%180 = (-.f64 #s(literal 1 binary64) %131)
%202 = (sqrt.f64 %180)
%208 = (pow.f64 %202 #s(literal 2 binary64))
%210 = (fma.f64 #s(literal 1/4 binary64) (/.f64 %150 %208) %118)
%213 = (/.f64 %109 %202)
%238 = (/.f64 lambda2 lambda1)
%249 = (*.f64 %31 %35)
%270 = (sin.f64 (*.f64 #s(literal -1/2 binary64) (+.f64 lambda2 (*.f64 #s(literal -1 binary64) lambda1))))
%276 = (*.f64 %31 (pow.f64 %270 #s(literal 2 binary64)))
%279 = (fma.f64 %30 %276 %41)
%281 = (sqrt.f64 %279)
%283 = (-.f64 #s(literal 1 binary64) %279)
%285 = (sqrt.f64 %283)
%287 = (atan2.f64 %281 %285)
%295 = (+.f64 lambda1 %53)
%297 = (sin.f64 %59)
%299 = (cos.f64 %59)
%300 = (*.f64 lambda2 %299)
%319 = (*.f64 %30 (*.f64 %31 %297))
%322 = (*.f64 %30 (*.f64 %31 %299))
%323 = (*.f64 lambda2 %322)
%337 = (pow.f64 %297 #s(literal 2 binary64))
%338 = (*.f64 %31 %337)
%339 = (*.f64 %30 %338)
%341 = (*.f64 %299 %297)
%343 = (*.f64 %30 (*.f64 %31 %341))
%344 = (*.f64 lambda2 %343)
%347 = (pow.f64 %299 #s(literal 2 binary64))
%351 = (*.f64 %30 (*.f64 %31 (fma.f64 #s(literal -1/4 binary64) %337 (*.f64 #s(literal 1/4 binary64) %347))))
%352 = (*.f64 lambda2 %351)
%353 = (fma.f64 #s(literal -1 binary64) %343 %352)
%361 = (*.f64 %30 (*.f64 %31 (fma.f64 #s(literal 1/24 binary64) %341 (*.f64 #s(literal 1/8 binary64) %341))))
%364 = (fma.f64 #s(literal -1 binary64) %343 (*.f64 lambda2 (fma.f64 lambda2 %361 %351)))
%367 = (fma.f64 %30 %338 %41)
%375 = (sqrt.f64 %367)
%381 = (/.f64 %343 %375)
%384 = (*.f64 %146 (*.f64 %147 (*.f64 %347 %337)))
%385 = (pow.f64 %375 #s(literal 2 binary64))
%388 = (-.f64 %351 (*.f64 #s(literal 1/4 binary64) (/.f64 %384 %385)))
%413 = (-.f64 #s(literal 1 binary64) %367)
%419 = (*.f64 #s(literal -1 binary64) %343)
%434 = (sqrt.f64 %413)
%440 = (pow.f64 %434 #s(literal 2 binary64))
%442 = (fma.f64 #s(literal 1/4 binary64) (/.f64 %384 %440) %351)
%445 = (/.f64 %343 %434)
%467 = (/.f64 lambda1 lambda2)
%486 = (sin.f64 (*.f64 #s(literal 1/2 binary64) %295))
%492 = (*.f64 %31 (pow.f64 %486 #s(literal 2 binary64)))
%495 = (fma.f64 %30 %492 %41)
%497 = (sqrt.f64 %495)
%499 = (-.f64 #s(literal 1 binary64) %495)
%501 = (sqrt.f64 %499)
%503 = (atan2.f64 %497 %501)
%511 = (*.f64 #s(literal -1 binary64) phi2)
%514 = (*.f64 #s(literal -1/2 binary64) phi2)
%516 = (*.f64 #s(literal 1/2 binary64) phi1)
%519 = (sin.f64 %514)
%521 = (cos.f64 %514)
%522 = (*.f64 phi1 %521)
%539 = (pow.f64 %519 #s(literal 2 binary64))
%541 = (*.f64 %521 %519)
%544 = (pow.f64 %521 #s(literal 2 binary64))
%545 = (*.f64 #s(literal 1/4 binary64) %544)
%546 = (fma.f64 #s(literal -1/4 binary64) %539 %545)
%551 = (fma.f64 #s(literal -1/8 binary64) %541 (*.f64 #s(literal -1/24 binary64) %541))
%552 = (*.f64 phi1 %551)
%554 = (fma.f64 #s(literal -1/4 binary64) %539 (fma.f64 #s(literal 1/4 binary64) %544 %552))
%559 = (pow.f64 phi1 #s(literal 2 binary64))
%577 = (*.f64 %559 %31)
%594 = (*.f64 %559 %249)
%610 = (*.f64 %559 %37)
%625 = (fma.f64 %31 %36 %539)
%629 = (fma.f64 #s(literal -1/2 binary64) %37 %546)
%637 = (sqrt.f64 %625)
%639 = (*.f64 phi1 %541)
%644 = (*.f64 %544 %539)
%645 = (pow.f64 %637 #s(literal 2 binary64))
%648 = (-.f64 %629 (*.f64 #s(literal 1/4 binary64) (/.f64 %644 %645)))
%651 = (/.f64 %541 %637)
%672 = (-.f64 #s(literal 1 binary64) %625)
%693 = (sqrt.f64 %672)
%699 = (pow.f64 %693 #s(literal 2 binary64))
%703 = (fma.f64 #s(literal -1/2 binary64) %37 (fma.f64 #s(literal -1/4 binary64) %539 (fma.f64 #s(literal 1/4 binary64) (/.f64 %644 %699) %545)))
%706 = (/.f64 %541 %693)
%728 = (/.f64 phi2 phi1)
%755 = (sin.f64 (*.f64 #s(literal -1/2 binary64) (+.f64 phi2 (*.f64 #s(literal -1 binary64) phi1))))
%757 = (pow.f64 %755 #s(literal 2 binary64))
%759 = (fma.f64 %30 %37 %757)
%761 = (sqrt.f64 %759)
%763 = (-.f64 #s(literal 1 binary64) %759)
%765 = (sqrt.f64 %763)
%767 = (atan2.f64 %761 %765)
%775 = (+.f64 phi1 %511)
%777 = (sin.f64 %516)
%779 = (cos.f64 %516)
%780 = (*.f64 phi2 %779)
%797 = (pow.f64 %777 #s(literal 2 binary64))
%799 = (*.f64 %779 %777)
%800 = (*.f64 phi2 %799)
%803 = (pow.f64 %779 #s(literal 2 binary64))
%804 = (*.f64 #s(literal 1/4 binary64) %803)
%805 = (fma.f64 #s(literal -1/4 binary64) %797 %804)
%811 = (fma.f64 #s(literal 1/24 binary64) %799 (*.f64 #s(literal 1/8 binary64) %799))
%812 = (*.f64 phi2 %811)
%814 = (fma.f64 #s(literal -1/4 binary64) %797 (fma.f64 #s(literal 1/4 binary64) %803 %812))
%819 = (pow.f64 phi2 #s(literal 2 binary64))
%835 = (*.f64 %819 %30)
%851 = (*.f64 %30 %35)
%853 = (*.f64 %819 %851)
%868 = (*.f64 %30 %36)
%870 = (*.f64 %819 %868)
%885 = (fma.f64 %30 %36 %797)
%889 = (fma.f64 #s(literal -1/2 binary64) %868 %805)
%890 = (*.f64 phi2 %889)
%899 = (sqrt.f64 %885)
%905 = (/.f64 %799 %899)
%906 = (*.f64 %803 %797)
%907 = (pow.f64 %899 #s(literal 2 binary64))
%910 = (-.f64 %889 (*.f64 #s(literal 1/4 binary64) (/.f64 %906 %907)))
%933 = (-.f64 #s(literal 1 binary64) %885)
%939 = (*.f64 #s(literal -1 binary64) %799)
%953 = (sqrt.f64 %933)
%959 = (pow.f64 %953 #s(literal 2 binary64))
%963 = (fma.f64 #s(literal -1/2 binary64) %868 (fma.f64 #s(literal -1/4 binary64) %797 (fma.f64 #s(literal 1/4 binary64) (/.f64 %906 %959) %804)))
%966 = (/.f64 %799 %953)
%986 = (/.f64 phi1 phi2)
%1005 = (sin.f64 (*.f64 #s(literal 1/2 binary64) %775))
%1007 = (pow.f64 %1005 #s(literal 2 binary64))
%1009 = (fma.f64 %30 %37 %1007)
%1011 = (sqrt.f64 %1009)
%1013 = (-.f64 #s(literal 1 binary64) %1009)
%1015 = (sqrt.f64 %1013)
%1017 = (atan2.f64 %1011 %1015)
(approx R #s(literal 0 binary64))
(approx R R)
(approx %28 (*.f64 #s(literal 2 binary64) (*.f64 R %47)))
(approx lambda1 lambda1)
(approx %16 %53)
(approx %16 %33)
(approx %17 %57)
(approx %17 (fma.f64 #s(literal -1/2 binary64) lambda2 %59))
(approx %18 %62)
(approx %18 (+.f64 %62 (*.f64 #s(literal 1/2 binary64) %65)))
(approx %18 (+.f64 %62 (*.f64 lambda1 (fma.f64 #s(literal -1/8 binary64) (*.f64 lambda1 %62) (*.f64 #s(literal 1/2 binary64) %64)))))
(approx %18 (+.f64 %62 (*.f64 lambda1 (fma.f64 #s(literal 1/2 binary64) %64 (*.f64 lambda1 (fma.f64 #s(literal -1/8 binary64) %62 (*.f64 #s(literal -1/48 binary64) %65)))))))
(approx %19 %85)
(approx %19 (fma.f64 #s(literal 1/2 binary64) %89 %85))
(approx %19 (fma.f64 lambda1 (fma.f64 #s(literal -1/8 binary64) (*.f64 lambda1 %85) (*.f64 #s(literal 1/2 binary64) %88)) %85))
(approx %19 (fma.f64 lambda1 (fma.f64 #s(literal 1/2 binary64) %88 (*.f64 lambda1 (fma.f64 #s(literal -1/8 binary64) %85 (*.f64 #s(literal -1/48 binary64) %89)))) %85))
(approx %20 %105)
(approx %20 (fma.f64 lambda1 %109 %105))
(approx %20 (fma.f64 lambda1 %119 %105))
(approx %20 (fma.f64 lambda1 %128 %105))
(approx %21 %131)
(approx %21 (fma.f64 lambda1 %109 %131))
(approx %21 (fma.f64 lambda1 %119 %131))
(approx %21 (fma.f64 lambda1 %128 %131))
(approx %22 %139)
(approx %22 (+.f64 %139 (*.f64 #s(literal 1/2 binary64) (/.f64 %141 %139))))
(approx %22 (+.f64 %139 (*.f64 lambda1 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 lambda1 %154) %139) (*.f64 #s(literal 1/2 binary64) %157)))))
(approx %22 (+.f64 %139 (*.f64 lambda1 (fma.f64 #s(literal 1/2 binary64) %157 (*.f64 lambda1 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 lambda1 (-.f64 %126 (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 %30 (*.f64 %31 (*.f64 %64 (*.f64 %62 %154)))) %151)))) %139) (*.f64 #s(literal 1/2 binary64) (/.f64 %154 %139))))))))
(approx %24 %180)
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %141)) %131))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 lambda1 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 lambda1 %118)) %109))) %131))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 lambda1 (-.f64 (*.f64 lambda1 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 lambda1 %126)) %118)) %109))) %131))
(approx %25 %202)
(approx %25 (+.f64 %202 (*.f64 #s(literal -1/2 binary64) (/.f64 %141 %202))))
(approx %25 (+.f64 %202 (*.f64 lambda1 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 lambda1 %210) %202) (*.f64 #s(literal -1/2 binary64) %213)))))
(approx %25 (+.f64 %202 (*.f64 lambda1 (fma.f64 #s(literal -1/2 binary64) %213 (*.f64 lambda1 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 lambda1 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 %30 (*.f64 %31 (*.f64 %64 (*.f64 %62 %210)))) %208) %126)) %202) (*.f64 #s(literal -1/2 binary64) (/.f64 %210 %202))))))))
(approx %26 %47)
(approx %27 (*.f64 #s(literal 2 binary64) %47))
(approx %16 (*.f64 lambda1 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %238))))
(approx %17 %59)
(approx %17 (*.f64 lambda1 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %238))))
(approx %18 %35)
(approx %19 (*.f64 %30 %249))
(approx %20 (*.f64 %30 %37))
(approx %21 %42)
(approx %22 %43)
(approx %24 %45)
(approx %25 %46)
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 lambda1 (-.f64 %238 #s(literal 1 binary64)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 lambda1 (-.f64 (*.f64 #s(literal 1/2 binary64) %238) #s(literal 1/2 binary64)))))
(approx %18 %270)
(approx %19 (*.f64 %30 (*.f64 %31 %270)))
(approx %20 (*.f64 %30 %276))
(approx %21 %279)
(approx %22 %281)
(approx %24 %283)
(approx %25 %285)
(approx %26 %287)
(approx %27 (*.f64 #s(literal 2 binary64) %287))
(approx %28 (*.f64 #s(literal 2 binary64) (*.f64 R %287)))
(approx lambda2 lambda2)
(approx %16 %295)
(approx %18 %297)
(approx %18 (+.f64 %297 (*.f64 #s(literal -1/2 binary64) %300)))
(approx %18 (+.f64 %297 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) %299 (*.f64 #s(literal -1/8 binary64) (*.f64 lambda2 %297))))))
(approx %18 (+.f64 %297 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) %299 (*.f64 lambda2 (fma.f64 #s(literal -1/8 binary64) %297 (*.f64 #s(literal 1/48 binary64) %300)))))))
(approx %19 %319)
(approx %19 (fma.f64 #s(literal -1/2 binary64) %323 %319))
(approx %19 (fma.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) %322 (*.f64 #s(literal -1/8 binary64) (*.f64 lambda2 %319))) %319))
(approx %19 (fma.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) %322 (*.f64 lambda2 (fma.f64 #s(literal -1/8 binary64) %319 (*.f64 #s(literal 1/48 binary64) %323)))) %319))
(approx %20 %339)
(approx %20 (fma.f64 #s(literal -1 binary64) %344 %339))
(approx %20 (fma.f64 lambda2 %353 %339))
(approx %20 (fma.f64 lambda2 %364 %339))
(approx %21 %367)
(approx %21 (fma.f64 #s(literal -1 binary64) %344 %367))
(approx %21 (fma.f64 lambda2 %353 %367))
(approx %21 (fma.f64 lambda2 %364 %367))
(approx %22 %375)
(approx %22 (+.f64 %375 (*.f64 #s(literal -1/2 binary64) (/.f64 %344 %375))))
(approx %22 (+.f64 %375 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) %381 (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 lambda2 %388) %375))))))
(approx %22 (+.f64 %375 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) %381 (*.f64 lambda2 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 lambda2 (-.f64 %361 (*.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 %30 (*.f64 %31 (*.f64 %299 (*.f64 %297 %388)))) %385)))) %375) (*.f64 #s(literal 1/2 binary64) (/.f64 %388 %375))))))))
(approx %24 %413)
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) %344) %367))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 lambda2 (-.f64 (*.f64 #s(literal -1 binary64) %352) %419))) %367))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 lambda2 (-.f64 (*.f64 lambda2 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 lambda2 %361)) %351)) %419))) %367))
(approx %25 %434)
(approx %25 (+.f64 %434 (*.f64 #s(literal 1/2 binary64) (/.f64 %344 %434))))
(approx %25 (+.f64 %434 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 lambda2 %442) %434) (*.f64 #s(literal 1/2 binary64) %445)))))
(approx %25 (+.f64 %434 (*.f64 lambda2 (fma.f64 #s(literal 1/2 binary64) %445 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 %30 (*.f64 %31 (*.f64 %299 (*.f64 %297 %442)))) %440) %361)) %434) (*.f64 #s(literal -1/2 binary64) (/.f64 %442 %434))))))))
(approx %16 (*.f64 lambda2 (-.f64 %467 #s(literal 1 binary64))))
(approx %17 (*.f64 lambda2 (-.f64 (*.f64 #s(literal 1/2 binary64) %467) #s(literal 1/2 binary64))))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 lambda2 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %467)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 lambda2 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %467)))))
(approx %18 %486)
(approx %19 (*.f64 %30 (*.f64 %31 %486)))
(approx %20 (*.f64 %30 %492))
(approx %21 %495)
(approx %22 %497)
(approx %24 %499)
(approx %25 %501)
(approx %26 %503)
(approx %27 (*.f64 #s(literal 2 binary64) %503))
(approx %28 (*.f64 #s(literal 2 binary64) (*.f64 R %503)))
(approx phi1 phi1)
(approx %7 %511)
(approx %7 %38)
(approx %8 %514)
(approx %8 (fma.f64 #s(literal -1/2 binary64) phi2 %516))
(approx %9 %519)
(approx %9 (+.f64 %519 (*.f64 #s(literal 1/2 binary64) %522)))
(approx %9 (+.f64 %519 (*.f64 phi1 (fma.f64 #s(literal -1/8 binary64) (*.f64 phi1 %519) (*.f64 #s(literal 1/2 binary64) %521)))))
(approx %9 (+.f64 %519 (*.f64 phi1 (fma.f64 #s(literal 1/2 binary64) %521 (*.f64 phi1 (fma.f64 #s(literal -1/8 binary64) %519 (*.f64 #s(literal -1/48 binary64) %522)))))))
(approx %10 %539)
(approx %10 (fma.f64 phi1 %541 %539))
(approx %10 (fma.f64 phi1 (fma.f64 phi1 %546 %541) %539))
(approx %10 (fma.f64 phi1 (fma.f64 phi1 %554 %541) %539))
(approx %11 #s(literal 1 binary64))
(approx %11 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %559)))
(approx %11 (+.f64 #s(literal 1 binary64) (*.f64 %559 (-.f64 (*.f64 #s(literal 1/24 binary64) %559) #s(literal 1/2 binary64)))))
(approx %11 (+.f64 #s(literal 1 binary64) (*.f64 %559 (-.f64 (*.f64 %559 (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal -1/720 binary64) %559))) #s(literal 1/2 binary64)))))
(approx %13 %31)
(approx %13 (+.f64 %31 (*.f64 #s(literal -1/2 binary64) %577)))
(approx %13 (+.f64 %31 (*.f64 %559 (fma.f64 #s(literal -1/2 binary64) %31 (*.f64 #s(literal 1/24 binary64) %577)))))
(approx %13 (+.f64 %31 (*.f64 %559 (fma.f64 #s(literal -1/2 binary64) %31 (*.f64 %559 (fma.f64 #s(literal -1/720 binary64) %577 (*.f64 #s(literal 1/24 binary64) %31)))))))
(approx %19 %249)
(approx %19 (fma.f64 #s(literal -1/2 binary64) %594 %249))
(approx %19 (fma.f64 %31 %35 (*.f64 %559 (fma.f64 #s(literal -1/2 binary64) %249 (*.f64 #s(literal 1/24 binary64) %594)))))
(approx %19 (fma.f64 %31 %35 (*.f64 %559 (fma.f64 #s(literal -1/2 binary64) %249 (*.f64 %559 (fma.f64 #s(literal -1/720 binary64) %594 (*.f64 #s(literal 1/24 binary64) %249)))))))
(approx %20 %37)
(approx %20 (fma.f64 #s(literal -1/2 binary64) %610 %37))
(approx %20 (fma.f64 %31 %36 (*.f64 %559 (fma.f64 #s(literal -1/2 binary64) %37 (*.f64 #s(literal 1/24 binary64) %610)))))
(approx %20 (fma.f64 %31 %36 (*.f64 %559 (fma.f64 #s(literal -1/2 binary64) %37 (*.f64 %559 (fma.f64 #s(literal -1/720 binary64) %610 (*.f64 #s(literal 1/24 binary64) %37)))))))
(approx %21 %625)
(approx %21 (fma.f64 phi1 %541 %625))
(approx %21 (fma.f64 phi1 (fma.f64 phi1 %629 %541) %625))
(approx %21 (fma.f64 phi1 (fma.f64 phi1 (fma.f64 #s(literal -1/2 binary64) %37 %554) %541) %625))
(approx %22 %637)
(approx %22 (+.f64 %637 (*.f64 #s(literal 1/2 binary64) (/.f64 %639 %637))))
(approx %22 (+.f64 %637 (*.f64 phi1 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 phi1 %648) %637) (*.f64 #s(literal 1/2 binary64) %651)))))
(approx %22 (+.f64 %637 (*.f64 phi1 (fma.f64 #s(literal 1/2 binary64) %651 (*.f64 phi1 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 phi1 (-.f64 %551 (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 %521 (*.f64 %519 %648)) %645)))) %637) (*.f64 #s(literal 1/2 binary64) (/.f64 %648 %637))))))))
(approx %24 %672)
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %639)) %625))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 phi1 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 phi1 %629)) %541))) %625))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 phi1 (-.f64 (*.f64 phi1 (-.f64 (*.f64 #s(literal -1 binary64) %552) %629)) %541))) %625))
(approx %25 %693)
(approx %25 (+.f64 %693 (*.f64 #s(literal -1/2 binary64) (/.f64 %639 %693))))
(approx %25 (+.f64 %693 (*.f64 phi1 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 phi1 %703) %693) (*.f64 #s(literal -1/2 binary64) %706)))))
(approx %25 (+.f64 %693 (*.f64 phi1 (fma.f64 #s(literal -1/2 binary64) %706 (*.f64 phi1 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 phi1 (fma.f64 #s(literal -1/8 binary64) %541 (fma.f64 #s(literal -1/24 binary64) %541 (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 %521 (*.f64 %519 %703)) %699))))) %693) (*.f64 #s(literal -1/2 binary64) (/.f64 %703 %693))))))))
(approx %7 (*.f64 phi1 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %728))))
(approx %8 %516)
(approx %8 (*.f64 phi1 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %728))))
(approx %9 %40)
(approx %10 %41)
(approx %11 %30)
(approx %13 (*.f64 %30 %31))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 phi1 (-.f64 %728 #s(literal 1 binary64)))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 phi1 (-.f64 (*.f64 #s(literal 1/2 binary64) %728) #s(literal 1/2 binary64)))))
(approx %9 %755)
(approx %10 %757)
(approx %21 %759)
(approx %22 %761)
(approx %24 %763)
(approx %25 %765)
(approx %26 %767)
(approx %27 (*.f64 #s(literal 2 binary64) %767))
(approx %28 (*.f64 #s(literal 2 binary64) (*.f64 R %767)))
(approx phi2 phi2)
(approx %7 %775)
(approx %9 %777)
(approx %9 (+.f64 %777 (*.f64 #s(literal -1/2 binary64) %780)))
(approx %9 (+.f64 %777 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) %779 (*.f64 #s(literal -1/8 binary64) (*.f64 phi2 %777))))))
(approx %9 (+.f64 %777 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) %779 (*.f64 phi2 (fma.f64 #s(literal -1/8 binary64) %777 (*.f64 #s(literal 1/48 binary64) %780)))))))
(approx %10 %797)
(approx %10 (fma.f64 #s(literal -1 binary64) %800 %797))
(approx %10 (fma.f64 phi2 (fma.f64 #s(literal -1 binary64) %799 (*.f64 phi2 %805)) %797))
(approx %10 (fma.f64 phi2 (fma.f64 #s(literal -1 binary64) %799 (*.f64 phi2 %814)) %797))
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %819)))
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 %819 (-.f64 (*.f64 #s(literal 1/24 binary64) %819) #s(literal 1/2 binary64)))))
(approx %12 (+.f64 #s(literal 1 binary64) (*.f64 %819 (-.f64 (*.f64 %819 (+.f64 #s(literal 1/24 binary64) (*.f64 #s(literal -1/720 binary64) %819))) #s(literal 1/2 binary64)))))
(approx %13 (+.f64 %30 (*.f64 #s(literal -1/2 binary64) %835)))
(approx %13 (+.f64 %30 (*.f64 %819 (fma.f64 #s(literal -1/2 binary64) %30 (*.f64 #s(literal 1/24 binary64) %835)))))
(approx %13 (+.f64 %30 (*.f64 %819 (fma.f64 #s(literal -1/2 binary64) %30 (*.f64 %819 (fma.f64 #s(literal -1/720 binary64) %835 (*.f64 #s(literal 1/24 binary64) %30)))))))
(approx %19 %851)
(approx %19 (fma.f64 #s(literal -1/2 binary64) %853 %851))
(approx %19 (fma.f64 %30 %35 (*.f64 %819 (fma.f64 #s(literal -1/2 binary64) %851 (*.f64 #s(literal 1/24 binary64) %853)))))
(approx %19 (fma.f64 %30 %35 (*.f64 %819 (fma.f64 #s(literal -1/2 binary64) %851 (*.f64 %819 (fma.f64 #s(literal -1/720 binary64) %853 (*.f64 #s(literal 1/24 binary64) %851)))))))
(approx %20 %868)
(approx %20 (fma.f64 #s(literal -1/2 binary64) %870 %868))
(approx %20 (fma.f64 %30 %36 (*.f64 %819 (fma.f64 #s(literal -1/2 binary64) %868 (*.f64 #s(literal 1/24 binary64) %870)))))
(approx %20 (fma.f64 %30 %36 (*.f64 %819 (fma.f64 #s(literal -1/2 binary64) %868 (*.f64 %819 (fma.f64 #s(literal -1/720 binary64) %870 (*.f64 #s(literal 1/24 binary64) %868)))))))
(approx %21 %885)
(approx %21 (fma.f64 #s(literal -1 binary64) %800 %885))
(approx %21 (fma.f64 phi2 (fma.f64 #s(literal -1 binary64) %799 %890) %885))
(approx %21 (fma.f64 phi2 (fma.f64 #s(literal -1 binary64) %799 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) %868 %814))) %885))
(approx %22 %899)
(approx %22 (+.f64 %899 (*.f64 #s(literal -1/2 binary64) (/.f64 %800 %899))))
(approx %22 (+.f64 %899 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) %905 (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 phi2 %910) %899))))))
(approx %22 (+.f64 %899 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) %905 (*.f64 phi2 (fma.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 phi2 (-.f64 %811 (*.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 %779 (*.f64 %777 %910)) %907)))) %899) (*.f64 #s(literal 1/2 binary64) (/.f64 %910 %899))))))))
(approx %24 %933)
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) %800) %885))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 phi2 (-.f64 (*.f64 #s(literal -1 binary64) %890) %939))) %885))
(approx %24 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 phi2 (-.f64 (*.f64 phi2 (-.f64 (*.f64 #s(literal -1 binary64) %812) %889)) %939))) %885))
(approx %25 %953)
(approx %25 (+.f64 %953 (*.f64 #s(literal 1/2 binary64) (/.f64 %800 %953))))
(approx %25 (+.f64 %953 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 phi2 %963) %953) (*.f64 #s(literal 1/2 binary64) %966)))))
(approx %25 (+.f64 %953 (*.f64 phi2 (fma.f64 #s(literal 1/2 binary64) %966 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 %779 (*.f64 %777 %963)) %959) %811)) %953) (*.f64 #s(literal -1/2 binary64) (/.f64 %963 %953))))))))
(approx %7 (*.f64 phi2 (-.f64 %986 #s(literal 1 binary64))))
(approx %8 (*.f64 phi2 (-.f64 (*.f64 #s(literal 1/2 binary64) %986) #s(literal 1/2 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 phi2 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %986)))))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 phi2 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %986)))))
(approx %9 %1005)
(approx %10 %1007)
(approx %21 %1009)
(approx %22 %1011)
(approx %24 %1013)
(approx %25 %1015)
(approx %26 %1017)
(approx %27 (*.f64 #s(literal 2 binary64) %1017))
(approx %28 (*.f64 #s(literal 2 binary64) (*.f64 R %1017)))
Calls
15 calls:
TimeVariablePoint
114.0ms
phi1
0
46.0ms
lambda1
0
25.0ms
phi2
0
25.0ms
lambda2
0
23.0ms
phi2
inf
rewrite6.6s (4.4%)
Counts
26 → 1 168
Calls
Call 1
Inputs
%4 = (-.f64 phi1 phi2)
%5 = (/.f64 %4 #s(literal 2 binary64))
%6 = (sin.f64 %5)
%7 = (pow.f64 %6 #s(literal 2 binary64))
%8 = (cos.f64 phi1)
%9 = (cos.f64 phi2)
%10 = (*.f64 %8 %9)
%13 = (-.f64 lambda1 lambda2)
%14 = (/.f64 %13 #s(literal 2 binary64))
%15 = (sin.f64 %14)
%16 = (*.f64 %10 %15)
%17 = (*.f64 %16 %15)
%18 = (+.f64 %7 %17)
%19 = (sqrt.f64 %18)
%21 = (-.f64 #s(literal 1 binary64) %18)
%22 = (sqrt.f64 %21)
%23 = (atan2.f64 %19 %22)
%24 = (*.f64 #s(literal 2 binary64) %23)
R
#s(literal 2 binary64)
phi1
phi2
%4
%5
%6
%7
%8
%9
%10
lambda1
lambda2
%13
%14
%15
%16
%17
%18
%19
#s(literal 1 binary64)
%21
%22
%23
%24
(*.f64 R %24)
Outputs
%5 = (*.f64 #s(literal 0 binary64) R)
%7 = (*.f64 R #s(literal 0 binary64))
%10 = (+.f64 R R)
%14 = (*.f64 #s(literal 1/2 binary64) R)
%16 = (*.f64 R #s(literal 1/2 binary64))
%58 = (-.f64 #s(literal 0 binary64) #s(literal -1 binary64))
%60 = (+.f64 #s(literal 1/2 binary64) #s(literal 1 binary64))
%62 = (-.f64 #s(literal 1/2 binary64) #s(literal -1 binary64))
%66 = (*.f64 #s(literal 0 binary64) #s(literal 2 binary64))
%72 = (fabs.f64 #s(literal 1/2 binary64))
%73 = (fabs.f64 #s(literal 2 binary64))
%97 = (/.f64 #s(literal 4 binary64) #s(literal 1 binary64))
%99 = (/.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
%101 = (/.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
%105 = (/.f64 #s(literal 1/2 binary64) #s(literal -2 binary64))
%109 = (/.f64 #s(literal 2 binary64) #s(literal 1 binary64))
%116 = (/.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
%120 = (neg.f64 phi1)
%123 = (neg.f64 phi2)
%125 = (-.f64 phi1 phi2)
%128 = (-.f64 phi2 phi1)
%134 = (*.f64 %128 #s(literal 1 binary64))
%136 = (*.f64 %128 #s(literal -1/2 binary64))
%139 = (*.f64 %125 #s(literal 2 binary64))
%141 = (*.f64 #s(literal 2 binary64) %125)
%143 = (*.f64 #s(literal 2 binary64) %128)
%150 = (*.f64 %128 #s(literal 1/2 binary64))
%153 = (*.f64 %125 #s(literal 0 binary64))
%155 = (*.f64 #s(literal 0 binary64) %125)
%157 = (+.f64 %125 %125)
%159 = (+.f64 %128 %128)
%161 = (*.f64 phi2 #s(literal -1/2 binary64))
%162 = (*.f64 %161 #s(literal 2 binary64))
%164 = (*.f64 #s(literal 2 binary64) %161)
%166 = (*.f64 phi1 #s(literal 1 binary64))
%171 = (*.f64 #s(literal 4 binary64) %136)
%173 = (-.f64 %166 phi2)
%174 = (*.f64 #s(literal 2 binary64) %173)
%190 = (*.f64 #s(literal 1/2 binary64) phi1)
%203 = (*.f64 #s(literal -2 binary64) phi2)
%204 = (fma.f64 phi1 #s(literal 2 binary64) %203)
%205 = (*.f64 #s(literal 2 binary64) %204)
%207 = (fma.f64 phi2 #s(literal -1/2 binary64) %136)
%211 = (fma.f64 %128 #s(literal -1/2 binary64) %190)
%215 = (*.f64 #s(literal 1/4 binary64) %125)
%229 = (*.f64 #s(literal 1/2 binary64) phi2)
%246 = (*.f64 %190 #s(literal 1/2 binary64))
%249 = (/.f64 %125 #s(literal 1/2 binary64))
%257 = (*.f64 phi1 #s(literal 2 binary64))
%269 = (*.f64 #s(literal -2 binary64) #s(literal 2 binary64))
%275 = (*.f64 #s(literal 2 binary64) #s(literal -2 binary64))
%277 = (*.f64 %128 #s(literal 2 binary64))
%282 = (*.f64 %173 #s(literal 2 binary64))
%305 = (*.f64 #s(literal 4 binary64) #s(literal 2 binary64))
%312 = (*.f64 #s(literal 4 binary64) #s(literal -2 binary64))
%318 = (*.f64 #s(literal 2 binary64) #s(literal 4 binary64))
%320 = (*.f64 %204 #s(literal 2 binary64))
%325 = (*.f64 #s(literal -2 binary64) #s(literal 4 binary64))
%342 = (*.f64 #s(literal 4 binary64) #s(literal 4 binary64))
%364 = (*.f64 #s(literal 1/2 binary64) %123)
%398 = (*.f64 #s(literal 2 binary64) %123)
%412 = (neg.f64 #s(literal 4 binary64))
%415 = (*.f64 #s(literal -2 binary64) %123)
%437 = (sin.f64 %136)
%438 = (sin.f64 %150)
%440 = (cos.f64 %229)
%441 = (sin.f64 %190)
%442 = (cos.f64 %190)
%444 = (*.f64 %442 (sin.f64 %161))
%447 = (*.f64 %441 %440)
%449 = (sin.f64 %229)
%450 = (*.f64 %442 %449)
%452 = (neg.f64 %450)
%455 = (*.f64 (neg.f64 %442) %449)
%461 = (cos.f64 %128)
%462 = (*.f64 #s(literal -1/2 binary64) %461)
%464 = (*.f64 %461 #s(literal 1/2 binary64))
%465 = (-.f64 #s(literal 1/2 binary64) %464)
%466 = (neg.f64 %464)
%469 = (-.f64 %464 #s(literal 1/2 binary64))
%492 = (fabs.f64 %437)
%496 = (cos.f64 #s(literal 0 binary64))
%497 = (-.f64 %496 %461)
%511 = (fabs.f64 %492)
%513 = (neg.f64 %492)
%515 = (pow.f64 %437 #s(literal 1 binary64))
%524 = (cos.f64 phi1)
%525 = (fabs.f64 phi1)
%528 = (neg.f64 %525)
%532 = (PI.f64 )
%533 = (fma.f64 %532 #s(literal 1/2 binary64) phi1)
%535 = (fma.f64 %532 #s(literal 1/2 binary64) %525)
%537 = (fma.f64 %532 #s(literal 1/2 binary64) %120)
%539 = (*.f64 %532 #s(literal 1/2 binary64))
%542 = (sin.f64 phi1)
%543 = (*.f64 %542 #s(literal 0 binary64))
%546 = (*.f64 %524 #s(literal 1 binary64))
%551 = (sin.f64 %525)
%553 = (sin.f64 %120)
%561 = (neg.f64 %524)
%565 = (sin.f64 (*.f64 %532 #s(literal -1/2 binary64)))
%568 = (cos.f64 phi2)
%569 = (fabs.f64 phi2)
%572 = (neg.f64 %569)
%576 = (fma.f64 %532 #s(literal 1/2 binary64) phi2)
%578 = (fma.f64 %532 #s(literal 1/2 binary64) %569)
%580 = (fma.f64 %532 #s(literal 1/2 binary64) %123)
%584 = (sin.f64 phi2)
%585 = (*.f64 %584 #s(literal 0 binary64))
%588 = (*.f64 %568 #s(literal 1 binary64))
%593 = (sin.f64 %569)
%595 = (sin.f64 %123)
%603 = (neg.f64 %568)
%608 = (*.f64 %524 %568)
%610 = (neg.f64 %608)
%613 = (+.f64 phi1 phi2)
%614 = (cos.f64 %613)
%615 = (+.f64 %614 %461)
%619 = (neg.f64 %461)
%620 = (-.f64 %619 %614)
%623 = (+.f64 %525 phi2)
%624 = (cos.f64 %623)
%626 = (cos.f64 (-.f64 %525 phi2))
%627 = (+.f64 %624 %626)
%630 = (cos.f64 (-.f64 %569 phi1))
%631 = (+.f64 %569 phi1)
%632 = (cos.f64 %631)
%633 = (+.f64 %630 %632)
%635 = (*.f64 %614 #s(literal 1/2 binary64))
%643 = (*.f64 %615 #s(literal 1 binary64))
%655 = (cos.f64 (+.f64 %525 %569))
%657 = (cos.f64 (-.f64 %525 %569))
%658 = (+.f64 %655 %657)
%663 = (/.f64 %615 #s(literal 1/2 binary64))
%681 = (sin.f64 (fma.f64 %532 #s(literal 1/2 binary64) %128))
%682 = (+.f64 %681 %614)
%700 = (/.f64 %624 #s(literal 2 binary64))
%701 = (/.f64 %626 #s(literal 2 binary64))
%704 = (/.f64 %630 #s(literal 2 binary64))
%705 = (/.f64 %632 #s(literal 2 binary64))
%742 = (/.f64 %681 #s(literal 2 binary64))
%770 = (sin.f64 (-.f64 %533 %569))
%772 = (sin.f64 (fma.f64 %532 #s(literal 1/2 binary64) %631))
%773 = (+.f64 %770 %772)
%776 = (sin.f64 (-.f64 %576 %525))
%778 = (sin.f64 (fma.f64 %532 #s(literal 1/2 binary64) %623))
%779 = (+.f64 %776 %778)
%903 = (*.f64 (cos.f64 (*.f64 (-.f64 %613 %128) #s(literal 1/2 binary64))) (cos.f64 (*.f64 (-.f64 %613 %125) #s(literal 1/2 binary64))))
%907 = (cos.f64 (-.f64 %533 %576))
%910 = (cos.f64 (fma.f64 %532 #s(literal 1/2 binary64) (fma.f64 %532 #s(literal 1/2 binary64) %613)))
%911 = (-.f64 %907 %910)
%1025 = (*.f64 %524 %588)
%1027 = (*.f64 %568 %546)
%1029 = (*.f64 %546 %568)
%1031 = (*.f64 %588 %524)
%1043 = (neg.f64 lambda2)
%1045 = (-.f64 lambda1 lambda2)
%1048 = (-.f64 lambda2 lambda1)
%1050 = (neg.f64 lambda1)
%1052 = (neg.f64 %1050)
%1058 = (*.f64 %1048 #s(literal 1 binary64))
%1060 = (*.f64 %1048 #s(literal -1/2 binary64))
%1063 = (*.f64 %1045 #s(literal 2 binary64))
%1065 = (*.f64 #s(literal 2 binary64) %1045)
%1067 = (*.f64 #s(literal 2 binary64) %1048)
%1074 = (*.f64 %1048 #s(literal 1/2 binary64))
%1077 = (*.f64 %1045 #s(literal 0 binary64))
%1079 = (*.f64 #s(literal 0 binary64) %1045)
%1081 = (+.f64 %1045 %1045)
%1083 = (+.f64 %1048 %1048)
%1085 = (*.f64 lambda2 #s(literal -1/2 binary64))
%1086 = (*.f64 %1085 #s(literal 2 binary64))
%1088 = (*.f64 #s(literal 2 binary64) %1085)
%1090 = (*.f64 lambda1 #s(literal 1 binary64))
%1095 = (*.f64 #s(literal 4 binary64) %1060)
%1097 = (-.f64 %1090 lambda2)
%1098 = (*.f64 #s(literal 2 binary64) %1097)
%1114 = (*.f64 #s(literal 1/2 binary64) lambda1)
%1127 = (*.f64 #s(literal -2 binary64) lambda2)
%1128 = (fma.f64 lambda1 #s(literal 2 binary64) %1127)
%1129 = (*.f64 #s(literal 2 binary64) %1128)
%1131 = (fma.f64 lambda2 #s(literal -1/2 binary64) %1060)
%1135 = (fma.f64 %1048 #s(literal -1/2 binary64) %1114)
%1139 = (*.f64 #s(literal 1/4 binary64) %1045)
%1153 = (*.f64 #s(literal 1/2 binary64) lambda2)
%1170 = (*.f64 %1114 #s(literal 1/2 binary64))
%1173 = (/.f64 %1045 #s(literal 1/2 binary64))
%1181 = (*.f64 lambda1 #s(literal 2 binary64))
%1199 = (*.f64 %1048 #s(literal 2 binary64))
%1204 = (*.f64 %1097 #s(literal 2 binary64))
%1239 = (*.f64 %1128 #s(literal 2 binary64))
%1281 = (*.f64 #s(literal 1/2 binary64) %1043)
%1315 = (*.f64 #s(literal 2 binary64) %1043)
%1331 = (*.f64 #s(literal -2 binary64) %1043)
%1353 = (sin.f64 %1060)
%1354 = (sin.f64 %1074)
%1356 = (cos.f64 %1153)
%1357 = (sin.f64 %1114)
%1358 = (cos.f64 %1114)
%1360 = (*.f64 %1358 (sin.f64 %1085))
%1363 = (*.f64 %1357 %1356)
%1365 = (sin.f64 %1153)
%1366 = (*.f64 %1358 %1365)
%1368 = (neg.f64 %1366)
%1371 = (*.f64 (neg.f64 %1358) %1365)
%1377 = (*.f64 %1353 %568)
%1379 = (*.f64 %1353 %524)
%1381 = (*.f64 %608 %1353)
%1385 = (*.f64 %1354 %568)
%1389 = (*.f64 %1354 %608)
%1398 = (*.f64 %1353 %615)
%1401 = (/.f64 %1353 #s(literal 2 binary64))
%1449 = (-.f64 (cos.f64 (fma.f64 %532 #s(literal 1/2 binary64) (-.f64 phi2 %1060))) (cos.f64 (fma.f64 %1048 #s(literal -1/2 binary64) %576)))
%1458 = (*.f64 %1353 %464)
%1460 = (*.f64 %464 %1353)
%1466 = (*.f64 %546 %1377)
%1468 = (*.f64 %588 %1379)
%1470 = (*.f64 %1377 %546)
%1472 = (*.f64 %1379 %588)
%1482 = (cos.f64 %1048)
%1483 = (*.f64 %1482 #s(literal 1/2 binary64))
%1484 = (-.f64 #s(literal 1/2 binary64) %1483)
%1485 = (*.f64 %1484 %568)
%1487 = (*.f64 %1484 %524)
%1490 = (*.f64 %1484 %608)
%1493 = (-.f64 %1483 #s(literal 1/2 binary64))
%1495 = (*.f64 %1493 %608)
%1498 = (*.f64 #s(literal 1/2 binary64) %1484)
%1500 = (*.f64 %1484 %615)
%1503 = (/.f64 %1484 #s(literal 2 binary64))
%1523 = (/.f64 %1484 #s(literal 4 binary64))
%1545 = (-.f64 %496 %1482)
%1560 = (*.f64 %1353 %1379)
%1570 = (fabs.f64 %1353)
%1571 = (*.f64 %1570 %608)
%1573 = (*.f64 %608 %1570)
%1597 = (*.f64 %464 %1484)
%1599 = (*.f64 %1484 %464)
%1614 = (fma.f64 %1484 %608 %465)
%1629 = (fma.f64 %1493 %608 %469)
%1638 = (sqrt.f64 %1614)
%1675 = (*.f64 %1614 %1614)
%1678 = (neg.f64 %1638)
%1690 = (sqrt.f64 %1638)
%1726 = (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))
%1734 = (*.f64 #s(literal -1 binary64) #s(literal 2 binary64))
%1760 = (-.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
%1763 = (-.f64 #s(literal -1/2 binary64) #s(literal -1/2 binary64))
%1802 = (+.f64 #s(literal 1/2 binary64) %464)
%1807 = (fma.f64 %1493 %608 %1802)
%1826 = (fma.f64 %1493 %608 #s(literal 1 binary64))
%1841 = (+.f64 #s(literal 0 binary64) %1629)
%1843 = (-.f64 #s(literal 0 binary64) %1614)
%1845 = (+.f64 #s(literal 1/2 binary64) %1629)
%1847 = (-.f64 #s(literal 1/2 binary64) %1614)
%1904 = (sqrt.f64 %1807)
%1914 = (cos.f64 %136)
%1935 = (fabs.f64 %1914)
%1937 = (neg.f64 %1914)
%1948 = (*.f64 %1807 %1807)
%1951 = (neg.f64 %1904)
%1965 = (sqrt.f64 %1904)
%1967 = (atan2.f64 %1638 %1904)
%1970 = (*.f64 #s(literal 1/2 binary64) %1967)
%1972 = (*.f64 #s(literal 2 binary64) %1967)
%1975 = (*.f64 %1967 #s(literal 1/2 binary64))
%1978 = (*.f64 %1967 #s(literal 0 binary64))
%1980 = (*.f64 #s(literal 0 binary64) %1967)
%2009 = (neg.f64 %1967)
%2011 = (neg.f64 %2009)
%2031 = (*.f64 %1967 %10)
%2034 = (*.f64 %1967 R)
%2043 = (*.f64 #s(literal 1 binary64) %2034)
%2060 = (*.f64 %2034 #s(literal 1 binary64))
R
(*.f64 R #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) R)
(+.f64 R %5)
(+.f64 R %7)
(*.f64 #s(literal 1/2 binary64) %10)
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) %14)
(*.f64 %16 #s(literal 2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(fma.f64 R #s(literal 1 binary64) %5)
(fma.f64 R #s(literal 1 binary64) %7)
(fma.f64 R #s(literal 1/2 binary64) %16)
(fma.f64 #s(literal 1 binary64) R %5)
(fma.f64 #s(literal 1 binary64) R %7)
(fma.f64 #s(literal 1/2 binary64) R %14)
(+.f64 %14 %14)
(+.f64 %16 %16)
(fma.f64 #s(literal 1/2 binary64) %10 %5)
(fma.f64 #s(literal 1/2 binary64) %10 %7)
(fma.f64 %10 #s(literal 1/2 binary64) %5)
(fma.f64 %10 #s(literal 1/2 binary64) %7)
(fma.f64 #s(literal 2 binary64) %14 %5)
(fma.f64 #s(literal 2 binary64) %14 %7)
(fma.f64 %16 #s(literal 2 binary64) %5)
(fma.f64 %16 #s(literal 2 binary64) %7)
#s(literal 2 binary64)
(neg.f64 #s(literal -2 binary64))
(+.f64 #s(literal 2 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 4 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 2 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) %58)
(+.f64 #s(literal 1/2 binary64) %60)
(+.f64 #s(literal 1/2 binary64) %62)
(+.f64 (+.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(+.f64 #s(literal 2 binary64) %66)
(/.f64 (+.f64 #s(literal 4 binary64) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) #s(literal 4 binary64)) #s(literal -2 binary64))
(fma.f64 %72 %73 #s(literal 1 binary64))
(fma.f64 %73 %72 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %58)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %60)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %62)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %58)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %60)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %62)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %58)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %60)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %62)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %58)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %60)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %62)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %58)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %60)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %62)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %58)
(fma.f64 #s(literal 2 binary64) #s(literal 1 binary64) %66)
(fma.f64 #s(literal 1 binary64) #s(literal 2 binary64) %66)
(fma.f64 #s(literal 1/2 binary64) #s(literal 4 binary64) %66)
(fma.f64 #s(literal 4 binary64) #s(literal 1/2 binary64) %66)
(fma.f64 #s(literal 1/4 binary64) %97 #s(literal 1 binary64))
(fma.f64 %99 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 %101 #s(literal 1/4 binary64) #s(literal 1 binary64))
(fma.f64 %72 %73 %58)
(fma.f64 %73 %72 %58)
(fma.f64 #s(literal -2 binary64) %105 %60)
(fma.f64 #s(literal -2 binary64) %105 %62)
(fma.f64 #s(literal 1/4 binary64) %97 %58)
(fma.f64 #s(literal 1/4 binary64) %109 %60)
(fma.f64 #s(literal 1/4 binary64) %109 %62)
(fma.f64 %99 #s(literal 1 binary64) %58)
(fma.f64 %99 #s(literal 1/2 binary64) %60)
(fma.f64 %99 #s(literal 1/2 binary64) %62)
(fma.f64 %101 #s(literal 1/4 binary64) %58)
(fma.f64 %101 %116 %60)
(fma.f64 %101 %116 %62)
phi1
(neg.f64 %120)
phi2
(neg.f64 %123)
%125
(+.f64 phi1 %123)
(+.f64 %123 phi1)
(neg.f64 %128)
(-.f64 %123 %120)
(*.f64 %125 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %125)
(*.f64 %128 #s(literal -1 binary64))
(neg.f64 %134)
(*.f64 #s(literal 2 binary64) %136)
(*.f64 %136 #s(literal 2 binary64))
(*.f64 %139 #s(literal 1/2 binary64))
(*.f64 %141 #s(literal 1/2 binary64))
(*.f64 %143 #s(literal -1/2 binary64))
(/.f64 %139 #s(literal 2 binary64))
(/.f64 %141 #s(literal 2 binary64))
(/.f64 %143 #s(literal -2 binary64))
(neg.f64 (*.f64 #s(literal -2 binary64) %136))
(neg.f64 (*.f64 #s(literal 2 binary64) %150))
(+.f64 %125 %153)
(+.f64 %125 %155)
(*.f64 #s(literal 1/2 binary64) %157)
(*.f64 #s(literal -1/2 binary64) %159)
(fma.f64 phi1 #s(literal 1 binary64) %162)
(fma.f64 phi1 #s(literal 1 binary64) %164)
(+.f64 %166 %162)
(+.f64 %166 %164)
(/.f64 %157 #s(literal 2 binary64))
(/.f64 %159 #s(literal -2 binary64))
(*.f64 #s(literal 1/2 binary64) %171)
(/.f64 %174 #s(literal 2 binary64))
(fma.f64 %125 #s(literal 1 binary64) %153)
(fma.f64 %125 #s(literal 1 binary64) %155)
(fma.f64 %125 #s(literal 1/2 binary64) %136)
(fma.f64 #s(literal 1 binary64) %125 %153)
(fma.f64 #s(literal 1 binary64) %125 %155)
(fma.f64 #s(literal 1/2 binary64) %125 %136)
(fma.f64 #s(literal -1/2 binary64) %128 %136)
(fma.f64 %128 #s(literal -1 binary64) %153)
(fma.f64 %128 #s(literal -1 binary64) %155)
(fma.f64 %128 #s(literal -1/2 binary64) %136)
(+.f64 %136 %136)
(-.f64 %136 %150)
(-.f64 %136 (*.f64 #s(literal -1/2 binary64) %125))
(fma.f64 #s(literal 2 binary64) %190 %162)
(fma.f64 #s(literal 2 binary64) %190 %164)
(fma.f64 %190 #s(literal 2 binary64) %162)
(fma.f64 %190 #s(literal 2 binary64) %164)
(fma.f64 %166 #s(literal 1 binary64) %162)
(fma.f64 %166 #s(literal 1 binary64) %164)
(neg.f64 (fma.f64 #s(literal 1/2 binary64) %128 %150))
(/.f64 (+.f64 %125 %173) #s(literal 2 binary64))
(/.f64 (+.f64 %173 %125) #s(literal 2 binary64))
(/.f64 %205 #s(literal 4 binary64))
(fma.f64 phi1 #s(literal 1/2 binary64) %207)
(fma.f64 #s(literal 1/2 binary64) phi1 %207)
(+.f64 %190 %207)
(+.f64 %211 %161)
(fma.f64 #s(literal 2 binary64) %136 %153)
(fma.f64 #s(literal 2 binary64) %136 %155)
(fma.f64 #s(literal 2 binary64) %215 %136)
(fma.f64 %136 #s(literal 2 binary64) %153)
(fma.f64 %136 #s(literal 2 binary64) %155)
(fma.f64 %136 #s(literal 1 binary64) %136)
(fma.f64 #s(literal 1 binary64) %136 %136)
(fma.f64 %139 #s(literal 1/2 binary64) %153)
(fma.f64 %139 #s(literal 1/2 binary64) %155)
(fma.f64 %139 #s(literal 1/4 binary64) %136)
(fma.f64 %173 #s(literal 1/2 binary64) %136)
(fma.f64 %141 #s(literal 1/2 binary64) %153)
(fma.f64 %141 #s(literal 1/2 binary64) %155)
(fma.f64 %143 #s(literal -1/2 binary64) %153)
(fma.f64 %143 #s(literal -1/2 binary64) %155)
(-.f64 %211 %229)
(fma.f64 %120 #s(literal -1/2 binary64) %207)
(-.f64 %190 (-.f64 %229 %136))
(/.f64 (fma.f64 %136 #s(literal -2 binary64) %128) #s(literal -2 binary64))
(/.f64 (fma.f64 %128 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %128)) #s(literal 4 binary64))
(/.f64 (fma.f64 %128 #s(literal -2 binary64) (*.f64 %128 #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %125 #s(literal 2 binary64) %141) #s(literal 4 binary64))
(/.f64 (fma.f64 %125 #s(literal 2 binary64) %139) #s(literal 4 binary64))
(fma.f64 %246 #s(literal 4 binary64) %162)
(fma.f64 %246 #s(literal 4 binary64) %164)
(fma.f64 %249 #s(literal 1/4 binary64) %136)
(/.f64 (+.f64 %173 %173) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %157 %153)
(fma.f64 #s(literal 1/2 binary64) %157 %155)
(fma.f64 #s(literal -1/2 binary64) %159 %153)
(fma.f64 #s(literal -1/2 binary64) %159 %155)
(fma.f64 %257 #s(literal 1/4 binary64) %207)
(fma.f64 %166 #s(literal 1/2 binary64) %207)
(fma.f64 %204 #s(literal 1/4 binary64) %136)
(fma.f64 #s(literal 1/2 binary64) %171 %153)
(fma.f64 #s(literal 1/2 binary64) %171 %155)
(/.f64 (fma.f64 %173 #s(literal 2 binary64) %141) #s(literal 4 binary64))
(/.f64 (fma.f64 %173 #s(literal 2 binary64) %139) #s(literal 4 binary64))
(/.f64 (fma.f64 %128 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %125)) %269)
(/.f64 (fma.f64 %128 #s(literal 2 binary64) (*.f64 %125 #s(literal -2 binary64))) %269)
(/.f64 (fma.f64 %125 #s(literal -2 binary64) %143) %275)
(/.f64 (fma.f64 %125 #s(literal -2 binary64) %277) %275)
(/.f64 (fma.f64 %125 #s(literal 2 binary64) %174) #s(literal 4 binary64))
(/.f64 (fma.f64 %125 #s(literal 2 binary64) %282) #s(literal 4 binary64))
(/.f64 (fma.f64 %136 #s(literal 4 binary64) %204) #s(literal 4 binary64))
(/.f64 (+.f64 %204 %204) #s(literal 4 binary64))
(/.f64 (fma.f64 %173 #s(literal -2 binary64) %143) %275)
(/.f64 (fma.f64 %173 #s(literal -2 binary64) %277) %275)
(/.f64 (fma.f64 %128 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %173)) %269)
(/.f64 (fma.f64 %128 #s(literal 2 binary64) (*.f64 %173 #s(literal -2 binary64))) %269)
(/.f64 (fma.f64 %173 #s(literal 2 binary64) %174) #s(literal 4 binary64))
(/.f64 (fma.f64 %173 #s(literal 2 binary64) %282) #s(literal 4 binary64))
(/.f64 (fma.f64 %204 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %125)) %305)
(/.f64 (fma.f64 %204 #s(literal 2 binary64) (*.f64 %125 #s(literal 4 binary64))) %305)
(/.f64 (fma.f64 %204 #s(literal -2 binary64) (*.f64 #s(literal 4 binary64) %128)) %312)
(/.f64 (fma.f64 %204 #s(literal -2 binary64) (*.f64 %128 #s(literal 4 binary64))) %312)
(/.f64 (fma.f64 %125 #s(literal 4 binary64) %205) %318)
(/.f64 (fma.f64 %125 #s(literal 4 binary64) %320) %318)
(/.f64 (fma.f64 %128 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %204)) %325)
(/.f64 (fma.f64 %128 #s(literal 4 binary64) (*.f64 %204 #s(literal -2 binary64))) %325)
(/.f64 (fma.f64 %204 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %173)) %305)
(/.f64 (fma.f64 %204 #s(literal 2 binary64) (*.f64 %173 #s(literal 4 binary64))) %305)
(/.f64 (fma.f64 %173 #s(literal 4 binary64) %205) %318)
(/.f64 (fma.f64 %173 #s(literal 4 binary64) %320) %318)
(/.f64 (fma.f64 %204 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %204)) %342)
(/.f64 (fma.f64 %204 #s(literal 4 binary64) (*.f64 %204 #s(literal 4 binary64))) %342)
(*.f64 %125 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %125)
(*.f64 #s(literal -1/2 binary64) %128)
%136
(/.f64 %125 #s(literal 2 binary64))
(/.f64 %128 #s(literal -2 binary64))
(neg.f64 %150)
(fma.f64 phi1 #s(literal 1/2 binary64) %161)
(fma.f64 phi2 #s(literal -1/2 binary64) %190)
(fma.f64 #s(literal 1/2 binary64) phi1 %161)
(+.f64 %190 %161)
(+.f64 %161 %190)
(*.f64 #s(literal 2 binary64) %215)
(*.f64 %136 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %136)
(*.f64 %139 #s(literal 1/4 binary64))
(*.f64 %173 #s(literal 1/2 binary64))
(-.f64 %190 %229)
(fma.f64 phi1 #s(literal 1/2 binary64) %364)
(fma.f64 #s(literal 1/2 binary64) phi1 %364)
(fma.f64 #s(literal 1/2 binary64) %123 %190)
(fma.f64 %120 #s(literal -1/2 binary64) %161)
(fma.f64 %123 #s(literal 1/2 binary64) %190)
(/.f64 %136 #s(literal 1 binary64))
(/.f64 %134 #s(literal -2 binary64))
(/.f64 (*.f64 %125 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 %173 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %125) #s(literal -2 binary64))
(*.f64 %249 #s(literal 1/4 binary64))
(-.f64 %161 (/.f64 phi1 #s(literal -2 binary64)))
(+.f64 %190 %364)
(+.f64 %364 %190)
(fma.f64 %120 #s(literal -1/2 binary64) %364)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %128))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %125))
(/.f64 %249 #s(literal 4 binary64))
(/.f64 (neg.f64 %173) #s(literal -2 binary64))
(neg.f64 (/.f64 %173 #s(literal -2 binary64)))
(fma.f64 %257 #s(literal 1/4 binary64) %161)
(fma.f64 %166 #s(literal 1/2 binary64) %161)
(*.f64 %204 #s(literal 1/4 binary64))
(/.f64 %204 #s(literal 4 binary64))
(fma.f64 %257 #s(literal 1/4 binary64) %364)
(fma.f64 %166 #s(literal 1/2 binary64) %364)
(/.f64 (fma.f64 phi1 #s(literal 2 binary64) %398) #s(literal 4 binary64))
(/.f64 (fma.f64 phi1 #s(literal 2 binary64) (*.f64 %123 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %173))
(/.f64 (/.f64 %173 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %190 #s(literal -2 binary64)) %123) #s(literal -2 binary64))
(/.f64 (neg.f64 %204) %412)
(/.f64 (-.f64 (*.f64 %120 #s(literal -2 binary64)) %415) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %204))
(/.f64 (/.f64 %204 #s(literal 2 binary64)) #s(literal 2 binary64))
(-.f64 (/.f64 %257 #s(literal 4 binary64)) (/.f64 (+.f64 phi2 phi2) #s(literal 4 binary64)))
(/.f64 (-.f64 (*.f64 %120 #s(literal 2 binary64)) %203) %269)
(/.f64 (-.f64 (*.f64 phi1 #s(literal -2 binary64)) %398) %275)
(/.f64 (fma.f64 %120 #s(literal 2 binary64) %415) %269)
(/.f64 (fma.f64 %120 #s(literal 2 binary64) (*.f64 %123 #s(literal -2 binary64))) %269)
%437
(neg.f64 %438)
(fma.f64 %440 %441 %444)
(fma.f64 %441 %440 %444)
(+.f64 %447 %444)
(-.f64 %447 %450)
(fma.f64 %440 %441 %452)
(fma.f64 %440 %441 %455)
(fma.f64 %441 %440 %452)
(fma.f64 %441 %440 %455)
(+.f64 %447 %452)
(+.f64 %447 %455)
(+.f64 #s(literal 1/2 binary64) %462)
%465
(+.f64 #s(literal 1/2 binary64) %466)
(fabs.f64 %465)
(neg.f64 %469)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %462)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %462)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %462)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %462)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %462)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %466)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %466)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %466)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %466)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %466)
(/.f64 %465 #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %105 %462)
(fma.f64 #s(literal 1/4 binary64) %109 %462)
(fma.f64 %99 #s(literal 1/2 binary64) %462)
(fma.f64 #s(literal -2 binary64) %105 %466)
(fma.f64 #s(literal 1/4 binary64) %109 %466)
(fma.f64 %99 #s(literal 1/2 binary64) %466)
(fma.f64 %101 %116 %462)
(fma.f64 %101 %116 %466)
(pow.f64 %437 #s(literal 2 binary64))
(pow.f64 %438 #s(literal 2 binary64))
(pow.f64 %492 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %437 #s(literal -2 binary64)))
(*.f64 %497 #s(literal 1/2 binary64))
(/.f64 %497 #s(literal 2 binary64))
(/.f64 (neg.f64 %497) #s(literal -2 binary64))
(-.f64 (/.f64 %496 #s(literal 2 binary64)) %464)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %497))
(/.f64 (/.f64 %497 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %437 %437)
(*.f64 %438 %438)
(*.f64 %492 %492)
(*.f64 %511 %511)
(*.f64 %513 %513)
(*.f64 %437 %515)
(*.f64 %515 %437)
(+.f64 (-.f64 (pow.f64 %447 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (*.f64 %447 %450))) (pow.f64 %450 #s(literal 2 binary64)))
%524
(cos.f64 %525)
(cos.f64 %120)
(cos.f64 %528)
(cos.f64 (neg.f64 %528))
(sin.f64 %533)
(sin.f64 %535)
(sin.f64 %537)
(sin.f64 (+.f64 %528 %539))
(fma.f64 %524 #s(literal 1 binary64) %543)
(fma.f64 #s(literal 1 binary64) %524 %543)
(fma.f64 #s(literal 0 binary64) %542 %546)
(fma.f64 %542 #s(literal 0 binary64) %546)
(+.f64 %543 %546)
(+.f64 %546 %543)
(fma.f64 %551 #s(literal 0 binary64) %546)
(fma.f64 %553 #s(literal 0 binary64) %546)
(+.f64 (*.f64 %551 #s(literal 0 binary64)) %546)
(+.f64 (*.f64 %553 #s(literal 0 binary64)) %546)
(-.f64 %543 (neg.f64 %546))
(-.f64 %543 (*.f64 %561 #s(literal 1 binary64)))
(-.f64 %543 (*.f64 %524 %565))
%568
(cos.f64 %569)
(cos.f64 %123)
(cos.f64 %572)
(cos.f64 (neg.f64 %572))
(sin.f64 %576)
(sin.f64 %578)
(sin.f64 %580)
(sin.f64 (+.f64 %572 %539))
(fma.f64 %568 #s(literal 1 binary64) %585)
(fma.f64 #s(literal 1 binary64) %568 %585)
(fma.f64 #s(literal 0 binary64) %584 %588)
(fma.f64 %584 #s(literal 0 binary64) %588)
(+.f64 %585 %588)
(+.f64 %588 %585)
(fma.f64 %593 #s(literal 0 binary64) %588)
(fma.f64 %595 #s(literal 0 binary64) %588)
(+.f64 (*.f64 %593 #s(literal 0 binary64)) %588)
(+.f64 (*.f64 %595 #s(literal 0 binary64)) %588)
(-.f64 %585 (neg.f64 %588))
(-.f64 %585 (*.f64 %603 #s(literal 1 binary64)))
(-.f64 %585 (*.f64 %568 %565))
%608
(*.f64 %568 %524)
(neg.f64 %610)
(/.f64 %608 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %615)
(*.f64 %615 #s(literal 1/2 binary64))
(/.f64 %615 #s(literal 2 binary64))
(*.f64 %620 #s(literal -1/2 binary64))
(/.f64 %620 #s(literal -2 binary64))
(*.f64 %627 #s(literal 1/2 binary64))
(*.f64 %633 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %461 %635)
(fma.f64 %461 #s(literal 1/2 binary64) %635)
(fma.f64 %614 #s(literal 1/2 binary64) %464)
(/.f64 %627 #s(literal 2 binary64))
(/.f64 %633 #s(literal 2 binary64))
(+.f64 %635 %464)
(+.f64 %464 %635)
(*.f64 %643 #s(literal 1/2 binary64))
(*.f64 (*.f64 %615 #s(literal 2 binary64)) #s(literal 1/4 binary64))
(/.f64 (neg.f64 %627) #s(literal -2 binary64))
(/.f64 (neg.f64 %633) #s(literal -2 binary64))
(/.f64 (*.f64 %615 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 %643 #s(literal 2 binary64))
(*.f64 %658 #s(literal 1/2 binary64))
(-.f64 %635 %466)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %615))
(/.f64 %663 #s(literal 4 binary64))
(/.f64 %658 #s(literal 2 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %528 phi2)) (cos.f64 (-.f64 %528 phi2))) #s(literal 2 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %572 phi1)) (cos.f64 (-.f64 %572 phi1))) #s(literal 2 binary64))
(-.f64 %635 (/.f64 %619 #s(literal 2 binary64)))
(*.f64 %682 #s(literal 1/2 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) %461) %635)
(fma.f64 #s(literal 1 binary64) %464 %635)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %620))
(/.f64 (neg.f64 %658) #s(literal -2 binary64))
(/.f64 %682 #s(literal 2 binary64))
(/.f64 (fma.f64 %614 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %461)) #s(literal 4 binary64))
(/.f64 (fma.f64 %614 #s(literal 2 binary64) (*.f64 %461 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %635 #s(literal 2 binary64) %461) #s(literal 2 binary64))
(+.f64 %700 %701)
(+.f64 %701 %700)
(+.f64 %704 %705)
(+.f64 %705 %704)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %627))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %633))
(/.f64 (/.f64 %627 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %633 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %528 %569)) (cos.f64 (-.f64 %528 %569))) #s(literal 2 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %528 %123)) (cos.f64 (-.f64 %528 %123))) #s(literal 2 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %572 %525)) (cos.f64 (-.f64 %572 %525))) #s(literal 2 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %572 %120)) (cos.f64 (-.f64 %572 %120))) #s(literal 2 binary64))
(/.f64 (neg.f64 %682) #s(literal -2 binary64))
(fma.f64 %614 #s(literal 1/2 binary64) %742)
(+.f64 (/.f64 %655 #s(literal 2 binary64)) (/.f64 %657 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %658))
(/.f64 (/.f64 %658 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %528 %572)) (cos.f64 (-.f64 %528 %572))) #s(literal 2 binary64))
(/.f64 (+.f64 (cos.f64 (+.f64 %572 %528)) (cos.f64 (-.f64 %572 %528))) #s(literal 2 binary64))
(+.f64 %635 %742)
(+.f64 %742 %635)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %682))
(/.f64 (/.f64 %682 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %773 #s(literal 1/2 binary64))
(*.f64 %779 #s(literal 1/2 binary64))
(/.f64 %773 #s(literal 2 binary64))
(/.f64 %779 #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %535 phi2)) (sin.f64 (+.f64 %535 phi2))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %537 phi2)) (sin.f64 (+.f64 %537 phi2))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %578 phi1)) (sin.f64 (+.f64 %578 phi1))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %580 phi1)) (sin.f64 (+.f64 %580 phi1))) #s(literal 2 binary64))
(/.f64 (neg.f64 %773) #s(literal -2 binary64))
(/.f64 (neg.f64 %779) #s(literal -2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %535 %569)) (sin.f64 (+.f64 %535 %569))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %535 %123)) (sin.f64 (+.f64 %535 %123))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %537 %569)) (sin.f64 (+.f64 %537 %569))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %537 %123)) (sin.f64 (+.f64 %537 %123))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %578 %525)) (sin.f64 (+.f64 %578 %525))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %578 %120)) (sin.f64 (+.f64 %578 %120))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %580 %525)) (sin.f64 (+.f64 %580 %525))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %580 %120)) (sin.f64 (+.f64 %580 %120))) #s(literal 2 binary64))
(+.f64 (/.f64 %770 #s(literal 2 binary64)) (/.f64 %772 #s(literal 2 binary64)))
(+.f64 (/.f64 %776 #s(literal 2 binary64)) (/.f64 %778 #s(literal 2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %773))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %779))
(/.f64 (/.f64 %773 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %779 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %535 %572)) (sin.f64 (+.f64 %535 %572))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %537 %572)) (sin.f64 (+.f64 %537 %572))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %578 %528)) (sin.f64 (+.f64 %578 %528))) #s(literal 2 binary64))
(/.f64 (+.f64 (sin.f64 (-.f64 %580 %528)) (sin.f64 (+.f64 %580 %528))) #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) (*.f64 %903 #s(literal 1/2 binary64)))
(*.f64 %911 #s(literal 1/2 binary64))
(*.f64 #s(literal 2 binary64) (/.f64 %903 #s(literal 2 binary64)))
(*.f64 #s(literal 1 binary64) (/.f64 %903 #s(literal 1 binary64)))
(/.f64 %911 #s(literal 2 binary64))
(/.f64 (neg.f64 %911) #s(literal -2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %535 %576)) (cos.f64 (+.f64 %535 %576))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %537 %576)) (cos.f64 (+.f64 %537 %576))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %578 %533)) (cos.f64 (+.f64 %578 %533))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %580 %533)) (cos.f64 (+.f64 %580 %533))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %533 %578)) (cos.f64 (+.f64 %533 %578))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %533 %580)) (cos.f64 (+.f64 %533 %580))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %576 %535)) (cos.f64 (+.f64 %576 %535))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %576 %537)) (cos.f64 (+.f64 %576 %537))) #s(literal 2 binary64))
(*.f64 %101 (/.f64 %903 #s(literal 4 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %911))
(/.f64 (/.f64 %911 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(-.f64 (/.f64 %907 #s(literal 2 binary64)) (/.f64 %910 #s(literal 2 binary64)))
(/.f64 (-.f64 (cos.f64 (-.f64 %535 %578)) (cos.f64 (+.f64 %535 %578))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %535 %580)) (cos.f64 (+.f64 %535 %580))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %537 %578)) (cos.f64 (+.f64 %537 %578))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %537 %580)) (cos.f64 (+.f64 %537 %580))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %578 %535)) (cos.f64 (+.f64 %578 %535))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %578 %537)) (cos.f64 (+.f64 %578 %537))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %580 %535)) (cos.f64 (+.f64 %580 %535))) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 %580 %537)) (cos.f64 (+.f64 %580 %537))) #s(literal 2 binary64))
(fma.f64 %524 %585 %1025)
(fma.f64 %568 %543 %1027)
(fma.f64 %543 %568 %1029)
(fma.f64 %585 %524 %1031)
(+.f64 (*.f64 %585 %524) %1031)
(+.f64 (*.f64 %543 %568) %1029)
(+.f64 (*.f64 %524 %585) %1025)
(+.f64 (*.f64 %568 %543) %1027)
lambda1
lambda2
(neg.f64 %1043)
%1045
(+.f64 lambda1 %1043)
(+.f64 %1043 lambda1)
(neg.f64 %1048)
(-.f64 %1043 %1050)
(+.f64 %1043 %1052)
(+.f64 %1052 %1043)
(*.f64 %1045 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %1045)
(*.f64 %1048 #s(literal -1 binary64))
(neg.f64 %1058)
(*.f64 #s(literal 2 binary64) %1060)
(*.f64 %1060 #s(literal 2 binary64))
(*.f64 %1063 #s(literal 1/2 binary64))
(*.f64 %1065 #s(literal 1/2 binary64))
(*.f64 %1067 #s(literal -1/2 binary64))
(/.f64 %1063 #s(literal 2 binary64))
(/.f64 %1065 #s(literal 2 binary64))
(/.f64 %1067 #s(literal -2 binary64))
(neg.f64 (*.f64 #s(literal -2 binary64) %1060))
(neg.f64 (*.f64 #s(literal 2 binary64) %1074))
(+.f64 %1045 %1077)
(+.f64 %1045 %1079)
(*.f64 #s(literal 1/2 binary64) %1081)
(*.f64 #s(literal -1/2 binary64) %1083)
(fma.f64 lambda1 #s(literal 1 binary64) %1086)
(fma.f64 lambda1 #s(literal 1 binary64) %1088)
(+.f64 %1090 %1086)
(+.f64 %1090 %1088)
(/.f64 %1081 #s(literal 2 binary64))
(/.f64 %1083 #s(literal -2 binary64))
(*.f64 #s(literal 1/2 binary64) %1095)
(/.f64 %1098 #s(literal 2 binary64))
(fma.f64 %1045 #s(literal 1 binary64) %1077)
(fma.f64 %1045 #s(literal 1 binary64) %1079)
(fma.f64 %1045 #s(literal 1/2 binary64) %1060)
(fma.f64 #s(literal 1 binary64) %1045 %1077)
(fma.f64 #s(literal 1 binary64) %1045 %1079)
(fma.f64 #s(literal 1/2 binary64) %1045 %1060)
(fma.f64 #s(literal -1/2 binary64) %1048 %1060)
(fma.f64 %1048 #s(literal -1 binary64) %1077)
(fma.f64 %1048 #s(literal -1 binary64) %1079)
(fma.f64 %1048 #s(literal -1/2 binary64) %1060)
(+.f64 %1060 %1060)
(-.f64 %1060 %1074)
(-.f64 %1060 (*.f64 #s(literal -1/2 binary64) %1045))
(fma.f64 #s(literal 2 binary64) %1114 %1086)
(fma.f64 #s(literal 2 binary64) %1114 %1088)
(fma.f64 %1114 #s(literal 2 binary64) %1086)
(fma.f64 %1114 #s(literal 2 binary64) %1088)
(fma.f64 %1090 #s(literal 1 binary64) %1086)
(fma.f64 %1090 #s(literal 1 binary64) %1088)
(neg.f64 (fma.f64 #s(literal 1/2 binary64) %1048 %1074))
(/.f64 (+.f64 %1045 %1097) #s(literal 2 binary64))
(/.f64 (+.f64 %1097 %1045) #s(literal 2 binary64))
(/.f64 %1129 #s(literal 4 binary64))
(fma.f64 lambda1 #s(literal 1/2 binary64) %1131)
(fma.f64 #s(literal 1/2 binary64) lambda1 %1131)
(+.f64 %1114 %1131)
(+.f64 %1135 %1085)
(fma.f64 #s(literal 2 binary64) %1060 %1077)
(fma.f64 #s(literal 2 binary64) %1060 %1079)
(fma.f64 #s(literal 2 binary64) %1139 %1060)
(fma.f64 %1060 #s(literal 2 binary64) %1077)
(fma.f64 %1060 #s(literal 2 binary64) %1079)
(fma.f64 %1060 #s(literal 1 binary64) %1060)
(fma.f64 #s(literal 1 binary64) %1060 %1060)
(fma.f64 %1063 #s(literal 1/2 binary64) %1077)
(fma.f64 %1063 #s(literal 1/2 binary64) %1079)
(fma.f64 %1063 #s(literal 1/4 binary64) %1060)
(fma.f64 %1097 #s(literal 1/2 binary64) %1060)
(fma.f64 %1065 #s(literal 1/2 binary64) %1077)
(fma.f64 %1065 #s(literal 1/2 binary64) %1079)
(fma.f64 %1067 #s(literal -1/2 binary64) %1077)
(fma.f64 %1067 #s(literal -1/2 binary64) %1079)
(-.f64 %1135 %1153)
(fma.f64 %1050 #s(literal -1/2 binary64) %1131)
(-.f64 %1114 (-.f64 %1153 %1060))
(/.f64 (fma.f64 %1060 #s(literal -2 binary64) %1048) #s(literal -2 binary64))
(/.f64 (fma.f64 %1048 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %1048)) #s(literal 4 binary64))
(/.f64 (fma.f64 %1048 #s(literal -2 binary64) (*.f64 %1048 #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %1045 #s(literal 2 binary64) %1065) #s(literal 4 binary64))
(/.f64 (fma.f64 %1045 #s(literal 2 binary64) %1063) #s(literal 4 binary64))
(fma.f64 %1170 #s(literal 4 binary64) %1086)
(fma.f64 %1170 #s(literal 4 binary64) %1088)
(fma.f64 %1173 #s(literal 1/4 binary64) %1060)
(/.f64 (+.f64 %1097 %1097) #s(literal 2 binary64))
(fma.f64 #s(literal 1/2 binary64) %1081 %1077)
(fma.f64 #s(literal 1/2 binary64) %1081 %1079)
(fma.f64 #s(literal -1/2 binary64) %1083 %1077)
(fma.f64 #s(literal -1/2 binary64) %1083 %1079)
(fma.f64 %1181 #s(literal 1/4 binary64) %1131)
(fma.f64 %1090 #s(literal 1/2 binary64) %1131)
(fma.f64 %1128 #s(literal 1/4 binary64) %1060)
(fma.f64 #s(literal 1/2 binary64) %1095 %1077)
(fma.f64 #s(literal 1/2 binary64) %1095 %1079)
(/.f64 (fma.f64 %1097 #s(literal 2 binary64) %1065) #s(literal 4 binary64))
(/.f64 (fma.f64 %1097 #s(literal 2 binary64) %1063) #s(literal 4 binary64))
(/.f64 (fma.f64 %1048 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %1045)) %269)
(/.f64 (fma.f64 %1048 #s(literal 2 binary64) (*.f64 %1045 #s(literal -2 binary64))) %269)
(/.f64 (fma.f64 %1045 #s(literal -2 binary64) %1067) %275)
(/.f64 (fma.f64 %1045 #s(literal -2 binary64) %1199) %275)
(/.f64 (fma.f64 %1045 #s(literal 2 binary64) %1098) #s(literal 4 binary64))
(/.f64 (fma.f64 %1045 #s(literal 2 binary64) %1204) #s(literal 4 binary64))
(/.f64 (fma.f64 %1060 #s(literal 4 binary64) %1128) #s(literal 4 binary64))
(/.f64 (+.f64 %1128 %1128) #s(literal 4 binary64))
(/.f64 (fma.f64 %1097 #s(literal -2 binary64) %1067) %275)
(/.f64 (fma.f64 %1097 #s(literal -2 binary64) %1199) %275)
(/.f64 (fma.f64 %1048 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %1097)) %269)
(/.f64 (fma.f64 %1048 #s(literal 2 binary64) (*.f64 %1097 #s(literal -2 binary64))) %269)
(/.f64 (fma.f64 %1097 #s(literal 2 binary64) %1098) #s(literal 4 binary64))
(/.f64 (fma.f64 %1097 #s(literal 2 binary64) %1204) #s(literal 4 binary64))
(/.f64 (fma.f64 %1128 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %1045)) %305)
(/.f64 (fma.f64 %1128 #s(literal 2 binary64) (*.f64 %1045 #s(literal 4 binary64))) %305)
(/.f64 (fma.f64 %1128 #s(literal -2 binary64) (*.f64 #s(literal 4 binary64) %1048)) %312)
(/.f64 (fma.f64 %1128 #s(literal -2 binary64) (*.f64 %1048 #s(literal 4 binary64))) %312)
(/.f64 (fma.f64 %1045 #s(literal 4 binary64) %1129) %318)
(/.f64 (fma.f64 %1045 #s(literal 4 binary64) %1239) %318)
(/.f64 (fma.f64 %1048 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %1128)) %325)
(/.f64 (fma.f64 %1048 #s(literal 4 binary64) (*.f64 %1128 #s(literal -2 binary64))) %325)
(/.f64 (fma.f64 %1128 #s(literal 2 binary64) (*.f64 #s(literal 4 binary64) %1097)) %305)
(/.f64 (fma.f64 %1128 #s(literal 2 binary64) (*.f64 %1097 #s(literal 4 binary64))) %305)
(/.f64 (fma.f64 %1097 #s(literal 4 binary64) %1129) %318)
(/.f64 (fma.f64 %1097 #s(literal 4 binary64) %1239) %318)
(/.f64 (fma.f64 %1128 #s(literal 4 binary64) (*.f64 #s(literal 4 binary64) %1128)) %342)
(/.f64 (fma.f64 %1128 #s(literal 4 binary64) (*.f64 %1128 #s(literal 4 binary64))) %342)
(*.f64 %1045 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %1045)
(*.f64 #s(literal -1/2 binary64) %1048)
%1060
(/.f64 %1045 #s(literal 2 binary64))
(/.f64 %1048 #s(literal -2 binary64))
(neg.f64 %1074)
(fma.f64 lambda1 #s(literal 1/2 binary64) %1085)
(fma.f64 lambda2 #s(literal -1/2 binary64) %1114)
(fma.f64 #s(literal 1/2 binary64) lambda1 %1085)
(+.f64 %1114 %1085)
(+.f64 %1085 %1114)
(*.f64 #s(literal 2 binary64) %1139)
(*.f64 %1060 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %1060)
(*.f64 %1063 #s(literal 1/4 binary64))
(*.f64 %1097 #s(literal 1/2 binary64))
(-.f64 %1114 %1153)
(fma.f64 lambda1 #s(literal 1/2 binary64) %1281)
(fma.f64 #s(literal 1/2 binary64) lambda1 %1281)
(fma.f64 #s(literal 1/2 binary64) %1043 %1114)
(fma.f64 %1050 #s(literal -1/2 binary64) %1085)
(fma.f64 %1043 #s(literal 1/2 binary64) %1114)
(/.f64 %1060 #s(literal 1 binary64))
(/.f64 %1058 #s(literal -2 binary64))
(/.f64 (*.f64 %1045 #s(literal -1 binary64)) #s(literal -2 binary64))
(/.f64 %1097 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %1045) #s(literal -2 binary64))
(*.f64 %1173 #s(literal 1/4 binary64))
(-.f64 %1085 (/.f64 lambda1 #s(literal -2 binary64)))
(+.f64 %1114 %1281)
(+.f64 %1281 %1114)
(fma.f64 %1050 #s(literal -1/2 binary64) %1281)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %1048))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1045))
(/.f64 %1173 #s(literal 4 binary64))
(/.f64 (neg.f64 %1097) #s(literal -2 binary64))
(neg.f64 (/.f64 %1097 #s(literal -2 binary64)))
(fma.f64 %1181 #s(literal 1/4 binary64) %1085)
(fma.f64 %1090 #s(literal 1/2 binary64) %1085)
(*.f64 %1128 #s(literal 1/4 binary64))
(/.f64 %1128 #s(literal 4 binary64))
(fma.f64 %1181 #s(literal 1/4 binary64) %1281)
(fma.f64 %1090 #s(literal 1/2 binary64) %1281)
(/.f64 (fma.f64 lambda1 #s(literal 2 binary64) %1315) #s(literal 4 binary64))
(/.f64 (fma.f64 lambda1 #s(literal 2 binary64) (*.f64 %1043 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1097))
(/.f64 (/.f64 %1097 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %1114 #s(literal -2 binary64)) %1043) #s(literal -2 binary64))
(/.f64 (neg.f64 %1128) %412)
(/.f64 (-.f64 (*.f64 %1050 #s(literal -2 binary64)) %1331) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %1128))
(/.f64 (/.f64 %1128 #s(literal 2 binary64)) #s(literal 2 binary64))
(-.f64 (/.f64 %1181 #s(literal 4 binary64)) (/.f64 (+.f64 lambda2 lambda2) #s(literal 4 binary64)))
(/.f64 (-.f64 (*.f64 %1050 #s(literal 2 binary64)) %1127) %269)
(/.f64 (-.f64 (*.f64 lambda1 #s(literal -2 binary64)) %1315) %275)
(/.f64 (fma.f64 %1050 #s(literal 2 binary64) %1331) %269)
(/.f64 (fma.f64 %1050 #s(literal 2 binary64) (*.f64 %1043 #s(literal -2 binary64))) %269)
%1353
(neg.f64 %1354)
(fma.f64 %1356 %1357 %1360)
(fma.f64 %1357 %1356 %1360)
(+.f64 %1363 %1360)
(-.f64 %1363 %1366)
(fma.f64 %1356 %1357 %1368)
(fma.f64 %1356 %1357 %1371)
(fma.f64 %1357 %1356 %1368)
(fma.f64 %1357 %1356 %1371)
(+.f64 %1363 %1368)
(+.f64 %1363 %1371)
(*.f64 %524 %1377)
(*.f64 %568 %1379)
%1381
(*.f64 %1353 %608)
(*.f64 %1377 %524)
(*.f64 %1379 %568)
(*.f64 %561 %1385)
(*.f64 %1354 %610)
(*.f64 %610 %1354)
(neg.f64 %1389)
(*.f64 (neg.f64 %561) %1377)
(/.f64 %1381 #s(literal 1 binary64))
(*.f64 %608 (/.f64 %1353 #s(literal 1 binary64)))
(*.f64 %615 (*.f64 #s(literal 1/2 binary64) %1353))
(*.f64 %1398 #s(literal 1/2 binary64))
(/.f64 %1398 #s(literal 2 binary64))
(*.f64 %615 %1401)
(/.f64 (neg.f64 %1398) #s(literal -2 binary64))
(/.f64 (*.f64 %620 %1353) #s(literal -2 binary64))
(/.f64 (*.f64 %1353 %620) #s(literal -2 binary64))
(/.f64 (*.f64 %627 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %633 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %627) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %633) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1398))
(/.f64 (/.f64 %1398 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %663 (/.f64 %1353 #s(literal 4 binary64)))
(*.f64 %1401 (/.f64 %615 #s(literal 1 binary64)))
(*.f64 (/.f64 %1353 #s(literal 1/2 binary64)) (/.f64 %615 #s(literal 4 binary64)))
(/.f64 (*.f64 %658 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %658) #s(literal 2 binary64))
(/.f64 (*.f64 %682 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %682) #s(literal 2 binary64))
(/.f64 (*.f64 %773 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %779 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %773) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %779) #s(literal 2 binary64))
(/.f64 (*.f64 %1449 %524) #s(literal 2 binary64))
(/.f64 (*.f64 %524 %1449) #s(literal 2 binary64))
(/.f64 (*.f64 %911 %1353) #s(literal 2 binary64))
(/.f64 (*.f64 %1353 %911) #s(literal 2 binary64))
(fma.f64 %1353 %635 %1458)
(fma.f64 %635 %1353 %1460)
(+.f64 (*.f64 %1353 %635) %1458)
(+.f64 (*.f64 %635 %1353) %1460)
(fma.f64 %543 %1377 %1466)
(fma.f64 %585 %1379 %1468)
(fma.f64 %1377 %543 %1470)
(fma.f64 %1379 %585 %1472)
(+.f64 (*.f64 %1377 %543) %1470)
(+.f64 (*.f64 %1379 %585) %1472)
(+.f64 (*.f64 %543 %1377) %1466)
(+.f64 (*.f64 %585 %1379) %1468)
(*.f64 %524 %1485)
(*.f64 %568 %1487)
(*.f64 %608 %1484)
%1490
(*.f64 %1487 %568)
(*.f64 %1485 %524)
(*.f64 %610 %1493)
(neg.f64 %1495)
(/.f64 %1490 #s(literal 1 binary64))
(*.f64 %615 %1498)
(*.f64 %1500 #s(literal 1/2 binary64))
(/.f64 %1500 #s(literal 2 binary64))
(*.f64 %615 %1503)
(/.f64 (*.f64 %1484 %620) #s(literal -2 binary64))
(/.f64 (*.f64 %620 %1484) #s(literal -2 binary64))
(/.f64 (neg.f64 %1500) #s(literal -2 binary64))
(/.f64 (*.f64 %1484 %627) #s(literal 2 binary64))
(/.f64 (*.f64 %1484 %633) #s(literal 2 binary64))
(/.f64 (*.f64 %627 %1484) #s(literal 2 binary64))
(/.f64 (*.f64 %633 %1484) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %1500))
(/.f64 (/.f64 %1500 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(*.f64 %663 %1523)
(/.f64 (*.f64 %1484 %658) #s(literal 2 binary64))
(/.f64 (*.f64 %658 %1484) #s(literal 2 binary64))
(/.f64 (*.f64 %1484 %682) #s(literal 2 binary64))
(/.f64 (*.f64 %682 %1484) #s(literal 2 binary64))
(/.f64 (*.f64 %1484 %773) #s(literal 2 binary64))
(/.f64 (*.f64 %1484 %779) #s(literal 2 binary64))
(/.f64 (*.f64 %773 %1484) #s(literal 2 binary64))
(/.f64 (*.f64 %779 %1484) #s(literal 2 binary64))
(/.f64 (*.f64 %1484 %911) #s(literal 2 binary64))
(/.f64 (*.f64 %911 %1484) #s(literal 2 binary64))
(/.f64 (*.f64 %1545 %608) #s(literal 2 binary64))
(/.f64 (*.f64 %608 %1545) #s(literal 2 binary64))
(/.f64 (*.f64 %615 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %615) #s(literal 4 binary64))
(*.f64 %1353 %1381)
(*.f64 %1381 %1353)
(*.f64 %1354 %1389)
(*.f64 %1389 %1354)
(*.f64 %1377 %1379)
(*.f64 %1379 %1377)
(*.f64 %1560 %568)
(/.f64 (*.f64 %627 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %633 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %627) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %633) #s(literal 4 binary64))
(*.f64 %1570 %1571)
(*.f64 %1573 %1570)
(/.f64 (*.f64 %658 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %658) #s(literal 4 binary64))
(/.f64 (*.f64 %620 %1545) %269)
(/.f64 (*.f64 %1545 %620) %275)
(/.f64 (*.f64 %682 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %682) #s(literal 4 binary64))
(/.f64 (*.f64 %1353 %1398) #s(literal 2 binary64))
(/.f64 (*.f64 %773 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %779 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %773) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %779) #s(literal 4 binary64))
(fma.f64 %635 %1484 %1597)
(fma.f64 %1484 %635 %1599)
(+.f64 (*.f64 %1484 %635) %1599)
(+.f64 (*.f64 %635 %1484) %1597)
(/.f64 (*.f64 %911 %1545) #s(literal 4 binary64))
(/.f64 (*.f64 %1545 %911) #s(literal 4 binary64))
(/.f64 (*.f64 %1379 %1449) #s(literal 2 binary64))
(fma.f64 %524 %1485 %465)
(fma.f64 %568 %1487 %465)
(fma.f64 %608 %1484 %465)
%1614
(fma.f64 %1487 %568 %465)
(fma.f64 %1485 %524 %465)
(-.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 1/2 binary64) %461 %1495))
(-.f64 (fma.f64 %1484 %608 #s(literal 1/2 binary64)) %464)
(+.f64 %465 %1490)
(+.f64 %1490 %465)
(-.f64 %465 %1495)
(-.f64 %1490 %469)
(-.f64 #s(literal 1/2 binary64) (-.f64 %464 %1490))
(fabs.f64 %1614)
(fma.f64 %610 %1493 %465)
(neg.f64 %1629)
(fma.f64 %615 %1498 %465)
(fma.f64 %1500 #s(literal 1/2 binary64) %465)
(fma.f64 %615 %1503 %465)
(/.f64 (fma.f64 %465 #s(literal 2 binary64) %1500) #s(literal 2 binary64))
(fma.f64 %663 %1523 %465)
(pow.f64 %1614 #s(literal 1 binary64))
(pow.f64 %1638 #s(literal 2 binary64))
(fma.f64 %497 #s(literal 1/2 binary64) %1490)
(/.f64 (fma.f64 %1490 #s(literal 2 binary64) %497) #s(literal 2 binary64))
(/.f64 (fma.f64 %1484 %615 %497) #s(literal 2 binary64))
(fma.f64 %437 %437 %1490)
(fma.f64 %1353 %1381 %465)
(fma.f64 %1381 %1353 %465)
(fma.f64 %438 %438 %1490)
(fma.f64 %1354 %1389 %465)
(fma.f64 %1389 %1354 %465)
(fma.f64 %1377 %1379 %465)
(fma.f64 %1379 %1377 %465)
(fma.f64 %1560 %568 %465)
(/.f64 (+.f64 %497 %1500) #s(literal 2 binary64))
(fma.f64 %492 %492 %1490)
(fma.f64 %1570 %1571 %465)
(fma.f64 %1573 %1570 %465)
(fma.f64 %511 %511 %1490)
(fma.f64 %513 %513 %1490)
(/.f64 (fma.f64 %1500 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %497)) #s(literal 4 binary64))
(/.f64 (fma.f64 %1500 #s(literal 2 binary64) (*.f64 %497 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %497 #s(literal 2 binary64) (*.f64 %1500 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %497 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %1500)) #s(literal 4 binary64))
(fma.f64 %437 %515 %1490)
(fma.f64 %515 %437 %1490)
(sqrt.f64 %1675)
(*.f64 %1638 %1638)
(fabs.f64 (*.f64 %1678 %1638))
(fabs.f64 (*.f64 %1638 %1678))
(*.f64 %1678 %1678)
(pow.f64 %1675 #s(literal 1/2 binary64))
%1638
(fabs.f64 %1638)
(fabs.f64 %1678)
(fabs.f64 (neg.f64 %1678))
(pow.f64 %1614 #s(literal 1/2 binary64))
(*.f64 %1690 %1690)
#s(literal 1 binary64)
(fabs.f64 #s(literal 1 binary64))
(fabs.f64 #s(literal -1 binary64))
(neg.f64 #s(literal -1 binary64))
(sqrt.f64 #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) #s(literal 1 binary64))
(+.f64 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(-.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(-.f64 #s(literal 1/2 binary64) #s(literal -1/2 binary64))
(*.f64 #s(literal 2 binary64) #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) #s(literal 2 binary64))
(*.f64 #s(literal -1 binary64) #s(literal -1 binary64))
(*.f64 #s(literal 4 binary64) #s(literal 1/4 binary64))
(*.f64 #s(literal 1/4 binary64) #s(literal 4 binary64))
(/.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) #s(literal 1 binary64))
(/.f64 #s(literal -2 binary64) #s(literal -2 binary64))
(/.f64 #s(literal 4 binary64) #s(literal 4 binary64))
(*.f64 %72 %73)
(*.f64 %73 %72)
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 0 binary64) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %1726)
(-.f64 #s(literal 1 binary64) %1726)
(-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -2 binary64) #s(literal 1/4 binary64)))
(-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1 binary64) #s(literal 1/2 binary64)))
(/.f64 %73 %73)
(/.f64 %1734 #s(literal -2 binary64))
(*.f64 #s(literal 1/4 binary64) %97)
(*.f64 %99 #s(literal 1 binary64))
(*.f64 %101 #s(literal 1/4 binary64))
(fma.f64 %72 %73 #s(literal 0 binary64))
(fma.f64 %73 %72 #s(literal 0 binary64))
(/.f64 %101 #s(literal 4 binary64))
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %1726)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 0 binary64) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) #s(literal 0 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %1726)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %1726)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %1726)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %1726)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %1726)
(fma.f64 #s(literal -2 binary64) %105 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/4 binary64) %97 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %109 #s(literal 1/2 binary64))
(fma.f64 %99 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %99 #s(literal 1/2 binary64) #s(literal 1/2 binary64))
(fma.f64 %101 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %72 %73 %1726)
(fma.f64 %73 %72 %1726)
(fma.f64 %125 %1760 #s(literal 1 binary64))
(fma.f64 %1045 %1760 #s(literal 1 binary64))
(fma.f64 %1048 %1763 #s(literal 1 binary64))
(fma.f64 %128 %1763 #s(literal 1 binary64))
(exp.f64 #s(literal 0 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) #s(literal 2 binary64) #s(literal -2 binary64)) %269)
(/.f64 (fma.f64 #s(literal 1 binary64) #s(literal -2 binary64) #s(literal -2 binary64)) %275)
(/.f64 (fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) #s(literal -1 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) #s(literal -2 binary64) (*.f64 #s(literal -1 binary64) #s(literal -2 binary64))) #s(literal 4 binary64))
(fma.f64 #s(literal 1/4 binary64) %97 %1726)
(fma.f64 %99 #s(literal 1 binary64) %1726)
(fma.f64 %101 #s(literal 1/4 binary64) %1726)
(fma.f64 %101 %116 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 %1045 %1045) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 %125 %125) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) (-.f64 %1048 %1048) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) (-.f64 %128 %128) #s(literal 1 binary64))
(cosh.f64 #s(literal 0 binary64))
(hypot.f64 #s(literal 1 binary64) #s(literal 0 binary64))
(hypot.f64 #s(literal -1 binary64) #s(literal 0 binary64))
(/.f64 (fma.f64 #s(literal -1 binary64) #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) #s(literal -2 binary64))) %269)
(/.f64 (fma.f64 #s(literal 1 binary64) #s(literal -2 binary64) %1734) %275)
(pow.f64 #s(literal 1 binary64) #s(literal 2 binary64))
(pow.f64 #s(literal 2 binary64) (+.f64 #s(literal -1 binary64) #s(literal 1 binary64)))
(sin.f64 %539)
(fma.f64 %524 (*.f64 %568 %1493) %1802)
(fma.f64 %568 (*.f64 %524 %1493) %1802)
(fma.f64 %608 %1493 %1802)
%1807
(+.f64 %1802 %1495)
(+.f64 %1495 %1802)
(-.f64 %1802 %1490)
(fabs.f64 %1807)
(fma.f64 %524 (neg.f64 %1485) %1802)
(fma.f64 %568 (neg.f64 %1487) %1802)
(fma.f64 %561 %1485 %1802)
(fma.f64 %603 %1487 %1802)
(fma.f64 %610 %1484 %1802)
(fma.f64 %1484 %610 %1802)
(neg.f64 (-.f64 %1490 %1802))
(-.f64 %1495 (neg.f64 %1802))
(+.f64 #s(literal 1 binary64) %1629)
(+.f64 %1807 #s(literal 0 binary64))
(+.f64 %469 %1826)
(+.f64 %1629 #s(literal 1 binary64))
(+.f64 %1826 %469)
(+.f64 (-.f64 %1826 #s(literal 1/2 binary64)) %464)
(-.f64 #s(literal 1 binary64) %1614)
(-.f64 %1629 #s(literal -1 binary64))
(-.f64 %1826 %465)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %1629)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %1629)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %1629)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %1629)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %1629)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %1629)
(+.f64 #s(literal 1 binary64) %1841)
(+.f64 #s(literal 1 binary64) %1843)
(+.f64 #s(literal 1/2 binary64) %1845)
(+.f64 #s(literal 1/2 binary64) %1847)
(+.f64 (+.f64 %1629 #s(literal 1/2 binary64)) #s(literal 1/2 binary64))
(fma.f64 %72 %73 %1629)
(fma.f64 %73 %72 %1629)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %1841)
(fma.f64 #s(literal 2 binary64) #s(literal 1/2 binary64) %1843)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %1845)
(fma.f64 #s(literal 2 binary64) #s(literal 1/4 binary64) %1847)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %1841)
(fma.f64 #s(literal 1 binary64) #s(literal 1 binary64) %1843)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1845)
(fma.f64 #s(literal 1 binary64) #s(literal 1/2 binary64) %1847)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %1841)
(fma.f64 #s(literal 1/2 binary64) #s(literal 2 binary64) %1843)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1845)
(fma.f64 #s(literal 1/2 binary64) #s(literal 1 binary64) %1847)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %1841)
(fma.f64 #s(literal -1 binary64) #s(literal -1 binary64) %1843)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1845)
(fma.f64 #s(literal -1 binary64) #s(literal -1/2 binary64) %1847)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %1841)
(fma.f64 #s(literal 4 binary64) #s(literal 1/4 binary64) %1843)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %1845)
(fma.f64 #s(literal 1/4 binary64) #s(literal 2 binary64) %1847)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %1841)
(fma.f64 #s(literal 1/4 binary64) #s(literal 4 binary64) %1843)
(fma.f64 %615 (*.f64 #s(literal 1/2 binary64) %1493) %1802)
(/.f64 (fma.f64 %1629 #s(literal 2 binary64) #s(literal 2 binary64)) #s(literal 2 binary64))
(fma.f64 #s(literal 1/4 binary64) %97 %1629)
(fma.f64 %99 #s(literal 1 binary64) %1629)
(fma.f64 %101 #s(literal 1/4 binary64) %1629)
(fma.f64 %72 %73 %1841)
(fma.f64 %72 %73 %1843)
(fma.f64 %73 %72 %1841)
(fma.f64 %73 %72 %1843)
(fma.f64 #s(literal -2 binary64) %105 %1845)
(fma.f64 #s(literal -2 binary64) %105 %1847)
(fma.f64 #s(literal 1/4 binary64) %97 %1841)
(fma.f64 #s(literal 1/4 binary64) %97 %1843)
(fma.f64 #s(literal 1/4 binary64) %109 %1845)
(fma.f64 #s(literal 1/4 binary64) %109 %1847)
(fma.f64 %99 #s(literal 1 binary64) %1841)
(fma.f64 %99 #s(literal 1 binary64) %1843)
(fma.f64 %99 #s(literal 1/2 binary64) %1845)
(fma.f64 %99 #s(literal 1/2 binary64) %1847)
(fma.f64 %101 #s(literal 1/4 binary64) %1841)
(fma.f64 %101 #s(literal 1/4 binary64) %1843)
(/.f64 (-.f64 (*.f64 %1802 #s(literal 2 binary64)) %1500) #s(literal 2 binary64))
(fma.f64 %101 %116 %1845)
(fma.f64 %101 %116 %1847)
(pow.f64 %1807 #s(literal 1 binary64))
(pow.f64 %1904 #s(literal 2 binary64))
(fma.f64 %524 (*.f64 %1377 %1354) %1802)
(fma.f64 %524 (*.f64 %1385 %1353) %1802)
(fma.f64 %568 (*.f64 %1379 %1354) %1802)
(fma.f64 %1353 %1389 %1802)
(fma.f64 %1381 %1354 %1802)
(fma.f64 %1914 %1914 %1495)
(fma.f64 %1354 %1381 %1802)
(fma.f64 %1389 %1353 %1802)
(fma.f64 %1377 (*.f64 %524 %1354) %1802)
(fma.f64 %1385 %1379 %1802)
(fma.f64 %1379 %1385 %1802)
(fma.f64 (*.f64 %1354 %524) %1377 %1802)
(fma.f64 (*.f64 %1354 %1377) %524 %1802)
(fma.f64 (*.f64 %1354 %1379) %568 %1802)
(/.f64 (-.f64 (*.f64 %1826 #s(literal 2 binary64)) %497) #s(literal 2 binary64))
(fma.f64 (*.f64 %1353 %561) %1377 %1802)
(fma.f64 (neg.f64 %1379) %1377 %1802)
(fma.f64 %1935 %1935 %1495)
(fma.f64 %1937 %1937 %1495)
(fma.f64 %437 %438 %1826)
(fma.f64 %438 %437 %1826)
(fma.f64 (*.f64 %610 %1570) %1570 %1802)
(fma.f64 %492 %513 %1826)
(fma.f64 %513 %492 %1826)
(fma.f64 %515 %438 %1826)
(fma.f64 (neg.f64 %515) %437 %1826)
(sqrt.f64 %1948)
(*.f64 %1904 %1904)
(fabs.f64 (*.f64 %1951 %1904))
(fabs.f64 (*.f64 %1904 %1951))
(*.f64 %1951 %1951)
(fma.f64 %1904 %1904 #s(literal 0 binary64))
(fma.f64 %1951 %1951 #s(literal 0 binary64))
(pow.f64 %1948 #s(literal 1/2 binary64))
%1904
(fabs.f64 %1904)
(fabs.f64 %1951)
(fabs.f64 (neg.f64 %1951))
(pow.f64 %1807 #s(literal 1/2 binary64))
(*.f64 %1965 %1965)
%1967
(*.f64 #s(literal 1 binary64) %1967)
(*.f64 %1967 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %1970)
(*.f64 %1972 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %1972)
(*.f64 %1975 #s(literal 2 binary64))
(/.f64 %1972 #s(literal 2 binary64))
(+.f64 %1967 %1978)
(+.f64 %1967 %1980)
(fma.f64 #s(literal 1 binary64) %1967 %1978)
(fma.f64 #s(literal 1 binary64) %1967 %1980)
(fma.f64 %1967 #s(literal 1 binary64) %1978)
(fma.f64 %1967 #s(literal 1 binary64) %1980)
(fma.f64 %1967 #s(literal 1/2 binary64) %1975)
(fma.f64 #s(literal 1/2 binary64) %1967 %1970)
(+.f64 %1975 %1975)
(+.f64 %1970 %1970)
(fma.f64 #s(literal 2 binary64) %1970 %1978)
(fma.f64 #s(literal 2 binary64) %1970 %1980)
(fma.f64 %1972 #s(literal 1/2 binary64) %1978)
(fma.f64 %1972 #s(literal 1/2 binary64) %1980)
(fma.f64 #s(literal 1/2 binary64) %1972 %1978)
(fma.f64 #s(literal 1/2 binary64) %1972 %1980)
(fma.f64 %1975 #s(literal 2 binary64) %1978)
(fma.f64 %1975 #s(literal 2 binary64) %1980)
%1972
(*.f64 %1967 #s(literal 2 binary64))
(neg.f64 (*.f64 %1967 #s(literal -2 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %1967))
(*.f64 #s(literal 1 binary64) %1972)
(*.f64 %1972 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %1967))
(*.f64 %1975 #s(literal 4 binary64))
(+.f64 %1967 %1967)
(-.f64 %1967 %2009)
(+.f64 %1967 %2011)
(neg.f64 (-.f64 %2009 %1967))
(fma.f64 #s(literal 1 binary64) %1967 %1967)
(fma.f64 %1967 #s(literal 1 binary64) %1967)
(-.f64 %1967 (*.f64 #s(literal -1 binary64) %1967))
(-.f64 %1967 (*.f64 %2009 #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) %1967 %2011)
(fma.f64 %1967 #s(literal 1 binary64) %2011)
(fma.f64 #s(literal 2 binary64) %1970 %1967)
(fma.f64 %1972 #s(literal 1/2 binary64) %1967)
(fma.f64 #s(literal 1/2 binary64) %1972 %1967)
(fma.f64 %1975 #s(literal 2 binary64) %1967)
(fma.f64 #s(literal 2 binary64) %1970 %2011)
(fma.f64 %1972 #s(literal 1/2 binary64) %2011)
(fma.f64 #s(literal 1/2 binary64) %1972 %2011)
(fma.f64 %1975 #s(literal 2 binary64) %2011)
%2031
(*.f64 %10 %1967)
(*.f64 R %1972)
(*.f64 #s(literal 2 binary64) %2034)
(*.f64 %1972 R)
(*.f64 %2034 #s(literal 2 binary64))
(neg.f64 (*.f64 %2034 #s(literal -2 binary64)))
(neg.f64 (*.f64 #s(literal -2 binary64) %2034))
(*.f64 %2031 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %2043)
(*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %2034))
(*.f64 (*.f64 %2034 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(fma.f64 R %1967 %2034)
(fma.f64 %1967 R %2034)
(+.f64 %2034 %2034)
(-.f64 %2034 (*.f64 (neg.f64 R) %1967))
(-.f64 %2034 (neg.f64 %2034))
(-.f64 %2034 (*.f64 %2009 R))
(fma.f64 #s(literal 1 binary64) %2034 %2043)
(fma.f64 %2034 #s(literal 1 binary64) %2060)
(+.f64 %2060 %2060)
(+.f64 %2043 %2043)
reconstruct2.3s (1.5%)
Counts
1 388 → 296
Compiler
Compiled 1 388 to 2 822 computations (-103.3% saved)
eval623.0ms (0.4%)
Compiler
Compiled 288 to 2 996 computations (-940.3% saved)
prune285.0ms (0.2%)
Pruning
69 alts after pruning (69 fresh and 0 done)
PrunedKeptTotal
New21969288
Fresh000
Picked101
Done000
Total22069289
Accuracy
92.7%
Counts
289 → 69
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶55.5%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%162 = (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))
%166 = (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64))
(*.f64 (+.f64 R R) (atan2.f64 (sqrt.f64 (fma.f64 (-.f64 #s(literal 1/2 binary64) %162) %40 (-.f64 #s(literal 1/2 binary64) %166))) (sqrt.f64 (fma.f64 (-.f64 %162 #s(literal 1/2 binary64)) %40 (+.f64 #s(literal 1/2 binary64) %166)))))
▶55.4%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%762 = (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))) %40 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64))))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (*.f64 %762 %762) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 %40 %43) %43)))))))
▶56.5%
%165 = (cos.f64 (-.f64 phi2 phi1))
%755 = (fma.f64 (+.f64 (cos.f64 (+.f64 phi1 phi2)) %165) (*.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)))) (-.f64 #s(literal 1/2 binary64) (*.f64 %165 #s(literal 1/2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %755) (sqrt.f64 (-.f64 #s(literal 1 binary64) %755)))))
▶55.4%
%747 = (fma.f64 (cos.f64 phi2) (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))) (cos.f64 phi1)) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %747) (sqrt.f64 (-.f64 #s(literal 1 binary64) %747)))))
▶55.4%
%739 = (pow.f64 (sqrt.f64 (fma.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64))))) #s(literal 2 binary64))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %739) (sqrt.f64 (-.f64 #s(literal 1 binary64) %739)))))
▶55.4%
%731 = (-.f64 (fma.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) #s(literal 1/2 binary64)) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %731) (sqrt.f64 (-.f64 #s(literal 1 binary64) %731)))))
▶55.4%
%723 = (-.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 1/2 binary64) (cos.f64 (-.f64 phi2 phi1)) (*.f64 (-.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) (*.f64 (cos.f64 phi1) (cos.f64 phi2)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %723) (sqrt.f64 (-.f64 #s(literal 1 binary64) %723)))))
▶79.0%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%715 = (+.f64 (pow.f64 (fma.f64 (cos.f64 (*.f64 #s(literal 1/2 binary64) phi2)) (sin.f64 %65) (*.f64 (cos.f64 %65) (sin.f64 (*.f64 phi2 #s(literal -1/2 binary64))))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %715) (sqrt.f64 (-.f64 #s(literal 1 binary64) %715)))))
▶78.9%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%706 = (+.f64 (pow.f64 (+.f64 (*.f64 (sin.f64 %65) (cos.f64 (*.f64 #s(literal 1/2 binary64) phi2))) (*.f64 (cos.f64 %65) (sin.f64 (*.f64 phi2 #s(literal -1/2 binary64))))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %706) (sqrt.f64 (-.f64 #s(literal 1 binary64) %706)))))
▶44.1%
%694 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 (*.f64 (+.f64 (sin.f64 (fma.f64 (PI.f64 ) #s(literal 1/2 binary64) (-.f64 phi2 phi1))) (cos.f64 (+.f64 phi1 phi2))) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %694) (sqrt.f64 (-.f64 #s(literal 1 binary64) %694)))))
▶41.1%
%560 = (PI.f64 )
%673 = (fabs.f64 phi1)
%682 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 (*.f64 (+.f64 (sin.f64 (-.f64 (fma.f64 %560 #s(literal 1/2 binary64) phi2) %673)) (sin.f64 (fma.f64 %560 #s(literal 1/2 binary64) (+.f64 %673 phi2)))) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %682) (sqrt.f64 (-.f64 #s(literal 1 binary64) %682)))))
▶41.7%
%560 = (PI.f64 )
%657 = (fabs.f64 phi2)
%666 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 (*.f64 (+.f64 (sin.f64 (-.f64 (fma.f64 %560 #s(literal 1/2 binary64) phi1) %657)) (sin.f64 (fma.f64 %560 #s(literal 1/2 binary64) (+.f64 %657 phi1)))) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %666) (sqrt.f64 (-.f64 #s(literal 1 binary64) %666)))))
▶30.3%
%160 = (-.f64 lambda2 lambda1)
%560 = (PI.f64 )
%639 = (*.f64 %160 #s(literal -1/2 binary64))
%650 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 (*.f64 (*.f64 (sin.f64 %639) (cos.f64 phi1)) (-.f64 (cos.f64 (fma.f64 %560 #s(literal 1/2 binary64) (-.f64 phi2 %639))) (cos.f64 (fma.f64 %160 #s(literal -1/2 binary64) (fma.f64 %560 #s(literal 1/2 binary64) phi2))))) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %650) (sqrt.f64 (-.f64 #s(literal 1 binary64) %650)))))
▶60.2%
%632 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))) (+.f64 (cos.f64 (+.f64 phi1 phi2)) (cos.f64 (-.f64 phi2 phi1)))))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %632) (sqrt.f64 (-.f64 #s(literal 1 binary64) %632)))))
▶44.0%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%574 = (fma.f64 (PI.f64 ) #s(literal 1/2 binary64) (neg.f64 phi2))
%619 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (/.f64 (+.f64 (sin.f64 (-.f64 %574 phi1)) (sin.f64 (+.f64 %574 phi1))) #s(literal 2 binary64)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %619) (sqrt.f64 (-.f64 #s(literal 1 binary64) %619)))))
▶53.8%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%604 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (sin.f64 (fma.f64 (PI.f64 ) #s(literal 1/2 binary64) (neg.f64 phi1))) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %604) (sqrt.f64 (-.f64 #s(literal 1 binary64) %604)))))
▶52.7%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%591 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (sin.f64 (fma.f64 (PI.f64 ) #s(literal 1/2 binary64) phi1)) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %591) (sqrt.f64 (-.f64 #s(literal 1 binary64) %591)))))
▶50.7%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%579 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 (fma.f64 (PI.f64 ) #s(literal 1/2 binary64) (neg.f64 phi2)))) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %579) (sqrt.f64 (-.f64 #s(literal 1 binary64) %579)))))
▶51.0%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%566 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 (fma.f64 (PI.f64 ) #s(literal 1/2 binary64) phi2))) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %566) (sqrt.f64 (-.f64 #s(literal 1 binary64) %566)))))
▶75.0%
%52 = (*.f64 #s(literal 1/2 binary64) lambda1)
%550 = (fma.f64 (cos.f64 (*.f64 #s(literal 1/2 binary64) lambda2)) (sin.f64 %52) (*.f64 (cos.f64 %52) (sin.f64 (*.f64 lambda2 #s(literal -1/2 binary64)))))
%553 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %550) %550))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %553) (sqrt.f64 (-.f64 #s(literal 1 binary64) %553)))))
▶75.0%
%52 = (*.f64 #s(literal 1/2 binary64) lambda1)
%540 = (+.f64 (*.f64 (sin.f64 %52) (cos.f64 (*.f64 #s(literal 1/2 binary64) lambda2))) (*.f64 (cos.f64 %52) (sin.f64 (*.f64 lambda2 #s(literal -1/2 binary64)))))
%543 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %540) %540))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %543) (sqrt.f64 (-.f64 #s(literal 1 binary64) %543)))))
▶61.8%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%529 = (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) %40 (+.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64))))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 %40 %43) %43))) (*.f64 %529 %529))))
▶61.9%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 %40 %43) %43))) (sqrt.f64 (fma.f64 (-.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) %40 (+.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64))))))))
▶61.8%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%164 = (-.f64 phi2 phi1)
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 %40 %43) %43))) (sqrt.f64 (fma.f64 (sin.f64 (*.f64 %164 #s(literal -1/2 binary64))) (sin.f64 (*.f64 %164 #s(literal 1/2 binary64))) (fma.f64 (-.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) %40 #s(literal 1 binary64)))))))
▶61.8%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%509 = (cos.f64 (*.f64 (-.f64 phi2 phi1) #s(literal -1/2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 %40 %43) %43))) (sqrt.f64 (fma.f64 %509 %509 (*.f64 (-.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) %40))))))
▶61.8%
%40 = (*.f64 (cos.f64 phi1) (cos.f64 phi2))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 %40 %43) %43))) (sqrt.f64 (+.f64 (-.f64 (fma.f64 (-.f64 (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)) #s(literal 1/2 binary64)) %40 #s(literal 1 binary64)) #s(literal 1/2 binary64)) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64)))))))
▶41.6%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%66 = (sin.f64 %65)
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 (cos.f64 phi2)) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 phi2 (*.f64 (cos.f64 %65) %66))) (fma.f64 %21 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 %66 #s(literal 2 binary64)))))))))
▶42.4%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%29 = (-.f64 phi1 phi2)
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%52 = (*.f64 #s(literal 1/2 binary64) lambda1)
%53 = (sin.f64 %52)
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 lambda2 (*.f64 %21 (*.f64 %22 (*.f64 (cos.f64 %52) %53))))) (fma.f64 %21 (*.f64 %22 (pow.f64 %53 #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64)))))))))
▶45.5%
%16 = (sin (/ (- lambda1 lambda2) 2))
%22 = (cos.f64 phi2)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
%74 = (*.f64 #s(literal -1/2 binary64) phi2)
%75 = (sin.f64 %74)
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) %22) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (*.f64 phi1 (*.f64 (cos.f64 %74) %75)))) (fma.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 %75 #s(literal 2 binary64)))))))))
▶43.4%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%24 = (*.f64 #s(literal -1/2 binary64) lambda2)
%25 = (sin.f64 %24)
%29 = (-.f64 phi1 phi2)
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (*.f64 lambda1 (*.f64 %21 (*.f64 %22 (*.f64 (cos.f64 %24) %25)))))) (fma.f64 %21 (*.f64 %22 (pow.f64 %25 #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64)))))))))
▶50.9%
%16 = (sin (/ (- lambda1 lambda2) 2))
%22 = (cos.f64 phi2)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) %22) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 #s(literal 1 binary64) (fma.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal -1/2 binary64) phi2)) #s(literal 2 binary64)))))))))
▶48.3%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 (cos.f64 phi2)) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 #s(literal 1 binary64) (fma.f64 %21 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) phi1)) #s(literal 2 binary64)))))))))
▶47.3%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%29 = (-.f64 phi1 phi2)
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 #s(literal 1 binary64) (fma.f64 %21 (*.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) lambda1)) #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64)))))))))
▶48.9%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%29 = (-.f64 phi1 phi2)
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43))) (sqrt.f64 (approx (- 1 (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (-.f64 #s(literal 1 binary64) (fma.f64 %21 (*.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal -1/2 binary64) lambda2)) #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64)))))))))
▶57.6%
%429 = (sin.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) (-.f64 lambda2 lambda1))))
%432 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %429) %429))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %432) (sqrt.f64 (-.f64 #s(literal 1 binary64) %432)))))
▶45.7%
%417 = (sin.f64 (approx (/ (- lambda1 lambda2) 2) (*.f64 #s(literal -1/2 binary64) lambda2)))
%420 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %417) %417))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %420) (sqrt.f64 (-.f64 #s(literal 1 binary64) %420)))))
▶38.1%
%52 = (*.f64 #s(literal 1/2 binary64) lambda1)
%53 = (sin.f64 %52)
%406 = (approx (sin (/ (- lambda1 lambda2) 2)) (+.f64 %53 (*.f64 lambda2 (fma.f64 #s(literal -1/2 binary64) (cos.f64 %52) (*.f64 #s(literal -1/8 binary64) (*.f64 lambda2 %53))))))
%409 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %406) %406))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %409) (sqrt.f64 (-.f64 #s(literal 1 binary64) %409)))))
▶38.1%
%52 = (*.f64 #s(literal 1/2 binary64) lambda1)
%391 = (approx (sin (/ (- lambda1 lambda2) 2)) (+.f64 (sin.f64 %52) (*.f64 #s(literal -1/2 binary64) (*.f64 lambda2 (cos.f64 %52)))))
%394 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %391) %391))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %394) (sqrt.f64 (-.f64 #s(literal 1 binary64) %394)))))
▶40.1%
%24 = (*.f64 #s(literal -1/2 binary64) lambda2)
%25 = (sin.f64 %24)
%377 = (approx (sin (/ (- lambda1 lambda2) 2)) (+.f64 %25 (*.f64 lambda1 (fma.f64 #s(literal -1/8 binary64) (*.f64 lambda1 %25) (*.f64 #s(literal 1/2 binary64) (cos.f64 %24))))))
%380 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %377) %377))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %380) (sqrt.f64 (-.f64 #s(literal 1 binary64) %380)))))
▶40.0%
%24 = (*.f64 #s(literal -1/2 binary64) lambda2)
%362 = (approx (sin (/ (- lambda1 lambda2) 2)) (+.f64 (sin.f64 %24) (*.f64 #s(literal 1/2 binary64) (*.f64 lambda1 (cos.f64 %24)))))
%365 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %362) %362))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %365) (sqrt.f64 (-.f64 #s(literal 1 binary64) %365)))))
▶59.1%
%352 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %352) (sqrt.f64 (-.f64 #s(literal 1 binary64) %352)))))
▶44.3%
%344 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (approx (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (sin.f64 (*.f64 #s(literal 1/2 binary64) lambda1))))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %344) (sqrt.f64 (-.f64 #s(literal 1 binary64) %344)))))
▶44.8%
%333 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (approx (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (*.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (sin.f64 (*.f64 #s(literal -1/2 binary64) lambda2))))) (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %333) (sqrt.f64 (-.f64 #s(literal 1 binary64) %333)))))
▶52.9%
%16 = (sin (/ (- lambda1 lambda2) 2))
%322 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (approx (* (* (* (cos phi1) (cos phi2)) %16) %16) (*.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 lambda1 lambda2))) #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %322) (sqrt.f64 (-.f64 #s(literal 1 binary64) %322)))))
▶51.2%
%16 = (sin (/ (- lambda1 lambda2) 2))
%313 = (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (approx (* (* (* (cos phi1) (cos phi2)) %16) %16) (*.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 lambda1 lambda2))) #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %313) (sqrt.f64 (-.f64 #s(literal 1 binary64) %313)))))
▶57.7%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%304 = (+.f64 (pow.f64 (sin.f64 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) (-.f64 phi2 phi1)))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %304) (sqrt.f64 (-.f64 #s(literal 1 binary64) %304)))))
▶52.5%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%293 = (+.f64 (pow.f64 (sin.f64 (approx (/ (- phi1 phi2) 2) (*.f64 phi1 (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) (/.f64 phi2 phi1)))))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %293) (sqrt.f64 (-.f64 #s(literal 1 binary64) %293)))))
▶41.9%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%279 = (+.f64 (pow.f64 (sin.f64 (approx (/ (- phi1 phi2) 2) (*.f64 #s(literal 1/2 binary64) phi1))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %279) (sqrt.f64 (-.f64 #s(literal 1 binary64) %279)))))
▶46.4%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%269 = (+.f64 (pow.f64 (sin.f64 (approx (/ (- phi1 phi2) 2) (*.f64 #s(literal -1/2 binary64) phi2))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %269) (sqrt.f64 (-.f64 #s(literal 1 binary64) %269)))))
▶37.9%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%66 = (sin.f64 %65)
%259 = (+.f64 (pow.f64 (approx (sin (/ (- phi1 phi2) 2)) (+.f64 %66 (*.f64 phi2 (fma.f64 #s(literal -1/2 binary64) (cos.f64 %65) (*.f64 #s(literal -1/8 binary64) (*.f64 phi2 %66)))))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %259) (sqrt.f64 (-.f64 #s(literal 1 binary64) %259)))))
▶42.3%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%74 = (*.f64 #s(literal -1/2 binary64) phi2)
%75 = (sin.f64 %74)
%245 = (+.f64 (pow.f64 (approx (sin (/ (- phi1 phi2) 2)) (+.f64 %75 (*.f64 phi1 (fma.f64 #s(literal -1/8 binary64) (*.f64 phi1 %75) (*.f64 #s(literal 1/2 binary64) (cos.f64 %74)))))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %245) (sqrt.f64 (-.f64 #s(literal 1 binary64) %245)))))
▶42.0%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%74 = (*.f64 #s(literal -1/2 binary64) phi2)
%231 = (+.f64 (pow.f64 (approx (sin (/ (- phi1 phi2) 2)) (+.f64 (sin.f64 %74) (*.f64 #s(literal 1/2 binary64) (*.f64 phi1 (cos.f64 %74))))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %231) (sqrt.f64 (-.f64 #s(literal 1 binary64) %231)))))
▶61.8%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%219 = (+.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (sin.f64 (*.f64 (-.f64 phi2 phi1) #s(literal -1/2 binary64))) #s(literal -2 binary64))) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %219) (sqrt.f64 (-.f64 #s(literal 1 binary64) %219)))))
▶78.9%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%196 = (*.f64 #s(literal 1/2 binary64) phi2)
%198 = (*.f64 (sin.f64 %65) (cos.f64 %196))
%201 = (*.f64 (cos.f64 %65) (sin.f64 %196))
%207 = (+.f64 (+.f64 (-.f64 (pow.f64 %198 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (*.f64 %198 %201))) (pow.f64 %201 #s(literal 2 binary64))) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %207) (sqrt.f64 (-.f64 #s(literal 1 binary64) %207)))))
▶42.4%
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
%74 = (*.f64 #s(literal -1/2 binary64) phi2)
%75 = (sin.f64 %74)
%76 = (pow.f64 %75 #s(literal 2 binary64))
%122 = (cos.f64 %74)
%123 = (*.f64 %122 %75)
%189 = (+.f64 (approx (pow (sin (/ (- phi1 phi2) 2)) 2) (fma.f64 phi1 (fma.f64 phi1 (fma.f64 #s(literal -1/4 binary64) %76 (fma.f64 #s(literal 1/4 binary64) (pow.f64 %122 #s(literal 2 binary64)) (*.f64 phi1 (fma.f64 #s(literal -1/8 binary64) %123 (*.f64 #s(literal -1/24 binary64) %123))))) %123) %76)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) %43) %43))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %189) (sqrt.f64 (-.f64 #s(literal 1 binary64) %189)))))
▶56.1%
%169 = (fabs.f64 (fma.f64 (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 lambda2 lambda1)) #s(literal 1/2 binary64))) (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (-.f64 #s(literal 1/2 binary64) (*.f64 (cos.f64 (-.f64 phi2 phi1)) #s(literal 1/2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %169) (sqrt.f64 (-.f64 #s(literal 1 binary64) %169)))))
▶48.6%
%16 = (sin (/ (- lambda1 lambda2) 2))
%153 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 lambda1 lambda2))) #s(literal 2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal -1/2 binary64) phi2)) #s(literal 2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %153) (sqrt.f64 (-.f64 #s(literal 1 binary64) %153)))))
▶45.0%
%16 = (sin (/ (- lambda1 lambda2) 2))
%146 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 lambda1 lambda2))) #s(literal 2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) phi1)) #s(literal 2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %146) (sqrt.f64 (-.f64 #s(literal 1 binary64) %146)))))
▶44.9%
%16 = (sin (/ (- lambda1 lambda2) 2))
%139 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) lambda1)) #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 phi1 phi2))) #s(literal 2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %139) (sqrt.f64 (-.f64 #s(literal 1 binary64) %139)))))
▶45.7%
%16 = (sin (/ (- lambda1 lambda2) 2))
%132 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 (cos.f64 phi1) (*.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 #s(literal -1/2 binary64) lambda2)) #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 phi1 phi2))) #s(literal 2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %132) (sqrt.f64 (-.f64 #s(literal 1 binary64) %132)))))
▶42.4%
%16 = (sin (/ (- lambda1 lambda2) 2))
%74 = (*.f64 #s(literal -1/2 binary64) phi2)
%75 = (sin.f64 %74)
%125 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 phi1 (*.f64 (cos.f64 %74) %75) (fma.f64 (cos.f64 phi2) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 lambda1 lambda2))) #s(literal 2 binary64)) (pow.f64 %75 #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %125) (sqrt.f64 (-.f64 #s(literal 1 binary64) %125)))))
▶39.7%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%24 = (*.f64 #s(literal -1/2 binary64) lambda2)
%25 = (sin.f64 %24)
%115 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 lambda1 (*.f64 %21 (*.f64 %22 (*.f64 (cos.f64 %24) %25))) (fma.f64 %21 (*.f64 %22 (pow.f64 %25 #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 phi1 phi2))) #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %115) (sqrt.f64 (-.f64 #s(literal 1 binary64) %115)))))
▶37.3%
%16 = (sin (/ (- lambda1 lambda2) 2))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%66 = (sin.f64 %65)
%107 = (approx (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16)) (fma.f64 #s(literal -1 binary64) (*.f64 phi2 (*.f64 (cos.f64 %65) %66)) (fma.f64 (cos.f64 phi1) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) (-.f64 lambda1 lambda2))) #s(literal 2 binary64)) (pow.f64 %66 #s(literal 2 binary64)))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (sqrt.f64 %107) (sqrt.f64 (-.f64 #s(literal 1 binary64) %107)))))
▶42.0%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
%65 = (*.f64 #s(literal 1/2 binary64) phi1)
%66 = (sin.f64 %65)
%69 = (sqrt.f64 (fma.f64 %21 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 %66 #s(literal 2 binary64))))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (approx (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (+.f64 %69 (*.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 phi2 (*.f64 (cos.f64 %65) %66)) %69)))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 (cos.f64 phi2)) %43) %43)))))))
▶43.9%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%24 = (*.f64 #s(literal -1/2 binary64) lambda2)
%25 = (sin.f64 %24)
%29 = (-.f64 phi1 phi2)
%34 = (sqrt.f64 (fma.f64 %21 (*.f64 %22 (pow.f64 %25 #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64))))
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (approx (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (+.f64 %34 (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 lambda1 (*.f64 %21 (*.f64 %22 (*.f64 (cos.f64 %24) %25)))) %34)))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43)))))))
▶48.4%
%16 = (sin (/ (- lambda1 lambda2) 2))
%22 = (cos.f64 phi2)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (approx (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (sqrt.f64 (fma.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal -1/2 binary64) phi2)) #s(literal 2 binary64))))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 (cos.f64 phi1) %22) %43) %43)))))))
▶44.7%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%41 = (-.f64 lambda1 lambda2)
%43 = (sin.f64 (/.f64 %41 #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (approx (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (sqrt.f64 (fma.f64 %21 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %41)) #s(literal 2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) phi1)) #s(literal 2 binary64))))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 (-.f64 phi1 phi2) #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 (cos.f64 phi2)) %43) %43)))))))
▶45.0%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%29 = (-.f64 phi1 phi2)
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (approx (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (sqrt.f64 (fma.f64 %21 (*.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) lambda1)) #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64))))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43)))))))
▶45.7%
%16 = (sin (/ (- lambda1 lambda2) 2))
%21 = (cos.f64 phi1)
%22 = (cos.f64 phi2)
%29 = (-.f64 phi1 phi2)
%43 = (sin.f64 (/.f64 (-.f64 lambda1 lambda2) #s(literal 2 binary64)))
(*.f64 R (*.f64 #s(literal 2 binary64) (atan2.f64 (approx (sqrt (+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) %16) %16))) (sqrt.f64 (fma.f64 %21 (*.f64 %22 (pow.f64 (sin.f64 (*.f64 #s(literal -1/2 binary64) lambda2)) #s(literal 2 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) %29)) #s(literal 2 binary64))))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (sin.f64 (/.f64 %29 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 (*.f64 (*.f64 %21 %22) %43) %43)))))))
Compiler
Compiled 69 to 716 computations (-937.7% saved)
sample58.0ms (0.0%)
Calls
Call 1
Inputs
(PI )
Outputs
#s(literal 884279719003555/281474976710656 binary64)
Samples
0.0ms1×0valid
Compiler
Compiled 3 to 3 computations (0.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
series30.8s (20.5%)
Calls
15 calls:
TimeVariablePoint
1.0s
lambda2
0
728.0ms
phi2
0
686.0ms
phi2
inf
676.0ms
phi1
0
663.0ms
lambda1
0
end0.0ms (0.0%)
gc1.7s (1.1%)
Allocations
AllocatedPercentPhase
3 701.2 MiB63.9%sample
1 116.3 MiB19.3%series
451.7 MiB7.8%analyze
193.7 MiB3.3%series
153.8 MiB2.7%rewrite
89.2 MiB1.5%reconstruct
33.8 MiB0.6%eval
25.8 MiB0.4%prune
18.3 MiB0.3%preprocess
3.5 MiB0.1%sample
0.7 MiB0.0%sample
0.1 MiB0.0%start
0.0 MiB0.0%end
5 788.1 MiB100.0%total
Profiling
Loading profile data...