18.234 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.027 * * [simplify]: iteration  0 :  27  enodes  (cost  8 )
0.028 * * [simplify]: iteration  1 :  63  enodes  (cost  8 )
0.030 * * [simplify]: iteration  2 :  149  enodes  (cost  8 )
0.033 * * [simplify]: iteration  3 :  358  enodes  (cost  8 )
0.038 * * [simplify]: iteration  4 :  840  enodes  (cost  8 )
0.059 * * [simplify]: iteration  5 :  5001  enodes  (cost  8 )
0.059 * [simplify]: Simplified to:
   (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.059 * * [progress]: iteration 1 / 4
0.059 * * * [progress]: picking best candidate
0.061 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))))>
0.062 * * * [progress]: localizing error
0.072 * * * [progress]: generating rewritten candidates
0.072 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.082 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.088 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.088 * [approximate]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in (y z t) around 0
0.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in t
0.088 * [taylor]: Taking taylor expansion of 2.0 in t
0.088 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in t
0.088 * [taylor]: Taking taylor expansion of (* z y) in t
0.088 * [taylor]: Taking taylor expansion of z in t
0.088 * [taylor]: Taking taylor expansion of y in t
0.088 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in t
0.088 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in t
0.088 * [taylor]: Taking taylor expansion of 2.0 in t
0.088 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.088 * [taylor]: Taking taylor expansion of z in t
0.088 * [taylor]: Taking taylor expansion of (* t y) in t
0.088 * [taylor]: Taking taylor expansion of t in t
0.088 * [taylor]: Taking taylor expansion of y in t
0.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in z
0.089 * [taylor]: Taking taylor expansion of 2.0 in z
0.089 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in z
0.089 * [taylor]: Taking taylor expansion of (* z y) in z
0.089 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of y in z
0.089 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.089 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.089 * [taylor]: Taking taylor expansion of 2.0 in z
0.089 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.089 * [taylor]: Taking taylor expansion of z in z
0.089 * [taylor]: Taking taylor expansion of (* t y) in z
0.089 * [taylor]: Taking taylor expansion of t in z
0.089 * [taylor]: Taking taylor expansion of y in z
0.089 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in y
0.090 * [taylor]: Taking taylor expansion of 2.0 in y
0.090 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in y
0.090 * [taylor]: Taking taylor expansion of (* z y) in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.090 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.090 * [taylor]: Taking taylor expansion of 2.0 in y
0.090 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.090 * [taylor]: Taking taylor expansion of z in y
0.090 * [taylor]: Taking taylor expansion of (* t y) in y
0.090 * [taylor]: Taking taylor expansion of t in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in y
0.091 * [taylor]: Taking taylor expansion of 2.0 in y
0.091 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in y
0.091 * [taylor]: Taking taylor expansion of (* z y) in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.091 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.091 * [taylor]: Taking taylor expansion of 2.0 in y
0.091 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.091 * [taylor]: Taking taylor expansion of z in y
0.091 * [taylor]: Taking taylor expansion of (* t y) in y
0.091 * [taylor]: Taking taylor expansion of t in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
0.092 * [taylor]: Taking taylor expansion of 1.0 in z
0.092 * [taylor]: Taking taylor expansion of z in z
0.093 * [taylor]: Taking taylor expansion of 0 in t
0.094 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z
0.094 * [taylor]: Taking taylor expansion of 0.5 in z
0.094 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z
0.094 * [taylor]: Taking taylor expansion of t in z
0.094 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.094 * [taylor]: Taking taylor expansion of z in z
0.107 * [taylor]: Taking taylor expansion of 0 in t
0.107 * [taylor]: Taking taylor expansion of 0 in t
0.110 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z
0.110 * [taylor]: Taking taylor expansion of 0.25 in z
0.110 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z
0.110 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.110 * [taylor]: Taking taylor expansion of t in z
0.110 * [taylor]: Taking taylor expansion of (pow z 5) in z
0.110 * [taylor]: Taking taylor expansion of z in z
0.135 * [taylor]: Taking taylor expansion of 0 in t
0.139 * [taylor]: Taking taylor expansion of 0 in t
0.139 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in (y z t) around 0
0.139 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in t
0.140 * [taylor]: Taking taylor expansion of 2.0 in t
0.140 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in t
0.140 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.140 * [taylor]: Taking taylor expansion of 2.0 in t
0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.140 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.140 * [taylor]: Taking taylor expansion of z in t
0.140 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.140 * [taylor]: Taking taylor expansion of (* t y) in t
0.140 * [taylor]: Taking taylor expansion of t in t
0.140 * [taylor]: Taking taylor expansion of y in t
0.140 * [taylor]: Taking taylor expansion of (* z y) in t
0.140 * [taylor]: Taking taylor expansion of z in t
0.140 * [taylor]: Taking taylor expansion of y in t
0.140 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in z
0.140 * [taylor]: Taking taylor expansion of 2.0 in z
0.140 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in z
0.140 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.140 * [taylor]: Taking taylor expansion of 2.0 in z
0.140 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.140 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.140 * [taylor]: Taking taylor expansion of z in z
0.141 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.141 * [taylor]: Taking taylor expansion of (* t y) in z
0.141 * [taylor]: Taking taylor expansion of t in z
0.141 * [taylor]: Taking taylor expansion of y in z
0.141 * [taylor]: Taking taylor expansion of (* z y) in z
0.141 * [taylor]: Taking taylor expansion of z in z
0.141 * [taylor]: Taking taylor expansion of y in z
0.144 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.144 * [taylor]: Taking taylor expansion of 2.0 in y
0.144 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.144 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.144 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.144 * [taylor]: Taking taylor expansion of 2.0 in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.144 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.144 * [taylor]: Taking taylor expansion of z in y
0.144 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.144 * [taylor]: Taking taylor expansion of (* t y) in y
0.144 * [taylor]: Taking taylor expansion of t in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.144 * [taylor]: Taking taylor expansion of (* z y) in y
0.144 * [taylor]: Taking taylor expansion of z in y
0.144 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.146 * [taylor]: Taking taylor expansion of 2.0 in y
0.146 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.146 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.146 * [taylor]: Taking taylor expansion of 2.0 in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.146 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.146 * [taylor]: Taking taylor expansion of z in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.146 * [taylor]: Taking taylor expansion of (* t y) in y
0.146 * [taylor]: Taking taylor expansion of t in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of (* z y) in y
0.146 * [taylor]: Taking taylor expansion of z in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.148 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
0.148 * [taylor]: Taking taylor expansion of -2.0 in z
0.148 * [taylor]: Taking taylor expansion of (/ t z) in z
0.148 * [taylor]: Taking taylor expansion of t in z
0.148 * [taylor]: Taking taylor expansion of z in z
0.150 * [taylor]: Taking taylor expansion of 0 in t
0.152 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
0.152 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
0.152 * [taylor]: Taking taylor expansion of 4.0 in z
0.152 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
0.152 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.152 * [taylor]: Taking taylor expansion of t in z
0.153 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.153 * [taylor]: Taking taylor expansion of z in z
0.164 * [taylor]: Taking taylor expansion of 0 in t
0.166 * [taylor]: Taking taylor expansion of 0 in t
0.169 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
0.169 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
0.169 * [taylor]: Taking taylor expansion of 8.0 in z
0.169 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
0.169 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.169 * [taylor]: Taking taylor expansion of t in z
0.169 * [taylor]: Taking taylor expansion of (pow z 5) in z
0.169 * [taylor]: Taking taylor expansion of z in z
0.200 * [taylor]: Taking taylor expansion of 0 in t
0.206 * [taylor]: Taking taylor expansion of 0 in t
0.206 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in (y z t) around 0
0.206 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in t
0.206 * [taylor]: Taking taylor expansion of 2.0 in t
0.206 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in t
0.206 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.206 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.206 * [taylor]: Taking taylor expansion of 2.0 in t
0.206 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.206 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.206 * [taylor]: Taking taylor expansion of z in t
0.207 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.207 * [taylor]: Taking taylor expansion of (* t y) in t
0.207 * [taylor]: Taking taylor expansion of t in t
0.207 * [taylor]: Taking taylor expansion of y in t
0.207 * [taylor]: Taking taylor expansion of (* z y) in t
0.207 * [taylor]: Taking taylor expansion of z in t
0.207 * [taylor]: Taking taylor expansion of y in t
0.207 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in z
0.207 * [taylor]: Taking taylor expansion of 2.0 in z
0.207 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in z
0.207 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.207 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.207 * [taylor]: Taking taylor expansion of 2.0 in z
0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.207 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.207 * [taylor]: Taking taylor expansion of z in z
0.208 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.208 * [taylor]: Taking taylor expansion of (* t y) in z
0.208 * [taylor]: Taking taylor expansion of t in z
0.208 * [taylor]: Taking taylor expansion of y in z
0.208 * [taylor]: Taking taylor expansion of (* z y) in z
0.208 * [taylor]: Taking taylor expansion of z in z
0.208 * [taylor]: Taking taylor expansion of y in z
0.211 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.211 * [taylor]: Taking taylor expansion of 2.0 in y
0.211 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.211 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.211 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.211 * [taylor]: Taking taylor expansion of 2.0 in y
0.211 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.211 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.211 * [taylor]: Taking taylor expansion of z in y
0.211 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.211 * [taylor]: Taking taylor expansion of (* t y) in y
0.211 * [taylor]: Taking taylor expansion of t in y
0.211 * [taylor]: Taking taylor expansion of y in y
0.211 * [taylor]: Taking taylor expansion of (* z y) in y
0.211 * [taylor]: Taking taylor expansion of z in y
0.211 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.213 * [taylor]: Taking taylor expansion of 2.0 in y
0.213 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.213 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.213 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.213 * [taylor]: Taking taylor expansion of 2.0 in y
0.213 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.213 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.213 * [taylor]: Taking taylor expansion of z in y
0.213 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.213 * [taylor]: Taking taylor expansion of (* t y) in y
0.213 * [taylor]: Taking taylor expansion of t in y
0.213 * [taylor]: Taking taylor expansion of y in y
0.213 * [taylor]: Taking taylor expansion of (* z y) in y
0.213 * [taylor]: Taking taylor expansion of z in y
0.213 * [taylor]: Taking taylor expansion of y in y
0.215 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
0.215 * [taylor]: Taking taylor expansion of -2.0 in z
0.215 * [taylor]: Taking taylor expansion of (/ t z) in z
0.215 * [taylor]: Taking taylor expansion of t in z
0.215 * [taylor]: Taking taylor expansion of z in z
0.217 * [taylor]: Taking taylor expansion of 0 in t
0.220 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
0.220 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
0.220 * [taylor]: Taking taylor expansion of 4.0 in z
0.220 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
0.220 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.220 * [taylor]: Taking taylor expansion of t in z
0.220 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.220 * [taylor]: Taking taylor expansion of z in z
0.231 * [taylor]: Taking taylor expansion of 0 in t
0.233 * [taylor]: Taking taylor expansion of 0 in t
0.237 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
0.237 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
0.237 * [taylor]: Taking taylor expansion of 8.0 in z
0.237 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
0.237 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.237 * [taylor]: Taking taylor expansion of t in z
0.237 * [taylor]: Taking taylor expansion of (pow z 5) in z
0.237 * [taylor]: Taking taylor expansion of z in z
0.268 * [taylor]: Taking taylor expansion of 0 in t
0.273 * [taylor]: Taking taylor expansion of 0 in t
0.273 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.273 * [approximate]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in (z y t) around 0
0.273 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in t
0.273 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in t
0.273 * [taylor]: Taking taylor expansion of 2.0 in t
0.273 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.273 * [taylor]: Taking taylor expansion of z in t
0.273 * [taylor]: Taking taylor expansion of (* t y) in t
0.273 * [taylor]: Taking taylor expansion of t in t
0.273 * [taylor]: Taking taylor expansion of y in t
0.274 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.274 * [taylor]: Taking taylor expansion of 2.0 in y
0.274 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.274 * [taylor]: Taking taylor expansion of z in y
0.274 * [taylor]: Taking taylor expansion of (* t y) in y
0.274 * [taylor]: Taking taylor expansion of t in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.274 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.274 * [taylor]: Taking taylor expansion of 2.0 in z
0.274 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.274 * [taylor]: Taking taylor expansion of z in z
0.274 * [taylor]: Taking taylor expansion of (* t y) in z
0.274 * [taylor]: Taking taylor expansion of t in z
0.274 * [taylor]: Taking taylor expansion of y in z
0.274 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.274 * [taylor]: Taking taylor expansion of 2.0 in z
0.274 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.274 * [taylor]: Taking taylor expansion of z in z
0.274 * [taylor]: Taking taylor expansion of (* t y) in z
0.274 * [taylor]: Taking taylor expansion of t in z
0.274 * [taylor]: Taking taylor expansion of y in z
0.274 * [taylor]: Taking taylor expansion of (- (* t y)) in y
0.274 * [taylor]: Taking taylor expansion of (* t y) in y
0.274 * [taylor]: Taking taylor expansion of t in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.274 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in t
0.275 * [taylor]: Taking taylor expansion of (- t) in t
0.275 * [taylor]: Taking taylor expansion of t in t
0.277 * [taylor]: Taking taylor expansion of 2.0 in y
0.277 * [taylor]: Taking taylor expansion of 2.0 in t
0.277 * [taylor]: Taking taylor expansion of 0 in t
0.277 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.280 * [taylor]: Taking taylor expansion of 0 in t
0.281 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in (z y t) around 0
0.281 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.281 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.281 * [taylor]: Taking taylor expansion of 2.0 in t
0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.281 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.281 * [taylor]: Taking taylor expansion of z in t
0.281 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.281 * [taylor]: Taking taylor expansion of (* t y) in t
0.281 * [taylor]: Taking taylor expansion of t in t
0.281 * [taylor]: Taking taylor expansion of y in t
0.281 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.281 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.281 * [taylor]: Taking taylor expansion of 2.0 in y
0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.281 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.281 * [taylor]: Taking taylor expansion of z in y
0.282 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.282 * [taylor]: Taking taylor expansion of (* t y) in y
0.282 * [taylor]: Taking taylor expansion of t in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.282 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.282 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.282 * [taylor]: Taking taylor expansion of 2.0 in z
0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.282 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.282 * [taylor]: Taking taylor expansion of z in z
0.282 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.282 * [taylor]: Taking taylor expansion of (* t y) in z
0.282 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of y in z
0.283 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.283 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.283 * [taylor]: Taking taylor expansion of 2.0 in z
0.283 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.283 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.283 * [taylor]: Taking taylor expansion of z in z
0.283 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.283 * [taylor]: Taking taylor expansion of (* t y) in z
0.283 * [taylor]: Taking taylor expansion of t in z
0.283 * [taylor]: Taking taylor expansion of y in z
0.284 * [taylor]: Taking taylor expansion of 2.0 in y
0.285 * [taylor]: Taking taylor expansion of 0 in y
0.285 * [taylor]: Taking taylor expansion of 2.0 in t
0.287 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y))) in y
0.287 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.287 * [taylor]: Taking taylor expansion of (* t y) in y
0.287 * [taylor]: Taking taylor expansion of t in y
0.287 * [taylor]: Taking taylor expansion of y in y
0.287 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.287 * [taylor]: Taking taylor expansion of t in t
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.291 * [taylor]: Taking taylor expansion of 0 in t
0.294 * [taylor]: Taking taylor expansion of 0 in y
0.294 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [taylor]: Taking taylor expansion of 0 in t
0.295 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in (z y t) around 0
0.295 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.295 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.295 * [taylor]: Taking taylor expansion of 2.0 in t
0.296 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.296 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.296 * [taylor]: Taking taylor expansion of z in t
0.296 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.296 * [taylor]: Taking taylor expansion of (* t y) in t
0.296 * [taylor]: Taking taylor expansion of t in t
0.296 * [taylor]: Taking taylor expansion of y in t
0.296 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.296 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.296 * [taylor]: Taking taylor expansion of 2.0 in y
0.296 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.296 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.296 * [taylor]: Taking taylor expansion of z in y
0.296 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.296 * [taylor]: Taking taylor expansion of (* t y) in y
0.296 * [taylor]: Taking taylor expansion of t in y
0.296 * [taylor]: Taking taylor expansion of y in y
0.297 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.297 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.297 * [taylor]: Taking taylor expansion of 2.0 in z
0.297 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.297 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.297 * [taylor]: Taking taylor expansion of z in z
0.297 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.297 * [taylor]: Taking taylor expansion of (* t y) in z
0.297 * [taylor]: Taking taylor expansion of t in z
0.297 * [taylor]: Taking taylor expansion of y in z
0.297 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.297 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.297 * [taylor]: Taking taylor expansion of 2.0 in z
0.297 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.297 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.297 * [taylor]: Taking taylor expansion of z in z
0.298 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.298 * [taylor]: Taking taylor expansion of (* t y) in z
0.298 * [taylor]: Taking taylor expansion of t in z
0.298 * [taylor]: Taking taylor expansion of y in z
0.299 * [taylor]: Taking taylor expansion of 2.0 in y
0.300 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [taylor]: Taking taylor expansion of 2.0 in t
0.302 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y))) in y
0.302 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.302 * [taylor]: Taking taylor expansion of (* t y) in y
0.302 * [taylor]: Taking taylor expansion of t in y
0.302 * [taylor]: Taking taylor expansion of y in y
0.302 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.302 * [taylor]: Taking taylor expansion of t in t
0.303 * [taylor]: Taking taylor expansion of 0 in t
0.303 * [taylor]: Taking taylor expansion of 0 in t
0.305 * [taylor]: Taking taylor expansion of 0 in y
0.305 * [taylor]: Taking taylor expansion of 0 in t
0.306 * [taylor]: Taking taylor expansion of 0 in t
0.306 * [taylor]: Taking taylor expansion of 0 in t
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 0 in t
0.310 * [taylor]: Taking taylor expansion of 0 in t
0.310 * * * [progress]: simplifying candidates
0.311 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (log1p (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (- (+ (+ (log y) (log 2.0)) (log z)) (log (- (* (* z 2.0) z) (* y t))))
  (- (+ (log (* y 2.0)) (log z)) (log (- (* (* z 2.0) z) (* y t))))
  (- (log (* (* y 2.0) z)) (log (- (* (* z 2.0) z) (* y t))))
  (log (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (exp (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (/ (* (* (* (* y y) y) (* (* 2.0 2.0) 2.0)) (* (* z z) z)) (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t))))
  (/ (* (* (* (* y 2.0) (* y 2.0)) (* y 2.0)) (* (* z z) z)) (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t))))
  (/ (* (* (* (* y 2.0) z) (* (* y 2.0) z)) (* (* y 2.0) z)) (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t))))
  (* (cbrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) (cbrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))))
  (cbrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (* (* (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))) (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (sqrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (sqrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (- (* (* y 2.0) z))
  (- (- (* (* z 2.0) z) (* y t)))
  (/ (* y 2.0) (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))))
  (/ z (cbrt (- (* (* z 2.0) z) (* y t))))
  (/ (* y 2.0) (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ z (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ (* y 2.0) 1)
  (/ z (- (* (* z 2.0) z) (* y t)))
  (/ 1 (- (* (* z 2.0) z) (* y t)))
  (/ (- (* (* z 2.0) z) (* y t)) (* (* y 2.0) z))
  (/ (* (* y 2.0) z) (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))))
  (/ (* (* y 2.0) z) (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ (* (* y 2.0) z) 1)
  (/ (- (* (* z 2.0) z) (* y t)) z)
  (/ (* (* y 2.0) z) (- (pow (* (* z 2.0) z) 3) (pow (* y t) 3)))
  (/ (* (* y 2.0) z) (- (* (* (* z 2.0) z) (* (* z 2.0) z)) (* (* y t) (* y t))))
  (fma (* z 2.0) z (- (* t y)))
  (fma (- t) y (* t y))
  (expm1 (- (* (* z 2.0) z) (* y t)))
  (log1p (- (* (* z 2.0) z) (* y t)))
  (- (* y t))
  (/ (exp (* (* z 2.0) z)) (exp (* y t)))
  (log (- (* (* z 2.0) z) (* y t)))
  (exp (- (* (* z 2.0) z) (* y t)))
  (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t))))
  (cbrt (- (* (* z 2.0) z) (* y t)))
  (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t)))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (- (pow (* (* z 2.0) z) 3) (pow (* y t) 3))
  (+ (* (* (* z 2.0) z) (* (* z 2.0) z)) (+ (* (* y t) (* y t)) (* (* (* z 2.0) z) (* y t))))
  (- (* y t))
  (- (* (* (* z 2.0) z) (* (* z 2.0) z)) (* (* y t) (* y t)))
  (+ (* (* z 2.0) z) (* y t))
  (- (* y t))
  0
  0
  0
  (- (* 2.0 (pow z 2)) (* t y))
  (- (* 2.0 (pow z 2)) (* t y))
  (- (* 2.0 (pow z 2)) (* t y))
