[{"name":"13-powz02z01z1","spec":"(pow (- (* (- z0 2) z0) -1) z1)"},{"name":"115-pow1z01z012z1z2","spec":"(* (pow (* (- 1 z0) (- 1 z0)) (/ 1/2 z1)) z2)"},{"name":"174-z0z1z2","spec":"(* (* z0 z1) z2)"},{"name":"125-z0z1z2","spec":"(* (/ z0 z1) z2)"},{"name":"19-pow1z02z01z02z0z1","spec":"(pow (* (- -1 (* (- z0 2) z0)) (- -1 (* (- z0 2) z0))) z1)"},{"name":"39-z0z1tanhz2z0z1","spec":"(/ (* z0 z1) (tanh (* (* z2 z0) z1)))"},{"name":"57-powtanhz0z1z24314powtanhz0z1z224","spec":"(- (* (pow (tanh (* (* z0 z1) z2)) -4) 3) (* (- 1/4 (pow (tanh (* (* z0 z1) z2)) -2)) -4))"},{"name":"96-powz02z01z11z2","spec":"(* (pow (- (* (- z0 2) z0) -1) (- z1 1)) z2)"},{"name":"264-1z0z0z0z1z2","spec":"(* (* (* (- (- 1 z0) z0) z0) z1) z2)"},{"name":"107-powz01z011z1z1z2z1z1z2","spec":"(* (pow (* (- z0 1) (- z0 1)) (/ (- 1 z1) z1)) (* (/ z2 (* z1 z1)) z2))"},{"name":"287-z0z0z0z0z1z2","spec":"(* (* (* (* (* z0 z0) z0) z0) z1) z2)"},{"name":"273-2z0z1z2z1","spec":"(* (* (* (* -2 z0) z1) z2) z1)"},{"name":"114-pow1z01z0z1z2","spec":"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)"},{"name":"40-z0z1sinhz2z0z1","spec":"(/ (* z0 z1) (sinh (* (* z2 z0) z1)))"},{"name":"97-powz02z01z11z1z1z1z1z2","spec":"(* (pow (- (* (- z0 2) z0) -1) (- z1 1)) (* (- z1 (* (+ z1 z1) z1)) z2))"},{"name":"254-z01z1z0powz2z03","spec":"(* (* (* (- z0 1) z1) z0) (pow z2 (- z0 3)))"}]