{"(* (* (* (* z1 z2) z1) z2) z0)":2,"(* (* (* (- 2 z1) z2) z2) z0)":4,"(* (* (* z2 z1) -3689471323/250000000000000000000000000000000) z0)":1,"(* (* (* z2 z1) 3689471323/250000000000000000000000000000000) z0)":4,"(* (* (* z2 z1) 4165541759/125000000000000000000000000000000) z0)":3,"(* (* (+ z2 z1) z0) (- z1 z2))":5,"(* (* (- 2 z1) z1) z0)":2,"(* (* (- z1 z2) -4165541759/125000000000000000000000000000000) z0)":1,"(* (* (- z1 z2) z0) (+ z2 z1))":3,"(* (* (- z2 z1) z0) 304747143/200000000000000000000)":1,"(* (* (cos z1) z0) z2)":2,"(* (* (cos z1) z2) z0)":11,"(* (* (cos z2) z0) (sin z1))":5,"(* (* (log z0) 1/2) z1)":2,"(* (* (sin (* 1/2 z1)) (sqrt 1/2)) (/ z0 (cos (* (+ (+ PI z1) z1) -1/4))))":12,"(* (* (sin (* 1/2 z1)) z0) (cos (* 1/4 (- (+ z1 z1) PI))))":1,"(* (* (tan z2) z1) z0)":4,"(* (* -2 (atanh z1)) z0)":2,"(* (* -3689471323/1000000000000000000000000000000000 z0) z1)":1,"(* (* -4165541759/500000000000000000000000000000000 z0) z1)":1,"(* (* -4616990181/500000000000000000000 (+ z2 z1)) z0)":1,"(* (* -881662847/200000000000000000000000000 z1) z0)":5,"(* (* 1/2 z0) (- (* (* z1 z1) (- (cos (+ z2 z2)) 1)) -2))":7,"(* (* 1/2 z0) (- (* (- 1 (cos (+ z1 z1))) z2) -2))":2,"(* (* 1/2 z0) (- (cos (+ z1 z1)) -1))":8,"(* (* 1/2 z0) (- -2 (* (- 1 (cos (+ z1 z1))) z2)))":1,"(* (* 1/2 z2) (- 2 (* z1 z0)))":1,"(* (* 1/4 z0) (- (cos (+ z1 z1)) -1))":1,"(* (* 212097503/125000000000000000000000000 z1) z0)":5,"(* (* 304747143/200000000000000000000 (+ z2 z1)) z0)":5,"(* (* 304747143/200000000000000000000 (- z1 z2)) z0)":4,"(* (* 3689471323/1000000000000000000000000000000000 (* z1 z1)) z0)":1,"(* (* 4616990181/500000000000000000000 (+ z2 z1)) z0)":4,"(* (* 4616990181/500000000000000000000 (- z1 z2)) z0)":4,"(* (* z1 (* z2 z2)) z0)":4,"(* (* z1 212097503/125000000000000000000000000) z0)":5,"(* (* z1 z0) (tan (* (+ (+ z2 PI) z2) 1/4)))":1,"(* (* z1 z0) (tan (* (+ (+ z2 z2) PI) 1/4)))":3,"(* (* z1 z0) (tan (* (+ PI (+ z2 z2)) 1/4)))":2,"(* (* z1 z0) (tan (* 1/4 (+ (+ z2 PI) z2))))":2,"(* (* z1 z0) (tan (- (* 9/4 PI) (* z2 -1/2))))":2,"(* (* z1 z0) (tan (- (* PI -3/4) (* -1/2 z2))))":13,"(* (* z1 z0) z2)":8,"(* (* z1 z1) z0)":4,"(* (* z1 z2) z0)":2,"(* (* z2 (/ z1 (sin 27401669256311/20000000000000))) z0)":1,"(* (* z2 (pow z0 (- z1))) (pow (tan (- 27401669256311/40000000000000 (* 3/4 PI))) z1))":2,"(* (* z2 z0) z1)":3,"(* (* z2 z1) z0)":1,"(* (+ (cos (* z1 z2)) z0) 1/2)":2,"(* (- (* (* (* z1 z1) z1) z1) z0) -3689471323/1000000000000000000000000000000000)":4,"(* (- (* (* -1/2 z2) (- (cos (+ z1 z1)) 1)) -1) z0)":10,"(* (- (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1) (* (* (+ z2 z1) z2) z0)) z1)":1,"(* (- (* (* -4165541759/125000000000000000000000000000000 (- z1 z2)) z0) (* (* (* z1 z1) z1) 3689471323/1000000000000000000000000000000000)) z1)":1,"(* (- (* (* 1/2 z2) (- (cos (+ z1 z1)) 1)) 1) z0)":2,"(* (- (* (* 1/2 z2) (- 1 (cos (+ z1 z1)))) -1) z0)":4,"(* (- (* (* z1 z1) 3) (* z2 z2)) z0)":3,"(* (- (* (* z2 z2) 3) (* z1 z1)) z0)":5,"(* (- (* (- (cos z0) 1) z1) -2) 1/2)":2,"(* (- (* (- 1 (cos (+ z1 z1))) (* -1/2 z2)) 1) z0)":2,"(* (- (* (- 1 (cos (+ z1 z1))) (* 1/2 z2)) -1) z0)":24,"(* (- (* (- 1 (cos z0)) z1) -2) -1/2)":3,"(* (- (* (- 1 (cos z0)) z1) -2) 1/2)":72,"(* (- (* 3 (* z1 z1)) (* z2 z2)) z0)":1,"(* (- (* 4616990181/250000000000000000000 z2) z0) z1)":1,"(* (- (* 6 (* z1 z1)) (* z2 z2)) z0)":4,"(* (- (* z1 (- (cos z0) 1)) -2) 1/2)":1,"(* (- (* z1 (- 1 (cos z0))) -2) 1/2)":3,"(* (- (* z1 z1) 1) z0)":2,"(* (- (* z2 z2) (* (* z1 z1) 3)) z0)":5,"(* (- (* z2 z2) (* 3 (* z1 z1))) z0)":1,"(* (- (* z2 z2) (* 6 (* z1 z1))) z0)":1,"(* (- (- z0 (* 2644988541/200000000000000000000000000 (* z2 z2))) (* -881662847/200000000000000000000000000 (* z1 z1))) z1)":1,"(* (- (- z0 z1) z1) -1/4)":1,"(* (- (cos z0) -1) -1/2)":1,"(* (- (cos z0) -1) 1/2)":11,"(* (- (cos z0) 1) 1/2)":16,"(* (- (log (fabs (/ (sin (- (* 5/4 PI) (* z2 -1/2))) (sin (+ (* z2 -1/2) (* 1/4 PI)))))) z0) z1)":2,"(* (- (log (tan (- (* -3/4 PI) (* z2 -1/2)))) z0) z1)":2,"(* (- (log (tan (- (* z2 1/2) (* 3/4 PI)))) z0) z1)":17,"(* (- (sin (* -1/2 z1)) (cos (* -1/2 z1))) z0)":4,"(* (- (sin (* -1/2 z1)) (cos (* 1/2 z1))) z0)":4,"(* (- -1 (* (* 1/2 z2) (- 1 (cos (+ z1 z1))))) z0)":2,"(* (- -1 (cos (+ z1 z1))) z0)":1,"(* (- 1 (* (* z2 z2) z1)) z0)":4,"(* (- 1 (* z1 z1)) z0)":2,"(* (- 1 (cos z0)) 1/2)":6,"(* (- PI z0) -1/4)":1,"(* (- PI z0) 1/4)":1,"(* (- z0 (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2))) z1)":1,"(* (- z0 4668270147/10000000000000000) z1)":5,"(* (- z0) (sqrt 1/2))":12,"(* (- z1 (log (tan (+ (* z2 1/2) (* 17/4 PI))))) z0)":1,"(* (- z1 (log (tan (- (* 17/4 PI) (* z2 -1/2))))) z0)":2,"(* (/ (+ z0 z0) (- (sin z1) -1)) (sin (- (* z1 1/2) (* 5/4 PI))))":3,"(* (/ (cos z1) z0) (cos z2))":5,"(* (/ (cos z2) z0) (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)))":2,"(* (/ (sqrt 1/2) (sin (- (* 5/4 PI) (* 1/2 z1)))) z0)":2,"(* (/ (sqrt 1/2) z0) (- (sin (* -1/2 z1)) (cos (* 1/2 z1))))":2,"(* (/ 2 z0) (* (* (sqrt 1/2) (cos (* (- (+ z1 z1) PI) 1/4))) (+ (sin (* -1/2 z1)) (cos (* -1/2 z1)))))":1,"(* (/ 2 z0) (* (* (sqrt 1/2) (cos (* 1/4 (- (+ z1 z1) PI)))) (+ (sin (* -1/2 z1)) (cos (* -1/2 z1)))))":1,"(* (/ z1 (cos z2)) z0)":1,"(* (/ z1 z0) (sin (* -1/4 (+ PI (+ z2 z2)))))":15,"(* (/ z1 z0) z2)":3,"(* (/ z1 z2) z0)":9,"(* (cos (* (+ (+ PI z1) z1) -1/4)) z0)":12,"(* (cos (* (- (+ z1 z1) PI) 1/4)) z0)":2,"(* (cos (* -1/2 z1)) (* (sqrt 1/2) z0))":2,"(* (cos (* -1/2 z1)) z0)":14,"(* (cos (* 1/4 (- (+ z1 z1) PI))) z0)":2,"(* (cos z1) z0)":37,"(* (fabs z0) E)":2,"(* (log (* (* z0 z0) (fabs (- (* (sin z1) 1/2) -1/2)))) 1/2)":4,"(* (log (/ (- (* (- z1 -2) z1) -1) (fabs (- 1 (* z1 z1))))) z0)":1,"(* (log z0) z1)":37,"(* (pow (/ (* (sqrt 1/2) (- (sin (* -1/2 z2)) (cos (* 1/2 z2)))) (sin (* 1/4 (- (+ z2 z2) PI)))) z1) z0)":12,"(* (pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) (* 1/2 z1)) z0)":5,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* 1/2 z1)) z0)":7,"(* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (* z1 1/2)) z0)":1,"(* (pow (/ (- -1 (* z1 (sin z2))) (- (* z1 (sin z2)) 1)) (* 1/2 z1)) z0)":2,"(* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (- z1)) z0)":2,"(* (pow (tan (* (+ PI (+ z2 z2)) 1/4)) (- z1)) z0)":2,"(* (pow (tan (* 1/4 (+ (+ z2 PI) z2))) (- z1)) z0)":2,"(* (pow (tan (* 1/4 (+ PI (+ z2 z2)))) z1) z0)":3,"(* (pow (tan (- (* 13/4 PI) (* z2 -1/2))) (- z1)) z0)":1,"(* (pow (tan (- (* 9/4 PI) (* z2 -1/2))) (- z1)) z0)":2,"(* (pow (tan (- (* PI -3/4) (* -1/2 z2))) (- z1)) z0)":13,"(* (sin (* 1/2 z1)) z0)":14,"(* (sin (* 1/4 (- (+ z1 z1) PI))) z0)":12,"(* (sin (- (* 5/4 PI) (* 1/2 z1))) z0)":3,"(* (sin (- (* z1 -1/2) (* 5/4 PI))) z0)":3,"(* (sin z0) z1)":34,"(* (sin z1) z0)":22,"(* (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1)) z0)":1,"(* (sqrt 1/2) (fabs z0))":1,"(* (sqrt 1/2) z0)":10,"(* (sqrt z0) z1)":11,"(* (tan (* 1/4 (+ (+ z1 z1) PI))) z0)":2,"(* (tan (+ (* 9/4 PI) (* -1/2 z1))) z0)":2,"(* (tan (- (* 1/4 PI) (* 1/2 z1))) z0)":5,"(* (tan z0) z1)":23,"(* -2 (- (* PI 1/4) (atan (* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) z1) z0))))":24,"(* -4165541759/125000000000000000000000000000000 z0)":1,"(* 1/2 (+ (- (cos z0) -1) (- (cosh (+ z1 z1)) 1)))":2,"(* 1/2 (- (cos z0) 1))":2,"(* 2 (- (atan (* (pow (tan (* (+ (+ z2 z2) PI) 1/4)) (/ 1 z1)) z0)) (* 1/4 PI)))":2,"(* 2 (- (atan (exp z0)) (* 1/4 PI)))":5,"(* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) z0))":4,"(* 4165541759/125000000000000000000000000000000 z0)":4,"(* 4165541759/500000000000000000000000000000000 (+ (* (* z2 z2) z0) (* (* (* z1 z1) z1) z1)))":1,"(* 4165541759/500000000000000000000000000000000 z0)":2,"(* 881662847/200000000000000000000000000 z0)":1,"(* z0 (* z1 z2))":10,"(* z0 (* z2 (cos z1)))":11,"(* z0 (* z2 z1))":2,"(* z0 (cos z1))":1,"(* z1 (* z2 z0))":2,"(* z1 (log z0))":80,"(* z1 (sin z0))":27,"(* z1 (sqrt z0))":2,"(* z2 (* z1 z0))":12,"(* z2 (/ z1 z0))":3,"(+ (* (* z1 z1) (- (* z1 z1) (* 6 z0))) (* (* z2 z2) z0))":3,"(+ (* (* z2 z2) z0) (* (* z1 z1) (+ (* -6 z0) (* 4165541759/500000000000000000000000000000000 (* z1 z1)))))":2,"(+ (* (* z2 z2) z1) z0)":2,"(+ (* (pow z0 4) z1) z2)":1,"(+ (* (sin (* -1 z1)) -1/2) (+ -1/2 z0))":1,"(+ (* (sin (* 3 z2)) z1) z0)":3,"(+ (* (sin (* 4 z2)) z1) z0)":1,"(+ (* (sin (+ z2 z2)) z1) z0)":2,"(+ (* 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))))))":1,"(+ (* z2 z2) (* z0 z1))":2,"(+ (- (* (* (- 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)))":1,"(+ (- (* 149230739/1250000000000000 z1) -9827991/390625000) z0)":3,"(+ (log (tan z0)) z1)":7,"(- (* (* (* 4165541759/500000000000000000000000000000000 z2) z2) (- (* z2 z2) (* 6 (* z1 z1)))) z0)":2,"(- (* (* (* z1 z1) z1) z1) (* (* z2 z2) z0))":3,"(- (* (* (+ z2 z1) (- z1 z2)) (+ (* (* z2 z1) -4165541759/125000000000000000000000000000000) 4616990181/500000000000000000000)) z0)":1,"(- (* (* (+ z2 z1) (- z1 z2)) (- -4616990181/500000000000000000000 (* (* z2 z1) -4165541759/125000000000000000000000000000000))) (- (* (* 881662847/200000000000000000000000000 z2) (- (* z2 z2) (* (* z1 z1) 3))) z0))":1,"(- (* (* (- (cos z0) 1) 1/2) z1) 1)":3,"(- (* (* (- 1 (cos z0)) 1/2) z1) -1)":22,"(- (* (* (sin z1) z0) z2) -1)":1,"(- (* (* (sqrt 1/2) (cos (* (- (+ z1 z1) PI) 1/4))) (cos (* -1/2 z1))) z0)":1,"(- (* (* (sqrt 1/2) (cos (* 1/4 (- (+ z1 z1) PI)))) (cos (* -1/2 z1))) z0)":1,"(- (* (* -1/2 (- (cos z0) 1)) z1) -1)":3,"(- (* (* 1/2 z0) (- (cos (+ z1 z1)) 1)) -1)":11,"(- (* (* z1 z1) z0) -1)":11,"(- (* (- 1 (cos (+ z1 z1))) z0) -1)":23,"(- (* (- z0) z1) (* z2 z2))":1,"(- (* (atan (* (tan (- -27401669256311/40000000000000 (* 1/4 PI))) (pow (/ z2 z1) z0))) -2) (* 1/2 PI))":3,"(- (* (cos z2) z0) (* (sin z2) z1))":2,"(- (* -1/2 (cos (+ z1 z1))) (- z0 1/2))":1,"(- (* -1/2 PI) (* -2 (atan (* (exp z1) (pow z0 z2)))))":2,"(- (* -4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) z0)":2,"(- (* -4616990181/250000000000000000000 z1) (* -881662847/200000000000000000000000000 z0))":4,"(- (* 2 (atan (exp z0))) (* PI 1/2))":3,"(- (* 3 z0) (* z1 z1))":2,"(- (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) z0)":3,"(- (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2)))) z0)":1,"(- (* 4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))) z0)":1,"(- (* 4165541759/500000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) z0)":1,"(- (* 6 z0) (* z1 z1))":5,"(- (* PI -1/2) (* -2 (atan (* (pow (tan (- (* 21/4 PI) (* -1/2 z2))) (/ 1 z1)) z0))))":2,"(- (* z1 (- -4668270147/10000000000000000 z0)) (* (* 304747143/200000000000000000000 (+ z2 z1)) (- z2 z1)))":4,"(- (* z1 z1) (* 3 z0))":1,"(- (* z1 z1) (* 6 z0))":3,"(- (* z2 (+ (* 881662847/200000000000000000000000000 (- (* z2 z2) (* (* z1 z1) 3))) (* (* (+ z2 z1) z1) (* (- z1 z2) -4165541759/125000000000000000000000000000000)))) z0)":1,"(- (* z2 (log z0)) z1)":1,"(- (+ (+ (* (- (* 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))))":3,"(- (+ -1 z0) (* (cos (+ z1 z1)) z0))":2,"(- (+ 1 z0) (* (cos (+ z1 z1)) z0))":53,"(- (+ z0 (* 2644988541/200000000000000000000000000 (* z2 z2))) (* (* z1 z1) 881662847/200000000000000000000000000))":3,"(- (+ z0 (* 2644988541/200000000000000000000000000 (* z2 z2))) (* 881662847/200000000000000000000000000 (* z1 z1)))":1,"(- (- (* (* (+ 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))))))":1,"(- (- (* (* (- 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)))))":1,"(- (- (* (* (- 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)))))":1,"(- (- (* (* (- 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)))))":1,"(- (- (* (* -212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2))) z0) (* -4165541759/500000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))))":1,"(- (- (* (* -3689471323/1000000000000000000000000000000000 (* z2 z2)) (- (* z2 z2) (* 6 (* z1 z1)))) z0) (* (- (* (* (* (+ z2 z1) 4165541759/125000000000000000000000000000000) z2) (- z1 z2)) (* (* -3689471323/1000000000000000000000000000000000 (* z1 z1)) z1)) z1))":1,"(- (- (* (* -4165541759/125000000000000000000000000000000 (* z2 z1)) (* (- z1 z2) (+ z2 z1))) z0) (* 3689471323/1000000000000000000000000000000000 (- (* (* (* z1 z1) z1) z1) (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))))":3,"(- (- (* (* 304747143/200000000000000000000 (+ z2 z1)) (- z1 z2)) z0) (* (- (- 4668270147/10000000000000000 (* 4616990181/250000000000000000000 z2)) (- (* (* z1 z1) 881662847/200000000000000000000000000) (* 2644988541/200000000000000000000000000 (* z2 z2)))) z1))":3,"(- (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) z0) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2)))":4,"(- (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) z0) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))":1,"(- (- (* (cos (+ z1 z1)) z0) -1) z0)":1,"(- (- (* 149230739/1250000000000000 z1) -2946529277/100000000000) z0)":5,"(- (- (* 149230739/1250000000000000 z1) z0) (- -2946529277/100000000000 (* (- 4668270147/10000000000000000 (* 304747143/100000000000000000000 z1)) z2)))":5,"(- (- (* 4165541759/500000000000000000000000000000000 (+ (* (* (* z1 z1) z1) z1) (* (- (* z2 z2) (* 6 (* z1 z1))) (* z2 z2)))) z0) (* (* 212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2))))":1,"(- (- (* 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))))))":1,"(- (- (- (* (* (+ 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)))))":1,"(- (- (- (* (- (* (* 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))))))":3,"(- (- z0 (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2))) (* (* -4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2)))":1,"(- (- 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)))))":1,"(- (- 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))))":1,"(- (- 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)))))":1,"(- (- 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)))))":1,"(- (- z0 -1/2) (* (cos (+ z1 z1)) -1/2))":2,"(- (- z0) (* (cos (* -1/2 z1)) (sqrt 1/2)))":12,"(- (- z0) (cos (* -1/2 z1)))":4,"(- (- z0) (cos (* 1/2 z1)))":4,"(- (cos (* -1/2 z1)) (sin z0))":8,"(- (cos z0) (sin (* -1/2 z1)))":8,"(- (cos z0) -1)":6,"(- (cos z0) 1)":10,"(- (cos z0))":8,"(- (fabs (* z1 (atan z0))))":1,"(- (log (fabs (tan (+ (* 1/2 z1) (* 5/4 PI))))) z0)":2,"(- (log (tan (* (+ (+ z2 z2) PI) 1/4))) (- z0 z1))":1,"(- (log (tan (* (+ PI (+ z2 z2)) 1/4))) (- z0 z1))":7,"(- (log (tan (+ (* 9/4 PI) (* 1/2 z1)))) z0)":2,"(- (log (tan (- (* 1/2 z1) (* 3/4 PI)))) z0)":20,"(- (log (tan (- (* 5/4 PI) (* -1/2 z1)))) z0)":1,"(- (sin (* z1 1)) z0)":1,"(- (sin z0))":8,"(- (sqrt (fabs (* z0 (- 1 z1)))))":1,"(- (tan z0))":5,"(- -1 (* (* (- 1 (cos z0)) 1/2) z1))":4,"(- -1 (* (* -1/2 (- (cos z0) 1)) z1))":2,"(- -1 (* (- 1 (cos (+ z1 z1))) z0))":6,"(- 1 (* (- 1 (cos (+ z1 z1))) z0))":2,"(- 1 (cos z0))":15,"(- 1/2 (* (cos z0) 1/2))":2,"(- z0 (* (* (* 3689471323/250000000000000000000000000000000 (- z1 z2)) z1) (* (+ z2 z1) z2)))":3,"(- z0 (* (* (- z1 z2) -3689471323/250000000000000000000000000000000) (* z2 (* (+ z2 z1) z1))))":1,"(- z0 (* (* (- z1 z2) 4165541759/125000000000000000000000000000000) (* z2 (* (+ z2 z1) z1))))":3,"(- z0 (* (* (sin z2) z1) (- (* (cos (+ z2 z2)) -2) 1)))":1,"(- z0 (* (* (sqrt 1/2) (sin (* 1/2 z1))) (cos (* (- (+ z1 z1) PI) 1/4))))":1,"(- z0 (* (* (sqrt 1/2) (sin (* 1/2 z1))) (cos (* 1/4 (- (+ z1 z1) PI)))))":1,"(- z0 (* (* 1/4 (- (cos (+ z1 z1)) -1)) (- -1 (cos (+ z2 z2)))))":1,"(- z0 (* (* 212097503/125000000000000000000000000 z2) (- (* (* z1 z1) 3) (* z2 z2))))":3,"(- z0 (* (- (* 304747143/100000000000000000000 z1) 4668270147/10000000000000000) z2))":5,"(- z0 (* (- (* 4616990181/250000000000000000000 z2) (- (* -881662847/200000000000000000000000000 (* z1 z1)) (* -2644988541/200000000000000000000000000 (* z2 z2)))) z1))":1,"(- z0 (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)))":3,"(- z0 (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2)))":4,"(- z0 (* (- (- (* 2644988541/200000000000000000000000000 (* z2 z2)) (* (* z1 z1) 881662847/200000000000000000000000000)) (* 4616990181/250000000000000000000 z2)) z1))":3,"(- z0 (* (sin (* -3 z2)) z1))":5,"(- z0 (* (sin (* -4 z2)) z1))":6,"(- z0 (* (sin (* 1/2 z1)) (sqrt 1/2)))":12,"(- z0 (* (sin (* 3 z2)) z1))":3,"(- z0 (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))":1,"(- z0 (* 4668270147/10000000000000000 z1))":5,"(- z0 (* z1 (sin (* 4 z2))))":5,"(- z0 (* z1 (sin (+ z2 z2))))":1,"(- 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)))))":3,"(- z0 (sin (* -1 z1)))":1,"(- z0 (sin (* 1/2 z1)))":4,"(- z0 (sin (* z1 1/2)))":4,"(- z0 -1)":1,"(- z1 (* z2 (- (* -4 z0) 3)))":2,"(- z1 (log (tan z0)))":9,"(- z2 (* (* z1 z0) z2))":2,"(/ (* (cos z2) z1) z0)":2,"(/ (* (sin z2) z0) (sqrt (* (- (- (cos (+ z1 z1)) 1) (* (* (- (cos (+ z2 z2)) -1) 1/2) (- (cos (+ z1 z1)) -1))) -1/2)))":3,"(/ (* (sqrt 1/2) z0) (cos (* (+ (+ PI z1) z1) -1/4)))":12,"(/ (* (sqrt z2) z1) z0)":2,"(/ (* z1 z2) z0)":4,"(/ (* z2 z1) z0)":4,"(/ (+ z0 z0) (- (* (- (cos (+ z2 z2)) 1) z1) -2))":3,"(/ (+ z0 z0) (- (sin z1) -1))":3,"(/ (+ z0 z0) (- 1 (sin (* -1 z1))))":2,"(/ (+ z0 z0) (fabs (- (* (- 1 (cos (+ z1 z1))) z2) -2)))":1,"(/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0))":11,"(/ (- z1 (log z0)) z2)":30,"(/ (- z1 z0) z2)":1,"(/ (fabs (sin (* -1/4 (- (- PI z1) z1)))) z0)":5,"(/ (sin (* (+ (+ z1 z1) PI) -1/4)) z0)":9,"(/ (sin (- (* z1 1/2) (* 5/4 PI))) z0)":3,"(/ (sin z1) z0)":3,"(/ (sqrt (- (* z1 z1) 1)) z0)":2,"(/ (sqrt (- 1 z1)) (- (* (* z1 1/2) z0) -1))":3,"(/ (sqrt (- 1 z1)) (- (- (* (cos (+ z2 z2)) z0) -1) z0))":2,"(/ (sqrt 1/2) (- z0))":2,"(/ (sqrt 1/2) z0)":12,"(/ 2 (sqrt z0))":2,"(/ z0 (* z1 z2))":6,"(/ z0 (- (* (* (* z1 1/2) z1) (- (cos (+ z2 z2)) 1)) -1))":2,"(/ z0 (- (sin z1) -1))":2,"(/ z0 (cos (* (+ (+ PI z1) z1) -1/4)))":12,"(/ z0 (cos (* -1/4 (+ (+ PI z1) z1))))":1,"(/ z0 (cos z1))":4,"(/ z0 (fabs (- 1 (* z1 z1))))":1,"(/ z0 (fabs (cos (* -1/4 (- (- PI z1) z1)))))":5,"(/ z0 (fabs (sin (* -1/4 (+ PI (+ z1 z1))))))":1,"(/ z0 (fabs (sin (+ (* 1/4 PI) (* z1 -1/2)))))":1,"(/ z0 (sin (* -1/4 (- PI (+ z1 z1)))))":9,"(/ z0 (sin (+ (* 1/2 z1) (* PI 3/4))))":2,"(/ z0 (sin (- (* 1/2 z1) (* 1/4 PI))))":2,"(/ z0 (sqrt (* (- (- (cos (+ z1 z1)) 1) (* (* (- (cos (+ z2 z2)) -1) 1/2) (- (cos (+ z1 z1)) -1))) -1/2)))":3,"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))":6,"(/ z0 (sqrt (- (* -1/4 (* (- (cos (+ z1 z1)) 1) (- -1 (cos (+ z2 z2))))) -1)))":5,"(/ z0 (tan 27401669256311/20000000000000))":2,"(/ z0 E)":2,"(/ z0 z1)":3,"(/ z1 (* (cos z2) z0))":2,"(/ z2 (+ (* z0 z1) z2))":2,"(asin (* (/ (sin z1) z0) (cos z2)))":3,"(asin (* (/ z1 (cos z2)) z0))":3,"(asin (* (sin z1) z0))":3,"(asin (+ (* (cos z2) z0) (* z1 (sin z2))))":1,"(asin (+ (* (sin z2) (cos z1)) z0))":3,"(asin (- (* (sin z2) (cos z1)) z0))":2,"(asin (/ z0 (cos z1)))":3,"(asin (/ z0 (sqrt (- (* (- 1 (cos (+ z2 z2))) (* -1/2 z1)) -1))))":4,"(asin (/ z0 (sqrt (- 1 (* z1 (- 1/2 (* (cos (+ z2 z2)) 1/2)))))))":2,"(asin (/ z1 (sqrt z0)))":2,"(atan (/ z0 (* z1 z2)))":2,"(atan (/ z0 (- (* (* z1 (- z2 -1)) z1) 1)))":4,"(atan2 (sin z1) (sqrt z0))":2,"(atan2 z0 (sqrt (* (- (+ (- (cosh (+ z1 z1)) 1) (cos (+ z2 z2))) -1) 1/2)))":2,"(atan2 z1 (cos (+ z2 z0)))":15,"(atan2 z1 (cos z0))":1,"(cos (* (+ (+ z1 z1) z0) 1/4))":1,"(cos (* (+ PI z0) 1/4))":1,"(cos (* (+ z1 z0) -1/4))":28,"(cos (* (- z0 PI) 1/4))":1,"(cos (* -1/4 (+ z1 z0)))":3,"(cos (* 1/4 (+ (+ z1 z1) z0)))":3,"(cos (* 1/4 (+ PI z0)))":3,"(cos (+ z1 z0))":3,"(cos (- (* z1 -1/2) z0))":6,"(cos (- z0 (* -1/2 z1)))":8,"(cos (- z0 (* PI 5/4)))":6,"(cos (- z0 (* z1 z2)))":2,"(cos z0)":3,"(exp (* (sqrt (- (* (/ z1 (* z2 z2)) z1) -1)) z0))":3,"(fabs (* (- (cos (* z1 1/2)) (sin (* z1 1/2))) z0))":1,"(fabs (- (* (- 1 (cos (+ z1 z1))) z0) -1))":1,"(fabs (/ -1 (sin z0)))":4,"(fabs (cos (+ z1 z0)))":15,"(fabs (cos (- (* z1 1/2) z0)))":2,"(fabs (sin (* -1/4 (- z0 z1))))":5,"(fabs (sin (+ (* PI 3/4) z0)))":6,"(fabs (sin (+ z1 z0)))":8,"(fabs (sin (- (* PI -3/4) z0)))":1,"(fabs (sin (- (* PI 1/4) z0)))":2,"(fabs (sin (- z0 (* -1/2 z1))))":5,"(fabs (sin (- z0 (* -1/4 PI))))":2,"(fabs (sin (- z0 (* z1 1/2))))":3,"(fabs (tan (- (* -1/2 z1) z0)))":5,"(fabs (tan (- z0 (* PI 13/4))))":5,"(log (* (/ (sqrt 1/2) z0) (- (sin (* -1/2 z1)) (cos (* -1/2 z1)))))":4,"(log (* (fabs (/ (- (cos (* -1/2 z1)) (sin (* -1/2 z1))) (sin z0))) (sqrt 1/2)))":8,"(log (* (sqrt 1/2) (fabs (/ z0 (sin (- (* -1/2 z1) (* -1/4 PI)))))))":8,"(log (/ (sin (* 1/4 (+ (+ z1 z1) PI))) z0))":2,"(log (/ (sin (* 1/4 (+ PI (+ z1 z1)))) z0))":1,"(log (/ z0 (cos (* 1/4 (+ (+ z1 z1) PI)))))":2,"(log (/ z0 (sin (- (* -1/4 PI) (* -1/2 z1)))))":4,"(log (fabs (* (/ (- (sin (* -1/2 z1)) (cos (* -1/2 z1))) (sin (- (* -1/4 PI) (* -1/2 z1)))) z0)))":8,"(log (fabs (/ (sin (+ (* z1 1/2) (* 21/4 PI))) z0)))":6,"(log (fabs (/ (sin (- (* 5/4 PI) (* -1/2 z1))) z0)))":2,"(log (fabs (/ (sin (- (* PI 1/4) (* -1/2 z1))) z0)))":2,"(log (fabs (/ z0 (sin (- (* 1/2 z1) (* 1/4 PI))))))":2,"(log (fabs (/ z0 (sin (- (* 3/4 PI) (* z1 -1/2))))))":4,"(log (fabs (/ z0 (sin (- (* PI 1/4) (* z1 1/2))))))":2,"(log (fabs (/ z0 (sin (- (* PI 3/4) (* z1 -1/2))))))":6,"(log (fabs (tan z0)))":7,"(log (tan z0))":97,"(pow (* (- -2 (* z1 z0)) 1/2) -2)":7,"(pow (- (* (* z1 1/2) z0) -1) -2)":6,"(pow (- (* (- 1 (cos (+ z1 z1))) z0) -1) 2)":1,"(pow (- (+ 1 z0) (* (cos (+ z1 z1)) z0)) -2)":6,"(pow (- -1 (* (- 1 (cos (+ z1 z1))) z0)) -2)":7,"(pow (/ (* (sqrt 1/2) (- (sin (* -1/2 z2)) (cos (* 1/2 z2)))) (sin (- (* 1/2 z2) z0))) z1)":12,"(pow (/ (* (sqrt 1/2) (- (sin (* -1/2 z2)) (cos (* 1/2 z2)))) (sin (- z0 (* 1/4 PI)))) z1)":12,"(pow (/ (- (* z1 (sin z2)) -1) (- 1 (* z1 (sin z2)))) z0)":5,"(pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) z0)":6,"(pow (/ (- -1 (* (sin z2) z1)) (- z0 1)) (* 1/2 z1))":3,"(pow (/ (- -1 (* z1 (sin z2))) (- (* z1 (sin z2)) 1)) z0)":3,"(pow (/ (- -1 (* z1 (sin z2))) (- z0 1)) (* 1/2 z1))":2,"(pow (/ (- -1 (* z1 (sin z2))) z0) (* 1/2 z1))":5,"(pow (/ (- -1 z0) (- (* (sin z2) z1) 1)) (* 1/2 z1))":3,"(pow (/ (- -1 z0) (- (* z1 (sin z2)) 1)) (* 1/2 z1))":2,"(pow (/ (- z0 -1) (- 1 (* z1 (sin z2)))) (* 1/2 z1))":5,"(pow (/ (sin (* (+ (+ z2 PI) z2) 1/4)) z0) (- z1))":1,"(pow (/ (sin (* (+ (+ z2 z2) PI) 1/4)) z0) (- z1))":2,"(pow (/ (sin (* 1/4 (+ PI (+ z2 z2)))) z0) z1)":3,"(pow (/ z0 (cos (* -1/4 (+ (+ z2 PI) z2)))) (- z1))":1,"(pow (/ z0 (cos (* -1/4 (+ (+ z2 z2) PI)))) (- z1))":2,"(pow (/ z0 (cos (* -1/4 (+ PI (+ z2 z2))))) z1)":3,"(pow (/ z0 (cos (* 1/4 (+ PI (+ z2 z2))))) (/ 1 z1))":1,"(pow (/ z0 (sin (* 1/4 (- (+ z2 z2) PI)))) z1)":12,"(pow (tan (* (+ (+ z1 PI) z1) 1/4)) z0)":8,"(pow (tan (* (+ (+ z1 z1) PI) 1/4)) z0)":3,"(pow (tan (* (+ (+ z2 z2) z0) 1/4)) (/ 1 z1))":3,"(pow (tan (* (+ z2 z0) 1/4)) (- z1))":5,"(pow (tan (* 1/4 (+ (+ z1 z1) PI))) z0)":1,"(pow (tan (* 1/4 (+ PI z0))) (/ 1 z1))":3,"(pow (tan (+ (* PI -3/4) z0)) (- z1))":13,"(pow (tan (+ (* z2 1/2) z0)) (- z1))":13,"(pow (tan (- (* 13/4 PI) (* z1 -1/2))) z0)":1,"(pow (tan (- (* 21/4 PI) (* z1 -1/2))) z0)":2,"(pow (tan (- (* 9/4 PI) (* z1 -1/2))) z0)":2,"(pow (tan (- (* PI -3/4) (* -1/2 z1))) z0)":13,"(pow (tan (- (* PI 1/4) z0)) (- z1))":2,"(pow (tan (- (* PI 13/4) z0)) (/ 1 z1))":2,"(pow (tan (- (* PI 5/4) z0)) (- z1))":1,"(pow (tan (- (* z1 1/2) (* PI 3/4))) z0)":1,"(pow (tan (- z0 (* -1/2 z2))) (/ 1 z1))":2,"(pow (tan (- z0 (* z2 -1/2))) (- z1))":3,"(sin (* (+ (+ z1 z1) z0) -1/4))":9,"(sin (* -1/4 (+ PI z0)))":9,"(sin (+ z0 (* 1/4 PI)))":4,"(sin (- (* -1/2 z1) z0))":10,"(sin (- (* 1/2 z1) z0))":22,"(sin (- (* 1/4 PI) z0))":1,"(sin (- (* 17/4 PI) z0))":6,"(sin (- (* 3/4 PI) z0))":3,"(sin (- (* 5/4 PI) z0))":12,"(sin (- (* PI 3/4) z0))":6,"(sin (- (* z1 -1/2) z0))":3,"(sin (- (* z1 1/2) z0))":18,"(sin (- z0 (* -1/2 z1)))":6,"(sin (- z0 (* -1/4 PI)))":8,"(sin (- z0 (* 1/2 z1)))":2,"(sin (- z0 (* 1/4 (- (- PI z1) z1))))":1,"(sin (- z0 (* 1/4 PI)))":12,"(sin (- z0 (* 5/4 PI)))":6,"(sin (- z0 (* PI 1/4)))":4,"(sin (- z0 (* z1 -1/2)))":9,"(sin (- z0 (* z1 z2)))":2,"(sin z0)":3,"(sqrt (* (- (- 2 (* (cos (+ z1 z1)) z0)) z0) 1/2))":5,"(sqrt (* (- 1 (* (- 1 (cos (+ z2 z2))) (* 1/2 z1))) z0))":2,"(sqrt (* (- 1 (cos z0)) 1/2))":1,"(sqrt (* (fabs (- z1 -1)) (/ z0 E)))":1,"(sqrt (+ (* z1 z1) z0))":22,"(sqrt (- (* (* -1/4 (- (cos (+ z2 z2)) -1)) (- -1 (cos (+ z1 z1)))) z0))":3,"(sqrt (- (* (* 1/2 z1) z0) -1))":1,"(sqrt (- (* (* z1 z0) 1/2) -1))":4,"(sqrt (- (* -1/4 (* (- 1 (cos (+ z1 z1))) z0)) -1))":5,"(sqrt (- (* z0 z0) -1))":2,"(sqrt (- (* z1 z0) -1))":5,"(sqrt (- (+ (* (cos (+ z1 z1)) z0) 1) z0))":7,"(sqrt (- 1 (* z1 z0)))":2,"(sqrt (- z0 (* (* z1 z1) z2)))":2,"(sqrt (- z0 (* (* z1 z2) z1)))":2,"(sqrt (- z0 (* (- (cos (+ z1 z1)) 1) 1/2)))":3,"(sqrt (/ (+ z0 z0) (- (* (- 1 (cos (+ z1 z1))) z2) -2)))":6,"(sqrt (/ (+ z0 z0) (- (* z2 (- 1 (cos (+ z1 z1)))) -2)))":7,"(sqrt (/ (- (* (- 1 (cos (+ z1 z1))) z2) -2) (+ z0 z0)))":12,"(sqrt (/ (- (* z2 (- 1 (cos (+ z1 z1)))) -2) (+ z0 z0)))":8,"(sqrt (/ (- -2 (* (- 1 (cos (+ z1 z1))) z2)) (+ z0 z0)))":4,"(sqrt (fabs (* (* (- 1 z1) E) z0)))":1,"(sqrt (fabs (* -1/2 (- (cos z0) 1))))":4,"(sqrt (fabs (* z0 (- 1 z1))))":1,"(sqrt (fabs (/ (- -1 z1) z0)))":1,"(tan (* (+ (+ z1 z1) z0) 1/4))":18,"(tan (* (+ PI z0) 1/4))":18,"(tan (* (+ z1 z0) 1/4))":2,"(tan (* (- z0 z1) 1/2))":2,"(tan (* 1/4 (- z0 z1)))":9,"(tan (- (* 1/2 z1) z0))":37,"(tan (- (* PI 1/4) z0))":27,"(tan (- (* PI 13/4) z0))":8,"(tan (- (* PI 5/4) z0))":2,"(tan (- (* z1 1/2) z0))":26,"(tan (- (- z0 (* 1/2 z1)) (* -1/4 PI)))":5,"(tan (- -27401669256311/20000000000000 z0))":2,"(tan (- z0 (* -1/2 z1)))":39,"(tan (- z0 (* 3/4 PI)))":63,"(tan (- z0 -27401669256311/20000000000000))":2}