[{"name":"129-powz21z2112z11z0","spec":"(* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) z0)"},{"name":"27-pow1z11z1z0","spec":"(pow (* (- 1 z1) (- 1 z1)) z0)"},{"name":"189-z2z1z0","spec":"(* (* z2 z1) z0)"},{"name":"26-powz11z1112z01","spec":"(pow (* (- z1 1) (- z1 1)) (- (/ 1/2 z0) 1))"},{"name":"125-powz21z211z1z1z0","spec":"(* (pow (* (- z2 1) (- z2 1)) (/ (- 1 z1) z1)) z0)"},{"name":"126-powz21z21z11z0","spec":"(* (pow (* (- z2 1) (- z2 1)) (- z1 1)) z0)"},{"name":"29-pow1z11z11z0z0","spec":"(pow (* (- 1 z1) (- 1 z1)) (/ (- 1 z0) z0))"},{"name":"127-powz21z21z11z1z0","spec":"(* (pow (* (- z2 1) (- z2 1)) (- z1 1)) (* z1 z0))"},{"name":"31-pow1z11z112z01","spec":"(pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1))"},{"name":"131-powz21z2112z11z11z0","spec":"(* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) (* (- z1 1) z0))"},{"name":"22-powz11z11z0","spec":"(pow (* (- z1 1) (- z1 1)) z0)"},{"name":"28-pow1z11z112z0","spec":"(pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z0))"},{"name":"30-pow1z11z1z01","spec":"(pow (* (- 1 z1) (- 1 z1)) (- z0 1))"},{"name":"123-powz21z21z1z0","spec":"(* (pow (* (- z2 1) (- z2 1)) z1) z0)"},{"name":"139-pow1z11z112z01z01","spec":"(* (pow (* (- 1 z1) (- 1 z1)) (- (/ 1/2 z0) 1)) (- z0 1))"},{"name":"23-powz11z1112z0","spec":"(pow (* (- z1 1) (- z1 1)) (/ 1/2 z0))"},{"name":"25-powz11z11z01","spec":"(pow (* (- z1 1) (- z1 1)) (- z0 1))"},{"name":"93-z0pow1z21z212z11","spec":"(* z0 (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))"},{"name":"339-z0z0z2z2z0z0z2z2414powtanhz2z1z023powtanhz2z1z04","spec":"(* (* (* (* (* z0 z0) z2) z2) (* (* (* z0 z0) z2) z2)) (- (* 4 (- 1/4 (pow (tanh (* (* z2 z1) z0)) -2))) (* -3 (pow (tanh (* (* z2 z1) z0)) -4))))"},{"name":"37-z0z1z1","spec":"(/ z0 (* z1 z1))"},{"name":"142-z1z2z0","spec":"(* (/ z1 z2) z0)"},{"name":"317-z1z1z1z2z0","spec":"(* (* (* (* z1 z1) z1) z2) z0)"},{"name":"318-z1z1z1z0z0","spec":"(* (* (* (* z1 z1) z1) z0) z0)"},{"name":"20-powz12z11z0","spec":"(pow (- (* (- z1 2) z1) -1) z0)"},{"name":"228-z1z2z2z1z0","spec":"(* (* (/ z1 (* z2 z2)) z1) z0)"},{"name":"231-z01z2z1z1pow1z21z212z111z1z1z13","spec":"(* (* (/ z0 (* (* (- 1 z2) z1) z1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1))) (- (- (- (/ -1 z1) z1) z1) -3))"},{"name":"21-powz12z1112z0","spec":"(pow (- (* (- z1 2) z1) -1) (/ 1/2 z0))"},{"name":"53-z2z0sinhz2z1z0","spec":"(/ (* z2 z0) (sinh (* (* z2 z1) z0)))"},{"name":"176-414powtanhz2z1z02powtanhz2z1z043z2z0z2z2z2z0z0z0","spec":"(* (- (* 4 (- 1/4 (pow (tanh (* (* z2 z1) z0)) -2))) (* (pow (tanh (* (* z2 z1) z0)) -4) -3)) (* (* z2 z0) (* (* (* (* (* z2 z2) z2) z0) z0) z0)))"},{"name":"340-z0z0z0z2z2414powtanhz2z1z023powtanhz2z1z04","spec":"(* (* (* (* (* z0 z0) z0) z2) z2) (- (* 4 (- 1/4 (pow (tanh (* (* z2 z1) z0)) -2))) (* -3 (pow (tanh (* (* z2 z1) z0)) -4))))"}]