5.325 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.326 * * * [progress]: [2/2] Setting up program.
1.327 * [progress]: [Phase 2 of 3] Improving.
1.329 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
1.339 * * [simplify]: iteration  0 :  25  enodes  (cost  16 )
1.339 * * [simplify]: iteration  1 :  25  enodes  (cost  16 )
1.339 * [simplify]: Simplified to:
   (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
1.340 * * [progress]: iteration 1 / 4
1.340 * * * [progress]: picking best candidate
1.341 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))>
1.341 * * * [progress]: localizing error
1.349 * * * [progress]: generating rewritten candidates
1.349 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
1.354 * * * [progress]: generating series expansions
1.354 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
1.355 * [approximate]: Taking taylor expansion of (+ (* x y) (* t z)) in (x y z t) around 0
1.355 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in t
1.355 * [taylor]: Taking taylor expansion of (* x y) in t
1.355 * [taylor]: Taking taylor expansion of x in t
1.355 * [taylor]: Taking taylor expansion of y in t
1.355 * [taylor]: Taking taylor expansion of (* t z) in t
1.355 * [taylor]: Taking taylor expansion of t in t
1.355 * [taylor]: Taking taylor expansion of z in t
1.355 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in z
1.355 * [taylor]: Taking taylor expansion of (* x y) in z
1.355 * [taylor]: Taking taylor expansion of x in z
1.355 * [taylor]: Taking taylor expansion of y in z
1.355 * [taylor]: Taking taylor expansion of (* t z) in z
1.355 * [taylor]: Taking taylor expansion of t in z
1.355 * [taylor]: Taking taylor expansion of z in z
1.355 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in y
1.355 * [taylor]: Taking taylor expansion of (* x y) in y
1.355 * [taylor]: Taking taylor expansion of x in y
1.355 * [taylor]: Taking taylor expansion of y in y
1.355 * [taylor]: Taking taylor expansion of (* t z) in y
1.355 * [taylor]: Taking taylor expansion of t in y
1.355 * [taylor]: Taking taylor expansion of z in y
1.355 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in x
1.355 * [taylor]: Taking taylor expansion of (* x y) in x
1.355 * [taylor]: Taking taylor expansion of x in x
1.355 * [taylor]: Taking taylor expansion of y in x
1.355 * [taylor]: Taking taylor expansion of (* t z) in x
1.355 * [taylor]: Taking taylor expansion of t in x
1.355 * [taylor]: Taking taylor expansion of z in x
1.355 * [taylor]: Taking taylor expansion of (+ (* x y) (* t z)) in x
1.355 * [taylor]: Taking taylor expansion of (* x y) in x
1.355 * [taylor]: Taking taylor expansion of x in x
1.355 * [taylor]: Taking taylor expansion of y in x
1.355 * [taylor]: Taking taylor expansion of (* t z) in x
1.355 * [taylor]: Taking taylor expansion of t in x
1.355 * [taylor]: Taking taylor expansion of z in x
1.356 * [taylor]: Taking taylor expansion of (* t z) in y
1.356 * [taylor]: Taking taylor expansion of t in y
1.356 * [taylor]: Taking taylor expansion of z in y
1.356 * [taylor]: Taking taylor expansion of (* t z) in z
1.356 * [taylor]: Taking taylor expansion of t in z
1.356 * [taylor]: Taking taylor expansion of z in z
1.356 * [taylor]: Taking taylor expansion of 0 in t
1.357 * [taylor]: Taking taylor expansion of y in y
1.357 * [taylor]: Taking taylor expansion of 0 in z
1.357 * [taylor]: Taking taylor expansion of 0 in t
1.358 * [taylor]: Taking taylor expansion of 0 in z
1.358 * [taylor]: Taking taylor expansion of 0 in t
1.358 * [taylor]: Taking taylor expansion of t in t
1.359 * [taylor]: Taking taylor expansion of 0 in y
1.360 * [taylor]: Taking taylor expansion of 0 in z
1.360 * [taylor]: Taking taylor expansion of 0 in t
1.361 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0
1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.361 * [taylor]: Taking taylor expansion of (* t z) in t
1.361 * [taylor]: Taking taylor expansion of t in t
1.361 * [taylor]: Taking taylor expansion of z in t
1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.361 * [taylor]: Taking taylor expansion of (* x y) in t
1.361 * [taylor]: Taking taylor expansion of x in t
1.361 * [taylor]: Taking taylor expansion of y in t
1.362 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.362 * [taylor]: Taking taylor expansion of (* t z) in z
1.362 * [taylor]: Taking taylor expansion of t in z
1.362 * [taylor]: Taking taylor expansion of z in z
1.362 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.362 * [taylor]: Taking taylor expansion of (* x y) in z
1.362 * [taylor]: Taking taylor expansion of x in z
1.363 * [taylor]: Taking taylor expansion of y in z
1.363 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
1.363 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.363 * [taylor]: Taking taylor expansion of (* t z) in y
1.363 * [taylor]: Taking taylor expansion of t in y
1.363 * [taylor]: Taking taylor expansion of z in y
1.363 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.363 * [taylor]: Taking taylor expansion of (* x y) in y
1.363 * [taylor]: Taking taylor expansion of x in y
1.363 * [taylor]: Taking taylor expansion of y in y
1.364 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.364 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.364 * [taylor]: Taking taylor expansion of (* t z) in x
1.364 * [taylor]: Taking taylor expansion of t in x
1.364 * [taylor]: Taking taylor expansion of z in x
1.365 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.365 * [taylor]: Taking taylor expansion of (* x y) in x
1.365 * [taylor]: Taking taylor expansion of x in x
1.365 * [taylor]: Taking taylor expansion of y in x
1.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.365 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.365 * [taylor]: Taking taylor expansion of (* t z) in x
1.365 * [taylor]: Taking taylor expansion of t in x
1.365 * [taylor]: Taking taylor expansion of z in x
1.366 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.366 * [taylor]: Taking taylor expansion of (* x y) in x
1.366 * [taylor]: Taking taylor expansion of x in x
1.366 * [taylor]: Taking taylor expansion of y in x
1.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.367 * [taylor]: Taking taylor expansion of y in y
1.367 * [taylor]: Taking taylor expansion of 1 in z
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.369 * [taylor]: Taking taylor expansion of (* t z) in y
1.369 * [taylor]: Taking taylor expansion of t in y
1.369 * [taylor]: Taking taylor expansion of z in y
1.370 * [taylor]: Taking taylor expansion of 0 in z
1.370 * [taylor]: Taking taylor expansion of 1 in t
1.373 * [taylor]: Taking taylor expansion of 0 in y
1.373 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.373 * [taylor]: Taking taylor expansion of (* t z) in z
1.373 * [taylor]: Taking taylor expansion of t in z
1.373 * [taylor]: Taking taylor expansion of z in z
1.374 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.374 * [taylor]: Taking taylor expansion of t in t
1.375 * [taylor]: Taking taylor expansion of 0 in z
1.375 * [taylor]: Taking taylor expansion of 0 in t
1.375 * [taylor]: Taking taylor expansion of 0 in t
1.379 * [taylor]: Taking taylor expansion of 0 in y
1.379 * [taylor]: Taking taylor expansion of 0 in z
1.381 * [taylor]: Taking taylor expansion of 0 in z
1.382 * [taylor]: Taking taylor expansion of 0 in z
1.383 * [taylor]: Taking taylor expansion of 0 in t
1.383 * [taylor]: Taking taylor expansion of 0 in t
1.383 * [taylor]: Taking taylor expansion of 0 in t
1.383 * [taylor]: Taking taylor expansion of 0 in t
1.389 * [taylor]: Taking taylor expansion of 0 in y
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.389 * [taylor]: Taking taylor expansion of 0 in z
1.391 * [taylor]: Taking taylor expansion of 0 in z
1.392 * [taylor]: Taking taylor expansion of 0 in z
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.392 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.395 * [taylor]: Taking taylor expansion of 0 in t
1.399 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t
1.399 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.399 * [taylor]: Taking taylor expansion of (* t z) in t
1.399 * [taylor]: Taking taylor expansion of t in t
1.399 * [taylor]: Taking taylor expansion of z in t
1.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.400 * [taylor]: Taking taylor expansion of (* x y) in t
1.400 * [taylor]: Taking taylor expansion of x in t
1.400 * [taylor]: Taking taylor expansion of y in t
1.401 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z
1.401 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.401 * [taylor]: Taking taylor expansion of (* t z) in z
1.401 * [taylor]: Taking taylor expansion of t in z
1.401 * [taylor]: Taking taylor expansion of z in z
1.401 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.401 * [taylor]: Taking taylor expansion of (* x y) in z
1.401 * [taylor]: Taking taylor expansion of x in z
1.401 * [taylor]: Taking taylor expansion of y in z
1.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y
1.402 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.402 * [taylor]: Taking taylor expansion of (* t z) in y
1.402 * [taylor]: Taking taylor expansion of t in y
1.402 * [taylor]: Taking taylor expansion of z in y
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.403 * [taylor]: Taking taylor expansion of (* x y) in y
1.403 * [taylor]: Taking taylor expansion of x in y
1.403 * [taylor]: Taking taylor expansion of y in y
1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.403 * [taylor]: Taking taylor expansion of (* t z) in x
1.403 * [taylor]: Taking taylor expansion of t in x
1.403 * [taylor]: Taking taylor expansion of z in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.404 * [taylor]: Taking taylor expansion of (* x y) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of y in x
1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.404 * [taylor]: Taking taylor expansion of (* t z) in x
1.404 * [taylor]: Taking taylor expansion of t in x
1.404 * [taylor]: Taking taylor expansion of z in x
1.405 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.405 * [taylor]: Taking taylor expansion of (* x y) in x
1.405 * [taylor]: Taking taylor expansion of x in x
1.405 * [taylor]: Taking taylor expansion of y in x
1.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.406 * [taylor]: Taking taylor expansion of y in y
1.406 * [taylor]: Taking taylor expansion of 1 in z
1.407 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.407 * [taylor]: Taking taylor expansion of (* t z) in y
1.407 * [taylor]: Taking taylor expansion of t in y
1.407 * [taylor]: Taking taylor expansion of z in y
1.408 * [taylor]: Taking taylor expansion of 0 in z
1.408 * [taylor]: Taking taylor expansion of 1 in t
1.411 * [taylor]: Taking taylor expansion of 0 in y
1.411 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.411 * [taylor]: Taking taylor expansion of (* t z) in z
1.411 * [taylor]: Taking taylor expansion of t in z
1.411 * [taylor]: Taking taylor expansion of z in z
1.411 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.411 * [taylor]: Taking taylor expansion of t in t
1.412 * [taylor]: Taking taylor expansion of 0 in z
1.412 * [taylor]: Taking taylor expansion of 0 in t
1.412 * [taylor]: Taking taylor expansion of 0 in t
1.415 * [taylor]: Taking taylor expansion of 0 in y
1.415 * [taylor]: Taking taylor expansion of 0 in z
1.416 * [taylor]: Taking taylor expansion of 0 in z
1.417 * [taylor]: Taking taylor expansion of 0 in z
1.418 * [taylor]: Taking taylor expansion of 0 in t
1.418 * [taylor]: Taking taylor expansion of 0 in t
1.418 * [taylor]: Taking taylor expansion of 0 in t
1.418 * [taylor]: Taking taylor expansion of 0 in t
1.423 * [taylor]: Taking taylor expansion of 0 in y
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.423 * [taylor]: Taking taylor expansion of 0 in z
1.424 * [taylor]: Taking taylor expansion of 0 in z
1.425 * [taylor]: Taking taylor expansion of 0 in z
1.425 * [taylor]: Taking taylor expansion of 0 in t
1.425 * [taylor]: Taking taylor expansion of 0 in t
1.425 * [taylor]: Taking taylor expansion of 0 in t
1.427 * [taylor]: Taking taylor expansion of 0 in t
1.427 * [taylor]: Taking taylor expansion of 0 in t
1.427 * [taylor]: Taking taylor expansion of 0 in t
1.427 * [taylor]: Taking taylor expansion of 0 in t
1.430 * * * [progress]: simplifying candidates
1.430 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (*.f64 z t)))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (log.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
  (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (-.f64 (*.f64 x y) (*.f64 z t))
  0
  (+.f64 (*.f64 x y) (*.f64 t z))
  (+.f64 (*.f64 x y) (*.f64 t z))
1.494 * * [simplify]: iteration  0 :  4967  enodes  (cost  208 )
1.494 * * [simplify]: iteration  1 :  4967  enodes  (cost  208 )
1.496 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (log.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))) (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
  (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 z t)))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (-.f64 (*.f64 x y) (*.f64 z t))
  0
  (+.f64 (*.f64 x y) (*.f64 z t))
  (+.f64 (*.f64 x y) (*.f64 z t))
