43.830 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.084 * * * [progress]: [2/2] Setting up program.
0.088 * [progress]: [Phase 2 of 3] Improving.
0.088 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.089 * * [simplify]: iteration  0 :  18  enodes  (cost  19 )
0.091 * * [simplify]: iteration  1 :  38  enodes  (cost  19 )
0.096 * * [simplify]: iteration  2 :  119  enodes  (cost  19 )
0.125 * * [simplify]: iteration  3 :  465  enodes  (cost  19 )
0.473 * * [simplify]: iteration  4 :  2000  enodes  (cost  19 )
3.223 * * [simplify]: iteration  done :  5001  enodes  (cost  19 )
3.223 * [simplify]: Simplified to:
   (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
3.223 * * [progress]: iteration 1 / 4
3.223 * * * [progress]: picking best candidate
3.226 * * * * [pick]: Picked  #<alt (λ (x y z t) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))>
3.226 * * * [progress]: localizing error
3.245 * * * [progress]: generating rewritten candidates
3.245 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
3.254 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.285 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.293 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2)
3.301 * * * [progress]: generating series expansions
3.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
3.301 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
3.301 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
3.301 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.301 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
3.301 * [taylor]: Taking taylor expansion of x in z
3.301 * [taylor]: Taking taylor expansion of (* z y) in z
3.301 * [taylor]: Taking taylor expansion of z in z
3.301 * [taylor]: Taking taylor expansion of y in z
3.302 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
3.302 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.302 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
3.302 * [taylor]: Taking taylor expansion of x in y
3.302 * [taylor]: Taking taylor expansion of (* z y) in y
3.302 * [taylor]: Taking taylor expansion of z in y
3.302 * [taylor]: Taking taylor expansion of y in y
3.302 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
3.302 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.302 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.302 * [taylor]: Taking taylor expansion of x in x
3.302 * [taylor]: Taking taylor expansion of (* z y) in x
3.302 * [taylor]: Taking taylor expansion of z in x
3.302 * [taylor]: Taking taylor expansion of y in x
3.303 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
3.303 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.303 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.303 * [taylor]: Taking taylor expansion of x in x
3.303 * [taylor]: Taking taylor expansion of (* z y) in x
3.303 * [taylor]: Taking taylor expansion of z in x
3.303 * [taylor]: Taking taylor expansion of y in x
3.303 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
3.303 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.303 * [taylor]: Taking taylor expansion of (* z y) in y
3.303 * [taylor]: Taking taylor expansion of z in y
3.303 * [taylor]: Taking taylor expansion of y in y
3.303 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
3.303 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.303 * [taylor]: Taking taylor expansion of z in z
3.304 * [taylor]: Taking taylor expansion of 0 in y
3.305 * [taylor]: Taking taylor expansion of 0 in z
3.306 * [taylor]: Taking taylor expansion of 0 in y
3.306 * [taylor]: Taking taylor expansion of 0 in z
3.307 * [taylor]: Taking taylor expansion of 0 in z
3.309 * [taylor]: Taking taylor expansion of 0 in y
3.309 * [taylor]: Taking taylor expansion of 0 in z
3.309 * [taylor]: Taking taylor expansion of 0 in z
3.309 * [taylor]: Taking taylor expansion of 0 in z
3.310 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
3.310 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
3.310 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.310 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
3.310 * [taylor]: Taking taylor expansion of (* z y) in z
3.310 * [taylor]: Taking taylor expansion of z in z
3.310 * [taylor]: Taking taylor expansion of y in z
3.310 * [taylor]: Taking taylor expansion of x in z
3.310 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
3.310 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.310 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
3.310 * [taylor]: Taking taylor expansion of (* z y) in y
3.310 * [taylor]: Taking taylor expansion of z in y
3.310 * [taylor]: Taking taylor expansion of y in y
3.310 * [taylor]: Taking taylor expansion of x in y
3.311 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
3.311 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.311 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.311 * [taylor]: Taking taylor expansion of (* z y) in x
3.311 * [taylor]: Taking taylor expansion of z in x
3.311 * [taylor]: Taking taylor expansion of y in x
3.311 * [taylor]: Taking taylor expansion of x in x
3.311 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
3.311 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.311 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.311 * [taylor]: Taking taylor expansion of (* z y) in x
3.311 * [taylor]: Taking taylor expansion of z in x
3.311 * [taylor]: Taking taylor expansion of y in x
3.311 * [taylor]: Taking taylor expansion of x in x
3.311 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
3.311 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.311 * [taylor]: Taking taylor expansion of (* z y) in y
3.311 * [taylor]: Taking taylor expansion of z in y
3.311 * [taylor]: Taking taylor expansion of y in y
3.312 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
3.312 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.312 * [taylor]: Taking taylor expansion of z in z
3.314 * [taylor]: Taking taylor expansion of 0 in y
3.314 * [taylor]: Taking taylor expansion of 0 in z
3.315 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [taylor]: Taking taylor expansion of 0 in y
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.317 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [taylor]: Taking taylor expansion of 0 in z
3.319 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
3.319 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
3.319 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
3.319 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
3.319 * [taylor]: Taking taylor expansion of (* z y) in z
3.319 * [taylor]: Taking taylor expansion of z in z
3.319 * [taylor]: Taking taylor expansion of y in z
3.319 * [taylor]: Taking taylor expansion of x in z
3.319 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
3.319 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.319 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
3.319 * [taylor]: Taking taylor expansion of (* z y) in y
3.319 * [taylor]: Taking taylor expansion of z in y
3.319 * [taylor]: Taking taylor expansion of y in y
3.319 * [taylor]: Taking taylor expansion of x in y
3.320 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
3.320 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.320 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.320 * [taylor]: Taking taylor expansion of (* z y) in x
3.320 * [taylor]: Taking taylor expansion of z in x
3.320 * [taylor]: Taking taylor expansion of y in x
3.320 * [taylor]: Taking taylor expansion of x in x
3.320 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
3.320 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.320 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.320 * [taylor]: Taking taylor expansion of (* z y) in x
3.320 * [taylor]: Taking taylor expansion of z in x
3.320 * [taylor]: Taking taylor expansion of y in x
3.320 * [taylor]: Taking taylor expansion of x in x
3.320 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
3.320 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.320 * [taylor]: Taking taylor expansion of (* z y) in y
3.320 * [taylor]: Taking taylor expansion of z in y
3.320 * [taylor]: Taking taylor expansion of y in y
3.321 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
3.321 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
3.321 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.321 * [taylor]: Taking taylor expansion of z in z
3.323 * [taylor]: Taking taylor expansion of 0 in y
3.323 * [taylor]: Taking taylor expansion of 0 in z
3.324 * [taylor]: Taking taylor expansion of 0 in z
3.330 * [taylor]: Taking taylor expansion of 0 in y
3.331 * [taylor]: Taking taylor expansion of 0 in z
3.331 * [taylor]: Taking taylor expansion of 0 in z
3.332 * [taylor]: Taking taylor expansion of 0 in z
3.333 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.333 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
3.333 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
3.333 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.333 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
3.333 * [taylor]: Taking taylor expansion of (sqrt t) in t
3.333 * [taylor]: Taking taylor expansion of t in t
3.334 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
3.334 * [taylor]: Taking taylor expansion of x in t
3.334 * [taylor]: Taking taylor expansion of (* z y) in t
3.334 * [taylor]: Taking taylor expansion of z in t
3.334 * [taylor]: Taking taylor expansion of y in t
3.334 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
3.334 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.334 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
3.334 * [taylor]: Taking taylor expansion of (sqrt t) in z
3.334 * [taylor]: Taking taylor expansion of t in z
3.335 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
3.335 * [taylor]: Taking taylor expansion of x in z
3.335 * [taylor]: Taking taylor expansion of (* z y) in z
3.335 * [taylor]: Taking taylor expansion of z in z
3.335 * [taylor]: Taking taylor expansion of y in z
3.335 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
3.335 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.335 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
3.335 * [taylor]: Taking taylor expansion of (sqrt t) in y
3.335 * [taylor]: Taking taylor expansion of t in y
3.335 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
3.335 * [taylor]: Taking taylor expansion of x in y
3.335 * [taylor]: Taking taylor expansion of (* z y) in y
3.335 * [taylor]: Taking taylor expansion of z in y
3.335 * [taylor]: Taking taylor expansion of y in y
3.335 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
3.336 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.336 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
3.336 * [taylor]: Taking taylor expansion of (sqrt t) in x
3.336 * [taylor]: Taking taylor expansion of t in x
3.336 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.336 * [taylor]: Taking taylor expansion of x in x
3.336 * [taylor]: Taking taylor expansion of (* z y) in x
3.336 * [taylor]: Taking taylor expansion of z in x
3.336 * [taylor]: Taking taylor expansion of y in x
3.336 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
3.336 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.336 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
3.336 * [taylor]: Taking taylor expansion of (sqrt t) in x
3.336 * [taylor]: Taking taylor expansion of t in x
3.336 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
3.336 * [taylor]: Taking taylor expansion of x in x
3.336 * [taylor]: Taking taylor expansion of (* z y) in x
3.336 * [taylor]: Taking taylor expansion of z in x
3.336 * [taylor]: Taking taylor expansion of y in x
3.336 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
3.336 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.336 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
3.336 * [taylor]: Taking taylor expansion of (sqrt t) in y
3.336 * [taylor]: Taking taylor expansion of t in y
3.336 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.336 * [taylor]: Taking taylor expansion of (* z y) in y
3.336 * [taylor]: Taking taylor expansion of z in y
3.336 * [taylor]: Taking taylor expansion of y in y
3.337 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
3.337 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.337 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
3.337 * [taylor]: Taking taylor expansion of (sqrt t) in z
3.337 * [taylor]: Taking taylor expansion of t in z
3.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.337 * [taylor]: Taking taylor expansion of z in z
3.337 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
3.337 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.337 * [taylor]: Taking taylor expansion of (sqrt t) in t
3.337 * [taylor]: Taking taylor expansion of t in t
3.339 * [taylor]: Taking taylor expansion of 0 in y
3.340 * [taylor]: Taking taylor expansion of 0 in z
3.341 * [taylor]: Taking taylor expansion of 0 in t
3.344 * [taylor]: Taking taylor expansion of 0 in y
3.344 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [taylor]: Taking taylor expansion of 0 in z
3.346 * [taylor]: Taking taylor expansion of 0 in t
3.348 * [taylor]: Taking taylor expansion of 0 in t
3.353 * [taylor]: Taking taylor expansion of 0 in y
3.354 * [taylor]: Taking taylor expansion of 0 in z
3.354 * [taylor]: Taking taylor expansion of 0 in z
3.356 * [taylor]: Taking taylor expansion of 0 in z
3.356 * [taylor]: Taking taylor expansion of 0 in t
3.356 * [taylor]: Taking taylor expansion of 0 in t
3.356 * [taylor]: Taking taylor expansion of 0 in t
3.358 * [taylor]: Taking taylor expansion of 0 in t
3.360 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
3.360 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
3.360 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.360 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
3.360 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
3.360 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.360 * [taylor]: Taking taylor expansion of t in t
3.361 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
3.361 * [taylor]: Taking taylor expansion of (* z y) in t
3.361 * [taylor]: Taking taylor expansion of z in t
3.361 * [taylor]: Taking taylor expansion of y in t
3.361 * [taylor]: Taking taylor expansion of x in t
3.361 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
3.361 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.362 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
3.362 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
3.362 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.362 * [taylor]: Taking taylor expansion of t in z
3.362 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
3.362 * [taylor]: Taking taylor expansion of (* z y) in z
3.362 * [taylor]: Taking taylor expansion of z in z
3.362 * [taylor]: Taking taylor expansion of y in z
3.362 * [taylor]: Taking taylor expansion of x in z
3.362 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
3.362 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.362 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
3.362 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
3.362 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.362 * [taylor]: Taking taylor expansion of t in y
3.362 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
3.362 * [taylor]: Taking taylor expansion of (* z y) in y
3.362 * [taylor]: Taking taylor expansion of z in y
3.362 * [taylor]: Taking taylor expansion of y in y
3.362 * [taylor]: Taking taylor expansion of x in y
3.363 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
3.363 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.363 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
3.363 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
3.363 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.363 * [taylor]: Taking taylor expansion of t in x
3.363 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.363 * [taylor]: Taking taylor expansion of (* z y) in x
3.363 * [taylor]: Taking taylor expansion of z in x
3.363 * [taylor]: Taking taylor expansion of y in x
3.363 * [taylor]: Taking taylor expansion of x in x
3.363 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
3.363 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
3.363 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
3.363 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
3.363 * [taylor]: Taking taylor expansion of (/ 1 t) in x
3.363 * [taylor]: Taking taylor expansion of t in x
3.363 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
3.363 * [taylor]: Taking taylor expansion of (* z y) in x
3.363 * [taylor]: Taking taylor expansion of z in x
3.363 * [taylor]: Taking taylor expansion of y in x
3.363 * [taylor]: Taking taylor expansion of x in x
3.364 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
3.364 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
3.364 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
3.364 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
3.364 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.364 * [taylor]: Taking taylor expansion of t in y
3.364 * [taylor]: Taking taylor expansion of (* z y) in y
3.364 * [taylor]: Taking taylor expansion of z in y
3.364 * [taylor]: Taking taylor expansion of y in y
3.365 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
3.365 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.365 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
3.365 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
3.365 * [taylor]: Taking taylor expansion of (/ 1 t) in z
3.365 * [taylor]: Taking taylor expansion of t in z
3.365 * [taylor]: Taking taylor expansion of z in z
3.366 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
3.366 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.366 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
3.366 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.366 * [taylor]: Taking taylor expansion of t in t
3.369 * [taylor]: Taking taylor expansion of 0 in y
3.369 * [taylor]: Taking taylor expansion of 0 in z
3.369 * [taylor]: Taking taylor expansion of 0 in t
3.371 * [taylor]: Taking taylor expansion of 0 in z
3.371 * [taylor]: Taking taylor expansion of 0 in t
3.372 * [taylor]: Taking taylor expansion of 0 in t
3.376 * [taylor]: Taking taylor expansion of 0 in y
3.376 * [taylor]: Taking taylor expansion of 0 in z
3.376 * [taylor]: Taking taylor expansion of 0 in t
3.376 * [taylor]: Taking taylor expansion of 0 in z
3.376 * [taylor]: Taking taylor expansion of 0 in t
3.379 * [taylor]: Taking taylor expansion of 0 in z
3.379 * [taylor]: Taking taylor expansion of 0 in t
3.379 * [taylor]: Taking taylor expansion of 0 in t
3.379 * [taylor]: Taking taylor expansion of 0 in t
3.381 * [taylor]: Taking taylor expansion of 0 in t
3.388 * [taylor]: Taking taylor expansion of 0 in y
3.388 * [taylor]: Taking taylor expansion of 0 in z
3.388 * [taylor]: Taking taylor expansion of 0 in t
3.388 * [taylor]: Taking taylor expansion of 0 in z
3.388 * [taylor]: Taking taylor expansion of 0 in t
3.388 * [taylor]: Taking taylor expansion of 0 in z
3.388 * [taylor]: Taking taylor expansion of 0 in t
3.391 * [taylor]: Taking taylor expansion of 0 in z
3.391 * [taylor]: Taking taylor expansion of 0 in t
3.391 * [taylor]: Taking taylor expansion of 0 in t
3.391 * [taylor]: Taking taylor expansion of 0 in t
3.391 * [taylor]: Taking taylor expansion of 0 in t
3.391 * [taylor]: Taking taylor expansion of 0 in t
3.391 * [taylor]: Taking taylor expansion of 0 in t
3.393 * [taylor]: Taking taylor expansion of 0 in t
3.394 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
3.394 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
3.394 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
3.395 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
3.395 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
3.395 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.395 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.395 * [taylor]: Taking taylor expansion of -1 in t
3.395 * [taylor]: Taking taylor expansion of t in t
3.396 * [taylor]: Taking taylor expansion of (* z y) in t
3.396 * [taylor]: Taking taylor expansion of z in t
3.396 * [taylor]: Taking taylor expansion of y in t
3.396 * [taylor]: Taking taylor expansion of x in t
3.396 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
3.397 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
3.397 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
3.397 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
3.397 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
3.397 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.397 * [taylor]: Taking taylor expansion of -1 in z
3.397 * [taylor]: Taking taylor expansion of t in z
3.397 * [taylor]: Taking taylor expansion of (* z y) in z
3.397 * [taylor]: Taking taylor expansion of z in z
3.397 * [taylor]: Taking taylor expansion of y in z
3.397 * [taylor]: Taking taylor expansion of x in z
3.398 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
3.398 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.398 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
3.398 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
3.398 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
3.398 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.398 * [taylor]: Taking taylor expansion of -1 in y
3.398 * [taylor]: Taking taylor expansion of t in y
3.398 * [taylor]: Taking taylor expansion of (* z y) in y
3.398 * [taylor]: Taking taylor expansion of z in y
3.398 * [taylor]: Taking taylor expansion of y in y
3.398 * [taylor]: Taking taylor expansion of x in y
3.399 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
3.399 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.399 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
3.399 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
3.399 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
3.399 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.399 * [taylor]: Taking taylor expansion of -1 in x
3.399 * [taylor]: Taking taylor expansion of t in x
3.399 * [taylor]: Taking taylor expansion of (* z y) in x
3.399 * [taylor]: Taking taylor expansion of z in x
3.399 * [taylor]: Taking taylor expansion of y in x
3.399 * [taylor]: Taking taylor expansion of x in x
3.399 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
3.399 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
3.399 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
3.399 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
3.399 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
3.399 * [taylor]: Taking taylor expansion of (/ -1 t) in x
3.399 * [taylor]: Taking taylor expansion of -1 in x
3.399 * [taylor]: Taking taylor expansion of t in x
3.399 * [taylor]: Taking taylor expansion of (* z y) in x
3.399 * [taylor]: Taking taylor expansion of z in x
3.399 * [taylor]: Taking taylor expansion of y in x
3.399 * [taylor]: Taking taylor expansion of x in x
3.400 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
3.400 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
3.400 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
3.400 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
3.400 * [taylor]: Taking taylor expansion of (/ -1 t) in y
3.400 * [taylor]: Taking taylor expansion of -1 in y
3.400 * [taylor]: Taking taylor expansion of t in y
3.400 * [taylor]: Taking taylor expansion of (* z y) in y
3.400 * [taylor]: Taking taylor expansion of z in y
3.400 * [taylor]: Taking taylor expansion of y in y
3.401 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
3.401 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
3.401 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
3.401 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
3.401 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
3.401 * [taylor]: Taking taylor expansion of (/ -1 t) in z
3.401 * [taylor]: Taking taylor expansion of -1 in z
3.401 * [taylor]: Taking taylor expansion of t in z
3.401 * [taylor]: Taking taylor expansion of z in z
3.402 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
3.402 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
3.402 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
3.402 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
3.402 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.402 * [taylor]: Taking taylor expansion of -1 in t
3.402 * [taylor]: Taking taylor expansion of t in t
3.406 * [taylor]: Taking taylor expansion of 0 in y
3.406 * [taylor]: Taking taylor expansion of 0 in z
3.406 * [taylor]: Taking taylor expansion of 0 in t
3.408 * [taylor]: Taking taylor expansion of 0 in z
3.408 * [taylor]: Taking taylor expansion of 0 in t
3.409 * [taylor]: Taking taylor expansion of 0 in t
3.420 * [taylor]: Taking taylor expansion of 0 in y
3.420 * [taylor]: Taking taylor expansion of 0 in z
3.420 * [taylor]: Taking taylor expansion of 0 in t
3.420 * [taylor]: Taking taylor expansion of 0 in z
3.420 * [taylor]: Taking taylor expansion of 0 in t
3.422 * [taylor]: Taking taylor expansion of 0 in z
3.422 * [taylor]: Taking taylor expansion of 0 in t
3.422 * [taylor]: Taking taylor expansion of 0 in t
3.422 * [taylor]: Taking taylor expansion of 0 in t
3.425 * [taylor]: Taking taylor expansion of 0 in t
3.425 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.426 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0
3.426 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
3.426 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.426 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
3.426 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
3.426 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.426 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
3.426 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
3.426 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.426 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
3.427 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
3.427 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.427 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
3.427 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
3.427 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.427 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
3.427 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
3.427 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.427 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
3.427 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
3.427 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.427 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
3.428 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
3.428 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.428 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
3.428 * [taylor]: Taking taylor expansion of 0 in y
3.428 * [taylor]: Taking taylor expansion of 0 in z
3.428 * [taylor]: Taking taylor expansion of 0 in t
3.429 * [taylor]: Taking taylor expansion of 0 in z
3.429 * [taylor]: Taking taylor expansion of 0 in t
3.429 * [taylor]: Taking taylor expansion of 0 in t
3.430 * [taylor]: Taking taylor expansion of 0 in y
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [taylor]: Taking taylor expansion of 0 in t
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [taylor]: Taking taylor expansion of 0 in t
3.431 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0
3.431 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
3.431 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.431 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
3.431 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
3.431 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.431 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
3.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
3.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.432 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
3.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
3.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.432 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
3.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
3.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.432 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
3.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
3.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.432 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
3.432 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
3.432 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.433 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
3.433 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
3.433 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.433 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
3.434 * [taylor]: Taking taylor expansion of 0 in y
3.434 * [taylor]: Taking taylor expansion of 0 in z
3.434 * [taylor]: Taking taylor expansion of 0 in t
3.434 * [taylor]: Taking taylor expansion of 0 in z
3.434 * [taylor]: Taking taylor expansion of 0 in t
3.435 * [taylor]: Taking taylor expansion of 0 in t
3.436 * [taylor]: Taking taylor expansion of 0 in y
3.436 * [taylor]: Taking taylor expansion of 0 in z
3.436 * [taylor]: Taking taylor expansion of 0 in t
3.436 * [taylor]: Taking taylor expansion of 0 in z
3.436 * [taylor]: Taking taylor expansion of 0 in t
3.437 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0
3.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
3.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.437 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
3.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
3.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.437 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
3.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
3.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.437 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
3.437 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
3.437 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.437 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
3.438 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
3.438 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
3.438 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
3.438 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
3.438 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
3.438 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
3.438 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
3.438 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
3.438 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
3.438 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
3.438 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
3.439 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
3.439 * [taylor]: Taking taylor expansion of 0 in y
3.439 * [taylor]: Taking taylor expansion of 0 in z
3.439 * [taylor]: Taking taylor expansion of 0 in t
3.440 * [taylor]: Taking taylor expansion of 0 in z
3.440 * [taylor]: Taking taylor expansion of 0 in t
3.440 * [taylor]: Taking taylor expansion of 0 in t
3.441 * [taylor]: Taking taylor expansion of 0 in y
3.441 * [taylor]: Taking taylor expansion of 0 in z
3.441 * [taylor]: Taking taylor expansion of 0 in t
3.442 * [taylor]: Taking taylor expansion of 0 in z
3.442 * [taylor]: Taking taylor expansion of 0 in t
3.442 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2)
3.442 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0
3.442 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y
3.442 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.442 * [taylor]: Taking taylor expansion of (/ x y) in y
3.442 * [taylor]: Taking taylor expansion of x in y
3.442 * [taylor]: Taking taylor expansion of y in y
3.442 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
3.442 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.442 * [taylor]: Taking taylor expansion of (/ x y) in x
3.442 * [taylor]: Taking taylor expansion of x in x
3.442 * [taylor]: Taking taylor expansion of y in x
3.442 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
3.442 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.442 * [taylor]: Taking taylor expansion of (/ x y) in x
3.442 * [taylor]: Taking taylor expansion of x in x
3.442 * [taylor]: Taking taylor expansion of y in x
3.442 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y
3.442 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.442 * [taylor]: Taking taylor expansion of y in y
3.443 * [taylor]: Taking taylor expansion of 0 in y
3.444 * [taylor]: Taking taylor expansion of 0 in y
3.446 * [taylor]: Taking taylor expansion of 0 in y
3.446 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
3.446 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
3.446 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.446 * [taylor]: Taking taylor expansion of (/ y x) in y
3.446 * [taylor]: Taking taylor expansion of y in y
3.446 * [taylor]: Taking taylor expansion of x in y
3.447 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.447 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.447 * [taylor]: Taking taylor expansion of (/ y x) in x
3.447 * [taylor]: Taking taylor expansion of y in x
3.447 * [taylor]: Taking taylor expansion of x in x
3.447 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.447 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.447 * [taylor]: Taking taylor expansion of (/ y x) in x
3.447 * [taylor]: Taking taylor expansion of y in x
3.447 * [taylor]: Taking taylor expansion of x in x
3.447 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
3.447 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.447 * [taylor]: Taking taylor expansion of y in y
3.449 * [taylor]: Taking taylor expansion of 0 in y
3.450 * [taylor]: Taking taylor expansion of 0 in y
3.453 * [taylor]: Taking taylor expansion of 0 in y
3.453 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
3.453 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
3.453 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.453 * [taylor]: Taking taylor expansion of (/ y x) in y
3.453 * [taylor]: Taking taylor expansion of y in y
3.453 * [taylor]: Taking taylor expansion of x in y
3.453 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.453 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.453 * [taylor]: Taking taylor expansion of (/ y x) in x
3.453 * [taylor]: Taking taylor expansion of y in x
3.453 * [taylor]: Taking taylor expansion of x in x
3.453 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
3.453 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
3.453 * [taylor]: Taking taylor expansion of (/ y x) in x
3.453 * [taylor]: Taking taylor expansion of y in x
3.453 * [taylor]: Taking taylor expansion of x in x
3.454 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
3.454 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
3.454 * [taylor]: Taking taylor expansion of y in y
3.455 * [taylor]: Taking taylor expansion of 0 in y
3.457 * [taylor]: Taking taylor expansion of 0 in y
3.460 * [taylor]: Taking taylor expansion of 0 in y
3.460 * * * [progress]: simplifying candidates
3.462 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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))
  (* (/ (* 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))
  (* (/ 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))))
  (- (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))
