(FPCore (z0) (log (tan z0)))
(FPCore (z0 z1) (* z1 (log z0)))
(FPCore (z0 z1) (* (- (* (- 1 (cos z0)) z1) -2) 1/2))
(FPCore (z0) (tan (- z0 (* 3/4 PI))))
(FPCore (z0 z1) (- (+ 1 z0) (* (cos (+ z1 z1)) z0)))
(FPCore (z0 z1) (tan (- z0 (* -1/2 z1))))
(FPCore (z0 z1) (tan (- (* 1/2 z1) z0)))
(FPCore (z0 z1) (* (log z0) z1))
(FPCore (z0 z1) (* (cos z1) z0))
(FPCore (z0 z1) (* (sin z0) z1))
(FPCore (z0 z1 z2) (/ (- z1 (log z0)) z2))
(FPCore (z0 z1) (cos (* (+ z1 z0) -1/4)))
(FPCore (z0) (tan (- (* PI 1/4) z0)))
(FPCore (z0 z1) (* z1 (sin z0)))
(FPCore (z0 z1) (tan (- (* z1 1/2) z0)))
(FPCore (z0 z1 z2) (* (- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) -1) z0))
(FPCore (z0 z1 z2) (* -2 (- (* PI 1/4) (atan (* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z1) z0)))))
(FPCore (z0 z1) (- (* (- 1 (cos (+ z1 z1))) z0) -1))
(FPCore (z0 z1) (* (tan z0) z1))
(FPCore (z0 z1) (sin (- (* 1/2 z1) z0)))
(FPCore (z0 z1) (* (sin z1) z0))
(FPCore (z0 z1) (sqrt (+ (* z1 z1) z0)))
(FPCore (z0 z1) (- (* (* (- 1 (cos z0)) 1/2) z1) -1))
(FPCore (z0 z1) (- (log (tan (- (* 1/2 z1) (* 3/4 PI)))) z0))
(FPCore (z0) (tan (* (+ PI z0) 1/4)))
(FPCore (z0 z1) (sin (- (* z1 1/2) z0)))
(FPCore (z0 z1) (tan (* (+ (+ z1 z1) z0) 1/4)))
(FPCore (z0 z1 z2) (* (- (log (tan (- (* z2 1/2) (* 3/4 PI)))) z0) z1))
(FPCore (z0) (* (- (cos z0) 1) 1/2))
(FPCore (z0 z1 z2) (* (/ z1 z0) (sin (* -1/4 (+ PI (+ z2 z2))))))
(FPCore (z0 z1 z2) (atan2 z1 (cos (+ z2 z0))))
(FPCore (z0) (- 1 (cos z0)))
(FPCore (z0 z1) (fabs (cos (+ z1 z0))))
(FPCore (z0 z1) (* (cos (* -1/2 z1)) z0))
(FPCore (z0 z1) (* (sin (* 1/2 z1)) z0))
(FPCore (z0 z1 z2) (pow (tan (+ (* z2 1/2) z0)) (- z1)))
(FPCore (z0 z1) (pow (tan (- (* PI -3/4) (* -1/2 z1))) z0))
(FPCore (z0 z1 z2) (* (* z1 z0) (tan (- (* PI -3/4) (* -1/2 z2)))))
(FPCore (z0 z1) (pow (tan (+ (* PI -3/4) z0)) (- z1)))
(FPCore (z0 z1 z2) (* (pow (tan (- (* PI -3/4) (* -1/2 z2))) (- z1)) z0))
(FPCore (z0 z1) (- z0 (* (sin (* 1/2 z1)) (sqrt 1/2))))
(FPCore (z0 z1) (* (sin (* 1/4 (- (+ z1 z1) PI))) z0))
(FPCore (z0 z1) (/ (* (sqrt 1/2) z0) (cos (* (+ (+ PI z1) z1) -1/4))))
(FPCore (z0 z1 z2) (pow (/ (* (sqrt 1/2) (- (sin (* -1/2 z2)) (cos (* 1/2 z2)))) (sin (- (* 1/2 z2) z0))) z1))
(FPCore (z0 z1 z2) (* z2 (* z1 z0)))
(FPCore (z0 z1 z2) (* (pow (/ (* (sqrt 1/2) (- (sin (* -1/2 z2)) (cos (* 1/2 z2)))) (sin (* 1/4 (- (+ z2 z2) PI)))) z1) z0))
(FPCore (z0 z1) (/ z0 (cos (* (+ (+ PI z1) z1) -1/4))))
(FPCore (z0 z1 z2) (sqrt (/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0))))
(FPCore (z0 z1) (- (- z0) (* (cos (* -1/2 z1)) (sqrt 1/2))))
(FPCore (z0 z1) (* (cos (* (+ (+ PI z1) z1) -1/4)) z0))
(FPCore (z0) (sin (- z0 (* 1/4 PI))))
(FPCore (z0) (sin (- (* 5/4 PI) z0)))
(FPCore (z0) (/ (sqrt 1/2) z0))
(FPCore (z0 z1 z2) (pow (/ z0 (sin (* 1/4 (- (+ z2 z2) PI)))) z1))
(FPCore (z0 z1 z2) (pow (/ (* (sqrt 1/2) (- (sin (* -1/2 z2)) (cos (* 1/2 z2)))) (sin (- z0 (* 1/4 PI)))) z1))
(FPCore (z0) (* (- z0) (sqrt 1/2)))
(FPCore (z0 z1) (* (* (sin (* 1/2 z1)) (sqrt 1/2)) (/ z0 (cos (* (+ (+ PI z1) z1) -1/4)))))
(FPCore (z0) (* (- (cos z0) -1) 1/2))
(FPCore (z0 z1 z2) (* (* (cos z1) z2) z0))
(FPCore (z0 z1 z2) (* z0 (* z2 (cos z1))))
(FPCore (z0 z1) (- (* (* z1 z1) z0) -1))
(FPCore (z0 z1) (- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1))
(FPCore (z0 z1) (* (sqrt z0) z1))
(FPCore (z0 z1 z2) (/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0)))
(FPCore (z0 z1) (sin (- (* -1/2 z1) z0)))
(FPCore (z0) (* (sqrt 1/2) z0))
(FPCore (z0 z1 z2) (* z0 (* z1 z2)))
(FPCore (z0 z1 z2) (* (- (* (* -1/2 z2) (- (cos (+ z1 z1)) 1)) -1) z0))
(FPCore (z0) (- (cos z0) 1))
(FPCore (z0 z1) (- z1 (log (tan z0))))
(FPCore (z0 z1 z2) (* (/ z1 z2) z0))
(FPCore (z0 z1) (tan (* 1/4 (- z0 z1))))
(FPCore (z0) (sin (* -1/4 (+ PI z0))))
(FPCore (z0 z1) (sin (* (+ (+ z1 z1) z0) -1/4)))
(FPCore (z0 z1) (/ z0 (sin (* -1/4 (- PI (+ z1 z1))))))
(FPCore (z0 z1) (sin (- z0 (* z1 -1/2))))
(FPCore (z0 z1) (/ (sin (* (+ (+ z1 z1) PI) -1/4)) z0))
(FPCore (z0 z1) (- (cos z0) (sin (* -1/2 z1))))
(FPCore (z0 z1) (log (* (sqrt 1/2) (fabs (/ z0 (sin (- (* -1/2 z1) (* -1/4 PI))))))))
(FPCore (z0 z1) (log (fabs (* (/ (- (sin (* -1/2 z1)) (cos (* -1/2 z1))) (sin (- (* -1/4 PI) (* -1/2 z1)))) z0))))
(FPCore (z0 z1 z2) (sqrt (/ (- (* z2 (- 1 (cos (+ z1 z1)))) -2) (+ z0 z0))))
(FPCore (z0 z1) (log (* (fabs (/ (- (cos (* -1/2 z1)) (sin (* -1/2 z1))) (sin z0))) (sqrt 1/2))))
(FPCore (z0 z1) (fabs (sin (+ z1 z0))))
(FPCore (z0 z1) (cos (- z0 (* -1/2 z1))))
(FPCore (z0) (tan (- (* PI 13/4) z0)))
(FPCore (z0 z1) (- (cos (* -1/2 z1)) (sin z0)))
(FPCore (z0) (- (sin z0)))
(FPCore (z0) (sin (- z0 (* -1/4 PI))))
(FPCore (z0) (- (cos z0)))
(FPCore (z0 z1 z2) (* (* z1 z0) z2))
(FPCore (z0 z1) (pow (tan (* (+ (+ z1 PI) z1) 1/4)) z0))
(FPCore (z0 z1) (* (* 1/2 z0) (- (cos (+ z1 z1)) -1)))
(FPCore (z0 z1) (pow (* (- -2 (* z1 z0)) 1/2) -2))
(FPCore (z0) (log (fabs (tan z0))))
(FPCore (z0 z1) (+ (log (tan z0)) z1))
(FPCore (z0 z1) (sqrt (- (+ (* (cos (+ z1 z1)) z0) 1) z0)))
(FPCore (z0 z1 z2) (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0))
(FPCore (z0 z1) (pow (- -1 (* (- 1 (cos (+ z1 z1))) z0)) -2))
(FPCore (z0 z1 z2) (sqrt (/ (+ z0 z0) (- (* z2 (- 1 (cos (+ z1 z1)))) -2))))
(FPCore (z0 z1 z2) (* (* 1/2 z0) (- (* (* z1 z1) (- (cos (+ z2 z2)) 1)) -2)))
(FPCore (z0 z1 z2) (- (log (tan (* (+ PI (+ z2 z2)) 1/4))) (- z0 z1)))
(FPCore (z0 z1 z2) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z0))
(FPCore (z0 z1) (pow (- (+ 1 z0) (* (cos (+ z1 z1)) z0)) -2))
(FPCore (z0 z1) (cos (- (* z1 -1/2) z0)))
(FPCore (z0 z1) (pow (- (* (* z1 1/2) z0) -1) -2))
(FPCore (z0) (cos (- z0 (* PI 5/4))))
(FPCore (z0 z1) (sin (- z0 (* -1/2 z1))))
(FPCore (z0 z1 z2) (- z0 (* (sin (* -4 z2)) z1)))
(FPCore (z0 z1 z2) (sqrt (/ (+ z0 z0) (- (* (- 1 (cos (+ z1 z1))) z2) -2))))
(FPCore (z0) (sin (- (* 17/4 PI) z0)))
(FPCore (z0 z1) (log (fabs (/ z0 (sin (- (* PI 3/4) (* z1 -1/2)))))))
(FPCore (z0) (fabs (sin (+ (* PI 3/4) z0))))
(FPCore (z0) (sin (- (* PI 3/4) z0)))
(FPCore (z0 z1) (log (fabs (/ (sin (+ (* z1 1/2) (* 21/4 PI))) z0))))
(FPCore (z0) (- (cos z0) -1))
(FPCore (z0) (sin (- z0 (* 5/4 PI))))
(FPCore (z0 z1 z2) (/ z0 (sqrt (+ (* z1 z1) (* z2 z2)))))
(FPCore (z0 z1 z2) (/ z0 (* z1 z2)))
(FPCore (z0 z1) (- -1 (* (- 1 (cos (+ z1 z1))) z0)))
(FPCore (z0) (* (- 1 (cos z0)) 1/2))
(FPCore (z0 z1 z2) (* (- (* z2 z2) (* (* z1 z1) 3)) z0))
(FPCore (z0 z1 z2) (pow (tan (* (+ z2 z0) 1/4)) (- z1)))
(FPCore (z0 z1) (sqrt (- (* z1 z0) -1)))
(FPCore (z0) (fabs (tan (- z0 (* PI 13/4)))))
(FPCore (z0 z1 z2) (* (/ (cos z1) z0) (cos z2)))
(FPCore (z0 z1) (* (* -881662847/200000000000000000000000000 z1) z0))
(FPCore (z0 z1) (fabs (tan (- (* -1/2 z1) z0))))
(FPCore (z0 z1 z2) (* (- (* (* z2 z2) 3) (* z1 z1)) z0))
(FPCore (z0 z1) (/ (fabs (sin (* -1/4 (- (- PI z1) z1)))) z0))
(FPCore (z0 z1 z2) (* (pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) (* 1/2 z1)) z0))
(FPCore (z0 z1 z2) (- (- (* 149230739/1250000000000000 z1) z0) (- -2946529277/100000000000 (* (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) z2))))
(FPCore (z0 z1) (fabs (sin (- z0 (* -1/2 z1)))))
(FPCore (z0 z1) (/ z0 (fabs (cos (* -1/4 (- (- PI z1) z1))))))
(FPCore (z0 z1) (sqrt (- (* -1/4 (* (- 1 (cos (+ z1 z1))) z0)) -1)))
(FPCore (z0 z1 z2) (/ z0 (sqrt (- (* -1/4 (* (- (cos (+ z1 z1)) 1) (- -1 (cos (+ z2 z2))))) -1))))
(FPCore (z0 z1 z2) (* (* (cos z2) z0) (sin z1)))
(FPCore (z0 z1 z2) (pow (/ (- -1 (* z1 (sin z2))) z0) (* 1/2 z1)))
(FPCore (z0 z1) (- z0 (* 4668270147/10000000000000000 z1)))
(FPCore (z0 z1) (* (* z1 212097503/125000000000000000000000000) z0))
(FPCore (z0) (* 2 (- (atan (exp z0)) (* 1/4 PI))))
(FPCore (z0 z1 z2) (* (* 304747143/200000000000000000000 (+ z2 z1)) z0))
(FPCore (z0 z1) (* (* 212097503/125000000000000000000000000 z1) z0))
(FPCore (z0 z1 z2) (- z0 (* (sin (* -3 z2)) z1)))
(FPCore (z0 z1 z2) (pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) z0))
(FPCore (z0 z1 z2) (* (* (+ z2 z1) z0) (- z1 z2)))
(FPCore (z0 z1) (- (* 6 z0) (* z1 z1)))
(FPCore (z0 z1 z2) (pow (/ (- z0 -1) (- 1 (* z1 (sin z2)))) (* 1/2 z1)))
(FPCore (z0 z1) (* (tan (- (* 1/4 PI) (* 1/2 z1))) z0))
(FPCore (z0 z1 z2) (- z0 (* z1 (sin (* 4 z2)))))
(FPCore (z0 z1) (- (- (* 149230739/1250000000000000 z1) -2946529277/100000000000) z0))
(FPCore (z0 z1) (sqrt (* (- (- 2 (* (cos (+ z1 z1)) z0)) z0) 1/2)))
(FPCore (z0 z1 z2) (- z0 (* (- (* 304747143/100000000000000000000 z1) 4668270147/10000000000000000) z2)))
(FPCore (z0) (- (tan z0)))
(FPCore (z0 z1) (tan (- (- z0 (* 1/2 z1)) (* -1/4 PI))))
(FPCore (z0 z1) (fabs (sin (* -1/4 (- z0 z1)))))
(FPCore (z0 z1) (* (- z0 4668270147/10000000000000000) z1))
(FPCore (z0 z1) (log (* (/ (sqrt 1/2) z0) (- (sin (* -1/2 z1)) (cos (* -1/2 z1))))))
(FPCore (z0) (sqrt (fabs (* -1/2 (- (cos z0) 1)))))
(FPCore (z0) (sin (- z0 (* PI 1/4))))
(FPCore (z0 z1) (- (* -4616990181/250000000000000000000 z1) (* -881662847/200000000000000000000000000 z0)))
(FPCore (z0 z1) (log (fabs (/ z0 (sin (- (* 3/4 PI) (* z1 -1/2)))))))
(FPCore (z0 z1 z2) (* (* 304747143/200000000000000000000 (- z1 z2)) z0))
(FPCore (z0 z1 z2) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) z0)))
(FPCore (z0 z1 z2) (* (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1) z0))
(FPCore (z0 z1) (- -1 (* (* (- 1 (cos z0)) 1/2) z1)))
(FPCore (z0 z1 z2) (* (- 1 (* (* z2 z2) z1)) z0))
(FPCore (z0 z1 z2) (atan (/ z0 (- (* (* z1 (- z2 -1)) z1) 1))))
(FPCore (z0 z1) (* (* z1 z1) z0))
(FPCore (z0 z1 z2) (/ (* z1 z2) z0))
(FPCore (z0 z1 z2) (- (* z1 (- -4668270147/10000000000000000 z0)) (* (* 304747143/200000000000000000000 (+ z2 z1)) (- z2 z1))))
(FPCore (z0 z1 z2) (* (- (* 6 (* z1 z1)) (* z2 z2)) z0))
(FPCore (z0) (sin (+ z0 (* 1/4 PI))))
(FPCore (z0 z1) (- (- z0) (cos (* -1/2 z1))))
(FPCore (z0 z1) (/ z0 (cos z1)))
(FPCore (z0 z1) (* (- (* (* (* z1 z1) z1) z1) z0) -3689471323/1000000000000000000000000000000000))
(FPCore (z0 z1) (sqrt (- (* (* z1 z0) 1/2) -1)))
(FPCore (z0 z1) (log (/ z0 (sin (- (* -1/4 PI) (* -1/2 z1))))))
(FPCore (z0 z1 z2) (* (* (* z2 z1) 3689471323/250000000000000000000000000000000) z0))
(FPCore (z0) (* 4165541759/125000000000000000000000000000000 z0))
(FPCore (z0 z1 z2) (* (* (tan z2) z1) z0))
(FPCore (z0 z1 z2) (* (* 4616990181/500000000000000000000 (- z1 z2)) z0))
(FPCore (z0 z1 z2) (asin (/ z0 (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1)))))
(FPCore (z0 z1 z2) (sqrt (/ (- -2 (* (- 1 (cos (+ z1 z1))) z2)) (+ z0 z0))))
(FPCore (z0 z1) (* (- (sin (* -1/2 z1)) (cos (* 1/2 z1))) z0))
(FPCore (z0 z1 z2) (* (* (* (- 2 z1) z2) z2) z0))
(FPCore (z0 z1 z2) (- (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) z0) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2))))
(FPCore (z0 z1) (* (- (sin (* -1/2 z1)) (cos (* -1/2 z1))) z0))
(FPCore (z0 z1 z2) (* (* 4616990181/500000000000000000000 (+ z2 z1)) z0))
(FPCore (z0 z1) (- z0 (sin (* 1/2 z1))))
(FPCore (z0 z1) (- (- z0) (cos (* 1/2 z1))))
(FPCore (z0 z1 z2) (- z0 (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2))))
(FPCore (z0 z1 z2) (/ (* z2 z1) z0))
(FPCore (z0) (fabs (/ -1 (sin z0))))
(FPCore (z0 z1) (* (log (* (* z0 z0) (fabs (- (* (sin z1) 1/2) -1/2)))) 1/2))
(FPCore (z0 z1) (- z0 (sin (* z1 1/2))))
(FPCore (z0 z1 z2) (* (* z1 (* z2 z2)) z0))
(FPCore (z0 z1 z2) (asin (+ (* (sin z2) (cos z1)) z0)))
(FPCore (z0 z1 z2) (- z0 (* (- (- (* 2644988541/200000000000000000000000000 (* z2 z2)) (* (* z1 z1) 881662847/200000000000000000000000000)) (* 4616990181/250000000000000000000 z2)) z1)))
(FPCore (z0 z1 z2) (+ (* (* z1 z1) (- (* z1 z1) (* 6 z0))) (* (* z2 z2) z0)))
(FPCore (z0 z1) (- (* (* -1/2 (- (cos z0) 1)) z1) -1))
(FPCore (z0) (cos z0))
(FPCore (z0 z1 z2) (pow (/ (- -1 (* (sin z2) z1)) (- z0 1)) (* 1/2 z1)))
(FPCore (z0 z1 z2) (pow (/ (- -1 (* z1 (sin z2))) (- (* z1 (sin z2)) 1)) z0))
(FPCore (z0 z1 z2) (pow (tan (* (+ (+ z2 z2) z0) 1/4)) (/ 1 z1)))
(FPCore (z0 z1 z2) (- z0 (* (* (* 3689471323/250000000000000000000000000000000 (- z1 z2)) z1) (* (+ z2 z1) z2))))
(FPCore (z0 z1) (pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0))
(FPCore (z0 z1 z2) (* (pow (tan (* 1/4 (+ PI (+ z2 z2)))) z1) z0))
(FPCore (z0 z1) (/ (sqrt (- 1 z1)) (- (* (* z1 1/2) z0) -1)))
(FPCore (z0 z1) (- (* z1 z1) (* 6 z0)))
(FPCore (z0 z1 z2) (* (/ z1 z0) z2))
(FPCore (z0 z1 z2) (- (+ z0 (* 2644988541/200000000000000000000000000 (* z2 z2))) (* (* z1 z1) 881662847/200000000000000000000000000)))
(FPCore (z0 z1 z2) (/ z0 (sqrt (* (- (- (cos (+ z1 z1)) 1) (* (* (- (cos (+ z2 z2)) -1) 1/2) (- (cos (+ z1 z1)) -1))) -1/2))))
(FPCore (z0 z1 z2) (* (* (- z1 z2) z0) (+ z2 z1)))
(FPCore (z0 z1) (+ (- (* 149230739/1250000000000000 z1) -9827991/390625000) z0))
(FPCore (z0 z1 z2) (- z0 (- (- (+ (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2)) (* (* (- z2 z1) (+ z2 z1)) (- 4616990181/500000000000000000000 (* (* z2 z1) 4165541759/125000000000000000000000000000000)))) (* (* -212097503/125000000000000000000000000 z1) (- (* (* z2 z2) 3) (* z1 z1)))) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))))
(FPCore (z0 z1) (* (sin (- (* z1 -1/2) (* 5/4 PI))) z0))
(FPCore (z0 z1 z2) (- (* (* (* z1 z1) z1) z1) (* (* z2 z2) z0)))
(FPCore (z0 z1) (/ (+ z0 z0) (- (sin z1) -1)))
(FPCore (z0 z1 z2) (- z0 (* (sin (* 3 z2)) z1)))
(FPCore (z0 z1 z2) (asin (* (/ (sin z1) z0) (cos z2))))
(FPCore (z0 z1 z2) (* (* (* z2 z1) 4165541759/125000000000000000000000000000000) z0))
(FPCore (z0 z1 z2) (- z0 (* (* 212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2)))))
(FPCore (z0 z1 z2) (+ (* (sin (* 3 z2)) z1) z0))
(FPCore (z0 z1 z2) (* z2 (/ z1 z0)))
(FPCore (z0 z1) (/ (sin z1) z0))
(FPCore (z0 z1 z2) (- (- (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))) z0) (* z2 (+ (* (* 4165541759/125000000000000000000000000000000 z1) (* (- z2 z1) (+ z2 z1))) (* 881662847/200000000000000000000000000 (- (* z2 z2) (* (* z1 z1) 3)))))))
(FPCore (z0 z1) (* (- (* (- 1 (cos z0)) z1) -2) -1/2))
(FPCore (z0 z1) (sin (- (* z1 -1/2) z0)))
(FPCore (z0) (sin (- (* 3/4 PI) z0)))
(FPCore (z0 z1) (pow (tan (* 1/4 (+ PI z0))) (/ 1 z1)))
(FPCore (z0 z1 z2) (- z0 (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))))
(FPCore (z0 z1 z2) (pow (tan (- z0 (* z2 -1/2))) (- z1)))
(FPCore (z0 z1) (* (sin (- (* 5/4 PI) (* 1/2 z1))) z0))
(FPCore (z0 z1 z2) (* (- (* (* z1 z1) 3) (* z2 z2)) z0))
(FPCore (z0 z1) (cos (* -1/4 (+ z1 z0))))
(FPCore (z0) (- (* 2 (atan (exp z0))) (* PI 1/2)))
(FPCore (z0 z1 z2) (* (* z2 z0) z1))
(FPCore (z0 z1 z2) (/ (+ z0 z0) (- (* (- (cos (+ z2 z2)) 1) z1) -2)))
(FPCore (z0 z1 z2) (- (- (* (* -4165541759/125000000000000000000000000000000 (* z2 z1)) (* (- z1 z2) (+ z2 z1))) z0) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))))))
(FPCore (z0 z1) (sqrt (- z0 (* (- (cos (+ z1 z1)) 1) 1/2))))
(FPCore (z0 z1 z2) (exp (* (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)) z0)))
(FPCore (z0 z1 z2) (* (* z1 z0) (tan (* (+ (+ z2 z2) PI) 1/4))))
(FPCore (z0 z1 z2) (- (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) z0))
(FPCore (z0 z1 z2) (/ (* (sin z2) z0) (sqrt (* (- (- (cos (+ z1 z1)) 1) (* (* (- (cos (+ z2 z2)) -1) 1/2) (- (cos (+ z1 z1)) -1))) -1/2))))
(FPCore (z0 z1 z2) (asin (* (/ z1 (cos z2)) z0)))
(FPCore (z0 z1 z2) (- (* (atan (* (tan (- -27401669256311/40000000000000 (* 1/4 PI))) (pow (/ z2 z1) z0))) -2) (* 1/2 PI)))
(FPCore (z0 z1) (* (- (* z1 (- 1 (cos z0))) -2) 1/2))
(FPCore (z0 z1) (asin (/ z0 (cos z1))))
(FPCore (z0 z1) (- (* (* (- (cos z0) 1) 1/2) z1) 1))
(FPCore (z0) (cos (* 1/4 (+ PI z0))))
(FPCore (z0 z1) (* (/ (+ z0 z0) (- (sin z1) -1)) (sin (- (* z1 1/2) (* 5/4 PI)))))
(FPCore (z0 z1 z2) (- (+ (+ (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2)) (* (* (- z2 z1) (+ z2 z1)) (- 4616990181/500000000000000000000 (* (* z2 z1) 4165541759/125000000000000000000000000000000)))) z0) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))))
(FPCore (z0 z1) (cos (+ z1 z0)))
(FPCore (z0) (sin z0))
(FPCore (z0 z1 z2) (- (- (* (* 304747143/200000000000000000000 (+ z2 z1)) (- z1 z2)) z0) (* (- (- 4668270147/10000000000000000 (* 4616990181/250000000000000000000 z2)) (- (* (* z1 z1) 881662847/200000000000000000000000000) (* 2644988541/200000000000000000000000000 (* z2 z2)))) z1)))
(FPCore (z0 z1 z2) (pow (/ (- -1 z0) (- (* (sin z2) z1) 1)) (* 1/2 z1)))
(FPCore (z0 z1 z2) (pow (/ z0 (cos (* -1/4 (+ PI (+ z2 z2))))) z1))
(FPCore (z0 z1) (/ (sin (- (* z1 1/2) (* 5/4 PI))) z0))
(FPCore (z0 z1 z2) (sqrt (- (* (* -1/4 (- (cos (+ z2 z2)) -1)) (- -1 (cos (+ z1 z1)))) z0)))
(FPCore (z0 z1 z2) (- z0 (* (* (- z1 z2) 4165541759/125000000000000000000000000000000) (* z2 (* (+ z2 z1) z1)))))
(FPCore (z0 z1 z2) (pow (/ (sin (* 1/4 (+ PI (+ z2 z2)))) z0) z1))
(FPCore (z0 z1) (/ z0 z1))
(FPCore (z0 z1) (fabs (sin (- z0 (* z1 1/2)))))
(FPCore (z0 z1) (asin (* (sin z1) z0)))
(FPCore (z0 z1) (cos (* 1/4 (+ (+ z1 z1) z0))))
(FPCore (z0 z1 z2) (+ (* z2 z2) (* z0 z1)))
(FPCore (z0 z1 z2) (* (pow (tan (* 1/4 (+ (+ z2 PI) z2))) (- z1)) z0))
(FPCore (z0 z1) (* (* (log z0) 1/2) z1))
(FPCore (z0) (/ z0 (tan 27401669256311/20000000000000)))
(FPCore (z0 z1) (pow (tan (- (* PI 13/4) z0)) (/ 1 z1)))
(FPCore (z0 z1) (log (fabs (/ (sin (- (* PI 1/4) (* -1/2 z1))) z0))))
(FPCore (z0 z1 z2) (* (* z2 (pow z0 (- z1))) (pow (tan (- 27401669256311/40000000000000 (* 3/4 PI))) z1)))
(FPCore (z0 z1 z2) (* (* z1 z0) (tan (* (+ PI (+ z2 z2)) 1/4))))
(FPCore (z0 z1 z2) (* (* 1/2 z0) (- (* (- 1 (cos (+ z1 z1))) z2) -2)))
(FPCore (z0 z1 z2) (* (pow (tan (* (+ PI (+ z2 z2)) 1/4)) (- z1)) z0))
(FPCore (z0 z1) (pow (tan (- (* 9/4 PI) (* z1 -1/2))) z0))
(FPCore (z0 z1) (* z1 (sqrt z0)))
(FPCore (z0 z1 z2) (* z0 (* z2 z1)))
(FPCore (z0 z1) (atan2 (sin z1) (sqrt z0)))
(FPCore (z0 z1) (- -1 (* (* -1/2 (- (cos z0) 1)) z1)))
(FPCore (z0 z1 z2) (pow (tan (- z0 (* -1/2 z2))) (/ 1 z1)))
(FPCore (z0 z1 z2) (* (- (log (tan (- (* -3/4 PI) (* z2 -1/2)))) z0) z1))
(FPCore (z0 z1 z2) (* (+ (cos (* z1 z2)) z0) 1/2))
(FPCore (z0 z1) (- (log (fabs (tan (+ (* 1/2 z1) (* 5/4 PI))))) z0))
(FPCore (z0 z1) (* (/ (sqrt 1/2) z0) (- (sin (* -1/2 z1)) (cos (* 1/2 z1)))))
(FPCore (z0 z1) (/ z0 (- (sin z1) -1)))
(FPCore (z0 z1) (* (cos (* (- (+ z1 z1) PI) 1/4)) z0))
(FPCore (z0) (* (fabs z0) E))
(FPCore (z0 z1 z2) (* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z1)) z0))
(FPCore (z0 z1) (pow (tan (- (* 21/4 PI) (* z1 -1/2))) z0))
(FPCore (z0 z1) (log (fabs (/ (sin (- (* 5/4 PI) (* -1/2 z1))) z0))))
(FPCore (z0 z1) (* (- (* z1 z1) 1) z0))
(FPCore (z0 z1) (tan (* (- z0 z1) 1/2)))
(FPCore (z0) (/ (sqrt 1/2) (- z0)))
(FPCore (z0 z1 z2) (atan2 z0 (sqrt (* (- (+ (- (cosh (+ z1 z1)) 1) (cos (+ z2 z2))) -1) 1/2))))
(FPCore (z0 z1 z2) (sqrt (- z0 (* (* z1 z2) z1))))
(FPCore (z0 z1 z2) (+ (* (sin (+ z2 z2)) z1) z0))
(FPCore (z0 z1 z2) (* (* (cos z1) z0) z2))
(FPCore (z0 z1 z2) (/ z1 (* (cos z2) z0)))
(FPCore (z0 z1 z2) (* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))) z0))
(FPCore (z0 z1) (* (- (* (- (cos z0) 1) z1) -2) 1/2))
(FPCore (z0) (* 1/2 (- (cos z0) 1)))
(FPCore (z0 z1 z2) (pow (/ (- -1 (* z1 (sin z2))) (- z0 1)) (* 1/2 z1)))
(FPCore (z0 z1) (/ (+ z0 z0) (- 1 (sin (* -1 z1)))))
(FPCore (z0 z1 z2) (cos (- z0 (* z1 z2))))
(FPCore (z0 z1 z2) (* z1 (* z2 z0)))
(FPCore (z0 z1) (* (* (- 2 z1) z1) z0))
(FPCore (z0 z1 z2) (- z2 (* (* z1 z0) z2)))
(FPCore (z0 z1) (* (tan (+ (* 9/4 PI) (* -1/2 z1))) z0))
(FPCore (z0 z1 z2) (- (* -4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) z0))
(FPCore (z0 z1 z2) (sqrt (* (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z1))) z0)))
(FPCore (z0 z1 z2) (* (- (* (* 1/2 z2) (- (cos (+ z1 z1)) 1)) 1) z0))
(FPCore (z0 z1) (- 1 (* (- 1 (cos (+ z1 z1))) z0)))
(FPCore (z0 z1) (log (/ z0 (cos (* 1/4 (+ (+ z1 z1) PI))))))
(FPCore (z0 z1 z2) (pow (/ (- -1 z0) (- (* z1 (sin z2)) 1)) (* 1/2 z1)))
(FPCore (z0) (- 1/2 (* (cos z0) 1/2)))
(FPCore (z0) (tan (- (* PI 5/4) z0)))
(FPCore (z0 z1 z2) (* (/ (cos z2) z0) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1))))
(FPCore (z0 z1 z2) (* (* (* (* z1 z2) z1) z2) z0))
(FPCore (z0 z1 z2) (* (pow (tan (- (* 9/4 PI) (* z2 -1/2))) (- z1)) z0))
(FPCore (z0) (fabs (sin (- z0 (* -1/4 PI)))))
(FPCore (z0 z1 z2) (/ z0 (- (* (* (* z1 1/2) z1) (- (cos (+ z2 z2)) 1)) -1)))
(FPCore (z0 z1) (- (+ -1 z0) (* (cos (+ z1 z1)) z0)))
(FPCore (z0 z1) (* (/ (sqrt 1/2) (sin (- (* 5/4 PI) (* 1/2 z1)))) z0))
(FPCore (z0 z1 z2) (+ (* (* z2 z2) z0) (* (* z1 z1) (+ (* -6 z0) (* 4165541759/500000000000000000000000000000000 (* z1 z1))))))
(FPCore (z0 z1 z2) (* (* z1 z2) z0))
(FPCore (z0 z1 z2) (/ (sqrt (- 1 z1)) (- (- (* (cos (+ z2 z2)) z0) -1) z0)))
(FPCore (z0 z1) (- (* 3 z0) (* z1 z1)))
(FPCore (z0 z1) (sqrt (- 1 (* z1 z0))))
(FPCore (z0 z1 z2) (+ (* (* z2 z2) z1) z0))
(FPCore (z0) (/ 2 (sqrt z0)))
(FPCore (z0 z1 z2) (/ z2 (+ (* z0 z1) z2)))
(FPCore (z0 z1 z2) (- z1 (* z2 (- (* -4 z0) 3))))
(FPCore (z0 z1 z2) (- (* -1/2 PI) (* -2 (atan (* (exp z1) (pow z0 z2))))))
(FPCore (z0 z1) (fabs (cos (- (* z1 1/2) z0))))
(FPCore (z0) (sqrt (- (* z0 z0) -1)))
(FPCore (z0) (tan (- z0 -27401669256311/20000000000000)))
(FPCore (z0 z1) (/ z0 (sin (+ (* 1/2 z1) (* PI 3/4)))))
(FPCore (z0 z1) (pow (tan (- (* PI 1/4) z0)) (- z1)))
(FPCore (z0 z1) (* 1/2 (+ (- (cos z0) -1) (- (cosh (+ z1 z1)) 1))))
(FPCore (z0 z1 z2) (* (- (* (- 1 (cos (+ z1 z1))) (* -1/2 z2)) 1) z0))
(FPCore (z0 z1) (asin (/ z1 (sqrt z0))))
(FPCore (z0 z1) (* (cos (* 1/4 (- (+ z1 z1) PI))) z0))
(FPCore (z0 z1 z2) (/ (* (cos z2) z1) z0))
(FPCore (z0 z1 z2) (* 2 (- (atan (* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z1)) z0)) (* 1/4 PI))))
(FPCore (z0 z1 z2) (asin (/ z0 (sqrt (- 1 (* z1 (- 1/2 (* (cos (+ z2 z2)) 1/2))))))))
(FPCore (z0 z1) (sin (- z0 (* 1/2 z1))))
(FPCore (z0 z1) (* (- 1 (* z1 z1)) z0))
(FPCore (z0 z1 z2) (* (* z1 z0) (tan (- (* 9/4 PI) (* z2 -1/2)))))
(FPCore (z0 z1 z2) (/ (* (sqrt z2) z1) z0))
(FPCore (z0 z1 z2) (atan (/ z0 (* z1 z2))))
(FPCore (z0 z1) (tan (* (+ z1 z0) 1/4)))
(FPCore (z0 z1) (log (/ (sin (* 1/4 (+ (+ z1 z1) PI))) z0)))
(FPCore (z0) (tan (- -27401669256311/20000000000000 z0)))
(FPCore (z0 z1) (* (cos (* -1/2 z1)) (* (sqrt 1/2) z0)))
(FPCore (z0 z1) (/ z0 (sin (- (* 1/2 z1) (* 1/4 PI)))))
(FPCore (z0 z1) (log (fabs (/ z0 (sin (- (* PI 1/4) (* z1 1/2)))))))
(FPCore (z0) (/ z0 E))
(FPCore (z0 z1) (log (fabs (/ z0 (sin (- (* 1/2 z1) (* 1/4 PI)))))))
(FPCore (z0 z1 z2) (- (* (* (* 4165541759/500000000000000000000000000000000 z2) z2) (- (* z2 z2) (* 6 (* z1 z1)))) z0))
(FPCore (z0) (fabs (sin (- (* PI 1/4) z0))))
(FPCore (z0 z1 z2) (* (pow (/ (- -1 (* z1 (sin z2))) (- (* z1 (sin z2)) 1)) (* 1/2 z1)) z0))
(FPCore (z0 z1 z2) (- (* (cos z2) z0) (* (sin z2) z1)))
(FPCore (z0 z1 z2) (* (- (log (fabs (/ (sin (- (* 5/4 PI) (* z2 -1/2))) (sin (+ (* z2 -1/2) (* 1/4 PI)))))) z0) z1))
(FPCore (z0 z1 z2) (* (* z1 z0) (tan (* 1/4 (+ (+ z2 PI) z2)))))
(FPCore (z0 z1) (- (log (tan (+ (* 9/4 PI) (* 1/2 z1)))) z0))
(FPCore (z0 z1 z2) (* (- z1 (log (tan (- (* 17/4 PI) (* z2 -1/2))))) z0))
(FPCore (z0 z1 z2) (sqrt (- z0 (* (* z1 z1) z2))))
(FPCore (z0 z1 z2) (- (* PI -1/2) (* -2 (atan (* (pow (tan (- (* 21/4 PI) (* -1/2 z2))) (/ 1 z1)) z0)))))
(FPCore (z0 z1) (* (* -2 (atanh z1)) z0))
(FPCore (z0 z1 z2) (pow (/ (sin (* (+ (+ z2 z2) PI) 1/4)) z0) (- z1)))
(FPCore (z0 z1 z2) (pow (/ z0 (cos (* -1/4 (+ (+ z2 z2) PI)))) (- z1)))
(FPCore (z0 z1 z2) (sin (- z0 (* z1 z2))))
(FPCore (z0 z1) (- (- z0 -1/2) (* (cos (+ z1 z1)) -1/2)))
(FPCore (z0 z1 z2) (asin (- (* (sin z2) (cos z1)) z0)))
(FPCore (z0) (* 4165541759/500000000000000000000000000000000 z0))
(FPCore (z0 z1) (/ (sqrt (- (* z1 z1) 1)) z0))
(FPCore (z0 z1) (* (tan (* 1/4 (+ (+ z1 z1) PI))) z0))
(FPCore (z0 z1 z2) (- (- (* (* (- z1 z2) (+ z2 z1)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000)) z0) (- (* (* 212097503/125000000000000000000000000 z2) (- (* 3 (* z1 z1)) (* z2 z2))) (* -4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))))
(FPCore (z0 z1) (- (- (* (cos (+ z1 z1)) z0) -1) z0))
(FPCore (z0) (* (- PI z0) 1/4))
(FPCore (z0 z1 z2) (+ (- (* (* (- z2 z1) (+ z2 z1)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000)) (- (* -4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) (* (* 212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2))))) (- z0 (* (- (- 4668270147/10000000000000000 (* 4616990181/250000000000000000000 z2)) (- (* (* z1 z1) 881662847/200000000000000000000000000) (* 2644988541/200000000000000000000000000 (* z2 z2)))) z1))))
(FPCore (z0 z1 z2) (- (+ z0 (* 2644988541/200000000000000000000000000 (* z2 z2))) (* 881662847/200000000000000000000000000 (* z1 z1))))
(FPCore (z0 z1 z2) (- (- (* (* (- z2 z1) (+ z2 z1)) (- (* (* z2 z1) -3689471323/250000000000000000000000000000000) 304747143/200000000000000000000)) (* (- (- 4668270147/10000000000000000 (* 4616990181/250000000000000000000 z2)) (- (* 881662847/200000000000000000000000000 (* z1 z1)) (* 2644988541/200000000000000000000000000 (* z2 z2)))) z1)) (- (- z0 (* (* -212097503/125000000000000000000000000 z2) (- (* z2 z2) (* 3 (* z1 z1))))) (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))))
(FPCore (z0 z1 z2) (- (- z0 (* z2 (- (* (* 3689471323/250000000000000000000000000000000 z1) (* (- z2 z1) (+ z2 z1))) (* (- (* z2 z2) (* (* z1 z1) 3)) -212097503/125000000000000000000000000)))) (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2))))))
(FPCore (z0) (sin (- (* 1/4 PI) z0)))
(FPCore (z0 z1 z2) (* (- (* z2 z2) (* 3 (* z1 z1))) z0))
(FPCore (z0) (- z0 -1))
(FPCore (z0 z1 z2) (* (* (- z2 z1) z0) 304747143/200000000000000000000))
(FPCore (z0 z1 z2) (* (- (* 4616990181/250000000000000000000 z2) z0) z1))
(FPCore (z0) (* (sqrt 1/2) (fabs z0)))
(FPCore (z0 z1) (* (* (sin (* 1/2 z1)) z0) (cos (* 1/4 (- (+ z1 z1) PI)))))
(FPCore (z0 z1 z2) (- (* (* (+ z2 z1) (- z1 z2)) (- -4616990181/500000000000000000000 (* (* z2 z1) -4165541759/125000000000000000000000000000000))) (- (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* (* z1 z1) 3))) z0)))
(FPCore (z0 z1) (sqrt (fabs (/ (- -1 z1) z0))))
(FPCore (z0 z1) (/ z0 (fabs (sin (* -1/4 (+ PI (+ z1 z1)))))))
(FPCore (z0 z1) (pow (tan (- (* PI 5/4) z0)) (- z1)))
(FPCore (z0 z1) (pow (tan (* 1/4 (+ (+ z1 z1) PI))) z0))
(FPCore (z0 z1 z2) (* (* z1 z0) (tan (* (+ (+ z2 PI) z2) 1/4))))
(FPCore (z0 z1) (pow (tan (- (* 13/4 PI) (* z1 -1/2))) z0))
(FPCore (z0 z1 z2) (* (- (* z2 z2) (* 6 (* z1 z1))) z0))
(FPCore (z0 z1 z2) (* (- (- z0 (* 2644988541/200000000000000000000000000 (* z2 z2))) (* -881662847/200000000000000000000000000 (* z1 z1))) z1))
(FPCore (z0 z1) (* z0 (cos z1)))
(FPCore (z0 z1 z2) (* (* (- z1 z2) -4165541759/125000000000000000000000000000000) z0))
(FPCore (z0 z1) (/ z0 (cos (* -1/4 (+ (+ PI z1) z1)))))
(FPCore (z0 z1) (* (- -1 (cos (+ z1 z1))) z0))
(FPCore (z0 z1 z2) (pow (/ z0 (cos (* 1/4 (+ PI (+ z2 z2))))) (/ 1 z1)))
(FPCore (z0 z1) (pow (tan (- (* z1 1/2) (* PI 3/4))) z0))
(FPCore (z0 z1 z2) (+ (* (pow z0 4) z1) z2))
(FPCore (z0 z1) (- (* z1 z1) (* 3 z0)))
(FPCore (z0 z1 z2) (- (- (* z1 (- (* (- (* (* z2 z2) 3) (* z1 z1)) 212097503/125000000000000000000000000) (- (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1) (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2))))) z0) (* z2 (+ (* (* 3689471323/1000000000000000000000000000000000 z2) (- (* 6 (* z1 z1)) (* z2 z2))) (* 881662847/200000000000000000000000000 (- (* z2 z2) (* (* z1 z1) 3)))))))
(FPCore (z0 z1 z2) (- z0 (* z1 (sin (+ z2 z2)))))
(FPCore (z0 z1) (* (* 1/4 z0) (- (cos (+ z1 z1)) -1)))
(FPCore (z0 z1 z2) (* (* z2 z1) z0))
(FPCore (z0) (cos (* (+ PI z0) 1/4)))
(FPCore (z0 z1) (log (/ (sin (* 1/4 (+ PI (+ z1 z1)))) z0)))
(FPCore (z0 z1) (- (* (* (sqrt 1/2) (cos (* 1/4 (- (+ z1 z1) PI)))) (cos (* -1/2 z1))) z0))
(FPCore (z0 z1 z2) (- z0 (* (* (- z1 z2) -3689471323/250000000000000000000000000000000) (* z2 (* (+ z2 z1) z1)))))
(FPCore (z0 z1 z2) (- (- z0 (* z2 (- (* (* 3689471323/250000000000000000000000000000000 z1) (* (- z2 z1) (+ z2 z1))) (* (- (* z2 z2) (* (* z1 z1) 3)) -212097503/125000000000000000000000000)))) (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))))))
(FPCore (z0 z1 z2) (- (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))) z0))
(FPCore (z0 z1) (- (* (* (sqrt 1/2) (cos (* (- (+ z1 z1) PI) 1/4))) (cos (* -1/2 z1))) z0))
(FPCore (z0 z1) (* (* -3689471323/1000000000000000000000000000000000 z0) z1))
(FPCore (z0 z1) (sqrt (fabs (* z0 (- 1 z1)))))
(FPCore (z0 z1) (* (/ 2 z0) (* (* (sqrt 1/2) (cos (* 1/4 (- (+ z1 z1) PI)))) (+ (sin (* -1/2 z1)) (cos (* -1/2 z1))))))
(FPCore (z0 z1 z2) (- z0 (* (* 1/4 (- (cos (+ z1 z1)) -1)) (- -1 (cos (+ z2 z2))))))
(FPCore (z0 z1 z2) (* (- (* (* -4165541759/125000000000000000000000000000000 (- z1 z2)) z0) (* (* (* z1 z1) z1) 3689471323/1000000000000000000000000000000000)) z1))
(FPCore (z0 z1 z2) (* (* 1/2 z0) (- -2 (* (- 1 (cos (+ z1 z1))) z2))))
(FPCore (z0 z1) (- z0 (* (* (sqrt 1/2) (sin (* 1/2 z1))) (cos (* 1/4 (- (+ z1 z1) PI))))))
(FPCore (z0 z1) (sqrt (fabs (* (* (- 1 z1) E) z0))))
(FPCore (z0 z1 z2) (* (* (* z2 z1) -3689471323/250000000000000000000000000000000) z0))
(FPCore (z0 z1) (- (log (tan (- (* 5/4 PI) (* -1/2 z1)))) z0))
(FPCore (z0) (* (- (cos z0) -1) -1/2))
(FPCore (z0 z1 z2) (- (- z0 (* z2 (- (* (* 3689471323/250000000000000000000000000000000 z1) (* (- z2 z1) (+ z2 z1))) (* (- (* z2 z2) (* (* z1 z1) 3)) -212097503/125000000000000000000000000)))) (* -4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))))
(FPCore (z0 z1) (- (sqrt (fabs (* z0 (- 1 z1))))))
(FPCore (z0 z1 z2) (- (* (* (sin z1) z0) z2) -1))
(FPCore (z0 z1) (fabs (* (- (cos (* z1 1/2)) (sin (* z1 1/2))) z0)))
(FPCore (z0 z1) (* (log (/ (- (* (- z1 -2) z1) -1) (fabs (- 1 (* z1 z1))))) z0))
(FPCore (z0 z1 z2) (* 4165541759/500000000000000000000000000000000 (+ (* (* z2 z2) z0) (* (* (* z1 z1) z1) z1))))
(FPCore (z0 z1 z2) (* (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1)) z0))
(FPCore (z0 z1) (atan2 z1 (cos z0)))
(FPCore (z0 z1 z2) (- (- (* (* (- z2 z1) (+ z2 z1)) (- (* -3689471323/250000000000000000000000000000000 (* z2 z1)) 304747143/200000000000000000000)) (* (- (- 4668270147/10000000000000000 (* 4616990181/250000000000000000000 z2)) (- (* (* z1 z1) 881662847/200000000000000000000000000) (* 2644988541/200000000000000000000000000 (* z2 z2)))) z1)) (- (- (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))) z0) (* (* 212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2))))))
(FPCore (z0 z1 z2) (- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) z0))
(FPCore (z0 z1 z2) (/ (+ z0 z0) (fabs (- (* (- 1 (cos (+ z1 z1))) z2) -2))))
(FPCore (z0 z1) (pow (- (* (- 1 (cos (+ z1 z1))) z0) -1) 2))
(FPCore (z0) (fabs (sin (- (* PI -3/4) z0))))
(FPCore (z0 z1 z2) (/ (- z1 z0) z2))
(FPCore (z0 z1 z2) (+ (* z1 (+ (* -212097503/125000000000000000000000000 (- (* (* z2 z2) 3) (* z1 z1))) (- (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1) (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2))))) (- (- z0 (* (* (+ z2 z1) -4616990181/500000000000000000000) (- z1 z2))) (* z2 (+ (* (- (* z2 z2) (* (* z1 z1) 3)) -881662847/200000000000000000000000000) (* 3689471323/1000000000000000000000000000000000 (* (- (* z2 z2) (* 6 (* z1 z1))) z2)))))))
(FPCore (z0 z1 z2) (* (* z2 (/ z1 (sin 27401669256311/20000000000000))) z0))
(FPCore (z0) (* 881662847/200000000000000000000000000 z0))
(FPCore (z0 z1 z2) (+ (* (sin (* 4 z2)) z1) z0))
(FPCore (z0 z1 z2) (pow (/ z0 (cos (* -1/4 (+ (+ z2 PI) z2)))) (- z1)))
(FPCore (z0 z1) (* (* 3689471323/1000000000000000000000000000000000 (* z1 z1)) z0))
(FPCore (z0 z1 z2) (- z0 (* (* (sin z2) z1) (- (* (cos (+ z2 z2)) -2) 1))))
(FPCore (z0 z1 z2) (- (- z0 (* z2 (+ (* z1 (* (* -3689471323/250000000000000000000000000000000 (- z1 z2)) (+ z2 z1))) (* (- (* 3 (* z1 z1)) (* z2 z2)) -212097503/125000000000000000000000000)))) (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))))))
(FPCore (z0 z1 z2) (pow (/ (sin (* (+ (+ z2 PI) z2) 1/4)) z0) (- z1)))
(FPCore (z0 z1) (sqrt (* (fabs (- z1 -1)) (/ z0 E))))
(FPCore (z0 z1) (/ z0 (fabs (sin (+ (* 1/4 PI) (* z1 -1/2))))))
(FPCore (z0) (sqrt (* (- 1 (cos z0)) 1/2)))
(FPCore (z0 z1) (* (/ 2 z0) (* (* (sqrt 1/2) (cos (* (- (+ z1 z1) PI) 1/4))) (+ (sin (* -1/2 z1)) (cos (* -1/2 z1))))))
(FPCore (z0 z1) (- (sin (* z1 1)) z0))
(FPCore (z0 z1 z2) (- (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2)))) z0))
(FPCore (z0 z1) (sqrt (- (* (* 1/2 z1) z0) -1)))
(FPCore (z0 z1) (- (* -1/2 (cos (+ z1 z1))) (- z0 1/2)))
(FPCore (z0 z1 z2) (- (log (tan (* (+ (+ z2 z2) PI) 1/4))) (- z0 z1)))
(FPCore (z0 z1 z2) (- (- (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2)))) z0) (* (* 212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2)))))
(FPCore (z0) (cos (* (- z0 PI) 1/4)))
(FPCore (z0 z1 z2) (* (/ z1 (cos z2)) z0))
(FPCore (z0 z1 z2) (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* z1 1/2)) z0))
(FPCore (z0 z1) (cos (* (+ (+ z1 z1) z0) 1/4)))
(FPCore (z0 z1 z2) (* (- z0 (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2))) z1))
(FPCore (z0 z1) (- z0 (* (* (sqrt 1/2) (sin (* 1/2 z1))) (cos (* (- (+ z1 z1) PI) 1/4)))))
(FPCore (z0 z1 z2) (- (- (* (* -3689471323/1000000000000000000000000000000000 (* z2 z2)) (- (* z2 z2) (* 6 (* z1 z1)))) z0) (* (- (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2)) (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1)) z1)))
(FPCore (z0 z1 z2) (- (* z2 (+ (* 881662847/200000000000000000000000000 (- (* z2 z2) (* (* z1 z1) 3))) (* (* (+ z2 z1) z1) (* (- z1 z2) -4165541759/125000000000000000000000000000000)))) z0))
(FPCore (z0) (* -4165541759/125000000000000000000000000000000 z0))
(FPCore (z0 z1 z2) (* (* -4616990181/500000000000000000000 (+ z2 z1)) z0))
(FPCore (z0 z1) (fabs (- (* (- 1 (cos (+ z1 z1))) z0) -1)))
(FPCore (z0 z1 z2) (* (pow (tan (- (* 13/4 PI) (* z2 -1/2))) (- z1)) z0))
(FPCore (z0 z1) (* (- (* z1 (- (cos z0) 1)) -2) 1/2))
(FPCore (z0 z1) (- z0 (sin (* -1 z1))))
(FPCore (z0 z1 z2) (* (* 1/2 z2) (- 2 (* z1 z0))))
(FPCore (z0 z1 z2) (- (* (* (+ z2 z1) (- z1 z2)) (+ (* (* z2 z1) -4165541759/125000000000000000000000000000000) 4616990181/500000000000000000000)) z0))
(FPCore (z0 z1) (- (fabs (* z1 (atan z0)))))
(FPCore (z0 z1 z2) (- (- (* (* (+ z2 z1) -4616990181/500000000000000000000) (- z1 z2)) (- (* (- (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1) (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2))) z1) z0)) (* z2 (+ (* (* 3689471323/1000000000000000000000000000000000 z2) (- (* 6 (* z1 z1)) (* z2 z2))) (* 881662847/200000000000000000000000000 (- (* z2 z2) (* (* z1 z1) 3)))))))
(FPCore (z0 z1) (+ (* (sin (* -1 z1)) -1/2) (+ -1/2 z0)))
(FPCore (z0 z1 z2) (* (- z1 (log (tan (+ (* z2 1/2) (* 17/4 PI))))) z0))
(FPCore (z0 z1) (/ z0 (fabs (- 1 (* z1 z1)))))
(FPCore (z0 z1 z2) (- z0 (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))))
(FPCore (z0 z1 z2) (- z0 (* (- (* 4616990181/250000000000000000000 z2) (- (* -881662847/200000000000000000000000000 (* z1 z1)) (* -2644988541/200000000000000000000000000 (* z2 z2)))) z1)))
(FPCore (z0 z1 z2) (- (- z0 (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2))) (* (* -4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2))))
(FPCore (z0 z1 z2) (- (- (* (* -212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2))) z0) (* -4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))))))
(FPCore (z0 z1 z2) (* (- (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1) (* (* (+ z2 z1) z2) z0)) z1))
(FPCore (z0 z1) (* (* -4165541759/500000000000000000000000000000000 z0) z1))
(FPCore (z0 z1 z2) (asin (+ (* (cos z2) z0) (* z1 (sin z2)))))
(FPCore (z0 z1 z2) (- (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) z0) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1)))))
(FPCore (z0 z1) (sin (- z0 (* 1/4 (- (- PI z1) z1)))))
(FPCore (z0 z1 z2) (- (* z2 (log z0)) z1))
(FPCore (z0 z1 z2) (* (- (* 3 (* z1 z1)) (* z2 z2)) z0))
(FPCore (z0 z1 z2) (- (- (- (* (* (+ z2 z1) (- z1 z2)) (+ (* (* z2 z1) -4165541759/125000000000000000000000000000000) 4616990181/500000000000000000000)) (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2))) (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) z0)) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2))))))
(FPCore (z0 z1 z2) (- (* (- z0) z1) (* z2 z2)))
(FPCore (z0 z1) (* (- (- z0 z1) z1) -1/4))
(FPCore (z0) (* (- PI z0) -1/4))