0.316 * * [simplify]: iteration  0 :  281  enodes  (cost  415 )
0.322 * * [simplify]: iteration  1 :  1422  enodes  (cost  344 )
0.350 * * [simplify]: iteration  2 :  5002  enodes  (cost  344 )
0.352 * [simplify]: Simplified to:
   (expm1 (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (log1p (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (log (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (log (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (log (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (log (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (exp (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (pow (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))) 3)
  (pow (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))) 3)
  (pow (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))) 3)
  (* (cbrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))) (cbrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))))
  (cbrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (pow (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))) 3)
  (sqrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (sqrt (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
  (- (* (* y 2.0) z))
  (- (- (* (* z 2.0) z) (* y t)))
  (/ (* y 2.0) (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))))
  (/ z (cbrt (- (* (* z 2.0) z) (* y t))))
  (/ (* y 2.0) (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ z (sqrt (- (* (* z 2.0) z) (* y t))))
  (* y 2.0)
  (/ z (- (* 2.0 (pow z 2)) (* t y)))
  (/ 1 (- (* (* z 2.0) z) (* y t)))
  (/ (- (* (* z 2.0) z) (* y t)) (* (* y 2.0) z))
  (/ (* (* y 2.0) z) (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))))
  (/ (* (* y 2.0) z) (sqrt (- (* (* z 2.0) z) (* y t))))
  (* (* y 2.0) z)
  (/ (- (* (* z 2.0) z) (* y t)) z)
  (/ (* (* y 2.0) z) (- (pow (* (* z 2.0) z) 3) (pow (* y t) 3)))
  (/ (* y 2.0) (/ (* (fma (* z 2.0) z (* y t)) (- (* (* z 2.0) z) (* y t))) z))
  (- (* 2.0 (pow z 2)) (* t y))
  (fma (- t) y (* t y))
  (expm1 (- (* (* z 2.0) z) (* y t)))
  (log1p (- (* (* z 2.0) z) (* y t)))
  (- (* y t))
  (exp (- (* (* z 2.0) z) (* y t)))
  (log (- (* 2.0 (pow z 2)) (* t y)))
  (exp (- (* (* z 2.0) z) (* y t)))
  (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t))))
  (cbrt (- (* (* z 2.0) z) (* y t)))
  (pow (- (* (* z 2.0) z) (* y t)) 3)
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (- (pow (* (* z 2.0) z) 3) (pow (* y t) 3))
  (fma (* y t) (fma (* z 2.0) z (* y t)) (* (* (* z 2.0) z) (* (* z 2.0) z)))
  (- (* y t))
  (* (fma (* z 2.0) z (* y t)) (- (* (* z 2.0) z) (* y t)))
  (fma (* z 2.0) z (* y t))
  (- (* y t))
  0
  0
  0
  (- (* 2.0 (pow z 2)) (* t y))
  (- (* 2.0 (pow z 2)) (* t y))
  (- (* 2.0 (pow z 2)) (* t y))
