{"(* (* (* (* (- z1 1) z1) z0) z2) (- 2 z1))":1728,"(* (* (* (- 1 z1) z0) z1) (- z1 2))":1408,"(* (* (* (- 1 z1) z0) z1) (/ (- z1 2) z2))":2112,"(* (* (* (- 2 z1) z0) z1) (* z2 (- z1 1)))":1728,"(* (* (* (- 2 z1) z2) z0) z1)":1216,"(* (* (* (- 2 z2) z0) (pow z1 (- z2 3))) (- z2 1))":8064,"(* (* (* (- z2 1) z0) z2) (* (- 2 z2) z1))":1728,"(* (* (* (- z2 2) z2) z0) (* z1 (- 1 z2)))":1728,"(* (* (* (exp z0) (+ z1 z1)) (- 1 z2)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6)))":9664,"(* (* (* z0 (+ z1 z1)) (- 1 z2)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6)))":3264,"(* (* (- 1 z1) z2) (* (* (- z1 2) z1) z0))":1728,"(* (* (- 2 z1) z0) (* (pow z2 (- z1 3)) (- z1 1)))":8064,"(* (* (- 2 z1) z0) (pow z2 (- z1 3)))":7552,"(* (* (- 2 z2) z0) (pow z1 (- z2 3)))":7552,"(* (* (- 2 z2) z2) (* (pow z1 (- z2 3)) z0))":7872,"(* (* (- z1 1) (pow z2 (- (- z1 2) 1))) (* z0 (* (- z1 2) z1)))":8576,"(* (* (- z1 2) z2) (* (* (- 1 z1) z0) z1))":1728,"(* (* (- z1) z0) z0)":832,"(* (* (- z1) z2) z0)":832,"(* (* (- z2 1) (* (exp (- z0 (* (* (- 1 z2) z1) (- 1 z2)))) (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6)))":10880,"(* (* (- z2 1) (* (exp z0) (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6)))":9664,"(* (* (- z2 1) (* z0 (+ z1 z1))) (* z1 (+ (* -4 (* (* (- 1 z2) z1) (- 1 z2))) 6)))":3264,"(* (* (- z2 2) z1) (* (* (- 1 z2) z2) z0))":1728,"(* (* (/ (- z1 1) z2) z0) (- z1 2))":1792,"(* (* (/ (- z2 1) z1) z0) (- z2 2))":1792,"(* (* (pow z1 (- z2 1)) z0) z2)":7360,"(* (* (pow z1 (- z2 3)) z0) (- 2 z2))":7552,"(* (* (pow z2 (- z1 3)) z0) (* (- z1 1) z1))":7872,"(* (* z0 (- z2 1)) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":8960,"(* (* z1 (/ (* (- 1 z1) z0) z2)) (- 2 z1))":2112,"(* (* z1 z2) z0)":704,"(* (- -1/2 (* (* (- z2 1) z1) (- 1 z2))) z0)":1600,"(* (- -2 (* (* (- z2 1) z0) 4)) z1)":1408,"(* (- -2 (* (* -4 (* z1 (- 1 z2))) z0)) z1)":1728,"(* (- -2 (* (- z2 1) z0)) z1)":1088,"(* (- z1 1) (* (* (- z1 2) z0) (pow z2 (- z1 3))))":8064,"(* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) (* z1 z0))":2752,"(* (/ (* (- 2 z1) (- z1 1)) (* (* z2 z2) z2)) z0)":2432,"(* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) (* z2 z0))":2752,"(* (/ (* (- 2 z2) (- z2 1)) (* (* z1 z1) z1)) z0)":2432,"(* (/ (- z1 2) z2) z0)":1280,"(* (/ (- z2 2) z1) (* (* (- 1 z2) z0) z2))":2112,"(* (/ (- z2 2) z1) z0)":1280,"(* (/ z0 (* (* (* (- 1 z2) z1) z1) z1)) (- -1 (* (- (+ z1 z1) 3) z1)))":3136,"(* (/ z0 (* (* (* z1 z1) z1) (- z2 1))) (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)))":10304,"(* (exp (- z0 (* (* (- z2 1) z1) (- z2 1)))) (* (* (- 1 z2) (+ z1 z1)) (* z1 (- (* (* (* (- z2 1) (- z2 1)) 4) z1) 6))))":10880,"(* (log (fabs (sinh (* z2 z0)))) z1)":13632,"(* (log (fabs (sinh z0))) z1)":13312,"(* (pow (* (- 1 z2) (- 1 z2)) (- (/ 1/2 z1) 1)) z0)":8448,"(* (pow z1 (- z2 1)) (* z2 z0))":7360,"(* (pow z1 (- z2 1)) z0)":7040,"(* (pow z1 (- z2 2)) z0)":7040,"(* -4 (* (- 1/2 (* (* z1 (- 1 z2)) z0)) z1))":1728,"(* -4 (* (- 1/2 (* (- 1 z2) z0)) z1))":1408,"(* z0 (* (* (* z1 (* (* z2 z2) z2)) z1) z1))":1984,"(* z0 (* (- z1 2) z1))":896,"(* z0 (* z2 (* z1 z1)))":1024,"(* z1 (log z0))":6784,"(- (* z2 z2) (- z2 (* z1 z0)))":1088,"(/ (* z0 (* (- z1 2) z1)) z2)":1600}