1.496 * * * [progress]: adding candidates to table
1.507 * * [progress]: iteration 2 / 4
1.507 * * * [progress]: picking best candidate
1.508 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>
1.508 * * * [progress]: localizing error
1.530 * * * [progress]: generating rewritten candidates
1.530 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.549 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
1.558 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.567 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.591 * * * [progress]: generating series expansions
1.591 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.594 * [approximate]: Taking taylor expansion of (/ (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y))))) in (x y z t) around 0
1.594 * [taylor]: Taking taylor expansion of (/ (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y))))) in t
1.594 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in t
1.594 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in t
1.594 * [taylor]: Taking taylor expansion of (pow t 3) in t
1.594 * [taylor]: Taking taylor expansion of t in t
1.594 * [taylor]: Taking taylor expansion of (pow z 3) in t
1.594 * [taylor]: Taking taylor expansion of z in t
1.594 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in t
1.594 * [taylor]: Taking taylor expansion of (pow x 3) in t
1.594 * [taylor]: Taking taylor expansion of x in t
1.594 * [taylor]: Taking taylor expansion of (pow y 3) in t
1.594 * [taylor]: Taking taylor expansion of y in t
1.594 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in t
1.594 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in t
1.594 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
1.594 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.594 * [taylor]: Taking taylor expansion of t in t
1.594 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.594 * [taylor]: Taking taylor expansion of z in t
1.595 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in t
1.595 * [taylor]: Taking taylor expansion of (pow x 2) in t
1.595 * [taylor]: Taking taylor expansion of x in t
1.595 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.595 * [taylor]: Taking taylor expansion of y in t
1.595 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
1.595 * [taylor]: Taking taylor expansion of t in t
1.595 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.595 * [taylor]: Taking taylor expansion of x in t
1.595 * [taylor]: Taking taylor expansion of (* z y) in t
1.595 * [taylor]: Taking taylor expansion of z in t
1.595 * [taylor]: Taking taylor expansion of y in t
1.599 * [taylor]: Taking taylor expansion of (/ (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y))))) in z
1.599 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in z
1.599 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
1.599 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.599 * [taylor]: Taking taylor expansion of t in z
1.599 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.599 * [taylor]: Taking taylor expansion of z in z
1.599 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.599 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.599 * [taylor]: Taking taylor expansion of x in z
1.599 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.599 * [taylor]: Taking taylor expansion of y in z
1.599 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in z
1.599 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in z
1.599 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.600 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.600 * [taylor]: Taking taylor expansion of t in z
1.600 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.600 * [taylor]: Taking taylor expansion of z in z
1.600 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z
1.600 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.600 * [taylor]: Taking taylor expansion of x in z
1.600 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.600 * [taylor]: Taking taylor expansion of y in z
1.600 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
1.600 * [taylor]: Taking taylor expansion of t in z
1.600 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.600 * [taylor]: Taking taylor expansion of x in z
1.600 * [taylor]: Taking taylor expansion of (* z y) in z
1.600 * [taylor]: Taking taylor expansion of z in z
1.600 * [taylor]: Taking taylor expansion of y in z
1.603 * [taylor]: Taking taylor expansion of (/ (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y))))) in y
1.604 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in y
1.604 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
1.604 * [taylor]: Taking taylor expansion of (pow t 3) in y
1.604 * [taylor]: Taking taylor expansion of t in y
1.604 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.604 * [taylor]: Taking taylor expansion of z in y
1.604 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.604 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.604 * [taylor]: Taking taylor expansion of x in y
1.604 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.604 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in y
1.604 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in y
1.604 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.604 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.604 * [taylor]: Taking taylor expansion of t in y
1.604 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.604 * [taylor]: Taking taylor expansion of z in y
1.604 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.604 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.604 * [taylor]: Taking taylor expansion of x in y
1.604 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.604 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
1.604 * [taylor]: Taking taylor expansion of t in y
1.604 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.604 * [taylor]: Taking taylor expansion of x in y
1.604 * [taylor]: Taking taylor expansion of (* z y) in y
1.604 * [taylor]: Taking taylor expansion of z in y
1.604 * [taylor]: Taking taylor expansion of y in y
1.608 * [taylor]: Taking taylor expansion of (/ (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y))))) in x
1.608 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in x
1.608 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.608 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.608 * [taylor]: Taking taylor expansion of t in x
1.608 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.608 * [taylor]: Taking taylor expansion of z in x
1.608 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.608 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.608 * [taylor]: Taking taylor expansion of x in x
1.608 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.608 * [taylor]: Taking taylor expansion of y in x
1.608 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in x
1.608 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in x
1.608 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.608 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.608 * [taylor]: Taking taylor expansion of t in x
1.608 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.608 * [taylor]: Taking taylor expansion of z in x
1.608 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.608 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.608 * [taylor]: Taking taylor expansion of x in x
1.608 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.608 * [taylor]: Taking taylor expansion of y in x
1.608 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.608 * [taylor]: Taking taylor expansion of t in x
1.608 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.609 * [taylor]: Taking taylor expansion of x in x
1.609 * [taylor]: Taking taylor expansion of (* z y) in x
1.609 * [taylor]: Taking taylor expansion of z in x
1.609 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (/ (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y))))) in x
1.614 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in x
1.614 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.614 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.614 * [taylor]: Taking taylor expansion of t in x
1.614 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.614 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in x
1.614 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in x
1.614 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.614 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.614 * [taylor]: Taking taylor expansion of t in x
1.614 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.614 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.614 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.614 * [taylor]: Taking taylor expansion of t in x
1.614 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [taylor]: Taking taylor expansion of (* z y) in x
1.614 * [taylor]: Taking taylor expansion of z in x
1.614 * [taylor]: Taking taylor expansion of y in x
1.618 * [taylor]: Taking taylor expansion of (* t z) in y
1.618 * [taylor]: Taking taylor expansion of t in y
1.618 * [taylor]: Taking taylor expansion of z in y
1.619 * [taylor]: Taking taylor expansion of (* t z) in z
1.619 * [taylor]: Taking taylor expansion of t in z
1.619 * [taylor]: Taking taylor expansion of z in z
1.619 * [taylor]: Taking taylor expansion of 0 in t
1.627 * [taylor]: Taking taylor expansion of y in y
1.627 * [taylor]: Taking taylor expansion of 0 in z
1.627 * [taylor]: Taking taylor expansion of 0 in t
1.627 * [taylor]: Taking taylor expansion of 0 in z
1.627 * [taylor]: Taking taylor expansion of 0 in t
1.627 * [taylor]: Taking taylor expansion of t in t
1.639 * [taylor]: Taking taylor expansion of 0 in y
1.639 * [taylor]: Taking taylor expansion of 0 in z
1.639 * [taylor]: Taking taylor expansion of 0 in t
1.643 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in (x y z t) around 0
1.643 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in t
1.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in t
1.643 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in t
1.643 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in t
1.643 * [taylor]: Taking taylor expansion of (pow t 3) in t
1.643 * [taylor]: Taking taylor expansion of t in t
1.643 * [taylor]: Taking taylor expansion of (pow z 3) in t
1.644 * [taylor]: Taking taylor expansion of z in t
1.644 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in t
1.644 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in t
1.644 * [taylor]: Taking taylor expansion of (pow x 3) in t
1.645 * [taylor]: Taking taylor expansion of x in t
1.645 * [taylor]: Taking taylor expansion of (pow y 3) in t
1.645 * [taylor]: Taking taylor expansion of y in t
1.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in t
1.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in t
1.646 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in t
1.646 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
1.646 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.646 * [taylor]: Taking taylor expansion of t in t
1.646 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.646 * [taylor]: Taking taylor expansion of z in t
1.647 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in t
1.647 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in t
1.647 * [taylor]: Taking taylor expansion of (pow x 2) in t
1.647 * [taylor]: Taking taylor expansion of x in t
1.647 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.647 * [taylor]: Taking taylor expansion of y in t
1.648 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in t
1.648 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
1.648 * [taylor]: Taking taylor expansion of t in t
1.648 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.648 * [taylor]: Taking taylor expansion of x in t
1.648 * [taylor]: Taking taylor expansion of (* z y) in t
1.648 * [taylor]: Taking taylor expansion of z in t
1.648 * [taylor]: Taking taylor expansion of y in t
1.652 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in z
1.652 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in z
1.652 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
1.652 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
1.652 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.652 * [taylor]: Taking taylor expansion of t in z
1.652 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.652 * [taylor]: Taking taylor expansion of z in z
1.653 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.653 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.653 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.653 * [taylor]: Taking taylor expansion of x in z
1.653 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.653 * [taylor]: Taking taylor expansion of y in z
1.654 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in z
1.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z
1.654 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
1.654 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.654 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.654 * [taylor]: Taking taylor expansion of t in z
1.654 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.654 * [taylor]: Taking taylor expansion of z in z
1.655 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z
1.655 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z
1.655 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.655 * [taylor]: Taking taylor expansion of x in z
1.655 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.655 * [taylor]: Taking taylor expansion of y in z
1.656 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in z
1.656 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
1.656 * [taylor]: Taking taylor expansion of t in z
1.656 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.656 * [taylor]: Taking taylor expansion of x in z
1.656 * [taylor]: Taking taylor expansion of (* z y) in z
1.656 * [taylor]: Taking taylor expansion of z in z
1.656 * [taylor]: Taking taylor expansion of y in z
1.659 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in y
1.659 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in y
1.659 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
1.660 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
1.660 * [taylor]: Taking taylor expansion of (pow t 3) in y
1.660 * [taylor]: Taking taylor expansion of t in y
1.660 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.660 * [taylor]: Taking taylor expansion of z in y
1.661 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.661 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.661 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.661 * [taylor]: Taking taylor expansion of x in y
1.661 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.661 * [taylor]: Taking taylor expansion of y in y
1.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in y
1.662 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y
1.662 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in y
1.662 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.662 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.662 * [taylor]: Taking taylor expansion of t in y
1.662 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.662 * [taylor]: Taking taylor expansion of z in y
1.663 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.663 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.663 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.663 * [taylor]: Taking taylor expansion of x in y
1.663 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.663 * [taylor]: Taking taylor expansion of y in y
1.664 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in y
1.664 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
1.664 * [taylor]: Taking taylor expansion of t in y
1.664 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.664 * [taylor]: Taking taylor expansion of x in y
1.664 * [taylor]: Taking taylor expansion of (* z y) in y
1.664 * [taylor]: Taking taylor expansion of z in y
1.664 * [taylor]: Taking taylor expansion of y in y
1.667 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in x
1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
1.667 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
1.667 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.667 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.667 * [taylor]: Taking taylor expansion of t in x
1.667 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.667 * [taylor]: Taking taylor expansion of z in x
1.669 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.669 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.669 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.669 * [taylor]: Taking taylor expansion of x in x
1.669 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.669 * [taylor]: Taking taylor expansion of y in x
1.670 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
1.670 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
1.670 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
1.670 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.670 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.670 * [taylor]: Taking taylor expansion of t in x
1.670 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.670 * [taylor]: Taking taylor expansion of z in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.671 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.671 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.671 * [taylor]: Taking taylor expansion of x in x
1.671 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.671 * [taylor]: Taking taylor expansion of y in x
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
1.671 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.671 * [taylor]: Taking taylor expansion of t in x
1.672 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.672 * [taylor]: Taking taylor expansion of (* z y) in x
1.672 * [taylor]: Taking taylor expansion of z in x
1.672 * [taylor]: Taking taylor expansion of y in x
1.679 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in x
1.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
1.679 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
1.679 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.679 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.679 * [taylor]: Taking taylor expansion of t in x
1.679 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.679 * [taylor]: Taking taylor expansion of z in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.680 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.680 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.680 * [taylor]: Taking taylor expansion of y in x
1.681 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
1.681 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
1.681 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.681 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.681 * [taylor]: Taking taylor expansion of t in x
1.681 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.681 * [taylor]: Taking taylor expansion of z in x
1.682 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.682 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.682 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.682 * [taylor]: Taking taylor expansion of x in x
1.682 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.682 * [taylor]: Taking taylor expansion of y in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
1.683 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.683 * [taylor]: Taking taylor expansion of t in x
1.683 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.683 * [taylor]: Taking taylor expansion of (* z y) in x
1.683 * [taylor]: Taking taylor expansion of z in x
1.683 * [taylor]: Taking taylor expansion of y in x
1.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.687 * [taylor]: Taking taylor expansion of y in y
1.687 * [taylor]: Taking taylor expansion of 1 in z
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.696 * [taylor]: Taking taylor expansion of (* t z) in y
1.696 * [taylor]: Taking taylor expansion of t in y
1.696 * [taylor]: Taking taylor expansion of z in y
1.697 * [taylor]: Taking taylor expansion of 0 in z
1.697 * [taylor]: Taking taylor expansion of 1 in t
1.713 * [taylor]: Taking taylor expansion of 0 in y
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.713 * [taylor]: Taking taylor expansion of (* t z) in z
1.713 * [taylor]: Taking taylor expansion of t in z
1.713 * [taylor]: Taking taylor expansion of z in z
1.713 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.713 * [taylor]: Taking taylor expansion of t in t
1.714 * [taylor]: Taking taylor expansion of 0 in z
1.714 * [taylor]: Taking taylor expansion of 0 in t
1.714 * [taylor]: Taking taylor expansion of 0 in t
1.736 * [taylor]: Taking taylor expansion of 0 in y
1.736 * [taylor]: Taking taylor expansion of 0 in z
1.737 * [taylor]: Taking taylor expansion of 0 in z
1.738 * [taylor]: Taking taylor expansion of 0 in z
1.740 * [taylor]: Taking taylor expansion of 0 in t
1.740 * [taylor]: Taking taylor expansion of 0 in t
1.740 * [taylor]: Taking taylor expansion of 0 in t
1.740 * [taylor]: Taking taylor expansion of 0 in t
1.770 * [taylor]: Taking taylor expansion of 0 in y
1.770 * [taylor]: Taking taylor expansion of 0 in z
1.770 * [taylor]: Taking taylor expansion of 0 in z
1.772 * [taylor]: Taking taylor expansion of 0 in z
1.773 * [taylor]: Taking taylor expansion of 0 in z
1.773 * [taylor]: Taking taylor expansion of 0 in t
1.773 * [taylor]: Taking taylor expansion of 0 in t
1.773 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.775 * [taylor]: Taking taylor expansion of 0 in t
1.784 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in (x y z t) around 0
1.784 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in t
1.784 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in t
1.784 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in t
1.784 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in t
1.784 * [taylor]: Taking taylor expansion of (pow t 3) in t
1.784 * [taylor]: Taking taylor expansion of t in t
1.784 * [taylor]: Taking taylor expansion of (pow z 3) in t
1.784 * [taylor]: Taking taylor expansion of z in t
1.785 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in t
1.785 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in t
1.785 * [taylor]: Taking taylor expansion of (pow x 3) in t
1.785 * [taylor]: Taking taylor expansion of x in t
1.785 * [taylor]: Taking taylor expansion of (pow y 3) in t
1.785 * [taylor]: Taking taylor expansion of y in t
1.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in t
1.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in t
1.787 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in t
1.787 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
1.787 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.787 * [taylor]: Taking taylor expansion of t in t
1.787 * [taylor]: Taking taylor expansion of (pow z 2) in t
1.787 * [taylor]: Taking taylor expansion of z in t
1.787 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in t
1.787 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in t
1.787 * [taylor]: Taking taylor expansion of (pow x 2) in t
1.787 * [taylor]: Taking taylor expansion of x in t
1.788 * [taylor]: Taking taylor expansion of (pow y 2) in t
1.788 * [taylor]: Taking taylor expansion of y in t
1.788 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in t
1.788 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
1.788 * [taylor]: Taking taylor expansion of t in t
1.788 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
1.788 * [taylor]: Taking taylor expansion of x in t
1.789 * [taylor]: Taking taylor expansion of (* z y) in t
1.789 * [taylor]: Taking taylor expansion of z in t
1.789 * [taylor]: Taking taylor expansion of y in t
1.792 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in z
1.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in z
1.792 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
1.792 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
1.792 * [taylor]: Taking taylor expansion of (pow t 3) in z
1.792 * [taylor]: Taking taylor expansion of t in z
1.793 * [taylor]: Taking taylor expansion of (pow z 3) in z
1.793 * [taylor]: Taking taylor expansion of z in z
1.793 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
1.793 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
1.793 * [taylor]: Taking taylor expansion of (pow x 3) in z
1.794 * [taylor]: Taking taylor expansion of x in z
1.794 * [taylor]: Taking taylor expansion of (pow y 3) in z
1.794 * [taylor]: Taking taylor expansion of y in z
1.795 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in z
1.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z
1.795 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
1.795 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
1.795 * [taylor]: Taking taylor expansion of (pow t 2) in z
1.795 * [taylor]: Taking taylor expansion of t in z
1.795 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.795 * [taylor]: Taking taylor expansion of z in z
1.795 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z
1.795 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z
1.795 * [taylor]: Taking taylor expansion of (pow x 2) in z
1.795 * [taylor]: Taking taylor expansion of x in z
1.796 * [taylor]: Taking taylor expansion of (pow y 2) in z
1.796 * [taylor]: Taking taylor expansion of y in z
1.797 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in z
1.797 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
1.797 * [taylor]: Taking taylor expansion of t in z
1.797 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
1.797 * [taylor]: Taking taylor expansion of x in z
1.797 * [taylor]: Taking taylor expansion of (* z y) in z
1.797 * [taylor]: Taking taylor expansion of z in z
1.797 * [taylor]: Taking taylor expansion of y in z
1.800 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in y
1.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in y
1.801 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
1.801 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
1.801 * [taylor]: Taking taylor expansion of (pow t 3) in y
1.801 * [taylor]: Taking taylor expansion of t in y
1.801 * [taylor]: Taking taylor expansion of (pow z 3) in y
1.801 * [taylor]: Taking taylor expansion of z in y
1.802 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.802 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.802 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.802 * [taylor]: Taking taylor expansion of x in y
1.802 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.802 * [taylor]: Taking taylor expansion of y in y
1.803 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in y
1.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y
1.803 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in y
1.803 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
1.803 * [taylor]: Taking taylor expansion of (pow t 2) in y
1.803 * [taylor]: Taking taylor expansion of t in y
1.803 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.803 * [taylor]: Taking taylor expansion of z in y
1.804 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.804 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.804 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.804 * [taylor]: Taking taylor expansion of x in y
1.804 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.804 * [taylor]: Taking taylor expansion of y in y
1.805 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in y
1.805 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
1.805 * [taylor]: Taking taylor expansion of t in y
1.805 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
1.805 * [taylor]: Taking taylor expansion of x in y
1.805 * [taylor]: Taking taylor expansion of (* z y) in y
1.805 * [taylor]: Taking taylor expansion of z in y
1.805 * [taylor]: Taking taylor expansion of y in y
1.808 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in x
1.808 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
1.808 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
1.808 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.808 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.808 * [taylor]: Taking taylor expansion of t in x
1.808 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.808 * [taylor]: Taking taylor expansion of z in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.810 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.810 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.810 * [taylor]: Taking taylor expansion of y in x
1.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
1.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
1.811 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.811 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.811 * [taylor]: Taking taylor expansion of t in x
1.811 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.811 * [taylor]: Taking taylor expansion of z in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.812 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.812 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.813 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
1.813 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.813 * [taylor]: Taking taylor expansion of t in x
1.813 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.813 * [taylor]: Taking taylor expansion of x in x
1.813 * [taylor]: Taking taylor expansion of (* z y) in x
1.813 * [taylor]: Taking taylor expansion of z in x
1.813 * [taylor]: Taking taylor expansion of y in x
1.816 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y)))))) in x
1.816 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
1.816 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
1.816 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
1.816 * [taylor]: Taking taylor expansion of (pow t 3) in x
1.816 * [taylor]: Taking taylor expansion of t in x
1.816 * [taylor]: Taking taylor expansion of (pow z 3) in x
1.816 * [taylor]: Taking taylor expansion of z in x
1.818 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.818 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.818 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.818 * [taylor]: Taking taylor expansion of x in x
1.818 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.818 * [taylor]: Taking taylor expansion of y in x
1.819 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
1.819 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
1.819 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
1.819 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
1.819 * [taylor]: Taking taylor expansion of (pow t 2) in x
1.819 * [taylor]: Taking taylor expansion of t in x
1.819 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.819 * [taylor]: Taking taylor expansion of z in x
1.820 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.820 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.820 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.820 * [taylor]: Taking taylor expansion of x in x
1.820 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.820 * [taylor]: Taking taylor expansion of y in x
1.821 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
1.821 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
1.821 * [taylor]: Taking taylor expansion of t in x
1.821 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.821 * [taylor]: Taking taylor expansion of (* z y) in x
1.821 * [taylor]: Taking taylor expansion of z in x
1.821 * [taylor]: Taking taylor expansion of y in x
1.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.824 * [taylor]: Taking taylor expansion of y in y
1.824 * [taylor]: Taking taylor expansion of 1 in z
1.832 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.833 * [taylor]: Taking taylor expansion of (* t z) in y
1.833 * [taylor]: Taking taylor expansion of t in y
1.833 * [taylor]: Taking taylor expansion of z in y
1.834 * [taylor]: Taking taylor expansion of 0 in z
1.834 * [taylor]: Taking taylor expansion of 1 in t
1.848 * [taylor]: Taking taylor expansion of 0 in y
1.848 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.848 * [taylor]: Taking taylor expansion of (* t z) in z
1.848 * [taylor]: Taking taylor expansion of t in z
1.848 * [taylor]: Taking taylor expansion of z in z
1.849 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.849 * [taylor]: Taking taylor expansion of t in t
1.850 * [taylor]: Taking taylor expansion of 0 in z
1.850 * [taylor]: Taking taylor expansion of 0 in t
1.850 * [taylor]: Taking taylor expansion of 0 in t
1.871 * [taylor]: Taking taylor expansion of 0 in y
1.871 * [taylor]: Taking taylor expansion of 0 in z
1.872 * [taylor]: Taking taylor expansion of 0 in z
1.873 * [taylor]: Taking taylor expansion of 0 in z
1.875 * [taylor]: Taking taylor expansion of 0 in t
1.875 * [taylor]: Taking taylor expansion of 0 in t
1.875 * [taylor]: Taking taylor expansion of 0 in t
1.875 * [taylor]: Taking taylor expansion of 0 in t
1.905 * [taylor]: Taking taylor expansion of 0 in y
1.905 * [taylor]: Taking taylor expansion of 0 in z
1.905 * [taylor]: Taking taylor expansion of 0 in z
1.907 * [taylor]: Taking taylor expansion of 0 in z
1.908 * [taylor]: Taking taylor expansion of 0 in z
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.908 * [taylor]: Taking taylor expansion of 0 in t
1.910 * [taylor]: Taking taylor expansion of 0 in t
1.910 * [taylor]: Taking taylor expansion of 0 in t
1.910 * [taylor]: Taking taylor expansion of 0 in t
1.910 * [taylor]: Taking taylor expansion of 0 in t
1.913 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
1.914 * [approximate]: Taking taylor expansion of (* t (* (- (* t z) (* x y)) z)) in (z t x y) around 0
1.914 * [taylor]: Taking taylor expansion of (* t (* (- (* t z) (* x y)) z)) in y
1.914 * [taylor]: Taking taylor expansion of t in y
1.914 * [taylor]: Taking taylor expansion of (* (- (* t z) (* x y)) z) in y
1.914 * [taylor]: Taking taylor expansion of (- (* t z) (* x y)) in y
1.914 * [taylor]: Taking taylor expansion of (* t z) in y
1.914 * [taylor]: Taking taylor expansion of t in y
1.914 * [taylor]: Taking taylor expansion of z in y
1.914 * [taylor]: Taking taylor expansion of (* x y) in y
1.914 * [taylor]: Taking taylor expansion of x in y
1.914 * [taylor]: Taking taylor expansion of y in y
1.915 * [taylor]: Taking taylor expansion of z in y
1.915 * [taylor]: Taking taylor expansion of (* t (* (- (* t z) (* x y)) z)) in x
1.915 * [taylor]: Taking taylor expansion of t in x
1.915 * [taylor]: Taking taylor expansion of (* (- (* t z) (* x y)) z) in x
1.915 * [taylor]: Taking taylor expansion of (- (* t z) (* x y)) in x
1.915 * [taylor]: Taking taylor expansion of (* t z) in x
1.915 * [taylor]: Taking taylor expansion of t in x
1.915 * [taylor]: Taking taylor expansion of z in x
1.915 * [taylor]: Taking taylor expansion of (* x y) in x
1.915 * [taylor]: Taking taylor expansion of x in x
1.915 * [taylor]: Taking taylor expansion of y in x
1.915 * [taylor]: Taking taylor expansion of z in x
1.915 * [taylor]: Taking taylor expansion of (* t (* (- (* t z) (* x y)) z)) in t
1.915 * [taylor]: Taking taylor expansion of t in t
1.915 * [taylor]: Taking taylor expansion of (* (- (* t z) (* x y)) z) in t
1.915 * [taylor]: Taking taylor expansion of (- (* t z) (* x y)) in t
1.915 * [taylor]: Taking taylor expansion of (* t z) in t
1.915 * [taylor]: Taking taylor expansion of t in t
1.915 * [taylor]: Taking taylor expansion of z in t
1.915 * [taylor]: Taking taylor expansion of (* x y) in t
1.915 * [taylor]: Taking taylor expansion of x in t
1.915 * [taylor]: Taking taylor expansion of y in t
1.915 * [taylor]: Taking taylor expansion of z in t
1.915 * [taylor]: Taking taylor expansion of (* t (* (- (* t z) (* x y)) z)) in z
1.915 * [taylor]: Taking taylor expansion of t in z
1.915 * [taylor]: Taking taylor expansion of (* (- (* t z) (* x y)) z) in z
1.915 * [taylor]: Taking taylor expansion of (- (* t z) (* x y)) in z
1.915 * [taylor]: Taking taylor expansion of (* t z) in z
1.915 * [taylor]: Taking taylor expansion of t in z
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [taylor]: Taking taylor expansion of (* x y) in z
1.915 * [taylor]: Taking taylor expansion of x in z
1.915 * [taylor]: Taking taylor expansion of y in z
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [taylor]: Taking taylor expansion of (* t (* (- (* t z) (* x y)) z)) in z
1.915 * [taylor]: Taking taylor expansion of t in z
1.915 * [taylor]: Taking taylor expansion of (* (- (* t z) (* x y)) z) in z
1.915 * [taylor]: Taking taylor expansion of (- (* t z) (* x y)) in z
1.915 * [taylor]: Taking taylor expansion of (* t z) in z
1.915 * [taylor]: Taking taylor expansion of t in z
1.915 * [taylor]: Taking taylor expansion of z in z
1.915 * [taylor]: Taking taylor expansion of (* x y) in z
1.915 * [taylor]: Taking taylor expansion of x in z
1.915 * [taylor]: Taking taylor expansion of y in z
1.915 * [taylor]: Taking taylor expansion of z in z
1.917 * [taylor]: Taking taylor expansion of 0 in t
1.917 * [taylor]: Taking taylor expansion of 0 in x
1.917 * [taylor]: Taking taylor expansion of 0 in y
1.920 * [taylor]: Taking taylor expansion of (neg (* t (* x y))) in t
1.920 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.920 * [taylor]: Taking taylor expansion of t in t
1.920 * [taylor]: Taking taylor expansion of (* x y) in t
1.920 * [taylor]: Taking taylor expansion of x in t
1.920 * [taylor]: Taking taylor expansion of y in t
1.921 * [taylor]: Taking taylor expansion of 0 in x
1.921 * [taylor]: Taking taylor expansion of 0 in y
1.921 * [taylor]: Taking taylor expansion of 0 in x
1.921 * [taylor]: Taking taylor expansion of 0 in y
1.921 * [taylor]: Taking taylor expansion of 0 in y
1.924 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.924 * [taylor]: Taking taylor expansion of t in t
1.925 * [taylor]: Taking taylor expansion of (neg (* x y)) in x
1.925 * [taylor]: Taking taylor expansion of (* x y) in x
1.925 * [taylor]: Taking taylor expansion of x in x
1.925 * [taylor]: Taking taylor expansion of y in x
1.925 * [taylor]: Taking taylor expansion of 0 in y
1.927 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in (z t x y) around 0
1.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in y
1.927 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in y
1.927 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.927 * [taylor]: Taking taylor expansion of (* t z) in y
1.927 * [taylor]: Taking taylor expansion of t in y
1.927 * [taylor]: Taking taylor expansion of z in y
1.927 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.927 * [taylor]: Taking taylor expansion of (* x y) in y
1.927 * [taylor]: Taking taylor expansion of x in y
1.927 * [taylor]: Taking taylor expansion of y in y
1.928 * [taylor]: Taking taylor expansion of (* t z) in y
1.928 * [taylor]: Taking taylor expansion of t in y
1.928 * [taylor]: Taking taylor expansion of z in y
1.929 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in x
1.929 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in x
1.929 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.929 * [taylor]: Taking taylor expansion of (* t z) in x
1.929 * [taylor]: Taking taylor expansion of t in x
1.929 * [taylor]: Taking taylor expansion of z in x
1.930 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.930 * [taylor]: Taking taylor expansion of (* x y) in x
1.930 * [taylor]: Taking taylor expansion of x in x
1.930 * [taylor]: Taking taylor expansion of y in x
1.930 * [taylor]: Taking taylor expansion of (* t z) in x
1.930 * [taylor]: Taking taylor expansion of t in x
1.930 * [taylor]: Taking taylor expansion of z in x
1.932 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in t
1.932 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in t
1.932 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.932 * [taylor]: Taking taylor expansion of (* t z) in t
1.932 * [taylor]: Taking taylor expansion of t in t
1.932 * [taylor]: Taking taylor expansion of z in t
1.932 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.932 * [taylor]: Taking taylor expansion of (* x y) in t
1.932 * [taylor]: Taking taylor expansion of x in t
1.932 * [taylor]: Taking taylor expansion of y in t
1.933 * [taylor]: Taking taylor expansion of (* t z) in t
1.933 * [taylor]: Taking taylor expansion of t in t
1.933 * [taylor]: Taking taylor expansion of z in t
1.934 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in z
1.934 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in z
1.934 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.934 * [taylor]: Taking taylor expansion of (* t z) in z
1.934 * [taylor]: Taking taylor expansion of t in z
1.934 * [taylor]: Taking taylor expansion of z in z
1.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.934 * [taylor]: Taking taylor expansion of (* x y) in z
1.934 * [taylor]: Taking taylor expansion of x in z
1.934 * [taylor]: Taking taylor expansion of y in z
1.935 * [taylor]: Taking taylor expansion of (* t z) in z
1.935 * [taylor]: Taking taylor expansion of t in z
1.935 * [taylor]: Taking taylor expansion of z in z
1.936 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in z
1.936 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in z
1.936 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.936 * [taylor]: Taking taylor expansion of (* t z) in z
1.936 * [taylor]: Taking taylor expansion of t in z
1.936 * [taylor]: Taking taylor expansion of z in z
1.936 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.936 * [taylor]: Taking taylor expansion of (* x y) in z
1.936 * [taylor]: Taking taylor expansion of x in z
1.936 * [taylor]: Taking taylor expansion of y in z
1.937 * [taylor]: Taking taylor expansion of (* t z) in z
1.937 * [taylor]: Taking taylor expansion of t in z
1.937 * [taylor]: Taking taylor expansion of z in z
1.938 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.938 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.938 * [taylor]: Taking taylor expansion of t in t
1.938 * [taylor]: Taking taylor expansion of 1 in x
1.941 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t (* x y)))) in t
1.941 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
1.941 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
1.941 * [taylor]: Taking taylor expansion of t in t
1.941 * [taylor]: Taking taylor expansion of (* x y) in t
1.941 * [taylor]: Taking taylor expansion of x in t
1.941 * [taylor]: Taking taylor expansion of y in t
1.943 * [taylor]: Taking taylor expansion of 0 in x
1.943 * [taylor]: Taking taylor expansion of 1 in y
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.949 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x y))) in x
1.949 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.949 * [taylor]: Taking taylor expansion of (* x y) in x
1.949 * [taylor]: Taking taylor expansion of x in x
1.949 * [taylor]: Taking taylor expansion of y in x
1.950 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
1.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.950 * [taylor]: Taking taylor expansion of y in y
1.951 * [taylor]: Taking taylor expansion of 0 in x
1.951 * [taylor]: Taking taylor expansion of 0 in y
1.951 * [taylor]: Taking taylor expansion of 0 in y
1.959 * [taylor]: Taking taylor expansion of 0 in t
1.961 * [taylor]: Taking taylor expansion of 0 in x
1.963 * [taylor]: Taking taylor expansion of 0 in x
1.965 * [taylor]: Taking taylor expansion of 0 in y
1.965 * [taylor]: Taking taylor expansion of 0 in y
1.965 * [taylor]: Taking taylor expansion of 0 in y
1.965 * [taylor]: Taking taylor expansion of 0 in y
1.974 * [taylor]: Taking taylor expansion of 0 in t
1.974 * [taylor]: Taking taylor expansion of 0 in x
1.977 * [taylor]: Taking taylor expansion of 0 in x
1.980 * [taylor]: Taking taylor expansion of 0 in x
1.980 * [taylor]: Taking taylor expansion of 0 in y
1.980 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.987 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in (z t x y) around 0
1.987 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in y
1.987 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in y
1.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y
1.987 * [taylor]: Taking taylor expansion of (* t z) in y
1.987 * [taylor]: Taking taylor expansion of t in y
1.987 * [taylor]: Taking taylor expansion of z in y
1.988 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.988 * [taylor]: Taking taylor expansion of (* x y) in y
1.988 * [taylor]: Taking taylor expansion of x in y
1.988 * [taylor]: Taking taylor expansion of y in y
1.988 * [taylor]: Taking taylor expansion of (* t z) in y
1.988 * [taylor]: Taking taylor expansion of t in y
1.988 * [taylor]: Taking taylor expansion of z in y
1.990 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in x
1.990 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x
1.990 * [taylor]: Taking taylor expansion of (* t z) in x
1.990 * [taylor]: Taking taylor expansion of t in x
1.990 * [taylor]: Taking taylor expansion of z in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.990 * [taylor]: Taking taylor expansion of (* x y) in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.990 * [taylor]: Taking taylor expansion of y in x
1.991 * [taylor]: Taking taylor expansion of (* t z) in x
1.991 * [taylor]: Taking taylor expansion of t in x
1.991 * [taylor]: Taking taylor expansion of z in x
1.992 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in t
1.992 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in t
1.992 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t
1.992 * [taylor]: Taking taylor expansion of (* t z) in t
1.992 * [taylor]: Taking taylor expansion of t in t
1.992 * [taylor]: Taking taylor expansion of z in t
1.993 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.993 * [taylor]: Taking taylor expansion of (* x y) in t
1.993 * [taylor]: Taking taylor expansion of x in t
1.993 * [taylor]: Taking taylor expansion of y in t
1.993 * [taylor]: Taking taylor expansion of (* t z) in t
1.993 * [taylor]: Taking taylor expansion of t in t
1.993 * [taylor]: Taking taylor expansion of z in t
1.994 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in z
1.994 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in z
1.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.994 * [taylor]: Taking taylor expansion of (* t z) in z
1.994 * [taylor]: Taking taylor expansion of t in z
1.994 * [taylor]: Taking taylor expansion of z in z
1.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.995 * [taylor]: Taking taylor expansion of (* x y) in z
1.995 * [taylor]: Taking taylor expansion of x in z
1.995 * [taylor]: Taking taylor expansion of y in z
1.995 * [taylor]: Taking taylor expansion of (* t z) in z
1.995 * [taylor]: Taking taylor expansion of t in z
1.995 * [taylor]: Taking taylor expansion of z in z
1.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t z)) (/ 1 (* x y))) (* t z)) in z
1.996 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z)) (/ 1 (* x y))) in z
1.996 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
1.996 * [taylor]: Taking taylor expansion of (* t z) in z
1.996 * [taylor]: Taking taylor expansion of t in z
1.996 * [taylor]: Taking taylor expansion of z in z
1.997 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.997 * [taylor]: Taking taylor expansion of (* x y) in z
1.997 * [taylor]: Taking taylor expansion of x in z
1.997 * [taylor]: Taking taylor expansion of y in z
1.997 * [taylor]: Taking taylor expansion of (* t z) in z
1.997 * [taylor]: Taking taylor expansion of t in z
1.997 * [taylor]: Taking taylor expansion of z in z
1.998 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
1.998 * [taylor]: Taking taylor expansion of (pow t 2) in t
1.998 * [taylor]: Taking taylor expansion of t in t
1.999 * [taylor]: Taking taylor expansion of 1 in x
2.003 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t (* x y)))) in t
2.003 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x y))) in t
2.003 * [taylor]: Taking taylor expansion of (* t (* x y)) in t
2.003 * [taylor]: Taking taylor expansion of t in t
2.003 * [taylor]: Taking taylor expansion of (* x y) in t
2.003 * [taylor]: Taking taylor expansion of x in t
2.003 * [taylor]: Taking taylor expansion of y in t
2.007 * [taylor]: Taking taylor expansion of 0 in x
2.007 * [taylor]: Taking taylor expansion of 1 in y
2.013 * [taylor]: Taking taylor expansion of 0 in t
2.014 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x y))) in x
2.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.014 * [taylor]: Taking taylor expansion of (* x y) in x
2.014 * [taylor]: Taking taylor expansion of x in x
2.014 * [taylor]: Taking taylor expansion of y in x
2.015 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
2.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.015 * [taylor]: Taking taylor expansion of y in y
2.017 * [taylor]: Taking taylor expansion of 0 in x
2.017 * [taylor]: Taking taylor expansion of 0 in y
2.017 * [taylor]: Taking taylor expansion of 0 in y
2.024 * [taylor]: Taking taylor expansion of 0 in t
2.027 * [taylor]: Taking taylor expansion of 0 in x
2.029 * [taylor]: Taking taylor expansion of 0 in x
2.030 * [taylor]: Taking taylor expansion of 0 in y
2.030 * [taylor]: Taking taylor expansion of 0 in y
2.031 * [taylor]: Taking taylor expansion of 0 in y
2.031 * [taylor]: Taking taylor expansion of 0 in y
2.040 * [taylor]: Taking taylor expansion of 0 in t
2.040 * [taylor]: Taking taylor expansion of 0 in x
2.044 * [taylor]: Taking taylor expansion of 0 in x
2.046 * [taylor]: Taking taylor expansion of 0 in x
2.046 * [taylor]: Taking taylor expansion of 0 in y
2.046 * [taylor]: Taking taylor expansion of 0 in y
2.048 * [taylor]: Taking taylor expansion of 0 in y
2.048 * [taylor]: Taking taylor expansion of 0 in y
2.049 * [taylor]: Taking taylor expansion of 0 in y
2.049 * [taylor]: Taking taylor expansion of 0 in y
2.053 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.054 * [approximate]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in (x y z t) around 0
2.054 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in t
2.054 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in t
2.054 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.054 * [taylor]: Taking taylor expansion of t in t
2.054 * [taylor]: Taking taylor expansion of (pow z 3) in t
2.054 * [taylor]: Taking taylor expansion of z in t
2.054 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in t
2.054 * [taylor]: Taking taylor expansion of (pow x 3) in t
2.054 * [taylor]: Taking taylor expansion of x in t
2.054 * [taylor]: Taking taylor expansion of (pow y 3) in t
2.054 * [taylor]: Taking taylor expansion of y in t
2.054 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in z
2.054 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
2.054 * [taylor]: Taking taylor expansion of (pow t 3) in z
2.054 * [taylor]: Taking taylor expansion of t in z
2.054 * [taylor]: Taking taylor expansion of (pow z 3) in z
2.054 * [taylor]: Taking taylor expansion of z in z
2.055 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
2.055 * [taylor]: Taking taylor expansion of (pow x 3) in z
2.055 * [taylor]: Taking taylor expansion of x in z
2.055 * [taylor]: Taking taylor expansion of (pow y 3) in z
2.055 * [taylor]: Taking taylor expansion of y in z
2.055 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in y
2.055 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
2.055 * [taylor]: Taking taylor expansion of (pow t 3) in y
2.055 * [taylor]: Taking taylor expansion of t in y
2.055 * [taylor]: Taking taylor expansion of (pow z 3) in y
2.055 * [taylor]: Taking taylor expansion of z in y
2.055 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
2.055 * [taylor]: Taking taylor expansion of (pow x 3) in y
2.055 * [taylor]: Taking taylor expansion of x in y
2.055 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.055 * [taylor]: Taking taylor expansion of y in y
2.055 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in x
2.055 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
2.055 * [taylor]: Taking taylor expansion of (pow t 3) in x
2.055 * [taylor]: Taking taylor expansion of t in x
2.055 * [taylor]: Taking taylor expansion of (pow z 3) in x
2.055 * [taylor]: Taking taylor expansion of z in x
2.055 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
2.055 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.055 * [taylor]: Taking taylor expansion of x in x
2.055 * [taylor]: Taking taylor expansion of (pow y 3) in x
2.055 * [taylor]: Taking taylor expansion of y in x
2.055 * [taylor]: Taking taylor expansion of (+ (* (pow t 3) (pow z 3)) (* (pow x 3) (pow y 3))) in x
2.055 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
2.055 * [taylor]: Taking taylor expansion of (pow t 3) in x
2.055 * [taylor]: Taking taylor expansion of t in x
2.055 * [taylor]: Taking taylor expansion of (pow z 3) in x
2.055 * [taylor]: Taking taylor expansion of z in x
2.055 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
2.055 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.055 * [taylor]: Taking taylor expansion of x in x
2.055 * [taylor]: Taking taylor expansion of (pow y 3) in x
2.055 * [taylor]: Taking taylor expansion of y in x
2.056 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
2.056 * [taylor]: Taking taylor expansion of (pow t 3) in y
2.056 * [taylor]: Taking taylor expansion of t in y
2.056 * [taylor]: Taking taylor expansion of (pow z 3) in y
2.056 * [taylor]: Taking taylor expansion of z in y
2.057 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
2.057 * [taylor]: Taking taylor expansion of (pow t 3) in z
2.057 * [taylor]: Taking taylor expansion of t in z
2.057 * [taylor]: Taking taylor expansion of (pow z 3) in z
2.057 * [taylor]: Taking taylor expansion of z in z
2.059 * [taylor]: Taking taylor expansion of 0 in y
2.059 * [taylor]: Taking taylor expansion of 0 in z
2.059 * [taylor]: Taking taylor expansion of 0 in t
2.061 * [taylor]: Taking taylor expansion of 0 in z
2.061 * [taylor]: Taking taylor expansion of 0 in t
2.063 * [taylor]: Taking taylor expansion of 0 in y
2.063 * [taylor]: Taking taylor expansion of 0 in z
2.063 * [taylor]: Taking taylor expansion of 0 in t
2.063 * [taylor]: Taking taylor expansion of 0 in z
2.063 * [taylor]: Taking taylor expansion of 0 in t
2.066 * [taylor]: Taking taylor expansion of 0 in z
2.066 * [taylor]: Taking taylor expansion of 0 in t
2.066 * [taylor]: Taking taylor expansion of 0 in t
2.067 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in (x y z t) around 0
2.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in t
2.067 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in t
2.067 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in t
2.067 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.067 * [taylor]: Taking taylor expansion of t in t
2.067 * [taylor]: Taking taylor expansion of (pow z 3) in t
2.067 * [taylor]: Taking taylor expansion of z in t
2.068 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in t
2.068 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in t
2.068 * [taylor]: Taking taylor expansion of (pow x 3) in t
2.068 * [taylor]: Taking taylor expansion of x in t
2.068 * [taylor]: Taking taylor expansion of (pow y 3) in t
2.068 * [taylor]: Taking taylor expansion of y in t
2.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in z
2.070 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
2.070 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
2.070 * [taylor]: Taking taylor expansion of (pow t 3) in z
2.070 * [taylor]: Taking taylor expansion of t in z
2.070 * [taylor]: Taking taylor expansion of (pow z 3) in z
2.070 * [taylor]: Taking taylor expansion of z in z
2.070 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
2.071 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
2.071 * [taylor]: Taking taylor expansion of (pow x 3) in z
2.071 * [taylor]: Taking taylor expansion of x in z
2.071 * [taylor]: Taking taylor expansion of (pow y 3) in z
2.071 * [taylor]: Taking taylor expansion of y in z
2.072 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in y
2.072 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
2.072 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
2.072 * [taylor]: Taking taylor expansion of (pow t 3) in y
2.072 * [taylor]: Taking taylor expansion of t in y
2.072 * [taylor]: Taking taylor expansion of (pow z 3) in y
2.072 * [taylor]: Taking taylor expansion of z in y
2.073 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
2.073 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
2.073 * [taylor]: Taking taylor expansion of (pow x 3) in y
2.073 * [taylor]: Taking taylor expansion of x in y
2.073 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.073 * [taylor]: Taking taylor expansion of y in y
2.074 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
2.074 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
2.074 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
2.074 * [taylor]: Taking taylor expansion of (pow t 3) in x
2.074 * [taylor]: Taking taylor expansion of t in x
2.074 * [taylor]: Taking taylor expansion of (pow z 3) in x
2.074 * [taylor]: Taking taylor expansion of z in x
2.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
2.075 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
2.075 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.075 * [taylor]: Taking taylor expansion of x in x
2.075 * [taylor]: Taking taylor expansion of (pow y 3) in x
2.075 * [taylor]: Taking taylor expansion of y in x
2.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
2.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
2.076 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
2.076 * [taylor]: Taking taylor expansion of (pow t 3) in x
2.076 * [taylor]: Taking taylor expansion of t in x
2.076 * [taylor]: Taking taylor expansion of (pow z 3) in x
2.076 * [taylor]: Taking taylor expansion of z in x
2.077 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
2.077 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
2.077 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.077 * [taylor]: Taking taylor expansion of x in x
2.077 * [taylor]: Taking taylor expansion of (pow y 3) in x
2.077 * [taylor]: Taking taylor expansion of y in x
2.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.079 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.079 * [taylor]: Taking taylor expansion of y in y
2.079 * [taylor]: Taking taylor expansion of 1 in z
2.081 * [taylor]: Taking taylor expansion of 0 in y
2.082 * [taylor]: Taking taylor expansion of 0 in z
2.086 * [taylor]: Taking taylor expansion of 0 in y
2.087 * [taylor]: Taking taylor expansion of 0 in z
2.092 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
2.092 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
2.092 * [taylor]: Taking taylor expansion of (pow t 3) in y
2.092 * [taylor]: Taking taylor expansion of t in y
2.092 * [taylor]: Taking taylor expansion of (pow z 3) in y
2.092 * [taylor]: Taking taylor expansion of z in y
2.095 * [taylor]: Taking taylor expansion of 0 in z
2.095 * [taylor]: Taking taylor expansion of 1 in t
2.105 * [taylor]: Taking taylor expansion of 0 in y
2.105 * [taylor]: Taking taylor expansion of 0 in z
2.108 * [taylor]: Taking taylor expansion of 0 in z
2.108 * [taylor]: Taking taylor expansion of 0 in t
2.108 * [taylor]: Taking taylor expansion of 0 in t
2.122 * [taylor]: Taking taylor expansion of 0 in y
2.122 * [taylor]: Taking taylor expansion of 0 in z
2.122 * [taylor]: Taking taylor expansion of 0 in z
2.126 * [taylor]: Taking taylor expansion of 0 in z
2.127 * [taylor]: Taking taylor expansion of 0 in t
2.127 * [taylor]: Taking taylor expansion of 0 in t
2.127 * [taylor]: Taking taylor expansion of 0 in t
2.144 * [taylor]: Taking taylor expansion of 0 in y
2.144 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
2.144 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
2.144 * [taylor]: Taking taylor expansion of (pow t 3) in z
2.144 * [taylor]: Taking taylor expansion of t in z
2.144 * [taylor]: Taking taylor expansion of (pow z 3) in z
2.144 * [taylor]: Taking taylor expansion of z in z
2.145 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
2.145 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.145 * [taylor]: Taking taylor expansion of t in t
2.145 * [taylor]: Taking taylor expansion of 0 in z
2.145 * [taylor]: Taking taylor expansion of 0 in z
2.150 * [taylor]: Taking taylor expansion of 0 in z
2.151 * [taylor]: Taking taylor expansion of 0 in t
2.151 * [taylor]: Taking taylor expansion of 0 in t
2.151 * [taylor]: Taking taylor expansion of 0 in t
2.151 * [taylor]: Taking taylor expansion of 0 in t
2.172 * [taylor]: Taking taylor expansion of 0 in y
2.172 * [taylor]: Taking taylor expansion of 0 in z
2.176 * [taylor]: Taking taylor expansion of 0 in z
2.176 * [taylor]: Taking taylor expansion of 0 in z
2.176 * [taylor]: Taking taylor expansion of 0 in z
2.181 * [taylor]: Taking taylor expansion of 0 in z
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.184 * [taylor]: Taking taylor expansion of 0 in t
2.209 * [taylor]: Taking taylor expansion of 0 in y
2.209 * [taylor]: Taking taylor expansion of 0 in z
2.209 * [taylor]: Taking taylor expansion of 0 in z
2.214 * [taylor]: Taking taylor expansion of 0 in z
2.214 * [taylor]: Taking taylor expansion of 0 in z
2.214 * [taylor]: Taking taylor expansion of 0 in z
2.221 * [taylor]: Taking taylor expansion of 0 in z
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.225 * [taylor]: Taking taylor expansion of 0 in t
2.232 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in (x y z t) around 0
2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in t
2.232 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in t
2.232 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in t
2.232 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.232 * [taylor]: Taking taylor expansion of t in t
2.232 * [taylor]: Taking taylor expansion of (pow z 3) in t
2.232 * [taylor]: Taking taylor expansion of z in t
2.233 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in t
2.233 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in t
2.233 * [taylor]: Taking taylor expansion of (pow x 3) in t
2.233 * [taylor]: Taking taylor expansion of x in t
2.233 * [taylor]: Taking taylor expansion of (pow y 3) in t
2.233 * [taylor]: Taking taylor expansion of y in t
2.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in z
2.235 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
2.235 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
2.235 * [taylor]: Taking taylor expansion of (pow t 3) in z
2.235 * [taylor]: Taking taylor expansion of t in z
2.235 * [taylor]: Taking taylor expansion of (pow z 3) in z
2.235 * [taylor]: Taking taylor expansion of z in z
2.236 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in z
2.236 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in z
2.236 * [taylor]: Taking taylor expansion of (pow x 3) in z
2.236 * [taylor]: Taking taylor expansion of x in z
2.236 * [taylor]: Taking taylor expansion of (pow y 3) in z
2.236 * [taylor]: Taking taylor expansion of y in z
2.237 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in y
2.237 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
2.237 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
2.237 * [taylor]: Taking taylor expansion of (pow t 3) in y
2.237 * [taylor]: Taking taylor expansion of t in y
2.237 * [taylor]: Taking taylor expansion of (pow z 3) in y
2.237 * [taylor]: Taking taylor expansion of z in y
2.238 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
2.238 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
2.238 * [taylor]: Taking taylor expansion of (pow x 3) in y
2.238 * [taylor]: Taking taylor expansion of x in y
2.238 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.238 * [taylor]: Taking taylor expansion of y in y
2.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
2.239 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
2.239 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
2.239 * [taylor]: Taking taylor expansion of (pow t 3) in x
2.239 * [taylor]: Taking taylor expansion of t in x
2.239 * [taylor]: Taking taylor expansion of (pow z 3) in x
2.239 * [taylor]: Taking taylor expansion of z in x
2.240 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
2.240 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
2.240 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.240 * [taylor]: Taking taylor expansion of x in x
2.240 * [taylor]: Taking taylor expansion of (pow y 3) in x
2.240 * [taylor]: Taking taylor expansion of y in x
2.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 3) (pow z 3))) (/ 1 (* (pow x 3) (pow y 3)))) in x
2.241 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in x
2.241 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in x
2.241 * [taylor]: Taking taylor expansion of (pow t 3) in x
2.241 * [taylor]: Taking taylor expansion of t in x
2.241 * [taylor]: Taking taylor expansion of (pow z 3) in x
2.241 * [taylor]: Taking taylor expansion of z in x
2.243 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
2.243 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
2.243 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.243 * [taylor]: Taking taylor expansion of x in x
2.243 * [taylor]: Taking taylor expansion of (pow y 3) in x
2.243 * [taylor]: Taking taylor expansion of y in x
2.244 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.244 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.244 * [taylor]: Taking taylor expansion of y in y
2.244 * [taylor]: Taking taylor expansion of 1 in z
2.246 * [taylor]: Taking taylor expansion of 0 in y
2.247 * [taylor]: Taking taylor expansion of 0 in z
2.252 * [taylor]: Taking taylor expansion of 0 in y
2.254 * [taylor]: Taking taylor expansion of 0 in z
2.260 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y
2.260 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y
2.260 * [taylor]: Taking taylor expansion of (pow t 3) in y
2.260 * [taylor]: Taking taylor expansion of t in y
2.260 * [taylor]: Taking taylor expansion of (pow z 3) in y
2.260 * [taylor]: Taking taylor expansion of z in y
2.264 * [taylor]: Taking taylor expansion of 0 in z
2.264 * [taylor]: Taking taylor expansion of 1 in t
2.275 * [taylor]: Taking taylor expansion of 0 in y
2.275 * [taylor]: Taking taylor expansion of 0 in z
2.278 * [taylor]: Taking taylor expansion of 0 in z
2.278 * [taylor]: Taking taylor expansion of 0 in t
2.278 * [taylor]: Taking taylor expansion of 0 in t
2.292 * [taylor]: Taking taylor expansion of 0 in y
2.292 * [taylor]: Taking taylor expansion of 0 in z
2.292 * [taylor]: Taking taylor expansion of 0 in z
2.296 * [taylor]: Taking taylor expansion of 0 in z
2.296 * [taylor]: Taking taylor expansion of 0 in t
2.296 * [taylor]: Taking taylor expansion of 0 in t
2.296 * [taylor]: Taking taylor expansion of 0 in t
2.314 * [taylor]: Taking taylor expansion of 0 in y
2.314 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z
2.314 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z
2.314 * [taylor]: Taking taylor expansion of (pow t 3) in z
2.314 * [taylor]: Taking taylor expansion of t in z
2.314 * [taylor]: Taking taylor expansion of (pow z 3) in z
2.314 * [taylor]: Taking taylor expansion of z in z
2.315 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
2.315 * [taylor]: Taking taylor expansion of (pow t 3) in t
2.315 * [taylor]: Taking taylor expansion of t in t
2.315 * [taylor]: Taking taylor expansion of 0 in z
2.315 * [taylor]: Taking taylor expansion of 0 in z
2.320 * [taylor]: Taking taylor expansion of 0 in z
2.320 * [taylor]: Taking taylor expansion of 0 in t
2.320 * [taylor]: Taking taylor expansion of 0 in t
2.320 * [taylor]: Taking taylor expansion of 0 in t
2.320 * [taylor]: Taking taylor expansion of 0 in t
2.340 * [taylor]: Taking taylor expansion of 0 in y
2.340 * [taylor]: Taking taylor expansion of 0 in z
2.344 * [taylor]: Taking taylor expansion of 0 in z
2.344 * [taylor]: Taking taylor expansion of 0 in z
2.344 * [taylor]: Taking taylor expansion of 0 in z
2.350 * [taylor]: Taking taylor expansion of 0 in z
2.352 * [taylor]: Taking taylor expansion of 0 in t
2.352 * [taylor]: Taking taylor expansion of 0 in t
2.352 * [taylor]: Taking taylor expansion of 0 in t
2.353 * [taylor]: Taking taylor expansion of 0 in t
2.353 * [taylor]: Taking taylor expansion of 0 in t
2.353 * [taylor]: Taking taylor expansion of 0 in t
2.353 * [taylor]: Taking taylor expansion of 0 in t
2.377 * [taylor]: Taking taylor expansion of 0 in y
2.377 * [taylor]: Taking taylor expansion of 0 in z
2.377 * [taylor]: Taking taylor expansion of 0 in z
2.382 * [taylor]: Taking taylor expansion of 0 in z
2.382 * [taylor]: Taking taylor expansion of 0 in z
2.382 * [taylor]: Taking taylor expansion of 0 in z
2.388 * [taylor]: Taking taylor expansion of 0 in z
2.392 * [taylor]: Taking taylor expansion of 0 in t
2.392 * [taylor]: Taking taylor expansion of 0 in t
2.392 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.393 * [taylor]: Taking taylor expansion of 0 in t
2.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
2.402 * [approximate]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in (x y z t) around 0
2.402 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in t
2.402 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in t
2.403 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
2.403 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.403 * [taylor]: Taking taylor expansion of t in t
2.403 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.403 * [taylor]: Taking taylor expansion of z in t
2.403 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in t
2.403 * [taylor]: Taking taylor expansion of (pow x 2) in t
2.403 * [taylor]: Taking taylor expansion of x in t
2.403 * [taylor]: Taking taylor expansion of (pow y 2) in t
2.403 * [taylor]: Taking taylor expansion of y in t
2.403 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.403 * [taylor]: Taking taylor expansion of t in t
2.403 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.403 * [taylor]: Taking taylor expansion of x in t
2.403 * [taylor]: Taking taylor expansion of (* z y) in t
2.403 * [taylor]: Taking taylor expansion of z in t
2.403 * [taylor]: Taking taylor expansion of y in t
2.403 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in z
2.403 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in z
2.403 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
2.403 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.403 * [taylor]: Taking taylor expansion of t in z
2.403 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.403 * [taylor]: Taking taylor expansion of z in z
2.403 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z
2.403 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.403 * [taylor]: Taking taylor expansion of x in z
2.403 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.403 * [taylor]: Taking taylor expansion of y in z
2.403 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.403 * [taylor]: Taking taylor expansion of t in z
2.403 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.403 * [taylor]: Taking taylor expansion of x in z
2.403 * [taylor]: Taking taylor expansion of (* z y) in z
2.403 * [taylor]: Taking taylor expansion of z in z
2.403 * [taylor]: Taking taylor expansion of y in z
2.403 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in y
2.403 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in y
2.403 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
2.403 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.403 * [taylor]: Taking taylor expansion of t in y
2.403 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.403 * [taylor]: Taking taylor expansion of z in y
2.403 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
2.403 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.403 * [taylor]: Taking taylor expansion of x in y
2.403 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.403 * [taylor]: Taking taylor expansion of y in y
2.403 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.403 * [taylor]: Taking taylor expansion of t in y
2.404 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.404 * [taylor]: Taking taylor expansion of x in y
2.404 * [taylor]: Taking taylor expansion of (* z y) in y
2.404 * [taylor]: Taking taylor expansion of z in y
2.404 * [taylor]: Taking taylor expansion of y in y
2.404 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in x
2.404 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in x
2.404 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
2.404 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.404 * [taylor]: Taking taylor expansion of t in x
2.404 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.404 * [taylor]: Taking taylor expansion of z in x
2.404 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
2.404 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.404 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.404 * [taylor]: Taking taylor expansion of t in x
2.404 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (* z y) in x
2.404 * [taylor]: Taking taylor expansion of z in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.404 * [taylor]: Taking taylor expansion of (- (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) (* t (* x (* z y)))) in x
2.404 * [taylor]: Taking taylor expansion of (+ (* (pow t 2) (pow z 2)) (* (pow x 2) (pow y 2))) in x
2.404 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
2.404 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.404 * [taylor]: Taking taylor expansion of t in x
2.404 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.404 * [taylor]: Taking taylor expansion of z in x
2.404 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
2.404 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.404 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.404 * [taylor]: Taking taylor expansion of t in x
2.404 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [taylor]: Taking taylor expansion of (* z y) in x
2.404 * [taylor]: Taking taylor expansion of z in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.406 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
2.406 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.406 * [taylor]: Taking taylor expansion of t in y
2.406 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.406 * [taylor]: Taking taylor expansion of z in y
2.407 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
2.407 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.407 * [taylor]: Taking taylor expansion of t in z
2.407 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.407 * [taylor]: Taking taylor expansion of z in z
2.410 * [taylor]: Taking taylor expansion of (neg (* t (* z y))) in y
2.410 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.410 * [taylor]: Taking taylor expansion of t in y
2.410 * [taylor]: Taking taylor expansion of (* z y) in y
2.410 * [taylor]: Taking taylor expansion of z in y
2.410 * [taylor]: Taking taylor expansion of y in y
2.410 * [taylor]: Taking taylor expansion of 0 in z
2.410 * [taylor]: Taking taylor expansion of 0 in t
2.411 * [taylor]: Taking taylor expansion of 0 in z
2.411 * [taylor]: Taking taylor expansion of 0 in t
2.415 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.415 * [taylor]: Taking taylor expansion of y in y
2.416 * [taylor]: Taking taylor expansion of (neg (* t z)) in z
2.416 * [taylor]: Taking taylor expansion of (* t z) in z
2.416 * [taylor]: Taking taylor expansion of t in z
2.416 * [taylor]: Taking taylor expansion of z in z
2.416 * [taylor]: Taking taylor expansion of 0 in t
2.418 * [taylor]: Taking taylor expansion of 0 in z
2.418 * [taylor]: Taking taylor expansion of 0 in t
2.418 * [taylor]: Taking taylor expansion of 0 in t
2.418 * [taylor]: Taking taylor expansion of 0 in t
2.421 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in (x y z t) around 0
2.421 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in t
2.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in t
2.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in t
2.421 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
2.421 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.421 * [taylor]: Taking taylor expansion of t in t
2.421 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.421 * [taylor]: Taking taylor expansion of z in t
2.421 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in t
2.421 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in t
2.421 * [taylor]: Taking taylor expansion of (pow x 2) in t
2.421 * [taylor]: Taking taylor expansion of x in t
2.422 * [taylor]: Taking taylor expansion of (pow y 2) in t
2.422 * [taylor]: Taking taylor expansion of y in t
2.422 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in t
2.422 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.422 * [taylor]: Taking taylor expansion of t in t
2.422 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.422 * [taylor]: Taking taylor expansion of x in t
2.422 * [taylor]: Taking taylor expansion of (* z y) in t
2.422 * [taylor]: Taking taylor expansion of z in t
2.422 * [taylor]: Taking taylor expansion of y in t
2.425 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in z
2.425 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z
2.425 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
2.425 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
2.425 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.425 * [taylor]: Taking taylor expansion of t in z
2.425 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.425 * [taylor]: Taking taylor expansion of z in z
2.425 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z
2.425 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z
2.425 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.425 * [taylor]: Taking taylor expansion of x in z
2.425 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.425 * [taylor]: Taking taylor expansion of y in z
2.426 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in z
2.426 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.426 * [taylor]: Taking taylor expansion of t in z
2.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.426 * [taylor]: Taking taylor expansion of x in z
2.426 * [taylor]: Taking taylor expansion of (* z y) in z
2.426 * [taylor]: Taking taylor expansion of z in z
2.426 * [taylor]: Taking taylor expansion of y in z
2.428 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in y
2.428 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y
2.428 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in y
2.428 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
2.428 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.428 * [taylor]: Taking taylor expansion of t in y
2.428 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.428 * [taylor]: Taking taylor expansion of z in y
2.429 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
2.429 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
2.429 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.429 * [taylor]: Taking taylor expansion of x in y
2.429 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.429 * [taylor]: Taking taylor expansion of y in y
2.430 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in y
2.430 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.430 * [taylor]: Taking taylor expansion of t in y
2.430 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.430 * [taylor]: Taking taylor expansion of x in y
2.430 * [taylor]: Taking taylor expansion of (* z y) in y
2.430 * [taylor]: Taking taylor expansion of z in y
2.430 * [taylor]: Taking taylor expansion of y in y
2.431 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
2.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
2.431 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
2.431 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
2.431 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.431 * [taylor]: Taking taylor expansion of t in x
2.432 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.432 * [taylor]: Taking taylor expansion of z in x
2.432 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
2.432 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
2.432 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.432 * [taylor]: Taking taylor expansion of x in x
2.432 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.432 * [taylor]: Taking taylor expansion of y in x
2.433 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
2.433 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.433 * [taylor]: Taking taylor expansion of t in x
2.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.433 * [taylor]: Taking taylor expansion of x in x
2.433 * [taylor]: Taking taylor expansion of (* z y) in x
2.433 * [taylor]: Taking taylor expansion of z in x
2.433 * [taylor]: Taking taylor expansion of y in x
2.435 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
2.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
2.435 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
2.435 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
2.435 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.435 * [taylor]: Taking taylor expansion of t in x
2.435 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.435 * [taylor]: Taking taylor expansion of z in x
2.436 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
2.436 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
2.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.436 * [taylor]: Taking taylor expansion of x in x
2.436 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.436 * [taylor]: Taking taylor expansion of y in x
2.437 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
2.437 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.437 * [taylor]: Taking taylor expansion of t in x
2.437 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [taylor]: Taking taylor expansion of (* z y) in x
2.437 * [taylor]: Taking taylor expansion of z in x
2.437 * [taylor]: Taking taylor expansion of y in x
2.439 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.439 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.439 * [taylor]: Taking taylor expansion of y in y
2.439 * [taylor]: Taking taylor expansion of 1 in z
2.442 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t (* z y)))) in y
2.442 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.442 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.442 * [taylor]: Taking taylor expansion of t in y
2.442 * [taylor]: Taking taylor expansion of (* z y) in y
2.442 * [taylor]: Taking taylor expansion of z in y
2.442 * [taylor]: Taking taylor expansion of y in y
2.444 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in y
2.450 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
2.450 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.450 * [taylor]: Taking taylor expansion of t in y
2.450 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.450 * [taylor]: Taking taylor expansion of z in y
2.451 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
2.451 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.451 * [taylor]: Taking taylor expansion of (* t z) in z
2.451 * [taylor]: Taking taylor expansion of t in z
2.452 * [taylor]: Taking taylor expansion of z in z
2.454 * [taylor]: Taking taylor expansion of 0 in z
2.454 * [taylor]: Taking taylor expansion of 1 in t
2.465 * [taylor]: Taking taylor expansion of 0 in y
2.467 * [taylor]: Taking taylor expansion of 0 in z
2.469 * [taylor]: Taking taylor expansion of 0 in z
2.470 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
2.470 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.470 * [taylor]: Taking taylor expansion of t in t
2.470 * [taylor]: Taking taylor expansion of 0 in t
2.470 * [taylor]: Taking taylor expansion of 0 in t
2.485 * [taylor]: Taking taylor expansion of 0 in y
2.485 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
2.485 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
2.485 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.485 * [taylor]: Taking taylor expansion of t in z
2.485 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.485 * [taylor]: Taking taylor expansion of z in z
2.486 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.486 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.486 * [taylor]: Taking taylor expansion of t in t
2.489 * [taylor]: Taking taylor expansion of 0 in z
2.491 * [taylor]: Taking taylor expansion of 0 in z
2.493 * [taylor]: Taking taylor expansion of 0 in t
2.493 * [taylor]: Taking taylor expansion of 0 in t
2.493 * [taylor]: Taking taylor expansion of 0 in t
2.493 * [taylor]: Taking taylor expansion of 0 in t
2.504 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in (x y z t) around 0
2.504 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in t
2.504 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in t
2.504 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in t
2.504 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in t
2.504 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.504 * [taylor]: Taking taylor expansion of t in t
2.504 * [taylor]: Taking taylor expansion of (pow z 2) in t
2.504 * [taylor]: Taking taylor expansion of z in t
2.505 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in t
2.505 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in t
2.505 * [taylor]: Taking taylor expansion of (pow x 2) in t
2.505 * [taylor]: Taking taylor expansion of x in t
2.505 * [taylor]: Taking taylor expansion of (pow y 2) in t
2.505 * [taylor]: Taking taylor expansion of y in t
2.506 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in t
2.506 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
2.506 * [taylor]: Taking taylor expansion of t in t
2.506 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
2.506 * [taylor]: Taking taylor expansion of x in t
2.506 * [taylor]: Taking taylor expansion of (* z y) in t
2.506 * [taylor]: Taking taylor expansion of z in t
2.506 * [taylor]: Taking taylor expansion of y in t
2.509 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in z
2.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
2.509 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
2.509 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.509 * [taylor]: Taking taylor expansion of t in z
2.509 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.509 * [taylor]: Taking taylor expansion of z in z
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z
2.509 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z
2.509 * [taylor]: Taking taylor expansion of (pow x 2) in z
2.509 * [taylor]: Taking taylor expansion of x in z
2.509 * [taylor]: Taking taylor expansion of (pow y 2) in z
2.509 * [taylor]: Taking taylor expansion of y in z
2.510 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in z
2.510 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
2.510 * [taylor]: Taking taylor expansion of t in z
2.510 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
2.510 * [taylor]: Taking taylor expansion of x in z
2.510 * [taylor]: Taking taylor expansion of (* z y) in z
2.510 * [taylor]: Taking taylor expansion of z in z
2.511 * [taylor]: Taking taylor expansion of y in z
2.512 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in y
2.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y
2.512 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in y
2.512 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
2.512 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.512 * [taylor]: Taking taylor expansion of t in y
2.513 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.513 * [taylor]: Taking taylor expansion of z in y
2.513 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
2.513 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
2.513 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.513 * [taylor]: Taking taylor expansion of x in y
2.514 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.514 * [taylor]: Taking taylor expansion of y in y
2.514 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in y
2.514 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
2.514 * [taylor]: Taking taylor expansion of t in y
2.514 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
2.514 * [taylor]: Taking taylor expansion of x in y
2.514 * [taylor]: Taking taylor expansion of (* z y) in y
2.514 * [taylor]: Taking taylor expansion of z in y
2.514 * [taylor]: Taking taylor expansion of y in y
2.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
2.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
2.516 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
2.516 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
2.516 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.516 * [taylor]: Taking taylor expansion of t in x
2.516 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.516 * [taylor]: Taking taylor expansion of z in x
2.517 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
2.517 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
2.517 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.517 * [taylor]: Taking taylor expansion of x in x
2.517 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.517 * [taylor]: Taking taylor expansion of y in x
2.518 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
2.518 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.518 * [taylor]: Taking taylor expansion of t in x
2.518 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.518 * [taylor]: Taking taylor expansion of x in x
2.518 * [taylor]: Taking taylor expansion of (* z y) in x
2.518 * [taylor]: Taking taylor expansion of z in x
2.518 * [taylor]: Taking taylor expansion of y in x
2.520 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (* t (* x (* z y))))) in x
2.520 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow t 2) (pow z 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x
2.520 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in x
2.520 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in x
2.520 * [taylor]: Taking taylor expansion of (pow t 2) in x
2.520 * [taylor]: Taking taylor expansion of t in x
2.520 * [taylor]: Taking taylor expansion of (pow z 2) in x
2.521 * [taylor]: Taking taylor expansion of z in x
2.521 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
2.521 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
2.521 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.521 * [taylor]: Taking taylor expansion of x in x
2.521 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.521 * [taylor]: Taking taylor expansion of y in x
2.522 * [taylor]: Taking taylor expansion of (/ 1 (* t (* x (* z y)))) in x
2.522 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
2.522 * [taylor]: Taking taylor expansion of t in x
2.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
2.522 * [taylor]: Taking taylor expansion of x in x
2.522 * [taylor]: Taking taylor expansion of (* z y) in x
2.522 * [taylor]: Taking taylor expansion of z in x
2.522 * [taylor]: Taking taylor expansion of y in x
2.525 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.525 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.525 * [taylor]: Taking taylor expansion of y in y
2.525 * [taylor]: Taking taylor expansion of 1 in z
2.529 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t (* z y)))) in y
2.529 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.529 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.529 * [taylor]: Taking taylor expansion of t in y
2.529 * [taylor]: Taking taylor expansion of (* z y) in y
2.529 * [taylor]: Taking taylor expansion of z in y
2.529 * [taylor]: Taking taylor expansion of y in y
2.531 * [taylor]: Taking taylor expansion of 0 in z
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in y
2.538 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y
2.538 * [taylor]: Taking taylor expansion of (pow t 2) in y
2.538 * [taylor]: Taking taylor expansion of t in y
2.539 * [taylor]: Taking taylor expansion of (pow z 2) in y
2.539 * [taylor]: Taking taylor expansion of z in y
2.540 * [taylor]: Taking taylor expansion of (neg (/ 1 (* t z))) in z
2.540 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.540 * [taylor]: Taking taylor expansion of (* t z) in z
2.540 * [taylor]: Taking taylor expansion of t in z
2.540 * [taylor]: Taking taylor expansion of z in z
2.542 * [taylor]: Taking taylor expansion of 0 in z
2.542 * [taylor]: Taking taylor expansion of 1 in t
2.553 * [taylor]: Taking taylor expansion of 0 in y
2.556 * [taylor]: Taking taylor expansion of 0 in z
2.558 * [taylor]: Taking taylor expansion of 0 in z
2.558 * [taylor]: Taking taylor expansion of (neg (/ 1 t)) in t
2.558 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.558 * [taylor]: Taking taylor expansion of t in t
2.558 * [taylor]: Taking taylor expansion of 0 in t
2.558 * [taylor]: Taking taylor expansion of 0 in t
2.573 * [taylor]: Taking taylor expansion of 0 in y
2.573 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow z 2))) in z
2.573 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z
2.573 * [taylor]: Taking taylor expansion of (pow t 2) in z
2.573 * [taylor]: Taking taylor expansion of t in z
2.573 * [taylor]: Taking taylor expansion of (pow z 2) in z
2.573 * [taylor]: Taking taylor expansion of z in z
2.574 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
2.574 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.574 * [taylor]: Taking taylor expansion of t in t
2.577 * [taylor]: Taking taylor expansion of 0 in z
2.580 * [taylor]: Taking taylor expansion of 0 in z
2.581 * [taylor]: Taking taylor expansion of 0 in t
2.581 * [taylor]: Taking taylor expansion of 0 in t
2.581 * [taylor]: Taking taylor expansion of 0 in t
2.581 * [taylor]: Taking taylor expansion of 0 in t
2.588 * * * [progress]: simplifying candidates
2.591 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (log.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (exp.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (log.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))) (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))) (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (*.f64 (*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (neg.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))) 1)
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) 1)
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t)))) 1)
  (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 1 (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 1 (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 1 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (-.f64 (*.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 z t) 3)) (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))))
  (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (pow.f64 (*.f64 (*.f64 x y) (*.f64 x y)) 3) (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (-.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 x y) (*.f64 x y))) (*.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) 1)
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (+.f64 (log.f64 z) (+.f64 (log.f64 t) (log.f64 (-.f64 (*.f64 z t) (*.f64 x y)))))
  (+.f64 (log.f64 z) (log.f64 (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (exp.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (log.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (*.f64 (*.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (*.f64 (cbrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (cbrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (cbrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))) (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (*.f64 t t) t) (*.f64 (*.f64 (-.f64 (*.f64 z t) (*.f64 x y)) (-.f64 (*.f64 z t) (*.f64 x y))) (-.f64 (*.f64 z t) (*.f64 x y)))))
  (sqrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (sqrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (*.f64 (*.f64 (*.f64 z t) t) z)
  (*.f64 (*.f64 (neg.f64 (*.f64 x y)) t) z)
  (*.f64 (*.f64 t (*.f64 z t)) z)
  (*.f64 (*.f64 t (neg.f64 (*.f64 x y))) z)
  (*.f64 z (*.f64 (*.f64 z t) t))
  (*.f64 z (*.f64 (neg.f64 (*.f64 x y)) t))
  (*.f64 z (*.f64 t (*.f64 z t)))
  (*.f64 z (*.f64 t (neg.f64 (*.f64 x y))))
  (*.f64 z (*.f64 t (-.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
  (*.f64 z (*.f64 t (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 x y)))))
  (*.f64 (cbrt.f64 z) (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 (sqrt.f64 z) (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 z t)
  (*.f64 (exp.f64 (pow.f64 (*.f64 x y) 3)) (exp.f64 (pow.f64 (*.f64 z t) 3)))
  (exp.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (log.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (*.f64 (*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (+.f64 (pow.f64 (pow.f64 (*.f64 x y) 3) 3) (pow.f64 (pow.f64 (*.f64 z t) 3) 3))
  (+.f64 (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (-.f64 (*.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 z t) 3)) (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 (*.f64 x y) (*.f64 z t))))
  (+.f64 (*.f64 x y) (*.f64 z t))
  (-.f64 (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (*.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 z t) 3)))
  (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (*.f64 (exp.f64 (*.f64 (*.f64 x y) (*.f64 x y))) (exp.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (exp.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (log.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (+.f64 (pow.f64 (*.f64 (*.f64 x y) (*.f64 x y)) 3) (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3))
  (+.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 x y) (*.f64 x y))) (-.f64 (*.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (-.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 x y) (*.f64 x y))) (*.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 (*.f64 z t) t) z))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 t (*.f64 z t)) z))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 (*.f64 z t) t)))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (*.f64 z t))))
  0
  (+.f64 (*.f64 x y) (*.f64 t z))
  (+.f64 (*.f64 x y) (*.f64 t z))
  0
  (-.f64 (*.f64 (pow.f64 t 2) (pow.f64 z 2)) (*.f64 t (*.f64 x (*.f64 z y))))
  (-.f64 (*.f64 (pow.f64 t 2) (pow.f64 z 2)) (*.f64 t (*.f64 x (*.f64 z y))))
  0
  (+.f64 (*.f64 (pow.f64 t 3) (pow.f64 z 3)) (*.f64 (pow.f64 x 3) (pow.f64 y 3)))
  (+.f64 (*.f64 (pow.f64 t 3) (pow.f64 z 3)) (*.f64 (pow.f64 x 3) (pow.f64 y 3)))
  0
  (-.f64 (+.f64 (*.f64 (pow.f64 t 2) (pow.f64 z 2)) (*.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 t (*.f64 x (*.f64 z y))))
  (-.f64 (+.f64 (*.f64 (pow.f64 t 2) (pow.f64 z 2)) (*.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 t (*.f64 x (*.f64 z y))))
2.634 * * [simplify]: iteration  0 :  5827  enodes  (cost  4052 )
2.650 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (exp.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (log.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (pow.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))) (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (pow.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) 3)
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (neg.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 1 (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  1
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 1 (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  1
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 1 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 6) (-.f64 (pow.f64 (*.f64 z t) 6) (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))))
  (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (pow.f64 (*.f64 x y) 6) (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (-.f64 (pow.f64 (*.f64 x y) 4) (*.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (*.f64 x y) (*.f64 z t)))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (log.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (log.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (exp.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (log.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3)
  (*.f64 (cbrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) (cbrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (cbrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3)
  (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3)
  (sqrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (sqrt.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (*.f64 (*.f64 z t) (*.f64 z t))
  (*.f64 z (*.f64 t (neg.f64 (*.f64 x y))))
  (*.f64 (*.f64 z t) (*.f64 z t))
  (*.f64 z (*.f64 t (neg.f64 (*.f64 x y))))
  (*.f64 (*.f64 z t) (*.f64 z t))
  (*.f64 z (*.f64 t (neg.f64 (*.f64 x y))))
  (*.f64 (*.f64 z t) (*.f64 z t))
  (*.f64 z (*.f64 t (neg.f64 (*.f64 x y))))
  (*.f64 z (*.f64 t (-.f64 (pow.f64 (*.f64 z t) 3) (pow.f64 (*.f64 x y) 3))))
  (+.f64 (pow.f64 (*.f64 z t) 3) (*.f64 (*.f64 (*.f64 x y) (neg.f64 (*.f64 x y))) (*.f64 z t)))
  (*.f64 (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))) (cbrt.f64 z))
  (*.f64 (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))) (sqrt.f64 z))
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 z t)
  (exp.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (exp.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (log.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (pow.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) 3)
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (cbrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)))
  (+.f64 (pow.f64 (pow.f64 (*.f64 x y) 3) 3) (pow.f64 (pow.f64 (*.f64 z t) 3) 3))
  (+.f64 (pow.f64 (*.f64 x y) 6) (-.f64 (pow.f64 (*.f64 z t) 6) (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (+.f64 (*.f64 x y) (*.f64 z t))
  (-.f64 (pow.f64 (*.f64 x y) 6) (pow.f64 (*.f64 z t) 6))
  (-.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (exp.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (exp.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (log.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (pow.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))))
  (cbrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (sqrt.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (+.f64 (pow.f64 (*.f64 x y) 6) (pow.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) 3))
  (+.f64 (pow.f64 (*.f64 x y) 4) (*.f64 z (*.f64 (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))) (-.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 (*.f64 x y) (*.f64 x y))))))
  (-.f64 (pow.f64 (*.f64 x y) 4) (*.f64 (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z t) (*.f64 z t)))
  0
  (+.f64 (*.f64 x y) (*.f64 z t))
  (+.f64 (*.f64 x y) (*.f64 z t))
  0
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y))))
  0
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3))
  0
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))
2.651 * * * [progress]: adding candidates to table
2.751 * [progress]: [Phase 3 of 3] Extracting.
2.751 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.753 * * * [regime-changes]: Trying 11 branch expressions: ((*.f64 a b) (*.f64 z t) (*.f64 x y) (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) b a t z y x)
2.753 * * * * [regimes]: Trying to branch on (*.f64 a b) from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.762 * * * * [regimes]: Trying to branch on (*.f64 z t) from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.773 * * * * [regimes]: Trying to branch on (*.f64 x y) from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.782 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 x y) (*.f64 z t)) from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.792 * * * * [regimes]: Trying to branch on (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.804 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.814 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.823 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.832 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.842 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.852 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)))> #<alt (λ (x y z t a b) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 z t) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 t (-.f64 (*.f64 z t) (*.f64 x y)))))) (*.f64 a b)))>)
2.861 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.861 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
2.863 * * [simplify]: iteration  0 :  17  enodes  (cost  16 )
2.863 * * [simplify]: iteration  1 :  17  enodes  (cost  16 )
2.863 * [simplify]: Simplified to:
   (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
3.732 * [regime-testing]: End program error score: 0.019038055034237063