(((- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) . 73) ((* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) . 73) ((* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) . 67) ((- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) . 65) ((- 1/2 (* (cos (+ z0 z0)) 1/2)) . 34) ((- 1 (cos (+ z0 z0))) . 33) ((* z1 (* z2 (cos z0))) . 20) ((* (sin z1) z0) . 20) ((* (- 1 (cos (+ z0 z0))) 1/2) . 20) ((* (sin z0) z1) . 18) ((* (sin (* z1 3)) z0) . 17) ((* (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)) . 16) ((* (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1)) . 16) ((sin (* z0 3)) . 15) ((* (cos z0) z1) . 14) ((+ (* (sin (* z2 3)) z1) (* (sin z2) z0)) . 10) ((* (* z1 z0) z0) . 9) ((sqrt (- (* (/ z0 (* z1 z1)) z0) -1)) . 9) ((* (/ z0 (* z1 z1)) z0) . 8) ((- (* (/ z0 (* z1 z1)) z0) -1) . 8) ((/ z1 (cos z0)) . 7) ((sqrt (+ (* z0 z0) (* z1 z1))) . 7) ((pow (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) -2) . 6) ((* (* z1 z0) z1) . 6) ((* (sin (* 4 z1)) z0) . 6) ((* (sin (+ z1 z1)) z0) . 6) ((* (tan z1) z0) . 5) ((* (- 1 (* z2 z2)) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1)) . 5) ((* (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1)) . 4) ((* (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (pow (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) -2)) . 4) ((* (* z2 z1) z0) . 4) ((/ z0 (* z1 z1)) . 4) ((pow (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) -2) . 4) ((* (/ z0 z1) z2) . 4) ((* (* (- 1 (* (* z1 z0) z0)) (- 1 (* (* z1 z0) z0))) (* z2 z2)) . 3) ((/ (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)) . 3) ((pow (sin z0) 3) . 3) ((* (pow (sin z0) 3) 4) . 3) ((/ (* z2 z1) (sqrt (+ (* z2 z2) (* z0 z0)))) . 3) ((* (sin (- (* -3 z1) PI)) z0) . 3) ((sin (- (* -3 z0) PI)) . 3) ((* (sin z0) 3) . 3) ((sqrt (/ (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1))) . 3) ((* (/ z1 (cos z0)) z2) . 3) ((* (pow (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) -2) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1)) . 3) ((* (- 1 (* (* z1 z0) z0)) z2) . 3) ((- (* (* (- 1 (* (* z1 z0) z0)) (- 1 (* (* z1 z0) z0))) (* z2 z2)) 1) . 3) ((* (- 1 (* (* z2 z1) z2)) (tan z0)) . 3) ((* (* (* (- 2 z0) z2) z1) (* (* z2 z1) z0)) . 3) ((/ (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1)) . 2) ((* (/ z0 z1) z0) . 2) ((- (* (sin (+ z2 z2)) (- z0)) (* (sin (* 4 z2)) z1)) . 2) ((* (* (- 2 z0) z2) z1) . 2) ((sqrt (/ (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1))) . 2) ((* (sin (+ z1 z1)) (- z0)) . 2) ((* (* (cos z1) z2) (sin z0)) . 2) ((/ (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)) . 2) ((/ z1 (sqrt (+ (* z0 z0) (* z1 z1)))) . 2) ((* (cos z1) (tan z0)) . 2) ((* (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1) (pow (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) -2)) . 2) ((- -1 (* (- 1 (cos (+ z0 z0))) (* 1/2 z1))) . 2) ((sqrt (/ (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1))) . 2) ((- (* (cos z2) (tan z1)) (* (sin z2) z0)) . 2) ((* z1 (* (sin z2) z0)) . 2) ((/ (* z1 z0) (sqrt (+ (* z2 z2) (* z0 z0)))) . 2) ((/ z1 (sqrt (+ (* z2 z2) (* z0 z0)))) . 2) ((sqrt (- 1 (* (- 1/2 (* 1/2 (cos (+ z1 z1)))) z0))) . 1) ((* (pow (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1) -2) (- (* z2 (- 1/2 (* (cos (+ z0 z0)) 1/2))) -1)) . 1) ((* (- 1 (* (* z2 z1) z2)) z0) . 1) ((/ (+ z2 z0) (sqrt (+ (* z2 z2) (* z1 z1)))) . 1) ((sqrt (fabs (/ (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1)))) . 1) ((fabs (/ (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1))) . 1) ((- (log (fabs (/ (cos (- (* -1/2 z0) (* 5/4 PI))) (sin (- (* 1/2 z0) (* -13/4 PI))))))) . 1) ((/ z0 (- 1 (* (* (- z2 -1) z1) z1))) . 1) ((/ (- (* z2 z0) (* z1 z1)) (sqrt (+ (* z2 z2) (* z1 z1)))) . 1) ((log (tan (- (* 1/2 z0) (* -13/4 PI)))) . 1) ((fabs (/ (cos (- (* -1/2 z0) (* 5/4 PI))) (sin (- (* 1/2 z0) (* -13/4 PI))))) . 1) ((fabs (sin (- (* 1/2 z0) (* -13/4 PI)))) . 1) ((sqrt (/ (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1))) . 1) ((- 1 (* (- 1/2 (* 1/2 (cos (+ z1 z1)))) z0)) . 1) ((cos (- (* -1/2 z0) (* 5/4 PI))) . 1) ((- (* (- z2 (* (* (* z2 z0) z0) z1)) (- z2 (* (* (* z2 z0) z0) z1))) 1) . 1) ((* (- z2 (* (* (* z2 z0) z0) z1)) (- z2 (* (* (* z2 z0) z0) z1))) . 1) ((/ z0 (sqrt (+ (* z0 z0) (* z1 z1)))) . 1) ((fabs (cos (- (* -1/2 z0) (* 5/4 PI)))) . 1) ((- (* z2 z0) (* z1 z1)) . 1) ((/ (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1) (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1)) . 1) ((+ (* (sin (* 4 z2)) z1) (* (sin (+ z2 z2)) z0)) . 1) ((log (fabs (/ (cos (- (* -1/2 z0) (* 5/4 PI))) (sin (- (* 1/2 z0) (* -13/4 PI)))))) . 1) ((/ (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1 (cos (+ z0 z0))) (* 1/2 z1)) -1)) . 1) ((* (* (- 1 (* (* z1 z0) z0)) z2) z2) . 1) ((* (- 1/2 (* 1/2 (cos (+ z1 z1)))) z0) . 1) ((sqrt (- 1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z0)))) . 1) ((* (* (* z2 z0) z0) z1) . 1) ((fabs (/ (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1))) . 1) ((/ (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)) . 1) ((sin (- (* 1/2 z0) (* -13/4 PI))) . 1) ((sqrt (fabs (/ (- (* (* z2 1/2) (- 1 (cos (+ z0 z0)))) -1) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)))) . 1) ((tan (- (* 1/2 z0) (* -13/4 PI))) . 1) ((/ (* (+ z2 z0) z1) (sqrt (+ (* z2 z2) (* z1 z1)))) . 1) ((asinh (/ z0 z1)) . 1) ((* (- 1 (cos (+ z1 z1))) (* 1/2 z0)) . 1) ((- 1 (* (- 1 (cos (+ z1 z1))) (* 1/2 z0))) . 1) ((* (- 1 (* z2 z2)) (- (* (- 1/2 (* (cos (+ z0 z0)) 1/2)) z1) -1)) . 1) ((- z2 (* (* (* z2 z0) z0) z1)) . 1))