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