3.470 * * [simplify]: iteration  0 :  248  enodes  (cost  2653 )
3.515 * * [simplify]: iteration  1 :  722  enodes  (cost  2537 )
3.830 * * [simplify]: iteration  2 :  3294  enodes  (cost  1945 )
4.523 * * [simplify]: iteration  done :  5000  enodes  (cost  1945 )
4.524 * [simplify]: Simplified to:
   (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)
  (* 2.0 (/ z (/ x (* y 27.0))))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 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))
  (* (/ 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))))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)
  (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (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)))
  (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y)))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (- (* +nan.0 (- (/ x (* z y)) (/ 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))
4.525 * * * [progress]: adding candidates to table
4.819 * * [progress]: iteration 2 / 4
4.820 * * * [progress]: picking best candidate
4.826 * * * * [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))))))>
4.826 * * * [progress]: localizing error
4.850 * * * [progress]: generating rewritten candidates
4.850 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
4.859 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
4.889 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
4.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.924 * * * [progress]: generating series expansions
4.924 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
4.924 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
4.924 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
4.924 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.924 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
4.924 * [taylor]: Taking taylor expansion of x in z
4.924 * [taylor]: Taking taylor expansion of (* z y) in z
4.924 * [taylor]: Taking taylor expansion of z in z
4.924 * [taylor]: Taking taylor expansion of y in z
4.925 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
4.925 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.925 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
4.925 * [taylor]: Taking taylor expansion of x in y
4.925 * [taylor]: Taking taylor expansion of (* z y) in y
4.925 * [taylor]: Taking taylor expansion of z in y
4.925 * [taylor]: Taking taylor expansion of y in y
4.926 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
4.926 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.926 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
4.926 * [taylor]: Taking taylor expansion of x in x
4.926 * [taylor]: Taking taylor expansion of (* z y) in x
4.926 * [taylor]: Taking taylor expansion of z in x
4.926 * [taylor]: Taking taylor expansion of y in x
4.926 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
4.926 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.926 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
4.926 * [taylor]: Taking taylor expansion of x in x
4.926 * [taylor]: Taking taylor expansion of (* z y) in x
4.926 * [taylor]: Taking taylor expansion of z in x
4.926 * [taylor]: Taking taylor expansion of y in x
4.926 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
4.926 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.926 * [taylor]: Taking taylor expansion of (* z y) in y
4.926 * [taylor]: Taking taylor expansion of z in y
4.926 * [taylor]: Taking taylor expansion of y in y
4.926 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
4.926 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.926 * [taylor]: Taking taylor expansion of z in z
4.927 * [taylor]: Taking taylor expansion of 0 in y
4.928 * [taylor]: Taking taylor expansion of 0 in z
4.929 * [taylor]: Taking taylor expansion of 0 in y
4.929 * [taylor]: Taking taylor expansion of 0 in z
4.930 * [taylor]: Taking taylor expansion of 0 in z
4.932 * [taylor]: Taking taylor expansion of 0 in y
4.932 * [taylor]: Taking taylor expansion of 0 in z
4.932 * [taylor]: Taking taylor expansion of 0 in z
4.932 * [taylor]: Taking taylor expansion of 0 in z
4.933 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
4.933 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
4.933 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.933 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
4.933 * [taylor]: Taking taylor expansion of (* z y) in z
4.933 * [taylor]: Taking taylor expansion of z in z
4.933 * [taylor]: Taking taylor expansion of y in z
4.933 * [taylor]: Taking taylor expansion of x in z
4.933 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
4.933 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.933 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
4.933 * [taylor]: Taking taylor expansion of (* z y) in y
4.933 * [taylor]: Taking taylor expansion of z in y
4.933 * [taylor]: Taking taylor expansion of y in y
4.933 * [taylor]: Taking taylor expansion of x in y
4.934 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
4.934 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.934 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
4.934 * [taylor]: Taking taylor expansion of (* z y) in x
4.934 * [taylor]: Taking taylor expansion of z in x
4.934 * [taylor]: Taking taylor expansion of y in x
4.934 * [taylor]: Taking taylor expansion of x in x
4.934 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
4.934 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.934 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
4.934 * [taylor]: Taking taylor expansion of (* z y) in x
4.934 * [taylor]: Taking taylor expansion of z in x
4.934 * [taylor]: Taking taylor expansion of y in x
4.934 * [taylor]: Taking taylor expansion of x in x
4.934 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
4.934 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.934 * [taylor]: Taking taylor expansion of (* z y) in y
4.934 * [taylor]: Taking taylor expansion of z in y
4.934 * [taylor]: Taking taylor expansion of y in y
4.935 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
4.935 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.935 * [taylor]: Taking taylor expansion of z in z
4.937 * [taylor]: Taking taylor expansion of 0 in y
4.937 * [taylor]: Taking taylor expansion of 0 in z
4.938 * [taylor]: Taking taylor expansion of 0 in z
4.940 * [taylor]: Taking taylor expansion of 0 in y
4.940 * [taylor]: Taking taylor expansion of 0 in z
4.940 * [taylor]: Taking taylor expansion of 0 in z
4.941 * [taylor]: Taking taylor expansion of 0 in z
4.941 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
4.941 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
4.941 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
4.941 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
4.941 * [taylor]: Taking taylor expansion of (* z y) in z
4.941 * [taylor]: Taking taylor expansion of z in z
4.941 * [taylor]: Taking taylor expansion of y in z
4.941 * [taylor]: Taking taylor expansion of x in z
4.942 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
4.942 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
4.942 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
4.942 * [taylor]: Taking taylor expansion of (* z y) in y
4.942 * [taylor]: Taking taylor expansion of z in y
4.942 * [taylor]: Taking taylor expansion of y in y
4.942 * [taylor]: Taking taylor expansion of x in y
4.942 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
4.942 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
4.942 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
4.942 * [taylor]: Taking taylor expansion of (* z y) in x
4.942 * [taylor]: Taking taylor expansion of z in x
4.942 * [taylor]: Taking taylor expansion of y in x
4.942 * [taylor]: Taking taylor expansion of x in x
4.942 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
4.942 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
4.942 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
4.942 * [taylor]: Taking taylor expansion of (* z y) in x
4.942 * [taylor]: Taking taylor expansion of z in x
4.942 * [taylor]: Taking taylor expansion of y in x
4.943 * [taylor]: Taking taylor expansion of x in x
4.943 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
4.943 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
4.943 * [taylor]: Taking taylor expansion of (* z y) in y
4.943 * [taylor]: Taking taylor expansion of z in y
4.943 * [taylor]: Taking taylor expansion of y in y
4.943 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
4.943 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
4.943 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.943 * [taylor]: Taking taylor expansion of z in z
4.946 * [taylor]: Taking taylor expansion of 0 in y
4.946 * [taylor]: Taking taylor expansion of 0 in z
4.947 * [taylor]: Taking taylor expansion of 0 in z
4.949 * [taylor]: Taking taylor expansion of 0 in y
4.949 * [taylor]: Taking taylor expansion of 0 in z
4.949 * [taylor]: Taking taylor expansion of 0 in z
4.951 * [taylor]: Taking taylor expansion of 0 in z
4.951 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
4.952 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
4.952 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
4.952 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
4.952 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
4.952 * [taylor]: Taking taylor expansion of (sqrt t) in t
4.952 * [taylor]: Taking taylor expansion of t in t
4.953 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
4.953 * [taylor]: Taking taylor expansion of x in t
4.953 * [taylor]: Taking taylor expansion of (* z y) in t
4.953 * [taylor]: Taking taylor expansion of z in t
4.953 * [taylor]: Taking taylor expansion of y in t
4.953 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
4.953 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.953 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
4.953 * [taylor]: Taking taylor expansion of (sqrt t) in z
4.953 * [taylor]: Taking taylor expansion of t in z
4.953 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
4.953 * [taylor]: Taking taylor expansion of x in z
4.953 * [taylor]: Taking taylor expansion of (* z y) in z
4.953 * [taylor]: Taking taylor expansion of z in z
4.953 * [taylor]: Taking taylor expansion of y in z
4.954 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
4.954 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.954 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
4.954 * [taylor]: Taking taylor expansion of (sqrt t) in y
4.954 * [taylor]: Taking taylor expansion of t in y
4.954 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
4.954 * [taylor]: Taking taylor expansion of x in y
4.954 * [taylor]: Taking taylor expansion of (* z y) in y
4.954 * [taylor]: Taking taylor expansion of z in y
4.954 * [taylor]: Taking taylor expansion of y in y
4.954 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
4.954 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.954 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
4.954 * [taylor]: Taking taylor expansion of (sqrt t) in x
4.954 * [taylor]: Taking taylor expansion of t in x
4.954 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
4.954 * [taylor]: Taking taylor expansion of x in x
4.954 * [taylor]: Taking taylor expansion of (* z y) in x
4.954 * [taylor]: Taking taylor expansion of z in x
4.954 * [taylor]: Taking taylor expansion of y in x
4.955 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
4.955 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.955 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
4.955 * [taylor]: Taking taylor expansion of (sqrt t) in x
4.955 * [taylor]: Taking taylor expansion of t in x
4.955 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
4.955 * [taylor]: Taking taylor expansion of x in x
4.955 * [taylor]: Taking taylor expansion of (* z y) in x
4.955 * [taylor]: Taking taylor expansion of z in x
4.955 * [taylor]: Taking taylor expansion of y in x
4.955 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
4.955 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.955 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
4.955 * [taylor]: Taking taylor expansion of (sqrt t) in y
4.955 * [taylor]: Taking taylor expansion of t in y
4.955 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
4.955 * [taylor]: Taking taylor expansion of (* z y) in y
4.955 * [taylor]: Taking taylor expansion of z in y
4.955 * [taylor]: Taking taylor expansion of y in y
4.956 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
4.956 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.956 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
4.956 * [taylor]: Taking taylor expansion of (sqrt t) in z
4.956 * [taylor]: Taking taylor expansion of t in z
4.956 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.956 * [taylor]: Taking taylor expansion of z in z
4.956 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
4.956 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
4.956 * [taylor]: Taking taylor expansion of (sqrt t) in t
4.956 * [taylor]: Taking taylor expansion of t in t
4.958 * [taylor]: Taking taylor expansion of 0 in y
4.959 * [taylor]: Taking taylor expansion of 0 in z
4.960 * [taylor]: Taking taylor expansion of 0 in t
4.963 * [taylor]: Taking taylor expansion of 0 in y
4.963 * [taylor]: Taking taylor expansion of 0 in z
4.965 * [taylor]: Taking taylor expansion of 0 in z
4.965 * [taylor]: Taking taylor expansion of 0 in t
4.966 * [taylor]: Taking taylor expansion of 0 in t
4.972 * [taylor]: Taking taylor expansion of 0 in y
4.972 * [taylor]: Taking taylor expansion of 0 in z
4.972 * [taylor]: Taking taylor expansion of 0 in z
4.975 * [taylor]: Taking taylor expansion of 0 in z
4.975 * [taylor]: Taking taylor expansion of 0 in t
4.975 * [taylor]: Taking taylor expansion of 0 in t
4.975 * [taylor]: Taking taylor expansion of 0 in t
4.977 * [taylor]: Taking taylor expansion of 0 in t
4.978 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
4.978 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
4.978 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
4.978 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
4.978 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
4.978 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.978 * [taylor]: Taking taylor expansion of t in t
4.980 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
4.980 * [taylor]: Taking taylor expansion of (* z y) in t
4.980 * [taylor]: Taking taylor expansion of z in t
4.980 * [taylor]: Taking taylor expansion of y in t
4.980 * [taylor]: Taking taylor expansion of x in t
4.980 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
4.980 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.980 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
4.980 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
4.980 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.980 * [taylor]: Taking taylor expansion of t in z
4.980 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
4.980 * [taylor]: Taking taylor expansion of (* z y) in z
4.980 * [taylor]: Taking taylor expansion of z in z
4.980 * [taylor]: Taking taylor expansion of y in z
4.980 * [taylor]: Taking taylor expansion of x in z
4.980 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
4.980 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.980 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
4.980 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
4.980 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.980 * [taylor]: Taking taylor expansion of t in y
4.981 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
4.981 * [taylor]: Taking taylor expansion of (* z y) in y
4.981 * [taylor]: Taking taylor expansion of z in y
4.981 * [taylor]: Taking taylor expansion of y in y
4.981 * [taylor]: Taking taylor expansion of x in y
4.981 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
4.981 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.981 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
4.981 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
4.981 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.981 * [taylor]: Taking taylor expansion of t in x
4.981 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
4.981 * [taylor]: Taking taylor expansion of (* z y) in x
4.981 * [taylor]: Taking taylor expansion of z in x
4.981 * [taylor]: Taking taylor expansion of y in x
4.981 * [taylor]: Taking taylor expansion of x in x
4.981 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
4.981 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
4.981 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
4.981 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
4.981 * [taylor]: Taking taylor expansion of (/ 1 t) in x
4.981 * [taylor]: Taking taylor expansion of t in x
4.982 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
4.982 * [taylor]: Taking taylor expansion of (* z y) in x
4.982 * [taylor]: Taking taylor expansion of z in x
4.982 * [taylor]: Taking taylor expansion of y in x
4.982 * [taylor]: Taking taylor expansion of x in x
4.982 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
4.982 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
4.982 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
4.982 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
4.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y
4.982 * [taylor]: Taking taylor expansion of t in y
4.982 * [taylor]: Taking taylor expansion of (* z y) in y
4.982 * [taylor]: Taking taylor expansion of z in y
4.982 * [taylor]: Taking taylor expansion of y in y
4.983 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
4.983 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
4.983 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
4.983 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
4.983 * [taylor]: Taking taylor expansion of (/ 1 t) in z
4.983 * [taylor]: Taking taylor expansion of t in z
4.983 * [taylor]: Taking taylor expansion of z in z
4.984 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
4.984 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
4.984 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
4.984 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.984 * [taylor]: Taking taylor expansion of t in t
4.987 * [taylor]: Taking taylor expansion of 0 in y
4.987 * [taylor]: Taking taylor expansion of 0 in z
4.987 * [taylor]: Taking taylor expansion of 0 in t
4.989 * [taylor]: Taking taylor expansion of 0 in z
4.989 * [taylor]: Taking taylor expansion of 0 in t
4.991 * [taylor]: Taking taylor expansion of 0 in t
4.994 * [taylor]: Taking taylor expansion of 0 in y
4.994 * [taylor]: Taking taylor expansion of 0 in z
4.994 * [taylor]: Taking taylor expansion of 0 in t
4.994 * [taylor]: Taking taylor expansion of 0 in z
4.995 * [taylor]: Taking taylor expansion of 0 in t
4.997 * [taylor]: Taking taylor expansion of 0 in z
4.997 * [taylor]: Taking taylor expansion of 0 in t
4.997 * [taylor]: Taking taylor expansion of 0 in t
4.997 * [taylor]: Taking taylor expansion of 0 in t
4.999 * [taylor]: Taking taylor expansion of 0 in t
5.010 * [taylor]: Taking taylor expansion of 0 in y
5.010 * [taylor]: Taking taylor expansion of 0 in z
5.010 * [taylor]: Taking taylor expansion of 0 in t
5.010 * [taylor]: Taking taylor expansion of 0 in z
5.010 * [taylor]: Taking taylor expansion of 0 in t
5.010 * [taylor]: Taking taylor expansion of 0 in z
5.010 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in z
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.015 * [taylor]: Taking taylor expansion of 0 in t
5.016 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
5.016 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
5.016 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
5.016 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
5.016 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
5.016 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.016 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.016 * [taylor]: Taking taylor expansion of -1 in t
5.016 * [taylor]: Taking taylor expansion of t in t
5.018 * [taylor]: Taking taylor expansion of (* z y) in t
5.018 * [taylor]: Taking taylor expansion of z in t
5.018 * [taylor]: Taking taylor expansion of y in t
5.018 * [taylor]: Taking taylor expansion of x in t
5.018 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
5.018 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
5.018 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
5.018 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
5.018 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
5.018 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.018 * [taylor]: Taking taylor expansion of -1 in z
5.018 * [taylor]: Taking taylor expansion of t in z
5.019 * [taylor]: Taking taylor expansion of (* z y) in z
5.019 * [taylor]: Taking taylor expansion of z in z
5.019 * [taylor]: Taking taylor expansion of y in z
5.019 * [taylor]: Taking taylor expansion of x in z
5.019 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
5.019 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
5.019 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
5.019 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
5.019 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
5.019 * [taylor]: Taking taylor expansion of (/ -1 t) in y
5.019 * [taylor]: Taking taylor expansion of -1 in y
5.019 * [taylor]: Taking taylor expansion of t in y
5.020 * [taylor]: Taking taylor expansion of (* z y) in y
5.020 * [taylor]: Taking taylor expansion of z in y
5.020 * [taylor]: Taking taylor expansion of y in y
5.020 * [taylor]: Taking taylor expansion of x in y
5.020 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
5.020 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
5.020 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
5.020 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
5.020 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
5.020 * [taylor]: Taking taylor expansion of (/ -1 t) in x
5.020 * [taylor]: Taking taylor expansion of -1 in x
5.020 * [taylor]: Taking taylor expansion of t in x
5.021 * [taylor]: Taking taylor expansion of (* z y) in x
5.021 * [taylor]: Taking taylor expansion of z in x
5.021 * [taylor]: Taking taylor expansion of y in x
5.021 * [taylor]: Taking taylor expansion of x in x
5.021 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
5.021 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
5.021 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
5.021 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
5.021 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
5.021 * [taylor]: Taking taylor expansion of (/ -1 t) in x
5.021 * [taylor]: Taking taylor expansion of -1 in x
5.021 * [taylor]: Taking taylor expansion of t in x
5.021 * [taylor]: Taking taylor expansion of (* z y) in x
5.021 * [taylor]: Taking taylor expansion of z in x
5.021 * [taylor]: Taking taylor expansion of y in x
5.021 * [taylor]: Taking taylor expansion of x in x
5.022 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
5.022 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
5.022 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
5.022 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
5.022 * [taylor]: Taking taylor expansion of (/ -1 t) in y
5.022 * [taylor]: Taking taylor expansion of -1 in y
5.022 * [taylor]: Taking taylor expansion of t in y
5.022 * [taylor]: Taking taylor expansion of (* z y) in y
5.022 * [taylor]: Taking taylor expansion of z in y
5.022 * [taylor]: Taking taylor expansion of y in y
5.023 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
5.023 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
5.023 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
5.023 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
5.023 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
5.023 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.023 * [taylor]: Taking taylor expansion of -1 in z
5.023 * [taylor]: Taking taylor expansion of t in z
5.023 * [taylor]: Taking taylor expansion of z in z
5.024 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
5.024 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
5.024 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
5.024 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.024 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.024 * [taylor]: Taking taylor expansion of -1 in t
5.024 * [taylor]: Taking taylor expansion of t in t
5.028 * [taylor]: Taking taylor expansion of 0 in y
5.028 * [taylor]: Taking taylor expansion of 0 in z
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in t
5.032 * [taylor]: Taking taylor expansion of 0 in t
5.039 * [taylor]: Taking taylor expansion of 0 in y
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in t
5.039 * [taylor]: Taking taylor expansion of 0 in z
5.039 * [taylor]: Taking taylor expansion of 0 in t
5.042 * [taylor]: Taking taylor expansion of 0 in z
5.042 * [taylor]: Taking taylor expansion of 0 in t
5.042 * [taylor]: Taking taylor expansion of 0 in t
5.042 * [taylor]: Taking taylor expansion of 0 in t
5.044 * [taylor]: Taking taylor expansion of 0 in t
5.045 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.045 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
5.046 * [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
5.046 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in t
5.046 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in t
5.046 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
5.046 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.046 * [taylor]: Taking taylor expansion of 1.0 in t
5.047 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.047 * [taylor]: Taking taylor expansion of 3.0 in t
5.049 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in z
5.049 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in z
5.049 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
5.049 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.049 * [taylor]: Taking taylor expansion of 1.0 in z
5.050 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.050 * [taylor]: Taking taylor expansion of 3.0 in z
5.051 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in y
5.051 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in y
5.051 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
5.051 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.051 * [taylor]: Taking taylor expansion of 1.0 in y
5.052 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.052 * [taylor]: Taking taylor expansion of 3.0 in y
5.054 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in x
5.054 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in x
5.054 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
5.054 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.054 * [taylor]: Taking taylor expansion of 1.0 in x
5.055 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.055 * [taylor]: Taking taylor expansion of 3.0 in x
5.056 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in x
5.056 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in x
5.056 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
5.057 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.057 * [taylor]: Taking taylor expansion of 1.0 in x
5.058 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.058 * [taylor]: Taking taylor expansion of 3.0 in x
5.059 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in y
5.059 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in y
5.059 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
5.059 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.059 * [taylor]: Taking taylor expansion of 1.0 in y
5.060 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.060 * [taylor]: Taking taylor expansion of 3.0 in y
5.062 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in z
5.062 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in z
5.062 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
5.062 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.062 * [taylor]: Taking taylor expansion of 1.0 in z
5.063 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.063 * [taylor]: Taking taylor expansion of 3.0 in z
5.065 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) (cbrt 3.0)) in t
5.065 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (cbrt 1.0)) in t
5.065 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
5.065 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.065 * [taylor]: Taking taylor expansion of 1.0 in t
5.065 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.065 * [taylor]: Taking taylor expansion of 3.0 in t
5.069 * [taylor]: Taking taylor expansion of 0 in y
5.070 * [taylor]: Taking taylor expansion of 0 in z
5.070 * [taylor]: Taking taylor expansion of 0 in t
5.071 * [taylor]: Taking taylor expansion of 0 in z
5.071 * [taylor]: Taking taylor expansion of 0 in t
5.073 * [taylor]: Taking taylor expansion of 0 in t
5.079 * [taylor]: Taking taylor expansion of 0 in y
5.079 * [taylor]: Taking taylor expansion of 0 in z
5.079 * [taylor]: Taking taylor expansion of 0 in t
5.079 * [taylor]: Taking taylor expansion of 0 in z
5.079 * [taylor]: Taking taylor expansion of 0 in t
5.081 * [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
5.081 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t
5.081 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
5.081 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.081 * [taylor]: Taking taylor expansion of 1.0 in t
5.082 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
5.082 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.082 * [taylor]: Taking taylor expansion of 3.0 in t
5.084 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z
5.084 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
5.084 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.084 * [taylor]: Taking taylor expansion of 1.0 in z
5.084 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
5.084 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.084 * [taylor]: Taking taylor expansion of 3.0 in z
5.086 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y
5.086 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
5.086 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.086 * [taylor]: Taking taylor expansion of 1.0 in y
5.087 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
5.087 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.087 * [taylor]: Taking taylor expansion of 3.0 in y
5.089 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x
5.089 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
5.089 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.089 * [taylor]: Taking taylor expansion of 1.0 in x
5.089 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
5.090 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.090 * [taylor]: Taking taylor expansion of 3.0 in x
5.094 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x
5.095 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
5.095 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.095 * [taylor]: Taking taylor expansion of 1.0 in x
5.095 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
5.095 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.095 * [taylor]: Taking taylor expansion of 3.0 in x
5.097 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y
5.097 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
5.097 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.097 * [taylor]: Taking taylor expansion of 1.0 in y
5.098 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
5.098 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.098 * [taylor]: Taking taylor expansion of 3.0 in y
5.100 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z
5.100 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
5.100 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.100 * [taylor]: Taking taylor expansion of 1.0 in z
5.101 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
5.101 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.101 * [taylor]: Taking taylor expansion of 3.0 in z
5.103 * [taylor]: Taking taylor expansion of (/ (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t
5.103 * [taylor]: Taking taylor expansion of (* (cbrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
5.103 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.103 * [taylor]: Taking taylor expansion of 1.0 in t
5.103 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
5.103 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.104 * [taylor]: Taking taylor expansion of 3.0 in t
5.108 * [taylor]: Taking taylor expansion of 0 in y
5.108 * [taylor]: Taking taylor expansion of 0 in z
5.108 * [taylor]: Taking taylor expansion of 0 in t
5.110 * [taylor]: Taking taylor expansion of 0 in z
5.110 * [taylor]: Taking taylor expansion of 0 in t
5.112 * [taylor]: Taking taylor expansion of 0 in t
5.118 * [taylor]: Taking taylor expansion of 0 in y
5.118 * [taylor]: Taking taylor expansion of 0 in z
5.118 * [taylor]: Taking taylor expansion of 0 in t
5.118 * [taylor]: Taking taylor expansion of 0 in z
5.118 * [taylor]: Taking taylor expansion of 0 in t
5.120 * [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
5.120 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in t
5.120 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in t
5.120 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
5.120 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.120 * [taylor]: Taking taylor expansion of 1.0 in t
5.121 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.121 * [taylor]: Taking taylor expansion of 3.0 in t
5.122 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in z
5.122 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in z
5.122 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
5.123 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.123 * [taylor]: Taking taylor expansion of 1.0 in z
5.123 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.123 * [taylor]: Taking taylor expansion of 3.0 in z
5.125 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in y
5.125 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in y
5.125 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
5.125 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.125 * [taylor]: Taking taylor expansion of 1.0 in y
5.126 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.126 * [taylor]: Taking taylor expansion of 3.0 in y
5.128 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in x
5.128 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in x
5.128 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
5.128 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.128 * [taylor]: Taking taylor expansion of 1.0 in x
5.129 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.129 * [taylor]: Taking taylor expansion of 3.0 in x
5.130 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in x
5.131 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in x
5.131 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
5.131 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x
5.131 * [taylor]: Taking taylor expansion of 1.0 in x
5.131 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.131 * [taylor]: Taking taylor expansion of 3.0 in x
5.133 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in y
5.133 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in y
5.133 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
5.133 * [taylor]: Taking taylor expansion of (cbrt 1.0) in y
5.133 * [taylor]: Taking taylor expansion of 1.0 in y
5.134 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y
5.134 * [taylor]: Taking taylor expansion of 3.0 in y
5.136 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in z
5.136 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in z
5.136 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
5.136 * [taylor]: Taking taylor expansion of (cbrt 1.0) in z
5.136 * [taylor]: Taking taylor expansion of 1.0 in z
5.137 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z
5.137 * [taylor]: Taking taylor expansion of 3.0 in z
5.138 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) (cbrt 3.0)) in t
5.138 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (cbrt 1.0)) in t
5.139 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
5.139 * [taylor]: Taking taylor expansion of (cbrt 1.0) in t
5.139 * [taylor]: Taking taylor expansion of 1.0 in t
5.139 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t
5.139 * [taylor]: Taking taylor expansion of 3.0 in t
5.143 * [taylor]: Taking taylor expansion of 0 in y
5.144 * [taylor]: Taking taylor expansion of 0 in z
5.144 * [taylor]: Taking taylor expansion of 0 in t
5.145 * [taylor]: Taking taylor expansion of 0 in z
5.145 * [taylor]: Taking taylor expansion of 0 in t
5.147 * [taylor]: Taking taylor expansion of 0 in t
5.153 * [taylor]: Taking taylor expansion of 0 in y
5.154 * [taylor]: Taking taylor expansion of 0 in z
5.154 * [taylor]: Taking taylor expansion of 0 in t
5.154 * [taylor]: Taking taylor expansion of 0 in z
5.154 * [taylor]: Taking taylor expansion of 0 in t
5.154 * * * [progress]: simplifying candidates
5.158 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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))
  (* (/ (* 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))
  (- (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))
  (* (/ (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))
5.174 * * [simplify]: iteration  0 :  299  enodes  (cost  3999 )
5.233 * * [simplify]: iteration  1 :  800  enodes  (cost  3844 )
5.583 * * [simplify]: iteration  2 :  3421  enodes  (cost  3272 )
6.254 * * [simplify]: iteration  done :  5001  enodes  (cost  3272 )
6.256 * [simplify]: Simplified to:
   (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)
  (* 2.0 (/ z (/ x (* y 27.0))))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 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))
  (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 (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 (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))
  (/ 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.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))
  (/ (* (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 (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))
  (/ (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.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.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))
  (* (/ (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))))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0))
  (* (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)) (/ (* (pow t 2) x) (* z y)))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (- (* +nan.0 (- (/ x (* z y)) (/ 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))
6.257 * * * [progress]: adding candidates to table
6.976 * * [progress]: iteration 3 / 4
6.976 * * * [progress]: picking best candidate
6.979 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 1.0 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>
6.979 * * * [progress]: localizing error
6.993 * * * [progress]: generating rewritten candidates
6.993 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
7.004 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
7.035 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.038 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 1 2)
7.046 * * * [progress]: generating series expansions
7.046 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
7.046 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0
7.046 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z
7.046 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.046 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
7.046 * [taylor]: Taking taylor expansion of x in z
7.046 * [taylor]: Taking taylor expansion of (* z y) in z
7.046 * [taylor]: Taking taylor expansion of z in z
7.046 * [taylor]: Taking taylor expansion of y in z
7.047 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y
7.047 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.047 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
7.047 * [taylor]: Taking taylor expansion of x in y
7.047 * [taylor]: Taking taylor expansion of (* z y) in y
7.047 * [taylor]: Taking taylor expansion of z in y
7.047 * [taylor]: Taking taylor expansion of y in y
7.048 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
7.048 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.048 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.048 * [taylor]: Taking taylor expansion of x in x
7.048 * [taylor]: Taking taylor expansion of (* z y) in x
7.048 * [taylor]: Taking taylor expansion of z in x
7.048 * [taylor]: Taking taylor expansion of y in x
7.048 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x
7.048 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.048 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.048 * [taylor]: Taking taylor expansion of x in x
7.048 * [taylor]: Taking taylor expansion of (* z y) in x
7.048 * [taylor]: Taking taylor expansion of z in x
7.048 * [taylor]: Taking taylor expansion of y in x
7.048 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y
7.048 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.048 * [taylor]: Taking taylor expansion of (* z y) in y
7.048 * [taylor]: Taking taylor expansion of z in y
7.048 * [taylor]: Taking taylor expansion of y in y
7.048 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z
7.048 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.048 * [taylor]: Taking taylor expansion of z in z
7.049 * [taylor]: Taking taylor expansion of 0 in y
7.050 * [taylor]: Taking taylor expansion of 0 in z
7.051 * [taylor]: Taking taylor expansion of 0 in y
7.051 * [taylor]: Taking taylor expansion of 0 in z
7.052 * [taylor]: Taking taylor expansion of 0 in z
7.054 * [taylor]: Taking taylor expansion of 0 in y
7.054 * [taylor]: Taking taylor expansion of 0 in z
7.054 * [taylor]: Taking taylor expansion of 0 in z
7.055 * [taylor]: Taking taylor expansion of 0 in z
7.055 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
7.055 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z
7.055 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.055 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.055 * [taylor]: Taking taylor expansion of (* z y) in z
7.055 * [taylor]: Taking taylor expansion of z in z
7.055 * [taylor]: Taking taylor expansion of y in z
7.055 * [taylor]: Taking taylor expansion of x in z
7.056 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y
7.056 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.056 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.056 * [taylor]: Taking taylor expansion of (* z y) in y
7.056 * [taylor]: Taking taylor expansion of z in y
7.056 * [taylor]: Taking taylor expansion of y in y
7.056 * [taylor]: Taking taylor expansion of x in y
7.056 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
7.056 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.056 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.056 * [taylor]: Taking taylor expansion of (* z y) in x
7.056 * [taylor]: Taking taylor expansion of z in x
7.056 * [taylor]: Taking taylor expansion of y in x
7.056 * [taylor]: Taking taylor expansion of x in x
7.056 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x
7.056 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.056 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.056 * [taylor]: Taking taylor expansion of (* z y) in x
7.056 * [taylor]: Taking taylor expansion of z in x
7.056 * [taylor]: Taking taylor expansion of y in x
7.056 * [taylor]: Taking taylor expansion of x in x
7.057 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y
7.057 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.057 * [taylor]: Taking taylor expansion of (* z y) in y
7.057 * [taylor]: Taking taylor expansion of z in y
7.057 * [taylor]: Taking taylor expansion of y in y
7.057 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
7.057 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.057 * [taylor]: Taking taylor expansion of z in z
7.059 * [taylor]: Taking taylor expansion of 0 in y
7.059 * [taylor]: Taking taylor expansion of 0 in z
7.060 * [taylor]: Taking taylor expansion of 0 in z
7.062 * [taylor]: Taking taylor expansion of 0 in y
7.062 * [taylor]: Taking taylor expansion of 0 in z
7.062 * [taylor]: Taking taylor expansion of 0 in z
7.063 * [taylor]: Taking taylor expansion of 0 in z
7.064 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0
7.064 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z
7.064 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
7.064 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.064 * [taylor]: Taking taylor expansion of (* z y) in z
7.064 * [taylor]: Taking taylor expansion of z in z
7.064 * [taylor]: Taking taylor expansion of y in z
7.064 * [taylor]: Taking taylor expansion of x in z
7.064 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y
7.064 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.064 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.064 * [taylor]: Taking taylor expansion of (* z y) in y
7.064 * [taylor]: Taking taylor expansion of z in y
7.064 * [taylor]: Taking taylor expansion of y in y
7.064 * [taylor]: Taking taylor expansion of x in y
7.065 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
7.065 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.065 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.065 * [taylor]: Taking taylor expansion of (* z y) in x
7.065 * [taylor]: Taking taylor expansion of z in x
7.065 * [taylor]: Taking taylor expansion of y in x
7.065 * [taylor]: Taking taylor expansion of x in x
7.065 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x
7.065 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.065 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.065 * [taylor]: Taking taylor expansion of (* z y) in x
7.065 * [taylor]: Taking taylor expansion of z in x
7.065 * [taylor]: Taking taylor expansion of y in x
7.065 * [taylor]: Taking taylor expansion of x in x
7.065 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y
7.065 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.065 * [taylor]: Taking taylor expansion of (* z y) in y
7.065 * [taylor]: Taking taylor expansion of z in y
7.065 * [taylor]: Taking taylor expansion of y in y
7.066 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z
7.066 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z
7.066 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.066 * [taylor]: Taking taylor expansion of z in z
7.068 * [taylor]: Taking taylor expansion of 0 in y
7.068 * [taylor]: Taking taylor expansion of 0 in z
7.069 * [taylor]: Taking taylor expansion of 0 in z
7.071 * [taylor]: Taking taylor expansion of 0 in y
7.071 * [taylor]: Taking taylor expansion of 0 in z
7.072 * [taylor]: Taking taylor expansion of 0 in z
7.073 * [taylor]: Taking taylor expansion of 0 in z
7.073 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
7.073 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0
7.073 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t
7.073 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.073 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t
7.073 * [taylor]: Taking taylor expansion of (sqrt t) in t
7.073 * [taylor]: Taking taylor expansion of t in t
7.075 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t
7.075 * [taylor]: Taking taylor expansion of x in t
7.075 * [taylor]: Taking taylor expansion of (* z y) in t
7.075 * [taylor]: Taking taylor expansion of z in t
7.075 * [taylor]: Taking taylor expansion of y in t
7.075 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z
7.075 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.075 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z
7.075 * [taylor]: Taking taylor expansion of (sqrt t) in z
7.075 * [taylor]: Taking taylor expansion of t in z
7.075 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z
7.075 * [taylor]: Taking taylor expansion of x in z
7.075 * [taylor]: Taking taylor expansion of (* z y) in z
7.075 * [taylor]: Taking taylor expansion of z in z
7.075 * [taylor]: Taking taylor expansion of y in z
7.075 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y
7.075 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.075 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y
7.075 * [taylor]: Taking taylor expansion of (sqrt t) in y
7.075 * [taylor]: Taking taylor expansion of t in y
7.075 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y
7.075 * [taylor]: Taking taylor expansion of x in y
7.076 * [taylor]: Taking taylor expansion of (* z y) in y
7.076 * [taylor]: Taking taylor expansion of z in y
7.076 * [taylor]: Taking taylor expansion of y in y
7.076 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
7.076 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.076 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
7.076 * [taylor]: Taking taylor expansion of (sqrt t) in x
7.076 * [taylor]: Taking taylor expansion of t in x
7.076 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.076 * [taylor]: Taking taylor expansion of x in x
7.076 * [taylor]: Taking taylor expansion of (* z y) in x
7.076 * [taylor]: Taking taylor expansion of z in x
7.076 * [taylor]: Taking taylor expansion of y in x
7.076 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x
7.076 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.076 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x
7.076 * [taylor]: Taking taylor expansion of (sqrt t) in x
7.076 * [taylor]: Taking taylor expansion of t in x
7.076 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x
7.076 * [taylor]: Taking taylor expansion of x in x
7.076 * [taylor]: Taking taylor expansion of (* z y) in x
7.076 * [taylor]: Taking taylor expansion of z in x
7.076 * [taylor]: Taking taylor expansion of y in x
7.077 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y
7.077 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.077 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y
7.077 * [taylor]: Taking taylor expansion of (sqrt t) in y
7.077 * [taylor]: Taking taylor expansion of t in y
7.077 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
7.077 * [taylor]: Taking taylor expansion of (* z y) in y
7.077 * [taylor]: Taking taylor expansion of z in y
7.077 * [taylor]: Taking taylor expansion of y in y
7.077 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z
7.077 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.077 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z
7.077 * [taylor]: Taking taylor expansion of (sqrt t) in z
7.077 * [taylor]: Taking taylor expansion of t in z
7.077 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.077 * [taylor]: Taking taylor expansion of z in z
7.078 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t
7.078 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.078 * [taylor]: Taking taylor expansion of (sqrt t) in t
7.078 * [taylor]: Taking taylor expansion of t in t
7.080 * [taylor]: Taking taylor expansion of 0 in y
7.081 * [taylor]: Taking taylor expansion of 0 in z
7.082 * [taylor]: Taking taylor expansion of 0 in t
7.088 * [taylor]: Taking taylor expansion of 0 in y
7.088 * [taylor]: Taking taylor expansion of 0 in z
7.090 * [taylor]: Taking taylor expansion of 0 in z
7.090 * [taylor]: Taking taylor expansion of 0 in t
7.092 * [taylor]: Taking taylor expansion of 0 in t
7.098 * [taylor]: Taking taylor expansion of 0 in y
7.098 * [taylor]: Taking taylor expansion of 0 in z
7.098 * [taylor]: Taking taylor expansion of 0 in z
7.100 * [taylor]: Taking taylor expansion of 0 in z
7.100 * [taylor]: Taking taylor expansion of 0 in t
7.100 * [taylor]: Taking taylor expansion of 0 in t
7.100 * [taylor]: Taking taylor expansion of 0 in t
7.102 * [taylor]: Taking taylor expansion of 0 in t
7.104 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0
7.104 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t
7.104 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.104 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t
7.104 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
7.104 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.104 * [taylor]: Taking taylor expansion of t in t
7.105 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t
7.105 * [taylor]: Taking taylor expansion of (* z y) in t
7.105 * [taylor]: Taking taylor expansion of z in t
7.105 * [taylor]: Taking taylor expansion of y in t
7.105 * [taylor]: Taking taylor expansion of x in t
7.105 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z
7.105 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.105 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z
7.105 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
7.105 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.105 * [taylor]: Taking taylor expansion of t in z
7.105 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z
7.105 * [taylor]: Taking taylor expansion of (* z y) in z
7.105 * [taylor]: Taking taylor expansion of z in z
7.105 * [taylor]: Taking taylor expansion of y in z
7.105 * [taylor]: Taking taylor expansion of x in z
7.106 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y
7.106 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.106 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y
7.106 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
7.106 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.106 * [taylor]: Taking taylor expansion of t in y
7.106 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y
7.106 * [taylor]: Taking taylor expansion of (* z y) in y
7.106 * [taylor]: Taking taylor expansion of z in y
7.106 * [taylor]: Taking taylor expansion of y in y
7.106 * [taylor]: Taking taylor expansion of x in y
7.107 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
7.107 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.107 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
7.107 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
7.107 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.107 * [taylor]: Taking taylor expansion of t in x
7.107 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.107 * [taylor]: Taking taylor expansion of (* z y) in x
7.107 * [taylor]: Taking taylor expansion of z in x
7.107 * [taylor]: Taking taylor expansion of y in x
7.107 * [taylor]: Taking taylor expansion of x in x
7.107 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x
7.107 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x
7.107 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x
7.107 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x
7.107 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.107 * [taylor]: Taking taylor expansion of t in x
7.107 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x
7.107 * [taylor]: Taking taylor expansion of (* z y) in x
7.107 * [taylor]: Taking taylor expansion of z in x
7.107 * [taylor]: Taking taylor expansion of y in x
7.107 * [taylor]: Taking taylor expansion of x in x
7.107 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y
7.108 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
7.108 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y
7.108 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y
7.108 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.108 * [taylor]: Taking taylor expansion of t in y
7.108 * [taylor]: Taking taylor expansion of (* z y) in y
7.108 * [taylor]: Taking taylor expansion of z in y
7.108 * [taylor]: Taking taylor expansion of y in y
7.109 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z
7.109 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.109 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z
7.109 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z
7.109 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.109 * [taylor]: Taking taylor expansion of t in z
7.109 * [taylor]: Taking taylor expansion of z in z
7.110 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t
7.110 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.110 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t
7.110 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.110 * [taylor]: Taking taylor expansion of t in t
7.112 * [taylor]: Taking taylor expansion of 0 in y
7.112 * [taylor]: Taking taylor expansion of 0 in z
7.112 * [taylor]: Taking taylor expansion of 0 in t
7.114 * [taylor]: Taking taylor expansion of 0 in z
7.114 * [taylor]: Taking taylor expansion of 0 in t
7.116 * [taylor]: Taking taylor expansion of 0 in t
7.119 * [taylor]: Taking taylor expansion of 0 in y
7.119 * [taylor]: Taking taylor expansion of 0 in z
7.119 * [taylor]: Taking taylor expansion of 0 in t
7.119 * [taylor]: Taking taylor expansion of 0 in z
7.119 * [taylor]: Taking taylor expansion of 0 in t
7.122 * [taylor]: Taking taylor expansion of 0 in z
7.122 * [taylor]: Taking taylor expansion of 0 in t
7.122 * [taylor]: Taking taylor expansion of 0 in t
7.122 * [taylor]: Taking taylor expansion of 0 in t
7.124 * [taylor]: Taking taylor expansion of 0 in t
7.131 * [taylor]: Taking taylor expansion of 0 in y
7.131 * [taylor]: Taking taylor expansion of 0 in z
7.131 * [taylor]: Taking taylor expansion of 0 in t
7.131 * [taylor]: Taking taylor expansion of 0 in z
7.131 * [taylor]: Taking taylor expansion of 0 in t
7.131 * [taylor]: Taking taylor expansion of 0 in z
7.131 * [taylor]: Taking taylor expansion of 0 in t
7.134 * [taylor]: Taking taylor expansion of 0 in z
7.134 * [taylor]: Taking taylor expansion of 0 in t
7.134 * [taylor]: Taking taylor expansion of 0 in t
7.134 * [taylor]: Taking taylor expansion of 0 in t
7.134 * [taylor]: Taking taylor expansion of 0 in t
7.134 * [taylor]: Taking taylor expansion of 0 in t
7.135 * [taylor]: Taking taylor expansion of 0 in t
7.137 * [taylor]: Taking taylor expansion of 0 in t
7.138 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0
7.138 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t
7.138 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t
7.138 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t
7.138 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t
7.138 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
7.138 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.138 * [taylor]: Taking taylor expansion of -1 in t
7.138 * [taylor]: Taking taylor expansion of t in t
7.139 * [taylor]: Taking taylor expansion of (* z y) in t
7.139 * [taylor]: Taking taylor expansion of z in t
7.139 * [taylor]: Taking taylor expansion of y in t
7.139 * [taylor]: Taking taylor expansion of x in t
7.140 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z
7.140 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z
7.140 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z
7.140 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z
7.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
7.140 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.140 * [taylor]: Taking taylor expansion of -1 in z
7.140 * [taylor]: Taking taylor expansion of t in z
7.140 * [taylor]: Taking taylor expansion of (* z y) in z
7.140 * [taylor]: Taking taylor expansion of z in z
7.140 * [taylor]: Taking taylor expansion of y in z
7.140 * [taylor]: Taking taylor expansion of x in z
7.141 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y
7.141 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.141 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y
7.141 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
7.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
7.141 * [taylor]: Taking taylor expansion of (/ -1 t) in y
7.141 * [taylor]: Taking taylor expansion of -1 in y
7.141 * [taylor]: Taking taylor expansion of t in y
7.141 * [taylor]: Taking taylor expansion of (* z y) in y
7.141 * [taylor]: Taking taylor expansion of z in y
7.141 * [taylor]: Taking taylor expansion of y in y
7.141 * [taylor]: Taking taylor expansion of x in y
7.142 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
7.142 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.142 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
7.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
7.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
7.142 * [taylor]: Taking taylor expansion of (/ -1 t) in x
7.142 * [taylor]: Taking taylor expansion of -1 in x
7.142 * [taylor]: Taking taylor expansion of t in x
7.142 * [taylor]: Taking taylor expansion of (* z y) in x
7.142 * [taylor]: Taking taylor expansion of z in x
7.142 * [taylor]: Taking taylor expansion of y in x
7.142 * [taylor]: Taking taylor expansion of x in x
7.142 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x
7.142 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x
7.142 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x
7.142 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x
7.142 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x
7.142 * [taylor]: Taking taylor expansion of (/ -1 t) in x
7.142 * [taylor]: Taking taylor expansion of -1 in x
7.142 * [taylor]: Taking taylor expansion of t in x
7.143 * [taylor]: Taking taylor expansion of (* z y) in x
7.143 * [taylor]: Taking taylor expansion of z in x
7.143 * [taylor]: Taking taylor expansion of y in x
7.143 * [taylor]: Taking taylor expansion of x in x
7.143 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y
7.143 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y
7.143 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y
7.143 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y
7.143 * [taylor]: Taking taylor expansion of (/ -1 t) in y
7.143 * [taylor]: Taking taylor expansion of -1 in y
7.143 * [taylor]: Taking taylor expansion of t in y
7.143 * [taylor]: Taking taylor expansion of (* z y) in y
7.143 * [taylor]: Taking taylor expansion of z in y
7.143 * [taylor]: Taking taylor expansion of y in y
7.144 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z
7.144 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z
7.144 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z
7.144 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z
7.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
7.145 * [taylor]: Taking taylor expansion of (/ -1 t) in z
7.145 * [taylor]: Taking taylor expansion of -1 in z
7.145 * [taylor]: Taking taylor expansion of t in z
7.145 * [taylor]: Taking taylor expansion of z in z
7.145 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t
7.145 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t
7.145 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t
7.145 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
7.145 * [taylor]: Taking taylor expansion of (/ -1 t) in t
7.145 * [taylor]: Taking taylor expansion of -1 in t
7.146 * [taylor]: Taking taylor expansion of t in t
7.150 * [taylor]: Taking taylor expansion of 0 in y
7.150 * [taylor]: Taking taylor expansion of 0 in z
7.150 * [taylor]: Taking taylor expansion of 0 in t
7.151 * [taylor]: Taking taylor expansion of 0 in z
7.152 * [taylor]: Taking taylor expansion of 0 in t
7.153 * [taylor]: Taking taylor expansion of 0 in t
7.160 * [taylor]: Taking taylor expansion of 0 in y
7.160 * [taylor]: Taking taylor expansion of 0 in z
7.160 * [taylor]: Taking taylor expansion of 0 in t
7.160 * [taylor]: Taking taylor expansion of 0 in z
7.160 * [taylor]: Taking taylor expansion of 0 in t
7.162 * [taylor]: Taking taylor expansion of 0 in z
7.162 * [taylor]: Taking taylor expansion of 0 in t
7.162 * [taylor]: Taking taylor expansion of 0 in t
7.162 * [taylor]: Taking taylor expansion of 0 in t
7.164 * [taylor]: Taking taylor expansion of 0 in t
7.165 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.166 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0
7.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
7.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.166 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
7.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
7.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.166 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
7.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
7.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.166 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
7.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
7.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.166 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
7.166 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x
7.166 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.166 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x
7.167 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y
7.167 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.167 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y
7.167 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z
7.167 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.167 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z
7.167 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t
7.167 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.167 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t
7.168 * [taylor]: Taking taylor expansion of 0 in y
7.168 * [taylor]: Taking taylor expansion of 0 in z
7.168 * [taylor]: Taking taylor expansion of 0 in t
7.168 * [taylor]: Taking taylor expansion of 0 in z
7.168 * [taylor]: Taking taylor expansion of 0 in t
7.169 * [taylor]: Taking taylor expansion of 0 in t
7.173 * [taylor]: Taking taylor expansion of 0 in y
7.173 * [taylor]: Taking taylor expansion of 0 in z
7.173 * [taylor]: Taking taylor expansion of 0 in t
7.173 * [taylor]: Taking taylor expansion of 0 in z
7.173 * [taylor]: Taking taylor expansion of 0 in t
7.173 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0
7.173 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
7.173 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.173 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
7.173 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
7.173 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.173 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
7.174 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
7.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.174 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
7.174 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
7.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.174 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
7.174 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x
7.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.174 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x
7.174 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y
7.174 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.174 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y
7.175 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z
7.175 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.175 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z
7.175 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t
7.175 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.175 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t
7.176 * [taylor]: Taking taylor expansion of 0 in y
7.176 * [taylor]: Taking taylor expansion of 0 in z
7.176 * [taylor]: Taking taylor expansion of 0 in t
7.176 * [taylor]: Taking taylor expansion of 0 in z
7.176 * [taylor]: Taking taylor expansion of 0 in t
7.177 * [taylor]: Taking taylor expansion of 0 in t
7.178 * [taylor]: Taking taylor expansion of 0 in y
7.178 * [taylor]: Taking taylor expansion of 0 in z
7.178 * [taylor]: Taking taylor expansion of 0 in t
7.178 * [taylor]: Taking taylor expansion of 0 in z
7.178 * [taylor]: Taking taylor expansion of 0 in t
7.178 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0
7.178 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
7.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.178 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
7.179 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
7.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.179 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
7.179 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
7.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.179 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
7.179 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
7.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.179 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
7.179 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x
7.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
7.179 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x
7.179 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y
7.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
7.179 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y
7.180 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z
7.180 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
7.180 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z
7.180 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t
7.180 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
7.180 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t
7.181 * [taylor]: Taking taylor expansion of 0 in y
7.181 * [taylor]: Taking taylor expansion of 0 in z
7.181 * [taylor]: Taking taylor expansion of 0 in t
7.182 * [taylor]: Taking taylor expansion of 0 in z
7.182 * [taylor]: Taking taylor expansion of 0 in t
7.182 * [taylor]: Taking taylor expansion of 0 in t
7.183 * [taylor]: Taking taylor expansion of 0 in y
7.183 * [taylor]: Taking taylor expansion of 0 in z
7.184 * [taylor]: Taking taylor expansion of 0 in t
7.184 * [taylor]: Taking taylor expansion of 0 in z
7.184 * [taylor]: Taking taylor expansion of 0 in t
7.184 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 1 2)
7.184 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0
7.184 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y
7.184 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.184 * [taylor]: Taking taylor expansion of (/ x y) in y
7.184 * [taylor]: Taking taylor expansion of x in y
7.184 * [taylor]: Taking taylor expansion of y in y
7.184 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
7.184 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.184 * [taylor]: Taking taylor expansion of (/ x y) in x
7.184 * [taylor]: Taking taylor expansion of x in x
7.184 * [taylor]: Taking taylor expansion of y in x
7.184 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x
7.184 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.184 * [taylor]: Taking taylor expansion of (/ x y) in x
7.184 * [taylor]: Taking taylor expansion of x in x
7.184 * [taylor]: Taking taylor expansion of y in x
7.184 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y
7.184 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.184 * [taylor]: Taking taylor expansion of y in y
7.185 * [taylor]: Taking taylor expansion of 0 in y
7.187 * [taylor]: Taking taylor expansion of 0 in y
7.188 * [taylor]: Taking taylor expansion of 0 in y
7.189 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
7.189 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
7.189 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.189 * [taylor]: Taking taylor expansion of (/ y x) in y
7.189 * [taylor]: Taking taylor expansion of y in y
7.189 * [taylor]: Taking taylor expansion of x in y
7.189 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.189 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.189 * [taylor]: Taking taylor expansion of (/ y x) in x
7.189 * [taylor]: Taking taylor expansion of y in x
7.189 * [taylor]: Taking taylor expansion of x in x
7.189 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.189 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.189 * [taylor]: Taking taylor expansion of (/ y x) in x
7.189 * [taylor]: Taking taylor expansion of y in x
7.189 * [taylor]: Taking taylor expansion of x in x
7.189 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
7.189 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.189 * [taylor]: Taking taylor expansion of y in y
7.191 * [taylor]: Taking taylor expansion of 0 in y
7.193 * [taylor]: Taking taylor expansion of 0 in y
7.195 * [taylor]: Taking taylor expansion of 0 in y
7.195 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0
7.195 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y
7.195 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.195 * [taylor]: Taking taylor expansion of (/ y x) in y
7.195 * [taylor]: Taking taylor expansion of y in y
7.196 * [taylor]: Taking taylor expansion of x in y
7.196 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.196 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.196 * [taylor]: Taking taylor expansion of (/ y x) in x
7.196 * [taylor]: Taking taylor expansion of y in x
7.196 * [taylor]: Taking taylor expansion of x in x
7.196 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x
7.196 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x
7.196 * [taylor]: Taking taylor expansion of (/ y x) in x
7.196 * [taylor]: Taking taylor expansion of y in x
7.196 * [taylor]: Taking taylor expansion of x in x
7.196 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y
7.196 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
7.196 * [taylor]: Taking taylor expansion of y in y
7.198 * [taylor]: Taking taylor expansion of 0 in y
7.199 * [taylor]: Taking taylor expansion of 0 in y
7.202 * [taylor]: Taking taylor expansion of 0 in y
7.202 * * * [progress]: simplifying candidates
7.204 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (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))
  (* (/ (* 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))
  (- (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (log 3.0))
  (log (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (exp (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 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)))) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)) (cbrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))
  (cbrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (* (* (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (sqrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (sqrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (- (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (- 3.0)
  (/ (/ PI 2) 3.0)
  (/ (asin (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 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 3.0) (cbrt 3.0)))
  (/ (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (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))))) (sqrt 3.0))
  (/ (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 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)
  (/ (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt 3.0))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 1)
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0))
  (/ 1 1)
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)
  (/ 1 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))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 1)
  (/ 3.0 (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ 3.0 (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ 3.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (- (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))
7.211 * * [simplify]: iteration  0 :  236  enodes  (cost  2616 )
7.255 * * [simplify]: iteration  1 :  658  enodes  (cost  2496 )
7.549 * * [simplify]: iteration  2 :  3035  enodes  (cost  1952 )
8.189 * * [simplify]: iteration  done :  5000  enodes  (cost  1952 )
8.190 * [simplify]: Simplified to:
   (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)
  (* 2.0 (/ z (/ x (* y 27.0))))
  (* (* z 2.0) (* y 27.0))
  (* (/ (* 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))
  (log (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (log (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (exp (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (pow (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0) 3)
  (* (cbrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)) (cbrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))
  (cbrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (pow (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0) 3)
  (sqrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (sqrt (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0))
  (- (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (- 3.0)
  (/ (/ PI 2) 3.0)
  (/ (asin (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 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 3.0) (cbrt 3.0)))
  (/ (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (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))))) (sqrt 3.0))
  (/ (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 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 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt 3.0))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0))
  (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (/ (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0))
  1
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)
  (/ 1 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))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0))
  (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))
  (/ 3.0 (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ 3.0 (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))
  (/ 3.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
  (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)))
  (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y)))))
  (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y))))))
  (- (* +nan.0 (- (/ x (* z y)) (/ 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))
8.191 * * * [progress]: adding candidates to table
8.460 * [progress]: [Phase 3 of 3] Extracting.
8.460 * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.461 * * * [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)
8.461 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.481 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.499 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.516 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.535 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.552 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.571 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.591 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.611 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.629 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.646 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.665 * * * * [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 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0)))>)
8.682 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.682 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (* (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)))))
8.683 * * [simplify]: iteration  0 :  24  enodes  (cost  33 )
8.683 * * [simplify]: iteration  1 :  30  enodes  (cost  33 )
8.684 * * [simplify]: iteration  done :  30  enodes  (cost  33 )
8.684 * [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)))))
11.176 * [regime-testing]: Baseline error score: 0.3290457773070516
11.176 * [regime-testing]: Oracle error score: 0.31659608525338806
11.177 * [regime-testing]: End program error score: 0.3290457773070516
11.214 * [regime-testing]: Target error score: 1.2746317952766109