[{"name":"18-pow1z01z0z1","spec":"(pow (* (+ -1 z0) (+ -1 z0)) z1)"},{"name":"182-z0z1z2","spec":"(* (* z0 z1) z2)"},{"name":"141-z0z1z1z2","spec":"(* (/ z0 (* z1 z1)) z2)"},{"name":"224-z0z0z0z0z1pow1z21z2z01","spec":"(* (* (- z0 (* (+ z0 z0) z0)) z1) (pow (* (- 1 z2) (- 1 z2)) (- z0 1)))"},{"name":"187-z0z0z1z1z2","spec":"(* (* z0 (/ z0 (* z1 z1))) z2)"},{"name":"25-pow1z01z01z01z0z1","spec":"(pow (* (* (+ -1 z0) (+ -1 z0)) (* (+ -1 z0) (+ -1 z0))) z1)"},{"name":"4-powz0z11","spec":"(pow z0 (- z1 1))"},{"name":"242-z0z0z1z2","spec":"(* (* (* z0 z0) z1) z2)"},{"name":"44-z0z1sinhz0z2z1","spec":"(/ (* z0 z1) (sinh (* (* z0 z2) z1)))"}]