3.726 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.086 * * * [progress]: [2/2] Setting up program.
0.090 * [progress]: [Phase 2 of 3] Improving.
0.090 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.093 * * [simplify]: iteration  0 :  38  enodes  (cost  10 )
0.095 * * [simplify]: iteration  1 :  122  enodes  (cost  10 )
0.099 * * [simplify]: iteration  2 :  509  enodes  (cost  10 )
0.110 * * [simplify]: iteration  3 :  2237  enodes  (cost  10 )
0.143 * * [simplify]: iteration  4 :  5001  enodes  (cost  10 )
0.143 * [simplify]: Simplified to:
   (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.144 * * [progress]: iteration 1 / 4
0.144 * * * [progress]: picking best candidate
0.147 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))>
0.147 * * * [progress]: localizing error
0.162 * * * [progress]: generating rewritten candidates
0.162 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
0.173 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.186 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.193 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2)
0.206 * * * [progress]: generating series expansions
0.206 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
0.206 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
0.206 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
0.206 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.206 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
0.206 * [taylor]: Taking taylor expansion of x in z
0.206 * [taylor]: Taking taylor expansion of (* z y) in z
0.206 * [taylor]: Taking taylor expansion of z in z
0.206 * [taylor]: Taking taylor expansion of y in z
0.207 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
0.207 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.207 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
0.207 * [taylor]: Taking taylor expansion of x in y
0.207 * [taylor]: Taking taylor expansion of (* z y) in y
0.207 * [taylor]: Taking taylor expansion of z in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
0.208 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.208 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (* z y) in x
0.208 * [taylor]: Taking taylor expansion of z in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
0.208 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.208 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (* z y) in x
0.208 * [taylor]: Taking taylor expansion of z in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
0.208 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.208 * [taylor]: Taking taylor expansion of (* z y) in y
0.208 * [taylor]: Taking taylor expansion of z in y
0.208 * [taylor]: Taking taylor expansion of y in y
0.209 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
0.209 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.209 * [taylor]: Taking taylor expansion of z in z
0.209 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.212 * [taylor]: Taking taylor expansion of 0 in y
0.212 * [taylor]: Taking taylor expansion of 0 in z
0.212 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.215 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
0.216 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
0.216 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.216 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
0.216 * [taylor]: Taking taylor expansion of (* z y) in z
0.216 * [taylor]: Taking taylor expansion of z in z
0.216 * [taylor]: Taking taylor expansion of y in z
0.216 * [taylor]: Taking taylor expansion of x in z
0.216 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
0.216 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.216 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
0.216 * [taylor]: Taking taylor expansion of (* z y) in y
0.216 * [taylor]: Taking taylor expansion of z in y
0.216 * [taylor]: Taking taylor expansion of y in y
0.216 * [taylor]: Taking taylor expansion of x in y
0.217 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
0.217 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.217 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
0.217 * [taylor]: Taking taylor expansion of (* z y) in x
0.217 * [taylor]: Taking taylor expansion of z in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
0.217 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.217 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
0.217 * [taylor]: Taking taylor expansion of (* z y) in x
0.217 * [taylor]: Taking taylor expansion of z in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
0.217 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.217 * [taylor]: Taking taylor expansion of (* z y) in y
0.217 * [taylor]: Taking taylor expansion of z in y
0.217 * [taylor]: Taking taylor expansion of y in y
0.218 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
0.218 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.218 * [taylor]: Taking taylor expansion of z in z
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.220 * [taylor]: Taking taylor expansion of 0 in z
0.221 * [taylor]: Taking taylor expansion of 0 in z
0.223 * [taylor]: Taking taylor expansion of 0 in y
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.224 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [taylor]: Taking taylor expansion of 0 in z
0.225 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
0.225 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
0.225 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
0.225 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
0.225 * [taylor]: Taking taylor expansion of (* z y) in z
0.225 * [taylor]: Taking taylor expansion of z in z
0.225 * [taylor]: Taking taylor expansion of y in z
0.225 * [taylor]: Taking taylor expansion of x in z
0.226 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
0.226 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
0.226 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
0.226 * [taylor]: Taking taylor expansion of (* z y) in y
0.226 * [taylor]: Taking taylor expansion of z in y
0.226 * [taylor]: Taking taylor expansion of y in y
0.226 * [taylor]: Taking taylor expansion of x in y
0.226 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
0.226 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
0.226 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
0.226 * [taylor]: Taking taylor expansion of (* z y) in x
0.226 * [taylor]: Taking taylor expansion of z in x
0.226 * [taylor]: Taking taylor expansion of y in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
0.226 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
0.226 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
0.226 * [taylor]: Taking taylor expansion of (* z y) in x
0.226 * [taylor]: Taking taylor expansion of z in x
0.226 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
0.227 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
0.227 * [taylor]: Taking taylor expansion of (* z y) in y
0.227 * [taylor]: Taking taylor expansion of z in y
0.227 * [taylor]: Taking taylor expansion of y in y
0.228 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
0.228 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
0.228 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.228 * [taylor]: Taking taylor expansion of z in z
0.230 * [taylor]: Taking taylor expansion of 0 in y
0.230 * [taylor]: Taking taylor expansion of 0 in z
0.231 * [taylor]: Taking taylor expansion of 0 in z
0.234 * [taylor]: Taking taylor expansion of 0 in y
0.234 * [taylor]: Taking taylor expansion of 0 in z
0.234 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of 0 in z
0.235 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.236 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
0.236 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
0.236 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
0.236 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
0.236 * [taylor]: Taking taylor expansion of (sqrt t) in t
0.236 * [taylor]: Taking taylor expansion of t in t
0.237 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
0.237 * [taylor]: Taking taylor expansion of x in t
0.237 * [taylor]: Taking taylor expansion of (* z y) in t
0.237 * [taylor]: Taking taylor expansion of z in t
0.237 * [taylor]: Taking taylor expansion of y in t
0.237 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
0.237 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.237 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
0.237 * [taylor]: Taking taylor expansion of (sqrt t) in z
0.238 * [taylor]: Taking taylor expansion of t in z
0.238 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
0.238 * [taylor]: Taking taylor expansion of x in z
0.238 * [taylor]: Taking taylor expansion of (* z y) in z
0.238 * [taylor]: Taking taylor expansion of z in z
0.238 * [taylor]: Taking taylor expansion of y in z
0.238 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
0.238 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.238 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
0.238 * [taylor]: Taking taylor expansion of (sqrt t) in y
0.238 * [taylor]: Taking taylor expansion of t in y
0.238 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
0.238 * [taylor]: Taking taylor expansion of x in y
0.238 * [taylor]: Taking taylor expansion of (* z y) in y
0.238 * [taylor]: Taking taylor expansion of z in y
0.238 * [taylor]: Taking taylor expansion of y in y
0.239 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
0.239 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.239 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
0.239 * [taylor]: Taking taylor expansion of (sqrt t) in x
0.239 * [taylor]: Taking taylor expansion of t in x
0.239 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [taylor]: Taking taylor expansion of (* z y) in x
0.239 * [taylor]: Taking taylor expansion of z in x
0.239 * [taylor]: Taking taylor expansion of y in x
0.239 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
0.239 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.239 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
0.239 * [taylor]: Taking taylor expansion of (sqrt t) in x
0.239 * [taylor]: Taking taylor expansion of t in x
0.239 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [taylor]: Taking taylor expansion of (* z y) in x
0.239 * [taylor]: Taking taylor expansion of z in x
0.239 * [taylor]: Taking taylor expansion of y in x
0.239 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
0.239 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.239 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
0.239 * [taylor]: Taking taylor expansion of (sqrt t) in y
0.240 * [taylor]: Taking taylor expansion of t in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.240 * [taylor]: Taking taylor expansion of (* z y) in y
0.240 * [taylor]: Taking taylor expansion of z in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.240 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
0.240 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.240 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
0.240 * [taylor]: Taking taylor expansion of (sqrt t) in z
0.240 * [taylor]: Taking taylor expansion of t in z
0.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.240 * [taylor]: Taking taylor expansion of z in z
0.241 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
0.241 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
0.241 * [taylor]: Taking taylor expansion of (sqrt t) in t
0.241 * [taylor]: Taking taylor expansion of t in t
0.243 * [taylor]: Taking taylor expansion of 0 in y
0.244 * [taylor]: Taking taylor expansion of 0 in z
0.245 * [taylor]: Taking taylor expansion of 0 in t
0.249 * [taylor]: Taking taylor expansion of 0 in y
0.249 * [taylor]: Taking taylor expansion of 0 in z
0.251 * [taylor]: Taking taylor expansion of 0 in z
0.251 * [taylor]: Taking taylor expansion of 0 in t
0.253 * [taylor]: Taking taylor expansion of 0 in t
0.259 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.259 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in z
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.262 * [taylor]: Taking taylor expansion of 0 in t
0.264 * [taylor]: Taking taylor expansion of 0 in t
0.265 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
0.266 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
0.266 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
0.266 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
0.266 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
0.266 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.266 * [taylor]: Taking taylor expansion of t in t
0.267 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
0.267 * [taylor]: Taking taylor expansion of (* z y) in t
0.267 * [taylor]: Taking taylor expansion of z in t
0.267 * [taylor]: Taking taylor expansion of y in t
0.267 * [taylor]: Taking taylor expansion of x in t
0.267 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
0.267 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.267 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
0.267 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
0.267 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.267 * [taylor]: Taking taylor expansion of t in z
0.268 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
0.268 * [taylor]: Taking taylor expansion of (* z y) in z
0.268 * [taylor]: Taking taylor expansion of z in z
0.268 * [taylor]: Taking taylor expansion of y in z
0.268 * [taylor]: Taking taylor expansion of x in z
0.268 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
0.268 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.268 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
0.268 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
0.268 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.268 * [taylor]: Taking taylor expansion of t in y
0.268 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
0.268 * [taylor]: Taking taylor expansion of (* z y) in y
0.268 * [taylor]: Taking taylor expansion of z in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
0.269 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.269 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
0.269 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.269 * [taylor]: Taking taylor expansion of t in x
0.269 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
0.269 * [taylor]: Taking taylor expansion of (* z y) in x
0.269 * [taylor]: Taking taylor expansion of z in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
0.269 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
0.269 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
0.269 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
0.269 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.269 * [taylor]: Taking taylor expansion of t in x
0.270 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
0.270 * [taylor]: Taking taylor expansion of (* z y) in x
0.270 * [taylor]: Taking taylor expansion of z in x
0.270 * [taylor]: Taking taylor expansion of y in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
0.270 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
0.270 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
0.270 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
0.270 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.270 * [taylor]: Taking taylor expansion of t in y
0.270 * [taylor]: Taking taylor expansion of (* z y) in y
0.270 * [taylor]: Taking taylor expansion of z in y
0.270 * [taylor]: Taking taylor expansion of y in y
0.272 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
0.272 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.272 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
0.272 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
0.272 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.273 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
0.273 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
0.273 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
0.273 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.273 * [taylor]: Taking taylor expansion of t in t
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.275 * [taylor]: Taking taylor expansion of 0 in z
0.276 * [taylor]: Taking taylor expansion of 0 in t
0.277 * [taylor]: Taking taylor expansion of 0 in z
0.278 * [taylor]: Taking taylor expansion of 0 in t
0.279 * [taylor]: Taking taylor expansion of 0 in t
0.283 * [taylor]: Taking taylor expansion of 0 in y
0.283 * [taylor]: Taking taylor expansion of 0 in z
0.283 * [taylor]: Taking taylor expansion of 0 in t
0.283 * [taylor]: Taking taylor expansion of 0 in z
0.283 * [taylor]: Taking taylor expansion of 0 in t
0.286 * [taylor]: Taking taylor expansion of 0 in z
0.286 * [taylor]: Taking taylor expansion of 0 in t
0.286 * [taylor]: Taking taylor expansion of 0 in t
0.286 * [taylor]: Taking taylor expansion of 0 in t
0.288 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of 0 in y
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.520 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.520 * [taylor]: Taking taylor expansion of 0 in t
0.520 * [taylor]: Taking taylor expansion of 0 in z
0.520 * [taylor]: Taking taylor expansion of 0 in t
0.523 * [taylor]: Taking taylor expansion of 0 in z
0.523 * [taylor]: Taking taylor expansion of 0 in t
0.524 * [taylor]: Taking taylor expansion of 0 in t
0.524 * [taylor]: Taking taylor expansion of 0 in t
0.524 * [taylor]: Taking taylor expansion of 0 in t
0.524 * [taylor]: Taking taylor expansion of 0 in t
0.524 * [taylor]: Taking taylor expansion of 0 in t
0.528 * [taylor]: Taking taylor expansion of 0 in t
0.529 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
0.529 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
0.529 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
0.529 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
0.529 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
0.529 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
0.529 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.529 * [taylor]: Taking taylor expansion of -1 in t
0.529 * [taylor]: Taking taylor expansion of t in t
0.531 * [taylor]: Taking taylor expansion of (* z y) in t
0.531 * [taylor]: Taking taylor expansion of z in t
0.531 * [taylor]: Taking taylor expansion of y in t
0.531 * [taylor]: Taking taylor expansion of x in t
0.531 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
0.531 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
0.531 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
0.531 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
0.531 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
0.531 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.531 * [taylor]: Taking taylor expansion of -1 in z
0.531 * [taylor]: Taking taylor expansion of t in z
0.532 * [taylor]: Taking taylor expansion of (* z y) in z
0.532 * [taylor]: Taking taylor expansion of z in z
0.532 * [taylor]: Taking taylor expansion of y in z
0.532 * [taylor]: Taking taylor expansion of x in z
0.532 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
0.533 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
0.533 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
0.533 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
0.533 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
0.533 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.533 * [taylor]: Taking taylor expansion of -1 in y
0.533 * [taylor]: Taking taylor expansion of t in y
0.533 * [taylor]: Taking taylor expansion of (* z y) in y
0.533 * [taylor]: Taking taylor expansion of z in y
0.533 * [taylor]: Taking taylor expansion of y in y
0.533 * [taylor]: Taking taylor expansion of x in y
0.534 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
0.534 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
0.534 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
0.534 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
0.534 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
0.534 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.534 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of t in x
0.534 * [taylor]: Taking taylor expansion of (* z y) in x
0.534 * [taylor]: Taking taylor expansion of z in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
0.534 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
0.534 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
0.534 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
0.534 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
0.534 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.534 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of t in x
0.534 * [taylor]: Taking taylor expansion of (* z y) in x
0.534 * [taylor]: Taking taylor expansion of z in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
0.535 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
0.535 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
0.535 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
0.535 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.535 * [taylor]: Taking taylor expansion of -1 in y
0.535 * [taylor]: Taking taylor expansion of t in y
0.535 * [taylor]: Taking taylor expansion of (* z y) in y
0.535 * [taylor]: Taking taylor expansion of z in y
0.535 * [taylor]: Taking taylor expansion of y in y
0.536 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
0.536 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
0.536 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
0.536 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
0.536 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
0.536 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.536 * [taylor]: Taking taylor expansion of -1 in z
0.537 * [taylor]: Taking taylor expansion of t in z
0.537 * [taylor]: Taking taylor expansion of z in z
0.537 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
0.538 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
0.538 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
0.538 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
0.538 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.538 * [taylor]: Taking taylor expansion of -1 in t
0.538 * [taylor]: Taking taylor expansion of t in t
0.542 * [taylor]: Taking taylor expansion of 0 in y
0.542 * [taylor]: Taking taylor expansion of 0 in z
0.542 * [taylor]: Taking taylor expansion of 0 in t
0.544 * [taylor]: Taking taylor expansion of 0 in z
0.544 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.553 * [taylor]: Taking taylor expansion of 0 in y
0.553 * [taylor]: Taking taylor expansion of 0 in z
0.553 * [taylor]: Taking taylor expansion of 0 in t
0.553 * [taylor]: Taking taylor expansion of 0 in z
0.553 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in z
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.558 * [taylor]: Taking taylor expansion of 0 in t
0.559 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.560 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0
0.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
0.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.560 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
0.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
0.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.560 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
0.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
0.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.560 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
0.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
0.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.560 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
0.560 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
0.560 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.560 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
0.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
0.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.561 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
0.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
0.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.561 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
0.561 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
0.561 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.561 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
0.562 * [taylor]: Taking taylor expansion of 0 in y
0.562 * [taylor]: Taking taylor expansion of 0 in z
0.562 * [taylor]: Taking taylor expansion of 0 in t
0.563 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in t
0.563 * [taylor]: Taking taylor expansion of 0 in t
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in t
0.565 * [taylor]: Taking taylor expansion of 0 in z
0.565 * [taylor]: Taking taylor expansion of 0 in t
0.566 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0
0.566 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
0.566 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.566 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
0.566 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
0.566 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.566 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
0.566 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
0.566 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.566 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
0.566 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
0.566 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.566 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
0.566 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
0.566 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.566 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
0.567 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
0.567 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.567 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
0.567 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
0.567 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.567 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
0.567 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
0.567 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.567 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
0.568 * [taylor]: Taking taylor expansion of 0 in y
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.568 * [taylor]: Taking taylor expansion of 0 in t
0.569 * [taylor]: Taking taylor expansion of 0 in z
0.569 * [taylor]: Taking taylor expansion of 0 in t
0.570 * [taylor]: Taking taylor expansion of 0 in t
0.571 * [taylor]: Taking taylor expansion of 0 in y
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in t
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in t
0.572 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0
0.572 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
0.572 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.572 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
0.572 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
0.572 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.572 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
0.572 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
0.572 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.572 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
0.572 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
0.572 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.572 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
0.573 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
0.573 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
0.573 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
0.573 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
0.573 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
0.573 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
0.573 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
0.573 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
0.573 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
0.574 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
0.574 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
0.574 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in t
0.575 * [taylor]: Taking taylor expansion of 0 in z
0.575 * [taylor]: Taking taylor expansion of 0 in t
0.576 * [taylor]: Taking taylor expansion of 0 in t
0.577 * [taylor]: Taking taylor expansion of 0 in y
0.577 * [taylor]: Taking taylor expansion of 0 in z
0.577 * [taylor]: Taking taylor expansion of 0 in t
0.577 * [taylor]: Taking taylor expansion of 0 in z
0.577 * [taylor]: Taking taylor expansion of 0 in t
0.577 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2)
0.578 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0
0.578 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y
0.578 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
0.578 * [taylor]: Taking taylor expansion of (/ x y) in y
0.578 * [taylor]: Taking taylor expansion of x in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
0.578 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
0.578 * [taylor]: Taking taylor expansion of (/ x y) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of y in x
0.578 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
0.578 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
0.578 * [taylor]: Taking taylor expansion of (/ x y) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of y in x
0.578 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y
0.578 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.579 * [taylor]: Taking taylor expansion of 0 in y
0.580 * [taylor]: Taking taylor expansion of 0 in y
0.582 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
0.583 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
0.583 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
0.583 * [taylor]: Taking taylor expansion of (/ y x) in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.583 * [taylor]: Taking taylor expansion of x in y
0.583 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
0.583 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
0.583 * [taylor]: Taking taylor expansion of (/ y x) in x
0.583 * [taylor]: Taking taylor expansion of y in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
0.583 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
0.583 * [taylor]: Taking taylor expansion of (/ y x) in x
0.583 * [taylor]: Taking taylor expansion of y in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
0.583 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.586 * [taylor]: Taking taylor expansion of 0 in y
0.588 * [taylor]: Taking taylor expansion of 0 in y
0.591 * [taylor]: Taking taylor expansion of 0 in y
0.591 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
0.591 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
0.591 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
0.591 * [taylor]: Taking taylor expansion of (/ y x) in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of x in y
0.591 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
0.591 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
0.591 * [taylor]: Taking taylor expansion of (/ y x) in x
0.591 * [taylor]: Taking taylor expansion of y in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.591 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
0.591 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
0.591 * [taylor]: Taking taylor expansion of (/ y x) in x
0.591 * [taylor]: Taking taylor expansion of y in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.591 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
0.591 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of 0 in y
0.595 * [taylor]: Taking taylor expansion of 0 in y
0.598 * [taylor]: Taking taylor expansion of 0 in y
0.598 * * * [progress]: simplifying candidates
0.601 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (* (/ 1 (* z 2.0)) (sqrt t))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (expm1 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log1p (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (+ (- (log 1.0) (log 3.0)) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (+ (log (/ 1.0 3.0)) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 3.0 3.0) 3.0)) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0)) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) 1)
  (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (expm1 (/ x (* y 27.0)))
  (log1p (/ x (* y 27.0)))
  (- (log x) (+ (log y) (log 27.0)))
  (- (log x) (log (* y 27.0)))
  (log (/ x (* y 27.0)))
  (exp (/ x (* y 27.0)))
  (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))
  (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))
  (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0))))
  (cbrt (/ x (* y 27.0)))
  (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (- x)
  (- (* y 27.0))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) 27.0)
  (/ (sqrt x) y)
  (/ (sqrt x) 27.0)
  (/ 1 y)
  (/ x 27.0)
  (/ 1 (* y 27.0))
  (/ (* y 27.0) x)
  (/ x y)
  (/ (* y 27.0) (cbrt x))
  (/ (* y 27.0) (sqrt x))
  (/ (* y 27.0) x)
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
0.611 * * [simplify]: iteration  0 :  732  enodes  (cost  1374 )
0.629 * * [simplify]: iteration  1 :  3933  enodes  (cost  1073 )
0.697 * * [simplify]: iteration  2 :  5002  enodes  (cost  1070 )
0.707 * [simplify]: Simplified to:
   (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (/ (* (* 3.0 (/ x (* y 27.0))) (fabs (cbrt t))) (* z 2.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (/ (sqrt t) (* z 2.0))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (expm1 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log1p (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ 1.0 3.0)
  (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (expm1 (/ x (* y 27.0)))
  (log1p (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (log (/ x (* y 27.0)))
  (exp (/ x (* y 27.0)))
  (pow (/ x (* y 27.0)) 3)
  (pow (/ x (* y 27.0)) 3)
  (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0))))
  (cbrt (/ x (* y 27.0)))
  (pow (/ x (* y 27.0)) 3)
  (sqrt (/ x (* y 27.0)))
  (sqrt (/ x (* y 27.0)))
  (- x)
  (- (* y 27.0))
  (/ (* (cbrt x) (cbrt x)) y)
  (/ (cbrt x) 27.0)
  (/ (sqrt x) y)
  (/ (sqrt x) 27.0)
  (/ 1 y)
  (/ x 27.0)
  (/ 1 (* y 27.0))
  (/ (* y 27.0) x)
  (/ x y)
  (/ (* y 27.0) (cbrt x))
  (/ (* y 27.0) (sqrt x))
  (/ (* y 27.0) x)
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (fma (- +nan.0) (/ (* t x) (* z y)) (* +nan.0 (/ (* (pow t 2) x) (* z y))))
  (fma (- +nan.0) (/ x (* z y)) (* +nan.0 (/ x (* t (* z y)))))
  (fma (- +nan.0) (/ x (* z y)) (* +nan.0 (/ x (* t (* z y)))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
  (* 0.037037037037037035 (/ x y))
0.708 * * * [progress]: adding candidates to table
1.059 * * [progress]: iteration 2 / 4
1.059 * * * [progress]: picking best candidate
1.066 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))>
1.066 * * * [progress]: localizing error
1.088 * * * [progress]: generating rewritten candidates
1.088 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
1.098 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
1.117 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.140 * * * [progress]: generating series expansions
1.140 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
1.141 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
1.141 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
1.141 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.141 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
1.141 * [taylor]: Taking taylor expansion of x in z
1.141 * [taylor]: Taking taylor expansion of (* z y) in z
1.141 * [taylor]: Taking taylor expansion of z in z
1.141 * [taylor]: Taking taylor expansion of y in z
1.141 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
1.141 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.141 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
1.141 * [taylor]: Taking taylor expansion of x in y
1.142 * [taylor]: Taking taylor expansion of (* z y) in y
1.142 * [taylor]: Taking taylor expansion of z in y
1.142 * [taylor]: Taking taylor expansion of y in y
1.142 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
1.142 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.142 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (* z y) in x
1.142 * [taylor]: Taking taylor expansion of z in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
1.142 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.142 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
1.142 * [taylor]: Taking taylor expansion of x in x
1.142 * [taylor]: Taking taylor expansion of (* z y) in x
1.142 * [taylor]: Taking taylor expansion of z in x
1.142 * [taylor]: Taking taylor expansion of y in x
1.142 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
1.142 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.142 * [taylor]: Taking taylor expansion of (* z y) in y
1.143 * [taylor]: Taking taylor expansion of z in y
1.143 * [taylor]: Taking taylor expansion of y in y
1.143 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
1.143 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.143 * [taylor]: Taking taylor expansion of z in z
1.144 * [taylor]: Taking taylor expansion of 0 in y
1.145 * [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.147 * [taylor]: Taking taylor expansion of 0 in z
1.149 * [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 z
1.150 * [taylor]: Taking taylor expansion of 0 in z
1.151 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
1.151 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
1.151 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.151 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
1.151 * [taylor]: Taking taylor expansion of (* z y) in z
1.151 * [taylor]: Taking taylor expansion of z in z
1.151 * [taylor]: Taking taylor expansion of y in z
1.151 * [taylor]: Taking taylor expansion of x in z
1.151 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
1.151 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.151 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
1.151 * [taylor]: Taking taylor expansion of (* z y) in y
1.151 * [taylor]: Taking taylor expansion of z in y
1.151 * [taylor]: Taking taylor expansion of y in y
1.151 * [taylor]: Taking taylor expansion of x in y
1.152 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
1.152 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.152 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
1.152 * [taylor]: Taking taylor expansion of (* z y) in x
1.152 * [taylor]: Taking taylor expansion of z in x
1.152 * [taylor]: Taking taylor expansion of y in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.152 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
1.152 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.152 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
1.152 * [taylor]: Taking taylor expansion of (* z y) in x
1.152 * [taylor]: Taking taylor expansion of z in x
1.152 * [taylor]: Taking taylor expansion of y in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.152 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
1.152 * [taylor]: Taking taylor expansion of 0.05555555555555555 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.153 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
1.153 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.153 * [taylor]: Taking taylor expansion of z in z
1.155 * [taylor]: Taking taylor expansion of 0 in y
1.155 * [taylor]: Taking taylor expansion of 0 in z
1.156 * [taylor]: Taking taylor expansion of 0 in z
1.159 * [taylor]: Taking taylor expansion of 0 in y
1.159 * [taylor]: Taking taylor expansion of 0 in z
1.159 * [taylor]: Taking taylor expansion of 0 in z
1.160 * [taylor]: Taking taylor expansion of 0 in z
1.161 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
1.161 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
1.161 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
1.161 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
1.161 * [taylor]: Taking taylor expansion of (* z y) in z
1.161 * [taylor]: Taking taylor expansion of z in z
1.161 * [taylor]: Taking taylor expansion of y in z
1.161 * [taylor]: Taking taylor expansion of x in z
1.161 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
1.161 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
1.162 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
1.162 * [taylor]: Taking taylor expansion of (* z y) in y
1.162 * [taylor]: Taking taylor expansion of z in y
1.162 * [taylor]: Taking taylor expansion of y in y
1.162 * [taylor]: Taking taylor expansion of x in y
1.162 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
1.162 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
1.162 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
1.162 * [taylor]: Taking taylor expansion of (* z y) in x
1.162 * [taylor]: Taking taylor expansion of z in x
1.162 * [taylor]: Taking taylor expansion of y in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.162 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
1.162 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
1.162 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
1.162 * [taylor]: Taking taylor expansion of (* z y) in x
1.162 * [taylor]: Taking taylor expansion of z in x
1.162 * [taylor]: Taking taylor expansion of y in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.162 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
1.162 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
1.162 * [taylor]: Taking taylor expansion of (* z y) in y
1.162 * [taylor]: Taking taylor expansion of z in y
1.163 * [taylor]: Taking taylor expansion of y in y
1.163 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
1.163 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
1.163 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.163 * [taylor]: Taking taylor expansion of z in z
1.166 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [taylor]: Taking taylor expansion of 0 in z
1.167 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in y
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.170 * [taylor]: Taking taylor expansion of 0 in z
1.171 * [taylor]: Taking taylor expansion of 0 in z
1.172 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.172 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
1.172 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
1.172 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
1.172 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
1.172 * [taylor]: Taking taylor expansion of (sqrt t) in t
1.172 * [taylor]: Taking taylor expansion of t in t
1.173 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
1.174 * [taylor]: Taking taylor expansion of x in t
1.174 * [taylor]: Taking taylor expansion of (* z y) in t
1.174 * [taylor]: Taking taylor expansion of z in t
1.174 * [taylor]: Taking taylor expansion of y in t
1.174 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
1.174 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.174 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
1.174 * [taylor]: Taking taylor expansion of (sqrt t) in z
1.174 * [taylor]: Taking taylor expansion of t in z
1.174 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
1.174 * [taylor]: Taking taylor expansion of x in z
1.174 * [taylor]: Taking taylor expansion of (* z y) in z
1.174 * [taylor]: Taking taylor expansion of z in z
1.174 * [taylor]: Taking taylor expansion of y in z
1.174 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
1.174 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.174 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
1.174 * [taylor]: Taking taylor expansion of (sqrt t) in y
1.174 * [taylor]: Taking taylor expansion of t in y
1.175 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
1.175 * [taylor]: Taking taylor expansion of x in y
1.175 * [taylor]: Taking taylor expansion of (* z y) in y
1.175 * [taylor]: Taking taylor expansion of z in y
1.175 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
1.175 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.175 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
1.175 * [taylor]: Taking taylor expansion of (sqrt t) in x
1.175 * [taylor]: Taking taylor expansion of t in x
1.175 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (* z y) in x
1.175 * [taylor]: Taking taylor expansion of z in x
1.175 * [taylor]: Taking taylor expansion of y in x
1.175 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
1.175 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.175 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
1.175 * [taylor]: Taking taylor expansion of (sqrt t) in x
1.175 * [taylor]: Taking taylor expansion of t in x
1.175 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (* z y) in x
1.176 * [taylor]: Taking taylor expansion of z in x
1.176 * [taylor]: Taking taylor expansion of y in x
1.176 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
1.176 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.176 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
1.176 * [taylor]: Taking taylor expansion of (sqrt t) in y
1.176 * [taylor]: Taking taylor expansion of t in y
1.176 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.176 * [taylor]: Taking taylor expansion of (* z y) in y
1.176 * [taylor]: Taking taylor expansion of z in y
1.176 * [taylor]: Taking taylor expansion of y in y
1.177 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
1.177 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.177 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
1.177 * [taylor]: Taking taylor expansion of (sqrt t) in z
1.177 * [taylor]: Taking taylor expansion of t in z
1.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.177 * [taylor]: Taking taylor expansion of z in z
1.177 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
1.177 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
1.177 * [taylor]: Taking taylor expansion of (sqrt t) in t
1.177 * [taylor]: Taking taylor expansion of t in t
1.179 * [taylor]: Taking taylor expansion of 0 in y
1.181 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in t
1.185 * [taylor]: Taking taylor expansion of 0 in y
1.185 * [taylor]: Taking taylor expansion of 0 in z
1.187 * [taylor]: Taking taylor expansion of 0 in z
1.187 * [taylor]: Taking taylor expansion of 0 in t
1.189 * [taylor]: Taking taylor expansion of 0 in t
1.196 * [taylor]: Taking taylor expansion of 0 in y
1.196 * [taylor]: Taking taylor expansion of 0 in z
1.196 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.201 * [taylor]: Taking taylor expansion of 0 in t
1.202 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
1.203 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
1.203 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
1.203 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
1.203 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
1.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.203 * [taylor]: Taking taylor expansion of t in t
1.204 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
1.204 * [taylor]: Taking taylor expansion of (* z y) in t
1.204 * [taylor]: Taking taylor expansion of z in t
1.204 * [taylor]: Taking taylor expansion of y in t
1.204 * [taylor]: Taking taylor expansion of x in t
1.204 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
1.204 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.204 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
1.204 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.204 * [taylor]: Taking taylor expansion of t in z
1.205 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
1.205 * [taylor]: Taking taylor expansion of (* z y) in z
1.205 * [taylor]: Taking taylor expansion of z in z
1.205 * [taylor]: Taking taylor expansion of y in z
1.205 * [taylor]: Taking taylor expansion of x in z
1.205 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
1.205 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.205 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
1.205 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
1.205 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.205 * [taylor]: Taking taylor expansion of t in y
1.205 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
1.205 * [taylor]: Taking taylor expansion of (* z y) in y
1.205 * [taylor]: Taking taylor expansion of z in y
1.206 * [taylor]: Taking taylor expansion of y in y
1.206 * [taylor]: Taking taylor expansion of x in y
1.206 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
1.206 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.206 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
1.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.206 * [taylor]: Taking taylor expansion of t in x
1.206 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
1.206 * [taylor]: Taking taylor expansion of (* z y) in x
1.206 * [taylor]: Taking taylor expansion of z in x
1.206 * [taylor]: Taking taylor expansion of y in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
1.206 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
1.206 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
1.206 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.206 * [taylor]: Taking taylor expansion of t in x
1.207 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
1.207 * [taylor]: Taking taylor expansion of (* z y) in x
1.207 * [taylor]: Taking taylor expansion of z in x
1.207 * [taylor]: Taking taylor expansion of y in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
1.207 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
1.207 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
1.207 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
1.207 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.207 * [taylor]: Taking taylor expansion of t in y
1.207 * [taylor]: Taking taylor expansion of (* z y) in y
1.207 * [taylor]: Taking taylor expansion of z in y
1.207 * [taylor]: Taking taylor expansion of y in y
1.208 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
1.209 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.209 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
1.209 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
1.209 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.209 * [taylor]: Taking taylor expansion of t in z
1.209 * [taylor]: Taking taylor expansion of z in z
1.210 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
1.210 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
1.210 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
1.210 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.210 * [taylor]: Taking taylor expansion of t in t
1.213 * [taylor]: Taking taylor expansion of 0 in y
1.213 * [taylor]: Taking taylor expansion of 0 in z
1.213 * [taylor]: Taking taylor expansion of 0 in t
1.220 * [taylor]: Taking taylor expansion of 0 in z
1.220 * [taylor]: Taking taylor expansion of 0 in t
1.222 * [taylor]: Taking taylor expansion of 0 in t
1.226 * [taylor]: Taking taylor expansion of 0 in y
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.226 * [taylor]: Taking taylor expansion of 0 in t
1.226 * [taylor]: Taking taylor expansion of 0 in z
1.226 * [taylor]: Taking taylor expansion of 0 in t
1.228 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [taylor]: Taking taylor expansion of 0 in t
1.228 * [taylor]: Taking taylor expansion of 0 in t
1.229 * [taylor]: Taking taylor expansion of 0 in t
1.231 * [taylor]: Taking taylor expansion of 0 in t
1.238 * [taylor]: Taking taylor expansion of 0 in y
1.239 * [taylor]: Taking taylor expansion of 0 in z
1.239 * [taylor]: Taking taylor expansion of 0 in t
1.239 * [taylor]: Taking taylor expansion of 0 in z
1.239 * [taylor]: Taking taylor expansion of 0 in t
1.239 * [taylor]: Taking taylor expansion of 0 in z
1.239 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.242 * [taylor]: Taking taylor expansion of 0 in t
1.245 * [taylor]: Taking taylor expansion of 0 in t
1.246 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
1.246 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
1.246 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
1.246 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
1.246 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
1.246 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
1.246 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.246 * [taylor]: Taking taylor expansion of -1 in t
1.246 * [taylor]: Taking taylor expansion of t in t
1.248 * [taylor]: Taking taylor expansion of (* z y) in t
1.248 * [taylor]: Taking taylor expansion of z in t
1.248 * [taylor]: Taking taylor expansion of y in t
1.248 * [taylor]: Taking taylor expansion of x in t
1.248 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
1.249 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
1.249 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
1.249 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
1.249 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
1.249 * [taylor]: Taking taylor expansion of (/ -1 t) in z
1.249 * [taylor]: Taking taylor expansion of -1 in z
1.249 * [taylor]: Taking taylor expansion of t in z
1.249 * [taylor]: Taking taylor expansion of (* z y) in z
1.249 * [taylor]: Taking taylor expansion of z in z
1.249 * [taylor]: Taking taylor expansion of y in z
1.249 * [taylor]: Taking taylor expansion of x in z
1.250 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
1.250 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
1.250 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
1.250 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
1.250 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
1.250 * [taylor]: Taking taylor expansion of (/ -1 t) in y
1.250 * [taylor]: Taking taylor expansion of -1 in y
1.250 * [taylor]: Taking taylor expansion of t in y
1.250 * [taylor]: Taking taylor expansion of (* z y) in y
1.250 * [taylor]: Taking taylor expansion of z in y
1.250 * [taylor]: Taking taylor expansion of y in y
1.250 * [taylor]: Taking taylor expansion of x in y
1.251 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
1.251 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
1.251 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
1.251 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
1.251 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
1.251 * [taylor]: Taking taylor expansion of (/ -1 t) in x
1.251 * [taylor]: Taking taylor expansion of -1 in x
1.251 * [taylor]: Taking taylor expansion of t in x
1.251 * [taylor]: Taking taylor expansion of (* z y) in x
1.251 * [taylor]: Taking taylor expansion of z in x
1.251 * [taylor]: Taking taylor expansion of y in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
1.251 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
1.251 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
1.252 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
1.252 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
1.252 * [taylor]: Taking taylor expansion of (/ -1 t) in x
1.252 * [taylor]: Taking taylor expansion of -1 in x
1.252 * [taylor]: Taking taylor expansion of t in x
1.252 * [taylor]: Taking taylor expansion of (* z y) in x
1.252 * [taylor]: Taking taylor expansion of z in x
1.252 * [taylor]: Taking taylor expansion of y in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
1.252 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
1.252 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
1.252 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
1.252 * [taylor]: Taking taylor expansion of (/ -1 t) in y
1.252 * [taylor]: Taking taylor expansion of -1 in y
1.252 * [taylor]: Taking taylor expansion of t in y
1.252 * [taylor]: Taking taylor expansion of (* z y) in y
1.252 * [taylor]: Taking taylor expansion of z in y
1.252 * [taylor]: Taking taylor expansion of y in y
1.254 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
1.254 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
1.254 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
1.254 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
1.254 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
1.254 * [taylor]: Taking taylor expansion of (/ -1 t) in z
1.254 * [taylor]: Taking taylor expansion of -1 in z
1.254 * [taylor]: Taking taylor expansion of t in z
1.254 * [taylor]: Taking taylor expansion of z in z
1.255 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
1.255 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
1.255 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
1.255 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
1.255 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.255 * [taylor]: Taking taylor expansion of -1 in t
1.255 * [taylor]: Taking taylor expansion of t in t
1.259 * [taylor]: Taking taylor expansion of 0 in y
1.259 * [taylor]: Taking taylor expansion of 0 in z
1.259 * [taylor]: Taking taylor expansion of 0 in t
1.262 * [taylor]: Taking taylor expansion of 0 in z
1.262 * [taylor]: Taking taylor expansion of 0 in t
1.264 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [taylor]: Taking taylor expansion of 0 in y
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in t
1.271 * [taylor]: Taking taylor expansion of 0 in z
1.271 * [taylor]: Taking taylor expansion of 0 in t
1.274 * [taylor]: Taking taylor expansion of 0 in z
1.274 * [taylor]: Taking taylor expansion of 0 in t
1.274 * [taylor]: Taking taylor expansion of 0 in t
1.274 * [taylor]: Taking taylor expansion of 0 in t
1.276 * [taylor]: Taking taylor expansion of 0 in t
1.277 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
1.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.279 * [approximate]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in (x y z t) around 0
1.279 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in t
1.279 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in t
1.279 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
1.279 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
1.279 * [taylor]: Taking taylor expansion of 1.0 in t
1.280 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
1.280 * [taylor]: Taking taylor expansion of 3.0 in t
1.282 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in z
1.282 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in z
1.282 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
1.282 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
1.282 * [taylor]: Taking taylor expansion of 1.0 in z
1.283 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
1.283 * [taylor]: Taking taylor expansion of 3.0 in z
1.285 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in y
1.285 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in y
1.285 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
1.285 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
1.285 * [taylor]: Taking taylor expansion of 1.0 in y
1.286 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
1.286 * [taylor]: Taking taylor expansion of 3.0 in y
1.288 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in x
1.288 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in x
1.288 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
1.288 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
1.288 * [taylor]: Taking taylor expansion of 1.0 in x
1.289 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
1.289 * [taylor]: Taking taylor expansion of 3.0 in x
1.291 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in x
1.291 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in x
1.291 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
1.291 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
1.291 * [taylor]: Taking taylor expansion of 1.0 in x
1.292 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
1.292 * [taylor]: Taking taylor expansion of 3.0 in x
1.294 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in y
1.294 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in y
1.294 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
1.294 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
1.294 * [taylor]: Taking taylor expansion of 1.0 in y
1.295 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
1.295 * [taylor]: Taking taylor expansion of 3.0 in y
1.297 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in z
1.297 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in z
1.297 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
1.297 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
1.297 * [taylor]: Taking taylor expansion of 1.0 in z
1.298 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
1.298 * [taylor]: Taking taylor expansion of 3.0 in z
1.300 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in t
1.300 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in t
1.300 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
1.300 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
1.301 * [taylor]: Taking taylor expansion of 1.0 in t
1.301 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
1.301 * [taylor]: Taking taylor expansion of 3.0 in t
1.306 * [taylor]: Taking taylor expansion of 0 in y
1.306 * [taylor]: Taking taylor expansion of 0 in z
1.306 * [taylor]: Taking taylor expansion of 0 in t
1.308 * [taylor]: Taking taylor expansion of 0 in z
1.308 * [taylor]: Taking taylor expansion of 0 in t
1.310 * [taylor]: Taking taylor expansion of 0 in t
1.320 * [taylor]: Taking taylor expansion of 0 in y
1.321 * [taylor]: Taking taylor expansion of 0 in z
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.321 * [taylor]: Taking taylor expansion of 0 in z
1.321 * [taylor]: Taking taylor expansion of 0 in t
1.323 * [approximate]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in (x y z t) around 0
1.323 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t
1.323 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
1.323 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
1.323 * [taylor]: Taking taylor expansion of 1.0 in t
1.324 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
1.324 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
1.324 * [taylor]: Taking taylor expansion of 3.0 in t
1.326 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z
1.326 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
1.326 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
1.326 * [taylor]: Taking taylor expansion of 1.0 in z
1.327 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
1.327 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
1.327 * [taylor]: Taking taylor expansion of 3.0 in z
1.329 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y
1.329 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
1.329 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
1.329 * [taylor]: Taking taylor expansion of 1.0 in y
1.330 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
1.330 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
1.330 * [taylor]: Taking taylor expansion of 3.0 in y
1.332 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x
1.332 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
1.332 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
1.332 * [taylor]: Taking taylor expansion of 1.0 in x
1.333 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
1.333 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
1.333 * [taylor]: Taking taylor expansion of 3.0 in x
1.335 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x
1.335 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
1.335 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
1.335 * [taylor]: Taking taylor expansion of 1.0 in x
1.336 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
1.336 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
1.336 * [taylor]: Taking taylor expansion of 3.0 in x
1.338 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y
1.339 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
1.339 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
1.339 * [taylor]: Taking taylor expansion of 1.0 in y
1.339 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
1.340 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
1.340 * [taylor]: Taking taylor expansion of 3.0 in y
1.342 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z
1.342 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
1.342 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
1.342 * [taylor]: Taking taylor expansion of 1.0 in z
1.343 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
1.343 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
1.343 * [taylor]: Taking taylor expansion of 3.0 in z
1.345 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t
1.345 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
1.345 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
1.345 * [taylor]: Taking taylor expansion of 1.0 in t
1.346 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
1.346 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
1.346 * [taylor]: Taking taylor expansion of 3.0 in t
1.351 * [taylor]: Taking taylor expansion of 0 in y
1.351 * [taylor]: Taking taylor expansion of 0 in z
1.351 * [taylor]: Taking taylor expansion of 0 in t
1.353 * [taylor]: Taking taylor expansion of 0 in z
1.353 * [taylor]: Taking taylor expansion of 0 in t
1.355 * [taylor]: Taking taylor expansion of 0 in t
1.362 * [taylor]: Taking taylor expansion of 0 in y
1.362 * [taylor]: Taking taylor expansion of 0 in z
1.362 * [taylor]: Taking taylor expansion of 0 in t
1.363 * [taylor]: Taking taylor expansion of 0 in z
1.363 * [taylor]: Taking taylor expansion of 0 in t
1.365 * [approximate]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in (x y z t) around 0
1.365 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in t
1.365 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in t
1.365 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
1.365 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
1.365 * [taylor]: Taking taylor expansion of 1.0 in t
1.366 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
1.366 * [taylor]: Taking taylor expansion of 3.0 in t
1.368 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in z
1.368 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in z
1.368 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
1.368 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
1.368 * [taylor]: Taking taylor expansion of 1.0 in z
1.369 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
1.369 * [taylor]: Taking taylor expansion of 3.0 in z
1.371 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in y
1.371 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in y
1.371 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
1.371 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
1.371 * [taylor]: Taking taylor expansion of 1.0 in y
1.372 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
1.372 * [taylor]: Taking taylor expansion of 3.0 in y
1.374 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in x
1.374 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in x
1.374 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
1.374 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
1.374 * [taylor]: Taking taylor expansion of 1.0 in x
1.375 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
1.375 * [taylor]: Taking taylor expansion of 3.0 in x
1.377 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in x
1.377 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in x
1.377 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
1.377 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
1.377 * [taylor]: Taking taylor expansion of 1.0 in x
1.378 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
1.378 * [taylor]: Taking taylor expansion of 3.0 in x
1.380 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in y
1.380 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in y
1.380 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
1.381 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
1.381 * [taylor]: Taking taylor expansion of 1.0 in y
1.381 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
1.382 * [taylor]: Taking taylor expansion of 3.0 in y
1.383 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in z
1.384 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in z
1.384 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
1.384 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
1.384 * [taylor]: Taking taylor expansion of 1.0 in z
1.385 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
1.385 * [taylor]: Taking taylor expansion of 3.0 in z
1.386 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in t
1.387 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in t
1.387 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
1.387 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
1.387 * [taylor]: Taking taylor expansion of 1.0 in t
1.388 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
1.388 * [taylor]: Taking taylor expansion of 3.0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in y
1.392 * [taylor]: Taking taylor expansion of 0 in z
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.394 * [taylor]: Taking taylor expansion of 0 in z
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.397 * [taylor]: Taking taylor expansion of 0 in t
1.403 * [taylor]: Taking taylor expansion of 0 in y
1.403 * [taylor]: Taking taylor expansion of 0 in z
1.403 * [taylor]: Taking taylor expansion of 0 in t
1.403 * [taylor]: Taking taylor expansion of 0 in z
1.403 * [taylor]: Taking taylor expansion of 0 in t
1.404 * * * [progress]: simplifying candidates
1.408 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0)))
  (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0)))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t)))
  (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t)))
  (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t))))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (* (/ 1 (* z 2.0)) (sqrt t))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (expm1 (/ (cbrt 1.0) (cbrt 3.0)))
  (log1p (/ (cbrt 1.0) (cbrt 3.0)))
  (- (log (cbrt 1.0)) (log (cbrt 3.0)))
  (log (/ (cbrt 1.0) (cbrt 3.0)))
  (exp (/ (cbrt 1.0) (cbrt 3.0)))
  (/ 1.0 3.0)
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (cbrt (/ (cbrt 1.0) (cbrt 3.0))))
  (cbrt (/ (cbrt 1.0) (cbrt 3.0)))
  (* (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (cbrt 1.0) (cbrt 3.0))) (/ (cbrt 1.0) (cbrt 3.0)))
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (- (cbrt 1.0))
  (- (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) 1)
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt 1))
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) 1)
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt 1) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ (cbrt 1) (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ (cbrt 1) (cbrt 1))
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (cbrt 1) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ (cbrt 1) (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (/ (cbrt 1) 1)
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt 1))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) 1)
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt 1))
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) 1)
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ 1 (cbrt 1))
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (/ 1 1)
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (cbrt 3.0))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 1.0) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt 1))
  (/ (cbrt 1.0) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) 1)
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt (sqrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (sqrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (expm1 (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log1p (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (+ (- (log (cbrt 1.0)) (log (cbrt 3.0))) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (+ (log (/ (cbrt 1.0) (cbrt 3.0))) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ 1.0 3.0) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ (cbrt 1.0) (cbrt 3.0)) (/ (cbrt 1.0) (cbrt 3.0))) (/ (cbrt 1.0) (cbrt 3.0))) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (* (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) 1)
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (cbrt 1.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
1.424 * * [simplify]: iteration  0 :  810  enodes  (cost  2285 )
1.444 * * [simplify]: iteration  1 :  4252  enodes  (cost  1988 )
1.519 * * [simplify]: iteration  2 :  5002  enodes  (cost  1983 )
1.528 * [simplify]: Simplified to:
   (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))))
  (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3)
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))
  (- (* 3.0 (/ x (* y 27.0))))
  (- (* z 2.0))
  (/ 3.0 z)
  (/ (/ x (* y 27.0)) 2.0)
  (/ 1 (* z 2.0))
  (/ (* z 2.0) (* 3.0 (/ x (* y 27.0))))
  (/ (* 3.0 (/ x (* y 27.0))) z)
  (/ (* z 2.0) (/ x (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3)
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (/ (* (* 3.0 (/ x (* y 27.0))) (fabs (cbrt t))) (* z 2.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t)))
  (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
  (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t))
  (* (/ (/ x (* y 27.0)) 2.0) (sqrt t))
  (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
  (/ (sqrt t) (* z 2.0))
  (* (* 3.0 (/ x (* y 27.0))) (sqrt t))
  (expm1 (/ (cbrt 1.0) (cbrt 3.0)))
  (log1p (/ (cbrt 1.0) (cbrt 3.0)))
  (log (/ (cbrt 1.0) (cbrt 3.0)))
  (log (/ (cbrt 1.0) (cbrt 3.0)))
  (exp (/ (cbrt 1.0) (cbrt 3.0)))
  (/ 1.0 3.0)
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (cbrt (/ (cbrt 1.0) (cbrt 3.0))))
  (cbrt (/ (cbrt 1.0) (cbrt 3.0)))
  (pow (/ (cbrt 1.0) (cbrt 3.0)) 3)
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (sqrt (/ (cbrt 1.0) (cbrt 3.0)))
  (- (cbrt 1.0))
  (- (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (cbrt (* (cbrt 1.0) (cbrt 1.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (cbrt 1))
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0)))
  (cbrt (sqrt 1.0))
  (/ (cbrt (sqrt 1.0)) (cbrt 3.0))
  (/ (cbrt 1) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ (cbrt 1) (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  1
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (cbrt 1) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ (cbrt 1) (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (cbrt 1)
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt 1))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt 3.0)))
  (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0)))
  (/ (cbrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (cbrt 1))
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0)))
  (sqrt (cbrt 1.0))
  (/ (sqrt (cbrt 1.0)) (cbrt 3.0))
  (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ 1 (cbrt 1))
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (cbrt 3.0)))
  (/ 1 (sqrt (cbrt 3.0)))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  1
  (/ (cbrt 1.0) (cbrt 3.0))
  (/ 1 (cbrt 3.0))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 1.0) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt 1.0) (cbrt (sqrt 3.0)))
  (/ (cbrt 1.0) (cbrt 1))
  (/ (cbrt 1.0) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (/ (cbrt 1.0) (sqrt (cbrt 3.0)))
  (cbrt 1.0)
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt (sqrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (/ (cbrt 3.0) (cbrt (cbrt 1.0)))
  (/ (cbrt 3.0) (sqrt (cbrt 1.0)))
  (/ (cbrt 3.0) (cbrt 1.0))
  (expm1 (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log1p (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (log (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (exp (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ (* (pow (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3) 1.0) 3.0)
  (pow (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (* (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (cbrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (pow (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3)
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (sqrt (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ (cbrt 1.0) (cbrt 3.0))
  (* (cbrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (sqrt (/ (cbrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (/ 1 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* (cbrt 1.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (fma (- +nan.0) (/ (* t x) (* z y)) (* +nan.0 (/ (* (pow t 2) x) (* z y))))
  (fma (- +nan.0) (/ x (* z y)) (* +nan.0 (/ x (* t (* z y)))))
  (fma (- +nan.0) (/ x (* z y)) (* +nan.0 (/ x (* t (* z y)))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
  (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0))
1.530 * * * [progress]: adding candidates to table
2.388 * * [progress]: iteration 3 / 4
2.388 * * * [progress]: picking best candidate
2.391 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>
2.391 * * * [progress]: localizing error
2.406 * * * [progress]: generating rewritten candidates
2.406 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
2.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.430 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.437 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2)
2.454 * * * [progress]: generating series expansions
2.454 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
2.454 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x z y) around 0
2.454 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
2.454 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.454 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
2.454 * [taylor]: Taking taylor expansion of x in y
2.454 * [taylor]: Taking taylor expansion of (* z y) in y
2.454 * [taylor]: Taking taylor expansion of z in y
2.454 * [taylor]: Taking taylor expansion of y in y
2.455 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
2.455 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.455 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
2.455 * [taylor]: Taking taylor expansion of x in z
2.455 * [taylor]: Taking taylor expansion of (* z y) in z
2.455 * [taylor]: Taking taylor expansion of z in z
2.455 * [taylor]: Taking taylor expansion of y in z
2.456 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
2.456 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.456 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
2.456 * [taylor]: Taking taylor expansion of x in x
2.456 * [taylor]: Taking taylor expansion of (* z y) in x
2.456 * [taylor]: Taking taylor expansion of z in x
2.456 * [taylor]: Taking taylor expansion of y in x
2.456 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
2.456 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.456 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
2.456 * [taylor]: Taking taylor expansion of x in x
2.456 * [taylor]: Taking taylor expansion of (* z y) in x
2.456 * [taylor]: Taking taylor expansion of z in x
2.456 * [taylor]: Taking taylor expansion of y in x
2.456 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in z
2.456 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.456 * [taylor]: Taking taylor expansion of (* z y) in z
2.456 * [taylor]: Taking taylor expansion of z in z
2.456 * [taylor]: Taking taylor expansion of y in z
2.457 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 y) in y
2.457 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.457 * [taylor]: Taking taylor expansion of y in y
2.458 * [taylor]: Taking taylor expansion of 0 in z
2.458 * [taylor]: Taking taylor expansion of 0 in y
2.460 * [taylor]: Taking taylor expansion of 0 in z
2.460 * [taylor]: Taking taylor expansion of 0 in y
2.461 * [taylor]: Taking taylor expansion of 0 in y
2.463 * [taylor]: Taking taylor expansion of 0 in z
2.463 * [taylor]: Taking taylor expansion of 0 in y
2.463 * [taylor]: Taking taylor expansion of 0 in y
2.464 * [taylor]: Taking taylor expansion of 0 in y
2.465 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x z y) around 0
2.465 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
2.465 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.465 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
2.465 * [taylor]: Taking taylor expansion of (* z y) in y
2.465 * [taylor]: Taking taylor expansion of z in y
2.465 * [taylor]: Taking taylor expansion of y in y
2.465 * [taylor]: Taking taylor expansion of x in y
2.465 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
2.465 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.465 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
2.465 * [taylor]: Taking taylor expansion of (* z y) in z
2.465 * [taylor]: Taking taylor expansion of z in z
2.465 * [taylor]: Taking taylor expansion of y in z
2.465 * [taylor]: Taking taylor expansion of x in z
2.466 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
2.466 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.466 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
2.466 * [taylor]: Taking taylor expansion of (* z y) in x
2.466 * [taylor]: Taking taylor expansion of z in x
2.466 * [taylor]: Taking taylor expansion of y in x
2.466 * [taylor]: Taking taylor expansion of x in x
2.466 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
2.466 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.466 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
2.466 * [taylor]: Taking taylor expansion of (* z y) in x
2.466 * [taylor]: Taking taylor expansion of z in x
2.466 * [taylor]: Taking taylor expansion of y in x
2.466 * [taylor]: Taking taylor expansion of x in x
2.466 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in z
2.466 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.466 * [taylor]: Taking taylor expansion of (* z y) in z
2.466 * [taylor]: Taking taylor expansion of z in z
2.466 * [taylor]: Taking taylor expansion of y in z
2.467 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 y) in y
2.467 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.467 * [taylor]: Taking taylor expansion of y in y
2.469 * [taylor]: Taking taylor expansion of 0 in z
2.469 * [taylor]: Taking taylor expansion of 0 in y
2.470 * [taylor]: Taking taylor expansion of 0 in y
2.472 * [taylor]: Taking taylor expansion of 0 in z
2.472 * [taylor]: Taking taylor expansion of 0 in y
2.473 * [taylor]: Taking taylor expansion of 0 in y
2.474 * [taylor]: Taking taylor expansion of 0 in y
2.474 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x z y) around 0
2.474 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
2.474 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
2.474 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
2.474 * [taylor]: Taking taylor expansion of (* z y) in y
2.474 * [taylor]: Taking taylor expansion of z in y
2.475 * [taylor]: Taking taylor expansion of y in y
2.475 * [taylor]: Taking taylor expansion of x in y
2.475 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
2.475 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
2.475 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
2.475 * [taylor]: Taking taylor expansion of (* z y) in z
2.475 * [taylor]: Taking taylor expansion of z in z
2.475 * [taylor]: Taking taylor expansion of y in z
2.475 * [taylor]: Taking taylor expansion of x in z
2.475 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
2.475 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
2.475 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
2.475 * [taylor]: Taking taylor expansion of (* z y) in x
2.476 * [taylor]: Taking taylor expansion of z in x
2.476 * [taylor]: Taking taylor expansion of y in x
2.476 * [taylor]: Taking taylor expansion of x in x
2.476 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
2.476 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
2.476 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
2.476 * [taylor]: Taking taylor expansion of (* z y) in x
2.476 * [taylor]: Taking taylor expansion of z in x
2.476 * [taylor]: Taking taylor expansion of y in x
2.476 * [taylor]: Taking taylor expansion of x in x
2.476 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in z
2.476 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
2.476 * [taylor]: Taking taylor expansion of (* z y) in z
2.476 * [taylor]: Taking taylor expansion of z in z
2.476 * [taylor]: Taking taylor expansion of y in z
2.477 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 y)) in y
2.477 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 y) in y
2.477 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.477 * [taylor]: Taking taylor expansion of y in y
2.479 * [taylor]: Taking taylor expansion of 0 in z
2.479 * [taylor]: Taking taylor expansion of 0 in y
2.480 * [taylor]: Taking taylor expansion of 0 in y
2.483 * [taylor]: Taking taylor expansion of 0 in z
2.483 * [taylor]: Taking taylor expansion of 0 in y
2.483 * [taylor]: Taking taylor expansion of 0 in y
2.484 * [taylor]: Taking taylor expansion of 0 in y
2.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.485 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x z y t) around 0
2.485 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
2.485 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
2.485 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
2.485 * [taylor]: Taking taylor expansion of (sqrt t) in t
2.485 * [taylor]: Taking taylor expansion of t in t
2.487 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
2.487 * [taylor]: Taking taylor expansion of x in t
2.487 * [taylor]: Taking taylor expansion of (* z y) in t
2.487 * [taylor]: Taking taylor expansion of z in t
2.487 * [taylor]: Taking taylor expansion of y in t
2.487 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
2.487 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.487 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
2.487 * [taylor]: Taking taylor expansion of (sqrt t) in y
2.487 * [taylor]: Taking taylor expansion of t in y
2.487 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
2.487 * [taylor]: Taking taylor expansion of x in y
2.487 * [taylor]: Taking taylor expansion of (* z y) in y
2.487 * [taylor]: Taking taylor expansion of z in y
2.487 * [taylor]: Taking taylor expansion of y in y
2.487 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
2.487 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.487 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
2.487 * [taylor]: Taking taylor expansion of (sqrt t) in z
2.487 * [taylor]: Taking taylor expansion of t in z
2.488 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
2.488 * [taylor]: Taking taylor expansion of x in z
2.488 * [taylor]: Taking taylor expansion of (* z y) in z
2.488 * [taylor]: Taking taylor expansion of z in z
2.488 * [taylor]: Taking taylor expansion of y in z
2.488 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
2.488 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.488 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
2.488 * [taylor]: Taking taylor expansion of (sqrt t) in x
2.488 * [taylor]: Taking taylor expansion of t in x
2.488 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
2.488 * [taylor]: Taking taylor expansion of x in x
2.488 * [taylor]: Taking taylor expansion of (* z y) in x
2.488 * [taylor]: Taking taylor expansion of z in x
2.488 * [taylor]: Taking taylor expansion of y in x
2.488 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
2.488 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.488 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
2.488 * [taylor]: Taking taylor expansion of (sqrt t) in x
2.488 * [taylor]: Taking taylor expansion of t in x
2.488 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
2.488 * [taylor]: Taking taylor expansion of x in x
2.488 * [taylor]: Taking taylor expansion of (* z y) in x
2.488 * [taylor]: Taking taylor expansion of z in x
2.488 * [taylor]: Taking taylor expansion of y in x
2.489 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in z
2.489 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.489 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in z
2.489 * [taylor]: Taking taylor expansion of (sqrt t) in z
2.489 * [taylor]: Taking taylor expansion of t in z
2.489 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.489 * [taylor]: Taking taylor expansion of (* z y) in z
2.489 * [taylor]: Taking taylor expansion of z in z
2.489 * [taylor]: Taking taylor expansion of y in z
2.489 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 y))) in y
2.490 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.490 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 y)) in y
2.490 * [taylor]: Taking taylor expansion of (sqrt t) in y
2.490 * [taylor]: Taking taylor expansion of t in y
2.490 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.490 * [taylor]: Taking taylor expansion of y in y
2.490 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
2.490 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
2.490 * [taylor]: Taking taylor expansion of (sqrt t) in t
2.490 * [taylor]: Taking taylor expansion of t in t
2.492 * [taylor]: Taking taylor expansion of 0 in z
2.493 * [taylor]: Taking taylor expansion of 0 in y
2.494 * [taylor]: Taking taylor expansion of 0 in t
2.498 * [taylor]: Taking taylor expansion of 0 in z
2.498 * [taylor]: Taking taylor expansion of 0 in y
2.500 * [taylor]: Taking taylor expansion of 0 in y
2.500 * [taylor]: Taking taylor expansion of 0 in t
2.502 * [taylor]: Taking taylor expansion of 0 in t
2.509 * [taylor]: Taking taylor expansion of 0 in z
2.509 * [taylor]: Taking taylor expansion of 0 in y
2.509 * [taylor]: Taking taylor expansion of 0 in y
2.512 * [taylor]: Taking taylor expansion of 0 in y
2.512 * [taylor]: Taking taylor expansion of 0 in t
2.512 * [taylor]: Taking taylor expansion of 0 in t
2.512 * [taylor]: Taking taylor expansion of 0 in t
2.514 * [taylor]: Taking taylor expansion of 0 in t
2.516 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x z y t) around 0
2.516 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
2.516 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
2.516 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
2.516 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
2.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.516 * [taylor]: Taking taylor expansion of t in t
2.517 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
2.517 * [taylor]: Taking taylor expansion of (* z y) in t
2.518 * [taylor]: Taking taylor expansion of z in t
2.518 * [taylor]: Taking taylor expansion of y in t
2.518 * [taylor]: Taking taylor expansion of x in t
2.518 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
2.518 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.518 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
2.518 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
2.518 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.518 * [taylor]: Taking taylor expansion of t in y
2.518 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
2.518 * [taylor]: Taking taylor expansion of (* z y) in y
2.518 * [taylor]: Taking taylor expansion of z in y
2.518 * [taylor]: Taking taylor expansion of y in y
2.518 * [taylor]: Taking taylor expansion of x in y
2.518 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
2.519 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.519 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
2.519 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
2.519 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.519 * [taylor]: Taking taylor expansion of t in z
2.519 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
2.519 * [taylor]: Taking taylor expansion of (* z y) in z
2.519 * [taylor]: Taking taylor expansion of z in z
2.519 * [taylor]: Taking taylor expansion of y in z
2.519 * [taylor]: Taking taylor expansion of x in z
2.519 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
2.519 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.519 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
2.519 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
2.519 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.519 * [taylor]: Taking taylor expansion of t in x
2.519 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
2.519 * [taylor]: Taking taylor expansion of (* z y) in x
2.519 * [taylor]: Taking taylor expansion of z in x
2.519 * [taylor]: Taking taylor expansion of y in x
2.520 * [taylor]: Taking taylor expansion of x in x
2.520 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
2.520 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
2.520 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
2.520 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
2.520 * [taylor]: Taking taylor expansion of (/ 1 t) in x
2.520 * [taylor]: Taking taylor expansion of t in x
2.520 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
2.520 * [taylor]: Taking taylor expansion of (* z y) in x
2.520 * [taylor]: Taking taylor expansion of z in x
2.520 * [taylor]: Taking taylor expansion of y in x
2.520 * [taylor]: Taking taylor expansion of x in x
2.520 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in z
2.520 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
2.520 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in z
2.520 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
2.520 * [taylor]: Taking taylor expansion of (/ 1 t) in z
2.520 * [taylor]: Taking taylor expansion of t in z
2.520 * [taylor]: Taking taylor expansion of (* z y) in z
2.520 * [taylor]: Taking taylor expansion of z in z
2.520 * [taylor]: Taking taylor expansion of y in z
2.522 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) y)) in y
2.522 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.522 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) y) in y
2.522 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
2.522 * [taylor]: Taking taylor expansion of (/ 1 t) in y
2.522 * [taylor]: Taking taylor expansion of t in y
2.522 * [taylor]: Taking taylor expansion of y in y
2.523 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
2.523 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
2.523 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
2.523 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.523 * [taylor]: Taking taylor expansion of t in t
2.525 * [taylor]: Taking taylor expansion of 0 in z
2.525 * [taylor]: Taking taylor expansion of 0 in y
2.525 * [taylor]: Taking taylor expansion of 0 in t
2.527 * [taylor]: Taking taylor expansion of 0 in y
2.527 * [taylor]: Taking taylor expansion of 0 in t
2.529 * [taylor]: Taking taylor expansion of 0 in t
2.533 * [taylor]: Taking taylor expansion of 0 in z
2.533 * [taylor]: Taking taylor expansion of 0 in y
2.533 * [taylor]: Taking taylor expansion of 0 in t
2.533 * [taylor]: Taking taylor expansion of 0 in y
2.533 * [taylor]: Taking taylor expansion of 0 in t
2.536 * [taylor]: Taking taylor expansion of 0 in y
2.536 * [taylor]: Taking taylor expansion of 0 in t
2.536 * [taylor]: Taking taylor expansion of 0 in t
2.536 * [taylor]: Taking taylor expansion of 0 in t
2.538 * [taylor]: Taking taylor expansion of 0 in t
2.549 * [taylor]: Taking taylor expansion of 0 in z
2.549 * [taylor]: Taking taylor expansion of 0 in y
2.549 * [taylor]: Taking taylor expansion of 0 in t
2.549 * [taylor]: Taking taylor expansion of 0 in y
2.549 * [taylor]: Taking taylor expansion of 0 in t
2.549 * [taylor]: Taking taylor expansion of 0 in y
2.549 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in y
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.553 * [taylor]: Taking taylor expansion of 0 in t
2.555 * [taylor]: Taking taylor expansion of 0 in t
2.557 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x z y t) around 0
2.557 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
2.557 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
2.557 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
2.557 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
2.557 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
2.557 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.557 * [taylor]: Taking taylor expansion of -1 in t
2.557 * [taylor]: Taking taylor expansion of t in t
2.558 * [taylor]: Taking taylor expansion of (* z y) in t
2.559 * [taylor]: Taking taylor expansion of z in t
2.559 * [taylor]: Taking taylor expansion of y in t
2.559 * [taylor]: Taking taylor expansion of x in t
2.559 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
2.559 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
2.559 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
2.559 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
2.559 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
2.559 * [taylor]: Taking taylor expansion of (/ -1 t) in y
2.559 * [taylor]: Taking taylor expansion of -1 in y
2.559 * [taylor]: Taking taylor expansion of t in y
2.559 * [taylor]: Taking taylor expansion of (* z y) in y
2.559 * [taylor]: Taking taylor expansion of z in y
2.559 * [taylor]: Taking taylor expansion of y in y
2.559 * [taylor]: Taking taylor expansion of x in y
2.560 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
2.560 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
2.560 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
2.560 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
2.560 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
2.560 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.560 * [taylor]: Taking taylor expansion of -1 in z
2.560 * [taylor]: Taking taylor expansion of t in z
2.561 * [taylor]: Taking taylor expansion of (* z y) in z
2.561 * [taylor]: Taking taylor expansion of z in z
2.561 * [taylor]: Taking taylor expansion of y in z
2.561 * [taylor]: Taking taylor expansion of x in z
2.561 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
2.561 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
2.561 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
2.562 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
2.562 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
2.562 * [taylor]: Taking taylor expansion of (/ -1 t) in x
2.562 * [taylor]: Taking taylor expansion of -1 in x
2.562 * [taylor]: Taking taylor expansion of t in x
2.562 * [taylor]: Taking taylor expansion of (* z y) in x
2.562 * [taylor]: Taking taylor expansion of z in x
2.562 * [taylor]: Taking taylor expansion of y in x
2.562 * [taylor]: Taking taylor expansion of x in x
2.562 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
2.562 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
2.562 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
2.562 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
2.562 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
2.562 * [taylor]: Taking taylor expansion of (/ -1 t) in x
2.562 * [taylor]: Taking taylor expansion of -1 in x
2.562 * [taylor]: Taking taylor expansion of t in x
2.562 * [taylor]: Taking taylor expansion of (* z y) in x
2.562 * [taylor]: Taking taylor expansion of z in x
2.562 * [taylor]: Taking taylor expansion of y in x
2.562 * [taylor]: Taking taylor expansion of x in x
2.563 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in z
2.563 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
2.563 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
2.563 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
2.563 * [taylor]: Taking taylor expansion of (/ -1 t) in z
2.563 * [taylor]: Taking taylor expansion of -1 in z
2.563 * [taylor]: Taking taylor expansion of t in z
2.563 * [taylor]: Taking taylor expansion of (* z y) in z
2.563 * [taylor]: Taking taylor expansion of z in z
2.563 * [taylor]: Taking taylor expansion of y in z
2.564 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) y))) in y
2.564 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) y)) in y
2.564 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
2.564 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) y) in y
2.564 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
2.564 * [taylor]: Taking taylor expansion of (/ -1 t) in y
2.564 * [taylor]: Taking taylor expansion of -1 in y
2.564 * [taylor]: Taking taylor expansion of t in y
2.564 * [taylor]: Taking taylor expansion of y in y
2.565 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
2.565 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
2.565 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
2.565 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
2.565 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.565 * [taylor]: Taking taylor expansion of -1 in t
2.565 * [taylor]: Taking taylor expansion of t in t
2.569 * [taylor]: Taking taylor expansion of 0 in z
2.569 * [taylor]: Taking taylor expansion of 0 in y
2.570 * [taylor]: Taking taylor expansion of 0 in t
2.571 * [taylor]: Taking taylor expansion of 0 in y
2.572 * [taylor]: Taking taylor expansion of 0 in t
2.573 * [taylor]: Taking taylor expansion of 0 in t
2.580 * [taylor]: Taking taylor expansion of 0 in z
2.580 * [taylor]: Taking taylor expansion of 0 in y
2.580 * [taylor]: Taking taylor expansion of 0 in t
2.580 * [taylor]: Taking taylor expansion of 0 in y
2.581 * [taylor]: Taking taylor expansion of 0 in t
2.583 * [taylor]: Taking taylor expansion of 0 in y
2.583 * [taylor]: Taking taylor expansion of 0 in t
2.583 * [taylor]: Taking taylor expansion of 0 in t
2.583 * [taylor]: Taking taylor expansion of 0 in t
2.586 * [taylor]: Taking taylor expansion of 0 in t
2.587 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.587 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x z y t) around 0
2.587 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
2.587 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.587 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
2.587 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
2.587 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.587 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
2.588 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
2.588 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.588 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
2.588 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
2.588 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.588 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
2.588 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
2.588 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.588 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
2.588 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
2.588 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.588 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
2.588 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
2.589 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.589 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
2.589 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
2.589 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.589 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
2.590 * [taylor]: Taking taylor expansion of 0 in z
2.590 * [taylor]: Taking taylor expansion of 0 in y
2.590 * [taylor]: Taking taylor expansion of 0 in t
2.590 * [taylor]: Taking taylor expansion of 0 in y
2.590 * [taylor]: Taking taylor expansion of 0 in t
2.591 * [taylor]: Taking taylor expansion of 0 in t
2.592 * [taylor]: Taking taylor expansion of 0 in z
2.592 * [taylor]: Taking taylor expansion of 0 in y
2.592 * [taylor]: Taking taylor expansion of 0 in t
2.592 * [taylor]: Taking taylor expansion of 0 in y
2.592 * [taylor]: Taking taylor expansion of 0 in t
2.593 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x z y t) around 0
2.593 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
2.593 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.593 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
2.593 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
2.593 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.593 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
2.593 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
2.593 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.593 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
2.593 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
2.593 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.593 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
2.594 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
2.594 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.594 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
2.594 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
2.594 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.594 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
2.594 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
2.594 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.594 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
2.595 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
2.595 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.595 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
2.596 * [taylor]: Taking taylor expansion of 0 in z
2.596 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of 0 in t
2.596 * [taylor]: Taking taylor expansion of 0 in y
2.596 * [taylor]: Taking taylor expansion of 0 in t
2.597 * [taylor]: Taking taylor expansion of 0 in t
2.598 * [taylor]: Taking taylor expansion of 0 in z
2.598 * [taylor]: Taking taylor expansion of 0 in y
2.598 * [taylor]: Taking taylor expansion of 0 in t
2.598 * [taylor]: Taking taylor expansion of 0 in y
2.598 * [taylor]: Taking taylor expansion of 0 in t
2.599 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x z y t) around 0
2.599 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
2.599 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.599 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
2.599 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
2.599 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.599 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
2.599 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
2.599 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.599 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
2.599 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
2.600 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.600 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
2.600 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
2.600 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.600 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
2.600 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
2.600 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.600 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
2.600 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
2.600 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.600 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
2.601 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
2.601 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.601 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
2.602 * [taylor]: Taking taylor expansion of 0 in z
2.602 * [taylor]: Taking taylor expansion of 0 in y
2.602 * [taylor]: Taking taylor expansion of 0 in t
2.602 * [taylor]: Taking taylor expansion of 0 in y
2.602 * [taylor]: Taking taylor expansion of 0 in t
2.603 * [taylor]: Taking taylor expansion of 0 in t
2.604 * [taylor]: Taking taylor expansion of 0 in z
2.604 * [taylor]: Taking taylor expansion of 0 in y
2.604 * [taylor]: Taking taylor expansion of 0 in t
2.604 * [taylor]: Taking taylor expansion of 0 in y
2.604 * [taylor]: Taking taylor expansion of 0 in t
2.604 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2)
2.604 * [approximate]: Taking taylor expansion of (* 54.0 (* z y)) in (z y) around 0
2.605 * [taylor]: Taking taylor expansion of (* 54.0 (* z y)) in y
2.605 * [taylor]: Taking taylor expansion of 54.0 in y
2.605 * [taylor]: Taking taylor expansion of (* z y) in y
2.605 * [taylor]: Taking taylor expansion of z in y
2.605 * [taylor]: Taking taylor expansion of y in y
2.605 * [taylor]: Taking taylor expansion of (* 54.0 (* z y)) in z
2.605 * [taylor]: Taking taylor expansion of 54.0 in z
2.605 * [taylor]: Taking taylor expansion of (* z y) in z
2.605 * [taylor]: Taking taylor expansion of z in z
2.605 * [taylor]: Taking taylor expansion of y in z
2.605 * [taylor]: Taking taylor expansion of (* 54.0 (* z y)) in z
2.605 * [taylor]: Taking taylor expansion of 54.0 in z
2.605 * [taylor]: Taking taylor expansion of (* z y) in z
2.605 * [taylor]: Taking taylor expansion of z in z
2.605 * [taylor]: Taking taylor expansion of y in z
2.605 * [taylor]: Taking taylor expansion of 0 in y
2.606 * [taylor]: Taking taylor expansion of (* 54.0 y) in y
2.606 * [taylor]: Taking taylor expansion of 54.0 in y
2.606 * [taylor]: Taking taylor expansion of y in y
2.608 * [taylor]: Taking taylor expansion of 0 in y
2.610 * [taylor]: Taking taylor expansion of 0 in y
2.613 * [taylor]: Taking taylor expansion of 0 in y
2.613 * [approximate]: Taking taylor expansion of (/ 54.0 (* z y)) in (z y) around 0
2.613 * [taylor]: Taking taylor expansion of (/ 54.0 (* z y)) in y
2.613 * [taylor]: Taking taylor expansion of 54.0 in y
2.613 * [taylor]: Taking taylor expansion of (* z y) in y
2.613 * [taylor]: Taking taylor expansion of z in y
2.613 * [taylor]: Taking taylor expansion of y in y
2.614 * [taylor]: Taking taylor expansion of (/ 54.0 (* z y)) in z
2.614 * [taylor]: Taking taylor expansion of 54.0 in z
2.614 * [taylor]: Taking taylor expansion of (* z y) in z
2.614 * [taylor]: Taking taylor expansion of z in z
2.614 * [taylor]: Taking taylor expansion of y in z
2.614 * [taylor]: Taking taylor expansion of (/ 54.0 (* z y)) in z
2.614 * [taylor]: Taking taylor expansion of 54.0 in z
2.614 * [taylor]: Taking taylor expansion of (* z y) in z
2.614 * [taylor]: Taking taylor expansion of z in z
2.614 * [taylor]: Taking taylor expansion of y in z
2.614 * [taylor]: Taking taylor expansion of (/ 54.0 y) in y
2.614 * [taylor]: Taking taylor expansion of 54.0 in y
2.614 * [taylor]: Taking taylor expansion of y in y
2.615 * [taylor]: Taking taylor expansion of 0 in y
2.617 * [taylor]: Taking taylor expansion of 0 in y
2.619 * [taylor]: Taking taylor expansion of 0 in y
2.619 * [approximate]: Taking taylor expansion of (/ 54.0 (* z y)) in (z y) around 0
2.619 * [taylor]: Taking taylor expansion of (/ 54.0 (* z y)) in y
2.619 * [taylor]: Taking taylor expansion of 54.0 in y
2.620 * [taylor]: Taking taylor expansion of (* z y) in y
2.620 * [taylor]: Taking taylor expansion of z in y
2.620 * [taylor]: Taking taylor expansion of y in y
2.620 * [taylor]: Taking taylor expansion of (/ 54.0 (* z y)) in z
2.620 * [taylor]: Taking taylor expansion of 54.0 in z
2.620 * [taylor]: Taking taylor expansion of (* z y) in z
2.620 * [taylor]: Taking taylor expansion of z in z
2.620 * [taylor]: Taking taylor expansion of y in z
2.620 * [taylor]: Taking taylor expansion of (/ 54.0 (* z y)) in z
2.620 * [taylor]: Taking taylor expansion of 54.0 in z
2.620 * [taylor]: Taking taylor expansion of (* z y) in z
2.620 * [taylor]: Taking taylor expansion of z in z
2.620 * [taylor]: Taking taylor expansion of y in z
2.621 * [taylor]: Taking taylor expansion of (/ 54.0 y) in y
2.621 * [taylor]: Taking taylor expansion of 54.0 in y
2.621 * [taylor]: Taking taylor expansion of y in y
2.622 * [taylor]: Taking taylor expansion of 0 in y
2.623 * [taylor]: Taking taylor expansion of 0 in y
2.625 * [taylor]: Taking taylor expansion of 0 in y
2.626 * * * [progress]: simplifying candidates
2.628 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log1p (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (- (+ (log 3.0) (log x)) (+ (+ (log z) (log 2.0)) (+ (log y) (log 27.0))))
  (- (+ (log 3.0) (log x)) (+ (+ (log z) (log 2.0)) (log (* y 27.0))))
  (- (+ (log 3.0) (log x)) (+ (log (* z 2.0)) (+ (log y) (log 27.0))))
  (- (+ (log 3.0) (log x)) (+ (log (* z 2.0)) (log (* y 27.0))))
  (- (+ (log 3.0) (log x)) (log (* (* z 2.0) (* y 27.0))))
  (- (log (* 3.0 x)) (+ (+ (log z) (log 2.0)) (+ (log y) (log 27.0))))
  (- (log (* 3.0 x)) (+ (+ (log z) (log 2.0)) (log (* y 27.0))))
  (- (log (* 3.0 x)) (+ (log (* z 2.0)) (+ (log y) (log 27.0))))
  (- (log (* 3.0 x)) (+ (log (* z 2.0)) (log (* y 27.0))))
  (- (log (* 3.0 x)) (log (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (exp (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))))
  (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z 2.0) (* y 27.0)) (* (* z 2.0) (* y 27.0))) (* (* z 2.0) (* y 27.0))))
  (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))))
  (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))))
  (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))))
  (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))))
  (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z 2.0) (* y 27.0)) (* (* z 2.0) (* y 27.0))) (* (* z 2.0) (* y 27.0))))
  (* (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))))
  (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (* (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (- (* 3.0 x))
  (- (* (* z 2.0) (* y 27.0)))
  (/ 3.0 (* z 2.0))
  (/ x (* y 27.0))
  (/ 1 (* (* z 2.0) (* y 27.0)))
  (/ (* (* z 2.0) (* y 27.0)) (* 3.0 x))
  (/ (* 3.0 x) (* z 2.0))
  (/ (* (* z 2.0) (* y 27.0)) x)
  (expm1 (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log1p (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))
  (+ (- (+ (log 3.0) (log x)) (+ (+ (log z) (log 2.0)) (+ (log y) (log 27.0)))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log x)) (+ (+ (log z) (log 2.0)) (log (* y 27.0)))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log x)) (+ (log (* z 2.0)) (+ (log y) (log 27.0)))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log x)) (+ (log (* z 2.0)) (log (* y 27.0)))) (log (sqrt t)))
  (+ (- (+ (log 3.0) (log x)) (log (* (* z 2.0) (* y 27.0)))) (log (sqrt t)))
  (+ (- (log (* 3.0 x)) (+ (+ (log z) (log 2.0)) (+ (log y) (log 27.0)))) (log (sqrt t)))
  (+ (- (log (* 3.0 x)) (+ (+ (log z) (log 2.0)) (log (* y 27.0)))) (log (sqrt t)))
  (+ (- (log (* 3.0 x)) (+ (log (* z 2.0)) (+ (log y) (log 27.0)))) (log (sqrt t)))
  (+ (- (log (* 3.0 x)) (+ (log (* z 2.0)) (log (* y 27.0)))) (log (sqrt t)))
  (+ (- (log (* 3.0 x)) (log (* (* z 2.0) (* y 27.0)))) (log (sqrt t)))
  (+ (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (log (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (exp (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 3.0) 3.0) (* (* x x) x)) (* (* (* (* z 2.0) (* y 27.0)) (* (* z 2.0) (* y 27.0))) (* (* z 2.0) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (/ (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x)) (* (* (* (* z 2.0) (* y 27.0)) (* (* z 2.0) (* y 27.0))) (* (* z 2.0) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (* (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (* (* (sqrt t) (sqrt t)) (sqrt t)))
  (* (cbrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))) (cbrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (cbrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (* (* (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))) (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (sqrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (sqrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt (* (cbrt t) (cbrt t))))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt 1))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt (sqrt t)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 1)
  (* (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt t))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt t))
  (* (/ x (* y 27.0)) (sqrt t))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))
  (* (/ 1 (* (* z 2.0) (* y 27.0))) (sqrt t))
  (* (* 3.0 x) (sqrt t))
  (expm1 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (log1p (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (+ (- (log 1.0) (log 3.0)) (log (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (+ (log (/ 1.0 3.0)) (log (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* 3.0 3.0) 3.0)) (* (* (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0)) (* (* (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))))
  (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (* (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))))
  (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ 1.0 3.0) 1)
  (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* 1.0 (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (expm1 (* (* z 2.0) (* y 27.0)))
  (log1p (* (* z 2.0) (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (* (* z 2.0) (* y 27.0))
  (* (* z 2.0) (* y 27.0))
  (* (* z 2.0) (* y 27.0))
  (+ (+ (log z) (log 2.0)) (+ (log y) (log 27.0)))
  (+ (+ (log z) (log 2.0)) (log (* y 27.0)))
  (+ (log (* z 2.0)) (+ (log y) (log 27.0)))
  (+ (log (* z 2.0)) (log (* y 27.0)))
  (log (* (* z 2.0) (* y 27.0)))
  (exp (* (* z 2.0) (* y 27.0)))
  (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))
  (* (* (* (* z z) z) (* (* 2.0 2.0) 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))
  (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))
  (* (* (* (* z 2.0) (* z 2.0)) (* z 2.0)) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))
  (* (cbrt (* (* z 2.0) (* y 27.0))) (cbrt (* (* z 2.0) (* y 27.0))))
  (cbrt (* (* z 2.0) (* y 27.0)))
  (* (* (* (* z 2.0) (* y 27.0)) (* (* z 2.0) (* y 27.0))) (* (* z 2.0) (* y 27.0)))
  (sqrt (* (* z 2.0) (* y 27.0)))
  (sqrt (* (* z 2.0) (* y 27.0)))
  (* (* z 2.0) y)
  (* 2.0 (* y 27.0))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y)))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 54.0 (* z y))
  (* 54.0 (* z y))
  (* 54.0 (* z y))
2.639 * * [simplify]: iteration  0 :  748  enodes  (cost  1511 )
2.658 * * [simplify]: iteration  1 :  4419  enodes  (cost  1144 )
2.744 * * [simplify]: iteration  2 :  5001  enodes  (cost  1139 )
2.753 * [simplify]: Simplified to:
   (expm1 (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log1p (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (log (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (exp (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (* (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))))
  (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (pow (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) 3)
  (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))))
  (- (* 3.0 x))
  (- (* (* z 2.0) (* y 27.0)))
  (/ 3.0 (* z 2.0))
  (/ x (* y 27.0))
  (/ 1 (* (* z 2.0) (* y 27.0)))
  (/ (* (* z 2.0) (* y 27.0)) (* 3.0 x))
  (/ (* 3.0 x) (* z 2.0))
  (/ (* (* z 2.0) (* y 27.0)) x)
  (expm1 (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log1p (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (log (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (exp (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (* (cbrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))) (cbrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (cbrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (pow (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)) 3)
  (sqrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (sqrt (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt (sqrt t)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (* (cbrt (sqrt t)) (cbrt (sqrt t))))
  (/ (* (* 3.0 x) (fabs (cbrt t))) (* (* z 2.0) (* y 27.0)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt (sqrt t)))
  (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt (sqrt t)))
  (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))
  (* (cbrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt t))
  (* (sqrt (/ (* 3.0 x) (* (* z 2.0) (* y 27.0)))) (sqrt t))
  (* (/ x (* y 27.0)) (sqrt t))
  (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))
  (/ (sqrt t) (* (* z 2.0) (* y 27.0)))
  (* (* 3.0 x) (sqrt t))
  (expm1 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (log1p (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) 3)
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) 3)
  (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))))
  (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) 3)
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))))
  (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))
  (/ 1.0 3.0)
  (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* (/ 1 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (* 1.0 (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t))))
  (expm1 (* (* z 2.0) (* y 27.0)))
  (log1p (* (* z 2.0) (* y 27.0)))
  (* (* z 2.0) (* y 27.0))
  (* (* z 2.0) (* y 27.0))
  (* (* z 2.0) (* y 27.0))
  (* (* z 2.0) (* y 27.0))
  (log (* (* z 2.0) (* y 27.0)))
  (log (* (* z 2.0) (* y 27.0)))
  (log (* (* z 2.0) (* y 27.0)))
  (log (* (* z 2.0) (* y 27.0)))
  (log (* (* z 2.0) (* y 27.0)))
  (exp (* (* z 2.0) (* y 27.0)))
  (pow (* (* z 2.0) (* y 27.0)) 3)
  (pow (* (* z 2.0) (* y 27.0)) 3)
  (pow (* (* z 2.0) (* y 27.0)) 3)
  (pow (* (* z 2.0) (* y 27.0)) 3)
  (* (cbrt (* (* z 2.0) (* y 27.0))) (cbrt (* (* z 2.0) (* y 27.0))))
  (cbrt (* (* z 2.0) (* y 27.0)))
  (pow (* (* z 2.0) (* y 27.0)) 3)
  (sqrt (* (* z 2.0) (* y 27.0)))
  (sqrt (* (* z 2.0) (* y 27.0)))
  (* (* z 2.0) y)
  (* 2.0 (* y 27.0))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (* 0.05555555555555555 (/ x (* z y)))
  (fma (- +nan.0) (/ (* t x) (* z y)) (* +nan.0 (/ (* (pow t 2) x) (* z y))))
  (fma (- +nan.0) (/ x (* z y)) (* +nan.0 (/ x (* t (* z y)))))
  (fma (- +nan.0) (/ x (* z y)) (* +nan.0 (/ x (* t (* z y)))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))))
  (* 54.0 (* z y))
  (* 54.0 (* z y))
  (* 54.0 (* z y))
2.754 * * * [progress]: adding candidates to table
3.046 * [progress]: [Phase 3 of 3] Extracting.
3.046 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.047 * * * [regime-changes]: Trying 12 branch expressions: ((sqrt t) (* z 2.0) (* y 27.0) (/ x (* y 27.0)) (* 3.0 (/ x (* y 27.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) t z y x)
3.047 * * * * [regimes]: Trying to branch on (sqrt t) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.070 * * * * [regimes]: Trying to branch on (* z 2.0) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.087 * * * * [regimes]: Trying to branch on (* y 27.0) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.107 * * * * [regimes]: Trying to branch on (/ x (* y 27.0)) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.124 * * * * [regimes]: Trying to branch on (* 3.0 (/ x (* y 27.0))) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.144 * * * * [regimes]: Trying to branch on (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.161 * * * * [regimes]: Trying to branch on (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.184 * * * * [regimes]: Trying to branch on (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.205 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.222 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.241 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.259 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))))> #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 x) (* (* z 2.0) (* y 27.0))) (sqrt t)))))>)
3.278 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.279 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
3.279 * * [simplify]: iteration  0 :  30  enodes  (cost  20 )
3.280 * * [simplify]: iteration  1 :  30  enodes  (cost  20 )
3.280 * [simplify]: Simplified to:
   (* (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
5.826 * [regime-testing]: Baseline error score: 0.3989959919189941
5.827 * [regime-testing]: Oracle error score: 0.010411947981307672
5.828 * [regime-testing]: End program error score: 0.3989959919189941
5.866 * [regime-testing]: Target error score: 1.2271311531179392