[{"name":"136-z1logtanPI14z0z2","spec":"(/ (- z1 (log (tan (- (* PI 1/4) z0)))) z2)"},{"name":"252-2atanexpz0PI12","spec":"(- (* 2 (atan (exp z0))) (* PI 1/2))"},{"name":"179-logtanz21234PIz0z1","spec":"(- (log (tan (- (* z2 1/2) (* 3/4 PI)))) (* z0 z1))"},{"name":"182-logtan12z134PIz0","spec":"(- (log (tan (- (* 1/2 z1) (* 3/4 PI)))) z0)"},{"name":"15-logtanPI134z0","spec":"(log (tan (- (* PI 13/4) z0)))"},{"name":"18-logtan12z1134z0","spec":"(log (tan (- (* 1/2 z1) (* -13/4 z0))))"},{"name":"12-logtanz0PI14","spec":"(log (tan (- z0 (* PI -1/4))))"},{"name":"353-logtanPI134z0z1","spec":"(* (log (tan (- (* PI 13/4) z0))) z1)"},{"name":"209-1492307391250000000000000z129465292771000000000003","spec":"(- (- (- (* 149230739/1250000000000000 z1) -2946529277/100000000000) (* (- (* 304747143/100000000000000000000 z1) 4668270147/10000000000000000) z2)) (- (- (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000)) z0) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2))))"},{"name":"281-1492307391250000000000000z129465292771000000000003","spec":"(+ (- (- (- (* 149230739/1250000000000000 z1) -2946529277/100000000000) (* (- (* 304747143/100000000000000000000 z1) 4668270147/10000000000000000) z2)) (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000))) (- (* (- (* (* (* z1 z1) z1) z1) z0) -3689471323/1000000000000000000000000000000000) (- (* z2 (- (* (* 4165541759/125000000000000000000000000000000 z1) (* (- z1 z2) (+ z2 z1))) (* (- (* (* z1 z1) 3) (* z2 z2)) -881662847/200000000000000000000000000))) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2)))))"},{"name":"362-logfabstan134z012z2z1","spec":"(* (log (fabs (tan (- (* -13/4 z0) (* 1/2 z2))))) z1)"},{"name":"258-z0z2z23z1z1z12120975031250000000000000000000000003","spec":"(+ (- z0 (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000))) (- (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))) (- (* z2 (- (* (* 4165541759/125000000000000000000000000000000 z1) (* (- z1 z2) (+ z2 z1))) (* (- (* (* z1 z1) 3) (* z2 z2)) -881662847/200000000000000000000000000))) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2)))))"},{"name":"277-1492307391250000000000000z129465292771000000000003","spec":"(+ (- (- (- (* 149230739/1250000000000000 z1) -2946529277/100000000000) (* (- (* 304747143/100000000000000000000 z1) 4668270147/10000000000000000) z2)) (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000))) (- (* 3689471323/1000000000000000000000000000000000 (- (* (* z2 z0) z2) (* (* (* z1 z1) z1) z1))) (- (* z2 (- (* (* 4165541759/125000000000000000000000000000000 z1) (* (- z1 z2) (+ z2 z1))) (* (- (* (* z1 z1) 3) (* z2 z2)) -881662847/200000000000000000000000000))) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2)))))"},{"name":"267-1492307391250000000000000z129465292771000000000003","spec":"(+ (- (- (- (* 149230739/1250000000000000 z1) -2946529277/100000000000) (* (- (* 304747143/100000000000000000000 z1) 4668270147/10000000000000000) z2)) (* (- (* (* z2 z2) 3) (* z1 z1)) (* z1 212097503/125000000000000000000000000))) (- z0 (- (* z2 (- (* (* 4165541759/125000000000000000000000000000000 z1) (* (- z1 z2) (+ z2 z1))) (* (- (* (* z1 z1) 3) (* z2 z2)) -881662847/200000000000000000000000000))) (* (* 4616990181/500000000000000000000 (+ z2 z1)) (- z1 z2)))))"}]