(*.f64 (/.f64 (+.f64 lo x) #s(approx (- hi lo) hi)) (/.f64 (/.f64 (-.f64 x lo) #s(approx (- hi lo) hi)) #s(approx (+ (/ x (- hi lo)) (/ lo (- hi lo))) (neg.f64 (+.f64 (/.f64 x lo) #s(literal 1 binary64))))))
#s(approx (/ (- x lo) (- hi lo)) (-.f64 (*.f64 #s(approx (- (+ (/ 1 lo) (/ (* hi (- (/ 1 lo) (/ x (pow lo 2)))) lo)) (/ x (pow lo 2))) (/.f64 (+.f64 (/.f64 (-.f64 hi x) lo) #s(literal 1 binary64)) lo)) hi) (/.f64 (-.f64 x lo) lo)))
(/.f64 (-.f64 x lo) #s(approx (- hi lo) hi))
#s(approx (/ (- x lo) (- hi lo)) #s(literal 1 binary64))
(+.f64 (*.f64 (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/20 binary64) (exp.f64 (PI.f64))))) (*.f64 #s(literal -1/20 binary64) (exp.f64 (PI.f64)))) #s(literal 20 binary64)) (PI.f64))
(if.f64 (<=.f64 x #s(literal 200000000 binary64)) (*.f64 (/.f64 #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 x x))) x) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))
(if.f64 (<=.f64 x #s(literal 200000000 binary64)) (/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64))) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))
(if.f64 (<=.f64 x #s(literal 1 binary64)) (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
x
(tan.f64 (*.f64 #s(literal 1/2 binary64) x))
#s(approx (/ (- 1 (cos x)) (sin x)) (*.f64 #s(literal 1/2 binary64) x))
(+.f64 (+.f64 x (*.f64 (/.f64 (cos.f64 y) (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 y) (cos.f64 z)) #s(literal 3 binary64)) (pow.f64 (*.f64 (sin.f64 y) (sin.f64 z)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (cos.f64 y) (cos.f64 z))) (+.f64 (*.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))))))) (sin.f64 z))) (-.f64 (*.f64 #s(approx (/ (sin y) (/ (- (pow (* (cos y) (cos z)) 3) (pow (* (sin y) (sin z)) 3)) (+ (* (* (cos y) (cos z)) (* (cos y) (cos z))) (+ (* (* (sin y) (sin z)) (* (sin y) (sin z))) (* (* (cos y) (cos z)) (* (sin y) (sin z))))))) (/.f64 (*.f64 (sin.f64 y) (+.f64 (*.f64 (cos.f64 y) (*.f64 (cos.f64 z) (*.f64 (sin.f64 y) (sin.f64 z)))) (+.f64 (*.f64 (pow.f64 (cos.f64 y) #s(literal 2 binary64)) (pow.f64 (cos.f64 z) #s(literal 2 binary64))) (*.f64 (pow.f64 (sin.f64 y) #s(literal 2 binary64)) (pow.f64 (sin.f64 z) #s(literal 2 binary64)))))) (-.f64 (*.f64 (pow.f64 (cos.f64 y) #s(literal 3 binary64)) (pow.f64 (cos.f64 z) #s(literal 3 binary64))) (*.f64 (pow.f64 (sin.f64 y) #s(literal 3 binary64)) (pow.f64 (sin.f64 z) #s(literal 3 binary64)))))) (cos.f64 z)) (tan.f64 a)))
(+.f64 (+.f64 x (*.f64 (/.f64 (cos.f64 y) (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 y) (cos.f64 z)) #s(literal 3 binary64)) (pow.f64 (*.f64 (sin.f64 y) (sin.f64 z)) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (cos.f64 y) (cos.f64 z)) #s(literal 2 binary64)) (+.f64 (*.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))))))) (sin.f64 z))) (-.f64 (*.f64 (/.f64 (sin.f64 y) (/.f64 (-.f64 (pow.f64 (*.f64 (cos.f64 y) (cos.f64 z)) #s(literal 3 binary64)) (pow.f64 (*.f64 (sin.f64 y) (sin.f64 z)) #s(literal 3 binary64))) (+.f64 (pow.f64 (*.f64 (cos.f64 y) (cos.f64 z)) #s(literal 2 binary64)) (+.f64 (*.f64 (*.f64 (sin.f64 y) (sin.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))) (*.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))))))) (cos.f64 z)) (tan.f64 a)))
(+.f64 (+.f64 x (*.f64 (/.f64 (cos.f64 y) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z)))) (sin.f64 z))) (-.f64 (*.f64 (/.f64 (sin.f64 y) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z)))) (cos.f64 z)) (tan.f64 a)))
(if.f64 (<=.f64 a #s(literal -4835703278458517/4835703278458516698824704 binary64)) (+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (sin.f64 z) (cos.f64 y)) (cos.f64 (+.f64 z y))) (/.f64 (*.f64 (cos.f64 z) (sin.f64 y)) (cos.f64 (+.f64 z y)))) (tan.f64 a))) (if.f64 (<=.f64 a #s(literal 2466341007804043/1298074214633706907132624082305024 binary64)) #s(approx (+ (+ x (* (/ (cos y) (cos (+ z y))) (sin z))) (- (* (/ (sin y) (cos (+ z y))) (cos z)) (tan a))) (+.f64 x (+.f64 (/.f64 (*.f64 (cos.f64 y) (sin.f64 z)) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z)))) (/.f64 (*.f64 (cos.f64 z) (sin.f64 y)) (-.f64 (*.f64 (cos.f64 y) (cos.f64 z)) (*.f64 (sin.f64 y) (sin.f64 z))))))) (+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (sin.f64 z) (cos.f64 y)) (cos.f64 (+.f64 z y))) (/.f64 (*.f64 (cos.f64 z) (sin.f64 y)) (cos.f64 (+.f64 z y)))) (tan.f64 a)))))
(+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (sin.f64 z) (cos.f64 y)) (cos.f64 (+.f64 z y))) (/.f64 (*.f64 (cos.f64 z) (sin.f64 y)) (cos.f64 (+.f64 z y)))) (tan.f64 a)))
(/.f64 (+.f64 (+.f64 (*.f64 (cos.f64 (+.f64 z y)) (-.f64 x (tan.f64 a))) (*.f64 (sin.f64 y) (cos.f64 z))) (*.f64 (cos.f64 y) (sin.f64 z))) (cos.f64 (+.f64 z y)))
(+.f64 x (-.f64 (+.f64 (/.f64 (*.f64 (sin.f64 z) #s(approx (cos y) #s(literal 1 binary64))) (cos.f64 (+.f64 z y))) (/.f64 (*.f64 (cos.f64 z) (sin.f64 y)) (cos.f64 (+.f64 z y)))) (tan.f64 a)))
(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))
(if.f64 (<=.f64 y #s(literal -466933209365773/288230376151711744 binary64)) #s(approx (+ x (- (tan (+ y z)) (tan a))) (+.f64 (tan.f64 (+.f64 z y)) x)) (+.f64 x (-.f64 (tan.f64 #s(approx (+ y z) z)) (tan.f64 a))))
#s(approx (+ x (- (tan (+ y z)) (tan a))) (+.f64 (tan.f64 (+.f64 z y)) x))
#s(approx (+ x (- (tan (+ y z)) (tan a))) (+.f64 (tan.f64 #s(approx (+ z y) z)) x))
#s(approx (log (+ (exp a) (exp b))) (+.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 a))) (/.f64 b (+.f64 #s(literal 1 binary64) (exp.f64 a)))))
#s(approx (log (+ (exp a) (exp b))) (+.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 a))) #s(approx (/ b (+ 1 (exp a))) (*.f64 #s(literal 1/2 binary64) b))))
(log.f64 (+.f64 (exp.f64 a) #s(approx (exp b) (+.f64 #s(literal 1 binary64) b))))
(if.f64 (<=.f64 b #s(literal 3924920921814403/15095849699286165408966218323953075563667684881665761713504825200982496649568595408344506900710635070165873500123055379599082338519699170530245737005730784174597581307904 binary64)) (log.f64 #s(approx (+ (exp a) (exp b)) (+.f64 #s(literal 1 binary64) (exp.f64 a)))) (log.f64 (+.f64 #s(approx (exp a) #s(literal 1 binary64)) (exp.f64 b))))
(log.f64 #s(approx (+ (exp a) (exp b)) (+.f64 #s(literal 1 binary64) (exp.f64 a))))
#s(approx (log (+ (exp a) (exp b))) #s(approx (+ (log (+ 1 (exp a))) (/ b (+ 1 (exp a)))) (+.f64 (log.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) b))))
(log.f64 (+.f64 #s(approx (exp a) #s(literal 1 binary64)) #s(approx (exp b) (+.f64 #s(literal 1 binary64) b))))
(log.f64 #s(approx (+ (exp a) (exp b)) #s(approx (+ 1 (exp a)) #s(literal 2 binary64))))
(/.f64 (/.f64 (+.f64 n f) (-.f64 n f)) (-.f64 (/.f64 n (-.f64 n f)) (/.f64 f (-.f64 n f))))
(/.f64 (+.f64 n f) (-.f64 n f))
(if.f64 (<=.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n)) #s(literal -1/2 binary64)) #s(approx (/ (neg (+ f n)) (- f n)) #s(literal -1 binary64)) #s(approx (/ (neg (+ f n)) (- f n)) (-.f64 (/.f64 (+.f64 f f) n) #s(literal -1 binary64))))
(if.f64 (<=.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n)) #s(literal -1/2 binary64)) #s(approx (/ (neg (+ f n)) (- f n)) #s(literal -1 binary64)) (/.f64 (+.f64 n f) #s(approx (- n f) #s(approx (* f (- (/ n f) 1)) n))))
(if.f64 (<=.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n)) #s(literal -1/2 binary64)) #s(approx (/ (neg (+ f n)) (- f n)) #s(literal -1 binary64)) (/.f64 #s(approx (+ f n) n) (-.f64 n f)))
(if.f64 (<=.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n)) #s(literal -2535301200456459/1267650600228229401496703205376 binary64)) #s(approx (/ (neg (+ f n)) (- f n)) #s(literal -1 binary64)) #s(approx (/ (neg (+ f n)) (- f n)) #s(literal 1 binary64)))
#s(approx (/ (neg (+ f n)) (- f n)) #s(literal -1 binary64))
(if.f64 (<=.f64 x #s(literal -2434970217729661/147573952589676412928 binary64)) (sqrt.f64 (/.f64 (-.f64 (exp.f64 (+.f64 x x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64)))) (sqrt.f64 #s(approx (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (+.f64 #s(literal 2 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) x)))))))))
(sqrt.f64 #s(approx (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) #s(literal 2 binary64)))
(if.f64 (<=.f64 x #s(literal 200000000000000 binary64)) (sqrt.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x)) (*.f64 (-.f64 x #s(literal 1 binary64)) (sqrt.f64 #s(approx (/ x (- x 1)) #s(literal 1 binary64)))))
(*.f64 (-.f64 x #s(literal 1 binary64)) (sqrt.f64 (/.f64 x (-.f64 x #s(literal 1 binary64)))))
(*.f64 (sqrt.f64 (-.f64 (-.f64 x #s(literal 1/2 binary64)) #s(literal 1/2 binary64))) (sqrt.f64 x))
(*.f64 (sqrt.f64 (-.f64 x #s(literal 1 binary64))) (sqrt.f64 x))
(sqrt.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) x))
(*.f64 #s(approx (- x 1) #s(literal -1 binary64)) (sqrt.f64 #s(approx (/ x (- x 1)) #s(literal 1 binary64))))
(if.f64 (<=.f64 x #s(literal 6325070415853457/12650140831706913647030959169932331690597290610258882397306334876714396222999709180747523981339820280949192366519800744461863046086612092304188337496296156870094839017285397585279181733880826021327485479904546566785125467714043293663631459728072472271300628532022423097020838413451906408261645469290375391456731733818343424 binary64)) #s(approx (- (/ x x) (* (/ 1 x) (sqrt (* x x)))) #s(literal 2 binary64)) #s(approx (/ (- x (fabs x)) x) #s(approx 1 #s(literal 0 binary64))))
(/.f64 (-.f64 x (fabs.f64 x)) x)
#s(approx (- (/ x x) (* (/ 1 x) (sqrt (* x x)))) #s(literal 2 binary64))
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
#s(approx (sqrt (+ (pow x 2) (pow x 2))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (sqrt (+ (pow x 2) (pow x 2))) x)
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
#s(approx (sqrt (* 2 (pow x 2))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (sqrt (* 2 (pow x 2))) x)
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
#s(approx (sqrt (* 2 (* x x))) (/.f64 (+.f64 x x) (sqrt.f64 #s(literal 2 binary64))))
#s(approx (sqrt (* 2 (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (sqrt (* 2 (* x x))) x)
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
#s(approx (sqrt (* (* 2 x) x)) (/.f64 (+.f64 x x) (sqrt.f64 #s(literal 2 binary64))))
#s(approx (sqrt (* (* 2 x) x)) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (sqrt (* (* 2 x) x)) x)
(*.f64 (sqrt.f64 (+.f64 x x)) (sqrt.f64 x))
#s(approx (sqrt (+ (* x x) (* x x))) (*.f64 x (sqrt.f64 #s(literal 2 binary64))))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 (-.f64 (*.f64 #s(literal 27/112000 binary64) (*.f64 eps eps)) #s(literal 27/2800 binary64)) eps) eps) #s(literal -9/40 binary64)) (*.f64 eps eps)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 (-.f64 (*.f64 #s(literal -27/2800 binary64) (*.f64 eps eps)) #s(literal -9/40 binary64)) (*.f64 eps eps)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) (-.f64 (*.f64 #s(approx (- (* -27/2800 (* eps eps)) -9/40) #s(literal 9/40 binary64)) (*.f64 eps eps)) #s(literal 1/2 binary64)))
#s(approx (/ (- eps (sin eps)) (- eps (tan eps))) #s(literal -1/2 binary64))
(*.f64 r (/.f64 (sin.f64 b) (-.f64 (*.f64 (cos.f64 b) (cos.f64 a)) (*.f64 (sin.f64 a) (sin.f64 b)))))
#s(approx (* r (/ (sin b) (- (* (cos b) (cos a)) (* (sin a) (sin b))))) (/.f64 (*.f64 r (sin.f64 b)) (-.f64 (*.f64 (cos.f64 a) (cos.f64 b)) (*.f64 (sin.f64 a) (sin.f64 b)))))
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
(if.f64 (<=.f64 a #s(literal -24500000000 binary64)) (*.f64 r (/.f64 (sin.f64 b) #s(approx (cos (+ a b)) (cos.f64 a)))) (if.f64 (<=.f64 a #s(literal 4943837340890095/1267650600228229401496703205376 binary64)) #s(approx (* r (/ (sin b) (cos (+ a b)))) (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 b))) (*.f64 r (/.f64 (sin.f64 b) #s(approx (cos (+ a b)) (cos.f64 a))))))
(if.f64 (<=.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))) #s(literal -4722366482869645/4722366482869645213696 binary64)) #s(approx (* r (/ (sin b) (cos (+ a b)))) (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 b))) (if.f64 (<=.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))) #s(literal 6646139978924579/664613997892457936451903530140172288 binary64)) (*.f64 r #s(approx (/ (sin b) (cos (+ a b))) (/.f64 b (cos.f64 a)))) #s(approx (* r (/ (sin b) (cos (+ a b)))) (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 b)))))
(*.f64 r #s(approx (/ (sin b) (cos (+ a b))) (/.f64 b (cos.f64 a))))
#s(approx (* r (/ (sin b) (cos (+ a b)))) (/.f64 (*.f64 b r) (cos.f64 a)))
#s(approx (* r (/ (sin b) (cos (+ a b)))) (*.f64 (/.f64 r (cos.f64 a)) b))
#s(approx (* r (/ (sin b) (cos (+ a b)))) (/.f64 (*.f64 b r) #s(approx (cos a) #s(literal 1 binary64))))
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 b) (tan.f64 a))) (cos.f64 a))) (tan.f64 b)) r)
(*.f64 (/.f64 r (*.f64 (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 b) (tan.f64 a))) (cos.f64 a))) (tan.f64 b))
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
(*.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))) r)
(*.f64 (/.f64 r (cos.f64 (+.f64 a b))) (sin.f64 b))
(if.f64 (<=.f64 a #s(literal -24500000000 binary64)) (/.f64 (*.f64 r (sin.f64 b)) #s(approx (cos (+ a b)) (cos.f64 a))) (if.f64 (<=.f64 a #s(literal 4943837340890095/1267650600228229401496703205376 binary64)) (/.f64 (*.f64 r (sin.f64 b)) (cos.f64 #s(approx (+ a b) b))) (/.f64 (*.f64 r (sin.f64 b)) #s(approx (cos (+ a b)) (cos.f64 a)))))
(if.f64 (<=.f64 a #s(literal -24500000000 binary64)) (/.f64 (*.f64 r (sin.f64 b)) #s(approx (cos (+ a b)) (cos.f64 a))) (if.f64 (<=.f64 a #s(literal 4943837340890095/1267650600228229401496703205376 binary64)) (*.f64 (/.f64 (sin.f64 b) (cos.f64 #s(approx (+ a b) b))) r) (/.f64 (*.f64 r (sin.f64 b)) #s(approx (cos (+ a b)) (cos.f64 a)))))
(if.f64 (<=.f64 b #s(literal -4486248158726163/4722366482869645213696 binary64)) (*.f64 (/.f64 (sin.f64 b) (cos.f64 #s(approx (+ a b) b))) r) (if.f64 (<=.f64 b #s(literal 1470053796651389/19342813113834066795298816 binary64)) (*.f64 #s(approx (/ (sin b) (cos (+ a b))) (/.f64 b (cos.f64 a))) r) (*.f64 (/.f64 (sin.f64 b) (cos.f64 #s(approx (+ a b) b))) r)))
(/.f64 #s(approx (* r (sin b)) (*.f64 b r)) (cos.f64 (+.f64 a b)))
(*.f64 #s(approx (/ (sin b) (cos (+ a b))) (/.f64 b (cos.f64 a))) r)
#s(approx (/ (* r (sin b)) (cos (+ a b))) (/.f64 (*.f64 b r) (cos.f64 a)))
#s(approx (/ (* r (sin b)) (cos (+ a b))) (*.f64 (/.f64 r (cos.f64 a)) b))
#s(approx (/ (* r (sin b)) (cos (+ a b))) (/.f64 (*.f64 b r) #s(approx (cos a) #s(literal 1 binary64))))
(if.f64 (<=.f64 b #s(literal 4370460104245123/26328072917139296674479506920917608079723773850137277813577744384 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal -1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y-scale (+.f64 (sqrt.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 4 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 2 binary64)))) x-scale))) (*.f64 (cos.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64))))))))) (PI.f64))) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y-scale (+.f64 (sqrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) #s(literal 4 binary64))) (/.f64 (+.f64 (sin.f64 (-.f64 (+.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64)))) (sin.f64 (+.f64 (+.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64)) (/.f64 (PI.f64) #s(literal 2 binary64))) (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64))))) #s(literal 2 binary64)))) x-scale))) (*.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64)))))))) (PI.f64))))
(if.f64 (<=.f64 b #s(literal 8424983333484575/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal -1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y-scale (+.f64 (sqrt.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 4 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 2 binary64)))) x-scale))) (*.f64 (cos.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64))))))))) (PI.f64))) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y-scale (+.f64 (sqrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) #s(literal 4 binary64))) #s(approx (pow (cos (* (* 1/180 angle) (PI))) 2) (pow.f64 (cos.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 2 binary64))))) x-scale))) (*.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64)))))))) (PI.f64))))
(if.f64 (<=.f64 b #s(literal 8424983333484575/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal -1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 y-scale (+.f64 (sqrt.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 4 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 2 binary64)))) x-scale))) (*.f64 (cos.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64))))))))) (PI.f64))) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (+.f64 (sqrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64))) #s(literal 4 binary64))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64)) #s(literal 2 binary64)))))) y-scale) x-scale))) (*.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64)))))))) (PI.f64))))
(if.f64 (<=.f64 b #s(literal 8424983333484575/52656145834278593348959013841835216159447547700274555627155488768 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) #s(approx (* -1/2 (/ (* x-scale (* y-scale (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))))) (*.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 y-scale (+.f64 (sqrt.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 4 binary64))) (pow.f64 (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) #s(literal 2 binary64)))) (*.f64 x-scale (*.f64 (cos.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64))))))))))) (PI.f64))) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (+.f64 (sqrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64))) #s(literal 4 binary64))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64)) #s(literal 2 binary64)))))) y-scale) x-scale))) (*.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64)))))))) (PI.f64))))
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 (+.f64 (sqrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64))) #s(literal 4 binary64))) (-.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) (cos.f64 (*.f64 (*.f64 (*.f64 (PI.f64) angle) #s(literal 1/180 binary64)) #s(literal 2 binary64)))))) y-scale) x-scale))) (*.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64)))))))) (PI.f64)))
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (*.f64 #s(literal -1 binary64) (/.f64 #s(approx (* y-scale (+ (sqrt (pow (cos (* (* 1/180 angle) (PI))) 4)) (pow (cos (* (* 1/180 angle) (PI))) 2))) (*.f64 #s(literal 2 binary64) y-scale)) x-scale))) (*.f64 (cos.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 #s(literal 1/180 binary64) angle) (PI.f64)))))))) (PI.f64)))
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(approx (* x-scale (* y-scale (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2)) (+ (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) #s(approx (* -1 (/ (* y-scale (+ (sqrt (pow (cos (* 1/180 (* angle (PI)))) 4)) (pow (cos (* 1/180 (* angle (PI)))) 2))) x-scale)) (*.f64 #s(literal -2 binary64) (/.f64 y-scale x-scale)))) (*.f64 (cos.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 #s(literal 1/180 binary64) (*.f64 angle (PI.f64))))))))) (PI.f64)))
(if.f64 (<=.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64))))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale)) #s(literal 400000000000000000766270034293867494486382050906076804461121405839751729681595502384494458043272129413120 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 90 binary64) (*.f64 x-scale (/.f64 (*.f64 (-.f64 (-.f64 (*.f64 a (/.f64 a (*.f64 y-scale y-scale))) (fabs.f64 (-.f64 (*.f64 a (/.f64 a (*.f64 y-scale y-scale))) (*.f64 b (/.f64 b (*.f64 x-scale x-scale)))))) (*.f64 b (/.f64 b (*.f64 x-scale x-scale)))) y-scale) (*.f64 (*.f64 (PI.f64) angle) (-.f64 (*.f64 b b) (*.f64 a a)))))))) (PI.f64))) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 90 binary64) (*.f64 x-scale #s(approx (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))) (*.f64 #s(literal -1 binary64) (/.f64 y-scale (*.f64 angle (*.f64 (pow.f64 x-scale #s(literal 2 binary64)) (PI.f64)))))))))) (PI.f64))))
(if.f64 (<=.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64))))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale)) #s(literal 1000000000000000056799717631659959599209893702659726317411141269166906774962677479877261307539674049653972646503389945789686576510419339128243706118473032320081290665497741564406670023712287789874734736674207136744674199783831719918405933396323484899269935104 binary64)) (/.f64 (*.f64 #s(literal 180 binary64) (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 (*.f64 #s(literal 90 binary64) x-scale) (*.f64 (-.f64 (*.f64 a (/.f64 a (*.f64 y-scale y-scale))) (+.f64 (fabs.f64 (-.f64 (*.f64 a (/.f64 a (*.f64 y-scale y-scale))) (*.f64 b (/.f64 b (*.f64 x-scale x-scale))))) (*.f64 b (/.f64 b (*.f64 x-scale x-scale))))) (/.f64 y-scale (*.f64 (*.f64 (PI.f64) angle) (*.f64 (+.f64 b a) (-.f64 b a))))))))) (PI.f64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 90 binary64) (*.f64 x-scale #s(approx (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))) (*.f64 #s(literal -1 binary64) (/.f64 y-scale (*.f64 angle (*.f64 (pow.f64 x-scale #s(literal 2 binary64)) (PI.f64)))))))))) (PI.f64))))
(if.f64 (<=.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) y-scale) y-scale)) #s(literal 2 binary64)) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale) #s(literal 2 binary64))))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) x-scale) y-scale)) #s(literal 400000000000000000766270034293867494486382050906076804461121405839751729681595502384494458043272129413120 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 90 binary64) (*.f64 x-scale (/.f64 (*.f64 (-.f64 (*.f64 a (/.f64 a (*.f64 y-scale y-scale))) (+.f64 (fabs.f64 (-.f64 (*.f64 a (/.f64 a (*.f64 y-scale y-scale))) (*.f64 b (/.f64 b (*.f64 x-scale x-scale))))) (*.f64 b (/.f64 b (*.f64 x-scale x-scale))))) y-scale) (*.f64 (*.f64 (PI.f64) angle) (*.f64 (+.f64 b a) (-.f64 b a)))))))) (PI.f64))) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 90 binary64) (*.f64 x-scale #s(approx (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))) (*.f64 #s(literal -1 binary64) (/.f64 y-scale (*.f64 angle (*.f64 (pow.f64 x-scale #s(literal 2 binary64)) (PI.f64)))))))))) (PI.f64))))
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (*.f64 #s(literal 90 binary64) (*.f64 x-scale #s(approx (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))) (*.f64 #s(literal -1 binary64) (/.f64 y-scale (*.f64 angle (*.f64 (pow.f64 x-scale #s(literal 2 binary64)) (PI.f64)))))))))) (PI.f64)))
(if.f64 (<=.f64 x-scale #s(literal -42999999999999998520067323578474200981812067710090003657758989360395786926309404482866719913130140760207033031971493521670332487793901568 binary64)) (*.f64 #s(approx 180 #s(literal 0 binary64)) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) #s(approx (* 90 (* x-scale (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))))) (*.f64 #s(literal -90 binary64) (/.f64 x-scale (*.f64 angle (*.f64 y-scale (PI.f64)))))))) (PI.f64))) (if.f64 (<=.f64 x-scale #s(literal 339999999999999977367450991267201680790791166765880910350291778956184543195293498212352 binary64)) (*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) #s(approx (* 90 (* x-scale (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))))) (*.f64 #s(literal -90 binary64) (/.f64 y-scale (*.f64 angle (*.f64 x-scale (PI.f64)))))))) (PI.f64))) (*.f64 #s(approx 180 #s(literal 0 binary64)) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) #s(approx (* 90 (* x-scale (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))))) (*.f64 #s(literal -90 binary64) (/.f64 x-scale (*.f64 angle (*.f64 y-scale (PI.f64)))))))) (PI.f64)))))
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) #s(approx (* 90 (* x-scale (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))))) (*.f64 #s(literal -90 binary64) (/.f64 y-scale (*.f64 angle (*.f64 x-scale (PI.f64)))))))) (PI.f64)))
(*.f64 #s(literal 180 binary64) (/.f64 (atan.f64 #s(approx (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) #s(approx (* 90 (* x-scale (/ (* (- (/ (* a a) (* y-scale y-scale)) (+ (fabs (- (/ (* b b) (* x-scale x-scale)) (/ (* a a) (* y-scale y-scale)))) (/ (* b b) (* x-scale x-scale)))) y-scale) (* (* (PI) angle) (- (* b b) (* a a)))))) (*.f64 #s(literal -90 binary64) (/.f64 x-scale (*.f64 angle (*.f64 y-scale (PI.f64)))))))) (PI.f64)))
(if.f64 (<=.f64 b #s(literal -26500000000000001202394816837153440112746600332278117351033989166343048815743921120916149049155174113539146926539333908649239696321339382235102030298349568 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) (-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 c a) #s(literal 4 binary64)))) (+.f64 a a)) (/.f64 b (+.f64 a a))) (/.f64 #s(literal 1 binary64) #s(approx (/ (+ a a) (- (sqrt (- (* b b) (* (* c a) 4))) b)) (*.f64 b (-.f64 (/.f64 a (pow.f64 b #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) c)))))))
(if.f64 (<=.f64 b #s(literal -26500000000000001202394816837153440112746600332278117351033989166343048815743921120916149049155174113539146926539333908649239696321339382235102030298349568 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) (-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 c a) #s(literal 4 binary64)))) (+.f64 a a)) (/.f64 b (+.f64 a a))) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -26500000000000001202394816837153440112746600332278117351033989166343048815743921120916149049155174113539146926539333908649239696321339382235102030298349568 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 c a) #s(literal 4 binary64)))) b) (+.f64 a a)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -33999999999999998856806021345479952957440 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 1096782669255859/29642774844752946028434172162224104410437116074403984394101141506025761187823616 binary64)) (/.f64 (-.f64 #s(approx (sqrt (- (* b b) (* (* c a) 4))) (sqrt.f64 (fabs.f64 (*.f64 #s(literal -4 binary64) (*.f64 c a))))) b) (+.f64 a a)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -190000000000000 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 1096782669255859/29642774844752946028434172162224104410437116074403984394101141506025761187823616 binary64)) (/.f64 (-.f64 #s(approx (sqrt (- (* b b) (* (* c a) 4))) (sqrt.f64 (*.f64 (*.f64 c a) #s(literal -4 binary64)))) b) (+.f64 a a)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -190000000000000 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (*.f64 (sqrt.f64 (*.f64 #s(literal -4 binary64) (*.f64 c a))) #s(literal 1/2 binary64)) a)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -190000000000000 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 (sqrt.f64 (*.f64 #s(literal -4 binary64) (*.f64 c a))) (/.f64 #s(literal 1/2 binary64) a))) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -190000000000000 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) #s(approx (* 1/2 (sqrt (* -4 (/ c a)))) (*.f64 #s(literal -1/2 binary64) (*.f64 c (sqrt.f64 (/.f64 #s(literal -4 binary64) (*.f64 a c))))))) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal -4946608029462091/494660802946209068121005042039294380070262698202423679828126112185794450213063734340632802122486089979195342852032278678702730068613502419935092310203786335833213544297398272 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) (if.f64 (<=.f64 b #s(literal 450559765389567/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1/2 binary64) (sqrt.f64 (*.f64 #s(literal -4 binary64) (/.f64 c a))))) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b)))))
(if.f64 (<=.f64 b #s(literal 7823560522920799/92041888504950574475740425768398066361240421321846096523996201552759130012416493123946740389072658442813498306494153399121300361632981310716337884487410751681417161433531128461466736435838000189159978471467522953645133149359340995314643512596903545427635461470508184698852989920501614748075702440767602758254592 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))))
(if.f64 (<=.f64 b #s(literal -8769689216852043/528294531135665246352339784916516606518847326036121522127960709026673902556724859474417255887657187894674394993257128678882347559502685537250538978462939576908386683999005084168731517676426441053024232908211188404148028292751561738838396898767036476489538580897737998336 binary64)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)) #s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 #s(approx b #s(literal 0 binary64))) a)))
#s(approx (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))
(if.f64 (<=.f64 b #s(literal -43000000000000002394313159889282024865792 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 3399999999999999863482998480727184839351716205220878744077133982728192 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 #s(literal 4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -43000000000000002394313159889282024865792 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 3399999999999999863482998480727184839351716205220878744077133982728192 binary64)) (*.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 c a) #s(literal 4 binary64)))))) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -14000000000000 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 #s(approx (- (* b b) (* 4 (* a c))) (*.f64 #s(literal -4 binary64) (*.f64 a c))))) (*.f64 #s(literal 2 binary64) a)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -14000000000000 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) (*.f64 (+.f64 (sqrt.f64 #s(approx (- (* b b) (* 4 (* a c))) (*.f64 #s(literal -4 binary64) (*.f64 c a)))) b) (/.f64 #s(literal -1/2 binary64) a)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -43000000000000002394313159889282024865792 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 7067388259113537/220855883097298041197912187592864814478435487109452369765200775161577472 binary64)) #s(approx (* (/ -1/2 a) (+ b (sqrt (* (- 1 (/ (* (* c a) 4) (* b b))) (* b b))))) (*.f64 #s(literal -1/2 binary64) (/.f64 (sqrt.f64 (*.f64 #s(literal -4 binary64) (*.f64 a c))) a))) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -6806532648539837/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 450559765389567/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 (*.f64 #s(literal -4 binary64) c) a)))) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -6806532648539837/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 450559765389567/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal -4 binary64) (/.f64 c a))))) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -2449441655328671/4898883310657342436947850401401639604522231782621865961233415550616320366316550245614411808808882209683752589725123921141977824503727074585042721378292777435812376133285876920625254286345394996247527424 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) (if.f64 (<=.f64 b #s(literal 6489949734654263/7914572847139345089936080672628710081124203171238778877250017794972711203409019749450124833959777439667125485632516458859243681097816038718961476963260581373331416708758372352 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1/2 binary64) (sqrt.f64 (*.f64 #s(literal -4 binary64) (/.f64 c a))))) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))))
(if.f64 (<=.f64 b #s(literal -8445698422115857/24840289476811342962383671815400040884110176273867145778224832608416815242982030181294054541258343647207803691154097171298745280705837030263108596400658898227271279616333598488804244570105575117204207987099463500014285549661056925696 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (*.f64 #s(literal -1 binary64) (/.f64 c b))) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)))
(if.f64 (<=.f64 b #s(literal -3909379530403923/1056589062271330492704679569833033213037694652072243044255921418053347805113449718948834511775314375789348789986514257357764695119005371074501077956925879153816773367998010168337463035352852882106048465816422376808296056585503123477676793797534072952979077161795475996672 binary64)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 #s(approx b #s(literal 0 binary64))) a)) #s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a)))
#s(approx (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/.f64 (neg.f64 b) a))
(if.f64 (<=.f64 b_2 #s(literal -899999999999999946915980092523034999871946988517111352010114681811160456864717944276428980611627825091908289848159568488674963822739926718420037466981400576 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) (-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a))) a) (/.f64 b_2 a)) (/.f64 #s(literal 1 binary64) #s(approx (/ a (- (sqrt (- (* b_2 b_2) (* c a))) b_2)) (*.f64 b_2 (-.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 a (pow.f64 b_2 #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) c))))))))
(if.f64 (<=.f64 b_2 #s(literal -899999999999999946915980092523034999871946988517111352010114681811160456864717944276428980611627825091908289848159568488674963822739926718420037466981400576 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) (-.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a))) a) (/.f64 b_2 a)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2)))))
(if.f64 (<=.f64 b_2 #s(literal -899999999999999946915980092523034999871946988517111352010114681811160456864717944276428980611627825091908289848159568488674963822739926718420037466981400576 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a))) b_2) a) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2)))))
(if.f64 (<=.f64 b_2 #s(literal -8081519453784961/5986310706507378352962293074805895248510699696029696 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) (/.f64 (-.f64 #s(approx (sqrt (- (* b_2 b_2) (* c a))) (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2) a) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2)))))
(if.f64 (<=.f64 b_2 #s(literal -7225426368408531/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (/.f64 (sqrt.f64 (neg.f64 (*.f64 a c))) a)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2)))))
(if.f64 (<=.f64 b_2 #s(literal -7225426368408531/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) (if.f64 (<=.f64 b_2 #s(literal 1917062309491721/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 c a)))) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2)))))
(if.f64 (<=.f64 b_2 #s(literal 790984979339419/359538626972463181545861038157804946723595395788461314546860162315465351611001926265416954644815072042240227759742786715317579537628833244985694861278948248755535786849730970552604439202492188238906165904170011537676301364684925762947826221081654474326701021369172596479894491876959432609670712659248448274432 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))))
(if.f64 (<=.f64 b_2 #s(literal -1315614646497519/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392 binary64)) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))) #s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 #s(approx b_2 #s(literal 0 binary64)) a))))
#s(approx (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a)))
(if.f64 (<=.f64 b_2 #s(literal -6099999999999999841728801650498289360189552030478590321787836116030972686527957979843325463625728 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal -4678880108828875/346583711765101857447301773017885462929554634421977071896309947576827663475703202879996800763017447262173901370175446478621769728 binary64)) (/.f64 (/.f64 (+.f64 #s(literal 0 binary64) (*.f64 c a)) a) (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a))) b_2)) (if.f64 (<=.f64 b_2 #s(literal 240000000000000007829447601155211065538340938625732871707250923667456 binary64)) (-.f64 (/.f64 (neg.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a)))) a) (/.f64 b_2 a)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))))))
(if.f64 (<=.f64 b_2 #s(literal -54999999999999998043547987204697905647054195046560117650923133451965273229273060805030445056 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal -7225426368408531/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) (*.f64 c (/.f64 a (*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a))) b_2) a))) (if.f64 (<=.f64 b_2 #s(literal 240000000000000007829447601155211065538340938625732871707250923667456 binary64)) (-.f64 (/.f64 (neg.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a)))) a) (/.f64 b_2 a)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))))))
(if.f64 (<=.f64 b_2 #s(literal -54999999999999998043547987204697905647054195046560117650923133451965273229273060805030445056 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal -7225426368408531/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) (*.f64 c (/.f64 a (*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 c a))) b_2) a))) (if.f64 (<=.f64 b_2 #s(literal 240000000000000007829447601155211065538340938625732871707250923667456 binary64)) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))))))
(if.f64 (<=.f64 b_2 #s(literal -7225426368408531/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal 240000000000000007829447601155211065538340938625732871707250923667456 binary64)) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a)))))
(if.f64 (<=.f64 b_2 #s(literal -7040159025628825/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) (/.f64 (-.f64 (neg.f64 b_2) #s(approx (sqrt (- (* b_2 b_2) (* a c))) (sqrt.f64 (neg.f64 (*.f64 a c))))) a) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a)))))
(if.f64 (<=.f64 b_2 #s(literal -7040159025628825/1852673427797059126777135760139006525652319754650249024631321344126610074238976 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal 4199521391583383/139984046386112763159840142535527767382602843577165595931249318810236991948760059086304843329475444736 binary64)) #s(approx (/ (/ (- (- (* b_2 b_2) (* c a)) (* b_2 b_2)) (+ (neg (sqrt (- (* b_2 b_2) (* c a)))) b_2)) a) (/.f64 c (sqrt.f64 (neg.f64 (*.f64 a c))))) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a)))))
(if.f64 (<=.f64 b_2 #s(literal -8997827589086393/112472844863579909570263462692149546471742427957547915827518889315295939516787196757976017152597271428748022765838022378080206651387357492225212879521629096378368 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) (if.f64 (<=.f64 b_2 #s(literal 183729060881773/8749002899132047697490008908470485461412677723572849745703082425639811996797503692894052708092215296 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (sqrt.f64 (*.f64 #s(literal -1 binary64) (/.f64 c a)))) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a)))))
(if.f64 (<=.f64 b_2 #s(literal -5464863684898495/12420144738405671481191835907700020442055088136933572889112416304208407621491015090647027270629171823603901845577048585649372640352918515131554298200329449113635639808166799244402122285052787558602103993549731750007142774830528462848 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -1/2 binary64) (/.f64 c b_2))) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))))
(if.f64 (<=.f64 b_2 #s(literal 1454766195646295/6325070415853456823515479584966165845298645305129441198653167438357198111499854590373761990669910140474596183259900372230931523043306046152094168748148078435047419508642698792639590866940413010663742739952273283392562733857021646831815729864036236135650314266011211548510419206725953204130822734645187695728365866909171712 binary64)) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 #s(approx b_2 #s(literal 0 binary64)) a))) #s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a))))
#s(approx (/ (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (*.f64 #s(literal -2 binary64) (/.f64 b_2 a)))
(/.f64 #s(approx (log (- 1 x)) (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/4 binary64) x) #s(literal 1/3 binary64))) #s(literal 1/2 binary64))) #s(literal 1 binary64)))) #s(approx (log (+ 1 x)) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 x (-.f64 (*.f64 x (+.f64 #s(literal 1/3 binary64) (*.f64 #s(literal -1/4 binary64) x))) #s(literal 1/2 binary64)))))))
#s(approx (/ (log (- 1 x)) (log (+ 1 x))) (-.f64 (-.f64 (*.f64 (*.f64 (-.f64 (*.f64 #s(literal -5/12 binary64) x) #s(literal 1/2 binary64)) x) x) #s(literal 1 binary64)) x))
#s(approx (/ (log (- 1 x)) (log (+ 1 x))) (-.f64 (*.f64 x (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -5/12 binary64) x) #s(literal 1/2 binary64))) #s(literal 1 binary64))) #s(literal 1 binary64)))
#s(approx (/ (log (- 1 x)) (log (+ 1 x))) (-.f64 (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) x) #s(literal 1 binary64))) #s(literal 1 binary64)))
#s(approx (/ (log (- 1 x)) (log (+ 1 x))) (-.f64 #s(literal -1 binary64) x))
#s(approx (/ (log (- 1 x)) (log (+ 1 x))) #s(literal -1 binary64))
(if.f64 (<=.f64 y.re #s(literal -2000000000 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 149999999999999995945819308032 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 9499999999999999082609574818568232439238719382812618666968499701183710145065036651375439623699300352 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64)) #s(approx (pow (sqrt (+ (pow x.im 2) (pow x.re 2))) y.re) (pow.f64 (sqrt.f64 (pow.f64 x.re #s(literal 2 binary64))) y.re)))) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) (sin.f64 (-.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) (*.f64 (atan2.f64 x.im x.re) y.re))))))))
(if.f64 (<=.f64 x.re #s(literal -8689154328480147/75557863725914323419136 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.re))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (*.f64 (sin.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re))) y.im)) (cos.f64 (-.f64 (*.f64 (neg.f64 y.re) (atan2.f64 x.im x.re)) (*.f64 (PI.f64) #s(literal 1/2 binary64))))) (*.f64 (cos.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re))) y.im)) (sin.f64 (-.f64 (*.f64 (neg.f64 y.re) (atan2.f64 x.im x.re)) (*.f64 (PI.f64) #s(literal 1/2 binary64))))))) (if.f64 (<=.f64 x.re #s(literal 2238338620067825/87777985100699018932094980018995348321190282174917313121792031815299158108154767154642811192581804697812555605405953787919330941803914366451585659491930724793831979211360100232569443164670944394264200660197756723065503262862530703844684136006263299396167241545208153437474241180898298976970388832824328192 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 (exp.f64 (-.f64 (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) x.re)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (-.f64 (*.f64 (neg.f64 y.re) (atan2.f64 x.im x.re)) (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log.f64 x.re)) y.im)) (*.f64 (PI.f64) #s(literal 1/2 binary64)))))))
(if.f64 (<=.f64 y.re #s(literal -2300000000 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64)))) (if.f64 (<=.f64 y.re #s(literal 149999999999999995945819308032 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 9499999999999999082609574818568232439238719382812618666968499701183710145065036651375439623699300352 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64)) #s(approx (pow (sqrt (+ (pow x.im 2) (pow x.re 2))) y.re) (pow.f64 (sqrt.f64 (pow.f64 x.re #s(literal 2 binary64))) y.re)))) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) (sin.f64 (-.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) (*.f64 (atan2.f64 x.im x.re) y.re))))))))
(if.f64 (<=.f64 y.re #s(literal -950000000000000000000 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64)))) (if.f64 (<=.f64 y.re #s(literal 165000 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64)))) (if.f64 (<=.f64 y.re #s(literal 8600000000000000253324997077479039457958009774404076393756352042791512619175272296633841300149370880 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64)))) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) (sin.f64 (-.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) (*.f64 (atan2.f64 x.im x.re) y.re))))))))
(if.f64 (<=.f64 x.re #s(literal -5029131409596857/19342813113834066795298816 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.re))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) (+.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))) (if.f64 (<=.f64 x.re #s(literal 2238338620067825/87777985100699018932094980018995348321190282174917313121792031815299158108154767154642811192581804697812555605405953787919330941803914366451585659491930724793831979211360100232569443164670944394264200660197756723065503262862530703844684136006263299396167241545208153437474241180898298976970388832824328192 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 (exp.f64 (-.f64 (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) x.re)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (-.f64 (*.f64 (neg.f64 y.re) (atan2.f64 x.im x.re)) (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log.f64 x.re)) y.im)) (*.f64 (PI.f64) #s(literal 1/2 binary64)))))))
(if.f64 (<=.f64 x.re #s(literal -5029131409596857/19342813113834066795298816 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.re))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) (+.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))) (if.f64 (<=.f64 x.re #s(literal 3511119404027961/87777985100699018932094980018995348321190282174917313121792031815299158108154767154642811192581804697812555605405953787919330941803914366451585659491930724793831979211360100232569443164670944394264200660197756723065503262862530703844684136006263299396167241545208153437474241180898298976970388832824328192 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 (exp.f64 (-.f64 (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) x.re)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (log.f64 x.re)) y.im) (+.f64 (*.f64 (PI.f64) #s(literal 1/2 binary64)) (*.f64 (atan2.f64 x.im x.re) y.re)))))))
(if.f64 (<=.f64 y.re #s(literal -950000000000000000000 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64)))) (if.f64 (<=.f64 y.re #s(literal 165000 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64)))) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64))))))
(if.f64 (<=.f64 y.re #s(literal -48999163945791/576460752303423488 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64)))) (if.f64 (<=.f64 y.re #s(literal 733332951480415/8148143905337944345073782753637512644205873574663745002544561797417525199053346824733589504 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) #s(approx (exp (neg (* y.im (atan2 x.im x.re)))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (*.f64 y.im (atan2.f64 x.im x.re)))))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64)))) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 y.re #s(literal 1/2 binary64))) #s(approx (cos (* (atan2 x.im x.re) y.re)) #s(literal 1 binary64))))))
(*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) #s(approx (exp (neg (* y.im (atan2 x.im x.re)))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (*.f64 y.im (atan2.f64 x.im x.re)))))) #s(approx (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64))))
#s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 #s(approx (cos (* y.re (atan2 x.im x.re))) #s(literal 1 binary64)) #s(approx (pow (sqrt (+ (pow x.im 2) (pow x.re 2))) y.re) #s(literal 1 binary64))))
(if.f64 (<=.f64 x.im #s(literal -33000000000000 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.im))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.im))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) (if.f64 (<=.f64 x.im #s(literal 16200000000000000000000 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (fabs.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (fabs.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) (*.f64 (exp.f64 (-.f64 (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 #s(approx (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))))
(if.f64 (<=.f64 x.im #s(literal -33000000000000 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.im))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (*.f64 #s(literal -1 binary64) x.im))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) (if.f64 (<=.f64 x.im #s(literal 1349999999999999866755350528 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (fabs.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (fabs.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) (if.f64 (<=.f64 x.im #s(literal 780000000000000039431392094629131259537187615337958198473589443865282578122104684994895452796553450117041846373011394003208751512059247217710127266905324318097408 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 (*.f64 #s(approx x.re #s(literal 0 binary64)) #s(approx x.re #s(literal 0 binary64))) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im #s(approx x.re #s(literal 0 binary64))) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im #s(approx x.re #s(literal 0 binary64))))))) (/.f64 (sin.f64 (+.f64 (*.f64 (atan2.f64 x.im x.re) y.re) #s(approx (* y.im (* 1/2 (log (+ (* x.im x.im) (* x.re x.re))))) (*.f64 #s(literal -1 binary64) (*.f64 y.im (log.f64 (/.f64 #s(literal 1 binary64) x.im))))))) #s(approx (exp (- (* y.im (atan2 x.im x.re)) (* y.re (* 1/2 (log (+ (* x.im x.im) (* x.re x.re))))))) (exp.f64 (*.f64 y.im (atan2.f64 x.im x.re))))))))
(if.f64 (<=.f64 y.re #s(literal -580000000000000035318263647924383797362032640 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 225000000000000010377491622486033308756234866571085004518503806731814696755177007954468072900008083456 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (fabs.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (fabs.f64 #s(approx (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg.f64 x.re)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))
(if.f64 (<=.f64 y.re #s(literal -880000000 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal -5996419475438757/363419362147803445274661903944002267176820680343659030140745099590319644056698961663095525356881782780381260803133088966767300814307328 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 6000448200243097/342882754299605542703496015699200579379649539745770754382000124278512336359979559197823481221022674600830295333617006984059886491421540493951506482390354393725906168794375391533474387361995876540094533828897487199474622120556760561893297406274466013266278287285969349365133754612883980378790581378220032 binary64)) (/.f64 (sin.f64 (+.f64 (*.f64 (atan2.f64 x.im x.re) y.re) (*.f64 y.im (*.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))))))) #s(approx (exp (- (* y.im (atan2 x.im x.re)) (* y.re (* 1/2 (log (+ (* x.im x.im) (* x.re x.re))))))) (exp.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 13000 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))))
(if.f64 (<=.f64 y.re #s(literal -880000000 binary64)) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (if.f64 (<=.f64 y.re #s(literal 13000 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))
(if.f64 (<=.f64 y.re #s(literal -880000000 binary64)) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 #s(literal 1/2 binary64) y.re)) (sin.f64 (*.f64 (atan2.f64 x.im x.re) y.re)))) (if.f64 (<=.f64 y.re #s(literal 13500 binary64)) (*.f64 #s(approx (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp.f64 (neg.f64 (*.f64 y.im (atan2.f64 x.im x.re))))) #s(approx (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))))) #s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (sqrt.f64 (*.f64 (*.f64 x.im x.im) (*.f64 x.im x.im))) (*.f64 x.re x.re)) (*.f64 #s(literal 1/2 binary64) y.re)) (sin.f64 (*.f64 (atan2.f64 x.im x.re) y.re))))))
#s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (sqrt.f64 (*.f64 (*.f64 x.re x.re) (*.f64 x.re x.re)))) (*.f64 #s(literal 1/2 binary64) y.re)) (sin.f64 (*.f64 (atan2.f64 x.im x.re) y.re))))
#s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (pow.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 #s(literal 1/2 binary64) y.re)) (sin.f64 (*.f64 (atan2.f64 x.im x.re) y.re))))
#s(approx (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (*.f64 (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re))) #s(approx (pow (sqrt (+ (pow x.im 2) (pow x.re 2))) y.re) #s(literal 1 binary64))))
(-.f64 (+.f64 p #s(literal 1 binary64)) (*.f64 (fmin.f64 #s(literal 0 binary64) p) (/.f64 (fmin.f64 #s(literal 0 binary64) p) (-.f64 (fmin.f64 #s(literal 0 binary64) p) #s(literal 1 binary64)))))
(-.f64 (-.f64 p (/.f64 (pow.f64 (fmin.f64 #s(literal 0 binary64) p) #s(literal 2 binary64)) (-.f64 (fmin.f64 #s(literal 0 binary64) p) #s(literal 1 binary64)))) #s(literal -1 binary64))
(-.f64 (+.f64 p #s(literal 1 binary64)) (/.f64 (pow.f64 (fmin.f64 p #s(literal 0 binary64)) #s(literal 2 binary64)) (-.f64 (fmin.f64 p #s(literal 0 binary64)) #s(literal 1 binary64))))
(-.f64 #s(approx (+ p 1) #s(literal 1 binary64)) (/.f64 (pow.f64 (fmin.f64 p #s(literal 0 binary64)) #s(literal 2 binary64)) (-.f64 (fmin.f64 p #s(literal 0 binary64)) #s(literal 1 binary64))))
(+.f64 (*.f64 #s(approx (* (/ 1 6) (/ 1 (pow (* (log u1) -2) -1/2))) (/.f64 #s(literal 1/6 binary64) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal -1/2 binary64)))) (cos.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) u2))) #s(literal 1/2 binary64))
(+.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (log.f64 u1) #s(literal -2 binary64))) #s(literal 1/6 binary64)) (sin.f64 (-.f64 (PI.f64) (*.f64 (-.f64 (+.f64 u2 u2) #s(literal -1/2 binary64)) (PI.f64))))) #s(literal 1/2 binary64))
(+.f64 (*.f64 (*.f64 (cos.f64 (*.f64 u2 (+.f64 (PI.f64) (PI.f64)))) (sqrt.f64 (*.f64 (log.f64 u1) #s(literal -2 binary64)))) #s(literal 1/6 binary64)) #s(literal 1/2 binary64))
(+.f64 (*.f64 (*.f64 (cos.f64 (*.f64 u2 (+.f64 (PI.f64) (PI.f64)))) #s(literal 1/6 binary64)) (sqrt.f64 (*.f64 (log.f64 u1) #s(literal -2 binary64)))) #s(literal 1/2 binary64))
(+.f64 (*.f64 #s(approx (* (/ 1 6) (/ 1 (pow (* (log u1) -2) -1/2))) (/.f64 #s(literal 1/6 binary64) (pow.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1)) #s(literal -1/2 binary64)))) #s(approx (cos (* (* 2 (PI)) u2)) #s(literal 1 binary64))) #s(literal 1/2 binary64))
#s(approx (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) (sqrt.f64 #s(approx (* -2 (log u1)) (*.f64 #s(literal 2 binary64) (log.f64 (/.f64 #s(literal 1 binary64) u1))))))))
#s(approx (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/6 binary64) (sqrt.f64 (*.f64 #s(literal -2 binary64) (log.f64 u1))))))
#s(approx (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (*.f64 (-.f64 (sqrt.f64 (*.f64 (log.f64 u1) #s(literal -2 binary64))) #s(literal -3 binary64)) #s(literal 1/6 binary64)))
(log.f64 (/.f64 x (-.f64 #s(literal 1 binary64) x)))
#s(approx (neg (log (- (/ 1 x) 1))) (+.f64 (log.f64 x) x))
#s(approx (neg (log (- (/ 1 x) 1))) (log.f64 x))
#s(approx (neg (log (- (/ 1 x) 1))) (/.f64 #s(literal -1 binary64) x))
(if.f64 (<=.f64 s #s(literal 1668739871813211/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096 binary64)) (/.f64 (cos.f64 (*.f64 #s(literal 2 binary64) x)) (*.f64 (*.f64 (*.f64 s (*.f64 (*.f64 s x) c)) x) c)) (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (*.f64 (*.f64 s c) x)) (*.f64 (*.f64 s c) x)))
(if.f64 (<=.f64 x #s(literal 7307508186654515/2923003274661805836407369665432566039311865085952 binary64)) (/.f64 #s(approx (/ (cos (+ x x)) (* (* s c) x)) (/.f64 #s(literal 1 binary64) (*.f64 c (*.f64 s x)))) (*.f64 (*.f64 s c) x)) (if.f64 (<=.f64 x #s(literal 4999999999999999909315349154054740991463637108491892860888337397349569053269712469449300329851548412746772308261348178402514182220821421164656873275098572126930396830492460411478655642866237930786475017764864 binary64)) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 s (*.f64 (*.f64 c x) (*.f64 (*.f64 s c) x)))) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 (*.f64 x c) (*.f64 s (*.f64 s (*.f64 c x)))))))
(if.f64 (<=.f64 x #s(literal 7307508186654515/2923003274661805836407369665432566039311865085952 binary64)) (/.f64 #s(approx (/ (cos (+ x x)) (* (* s c) x)) (/.f64 #s(literal 1 binary64) (*.f64 c (*.f64 s x)))) (*.f64 (*.f64 s c) x)) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 s (*.f64 (*.f64 c x) (*.f64 (*.f64 s c) x)))))
(/.f64 (/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 s c) x)) (*.f64 (*.f64 s c) x))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 (*.f64 s c) x) (*.f64 (*.f64 s c) x)))
(if.f64 (<=.f64 s #s(literal 10000000000000000171775323872177191180393104084305455107732328445200031262781885420082626742861173182722545959543542834786931126445173006249634549465088 binary64)) (/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 x c) (*.f64 (*.f64 (*.f64 s s) x) c))) (/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 s c) (*.f64 (*.f64 (*.f64 s x) x) c))))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 s c) (*.f64 (*.f64 (*.f64 s x) x) c)))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 c c) (*.f64 (*.f64 (*.f64 s x) x) s)))
(/.f64 #s(approx (cos (* 2 x)) #s(literal 1 binary64)) (*.f64 (*.f64 c c) (*.f64 (*.f64 (*.f64 s x) s) x)))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (-.f64 re im) #s(approx (+ im re) im))
(*.f64 (+.f64 re re) im)
(if.f64 (<=.f64 re #s(literal -19999999999999999654735515678371196634479565751161864557154294300672 binary64)) (*.f64 #s(literal 1/2 binary64) (exp.f64 (*.f64 #s(approx (log (+ (+ (sqrt (+ (* re re) (* im im))) re) (+ (sqrt (+ (* re re) (* im im))) re))) (+.f64 (log.f64 (/.f64 #s(literal -1 binary64) re)) (log.f64 (pow.f64 im #s(literal 2 binary64))))) #s(literal 1/2 binary64)))) (if.f64 (<=.f64 re #s(literal 71416136230965/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352 binary64)) (*.f64 (sqrt.f64 (+.f64 #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)) #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)))) #s(literal 1/2 binary64)) (if.f64 (<=.f64 re #s(literal 22000 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (+ (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal 4 binary64) re)))))))
(if.f64 (<=.f64 re #s(literal -16499999999999998885706884784847272935894826872977027704767394398631483463011184176096043275510302126003493764375960947453219234023115098638721227217485526334751217068527186870272 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (+ (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 im #s(literal 2 binary64)) re))))) (if.f64 (<=.f64 re #s(literal 71416136230965/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352 binary64)) (*.f64 (sqrt.f64 (+.f64 #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)) #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)))) #s(literal 1/2 binary64)) (if.f64 (<=.f64 re #s(literal 22000 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (+ (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal 4 binary64) re)))))))
(if.f64 (<=.f64 re #s(literal 71416136230965/4925250774549309901534880012517951725634967408808180833493536675530715221437151326426783281860614455100828498788352 binary64)) (*.f64 (sqrt.f64 (+.f64 #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)) #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)))) #s(literal 1/2 binary64)) (if.f64 (<=.f64 re #s(literal 22000 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (+ (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal 4 binary64) re))))))
(if.f64 (<=.f64 re #s(literal 2535301200456459/10141204801825835211973625643008 binary64)) (*.f64 (sqrt.f64 (+.f64 #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)) #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)))) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (+ (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal 4 binary64) re)))))
(*.f64 (sqrt.f64 (+.f64 #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)) #s(approx (+ (sqrt (+ (* re re) (* im im))) re) #s(approx (* im (+ 1 (/ re im))) im)))) #s(literal 1/2 binary64))
(if.f64 (<=.f64 re #s(literal -3199999999999999787627735359118791747552630218171077842525632124659835956804589448297552398506401745056568866397772249313852982157676790821687394304 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (if.f64 (<=.f64 re #s(literal -8924236958169793/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 #s(literal 2 binary64) (-.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))) (if.f64 (<=.f64 re #s(literal 349999999999999977082398796899540174385819355252213370164883576067233347140147216384 binary64)) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (+.f64 im im))) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 (/.f64 im re) im)))))))
(if.f64 (<=.f64 re #s(literal -19000000000000001018918648858612766219271529294930202244204011192320 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (if.f64 (<=.f64 re #s(literal 339999999999999984815804307206829625576824593371778690788974276089217024 binary64)) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 (-.f64 im re) #s(literal 2 binary64)))) #s(literal 1/2 binary64)) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (/.f64 im (/.f64 re im)))) #s(literal 1/2 binary64))))
(if.f64 (<=.f64 re #s(literal -19000000000000001018918648858612766219271529294930202244204011192320 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (if.f64 (<=.f64 re #s(literal 339999999999999984815804307206829625576824593371778690788974276089217024 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 im (+.f64 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) (/.f64 re im))))))) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (/.f64 im (/.f64 re im)))) #s(literal 1/2 binary64))))
(if.f64 (<=.f64 re #s(literal -19000000000000001018918648858612766219271529294930202244204011192320 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (if.f64 (<=.f64 re #s(literal 339999999999999984815804307206829625576824593371778690788974276089217024 binary64)) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 (-.f64 im re) #s(literal 2 binary64)))) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 (/.f64 im re) im))))))
(if.f64 (<=.f64 re #s(literal -19000000000000001018918648858612766219271529294930202244204011192320 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (if.f64 (<=.f64 re #s(literal -207784017051299/76957043352332967211482500195592995713046365762627825523336510555167425334955489475418488779072100860950445293568 binary64)) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 (-.f64 im re) #s(literal 2 binary64)))) #s(literal 1/2 binary64)) (if.f64 (<=.f64 re #s(literal -8924236958169793/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (+.f64 im im))) #s(literal 1/2 binary64)))))
(if.f64 (<=.f64 re #s(literal -61000000000000001154395395843627917390008246875717559787641110528 binary64)) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (*.f64 #s(literal -4 binary64) re)))) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (+.f64 im im))) #s(literal 1/2 binary64)))
(if.f64 (<=.f64 im #s(literal 921786315201311/1707011694817242694164442058424641996069058130512872489061441999811593532881313810309486643423117898430190057111918909554147533223454557460573019149396692491800360340355587726966548041193424390330615044130786970107312831497593974090537952608256 binary64)) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (+.f64 im im))) #s(approx 1/2 #s(literal 0 binary64))) (*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (+.f64 im im))) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 #s(approx (* 2 (- (sqrt (+ (* re re) (* im im))) re)) (+.f64 im im))) #s(literal 1/2 binary64))
(-.f64 (*.f64 (*.f64 (exp.f64 im) #s(literal 1/2 binary64)) (sin.f64 re)) (*.f64 (*.f64 #s(literal -1/2 binary64) (sin.f64 re)) (exp.f64 (neg.f64 im))))
(*.f64 (sin.f64 re) (cosh.f64 im))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -inf.0 binary64)) (*.f64 #s(approx (+ (exp (- 0 im)) (exp im)) (+.f64 #s(literal 2 binary64) (pow.f64 im #s(literal 2 binary64)))) #s(approx (* 1/2 (sin re)) (*.f64 (-.f64 (*.f64 #s(literal -1/12 binary64) (*.f64 re re)) #s(literal -1/2 binary64)) re))) (if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal 1 binary64)) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) (*.f64 (-.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (sin.f64 re))) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (*.f64 re (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 (*.f64 im im) (*.f64 im im))))))))))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -inf.0 binary64)) (*.f64 #s(approx (+ (exp (- 0 im)) (exp im)) #s(literal 2 binary64)) #s(approx (* 1/2 (sin re)) (*.f64 (-.f64 (*.f64 #s(literal -1/12 binary64) (sqrt.f64 (*.f64 (*.f64 re re) (*.f64 re re)))) #s(literal -1/2 binary64)) re))) (if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal 1 binary64)) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) (*.f64 (-.f64 (*.f64 (*.f64 im im) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (sin.f64 re))) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (*.f64 re (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 (*.f64 im im) (*.f64 im im))))))))))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -inf.0 binary64)) (*.f64 #s(approx (+ (exp (- 0 im)) (exp im)) #s(literal 2 binary64)) #s(approx (* 1/2 (sin re)) (*.f64 (-.f64 (*.f64 #s(literal -1/12 binary64) (sqrt.f64 (*.f64 (*.f64 re re) (*.f64 re re)))) #s(literal -1/2 binary64)) re))) (if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal 1 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) #s(approx (+ (exp (- 0 im)) (exp im)) #s(literal 2 binary64))) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (*.f64 re (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 (*.f64 im im) (*.f64 im im))))))))))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -3602879701896397/36028797018963968 binary64)) (*.f64 #s(approx (+ (exp (- 0 im)) (exp im)) #s(literal 2 binary64)) #s(approx (* 1/2 (sin re)) (*.f64 (-.f64 (*.f64 #s(literal -1/12 binary64) (sqrt.f64 (*.f64 (*.f64 re re) (*.f64 re re)))) #s(literal -1/2 binary64)) re))) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (*.f64 re (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 (*.f64 im im) (*.f64 im im)))))))))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) (+.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -3602879701896397/36028797018963968 binary64)) (*.f64 #s(approx (* 1/2 (sin re)) (*.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 (*.f64 #s(literal -1/12 binary64) re) re)))) #s(approx (+ (exp (- 0 im)) (exp im)) #s(literal 2 binary64))) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (*.f64 re (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (*.f64 (*.f64 im im) (*.f64 im im)))))))))
(if.f64 (<=.f64 (*.f64 #s(literal 1/2 binary64) (sin.f64 re)) #s(literal -5764607523034235/288230376151711744 binary64)) (*.f64 #s(approx (* 1/2 (sin re)) (*.f64 re (+.f64 #s(literal 1/2 binary64) (*.f64 (*.f64 #s(literal -1/12 binary64) re) re)))) #s(approx (+ (exp (- 0 im)) (exp im)) #s(literal 2 binary64))) #s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (-.f64 re (*.f64 #s(literal -1/2 binary64) (*.f64 (*.f64 im im) re))))))
#s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (-.f64 re (*.f64 #s(literal -1/2 binary64) (*.f64 (*.f64 im im) re)))))
#s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (+.f64 (*.f64 (*.f64 (*.f64 im re) im) #s(literal 1/2 binary64)) re)))
#s(approx (* (* 1/2 (sin re)) (+ (exp (- 0 im)) (exp im))) #s(approx (+ (sin re) (* 1/2 (* (pow im 2) (sin re)))) (*.f64 re #s(approx (+ 1 (* 1/2 (pow im 2))) #s(literal 1 binary64)))))
(*.f64 (sinh.f64 (neg.f64 im)) (cos.f64 re))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -944473296573929/2361183241434822606848 binary64)) #s(approx (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (sinh.f64 (neg.f64 im))) (if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal 5764607523034235/1152921504606846976 binary64)) #s(approx (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (*.f64 (neg.f64 (cos.f64 re)) im)) #s(approx (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) #s(approx (neg (* im (cos re))) (-.f64 (*.f64 #s(literal 1/2 binary64) (*.f64 im (pow.f64 re #s(literal 2 binary64)))) im)))))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal 0 binary64) im)) (exp.f64 im))) #s(literal -3602879701896397/36028797018963968 binary64)) #s(approx (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (sinh.f64 (neg.f64 im))) #s(approx (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (*.f64 (*.f64 (cos.f64 re) (-.f64 (*.f64 (*.f64 im im) #s(literal -1/6 binary64)) #s(literal 1 binary64))) im)))
(if.f64 (<=.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (-.f64 (exp.f64 (-.f64 #s(literal