0.352 * * * [progress]: adding candidates to table
0.452 * * [progress]: iteration 2 / 4
0.452 * * * [progress]: picking best candidate
0.459 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))))>
0.459 * * * [progress]: localizing error
0.470 * * * [progress]: generating rewritten candidates
0.470 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.477 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.491 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 1)
0.504 * * * [progress]: generating series expansions
0.504 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.508 * [approximate]: Taking taylor expansion of (/ (- (* 2.0 (pow z 2)) (* t y)) z) in (z y t) around 0
0.508 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (pow z 2)) (* t y)) z) in t
0.508 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in t
0.508 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in t
0.508 * [taylor]: Taking taylor expansion of 2.0 in t
0.508 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.508 * [taylor]: Taking taylor expansion of z in t
0.508 * [taylor]: Taking taylor expansion of (* t y) in t
0.508 * [taylor]: Taking taylor expansion of t in t
0.508 * [taylor]: Taking taylor expansion of y in t
0.508 * [taylor]: Taking taylor expansion of z in t
0.509 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (pow z 2)) (* t y)) z) in y
0.509 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.509 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.509 * [taylor]: Taking taylor expansion of 2.0 in y
0.509 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.509 * [taylor]: Taking taylor expansion of z in y
0.509 * [taylor]: Taking taylor expansion of (* t y) in y
0.509 * [taylor]: Taking taylor expansion of t in y
0.509 * [taylor]: Taking taylor expansion of y in y
0.509 * [taylor]: Taking taylor expansion of z in y
0.510 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (pow z 2)) (* t y)) z) in z
0.510 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.510 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.510 * [taylor]: Taking taylor expansion of 2.0 in z
0.510 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.510 * [taylor]: Taking taylor expansion of z in z
0.510 * [taylor]: Taking taylor expansion of (* t y) in z
0.510 * [taylor]: Taking taylor expansion of t in z
0.510 * [taylor]: Taking taylor expansion of y in z
0.510 * [taylor]: Taking taylor expansion of z in z
0.511 * [taylor]: Taking taylor expansion of (/ (- (* 2.0 (pow z 2)) (* t y)) z) in z
0.511 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.511 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.511 * [taylor]: Taking taylor expansion of 2.0 in z
0.511 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.511 * [taylor]: Taking taylor expansion of z in z
0.511 * [taylor]: Taking taylor expansion of (* t y) in z
0.511 * [taylor]: Taking taylor expansion of t in z
0.511 * [taylor]: Taking taylor expansion of y in z
0.511 * [taylor]: Taking taylor expansion of z in z
0.512 * [taylor]: Taking taylor expansion of (* -1 (* t y)) in y
0.512 * [taylor]: Taking taylor expansion of -1 in y
0.512 * [taylor]: Taking taylor expansion of (* t y) in y
0.512 * [taylor]: Taking taylor expansion of t in y
0.512 * [taylor]: Taking taylor expansion of y in y
0.512 * [taylor]: Taking taylor expansion of 0 in t
0.514 * [taylor]: Taking taylor expansion of 0 in y
0.514 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of (- t) in t
0.515 * [taylor]: Taking taylor expansion of t in t
0.518 * [taylor]: Taking taylor expansion of 2.0 in y
0.518 * [taylor]: Taking taylor expansion of 2.0 in t
0.518 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of 0 in t
0.525 * [taylor]: Taking taylor expansion of 0 in y
0.525 * [taylor]: Taking taylor expansion of 0 in t
0.525 * [taylor]: Taking taylor expansion of 0 in t
0.525 * [taylor]: Taking taylor expansion of 0 in t
0.527 * [taylor]: Taking taylor expansion of 0 in t
0.527 * [approximate]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in (z y t) around 0
0.527 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in t
0.527 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.527 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.527 * [taylor]: Taking taylor expansion of 2.0 in t
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.528 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.528 * [taylor]: Taking taylor expansion of z in t
0.528 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.528 * [taylor]: Taking taylor expansion of (* t y) in t
0.528 * [taylor]: Taking taylor expansion of t in t
0.528 * [taylor]: Taking taylor expansion of y in t
0.528 * [taylor]: Taking taylor expansion of z in t
0.528 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in y
0.528 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.528 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.528 * [taylor]: Taking taylor expansion of 2.0 in y
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.528 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.528 * [taylor]: Taking taylor expansion of z in y
0.529 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.529 * [taylor]: Taking taylor expansion of (* t y) in y
0.529 * [taylor]: Taking taylor expansion of t in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of z in y
0.529 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in z
0.529 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.529 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.529 * [taylor]: Taking taylor expansion of 2.0 in z
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.529 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.529 * [taylor]: Taking taylor expansion of z in z
0.530 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.530 * [taylor]: Taking taylor expansion of (* t y) in z
0.530 * [taylor]: Taking taylor expansion of t in z
0.530 * [taylor]: Taking taylor expansion of y in z
0.530 * [taylor]: Taking taylor expansion of z in z
0.530 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in z
0.530 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.530 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.530 * [taylor]: Taking taylor expansion of 2.0 in z
0.531 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.531 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.531 * [taylor]: Taking taylor expansion of z in z
0.531 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.531 * [taylor]: Taking taylor expansion of (* t y) in z
0.531 * [taylor]: Taking taylor expansion of t in z
0.531 * [taylor]: Taking taylor expansion of y in z
0.532 * [taylor]: Taking taylor expansion of z in z
0.533 * [taylor]: Taking taylor expansion of 0 in y
0.536 * [taylor]: Taking taylor expansion of 2.0 in y
0.536 * [taylor]: Taking taylor expansion of 0 in t
0.538 * [taylor]: Taking taylor expansion of 0 in y
0.538 * [taylor]: Taking taylor expansion of 2.0 in t
0.538 * [taylor]: Taking taylor expansion of 0 in t
0.541 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y))) in y
0.541 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.541 * [taylor]: Taking taylor expansion of (* t y) in y
0.541 * [taylor]: Taking taylor expansion of t in y
0.541 * [taylor]: Taking taylor expansion of y in y
0.541 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.541 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.541 * [taylor]: Taking taylor expansion of t in t
0.542 * [taylor]: Taking taylor expansion of 0 in t
0.542 * [taylor]: Taking taylor expansion of 0 in t
0.542 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in y
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.547 * [approximate]: Taking taylor expansion of (* -1 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z)) in (z y t) around 0
0.547 * [taylor]: Taking taylor expansion of (* -1 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z)) in t
0.548 * [taylor]: Taking taylor expansion of -1 in t
0.548 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in t
0.548 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.548 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.548 * [taylor]: Taking taylor expansion of 2.0 in t
0.548 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.548 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.548 * [taylor]: Taking taylor expansion of z in t
0.548 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.548 * [taylor]: Taking taylor expansion of (* t y) in t
0.548 * [taylor]: Taking taylor expansion of t in t
0.548 * [taylor]: Taking taylor expansion of y in t
0.548 * [taylor]: Taking taylor expansion of z in t
0.548 * [taylor]: Taking taylor expansion of (* -1 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z)) in y
0.548 * [taylor]: Taking taylor expansion of -1 in y
0.548 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in y
0.548 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.548 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.548 * [taylor]: Taking taylor expansion of 2.0 in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.548 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.548 * [taylor]: Taking taylor expansion of z in y
0.548 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.548 * [taylor]: Taking taylor expansion of (* t y) in y
0.548 * [taylor]: Taking taylor expansion of t in y
0.548 * [taylor]: Taking taylor expansion of y in y
0.549 * [taylor]: Taking taylor expansion of z in y
0.549 * [taylor]: Taking taylor expansion of (* -1 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z)) in z
0.549 * [taylor]: Taking taylor expansion of -1 in z
0.549 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in z
0.549 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.549 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.549 * [taylor]: Taking taylor expansion of 2.0 in z
0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.549 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.549 * [taylor]: Taking taylor expansion of z in z
0.549 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.549 * [taylor]: Taking taylor expansion of (* t y) in z
0.549 * [taylor]: Taking taylor expansion of t in z
0.549 * [taylor]: Taking taylor expansion of y in z
0.550 * [taylor]: Taking taylor expansion of z in z
0.550 * [taylor]: Taking taylor expansion of (* -1 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z)) in z
0.550 * [taylor]: Taking taylor expansion of -1 in z
0.550 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) z) in z
0.550 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.550 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.550 * [taylor]: Taking taylor expansion of 2.0 in z
0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.550 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.550 * [taylor]: Taking taylor expansion of z in z
0.550 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.550 * [taylor]: Taking taylor expansion of (* t y) in z
0.550 * [taylor]: Taking taylor expansion of t in z
0.550 * [taylor]: Taking taylor expansion of y in z
0.550 * [taylor]: Taking taylor expansion of z in z
0.551 * [taylor]: Taking taylor expansion of 0 in y
0.554 * [taylor]: Taking taylor expansion of (- 2.0) in y
0.555 * [taylor]: Taking taylor expansion of 2.0 in y
0.555 * [taylor]: Taking taylor expansion of 0 in t
0.557 * [taylor]: Taking taylor expansion of 0 in y
0.558 * [taylor]: Taking taylor expansion of (- 2.0) in t
0.558 * [taylor]: Taking taylor expansion of 2.0 in t
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.561 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.561 * [taylor]: Taking taylor expansion of (* t y) in y
0.561 * [taylor]: Taking taylor expansion of t in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.561 * [taylor]: Taking taylor expansion of t in t
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.567 * [taylor]: Taking taylor expansion of 0 in y
0.567 * [taylor]: Taking taylor expansion of 0 in t
0.567 * [taylor]: Taking taylor expansion of 0 in t
0.568 * [taylor]: Taking taylor expansion of 0 in t
0.568 * [taylor]: Taking taylor expansion of 0 in t
0.569 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.569 * [approximate]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in (y z t) around 0
0.569 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in t
0.569 * [taylor]: Taking taylor expansion of 2.0 in t
0.569 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in t
0.569 * [taylor]: Taking taylor expansion of (* z y) in t
0.569 * [taylor]: Taking taylor expansion of z in t
0.569 * [taylor]: Taking taylor expansion of y in t
0.569 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in t
0.569 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in t
0.569 * [taylor]: Taking taylor expansion of 2.0 in t
0.569 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.569 * [taylor]: Taking taylor expansion of z in t
0.569 * [taylor]: Taking taylor expansion of (* t y) in t
0.569 * [taylor]: Taking taylor expansion of t in t
0.569 * [taylor]: Taking taylor expansion of y in t
0.570 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in z
0.570 * [taylor]: Taking taylor expansion of 2.0 in z
0.570 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in z
0.570 * [taylor]: Taking taylor expansion of (* z y) in z
0.570 * [taylor]: Taking taylor expansion of z in z
0.570 * [taylor]: Taking taylor expansion of y in z
0.570 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.570 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.570 * [taylor]: Taking taylor expansion of 2.0 in z
0.570 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.570 * [taylor]: Taking taylor expansion of z in z
0.570 * [taylor]: Taking taylor expansion of (* t y) in z
0.570 * [taylor]: Taking taylor expansion of t in z
0.570 * [taylor]: Taking taylor expansion of y in z
0.570 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in y
0.570 * [taylor]: Taking taylor expansion of 2.0 in y
0.570 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in y
0.570 * [taylor]: Taking taylor expansion of (* z y) in y
0.570 * [taylor]: Taking taylor expansion of z in y
0.570 * [taylor]: Taking taylor expansion of y in y
0.570 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.570 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.570 * [taylor]: Taking taylor expansion of 2.0 in y
0.570 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.570 * [taylor]: Taking taylor expansion of z in y
0.570 * [taylor]: Taking taylor expansion of (* t y) in y
0.570 * [taylor]: Taking taylor expansion of t in y
0.570 * [taylor]: Taking taylor expansion of y in y
0.571 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* z y) (- (* 2.0 (pow z 2)) (* t y)))) in y
0.571 * [taylor]: Taking taylor expansion of 2.0 in y
0.571 * [taylor]: Taking taylor expansion of (/ (* z y) (- (* 2.0 (pow z 2)) (* t y))) in y
0.571 * [taylor]: Taking taylor expansion of (* z y) in y
0.571 * [taylor]: Taking taylor expansion of z in y
0.572 * [taylor]: Taking taylor expansion of y in y
0.572 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.572 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.572 * [taylor]: Taking taylor expansion of 2.0 in y
0.572 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.572 * [taylor]: Taking taylor expansion of z in y
0.572 * [taylor]: Taking taylor expansion of (* t y) in y
0.572 * [taylor]: Taking taylor expansion of t in y
0.572 * [taylor]: Taking taylor expansion of y in y
0.572 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
0.573 * [taylor]: Taking taylor expansion of 1.0 in z
0.573 * [taylor]: Taking taylor expansion of z in z
0.574 * [taylor]: Taking taylor expansion of 0 in t
0.575 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z
0.575 * [taylor]: Taking taylor expansion of 0.5 in z
0.575 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z
0.575 * [taylor]: Taking taylor expansion of t in z
0.575 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.575 * [taylor]: Taking taylor expansion of z in z
0.585 * [taylor]: Taking taylor expansion of 0 in t
0.585 * [taylor]: Taking taylor expansion of 0 in t
0.588 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z
0.588 * [taylor]: Taking taylor expansion of 0.25 in z
0.588 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z
0.588 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.588 * [taylor]: Taking taylor expansion of t in z
0.588 * [taylor]: Taking taylor expansion of (pow z 5) in z
0.588 * [taylor]: Taking taylor expansion of z in z
0.614 * [taylor]: Taking taylor expansion of 0 in t
0.619 * [taylor]: Taking taylor expansion of 0 in t
0.619 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in (y z t) around 0
0.619 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in t
0.619 * [taylor]: Taking taylor expansion of 2.0 in t
0.619 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in t
0.619 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.619 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.619 * [taylor]: Taking taylor expansion of 2.0 in t
0.619 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.619 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.619 * [taylor]: Taking taylor expansion of z in t
0.619 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.619 * [taylor]: Taking taylor expansion of (* t y) in t
0.619 * [taylor]: Taking taylor expansion of t in t
0.619 * [taylor]: Taking taylor expansion of y in t
0.620 * [taylor]: Taking taylor expansion of (* z y) in t
0.620 * [taylor]: Taking taylor expansion of z in t
0.620 * [taylor]: Taking taylor expansion of y in t
0.620 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in z
0.620 * [taylor]: Taking taylor expansion of 2.0 in z
0.620 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in z
0.620 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.620 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.620 * [taylor]: Taking taylor expansion of 2.0 in z
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.620 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.620 * [taylor]: Taking taylor expansion of z in z
0.620 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.621 * [taylor]: Taking taylor expansion of (* t y) in z
0.621 * [taylor]: Taking taylor expansion of t in z
0.621 * [taylor]: Taking taylor expansion of y in z
0.621 * [taylor]: Taking taylor expansion of (* z y) in z
0.621 * [taylor]: Taking taylor expansion of z in z
0.621 * [taylor]: Taking taylor expansion of y in z
0.624 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.624 * [taylor]: Taking taylor expansion of 2.0 in y
0.624 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.624 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.624 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.624 * [taylor]: Taking taylor expansion of 2.0 in y
0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.624 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.624 * [taylor]: Taking taylor expansion of z in y
0.624 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.624 * [taylor]: Taking taylor expansion of (* t y) in y
0.624 * [taylor]: Taking taylor expansion of t in y
0.624 * [taylor]: Taking taylor expansion of y in y
0.624 * [taylor]: Taking taylor expansion of (* z y) in y
0.624 * [taylor]: Taking taylor expansion of z in y
0.624 * [taylor]: Taking taylor expansion of y in y
0.626 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.626 * [taylor]: Taking taylor expansion of 2.0 in y
0.626 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.626 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.626 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.626 * [taylor]: Taking taylor expansion of 2.0 in y
0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.626 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.626 * [taylor]: Taking taylor expansion of z in y
0.626 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.626 * [taylor]: Taking taylor expansion of (* t y) in y
0.626 * [taylor]: Taking taylor expansion of t in y
0.626 * [taylor]: Taking taylor expansion of y in y
0.626 * [taylor]: Taking taylor expansion of (* z y) in y
0.626 * [taylor]: Taking taylor expansion of z in y
0.626 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
0.628 * [taylor]: Taking taylor expansion of -2.0 in z
0.628 * [taylor]: Taking taylor expansion of (/ t z) in z
0.628 * [taylor]: Taking taylor expansion of t in z
0.628 * [taylor]: Taking taylor expansion of z in z
0.630 * [taylor]: Taking taylor expansion of 0 in t
0.632 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
0.632 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
0.632 * [taylor]: Taking taylor expansion of 4.0 in z
0.632 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
0.632 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.632 * [taylor]: Taking taylor expansion of t in z
0.632 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.633 * [taylor]: Taking taylor expansion of z in z
0.644 * [taylor]: Taking taylor expansion of 0 in t
0.646 * [taylor]: Taking taylor expansion of 0 in t
0.649 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
0.649 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
0.649 * [taylor]: Taking taylor expansion of 8.0 in z
0.649 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
0.649 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.649 * [taylor]: Taking taylor expansion of t in z
0.649 * [taylor]: Taking taylor expansion of (pow z 5) in z
0.649 * [taylor]: Taking taylor expansion of z in z
0.678 * [taylor]: Taking taylor expansion of 0 in t
0.688 * [taylor]: Taking taylor expansion of 0 in t
0.688 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in (y z t) around 0
0.688 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in t
0.688 * [taylor]: Taking taylor expansion of 2.0 in t
0.688 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in t
0.688 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.688 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.688 * [taylor]: Taking taylor expansion of 2.0 in t
0.688 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.688 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.688 * [taylor]: Taking taylor expansion of z in t
0.688 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.688 * [taylor]: Taking taylor expansion of (* t y) in t
0.688 * [taylor]: Taking taylor expansion of t in t
0.688 * [taylor]: Taking taylor expansion of y in t
0.689 * [taylor]: Taking taylor expansion of (* z y) in t
0.689 * [taylor]: Taking taylor expansion of z in t
0.689 * [taylor]: Taking taylor expansion of y in t
0.689 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in z
0.689 * [taylor]: Taking taylor expansion of 2.0 in z
0.689 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in z
0.689 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.689 * [taylor]: Taking taylor expansion of 2.0 in z
0.689 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.689 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.689 * [taylor]: Taking taylor expansion of z in z
0.689 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.689 * [taylor]: Taking taylor expansion of (* t y) in z
0.689 * [taylor]: Taking taylor expansion of t in z
0.689 * [taylor]: Taking taylor expansion of y in z
0.689 * [taylor]: Taking taylor expansion of (* z y) in z
0.690 * [taylor]: Taking taylor expansion of z in z
0.690 * [taylor]: Taking taylor expansion of y in z
0.692 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.692 * [taylor]: Taking taylor expansion of 2.0 in y
0.692 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.692 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.692 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.692 * [taylor]: Taking taylor expansion of 2.0 in y
0.692 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.692 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.692 * [taylor]: Taking taylor expansion of z in y
0.693 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.693 * [taylor]: Taking taylor expansion of (* t y) in y
0.693 * [taylor]: Taking taylor expansion of t in y
0.693 * [taylor]: Taking taylor expansion of y in y
0.693 * [taylor]: Taking taylor expansion of (* z y) in y
0.693 * [taylor]: Taking taylor expansion of z in y
0.693 * [taylor]: Taking taylor expansion of y in y
0.694 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y))) in y
0.694 * [taylor]: Taking taylor expansion of 2.0 in y
0.694 * [taylor]: Taking taylor expansion of (* (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) (* z y)) in y
0.694 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.694 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.694 * [taylor]: Taking taylor expansion of 2.0 in y
0.694 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.694 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.694 * [taylor]: Taking taylor expansion of z in y
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.695 * [taylor]: Taking taylor expansion of (* t y) in y
0.695 * [taylor]: Taking taylor expansion of t in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (* z y) in y
0.695 * [taylor]: Taking taylor expansion of z in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.696 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
0.696 * [taylor]: Taking taylor expansion of -2.0 in z
0.696 * [taylor]: Taking taylor expansion of (/ t z) in z
0.696 * [taylor]: Taking taylor expansion of t in z
0.697 * [taylor]: Taking taylor expansion of z in z
0.698 * [taylor]: Taking taylor expansion of 0 in t
0.701 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
0.701 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
0.701 * [taylor]: Taking taylor expansion of 4.0 in z
0.701 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
0.701 * [taylor]: Taking taylor expansion of (pow t 2) in z
0.701 * [taylor]: Taking taylor expansion of t in z
0.701 * [taylor]: Taking taylor expansion of (pow z 3) in z
0.701 * [taylor]: Taking taylor expansion of z in z
0.713 * [taylor]: Taking taylor expansion of 0 in t
0.714 * [taylor]: Taking taylor expansion of 0 in t
0.718 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
0.718 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
0.718 * [taylor]: Taking taylor expansion of 8.0 in z
0.718 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
0.718 * [taylor]: Taking taylor expansion of (pow t 3) in z
0.718 * [taylor]: Taking taylor expansion of t in z
0.718 * [taylor]: Taking taylor expansion of (pow z 5) in z
0.718 * [taylor]: Taking taylor expansion of z in z
0.747 * [taylor]: Taking taylor expansion of 0 in t
0.752 * [taylor]: Taking taylor expansion of 0 in t
0.752 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 1)
0.752 * [approximate]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in (z y t) around 0
0.752 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in t
0.753 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in t
0.753 * [taylor]: Taking taylor expansion of 2.0 in t
0.753 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.753 * [taylor]: Taking taylor expansion of z in t
0.753 * [taylor]: Taking taylor expansion of (* t y) in t
0.753 * [taylor]: Taking taylor expansion of t in t
0.753 * [taylor]: Taking taylor expansion of y in t
0.753 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in y
0.753 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in y
0.753 * [taylor]: Taking taylor expansion of 2.0 in y
0.753 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.753 * [taylor]: Taking taylor expansion of z in y
0.753 * [taylor]: Taking taylor expansion of (* t y) in y
0.753 * [taylor]: Taking taylor expansion of t in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.753 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.753 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.753 * [taylor]: Taking taylor expansion of 2.0 in z
0.753 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.753 * [taylor]: Taking taylor expansion of z in z
0.753 * [taylor]: Taking taylor expansion of (* t y) in z
0.753 * [taylor]: Taking taylor expansion of t in z
0.753 * [taylor]: Taking taylor expansion of y in z
0.753 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow z 2)) (* t y)) in z
0.753 * [taylor]: Taking taylor expansion of (* 2.0 (pow z 2)) in z
0.753 * [taylor]: Taking taylor expansion of 2.0 in z
0.753 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.753 * [taylor]: Taking taylor expansion of z in z
0.753 * [taylor]: Taking taylor expansion of (* t y) in z
0.753 * [taylor]: Taking taylor expansion of t in z
0.753 * [taylor]: Taking taylor expansion of y in z
0.753 * [taylor]: Taking taylor expansion of (- (* t y)) in y
0.753 * [taylor]: Taking taylor expansion of (* t y) in y
0.753 * [taylor]: Taking taylor expansion of t in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.753 * [taylor]: Taking taylor expansion of 0 in t
0.754 * [taylor]: Taking taylor expansion of 0 in y
0.754 * [taylor]: Taking taylor expansion of 0 in t
0.754 * [taylor]: Taking taylor expansion of (- t) in t
0.754 * [taylor]: Taking taylor expansion of t in t
0.756 * [taylor]: Taking taylor expansion of 2.0 in y
0.756 * [taylor]: Taking taylor expansion of 2.0 in t
0.756 * [taylor]: Taking taylor expansion of 0 in t
0.757 * [taylor]: Taking taylor expansion of 0 in t
0.759 * [taylor]: Taking taylor expansion of 0 in y
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.759 * [taylor]: Taking taylor expansion of 0 in t
0.760 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in (z y t) around 0
0.760 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.760 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.760 * [taylor]: Taking taylor expansion of 2.0 in t
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.760 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.760 * [taylor]: Taking taylor expansion of z in t
0.760 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.760 * [taylor]: Taking taylor expansion of (* t y) in t
0.760 * [taylor]: Taking taylor expansion of t in t
0.760 * [taylor]: Taking taylor expansion of y in t
0.760 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.760 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.760 * [taylor]: Taking taylor expansion of 2.0 in y
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.760 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.760 * [taylor]: Taking taylor expansion of z in y
0.761 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.761 * [taylor]: Taking taylor expansion of (* t y) in y
0.761 * [taylor]: Taking taylor expansion of t in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.761 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.761 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.761 * [taylor]: Taking taylor expansion of 2.0 in z
0.761 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.761 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.761 * [taylor]: Taking taylor expansion of z in z
0.761 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.761 * [taylor]: Taking taylor expansion of (* t y) in z
0.761 * [taylor]: Taking taylor expansion of t in z
0.762 * [taylor]: Taking taylor expansion of y in z
0.762 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.762 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.762 * [taylor]: Taking taylor expansion of 2.0 in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.762 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.762 * [taylor]: Taking taylor expansion of z in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.762 * [taylor]: Taking taylor expansion of (* t y) in z
0.762 * [taylor]: Taking taylor expansion of t in z
0.762 * [taylor]: Taking taylor expansion of y in z
0.763 * [taylor]: Taking taylor expansion of 2.0 in y
0.768 * [taylor]: Taking taylor expansion of 0 in y
0.768 * [taylor]: Taking taylor expansion of 2.0 in t
0.770 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y))) in y
0.770 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.770 * [taylor]: Taking taylor expansion of (* t y) in y
0.770 * [taylor]: Taking taylor expansion of t in y
0.770 * [taylor]: Taking taylor expansion of y in y
0.770 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.770 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.770 * [taylor]: Taking taylor expansion of t in t
0.771 * [taylor]: Taking taylor expansion of 0 in t
0.771 * [taylor]: Taking taylor expansion of 0 in t
0.773 * [taylor]: Taking taylor expansion of 0 in y
0.774 * [taylor]: Taking taylor expansion of 0 in t
0.774 * [taylor]: Taking taylor expansion of 0 in t
0.774 * [taylor]: Taking taylor expansion of 0 in t
0.777 * [taylor]: Taking taylor expansion of 0 in y
0.777 * [taylor]: Taking taylor expansion of 0 in t
0.778 * [taylor]: Taking taylor expansion of 0 in t
0.778 * [taylor]: Taking taylor expansion of 0 in t
0.778 * [taylor]: Taking taylor expansion of 0 in t
0.779 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in (z y t) around 0
0.779 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in t
0.779 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in t
0.779 * [taylor]: Taking taylor expansion of 2.0 in t
0.779 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in t
0.779 * [taylor]: Taking taylor expansion of (pow z 2) in t
0.779 * [taylor]: Taking taylor expansion of z in t
0.779 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t
0.779 * [taylor]: Taking taylor expansion of (* t y) in t
0.779 * [taylor]: Taking taylor expansion of t in t
0.779 * [taylor]: Taking taylor expansion of y in t
0.779 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in y
0.779 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in y
0.779 * [taylor]: Taking taylor expansion of 2.0 in y
0.779 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.779 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.779 * [taylor]: Taking taylor expansion of z in y
0.780 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.780 * [taylor]: Taking taylor expansion of (* t y) in y
0.780 * [taylor]: Taking taylor expansion of t in y
0.780 * [taylor]: Taking taylor expansion of y in y
0.780 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.780 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.780 * [taylor]: Taking taylor expansion of 2.0 in z
0.780 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.780 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.780 * [taylor]: Taking taylor expansion of z in z
0.781 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.781 * [taylor]: Taking taylor expansion of (* t y) in z
0.781 * [taylor]: Taking taylor expansion of t in z
0.781 * [taylor]: Taking taylor expansion of y in z
0.781 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow z 2))) (/ 1 (* t y))) in z
0.781 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow z 2))) in z
0.781 * [taylor]: Taking taylor expansion of 2.0 in z
0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.781 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.781 * [taylor]: Taking taylor expansion of z in z
0.781 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z
0.781 * [taylor]: Taking taylor expansion of (* t y) in z
0.781 * [taylor]: Taking taylor expansion of t in z
0.781 * [taylor]: Taking taylor expansion of y in z
0.782 * [taylor]: Taking taylor expansion of 2.0 in y
0.783 * [taylor]: Taking taylor expansion of 0 in y
0.783 * [taylor]: Taking taylor expansion of 2.0 in t
0.785 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y))) in y
0.785 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y
0.785 * [taylor]: Taking taylor expansion of (* t y) in y
0.785 * [taylor]: Taking taylor expansion of t in y
0.785 * [taylor]: Taking taylor expansion of y in y
0.785 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.785 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.785 * [taylor]: Taking taylor expansion of t in t
0.786 * [taylor]: Taking taylor expansion of 0 in t
0.786 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in y
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of 0 in t
0.792 * [taylor]: Taking taylor expansion of 0 in y
0.792 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * [taylor]: Taking taylor expansion of 0 in t
0.793 * * * [progress]: simplifying candidates
0.795 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (- (* (* z 2.0) z) (* y t)) z))
  (log1p (/ (- (* (* z 2.0) z) (* y t)) z))
  (- (log (- (* (* z 2.0) z) (* y t))) (log z))
  (log (/ (- (* (* z 2.0) z) (* y t)) z))
  (exp (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t))) (* (* z z) z))
  (* (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)) (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (cbrt (/ (- (* (* z 2.0) z) (* y t)) z))
  (* (* (/ (- (* (* z 2.0) z) (* y t)) z) (/ (- (* (* z 2.0) z) (* y t)) z)) (/ (- (* (* z 2.0) z) (* y t)) z))
  (sqrt (/ (- (* (* z 2.0) z) (* y t)) z))
  (sqrt (/ (- (* (* z 2.0) z) (* y t)) z))
  (- (- (* (* z 2.0) z) (* y t)))
  (- z)
  (/ (* (* z 2.0) z) z)
  (/ (* y t) z)
  (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt z))
  (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (sqrt z))
  (/ (cbrt (- (* (* z 2.0) z) (* y t))) (sqrt z))
  (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) 1)
  (/ (cbrt (- (* (* z 2.0) z) (* y t))) z)
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (cbrt z))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) 1)
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- (* (* z 2.0) z) (* y t)) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- (* (* z 2.0) z) (* y t)) (sqrt z))
  (/ 1 1)
  (/ (- (* (* z 2.0) z) (* y t)) z)
  (/ 1 z)
  (/ z (- (* (* z 2.0) z) (* y t)))
  (/ (- (* (* z 2.0) z) (* y t)) (* (cbrt z) (cbrt z)))
  (/ (- (* (* z 2.0) z) (* y t)) (sqrt z))
  (/ (- (* (* z 2.0) z) (* y t)) 1)
  (/ z (cbrt (- (* (* z 2.0) z) (* y t))))
  (/ z (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ z (- (* (* z 2.0) z) (* y t)))
  (* z (+ (* (* (* z 2.0) z) (* (* z 2.0) z)) (+ (* (* y t) (* y t)) (* (* (* z 2.0) z) (* y t)))))
  (* z (+ (* (* z 2.0) z) (* y t)))
  (expm1 (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log1p (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (- (+ (log y) (log 2.0)) (- (log (- (* (* z 2.0) z) (* y t))) (log z)))
  (- (+ (log y) (log 2.0)) (log (/ (- (* (* z 2.0) z) (* y t)) z)))
  (- (log (* y 2.0)) (- (log (- (* (* z 2.0) z) (* y t))) (log z)))
  (- (log (* y 2.0)) (log (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (exp (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ (* (* (* y y) y) (* (* 2.0 2.0) 2.0)) (/ (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t))) (* (* z z) z)))
  (/ (* (* (* y y) y) (* (* 2.0 2.0) 2.0)) (* (* (/ (- (* (* z 2.0) z) (* y t)) z) (/ (- (* (* z 2.0) z) (* y t)) z)) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ (* (* (* y 2.0) (* y 2.0)) (* y 2.0)) (/ (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t))) (* (* z z) z)))
  (/ (* (* (* y 2.0) (* y 2.0)) (* y 2.0)) (* (* (/ (- (* (* z 2.0) z) (* y t)) z) (/ (- (* (* z 2.0) z) (* y t)) z)) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (* (cbrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))) (cbrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))))
  (cbrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (* (* (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)) (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))) (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (sqrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (sqrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (- (* y 2.0))
  (- (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ y (* (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)) (cbrt (/ (- (* (* z 2.0) z) (* y t)) z))))
  (/ 2.0 (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ y (sqrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ 2.0 (sqrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ y (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (* (cbrt z) (cbrt z))))
  (/ 2.0 (/ (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt z)))
  (/ y (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (sqrt z)))
  (/ 2.0 (/ (cbrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ y (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) 1))
  (/ 2.0 (/ (cbrt (- (* (* z 2.0) z) (* y t))) z))
  (/ y (/ (sqrt (- (* (* z 2.0) z) (* y t))) (* (cbrt z) (cbrt z))))
  (/ 2.0 (/ (sqrt (- (* (* z 2.0) z) (* y t))) (cbrt z)))
  (/ y (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ 2.0 (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ y (/ (sqrt (- (* (* z 2.0) z) (* y t))) 1))
  (/ 2.0 (/ (sqrt (- (* (* z 2.0) z) (* y t))) z))
  (/ y (/ 1 (* (cbrt z) (cbrt z))))
  (/ 2.0 (/ (- (* (* z 2.0) z) (* y t)) (cbrt z)))
  (/ y (/ 1 (sqrt z)))
  (/ 2.0 (/ (- (* (* z 2.0) z) (* y t)) (sqrt z)))
  (/ y (/ 1 1))
  (/ 2.0 (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ y 1)
  (/ 2.0 (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ y (- (* (* z 2.0) z) (* y t)))
  (/ 2.0 (/ 1 z))
  (/ 1 (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ (/ (- (* (* z 2.0) z) (* y t)) z) (* y 2.0))
  (/ (* y 2.0) (* (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)) (cbrt (/ (- (* (* z 2.0) z) (* y t)) z))))
  (/ (* y 2.0) (sqrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ (* y 2.0) (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (* (cbrt z) (cbrt z))))
  (/ (* y 2.0) (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (sqrt z)))
  (/ (* y 2.0) (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) 1))
  (/ (* y 2.0) (/ (sqrt (- (* (* z 2.0) z) (* y t))) (* (cbrt z) (cbrt z))))
  (/ (* y 2.0) (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ (* y 2.0) (/ (sqrt (- (* (* z 2.0) z) (* y t))) 1))
  (/ (* y 2.0) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (* y 2.0) (/ 1 (sqrt z)))
  (/ (* y 2.0) (/ 1 1))
  (/ (* y 2.0) 1)
  (/ (* y 2.0) (- (* (* z 2.0) z) (* y t)))
  (/ (/ (- (* (* z 2.0) z) (* y t)) z) 2.0)
  (/ (* y 2.0) (- (* (* z 2.0) z) (* y t)))
  (fma (* z 2.0) z (- (* t y)))
  (fma (- t) y (* t y))
  (expm1 (- (* (* z 2.0) z) (* y t)))
  (log1p (- (* (* z 2.0) z) (* y t)))
  (- (* y t))
  (/ (exp (* (* z 2.0) z)) (exp (* y t)))
  (log (- (* (* z 2.0) z) (* y t)))
  (exp (- (* (* z 2.0) z) (* y t)))
  (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t))))
  (cbrt (- (* (* z 2.0) z) (* y t)))
  (* (* (- (* (* z 2.0) z) (* y t)) (- (* (* z 2.0) z) (* y t))) (- (* (* z 2.0) z) (* y t)))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (- (pow (* (* z 2.0) z) 3) (pow (* y t) 3))
  (+ (* (* (* z 2.0) z) (* (* z 2.0) z)) (+ (* (* y t) (* y t)) (* (* (* z 2.0) z) (* y t))))
  (- (* y t))
  (- (* (* (* z 2.0) z) (* (* z 2.0) z)) (* (* y t) (* y t)))
  (+ (* (* z 2.0) z) (* y t))
  (- (* y t))
  (- (* 2.0 z) (/ (* t y) z))
  (- (* 2.0 z) (/ (* t y) z))
  (- (* 2.0 z) (/ (* t y) z))
  0
  0
  0
  (- (* 2.0 (pow z 2)) (* t y))
  (- (* 2.0 (pow z 2)) (* t y))
  (- (* 2.0 (pow z 2)) (* t y))
0.802 * * [simplify]: iteration  0 :  438  enodes  (cost  968 )
0.812 * * [simplify]: iteration  1 :  2164  enodes  (cost  856 )
0.868 * * [simplify]: iteration  2 :  5002  enodes  (cost  849 )
0.877 * [simplify]: Simplified to:
   (expm1 (/ (- (* (* z 2.0) z) (* y t)) z))
  (log1p (/ (- (* (* z 2.0) z) (* y t)) z))
  (log (/ (- (* (* z 2.0) z) (* y t)) z))
  (log (/ (- (* (* z 2.0) z) (* y t)) z))
  (exp (/ (- (* (* z 2.0) z) (* y t)) z))
  (pow (- (* 2.0 z) (/ (* t y) z)) 3)
  (* (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)) (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (cbrt (/ (- (* (* z 2.0) z) (* y t)) z))
  (pow (- (* 2.0 z) (/ (* t y) z)) 3)
  (sqrt (/ (- (* (* z 2.0) z) (* y t)) z))
  (sqrt (/ (- (* (* z 2.0) z) (* y t)) z))
  (- (- (* (* z 2.0) z) (* y t)))
  (- z)
  (* z 2.0)
  (/ (* t y) z)
  (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt z))
  (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (sqrt z))
  (/ (cbrt (- (* (* z 2.0) z) (* y t))) (sqrt z))
  (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t))))
  (/ (cbrt (- (* (* z 2.0) z) (* y t))) z)
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (cbrt z))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (/ (sqrt (- (* (* z 2.0) z) (* y t))) z)
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ (- (* (* z 2.0) z) (* y t)) (cbrt z))
  (/ 1 (sqrt z))
  (/ (- (* (* z 2.0) z) (* y t)) (sqrt z))
  1
  (- (* 2.0 z) (/ (* t y) z))
  (/ 1 z)
  (/ z (- (* (* z 2.0) z) (* y t)))
  (/ (- (* (* z 2.0) z) (* y t)) (* (cbrt z) (cbrt z)))
  (/ (- (* (* z 2.0) z) (* y t)) (sqrt z))
  (- (* (* z 2.0) z) (* y t))
  (/ z (cbrt (- (* (* z 2.0) z) (* y t))))
  (/ z (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ z (- (* (* z 2.0) z) (* y t)))
  (fma (* (* z 2.0) (* z 2.0)) (pow z 3) (* (* z (* y t)) (fma (* z 2.0) z (* y t))))
  (* (fma (* z 2.0) z (* y t)) z)
  (expm1 (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log1p (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (log (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (exp (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (pow (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)) 3)
  (pow (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)) 3)
  (pow (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)) 3)
  (pow (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)) 3)
  (* (cbrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))) (cbrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z))))
  (cbrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (pow (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)) 3)
  (sqrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (sqrt (/ (* y 2.0) (/ (- (* (* z 2.0) z) (* y t)) z)))
  (- (* y 2.0))
  (- (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ y (* (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)) (cbrt (/ (- (* (* z 2.0) z) (* y t)) z))))
  (/ 2.0 (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ y (sqrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ 2.0 (sqrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ y (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (* (cbrt z) (cbrt z))))
  (/ 2.0 (/ (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt z)))
  (/ y (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (sqrt z)))
  (/ 2.0 (/ (cbrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ y (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))))
  (/ 2.0 (/ (cbrt (- (* (* z 2.0) z) (* y t))) z))
  (/ y (/ (sqrt (- (* (* z 2.0) z) (* y t))) (* (cbrt z) (cbrt z))))
  (/ 2.0 (/ (sqrt (- (* (* z 2.0) z) (* y t))) (cbrt z)))
  (/ y (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ 2.0 (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ y (sqrt (- (* (* z 2.0) z) (* y t))))
  (/ 2.0 (/ (sqrt (- (* (* z 2.0) z) (* y t))) z))
  (* y (* (cbrt z) (cbrt z)))
  (/ 2.0 (/ (- (* (* z 2.0) z) (* y t)) (cbrt z)))
  (* y (sqrt z))
  (/ 2.0 (/ (- (* (* z 2.0) z) (* y t)) (sqrt z)))
  y
  (/ 2.0 (- (* 2.0 z) (/ (* t y) z)))
  y
  (/ 2.0 (- (* 2.0 z) (/ (* t y) z)))
  (/ y (- (* (* z 2.0) z) (* y t)))
  (* z 2.0)
  (/ 1 (/ (- (* (* z 2.0) z) (* y t)) z))
  (/ (/ (- (* (* z 2.0) z) (* y t)) z) (* y 2.0))
  (/ (* y 2.0) (* (cbrt (/ (- (* (* z 2.0) z) (* y t)) z)) (cbrt (/ (- (* (* z 2.0) z) (* y t)) z))))
  (/ (* y 2.0) (sqrt (/ (- (* (* z 2.0) z) (* y t)) z)))
  (/ (* y 2.0) (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (* (cbrt z) (cbrt z))))
  (/ (* y 2.0) (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) (sqrt z)))
  (/ y (/ (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t)))) 2.0))
  (/ (* y 2.0) (/ (sqrt (- (* (* z 2.0) z) (* y t))) (* (cbrt z) (cbrt z))))
  (/ (* y 2.0) (/ (sqrt (- (* (* z 2.0) z) (* y t))) (sqrt z)))
  (/ y (/ (sqrt (- (* (* z 2.0) z) (* y t))) 2.0))
  (* (* y 2.0) (* (cbrt z) (cbrt z)))
  (* (* y 2.0) (sqrt z))
  (* y 2.0)
  (* y 2.0)
  (/ (* y 2.0) (- (* (* z 2.0) z) (* y t)))
  (/ (- (* 2.0 z) (/ (* t y) z)) 2.0)
  (/ (* y 2.0) (- (* (* z 2.0) z) (* y t)))
  (- (* (* z 2.0) z) (* y t))
  (fma (- t) y (* t y))
  (expm1 (- (* (* z 2.0) z) (* y t)))
  (log1p (- (* (* z 2.0) z) (* y t)))
  (- (* y t))
  (exp (- (* (* z 2.0) z) (* y t)))
  (log (- (* (* z 2.0) z) (* y t)))
  (exp (- (* (* z 2.0) z) (* y t)))
  (* (cbrt (- (* (* z 2.0) z) (* y t))) (cbrt (- (* (* z 2.0) z) (* y t))))
  (cbrt (- (* (* z 2.0) z) (* y t)))
  (pow (- (* (* z 2.0) z) (* y t)) 3)
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (sqrt (- (* (* z 2.0) z) (* y t)))
  (- (pow (* (* z 2.0) z) 3) (pow (* y t) 3))
  (fma (* y t) (fma (* z 2.0) z (* y t)) (* (* (* z 2.0) z) (* (* z 2.0) z)))
  (- (* y t))
  (* (fma (* z 2.0) z (* y t)) (- (* (* z 2.0) z) (* y t)))
  (fma (* z 2.0) z (* y t))
  (- (* y t))
  (- (* 2.0 z) (/ (* t y) z))
  (- (* 2.0 z) (/ (* t y) z))
  (- (* 2.0 z) (/ (* t y) z))
  0
  0
  0
  (- (* (* z 2.0) z) (* y t))
  (- (* (* z 2.0) z) (* y t))
  (- (* (* z 2.0) z) (* y t))
0.878 * * * [progress]: adding candidates to table
1.110 * * [progress]: iteration 3 / 4
1.110 * * * [progress]: picking best candidate
1.117 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))))>
1.118 * * * [progress]: localizing error
1.127 * * * [progress]: generating rewritten candidates
1.127 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 2)
1.131 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.140 * * * [progress]: generating series expansions
1.140 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 2)
1.140 * [approximate]: Taking taylor expansion of (/ (* t y) z) in (t y z) around 0
1.140 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z
1.140 * [taylor]: Taking taylor expansion of (* t y) in z
1.140 * [taylor]: Taking taylor expansion of t in z
1.140 * [taylor]: Taking taylor expansion of y in z
1.140 * [taylor]: Taking taylor expansion of z in z
1.140 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y
1.140 * [taylor]: Taking taylor expansion of (* t y) in y
1.140 * [taylor]: Taking taylor expansion of t in y
1.140 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of z in y
1.141 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t
1.141 * [taylor]: Taking taylor expansion of (* t y) in t
1.141 * [taylor]: Taking taylor expansion of t in t
1.141 * [taylor]: Taking taylor expansion of y in t
1.141 * [taylor]: Taking taylor expansion of z in t
1.141 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t
1.141 * [taylor]: Taking taylor expansion of (* t y) in t
1.141 * [taylor]: Taking taylor expansion of t in t
1.141 * [taylor]: Taking taylor expansion of y in t
1.141 * [taylor]: Taking taylor expansion of z in t
1.142 * [taylor]: Taking taylor expansion of (/ y z) in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of z in y
1.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.142 * [taylor]: Taking taylor expansion of z in z
1.143 * [taylor]: Taking taylor expansion of 0 in y
1.143 * [taylor]: Taking taylor expansion of 0 in z
1.143 * [taylor]: Taking taylor expansion of 0 in z
1.144 * [taylor]: Taking taylor expansion of 0 in y
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.144 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [taylor]: Taking taylor expansion of 0 in y
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [taylor]: Taking taylor expansion of 0 in z
1.146 * [approximate]: Taking taylor expansion of (/ z (* t y)) in (t y z) around 0
1.146 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z
1.146 * [taylor]: Taking taylor expansion of z in z
1.146 * [taylor]: Taking taylor expansion of (* t y) in z
1.146 * [taylor]: Taking taylor expansion of t in z
1.146 * [taylor]: Taking taylor expansion of y in z
1.146 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.146 * [taylor]: Taking taylor expansion of z in y
1.146 * [taylor]: Taking taylor expansion of (* t y) in y
1.146 * [taylor]: Taking taylor expansion of t in y
1.146 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.147 * [taylor]: Taking taylor expansion of z in t
1.147 * [taylor]: Taking taylor expansion of (* t y) in t
1.147 * [taylor]: Taking taylor expansion of t in t
1.147 * [taylor]: Taking taylor expansion of y in t
1.147 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.147 * [taylor]: Taking taylor expansion of z in t
1.147 * [taylor]: Taking taylor expansion of (* t y) in t
1.147 * [taylor]: Taking taylor expansion of t in t
1.147 * [taylor]: Taking taylor expansion of y in t
1.148 * [taylor]: Taking taylor expansion of (/ z y) in y
1.148 * [taylor]: Taking taylor expansion of z in y
1.148 * [taylor]: Taking taylor expansion of y in y
1.148 * [taylor]: Taking taylor expansion of z in z
1.148 * [taylor]: Taking taylor expansion of 0 in y
1.149 * [taylor]: Taking taylor expansion of 0 in z
1.150 * [taylor]: Taking taylor expansion of 0 in y
1.150 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [approximate]: Taking taylor expansion of (* -1 (/ z (* t y))) in (t y z) around 0
1.151 * [taylor]: Taking taylor expansion of (* -1 (/ z (* t y))) in z
1.151 * [taylor]: Taking taylor expansion of -1 in z
1.151 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z
1.151 * [taylor]: Taking taylor expansion of z in z
1.151 * [taylor]: Taking taylor expansion of (* t y) in z
1.151 * [taylor]: Taking taylor expansion of t in z
1.151 * [taylor]: Taking taylor expansion of y in z
1.151 * [taylor]: Taking taylor expansion of (* -1 (/ z (* t y))) in y
1.151 * [taylor]: Taking taylor expansion of -1 in y
1.151 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.151 * [taylor]: Taking taylor expansion of z in y
1.151 * [taylor]: Taking taylor expansion of (* t y) in y
1.151 * [taylor]: Taking taylor expansion of t in y
1.151 * [taylor]: Taking taylor expansion of y in y
1.151 * [taylor]: Taking taylor expansion of (* -1 (/ z (* t y))) in t
1.151 * [taylor]: Taking taylor expansion of -1 in t
1.151 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.151 * [taylor]: Taking taylor expansion of z in t
1.152 * [taylor]: Taking taylor expansion of (* t y) in t
1.152 * [taylor]: Taking taylor expansion of t in t
1.152 * [taylor]: Taking taylor expansion of y in t
1.152 * [taylor]: Taking taylor expansion of (* -1 (/ z (* t y))) in t
1.152 * [taylor]: Taking taylor expansion of -1 in t
1.152 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.152 * [taylor]: Taking taylor expansion of z in t
1.152 * [taylor]: Taking taylor expansion of (* t y) in t
1.152 * [taylor]: Taking taylor expansion of t in t
1.152 * [taylor]: Taking taylor expansion of y in t
1.152 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y
1.152 * [taylor]: Taking taylor expansion of -1 in y
1.152 * [taylor]: Taking taylor expansion of (/ z y) in y
1.152 * [taylor]: Taking taylor expansion of z in y
1.152 * [taylor]: Taking taylor expansion of y in y
1.152 * [taylor]: Taking taylor expansion of (* -1 z) in z
1.152 * [taylor]: Taking taylor expansion of -1 in z
1.152 * [taylor]: Taking taylor expansion of z in z
1.154 * [taylor]: Taking taylor expansion of 0 in y
1.155 * [taylor]: Taking taylor expansion of 0 in z
1.157 * [taylor]: Taking taylor expansion of 0 in y
1.157 * [taylor]: Taking taylor expansion of 0 in z
1.158 * [taylor]: Taking taylor expansion of 0 in z
1.159 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.159 * [approximate]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in (y z t) around 0
1.159 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in t
1.159 * [taylor]: Taking taylor expansion of 2.0 in t
1.159 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in t
1.159 * [taylor]: Taking taylor expansion of y in t
1.159 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in t
1.159 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
1.159 * [taylor]: Taking taylor expansion of 2.0 in t
1.159 * [taylor]: Taking taylor expansion of z in t
1.159 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t
1.159 * [taylor]: Taking taylor expansion of (* t y) in t
1.159 * [taylor]: Taking taylor expansion of t in t
1.159 * [taylor]: Taking taylor expansion of y in t
1.159 * [taylor]: Taking taylor expansion of z in t
1.159 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in z
1.160 * [taylor]: Taking taylor expansion of 2.0 in z
1.160 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in z
1.160 * [taylor]: Taking taylor expansion of y in z
1.160 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in z
1.160 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.160 * [taylor]: Taking taylor expansion of 2.0 in z
1.160 * [taylor]: Taking taylor expansion of z in z
1.160 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z
1.160 * [taylor]: Taking taylor expansion of (* t y) in z
1.160 * [taylor]: Taking taylor expansion of t in z
1.160 * [taylor]: Taking taylor expansion of y in z
1.160 * [taylor]: Taking taylor expansion of z in z
1.160 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in y
1.160 * [taylor]: Taking taylor expansion of 2.0 in y
1.160 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in y
1.160 * [taylor]: Taking taylor expansion of y in y
1.160 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in y
1.160 * [taylor]: Taking taylor expansion of (* 2.0 z) in y
1.160 * [taylor]: Taking taylor expansion of 2.0 in y
1.160 * [taylor]: Taking taylor expansion of z in y
1.160 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y
1.160 * [taylor]: Taking taylor expansion of (* t y) in y
1.160 * [taylor]: Taking taylor expansion of t in y
1.160 * [taylor]: Taking taylor expansion of y in y
1.160 * [taylor]: Taking taylor expansion of z in y
1.160 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in y
1.160 * [taylor]: Taking taylor expansion of 2.0 in y
1.160 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in y
1.161 * [taylor]: Taking taylor expansion of (* 2.0 z) in y
1.161 * [taylor]: Taking taylor expansion of 2.0 in y
1.161 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y
1.161 * [taylor]: Taking taylor expansion of (* t y) in y
1.161 * [taylor]: Taking taylor expansion of t in y
1.161 * [taylor]: Taking taylor expansion of y in y
1.161 * [taylor]: Taking taylor expansion of z in y
1.161 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
1.161 * [taylor]: Taking taylor expansion of 1.0 in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.162 * [taylor]: Taking taylor expansion of 0 in t
1.163 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z
1.163 * [taylor]: Taking taylor expansion of 0.5 in z
1.163 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z
1.163 * [taylor]: Taking taylor expansion of t in z
1.163 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.163 * [taylor]: Taking taylor expansion of z in z
1.172 * [taylor]: Taking taylor expansion of 0 in t
1.173 * [taylor]: Taking taylor expansion of 0 in t
1.175 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z
1.175 * [taylor]: Taking taylor expansion of 0.25 in z
1.175 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z
1.175 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.175 * [taylor]: Taking taylor expansion of t in z
1.175 * [taylor]: Taking taylor expansion of (pow z 5) in z
1.175 * [taylor]: Taking taylor expansion of z in z
1.203 * [taylor]: Taking taylor expansion of 0 in t
1.208 * [taylor]: Taking taylor expansion of 0 in t
1.208 * [approximate]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in (y z t) around 0
1.208 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in t
1.208 * [taylor]: Taking taylor expansion of 2.0 in t
1.208 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in t
1.208 * [taylor]: Taking taylor expansion of y in t
1.208 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in t
1.208 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in t
1.208 * [taylor]: Taking taylor expansion of 2.0 in t
1.208 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.208 * [taylor]: Taking taylor expansion of z in t
1.208 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.208 * [taylor]: Taking taylor expansion of z in t
1.208 * [taylor]: Taking taylor expansion of (* t y) in t
1.208 * [taylor]: Taking taylor expansion of t in t
1.208 * [taylor]: Taking taylor expansion of y in t
1.209 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in z
1.209 * [taylor]: Taking taylor expansion of 2.0 in z
1.209 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in z
1.209 * [taylor]: Taking taylor expansion of y in z
1.209 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in z
1.209 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.209 * [taylor]: Taking taylor expansion of 2.0 in z
1.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.209 * [taylor]: Taking taylor expansion of z in z
1.209 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z
1.209 * [taylor]: Taking taylor expansion of z in z
1.209 * [taylor]: Taking taylor expansion of (* t y) in z
1.209 * [taylor]: Taking taylor expansion of t in z
1.209 * [taylor]: Taking taylor expansion of y in z
1.210 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in y
1.210 * [taylor]: Taking taylor expansion of 2.0 in y
1.210 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in y
1.210 * [taylor]: Taking taylor expansion of y in y
1.210 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in y
1.210 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.210 * [taylor]: Taking taylor expansion of 2.0 in y
1.210 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.210 * [taylor]: Taking taylor expansion of z in y
1.210 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.210 * [taylor]: Taking taylor expansion of z in y
1.210 * [taylor]: Taking taylor expansion of (* t y) in y
1.210 * [taylor]: Taking taylor expansion of t in y
1.210 * [taylor]: Taking taylor expansion of y in y
1.211 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in y
1.211 * [taylor]: Taking taylor expansion of 2.0 in y
1.211 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in y
1.211 * [taylor]: Taking taylor expansion of y in y
1.211 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in y
1.211 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.211 * [taylor]: Taking taylor expansion of 2.0 in y
1.211 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.212 * [taylor]: Taking taylor expansion of z in y
1.212 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.212 * [taylor]: Taking taylor expansion of z in y
1.212 * [taylor]: Taking taylor expansion of (* t y) in y
1.212 * [taylor]: Taking taylor expansion of t in y
1.212 * [taylor]: Taking taylor expansion of y in y
1.213 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
1.213 * [taylor]: Taking taylor expansion of -2.0 in z
1.213 * [taylor]: Taking taylor expansion of (/ t z) in z
1.213 * [taylor]: Taking taylor expansion of t in z
1.213 * [taylor]: Taking taylor expansion of z in z
1.215 * [taylor]: Taking taylor expansion of 0 in t
1.217 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
1.217 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
1.217 * [taylor]: Taking taylor expansion of 4.0 in z
1.217 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
1.217 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.217 * [taylor]: Taking taylor expansion of t in z
1.217 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.217 * [taylor]: Taking taylor expansion of z in z
1.228 * [taylor]: Taking taylor expansion of 0 in t
1.231 * [taylor]: Taking taylor expansion of 0 in t
1.233 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
1.233 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
1.233 * [taylor]: Taking taylor expansion of 8.0 in z
1.233 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
1.233 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.233 * [taylor]: Taking taylor expansion of t in z
1.234 * [taylor]: Taking taylor expansion of (pow z 5) in z
1.234 * [taylor]: Taking taylor expansion of z in z
1.262 * [taylor]: Taking taylor expansion of 0 in t
1.274 * [taylor]: Taking taylor expansion of 0 in t
1.274 * [approximate]: Taking taylor expansion of (/ -2.0 (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y)) in (y z t) around 0
1.274 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y)) in t
1.274 * [taylor]: Taking taylor expansion of -2.0 in t
1.274 * [taylor]: Taking taylor expansion of (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y) in t
1.274 * [taylor]: Taking taylor expansion of (- (/ z (* t y)) (* 2.0 (/ 1 z))) in t
1.274 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.274 * [taylor]: Taking taylor expansion of z in t
1.274 * [taylor]: Taking taylor expansion of (* t y) in t
1.274 * [taylor]: Taking taylor expansion of t in t
1.274 * [taylor]: Taking taylor expansion of y in t
1.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in t
1.275 * [taylor]: Taking taylor expansion of 2.0 in t
1.275 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.275 * [taylor]: Taking taylor expansion of z in t
1.275 * [taylor]: Taking taylor expansion of y in t
1.275 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y)) in z
1.275 * [taylor]: Taking taylor expansion of -2.0 in z
1.275 * [taylor]: Taking taylor expansion of (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y) in z
1.275 * [taylor]: Taking taylor expansion of (- (/ z (* t y)) (* 2.0 (/ 1 z))) in z
1.275 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z
1.275 * [taylor]: Taking taylor expansion of z in z
1.275 * [taylor]: Taking taylor expansion of (* t y) in z
1.275 * [taylor]: Taking taylor expansion of t in z
1.275 * [taylor]: Taking taylor expansion of y in z
1.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.275 * [taylor]: Taking taylor expansion of 2.0 in z
1.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.275 * [taylor]: Taking taylor expansion of z in z
1.275 * [taylor]: Taking taylor expansion of y in z
1.277 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y)) in y
1.277 * [taylor]: Taking taylor expansion of -2.0 in y
1.277 * [taylor]: Taking taylor expansion of (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y) in y
1.277 * [taylor]: Taking taylor expansion of (- (/ z (* t y)) (* 2.0 (/ 1 z))) in y
1.277 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.277 * [taylor]: Taking taylor expansion of z in y
1.277 * [taylor]: Taking taylor expansion of (* t y) in y
1.277 * [taylor]: Taking taylor expansion of t in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.277 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.277 * [taylor]: Taking taylor expansion of 2.0 in y
1.277 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.277 * [taylor]: Taking taylor expansion of z in y
1.277 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y)) in y
1.278 * [taylor]: Taking taylor expansion of -2.0 in y
1.278 * [taylor]: Taking taylor expansion of (* (- (/ z (* t y)) (* 2.0 (/ 1 z))) y) in y
1.278 * [taylor]: Taking taylor expansion of (- (/ z (* t y)) (* 2.0 (/ 1 z))) in y
1.278 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.278 * [taylor]: Taking taylor expansion of z in y
1.278 * [taylor]: Taking taylor expansion of (* t y) in y
1.278 * [taylor]: Taking taylor expansion of t in y
1.278 * [taylor]: Taking taylor expansion of y in y
1.278 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.278 * [taylor]: Taking taylor expansion of 2.0 in y
1.278 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.278 * [taylor]: Taking taylor expansion of z in y
1.278 * [taylor]: Taking taylor expansion of y in y
1.279 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
1.279 * [taylor]: Taking taylor expansion of -2.0 in z
1.279 * [taylor]: Taking taylor expansion of (/ t z) in z
1.279 * [taylor]: Taking taylor expansion of t in z
1.279 * [taylor]: Taking taylor expansion of z in z
1.282 * [taylor]: Taking taylor expansion of 0 in t
1.283 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
1.284 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
1.284 * [taylor]: Taking taylor expansion of 4.0 in z
1.284 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
1.284 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.284 * [taylor]: Taking taylor expansion of t in z
1.284 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.284 * [taylor]: Taking taylor expansion of z in z
1.295 * [taylor]: Taking taylor expansion of 0 in t
1.297 * [taylor]: Taking taylor expansion of 0 in t
1.300 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
1.300 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
1.300 * [taylor]: Taking taylor expansion of 8.0 in z
1.300 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
1.300 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.300 * [taylor]: Taking taylor expansion of t in z
1.300 * [taylor]: Taking taylor expansion of (pow z 5) in z
1.300 * [taylor]: Taking taylor expansion of z in z
1.329 * [taylor]: Taking taylor expansion of 0 in t
1.335 * [taylor]: Taking taylor expansion of 0 in t
1.335 * * * [progress]: simplifying candidates
1.336 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* t y) z))
  (log1p (/ (* t y) z))
  (- (+ (log t) (log y)) (log z))
  (- (log (* t y)) (log z))
  (log (/ (* t y) z))
  (exp (/ (* t y) z))
  (/ (* (* (* t t) t) (* (* y y) y)) (* (* z z) z))
  (/ (* (* (* t y) (* t y)) (* t y)) (* (* z z) z))
  (* (cbrt (/ (* t y) z)) (cbrt (/ (* t y) z)))
  (cbrt (/ (* t y) z))
  (* (* (/ (* t y) z) (/ (* t y) z)) (/ (* t y) z))
  (sqrt (/ (* t y) z))
  (sqrt (/ (* t y) z))
  (- (* t y))
  (- z)
  (/ t (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ t (sqrt z))
  (/ y (sqrt z))
  (/ t 1)
  (/ y z)
  (/ 1 z)
  (/ z (* t y))
  (/ (* t y) (* (cbrt z) (cbrt z)))
  (/ (* t y) (sqrt z))
  (/ (* t y) 1)
  (/ z y)
  (expm1 (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (log1p (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (- (+ (log y) (log 2.0)) (log (- (* z 2.0) (/ (* t y) z))))
  (- (log (* y 2.0)) (log (- (* z 2.0) (/ (* t y) z))))
  (log (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (exp (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (/ (* (* (* y y) y) (* (* 2.0 2.0) 2.0)) (* (* (- (* z 2.0) (/ (* t y) z)) (- (* z 2.0) (/ (* t y) z))) (- (* z 2.0) (/ (* t y) z))))
  (/ (* (* (* y 2.0) (* y 2.0)) (* y 2.0)) (* (* (- (* z 2.0) (/ (* t y) z)) (- (* z 2.0) (/ (* t y) z))) (- (* z 2.0) (/ (* t y) z))))
  (* (cbrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))) (cbrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))))
  (cbrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (* (* (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))) (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))) (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (sqrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (sqrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (- (* y 2.0))
  (- (- (* z 2.0) (/ (* t y) z)))
  (/ y (* (cbrt (- (* z 2.0) (/ (* t y) z))) (cbrt (- (* z 2.0) (/ (* t y) z)))))
  (/ 2.0 (cbrt (- (* z 2.0) (/ (* t y) z))))
  (/ y (sqrt (- (* z 2.0) (/ (* t y) z))))
  (/ 2.0 (sqrt (- (* z 2.0) (/ (* t y) z))))
  (/ y 1)
  (/ 2.0 (- (* z 2.0) (/ (* t y) z)))
  (/ 1 (- (* z 2.0) (/ (* t y) z)))
  (/ (- (* z 2.0) (/ (* t y) z)) (* y 2.0))
  (/ (* y 2.0) (* (cbrt (- (* z 2.0) (/ (* t y) z))) (cbrt (- (* z 2.0) (/ (* t y) z)))))
  (/ (* y 2.0) (sqrt (- (* z 2.0) (/ (* t y) z))))
  (/ (* y 2.0) 1)
  (/ (- (* z 2.0) (/ (* t y) z)) 2.0)
  (/ (* y 2.0) (- (pow (* z 2.0) 3) (pow (/ (* t y) z) 3)))
  (/ (* y 2.0) (- (* (* z 2.0) (* z 2.0)) (* (/ (* t y) z) (/ (* t y) z))))
  (/ (* t y) z)
  (/ (* t y) z)
  (/ (* t y) z)
  0
  0
  0
1.341 * * [simplify]: iteration  0 :  265  enodes  (cost  322 )
1.346 * * [simplify]: iteration  1 :  1274  enodes  (cost  272 )
1.369 * * [simplify]: iteration  2 :  5001  enodes  (cost  272 )
1.371 * [simplify]: Simplified to:
   (expm1 (/ (* t y) z))
  (log1p (/ (* t y) z))
  (log (/ (* t y) z))
  (log (/ (* t y) z))
  (log (/ (* t y) z))
  (exp (/ (* t y) z))
  (pow (/ (* t y) z) 3)
  (pow (/ (* t y) z) 3)
  (* (cbrt (/ (* t y) z)) (cbrt (/ (* t y) z)))
  (cbrt (/ (* t y) z))
  (pow (/ (* t y) z) 3)
  (sqrt (/ (* t y) z))
  (sqrt (/ (* t y) z))
  (- (* t y))
  (- z)
  (/ t (* (cbrt z) (cbrt z)))
  (/ y (cbrt z))
  (/ t (sqrt z))
  (/ y (sqrt z))
  t
  (/ y z)
  (/ 1 z)
  (/ z (* t y))
  (/ (* t y) (* (cbrt z) (cbrt z)))
  (/ (* t y) (sqrt z))
  (* t y)
  (/ z y)
  (expm1 (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (log1p (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (log (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (log (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (log (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (exp (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (pow (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))) 3)
  (pow (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))) 3)
  (* (cbrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))) (cbrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z)))))
  (cbrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (pow (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))) 3)
  (sqrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (sqrt (/ (* y 2.0) (- (* z 2.0) (/ (* t y) z))))
  (- (* y 2.0))
  (- (- (* z 2.0) (/ (* t y) z)))
  (/ y (* (cbrt (- (* z 2.0) (/ (* t y) z))) (cbrt (- (* z 2.0) (/ (* t y) z)))))
  (/ 2.0 (cbrt (- (* z 2.0) (/ (* t y) z))))
  (/ y (sqrt (- (* z 2.0) (/ (* t y) z))))
  (/ 2.0 (sqrt (- (* z 2.0) (/ (* t y) z))))
  y
  (/ 2.0 (- (* z 2.0) (/ (* t y) z)))
  (/ 1 (- (* z 2.0) (/ (* t y) z)))
  (/ (- (* z 2.0) (/ (* t y) z)) (* y 2.0))
  (/ (* y 2.0) (* (cbrt (- (* z 2.0) (/ (* t y) z))) (cbrt (- (* z 2.0) (/ (* t y) z)))))
  (/ (* y 2.0) (sqrt (- (* z 2.0) (/ (* t y) z))))
  (* y 2.0)
  (/ (- (* z 2.0) (/ (* t y) z)) 2.0)
  (/ (* y 2.0) (- (pow (* z 2.0) 3) (pow (/ (* t y) z) 3)))
  (* (/ y (fma 2.0 z (/ (* t y) z))) (/ 2.0 (- (* z 2.0) (/ (* t y) z))))
  (/ (* t y) z)
  (/ (* t y) z)
  (/ (* t y) z)
  0
  0
  0
1.371 * * * [progress]: adding candidates to table
1.466 * * [progress]: iteration 4 / 4
1.466 * * * [progress]: picking best candidate
1.471 * * * * [pick]: Picked  #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))>
1.471 * * * [progress]: localizing error
1.484 * * * [progress]: generating rewritten candidates
1.485 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2)
1.508 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2)
1.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2)
1.519 * * * [progress]: generating series expansions
1.519 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.520 * [approximate]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in (y z t) around 0
1.520 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in t
1.520 * [taylor]: Taking taylor expansion of 2.0 in t
1.520 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in t
1.520 * [taylor]: Taking taylor expansion of y in t
1.520 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in t
1.520 * [taylor]: Taking taylor expansion of (* 2.0 z) in t
1.520 * [taylor]: Taking taylor expansion of 2.0 in t
1.520 * [taylor]: Taking taylor expansion of z in t
1.520 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t
1.520 * [taylor]: Taking taylor expansion of (* t y) in t
1.520 * [taylor]: Taking taylor expansion of t in t
1.520 * [taylor]: Taking taylor expansion of y in t
1.520 * [taylor]: Taking taylor expansion of z in t
1.521 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in z
1.521 * [taylor]: Taking taylor expansion of 2.0 in z
1.521 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in z
1.521 * [taylor]: Taking taylor expansion of y in z
1.521 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in z
1.521 * [taylor]: Taking taylor expansion of (* 2.0 z) in z
1.521 * [taylor]: Taking taylor expansion of 2.0 in z
1.521 * [taylor]: Taking taylor expansion of z in z
1.521 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z
1.521 * [taylor]: Taking taylor expansion of (* t y) in z
1.521 * [taylor]: Taking taylor expansion of t in z
1.521 * [taylor]: Taking taylor expansion of y in z
1.521 * [taylor]: Taking taylor expansion of z in z
1.521 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in y
1.521 * [taylor]: Taking taylor expansion of 2.0 in y
1.521 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in y
1.521 * [taylor]: Taking taylor expansion of (* 2.0 z) in y
1.521 * [taylor]: Taking taylor expansion of 2.0 in y
1.521 * [taylor]: Taking taylor expansion of z in y
1.521 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y
1.521 * [taylor]: Taking taylor expansion of (* t y) in y
1.521 * [taylor]: Taking taylor expansion of t in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [taylor]: Taking taylor expansion of z in y
1.522 * [taylor]: Taking taylor expansion of (* 2.0 (/ y (- (* 2.0 z) (/ (* t y) z)))) in y
1.522 * [taylor]: Taking taylor expansion of 2.0 in y
1.522 * [taylor]: Taking taylor expansion of (/ y (- (* 2.0 z) (/ (* t y) z))) in y
1.522 * [taylor]: Taking taylor expansion of y in y
1.522 * [taylor]: Taking taylor expansion of (- (* 2.0 z) (/ (* t y) z)) in y
1.522 * [taylor]: Taking taylor expansion of (* 2.0 z) in y
1.522 * [taylor]: Taking taylor expansion of 2.0 in y
1.522 * [taylor]: Taking taylor expansion of z in y
1.522 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y
1.522 * [taylor]: Taking taylor expansion of (* t y) in y
1.522 * [taylor]: Taking taylor expansion of t in y
1.522 * [taylor]: Taking taylor expansion of y in y
1.522 * [taylor]: Taking taylor expansion of z in y
1.522 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
1.522 * [taylor]: Taking taylor expansion of 1.0 in z
1.522 * [taylor]: Taking taylor expansion of z in z
1.524 * [taylor]: Taking taylor expansion of 0 in t
1.524 * [taylor]: Taking taylor expansion of (* 0.5 (/ t (pow z 3))) in z
1.524 * [taylor]: Taking taylor expansion of 0.5 in z
1.525 * [taylor]: Taking taylor expansion of (/ t (pow z 3)) in z
1.525 * [taylor]: Taking taylor expansion of t in z
1.525 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.525 * [taylor]: Taking taylor expansion of z in z
1.534 * [taylor]: Taking taylor expansion of 0 in t
1.535 * [taylor]: Taking taylor expansion of 0 in t
1.537 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow t 2) (pow z 5))) in z
1.537 * [taylor]: Taking taylor expansion of 0.25 in z
1.537 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 5)) in z
1.537 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.537 * [taylor]: Taking taylor expansion of t in z
1.538 * [taylor]: Taking taylor expansion of (pow z 5) in z
1.538 * [taylor]: Taking taylor expansion of z in z
1.562 * [taylor]: Taking taylor expansion of 0 in t
1.566 * [taylor]: Taking taylor expansion of 0 in t
1.567 * [approximate]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in (y z t) around 0
1.567 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in t
1.567 * [taylor]: Taking taylor expansion of 2.0 in t
1.567 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in t
1.567 * [taylor]: Taking taylor expansion of y in t
1.567 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in t
1.567 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in t
1.567 * [taylor]: Taking taylor expansion of 2.0 in t
1.567 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.567 * [taylor]: Taking taylor expansion of z in t
1.567 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.567 * [taylor]: Taking taylor expansion of z in t
1.567 * [taylor]: Taking taylor expansion of (* t y) in t
1.567 * [taylor]: Taking taylor expansion of t in t
1.567 * [taylor]: Taking taylor expansion of y in t
1.567 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in z
1.567 * [taylor]: Taking taylor expansion of 2.0 in z
1.567 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in z
1.567 * [taylor]: Taking taylor expansion of y in z
1.567 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in z
1.568 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.568 * [taylor]: Taking taylor expansion of 2.0 in z
1.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.568 * [taylor]: Taking taylor expansion of z in z
1.568 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z
1.568 * [taylor]: Taking taylor expansion of z in z
1.568 * [taylor]: Taking taylor expansion of (* t y) in z
1.568 * [taylor]: Taking taylor expansion of t in z
1.568 * [taylor]: Taking taylor expansion of y in z
1.569 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in y
1.569 * [taylor]: Taking taylor expansion of 2.0 in y
1.569 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in y
1.569 * [taylor]: Taking taylor expansion of y in y
1.569 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in y
1.569 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.569 * [taylor]: Taking taylor expansion of 2.0 in y
1.569 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.569 * [taylor]: Taking taylor expansion of z in y
1.569 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.569 * [taylor]: Taking taylor expansion of z in y
1.569 * [taylor]: Taking taylor expansion of (* t y) in y
1.569 * [taylor]: Taking taylor expansion of t in y
1.569 * [taylor]: Taking taylor expansion of y in y
1.570 * [taylor]: Taking taylor expansion of (/ 2.0 (* y (- (* 2.0 (/ 1 z)) (/ z (* t y))))) in y
1.570 * [taylor]: Taking taylor expansion of 2.0 in y
1.570 * [taylor]: Taking taylor expansion of (* y (- (* 2.0 (/ 1 z)) (/ z (* t y)))) in y
1.570 * [taylor]: Taking taylor expansion of y in y
1.570 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 z)) (/ z (* t y))) in y
1.570 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.570 * [taylor]: Taking taylor expansion of 2.0 in y
1.570 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.570 * [taylor]: Taking taylor expansion of z in y
1.570 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.570 * [taylor]: Taking taylor expansion of z in y
1.570 * [taylor]: Taking taylor expansion of (* t y) in y
1.570 * [taylor]: Taking taylor expansion of t in y
1.570 * [taylor]: Taking taylor expansion of y in y
1.572 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
1.572 * [taylor]: Taking taylor expansion of -2.0 in z
1.572 * [taylor]: Taking taylor expansion of (/ t z) in z
1.572 * [taylor]: Taking taylor expansion of t in z
1.572 * [taylor]: Taking taylor expansion of z in z
1.574 * [taylor]: Taking taylor expansion of 0 in t
1.576 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
1.576 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
1.576 * [taylor]: Taking taylor expansion of 4.0 in z
1.576 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
1.576 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.576 * [taylor]: Taking taylor expansion of t in z
1.576 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.576 * [taylor]: Taking taylor expansion of z in z
1.592 * [taylor]: Taking taylor expansion of 0 in t
1.594 * [taylor]: Taking taylor expansion of 0 in t
1.597 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
1.597 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
1.597 * [taylor]: Taking taylor expansion of 8.0 in z
1.597 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
1.597 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.597 * [taylor]: Taking taylor expansion of t in z
1.597 * [taylor]: Taking taylor expansion of (pow z 5) in z
1.597 * [taylor]: Taking taylor expansion of z in z
1.625 * [taylor]: Taking taylor expansion of 0 in t
1.631 * [taylor]: Taking taylor expansion of 0 in t
1.631 * [approximate]: Taking taylor expansion of (/ 2.0 (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y)) in (y z t) around 0
1.631 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y)) in t
1.631 * [taylor]: Taking taylor expansion of 2.0 in t
1.631 * [taylor]: Taking taylor expansion of (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y) in t
1.631 * [taylor]: Taking taylor expansion of (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) in t
1.631 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in t
1.631 * [taylor]: Taking taylor expansion of z in t
1.631 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in t
1.632 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.632 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.632 * [taylor]: Taking taylor expansion of -1 in t
1.633 * [taylor]: Taking taylor expansion of (* y t) in t
1.633 * [taylor]: Taking taylor expansion of y in t
1.633 * [taylor]: Taking taylor expansion of t in t
1.637 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in t
1.637 * [taylor]: Taking taylor expansion of 2.0 in t
1.637 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.637 * [taylor]: Taking taylor expansion of z in t
1.637 * [taylor]: Taking taylor expansion of y in t
1.638 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y)) in z
1.638 * [taylor]: Taking taylor expansion of 2.0 in z
1.638 * [taylor]: Taking taylor expansion of (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y) in z
1.638 * [taylor]: Taking taylor expansion of (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) in z
1.638 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in z
1.638 * [taylor]: Taking taylor expansion of z in z
1.638 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in z
1.638 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.638 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.638 * [taylor]: Taking taylor expansion of -1 in z
1.638 * [taylor]: Taking taylor expansion of (* y t) in z
1.638 * [taylor]: Taking taylor expansion of y in z
1.638 * [taylor]: Taking taylor expansion of t in z
1.641 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in z
1.641 * [taylor]: Taking taylor expansion of 2.0 in z
1.641 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.641 * [taylor]: Taking taylor expansion of z in z
1.642 * [taylor]: Taking taylor expansion of y in z
1.642 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y)) in y
1.642 * [taylor]: Taking taylor expansion of 2.0 in y
1.642 * [taylor]: Taking taylor expansion of (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y) in y
1.642 * [taylor]: Taking taylor expansion of (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) in y
1.642 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in y
1.642 * [taylor]: Taking taylor expansion of z in y
1.642 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in y
1.642 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.642 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.642 * [taylor]: Taking taylor expansion of -1 in y
1.643 * [taylor]: Taking taylor expansion of (* y t) in y
1.643 * [taylor]: Taking taylor expansion of y in y
1.643 * [taylor]: Taking taylor expansion of t in y
1.648 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.648 * [taylor]: Taking taylor expansion of 2.0 in y
1.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.648 * [taylor]: Taking taylor expansion of z in y
1.648 * [taylor]: Taking taylor expansion of y in y
1.651 * [taylor]: Taking taylor expansion of (/ 2.0 (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y)) in y
1.651 * [taylor]: Taking taylor expansion of 2.0 in y
1.651 * [taylor]: Taking taylor expansion of (* (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) y) in y
1.651 * [taylor]: Taking taylor expansion of (+ (/ z (* (pow (cbrt -1) 3) (* y t))) (* 2.0 (/ 1 z))) in y
1.651 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in y
1.651 * [taylor]: Taking taylor expansion of z in y
1.651 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in y
1.651 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.651 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.652 * [taylor]: Taking taylor expansion of -1 in y
1.652 * [taylor]: Taking taylor expansion of (* y t) in y
1.652 * [taylor]: Taking taylor expansion of y in y
1.652 * [taylor]: Taking taylor expansion of t in y
1.657 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 z)) in y
1.657 * [taylor]: Taking taylor expansion of 2.0 in y
1.657 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.657 * [taylor]: Taking taylor expansion of z in y
1.657 * [taylor]: Taking taylor expansion of y in y
1.660 * [taylor]: Taking taylor expansion of (* -2.0 (/ t z)) in z
1.661 * [taylor]: Taking taylor expansion of -2.0 in z
1.661 * [taylor]: Taking taylor expansion of (/ t z) in z
1.661 * [taylor]: Taking taylor expansion of t in z
1.661 * [taylor]: Taking taylor expansion of z in z
1.662 * [taylor]: Taking taylor expansion of 0 in t
1.667 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ (pow t 2) (pow z 3)))) in z
1.667 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow z 3))) in z
1.668 * [taylor]: Taking taylor expansion of 4.0 in z
1.668 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 3)) in z
1.668 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.668 * [taylor]: Taking taylor expansion of t in z
1.668 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.668 * [taylor]: Taking taylor expansion of z in z
1.684 * [taylor]: Taking taylor expansion of 0 in t
1.685 * [taylor]: Taking taylor expansion of 0 in t
1.692 * [taylor]: Taking taylor expansion of (- (* 8.0 (/ (pow t 3) (pow z 5)))) in z
1.692 * [taylor]: Taking taylor expansion of (* 8.0 (/ (pow t 3) (pow z 5))) in z
1.692 * [taylor]: Taking taylor expansion of 8.0 in z
1.692 * [taylor]: Taking taylor expansion of (/ (pow t 3) (pow z 5)) in z
1.692 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.692 * [taylor]: Taking taylor expansion of t in z
1.692 * [taylor]: Taking taylor expansion of (pow z 5) in z
1.692 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of 0 in t
1.726 * [taylor]: Taking taylor expansion of 0 in t
1.726 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2)
1.727 * [approximate]: Taking taylor expansion of (/ (* t y) z) in (t z y) around 0
1.727 * [taylor]: Taking taylor expansion of (/ (* t y) z) in y
1.727 * [taylor]: Taking taylor expansion of (* t y) in y
1.727 * [taylor]: Taking taylor expansion of t in y
1.727 * [taylor]: Taking taylor expansion of y in y
1.727 * [taylor]: Taking taylor expansion of z in y
1.727 * [taylor]: Taking taylor expansion of (/ (* t y) z) in z
1.727 * [taylor]: Taking taylor expansion of (* t y) in z
1.727 * [taylor]: Taking taylor expansion of t in z
1.727 * [taylor]: Taking taylor expansion of y in z
1.727 * [taylor]: Taking taylor expansion of z in z
1.727 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t
1.727 * [taylor]: Taking taylor expansion of (* t y) in t
1.727 * [taylor]: Taking taylor expansion of t in t
1.727 * [taylor]: Taking taylor expansion of y in t
1.727 * [taylor]: Taking taylor expansion of z in t
1.728 * [taylor]: Taking taylor expansion of (/ (* t y) z) in t
1.728 * [taylor]: Taking taylor expansion of (* t y) in t
1.728 * [taylor]: Taking taylor expansion of t in t
1.728 * [taylor]: Taking taylor expansion of y in t
1.728 * [taylor]: Taking taylor expansion of z in t
1.728 * [taylor]: Taking taylor expansion of (/ y z) in z
1.728 * [taylor]: Taking taylor expansion of y in z
1.728 * [taylor]: Taking taylor expansion of z in z
1.728 * [taylor]: Taking taylor expansion of y in y
1.729 * [taylor]: Taking taylor expansion of 0 in z
1.729 * [taylor]: Taking taylor expansion of 0 in y
1.730 * [taylor]: Taking taylor expansion of 0 in z
1.730 * [taylor]: Taking taylor expansion of 0 in y
1.731 * [taylor]: Taking taylor expansion of 0 in y
1.731 * [approximate]: Taking taylor expansion of (/ z (* t y)) in (t z y) around 0
1.731 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y
1.731 * [taylor]: Taking taylor expansion of z in y
1.731 * [taylor]: Taking taylor expansion of (* t y) in y
1.731 * [taylor]: Taking taylor expansion of t in y
1.731 * [taylor]: Taking taylor expansion of y in y
1.732 * [taylor]: Taking taylor expansion of (/ z (* t y)) in z
1.732 * [taylor]: Taking taylor expansion of z in z
1.732 * [taylor]: Taking taylor expansion of (* t y) in z
1.732 * [taylor]: Taking taylor expansion of t in z
1.732 * [taylor]: Taking taylor expansion of y in z
1.732 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.732 * [taylor]: Taking taylor expansion of z in t
1.732 * [taylor]: Taking taylor expansion of (* t y) in t
1.732 * [taylor]: Taking taylor expansion of t in t
1.732 * [taylor]: Taking taylor expansion of y in t
1.732 * [taylor]: Taking taylor expansion of (/ z (* t y)) in t
1.732 * [taylor]: Taking taylor expansion of z in t
1.732 * [taylor]: Taking taylor expansion of (* t y) in t
1.732 * [taylor]: Taking taylor expansion of t in t
1.732 * [taylor]: Taking taylor expansion of y in t
1.733 * [taylor]: Taking taylor expansion of (/ z y) in z
1.733 * [taylor]: Taking taylor expansion of z in z
1.733 * [taylor]: Taking taylor expansion of y in z
1.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.733 * [taylor]: Taking taylor expansion of y in y
1.734 * [taylor]: Taking taylor expansion of 0 in z
1.734 * [taylor]: Taking taylor expansion of 0 in y
1.734 * [taylor]: Taking taylor expansion of 0 in y
1.735 * [taylor]: Taking taylor expansion of 0 in z
1.735 * [taylor]: Taking taylor expansion of 0 in y
1.735 * [taylor]: Taking taylor expansion of 0 in y
1.735 * [taylor]: Taking taylor expansion of 0 in y
1.737 * [taylor]: Taking taylor expansion of 0 in z
1.737 * [taylor]: Taking taylor expansion of 0 in y
1.737 * [taylor]: Taking taylor expansion of 0 in y
1.737 * [taylor]: Taking taylor expansion of 0 in y
1.737 * [taylor]: Taking taylor expansion of 0 in y
1.738 * [approximate]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in (t z y) around 0
1.738 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in y
1.738 * [taylor]: Taking taylor expansion of z in y
1.738 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in y
1.738 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
1.738 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.738 * [taylor]: Taking taylor expansion of -1 in y
1.739 * [taylor]: Taking taylor expansion of (* y t) in y
1.739 * [taylor]: Taking taylor expansion of y in y
1.739 * [taylor]: Taking taylor expansion of t in y
1.743 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in z
1.743 * [taylor]: Taking taylor expansion of z in z
1.743 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in z
1.743 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
1.743 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.743 * [taylor]: Taking taylor expansion of -1 in z
1.744 * [taylor]: Taking taylor expansion of (* y t) in z
1.744 * [taylor]: Taking taylor expansion of y in z
1.744 * [taylor]: Taking taylor expansion of t in z
1.747 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in t
1.747 * [taylor]: Taking taylor expansion of z in t
1.747 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in t
1.747 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.747 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.747 * [taylor]: Taking taylor expansion of -1 in t
1.748 * [taylor]: Taking taylor expansion of (* y t) in t
1.748 * [taylor]: Taking taylor expansion of y in t
1.748 * [taylor]: Taking taylor expansion of t in t
1.753 * [taylor]: Taking taylor expansion of (/ z (* (pow (cbrt -1) 3) (* y t))) in t
1.753 * [taylor]: Taking taylor expansion of z in t
1.753 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (* y t)) in t
1.753 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
1.753 * [taylor]: Taking taylor expansion of (cbrt -1) in t
1.753 * [taylor]: Taking taylor expansion of -1 in t
1.754 * [taylor]: Taking taylor expansion of (* y t) in t
1.754 * [taylor]: Taking taylor expansion of y in t
1.754 * [taylor]: Taking taylor expansion of t in t
1.763 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z
1.763 * [taylor]: Taking taylor expansion of -1 in z
1.763 * [taylor]: Taking taylor expansion of (/ z y) in z
1.763 * [taylor]: Taking taylor expansion of z in z
1.763 * [taylor]: Taking taylor expansion of y in z
1.763 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.763 * [taylor]: Taking taylor expansion of -1 in y
1.763 * [taylor]: Taking taylor expansion of y in y
1.767 * [taylor]: Taking taylor expansion of 0 in z
1.767 * [taylor]: Taking taylor expansion of 0 in y
1.767 * [taylor]: Taking taylor expansion of 0 in y
1.771 * [taylor]: Taking taylor expansion of 0 in z
1.771 * [taylor]: Taking taylor expansion of 0 in y
1.771 * [taylor]: Taking taylor expansion of 0 in y
1.772 * [taylor]: Taking taylor expansion of 0 in y
1.776 * [taylor]: Taking taylor expansion of 0 in z
1.776 * [taylor]: Taking taylor expansion of 0 in y
1.776 * [taylor]: Taking taylor expansion of 0 in y
1.777 * [taylor]: Taking taylor expansion of 0 in y
1.777 * [taylor]: Taking taylor expansion of 0 in y
1.778 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2)
1.778 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
1.778 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
1.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
1.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
1.778 * [taylor]: Taking taylor expansion of 1/3 in z
1.778 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.778 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.778 * [taylor]: Taking taylor expansion of z in z
1.779 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
1.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
1.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
1.779 * [taylor]: Taking taylor expansion of 1/3 in z
1.779 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
1.779 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.779 * [taylor]: Taking taylor expansion of z in z
1.835 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
1.835 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.835 * [taylor]: Taking taylor expansion of 1/3 in z
1.835 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.835 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.835 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.835 * [taylor]: Taking taylor expansion of z in z
1.836 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.836 * [taylor]: Taking taylor expansion of 1/3 in z
1.836 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.836 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.836 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.836 * [taylor]: Taking taylor expansion of z in z
1.890 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in (z) around 0
1.890 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z
1.890 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.890 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.890 * [taylor]: Taking taylor expansion of -1 in z
1.891 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.891 * [taylor]: Taking taylor expansion of 1/3 in z
1.891 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.891 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.891 * [taylor]: Taking taylor expansion of z in z
1.892 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow z 2)) 1/3)) in z
1.892 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
1.892 * [taylor]: Taking taylor expansion of (cbrt -1) in z
1.892 * [taylor]: Taking taylor expansion of -1 in z
1.893 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
1.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
1.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
1.893 * [taylor]: Taking taylor expansion of 1/3 in z
1.893 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
1.893 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.893 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.893 * [taylor]: Taking taylor expansion of z in z
1.970 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2)
1.970 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0
1.970 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.970 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.970 * [taylor]: Taking taylor expansion of 1/3 in z
1.970 * [taylor]: Taking taylor expansion of (log z) in z
1.970 * [taylor]: Taking taylor expansion of z in z
1.971 * [taylor]: Taking taylor expansion of (pow z 1/3) in z
1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z
1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z
1.971 * [taylor]: Taking taylor expansion of 1/3 in z
1.971 * [taylor]: Taking taylor expansion of (log z) in z
1.971 * [taylor]: Taking taylor expansion of z in z
2.023 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0
2.023 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.024 * [taylor]: Taking taylor expansion of 1/3 in z
2.024 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.024 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.024 * [taylor]: Taking taylor expansion of z in z
2.025 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.025 * [taylor]: Taking taylor expansion of 1/3 in z
2.025 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.025 * [taylor]: Taking taylor expansion of z in z
2.080 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0
2.080 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.080 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.080 * [taylor]: Taking taylor expansion of -1 in z
2.081 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.081 * [taylor]: Taking taylor expansion of 1/3 in z
2.081 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.081 * [taylor]: Taking taylor expansion of z in z
2.082 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z
2.082 * [taylor]: Taking taylor expansion of (cbrt -1) in z
2.082 * [taylor]: Taking taylor expansion of -1 in z
2.083 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z
2.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z
2.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z
2.083 * [taylor]: Taking taylor expansion of 1/3 in z
2.083 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z
2.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.083 * [taylor]: Taking taylor expansion of z in z
2.149 * * * [progress]: simplifying candidates
2.151 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (log1p (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (- (+ (log y) (log 2.0)) (log (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (- (log (* y 2.0)) (log (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (log (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (exp (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ (* (* (* y y) y) (* (* 2.0 2.0) 2.0)) (* (* (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ (* (* (* y 2.0) (* y 2.0)) (* y 2.0)) (* (* (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (* (cbrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))) (cbrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))
  (cbrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (* (* (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))) (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (sqrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (sqrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (- (* y 2.0))
  (- (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (/ y (* (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))
  (/ 2.0 (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ y (sqrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ 2.0 (sqrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ y 1)
  (/ 2.0 (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (/ 1 (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (/ (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* y 2.0))
  (/ (* y 2.0) (* (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))
  (/ (* y 2.0) (sqrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ (* y 2.0) 1)
  (/ (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) 2.0)
  (/ (* y 2.0) (- (pow (* z 2.0) 3) (pow (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))) 3)))
  (/ (* y 2.0) (- (* (* z 2.0) (* z 2.0)) (* (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (expm1 (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (log1p (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (+ (- (log t) (+ (log (cbrt z)) (log (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (- (log t) (+ (log (cbrt z)) (log (cbrt z)))) (log (/ y (cbrt z))))
  (+ (- (log t) (log (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (- (log t) (log (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
  (+ (log (/ t (* (cbrt z) (cbrt z)))) (- (log y) (log (cbrt z))))
  (+ (log (/ t (* (cbrt z) (cbrt z)))) (log (/ y (cbrt z))))
  (log (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (exp (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* t t) t) (* z z)) (/ (* (* y y) y) z))
  (* (/ (* (* t t) t) (* z z)) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (/ (* (* t t) t) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (/ (* (* t t) t) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ t (* (cbrt z) (cbrt z))) (/ t (* (cbrt z) (cbrt z)))) (/ t (* (cbrt z) (cbrt z)))) (/ (* (* y y) y) z))
  (* (* (* (/ t (* (cbrt z) (cbrt z))) (/ t (* (cbrt z) (cbrt z)))) (/ t (* (cbrt z) (cbrt z)))) (* (* (/ y (cbrt z)) (/ y (cbrt z))) (/ y (cbrt z))))
  (* (cbrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (cbrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (cbrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (* (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* t y)
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (sqrt (/ y (cbrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (cbrt 1)))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (sqrt y) (cbrt 1)))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ (sqrt y) 1))
  (* (/ t (* (cbrt z) (cbrt z))) (/ 1 (cbrt (* (cbrt z) (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ 1 (cbrt (sqrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ 1 (cbrt 1)))
  (* (/ t (* (cbrt z) (cbrt z))) (/ 1 (* (cbrt (cbrt z)) (cbrt (cbrt z)))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ 1 (sqrt (cbrt z))))
  (* (/ t (* (cbrt z) (cbrt z))) (/ 1 1))
  (* (/ t (* (cbrt z) (cbrt z))) 1)
  (* (/ t (* (cbrt z) (cbrt z))) y)
  (* (cbrt (/ t (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (cbrt t) (cbrt z)) (/ y (cbrt z)))
  (* (/ (sqrt t) (cbrt z)) (/ y (cbrt z)))
  (* (/ t (cbrt z)) (/ y (cbrt z)))
  (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (* (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)))
  (* (/ t (* (cbrt z) (cbrt z))) y)
  (* t (/ y (cbrt z)))
  (expm1 (* (cbrt z) (cbrt z)))
  (log1p (* (cbrt z) (cbrt z)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* z z)
  (* (cbrt z) (cbrt z))
  (+ 1 1)
  (+ (log (cbrt z)) (log (cbrt z)))
  (log (* (cbrt z) (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt z) (cbrt z))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 1 1)
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (* (cbrt z) (cbrt 1))
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt z) (sqrt (cbrt z)))
  (* (cbrt z) 1)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (* (sqrt (cbrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  (cbrt 1)
  (cbrt z)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  (* (* (cbrt z) (cbrt z)) (cbrt z))
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  0
  0
  0
  (/ (* t y) z)
  (/ (* t y) z)
  (/ (* t y) z)
  (pow z 2/3)
  (pow (/ 1 z) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
2.159 * * [simplify]: iteration  0 :  642  enodes  (cost  1242 )
2.172 * * [simplify]: iteration  1 :  3705  enodes  (cost  1023 )
2.240 * * [simplify]: iteration  2 :  5001  enodes  (cost  978 )
2.245 * [simplify]: Simplified to:
   (expm1 (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (log1p (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (log (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (log (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (log (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (exp (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (pow (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) 3)
  (pow (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) 3)
  (* (cbrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))) (cbrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))
  (cbrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (pow (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) 3)
  (sqrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (sqrt (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (- (* y 2.0))
  (- (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (/ y (* (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))
  (/ 2.0 (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ y (sqrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (/ 2.0 (sqrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  y
  (/ 2.0 (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (/ 1 (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (/ (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (* y 2.0))
  (/ (* y 2.0) (* (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (cbrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))
  (/ (* y 2.0) (sqrt (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (* y 2.0)
  (/ (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) 2.0)
  (/ (* y 2.0) (- (pow (* z 2.0) 3) (pow (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))) 3)))
  (* (/ y (fma 2.0 z (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))) (/ 2.0 (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
  (expm1 (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (log1p (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* (/ y z) t)
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (- (log (* t y)) (log (pow (pow z 1/3) 3)))
  (pow (exp (/ y (cbrt z))) (/ t (pow z 2/3)))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (* (cbrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))) (cbrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))
  (cbrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (/ (pow (* t y) 3) (pow (pow (pow z 1/3) 3) 3))
  (sqrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (sqrt (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))
  (* t y)
  z
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (sqrt (/ y (cbrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (cbrt (sqrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (sqrt (/ y (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (cbrt (sqrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (* (/ (sqrt t) (cbrt z)) (/ (sqrt y) (sqrt (cbrt z))))
  (/ (* (* (cbrt (/ y (cbrt z))) (cbrt (/ y (cbrt z)))) t) (pow z 2/3))
  (/ (* (sqrt (/ y (cbrt z))) t) (pow z 2/3))
  (/ (* (/ (* (cbrt y) (cbrt y)) (cbrt (* (cbrt z) (cbrt z)))) t) (pow z 2/3))
  (/ (* (/ (* (cbrt y) (cbrt y)) (cbrt (sqrt z))) t) (pow z 2/3))
  (/ (* (* (cbrt y) (cbrt y)) t) (pow z 2/3))
  (/ (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) t) (pow z 2/3))
  (/ (* (/ (* (cbrt y) (cbrt y)) (sqrt (cbrt z))) t) (pow z 2/3))
  (/ (* (* (cbrt y) (cbrt y)) t) (pow z 2/3))
  (/ (* (/ (sqrt y) (cbrt (* (cbrt z) (cbrt z)))) t) (pow z 2/3))
  (/ (* (/ (sqrt y) (cbrt (sqrt z))) t) (pow z 2/3))
  (/ (* (sqrt y) t) (pow z 2/3))
  (/ (* (/ (sqrt y) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) t) (pow z 2/3))
  (/ (* (/ (sqrt y) (sqrt (cbrt z))) t) (pow z 2/3))
  (/ (* (sqrt y) t) (pow z 2/3))
  (/ (/ t (cbrt (* (cbrt z) (cbrt z)))) (pow z 2/3))
  (/ (/ t (cbrt (sqrt z))) (pow z 2/3))
  (/ t (pow z 2/3))
  (/ (/ t (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (pow z 2/3))
  (/ (/ t (sqrt (cbrt z))) (pow z 2/3))
  (/ t (pow z 2/3))
  (/ t (pow z 2/3))
  (/ (* y t) (pow z 2/3))
  (* (cbrt (/ t (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (sqrt (/ t (* (cbrt z) (cbrt z)))) (/ y (cbrt z)))
  (* (/ (cbrt t) (cbrt z)) (/ y (cbrt z)))
  (* (/ (sqrt t) (cbrt z)) (/ y (cbrt z)))
  (/ (* y t) (pow z 2/3))
  (* (/ y z) t)
  (/ (/ y (cbrt z)) (pow z 2/3))
  (/ (* y t) (pow z 2/3))
  (* t (/ y (cbrt z)))
  (expm1 (* (cbrt z) (cbrt z)))
  (log1p (* (cbrt z) (cbrt z)))
  2/3
  2
  (pow z 2)
  (pow z 2/3)
  2
  (* 2/3 (log z))
  (* 2/3 (log z))
  (exp (pow z 2/3))
  (pow z 2)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (pow z 2)
  (fabs (pow z 1/3))
  (fabs (pow z 1/3))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  1
  (pow z 2/3)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (pow z 1/3)
  (pow z 1/3)
  1
  (pow z 2/3)
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (pow z 1/3)
  (pow z 1/3)
  2/3
  2
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (pow z 1/3)
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (pow (sqrt (cbrt z)) 3)
  (pow z 1/3)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt z) (cbrt (sqrt z)))
  (pow z 2/3)
  (pow (cbrt (cbrt z)) 4)
  (pow (sqrt (cbrt z)) 3)
  (pow z 2/3)
  (expm1 (cbrt z))
  (log1p (cbrt z))
  (log (cbrt z))
  (exp (cbrt z))
  (cbrt (* (cbrt z) (cbrt z)))
  (cbrt (cbrt z))
  (cbrt (sqrt z))
  (cbrt (sqrt z))
  1
  (pow z 1/3)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt (cbrt z))
  z
  (sqrt (cbrt z))
  (sqrt (cbrt z))
  0
  0
  0
  (* (/ y z) t)
  (* (/ y z) t)
  (* (/ y z) t)
  (pow z 2/3)
  (pow (/ 1 z) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow z 2) 1/3))
  (pow z 1/3)
  (pow (/ 1 z) -1/3)
  (* (pow (* -1 z) 1/3) (cbrt -1))
2.246 * * * [progress]: adding candidates to table
2.580 * [progress]: [Phase 3 of 3] Extracting.
2.580 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))> #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))))> #<alt (λ (x y z t) (- x (* y (/ 2.0 (- (* 2.0 z) (/ (* t y) z))))))>)
2.581 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
2.581 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))> #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))))> #<alt (λ (x y z t) (- x (* y (/ 2.0 (- (* 2.0 z) (/ (* t y) z))))))>)
2.600 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))> #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))))> #<alt (λ (x y z t) (- x (* y (/ 2.0 (- (* 2.0 z) (/ (* t y) z))))))>)
2.627 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))> #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))))> #<alt (λ (x y z t) (- x (* y (/ 2.0 (- (* 2.0 z) (/ (* t y) z))))))>)
2.658 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z)))))))> #<alt (λ (x y z t) (- x (/ (* y 2.0) (- (* z 2.0) (* t (/ y z))))))> #<alt (λ (x y z t) (- x (* y (/ 2.0 (- (* 2.0 z) (/ (* t y) z))))))>)
2.685 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.685 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
2.686 * * [simplify]: iteration  0 :  18  enodes  (cost  12 )
2.686 * * [simplify]: iteration  1 :  18  enodes  (cost  12 )
2.687 * [simplify]: Simplified to:
   (- x (/ (* y 2.0) (- (* z 2.0) (* (/ t (* (cbrt z) (cbrt z))) (/ y (cbrt z))))))
3.410 * [regime-testing]: Baseline error score: 1.6580954970371848
3.411 * [regime-testing]: Oracle error score: 1.1125184439898443
3.412 * [regime-testing]: End program error score: 1.6580954970371848
3.434 * [regime-testing]: Target error score: 0.07132039668662704