16.739 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.032 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.034 * * [simplify]: iteration  0 :  17  enodes  (cost  17 )
0.036 * * [simplify]: iteration  1 :  35  enodes  (cost  17 )
0.041 * * [simplify]: iteration  2 :  90  enodes  (cost  16 )
0.060 * * [simplify]: iteration  3 :  244  enodes  (cost  16 )
0.160 * * [simplify]: iteration  4 :  500  enodes  (cost  16 )
0.355 * * [simplify]: iteration  5 :  620  enodes  (cost  16 )
0.525 * * [simplify]: iteration  6 :  695  enodes  (cost  16 )
0.754 * * [simplify]: iteration  7 :  732  enodes  (cost  16 )
1.017 * * [simplify]: iteration  8 :  849  enodes  (cost  16 )
1.596 * * [simplify]: iteration  9 :  1237  enodes  (cost  16 )
1.979 * * [simplify]: iteration  10 :  1241  enodes  (cost  16 )
2.354 * * [simplify]: iteration  done :  1241  enodes  (cost  16 )
2.354 * [simplify]: Simplified to:
   (fma (* a 27.0) b (- (* x 2.0) (* (* (* y 9.0) z) t)))
2.358 * * [progress]: iteration 1 / 4
2.358 * * * [progress]: picking best candidate
2.361 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>
2.361 * * * [progress]: localizing error
2.374 * * * [progress]: generating rewritten candidates
2.374 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.399 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.406 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.413 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.418 * * * [progress]: generating series expansions
2.418 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.418 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
2.418 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
2.418 * [taylor]: Taking taylor expansion of 9.0 in t
2.418 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.418 * [taylor]: Taking taylor expansion of t in t
2.418 * [taylor]: Taking taylor expansion of (* z y) in t
2.418 * [taylor]: Taking taylor expansion of z in t
2.419 * [taylor]: Taking taylor expansion of y in t
2.419 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
2.419 * [taylor]: Taking taylor expansion of 9.0 in z
2.419 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.419 * [taylor]: Taking taylor expansion of t in z
2.419 * [taylor]: Taking taylor expansion of (* z y) in z
2.419 * [taylor]: Taking taylor expansion of z in z
2.419 * [taylor]: Taking taylor expansion of y in z
2.419 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.419 * [taylor]: Taking taylor expansion of 9.0 in y
2.419 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.419 * [taylor]: Taking taylor expansion of t in y
2.419 * [taylor]: Taking taylor expansion of (* z y) in y
2.419 * [taylor]: Taking taylor expansion of z in y
2.419 * [taylor]: Taking taylor expansion of y in y
2.419 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.419 * [taylor]: Taking taylor expansion of 9.0 in y
2.419 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.419 * [taylor]: Taking taylor expansion of t in y
2.419 * [taylor]: Taking taylor expansion of (* z y) in y
2.419 * [taylor]: Taking taylor expansion of z in y
2.419 * [taylor]: Taking taylor expansion of y in y
2.420 * [taylor]: Taking taylor expansion of 0 in z
2.420 * [taylor]: Taking taylor expansion of 0 in t
2.421 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.421 * [taylor]: Taking taylor expansion of 9.0 in z
2.421 * [taylor]: Taking taylor expansion of (* t z) in z
2.421 * [taylor]: Taking taylor expansion of t in z
2.421 * [taylor]: Taking taylor expansion of z in z
2.421 * [taylor]: Taking taylor expansion of 0 in t
2.422 * [taylor]: Taking taylor expansion of 0 in t
2.423 * [taylor]: Taking taylor expansion of 0 in z
2.423 * [taylor]: Taking taylor expansion of 0 in t
2.424 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.424 * [taylor]: Taking taylor expansion of 9.0 in t
2.424 * [taylor]: Taking taylor expansion of t in t
2.424 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
2.424 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
2.424 * [taylor]: Taking taylor expansion of 9.0 in t
2.424 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.424 * [taylor]: Taking taylor expansion of t in t
2.424 * [taylor]: Taking taylor expansion of (* z y) in t
2.424 * [taylor]: Taking taylor expansion of z in t
2.424 * [taylor]: Taking taylor expansion of y in t
2.425 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
2.425 * [taylor]: Taking taylor expansion of 9.0 in z
2.425 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.425 * [taylor]: Taking taylor expansion of t in z
2.425 * [taylor]: Taking taylor expansion of (* z y) in z
2.425 * [taylor]: Taking taylor expansion of z in z
2.425 * [taylor]: Taking taylor expansion of y in z
2.426 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.426 * [taylor]: Taking taylor expansion of 9.0 in y
2.426 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.426 * [taylor]: Taking taylor expansion of t in y
2.426 * [taylor]: Taking taylor expansion of (* z y) in y
2.426 * [taylor]: Taking taylor expansion of z in y
2.426 * [taylor]: Taking taylor expansion of y in y
2.426 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.426 * [taylor]: Taking taylor expansion of 9.0 in y
2.427 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.427 * [taylor]: Taking taylor expansion of t in y
2.427 * [taylor]: Taking taylor expansion of (* z y) in y
2.427 * [taylor]: Taking taylor expansion of z in y
2.427 * [taylor]: Taking taylor expansion of y in y
2.427 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.427 * [taylor]: Taking taylor expansion of 9.0 in z
2.427 * [taylor]: Taking taylor expansion of (* t z) in z
2.427 * [taylor]: Taking taylor expansion of t in z
2.427 * [taylor]: Taking taylor expansion of z in z
2.428 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.428 * [taylor]: Taking taylor expansion of 9.0 in t
2.428 * [taylor]: Taking taylor expansion of t in t
2.429 * [taylor]: Taking taylor expansion of 0 in z
2.430 * [taylor]: Taking taylor expansion of 0 in t
2.432 * [taylor]: Taking taylor expansion of 0 in z
2.432 * [taylor]: Taking taylor expansion of 0 in t
2.432 * [taylor]: Taking taylor expansion of 0 in t
2.435 * [taylor]: Taking taylor expansion of 0 in z
2.435 * [taylor]: Taking taylor expansion of 0 in t
2.435 * [taylor]: Taking taylor expansion of 0 in t
2.435 * [taylor]: Taking taylor expansion of 0 in t
2.436 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
2.436 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
2.436 * [taylor]: Taking taylor expansion of -9.0 in t
2.436 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.436 * [taylor]: Taking taylor expansion of t in t
2.436 * [taylor]: Taking taylor expansion of (* z y) in t
2.436 * [taylor]: Taking taylor expansion of z in t
2.436 * [taylor]: Taking taylor expansion of y in t
2.436 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
2.437 * [taylor]: Taking taylor expansion of -9.0 in z
2.437 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.437 * [taylor]: Taking taylor expansion of t in z
2.437 * [taylor]: Taking taylor expansion of (* z y) in z
2.437 * [taylor]: Taking taylor expansion of z in z
2.437 * [taylor]: Taking taylor expansion of y in z
2.437 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
2.437 * [taylor]: Taking taylor expansion of -9.0 in y
2.437 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.437 * [taylor]: Taking taylor expansion of t in y
2.437 * [taylor]: Taking taylor expansion of (* z y) in y
2.437 * [taylor]: Taking taylor expansion of z in y
2.437 * [taylor]: Taking taylor expansion of y in y
2.438 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
2.438 * [taylor]: Taking taylor expansion of -9.0 in y
2.438 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.438 * [taylor]: Taking taylor expansion of t in y
2.438 * [taylor]: Taking taylor expansion of (* z y) in y
2.438 * [taylor]: Taking taylor expansion of z in y
2.438 * [taylor]: Taking taylor expansion of y in y
2.439 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
2.439 * [taylor]: Taking taylor expansion of -9.0 in z
2.439 * [taylor]: Taking taylor expansion of (* t z) in z
2.439 * [taylor]: Taking taylor expansion of t in z
2.439 * [taylor]: Taking taylor expansion of z in z
2.439 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
2.439 * [taylor]: Taking taylor expansion of -9.0 in t
2.439 * [taylor]: Taking taylor expansion of t in t
2.441 * [taylor]: Taking taylor expansion of 0 in z
2.441 * [taylor]: Taking taylor expansion of 0 in t
2.443 * [taylor]: Taking taylor expansion of 0 in z
2.443 * [taylor]: Taking taylor expansion of 0 in t
2.444 * [taylor]: Taking taylor expansion of 0 in t
2.446 * [taylor]: Taking taylor expansion of 0 in z
2.446 * [taylor]: Taking taylor expansion of 0 in t
2.446 * [taylor]: Taking taylor expansion of 0 in t
2.447 * [taylor]: Taking taylor expansion of 0 in t
2.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.447 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0
2.447 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
2.447 * [taylor]: Taking taylor expansion of 9.0 in z
2.447 * [taylor]: Taking taylor expansion of (* z y) in z
2.447 * [taylor]: Taking taylor expansion of z in z
2.447 * [taylor]: Taking taylor expansion of y in z
2.447 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
2.447 * [taylor]: Taking taylor expansion of 9.0 in y
2.447 * [taylor]: Taking taylor expansion of (* z y) in y
2.447 * [taylor]: Taking taylor expansion of z in y
2.447 * [taylor]: Taking taylor expansion of y in y
2.447 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
2.447 * [taylor]: Taking taylor expansion of 9.0 in y
2.447 * [taylor]: Taking taylor expansion of (* z y) in y
2.448 * [taylor]: Taking taylor expansion of z in y
2.448 * [taylor]: Taking taylor expansion of y in y
2.448 * [taylor]: Taking taylor expansion of 0 in z
2.449 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
2.449 * [taylor]: Taking taylor expansion of 9.0 in z
2.449 * [taylor]: Taking taylor expansion of z in z
2.450 * [taylor]: Taking taylor expansion of 0 in z
2.452 * [taylor]: Taking taylor expansion of 0 in z
2.454 * [taylor]: Taking taylor expansion of 0 in z
2.455 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
2.455 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
2.455 * [taylor]: Taking taylor expansion of 9.0 in z
2.455 * [taylor]: Taking taylor expansion of (* z y) in z
2.455 * [taylor]: Taking taylor expansion of z in z
2.455 * [taylor]: Taking taylor expansion of y in z
2.455 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.455 * [taylor]: Taking taylor expansion of 9.0 in y
2.455 * [taylor]: Taking taylor expansion of (* z y) in y
2.455 * [taylor]: Taking taylor expansion of z in y
2.455 * [taylor]: Taking taylor expansion of y in y
2.456 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.456 * [taylor]: Taking taylor expansion of 9.0 in y
2.456 * [taylor]: Taking taylor expansion of (* z y) in y
2.456 * [taylor]: Taking taylor expansion of z in y
2.456 * [taylor]: Taking taylor expansion of y in y
2.456 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
2.456 * [taylor]: Taking taylor expansion of 9.0 in z
2.456 * [taylor]: Taking taylor expansion of z in z
2.457 * [taylor]: Taking taylor expansion of 0 in z
2.458 * [taylor]: Taking taylor expansion of 0 in z
2.459 * [taylor]: Taking taylor expansion of 0 in z
2.460 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
2.460 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
2.460 * [taylor]: Taking taylor expansion of 9.0 in z
2.460 * [taylor]: Taking taylor expansion of (* z y) in z
2.460 * [taylor]: Taking taylor expansion of z in z
2.460 * [taylor]: Taking taylor expansion of y in z
2.461 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.461 * [taylor]: Taking taylor expansion of 9.0 in y
2.461 * [taylor]: Taking taylor expansion of (* z y) in y
2.461 * [taylor]: Taking taylor expansion of z in y
2.461 * [taylor]: Taking taylor expansion of y in y
2.461 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.461 * [taylor]: Taking taylor expansion of 9.0 in y
2.461 * [taylor]: Taking taylor expansion of (* z y) in y
2.461 * [taylor]: Taking taylor expansion of z in y
2.461 * [taylor]: Taking taylor expansion of y in y
2.462 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
2.462 * [taylor]: Taking taylor expansion of 9.0 in z
2.462 * [taylor]: Taking taylor expansion of z in z
2.463 * [taylor]: Taking taylor expansion of 0 in z
2.464 * [taylor]: Taking taylor expansion of 0 in z
2.465 * [taylor]: Taking taylor expansion of 0 in z
2.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.466 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
2.466 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
2.466 * [taylor]: Taking taylor expansion of 27.0 in b
2.466 * [taylor]: Taking taylor expansion of (* a b) in b
2.466 * [taylor]: Taking taylor expansion of a in b
2.466 * [taylor]: Taking taylor expansion of b in b
2.466 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
2.466 * [taylor]: Taking taylor expansion of 27.0 in a
2.466 * [taylor]: Taking taylor expansion of (* a b) in a
2.466 * [taylor]: Taking taylor expansion of a in a
2.466 * [taylor]: Taking taylor expansion of b in a
2.466 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
2.466 * [taylor]: Taking taylor expansion of 27.0 in a
2.466 * [taylor]: Taking taylor expansion of (* a b) in a
2.466 * [taylor]: Taking taylor expansion of a in a
2.466 * [taylor]: Taking taylor expansion of b in a
2.467 * [taylor]: Taking taylor expansion of 0 in b
2.467 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
2.467 * [taylor]: Taking taylor expansion of 27.0 in b
2.467 * [taylor]: Taking taylor expansion of b in b
2.469 * [taylor]: Taking taylor expansion of 0 in b
2.471 * [taylor]: Taking taylor expansion of 0 in b
2.474 * [taylor]: Taking taylor expansion of 0 in b
2.474 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
2.474 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
2.474 * [taylor]: Taking taylor expansion of 27.0 in b
2.474 * [taylor]: Taking taylor expansion of (* a b) in b
2.474 * [taylor]: Taking taylor expansion of a in b
2.474 * [taylor]: Taking taylor expansion of b in b
2.475 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.475 * [taylor]: Taking taylor expansion of 27.0 in a
2.475 * [taylor]: Taking taylor expansion of (* a b) in a
2.475 * [taylor]: Taking taylor expansion of a in a
2.475 * [taylor]: Taking taylor expansion of b in a
2.475 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.475 * [taylor]: Taking taylor expansion of 27.0 in a
2.475 * [taylor]: Taking taylor expansion of (* a b) in a
2.475 * [taylor]: Taking taylor expansion of a in a
2.475 * [taylor]: Taking taylor expansion of b in a
2.476 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
2.476 * [taylor]: Taking taylor expansion of 27.0 in b
2.476 * [taylor]: Taking taylor expansion of b in b
2.477 * [taylor]: Taking taylor expansion of 0 in b
2.478 * [taylor]: Taking taylor expansion of 0 in b
2.480 * [taylor]: Taking taylor expansion of 0 in b
2.481 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
2.481 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
2.481 * [taylor]: Taking taylor expansion of 27.0 in b
2.481 * [taylor]: Taking taylor expansion of (* a b) in b
2.481 * [taylor]: Taking taylor expansion of a in b
2.481 * [taylor]: Taking taylor expansion of b in b
2.481 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.481 * [taylor]: Taking taylor expansion of 27.0 in a
2.481 * [taylor]: Taking taylor expansion of (* a b) in a
2.481 * [taylor]: Taking taylor expansion of a in a
2.481 * [taylor]: Taking taylor expansion of b in a
2.482 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.482 * [taylor]: Taking taylor expansion of 27.0 in a
2.482 * [taylor]: Taking taylor expansion of (* a b) in a
2.482 * [taylor]: Taking taylor expansion of a in a
2.482 * [taylor]: Taking taylor expansion of b in a
2.482 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
2.482 * [taylor]: Taking taylor expansion of 27.0 in b
2.482 * [taylor]: Taking taylor expansion of b in b
2.483 * [taylor]: Taking taylor expansion of 0 in b
2.485 * [taylor]: Taking taylor expansion of 0 in b
2.486 * [taylor]: Taking taylor expansion of 0 in b
2.490 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
2.491 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0
2.491 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
2.491 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
2.491 * [taylor]: Taking taylor expansion of 2.0 in t
2.491 * [taylor]: Taking taylor expansion of x in t
2.491 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
2.491 * [taylor]: Taking taylor expansion of 9.0 in t
2.491 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.491 * [taylor]: Taking taylor expansion of t in t
2.491 * [taylor]: Taking taylor expansion of (* z y) in t
2.491 * [taylor]: Taking taylor expansion of z in t
2.491 * [taylor]: Taking taylor expansion of y in t
2.491 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
2.491 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
2.491 * [taylor]: Taking taylor expansion of 2.0 in z
2.491 * [taylor]: Taking taylor expansion of x in z
2.491 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
2.491 * [taylor]: Taking taylor expansion of 9.0 in z
2.491 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.491 * [taylor]: Taking taylor expansion of t in z
2.491 * [taylor]: Taking taylor expansion of (* z y) in z
2.491 * [taylor]: Taking taylor expansion of z in z
2.491 * [taylor]: Taking taylor expansion of y in z
2.491 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
2.491 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
2.491 * [taylor]: Taking taylor expansion of 2.0 in y
2.491 * [taylor]: Taking taylor expansion of x in y
2.491 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.491 * [taylor]: Taking taylor expansion of 9.0 in y
2.491 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.491 * [taylor]: Taking taylor expansion of t in y
2.491 * [taylor]: Taking taylor expansion of (* z y) in y
2.491 * [taylor]: Taking taylor expansion of z in y
2.491 * [taylor]: Taking taylor expansion of y in y
2.491 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
2.491 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
2.491 * [taylor]: Taking taylor expansion of 2.0 in x
2.492 * [taylor]: Taking taylor expansion of x in x
2.492 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
2.492 * [taylor]: Taking taylor expansion of 9.0 in x
2.492 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.492 * [taylor]: Taking taylor expansion of t in x
2.492 * [taylor]: Taking taylor expansion of (* z y) in x
2.492 * [taylor]: Taking taylor expansion of z in x
2.492 * [taylor]: Taking taylor expansion of y in x
2.492 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
2.492 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
2.492 * [taylor]: Taking taylor expansion of 2.0 in x
2.492 * [taylor]: Taking taylor expansion of x in x
2.492 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
2.492 * [taylor]: Taking taylor expansion of 9.0 in x
2.492 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.492 * [taylor]: Taking taylor expansion of t in x
2.492 * [taylor]: Taking taylor expansion of (* z y) in x
2.492 * [taylor]: Taking taylor expansion of z in x
2.492 * [taylor]: Taking taylor expansion of y in x
2.493 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in y
2.493 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.493 * [taylor]: Taking taylor expansion of 9.0 in y
2.493 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.493 * [taylor]: Taking taylor expansion of t in y
2.493 * [taylor]: Taking taylor expansion of (* z y) in y
2.493 * [taylor]: Taking taylor expansion of z in y
2.493 * [taylor]: Taking taylor expansion of y in y
2.494 * [taylor]: Taking taylor expansion of 0 in z
2.494 * [taylor]: Taking taylor expansion of 0 in t
2.496 * [taylor]: Taking taylor expansion of 2.0 in y
2.496 * [taylor]: Taking taylor expansion of 2.0 in z
2.496 * [taylor]: Taking taylor expansion of 2.0 in t
2.497 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
2.497 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.497 * [taylor]: Taking taylor expansion of 9.0 in z
2.497 * [taylor]: Taking taylor expansion of (* t z) in z
2.497 * [taylor]: Taking taylor expansion of t in z
2.497 * [taylor]: Taking taylor expansion of z in z
2.498 * [taylor]: Taking taylor expansion of 0 in t
2.498 * [taylor]: Taking taylor expansion of 0 in t
2.500 * [taylor]: Taking taylor expansion of 0 in y
2.500 * [taylor]: Taking taylor expansion of 0 in z
2.500 * [taylor]: Taking taylor expansion of 0 in t
2.500 * [taylor]: Taking taylor expansion of 0 in z
2.500 * [taylor]: Taking taylor expansion of 0 in t
2.502 * [taylor]: Taking taylor expansion of 0 in z
2.502 * [taylor]: Taking taylor expansion of 0 in t
2.502 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0
2.502 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
2.502 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
2.502 * [taylor]: Taking taylor expansion of 2.0 in t
2.502 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.502 * [taylor]: Taking taylor expansion of x in t
2.502 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
2.502 * [taylor]: Taking taylor expansion of 9.0 in t
2.502 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.502 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.502 * [taylor]: Taking taylor expansion of t in t
2.502 * [taylor]: Taking taylor expansion of (* z y) in t
2.502 * [taylor]: Taking taylor expansion of z in t
2.502 * [taylor]: Taking taylor expansion of y in t
2.503 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
2.503 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
2.503 * [taylor]: Taking taylor expansion of 2.0 in z
2.503 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.503 * [taylor]: Taking taylor expansion of x in z
2.503 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
2.503 * [taylor]: Taking taylor expansion of 9.0 in z
2.503 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.503 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.503 * [taylor]: Taking taylor expansion of t in z
2.503 * [taylor]: Taking taylor expansion of (* z y) in z
2.503 * [taylor]: Taking taylor expansion of z in z
2.503 * [taylor]: Taking taylor expansion of y in z
2.504 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
2.504 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
2.504 * [taylor]: Taking taylor expansion of 2.0 in y
2.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.504 * [taylor]: Taking taylor expansion of x in y
2.504 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.504 * [taylor]: Taking taylor expansion of 9.0 in y
2.504 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.504 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.504 * [taylor]: Taking taylor expansion of t in y
2.504 * [taylor]: Taking taylor expansion of (* z y) in y
2.504 * [taylor]: Taking taylor expansion of z in y
2.504 * [taylor]: Taking taylor expansion of y in y
2.505 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
2.505 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.505 * [taylor]: Taking taylor expansion of 2.0 in x
2.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.505 * [taylor]: Taking taylor expansion of x in x
2.505 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.505 * [taylor]: Taking taylor expansion of 9.0 in x
2.505 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.505 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.505 * [taylor]: Taking taylor expansion of t in x
2.505 * [taylor]: Taking taylor expansion of (* z y) in x
2.505 * [taylor]: Taking taylor expansion of z in x
2.505 * [taylor]: Taking taylor expansion of y in x
2.505 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
2.505 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.505 * [taylor]: Taking taylor expansion of 2.0 in x
2.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.505 * [taylor]: Taking taylor expansion of x in x
2.506 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.506 * [taylor]: Taking taylor expansion of 9.0 in x
2.506 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.506 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.506 * [taylor]: Taking taylor expansion of t in x
2.506 * [taylor]: Taking taylor expansion of (* z y) in x
2.506 * [taylor]: Taking taylor expansion of z in x
2.506 * [taylor]: Taking taylor expansion of y in x
2.507 * [taylor]: Taking taylor expansion of 2.0 in y
2.508 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in y
2.508 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.508 * [taylor]: Taking taylor expansion of 9.0 in y
2.508 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.508 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.508 * [taylor]: Taking taylor expansion of t in y
2.508 * [taylor]: Taking taylor expansion of (* z y) in y
2.508 * [taylor]: Taking taylor expansion of z in y
2.508 * [taylor]: Taking taylor expansion of y in y
2.509 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
2.509 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.509 * [taylor]: Taking taylor expansion of 9.0 in z
2.509 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.509 * [taylor]: Taking taylor expansion of (* t z) in z
2.509 * [taylor]: Taking taylor expansion of t in z
2.509 * [taylor]: Taking taylor expansion of z in z
2.509 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
2.509 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.509 * [taylor]: Taking taylor expansion of 9.0 in t
2.509 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.509 * [taylor]: Taking taylor expansion of t in t
2.510 * [taylor]: Taking taylor expansion of 2.0 in z
2.513 * [taylor]: Taking taylor expansion of 0 in y
2.514 * [taylor]: Taking taylor expansion of 0 in z
2.514 * [taylor]: Taking taylor expansion of 0 in z
2.515 * [taylor]: Taking taylor expansion of 0 in t
2.515 * [taylor]: Taking taylor expansion of 2.0 in t
2.519 * [taylor]: Taking taylor expansion of 0 in y
2.519 * [taylor]: Taking taylor expansion of 0 in z
2.521 * [taylor]: Taking taylor expansion of 0 in z
2.521 * [taylor]: Taking taylor expansion of 0 in z
2.522 * [taylor]: Taking taylor expansion of 0 in t
2.522 * [taylor]: Taking taylor expansion of 0 in t
2.523 * [taylor]: Taking taylor expansion of 0 in t
2.523 * [taylor]: Taking taylor expansion of 0 in t
2.529 * [taylor]: Taking taylor expansion of 0 in y
2.529 * [taylor]: Taking taylor expansion of 0 in z
2.529 * [taylor]: Taking taylor expansion of 0 in z
2.532 * [taylor]: Taking taylor expansion of 0 in z
2.532 * [taylor]: Taking taylor expansion of 0 in z
2.532 * [taylor]: Taking taylor expansion of 0 in t
2.532 * [taylor]: Taking taylor expansion of 0 in t
2.532 * [taylor]: Taking taylor expansion of 0 in t
2.532 * [taylor]: Taking taylor expansion of 0 in t
2.532 * [taylor]: Taking taylor expansion of 0 in t
2.534 * [taylor]: Taking taylor expansion of 0 in t
2.534 * [taylor]: Taking taylor expansion of 0 in t
2.535 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0
2.535 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
2.535 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
2.535 * [taylor]: Taking taylor expansion of 9.0 in t
2.535 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.535 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.535 * [taylor]: Taking taylor expansion of t in t
2.535 * [taylor]: Taking taylor expansion of (* z y) in t
2.535 * [taylor]: Taking taylor expansion of z in t
2.535 * [taylor]: Taking taylor expansion of y in t
2.535 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
2.535 * [taylor]: Taking taylor expansion of 2.0 in t
2.535 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.535 * [taylor]: Taking taylor expansion of x in t
2.536 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
2.536 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
2.536 * [taylor]: Taking taylor expansion of 9.0 in z
2.536 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.536 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.536 * [taylor]: Taking taylor expansion of t in z
2.536 * [taylor]: Taking taylor expansion of (* z y) in z
2.536 * [taylor]: Taking taylor expansion of z in z
2.536 * [taylor]: Taking taylor expansion of y in z
2.536 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
2.536 * [taylor]: Taking taylor expansion of 2.0 in z
2.536 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.536 * [taylor]: Taking taylor expansion of x in z
2.536 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
2.536 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.536 * [taylor]: Taking taylor expansion of 9.0 in y
2.537 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.537 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.537 * [taylor]: Taking taylor expansion of t in y
2.537 * [taylor]: Taking taylor expansion of (* z y) in y
2.537 * [taylor]: Taking taylor expansion of z in y
2.537 * [taylor]: Taking taylor expansion of y in y
2.537 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
2.537 * [taylor]: Taking taylor expansion of 2.0 in y
2.537 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.537 * [taylor]: Taking taylor expansion of x in y
2.537 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
2.537 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.537 * [taylor]: Taking taylor expansion of 9.0 in x
2.537 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.537 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.537 * [taylor]: Taking taylor expansion of t in x
2.537 * [taylor]: Taking taylor expansion of (* z y) in x
2.537 * [taylor]: Taking taylor expansion of z in x
2.537 * [taylor]: Taking taylor expansion of y in x
2.538 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.538 * [taylor]: Taking taylor expansion of 2.0 in x
2.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.538 * [taylor]: Taking taylor expansion of x in x
2.538 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
2.538 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.538 * [taylor]: Taking taylor expansion of 9.0 in x
2.538 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.538 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.538 * [taylor]: Taking taylor expansion of t in x
2.538 * [taylor]: Taking taylor expansion of (* z y) in x
2.538 * [taylor]: Taking taylor expansion of z in x
2.538 * [taylor]: Taking taylor expansion of y in x
2.538 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.538 * [taylor]: Taking taylor expansion of 2.0 in x
2.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.538 * [taylor]: Taking taylor expansion of x in x
2.540 * [taylor]: Taking taylor expansion of (- 2.0) in y
2.540 * [taylor]: Taking taylor expansion of 2.0 in y
2.541 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.541 * [taylor]: Taking taylor expansion of 9.0 in y
2.541 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.541 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.541 * [taylor]: Taking taylor expansion of t in y
2.541 * [taylor]: Taking taylor expansion of (* z y) in y
2.541 * [taylor]: Taking taylor expansion of z in y
2.541 * [taylor]: Taking taylor expansion of y in y
2.542 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.542 * [taylor]: Taking taylor expansion of 9.0 in z
2.542 * [taylor]: Taking taylor expansion of (* t z) in z
2.542 * [taylor]: Taking taylor expansion of t in z
2.542 * [taylor]: Taking taylor expansion of z in z
2.543 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.543 * [taylor]: Taking taylor expansion of 9.0 in t
2.543 * [taylor]: Taking taylor expansion of t in t
2.543 * [taylor]: Taking taylor expansion of (- 2.0) in z
2.543 * [taylor]: Taking taylor expansion of 2.0 in z
2.545 * [taylor]: Taking taylor expansion of 0 in y
2.547 * [taylor]: Taking taylor expansion of 0 in z
2.547 * [taylor]: Taking taylor expansion of 0 in z
2.548 * [taylor]: Taking taylor expansion of 0 in t
2.548 * [taylor]: Taking taylor expansion of (- 2.0) in t
2.548 * [taylor]: Taking taylor expansion of 2.0 in t
2.551 * [taylor]: Taking taylor expansion of 0 in y
2.552 * [taylor]: Taking taylor expansion of 0 in z
2.553 * [taylor]: Taking taylor expansion of 0 in z
2.554 * [taylor]: Taking taylor expansion of 0 in z
2.554 * [taylor]: Taking taylor expansion of 0 in t
2.554 * [taylor]: Taking taylor expansion of 0 in t
2.554 * [taylor]: Taking taylor expansion of 0 in t
2.555 * [taylor]: Taking taylor expansion of 0 in t
2.560 * [taylor]: Taking taylor expansion of 0 in y
2.560 * [taylor]: Taking taylor expansion of 0 in z
2.560 * [taylor]: Taking taylor expansion of 0 in z
2.562 * [taylor]: Taking taylor expansion of 0 in z
2.563 * [taylor]: Taking taylor expansion of 0 in z
2.563 * [taylor]: Taking taylor expansion of 0 in t
2.563 * [taylor]: Taking taylor expansion of 0 in t
2.563 * [taylor]: Taking taylor expansion of 0 in t
2.563 * [taylor]: Taking taylor expansion of 0 in t
2.563 * [taylor]: Taking taylor expansion of 0 in t
2.564 * [taylor]: Taking taylor expansion of 0 in t
2.564 * [taylor]: Taking taylor expansion of 0 in t
2.565 * * * [progress]: simplifying candidates
2.566 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* y 9.0) z) t))
  (log1p (* (* (* y 9.0) z) t))
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (+ (+ (+ (log y) (log 9.0)) (log z)) (log t))
  (+ (+ (log (* y 9.0)) (log z)) (log t))
  (+ (log (* (* y 9.0) z)) (log t))
  (log (* (* (* y 9.0) z) t))
  (exp (* (* (* y 9.0) z) t))
  (* (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* y 9.0) z) (* (* y 9.0) z)) (* (* y 9.0) z)) (* (* t t) t))
  (* (cbrt (* (* (* y 9.0) z) t)) (cbrt (* (* (* y 9.0) z) t)))
  (cbrt (* (* (* y 9.0) z) t))
  (* (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)) (* (* (* y 9.0) z) t))
  (sqrt (* (* (* y 9.0) z) t))
  (sqrt (* (* (* y 9.0) z) t))
  (* (* (* y 9.0) z) (* (cbrt t) (cbrt t)))
  (* (* (* y 9.0) z) (sqrt t))
  (* (* (* y 9.0) z) 1)
  (* z t)
  (expm1 (* (* y 9.0) z))
  (log1p (* (* y 9.0) z))
  (* (* y 9.0) z)
  (* (* y 9.0) z)
  (+ (+ (log y) (log 9.0)) (log z))
  (+ (log (* y 9.0)) (log z))
  (log (* (* y 9.0) z))
  (exp (* (* y 9.0) z))
  (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* z z) z))
  (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* z z) z))
  (* (cbrt (* (* y 9.0) z)) (cbrt (* (* y 9.0) z)))
  (cbrt (* (* y 9.0) z))
  (* (* (* (* y 9.0) z) (* (* y 9.0) z)) (* (* y 9.0) z))
  (sqrt (* (* y 9.0) z))
  (sqrt (* (* y 9.0) z))
  (* (* y 9.0) (* (cbrt z) (cbrt z)))
  (* (* y 9.0) (sqrt z))
  (* (* y 9.0) 1)
  (* 9.0 z)
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (fma x 2.0 (- (* t (* (* y 9.0) z))))
  (fma (- t) (* (* y 9.0) z) (* t (* (* y 9.0) z)))
  (expm1 (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (log1p (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (- (* (* (* y 9.0) z) t))
  (/ (exp (* x 2.0)) (exp (* (* (* y 9.0) z) t)))
  (log (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (exp (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (* (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))) (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))))
  (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (* (* (- (* x 2.0) (* (* (* y 9.0) z) t)) (- (* x 2.0) (* (* (* y 9.0) z) t))) (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (- (pow (* x 2.0) 3) (pow (* (* (* y 9.0) z) t) 3))
  (+ (* (* x 2.0) (* x 2.0)) (+ (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)) (* (* x 2.0) (* (* (* y 9.0) z) t))))
  (- (* (* (* y 9.0) z) t))
  (- (* (* x 2.0) (* x 2.0)) (* (* (* (* y 9.0) z) t) (* (* (* y 9.0) z) t)))
  (+ (* x 2.0) (* (* (* y 9.0) z) t))
  (- (* (* (* y 9.0) z) t))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
2.570 * * [simplify]: iteration  0 :  146  enodes  (cost  914 )
2.599 * * [simplify]: iteration  1 :  369  enodes  (cost  869 )
2.782 * * [simplify]: iteration  2 :  1580  enodes  (cost  740 )
3.629 * * [simplify]: iteration  done :  5001  enodes  (cost  740 )
3.630 * [simplify]: Simplified to:
   (expm1 (* (* (* y 9.0) z) t))
  (log1p (* (* (* y 9.0) z) t))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (log (* t (* (* y 9.0) z)))
  (log (* t (* (* y 9.0) z)))
  (log (* t (* (* y 9.0) z)))
  (log (* t (* (* y 9.0) z)))
  (exp (* (* (* y 9.0) z) t))
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (* (cbrt (* (* (* y 9.0) z) t)) (cbrt (* (* (* y 9.0) z) t)))
  (cbrt (* (* (* y 9.0) z) t))
  (pow (* 9.0 (* t (* z y))) 3)
  (sqrt (* (* (* y 9.0) z) t))
  (sqrt (* (* (* y 9.0) z) t))
  (* (* (* y 9.0) z) (* (cbrt t) (cbrt t)))
  (* (* (* y 9.0) z) (sqrt t))
  (* 9.0 (* z y))
  (* z t)
  (expm1 (* (* y 9.0) z))
  (log1p (* (* y 9.0) z))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (log (* (* y 9.0) z))
  (log (* (* y 9.0) z))
  (log (* (* y 9.0) z))
  (exp (* (* y 9.0) z))
  (pow (* (* y 9.0) z) 3)
  (pow (* (* y 9.0) z) 3)
  (* (cbrt (* (* y 9.0) z)) (cbrt (* (* y 9.0) z)))
  (cbrt (* (* y 9.0) z))
  (pow (* (* y 9.0) z) 3)
  (sqrt (* (* y 9.0) z))
  (sqrt (* (* y 9.0) z))
  (* (* y 9.0) (* (cbrt z) (cbrt z)))
  (* (* y 9.0) (sqrt z))
  (* y 9.0)
  (* z 9.0)
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (* (* 9.0 (* z y)) (+ (- t) t))
  (expm1 (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (log1p (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (- (* 9.0 (* t (* z y))))
  (exp (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (log (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (exp (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (* (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))) (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t))))
  (cbrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (pow (fma x 2.0 (- (* t (* (* y 9.0) z)))) 3)
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (sqrt (- (* x 2.0) (* (* (* y 9.0) z) t)))
  (- (pow (* x 2.0) 3) (pow (* (* (* y 9.0) z) t) 3))
  (fma (* x 2.0) (* x 2.0) (* (* t (* (* y 9.0) z)) (fma x 2.0 (* t (* (* y 9.0) z)))))
  (- (* 9.0 (* t (* z y))))
  (* (fma x 2.0 (* t (* (* y 9.0) z))) (fma x 2.0 (- (* t (* (* y 9.0) z)))))
  (fma x 2.0 (* t (* (* y 9.0) z)))
  (- (* 9.0 (* t (* z y))))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* 9.0 (* z y))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* x 2.0)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
3.630 * * * [progress]: adding candidates to table
3.892 * * [progress]: iteration 2 / 4
3.892 * * * [progress]: picking best candidate
3.925 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))>
3.926 * * * [progress]: localizing error
3.939 * * * [progress]: generating rewritten candidates
3.939 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
3.950 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.957 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.960 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.976 * * * [progress]: generating series expansions
3.976 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
3.976 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
3.976 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.977 * [taylor]: Taking taylor expansion of 9.0 in t
3.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.977 * [taylor]: Taking taylor expansion of t in t
3.977 * [taylor]: Taking taylor expansion of (* z y) in t
3.977 * [taylor]: Taking taylor expansion of z in t
3.977 * [taylor]: Taking taylor expansion of y in t
3.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.977 * [taylor]: Taking taylor expansion of 9.0 in z
3.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.977 * [taylor]: Taking taylor expansion of t in z
3.977 * [taylor]: Taking taylor expansion of (* z y) in z
3.977 * [taylor]: Taking taylor expansion of z in z
3.977 * [taylor]: Taking taylor expansion of y in z
3.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.977 * [taylor]: Taking taylor expansion of 9.0 in y
3.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.977 * [taylor]: Taking taylor expansion of t in y
3.977 * [taylor]: Taking taylor expansion of (* z y) in y
3.977 * [taylor]: Taking taylor expansion of z in y
3.977 * [taylor]: Taking taylor expansion of y in y
3.977 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.977 * [taylor]: Taking taylor expansion of 9.0 in y
3.977 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.977 * [taylor]: Taking taylor expansion of t in y
3.977 * [taylor]: Taking taylor expansion of (* z y) in y
3.977 * [taylor]: Taking taylor expansion of z in y
3.977 * [taylor]: Taking taylor expansion of y in y
3.978 * [taylor]: Taking taylor expansion of 0 in z
3.978 * [taylor]: Taking taylor expansion of 0 in t
3.979 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
3.979 * [taylor]: Taking taylor expansion of 9.0 in z
3.979 * [taylor]: Taking taylor expansion of (* t z) in z
3.979 * [taylor]: Taking taylor expansion of t in z
3.979 * [taylor]: Taking taylor expansion of z in z
3.979 * [taylor]: Taking taylor expansion of 0 in t
3.979 * [taylor]: Taking taylor expansion of 0 in t
3.981 * [taylor]: Taking taylor expansion of 0 in z
3.981 * [taylor]: Taking taylor expansion of 0 in t
3.981 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
3.981 * [taylor]: Taking taylor expansion of 9.0 in t
3.982 * [taylor]: Taking taylor expansion of t in t
3.982 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
3.982 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.982 * [taylor]: Taking taylor expansion of 9.0 in t
3.982 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.982 * [taylor]: Taking taylor expansion of t in t
3.982 * [taylor]: Taking taylor expansion of (* z y) in t
3.982 * [taylor]: Taking taylor expansion of z in t
3.982 * [taylor]: Taking taylor expansion of y in t
3.983 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
3.983 * [taylor]: Taking taylor expansion of 9.0 in z
3.983 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.983 * [taylor]: Taking taylor expansion of t in z
3.983 * [taylor]: Taking taylor expansion of (* z y) in z
3.983 * [taylor]: Taking taylor expansion of z in z
3.983 * [taylor]: Taking taylor expansion of y in z
3.983 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.983 * [taylor]: Taking taylor expansion of 9.0 in y
3.983 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.983 * [taylor]: Taking taylor expansion of t in y
3.983 * [taylor]: Taking taylor expansion of (* z y) in y
3.983 * [taylor]: Taking taylor expansion of z in y
3.983 * [taylor]: Taking taylor expansion of y in y
3.984 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.984 * [taylor]: Taking taylor expansion of 9.0 in y
3.984 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.984 * [taylor]: Taking taylor expansion of t in y
3.984 * [taylor]: Taking taylor expansion of (* z y) in y
3.984 * [taylor]: Taking taylor expansion of z in y
3.984 * [taylor]: Taking taylor expansion of y in y
3.985 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
3.985 * [taylor]: Taking taylor expansion of 9.0 in z
3.985 * [taylor]: Taking taylor expansion of (* t z) in z
3.985 * [taylor]: Taking taylor expansion of t in z
3.985 * [taylor]: Taking taylor expansion of z in z
3.985 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
3.985 * [taylor]: Taking taylor expansion of 9.0 in t
3.985 * [taylor]: Taking taylor expansion of t in t
3.987 * [taylor]: Taking taylor expansion of 0 in z
3.987 * [taylor]: Taking taylor expansion of 0 in t
3.992 * [taylor]: Taking taylor expansion of 0 in z
3.992 * [taylor]: Taking taylor expansion of 0 in t
3.993 * [taylor]: Taking taylor expansion of 0 in t
3.995 * [taylor]: Taking taylor expansion of 0 in z
3.995 * [taylor]: Taking taylor expansion of 0 in t
3.995 * [taylor]: Taking taylor expansion of 0 in t
3.996 * [taylor]: Taking taylor expansion of 0 in t
3.997 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
3.997 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.997 * [taylor]: Taking taylor expansion of -9.0 in t
3.997 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.997 * [taylor]: Taking taylor expansion of t in t
3.997 * [taylor]: Taking taylor expansion of (* z y) in t
3.997 * [taylor]: Taking taylor expansion of z in t
3.997 * [taylor]: Taking taylor expansion of y in t
3.997 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
3.997 * [taylor]: Taking taylor expansion of -9.0 in z
3.997 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.997 * [taylor]: Taking taylor expansion of t in z
3.997 * [taylor]: Taking taylor expansion of (* z y) in z
3.997 * [taylor]: Taking taylor expansion of z in z
3.997 * [taylor]: Taking taylor expansion of y in z
3.998 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.998 * [taylor]: Taking taylor expansion of -9.0 in y
3.998 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.998 * [taylor]: Taking taylor expansion of t in y
3.998 * [taylor]: Taking taylor expansion of (* z y) in y
3.998 * [taylor]: Taking taylor expansion of z in y
3.998 * [taylor]: Taking taylor expansion of y in y
3.999 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.999 * [taylor]: Taking taylor expansion of -9.0 in y
3.999 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.999 * [taylor]: Taking taylor expansion of t in y
3.999 * [taylor]: Taking taylor expansion of (* z y) in y
3.999 * [taylor]: Taking taylor expansion of z in y
3.999 * [taylor]: Taking taylor expansion of y in y
4.000 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
4.000 * [taylor]: Taking taylor expansion of -9.0 in z
4.000 * [taylor]: Taking taylor expansion of (* t z) in z
4.000 * [taylor]: Taking taylor expansion of t in z
4.000 * [taylor]: Taking taylor expansion of z in z
4.000 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
4.000 * [taylor]: Taking taylor expansion of -9.0 in t
4.000 * [taylor]: Taking taylor expansion of t in t
4.002 * [taylor]: Taking taylor expansion of 0 in z
4.002 * [taylor]: Taking taylor expansion of 0 in t
4.004 * [taylor]: Taking taylor expansion of 0 in z
4.004 * [taylor]: Taking taylor expansion of 0 in t
4.005 * [taylor]: Taking taylor expansion of 0 in t
4.007 * [taylor]: Taking taylor expansion of 0 in z
4.007 * [taylor]: Taking taylor expansion of 0 in t
4.007 * [taylor]: Taking taylor expansion of 0 in t
4.008 * [taylor]: Taking taylor expansion of 0 in t
4.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
4.008 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
4.008 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
4.008 * [taylor]: Taking taylor expansion of 27.0 in b
4.008 * [taylor]: Taking taylor expansion of (* a b) in b
4.008 * [taylor]: Taking taylor expansion of a in b
4.008 * [taylor]: Taking taylor expansion of b in b
4.008 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.008 * [taylor]: Taking taylor expansion of 27.0 in a
4.008 * [taylor]: Taking taylor expansion of (* a b) in a
4.008 * [taylor]: Taking taylor expansion of a in a
4.008 * [taylor]: Taking taylor expansion of b in a
4.008 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.008 * [taylor]: Taking taylor expansion of 27.0 in a
4.008 * [taylor]: Taking taylor expansion of (* a b) in a
4.008 * [taylor]: Taking taylor expansion of a in a
4.008 * [taylor]: Taking taylor expansion of b in a
4.009 * [taylor]: Taking taylor expansion of 0 in b
4.010 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
4.010 * [taylor]: Taking taylor expansion of 27.0 in b
4.010 * [taylor]: Taking taylor expansion of b in b
4.011 * [taylor]: Taking taylor expansion of 0 in b
4.014 * [taylor]: Taking taylor expansion of 0 in b
4.017 * [taylor]: Taking taylor expansion of 0 in b
4.017 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
4.017 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
4.017 * [taylor]: Taking taylor expansion of 27.0 in b
4.017 * [taylor]: Taking taylor expansion of (* a b) in b
4.017 * [taylor]: Taking taylor expansion of a in b
4.017 * [taylor]: Taking taylor expansion of b in b
4.018 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.018 * [taylor]: Taking taylor expansion of 27.0 in a
4.018 * [taylor]: Taking taylor expansion of (* a b) in a
4.018 * [taylor]: Taking taylor expansion of a in a
4.018 * [taylor]: Taking taylor expansion of b in a
4.018 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.018 * [taylor]: Taking taylor expansion of 27.0 in a
4.018 * [taylor]: Taking taylor expansion of (* a b) in a
4.018 * [taylor]: Taking taylor expansion of a in a
4.018 * [taylor]: Taking taylor expansion of b in a
4.019 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.019 * [taylor]: Taking taylor expansion of 27.0 in b
4.019 * [taylor]: Taking taylor expansion of b in b
4.020 * [taylor]: Taking taylor expansion of 0 in b
4.021 * [taylor]: Taking taylor expansion of 0 in b
4.023 * [taylor]: Taking taylor expansion of 0 in b
4.024 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
4.024 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
4.024 * [taylor]: Taking taylor expansion of 27.0 in b
4.024 * [taylor]: Taking taylor expansion of (* a b) in b
4.024 * [taylor]: Taking taylor expansion of a in b
4.024 * [taylor]: Taking taylor expansion of b in b
4.024 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.024 * [taylor]: Taking taylor expansion of 27.0 in a
4.024 * [taylor]: Taking taylor expansion of (* a b) in a
4.024 * [taylor]: Taking taylor expansion of a in a
4.024 * [taylor]: Taking taylor expansion of b in a
4.025 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.025 * [taylor]: Taking taylor expansion of 27.0 in a
4.025 * [taylor]: Taking taylor expansion of (* a b) in a
4.025 * [taylor]: Taking taylor expansion of a in a
4.025 * [taylor]: Taking taylor expansion of b in a
4.025 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.025 * [taylor]: Taking taylor expansion of 27.0 in b
4.025 * [taylor]: Taking taylor expansion of b in b
4.026 * [taylor]: Taking taylor expansion of 0 in b
4.028 * [taylor]: Taking taylor expansion of 0 in b
4.029 * [taylor]: Taking taylor expansion of 0 in b
4.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.031 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0
4.031 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
4.031 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
4.031 * [taylor]: Taking taylor expansion of 2.0 in t
4.031 * [taylor]: Taking taylor expansion of x in t
4.031 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.031 * [taylor]: Taking taylor expansion of 9.0 in t
4.031 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.031 * [taylor]: Taking taylor expansion of t in t
4.031 * [taylor]: Taking taylor expansion of (* z y) in t
4.031 * [taylor]: Taking taylor expansion of z in t
4.031 * [taylor]: Taking taylor expansion of y in t
4.031 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
4.031 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
4.031 * [taylor]: Taking taylor expansion of 2.0 in z
4.031 * [taylor]: Taking taylor expansion of x in z
4.031 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
4.031 * [taylor]: Taking taylor expansion of 9.0 in z
4.031 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.031 * [taylor]: Taking taylor expansion of t in z
4.031 * [taylor]: Taking taylor expansion of (* z y) in z
4.031 * [taylor]: Taking taylor expansion of z in z
4.031 * [taylor]: Taking taylor expansion of y in z
4.031 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
4.031 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
4.031 * [taylor]: Taking taylor expansion of 2.0 in y
4.031 * [taylor]: Taking taylor expansion of x in y
4.031 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.031 * [taylor]: Taking taylor expansion of 9.0 in y
4.031 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.031 * [taylor]: Taking taylor expansion of t in y
4.031 * [taylor]: Taking taylor expansion of (* z y) in y
4.031 * [taylor]: Taking taylor expansion of z in y
4.031 * [taylor]: Taking taylor expansion of y in y
4.031 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
4.031 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.031 * [taylor]: Taking taylor expansion of 2.0 in x
4.031 * [taylor]: Taking taylor expansion of x in x
4.031 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
4.031 * [taylor]: Taking taylor expansion of 9.0 in x
4.031 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.031 * [taylor]: Taking taylor expansion of t in x
4.031 * [taylor]: Taking taylor expansion of (* z y) in x
4.031 * [taylor]: Taking taylor expansion of z in x
4.031 * [taylor]: Taking taylor expansion of y in x
4.031 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
4.031 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.031 * [taylor]: Taking taylor expansion of 2.0 in x
4.031 * [taylor]: Taking taylor expansion of x in x
4.031 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
4.031 * [taylor]: Taking taylor expansion of 9.0 in x
4.031 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.031 * [taylor]: Taking taylor expansion of t in x
4.031 * [taylor]: Taking taylor expansion of (* z y) in x
4.031 * [taylor]: Taking taylor expansion of z in x
4.031 * [taylor]: Taking taylor expansion of y in x
4.032 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in y
4.032 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.032 * [taylor]: Taking taylor expansion of 9.0 in y
4.032 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.032 * [taylor]: Taking taylor expansion of t in y
4.032 * [taylor]: Taking taylor expansion of (* z y) in y
4.032 * [taylor]: Taking taylor expansion of z in y
4.032 * [taylor]: Taking taylor expansion of y in y
4.033 * [taylor]: Taking taylor expansion of 0 in z
4.033 * [taylor]: Taking taylor expansion of 0 in t
4.035 * [taylor]: Taking taylor expansion of 2.0 in y
4.035 * [taylor]: Taking taylor expansion of 2.0 in z
4.035 * [taylor]: Taking taylor expansion of 2.0 in t
4.036 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
4.036 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.036 * [taylor]: Taking taylor expansion of 9.0 in z
4.036 * [taylor]: Taking taylor expansion of (* t z) in z
4.036 * [taylor]: Taking taylor expansion of t in z
4.036 * [taylor]: Taking taylor expansion of z in z
4.037 * [taylor]: Taking taylor expansion of 0 in t
4.037 * [taylor]: Taking taylor expansion of 0 in t
4.039 * [taylor]: Taking taylor expansion of 0 in y
4.039 * [taylor]: Taking taylor expansion of 0 in z
4.039 * [taylor]: Taking taylor expansion of 0 in t
4.039 * [taylor]: Taking taylor expansion of 0 in z
4.039 * [taylor]: Taking taylor expansion of 0 in t
4.041 * [taylor]: Taking taylor expansion of 0 in z
4.041 * [taylor]: Taking taylor expansion of 0 in t
4.041 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0
4.041 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
4.041 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
4.041 * [taylor]: Taking taylor expansion of 2.0 in t
4.041 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.041 * [taylor]: Taking taylor expansion of x in t
4.041 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.041 * [taylor]: Taking taylor expansion of 9.0 in t
4.041 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.041 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.041 * [taylor]: Taking taylor expansion of t in t
4.042 * [taylor]: Taking taylor expansion of (* z y) in t
4.042 * [taylor]: Taking taylor expansion of z in t
4.042 * [taylor]: Taking taylor expansion of y in t
4.042 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
4.042 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
4.042 * [taylor]: Taking taylor expansion of 2.0 in z
4.042 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.042 * [taylor]: Taking taylor expansion of x in z
4.042 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
4.042 * [taylor]: Taking taylor expansion of 9.0 in z
4.042 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.042 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.042 * [taylor]: Taking taylor expansion of t in z
4.042 * [taylor]: Taking taylor expansion of (* z y) in z
4.042 * [taylor]: Taking taylor expansion of z in z
4.042 * [taylor]: Taking taylor expansion of y in z
4.043 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
4.043 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
4.043 * [taylor]: Taking taylor expansion of 2.0 in y
4.043 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.043 * [taylor]: Taking taylor expansion of x in y
4.043 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.043 * [taylor]: Taking taylor expansion of 9.0 in y
4.043 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.043 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.043 * [taylor]: Taking taylor expansion of t in y
4.043 * [taylor]: Taking taylor expansion of (* z y) in y
4.043 * [taylor]: Taking taylor expansion of z in y
4.043 * [taylor]: Taking taylor expansion of y in y
4.044 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
4.044 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.044 * [taylor]: Taking taylor expansion of 2.0 in x
4.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.044 * [taylor]: Taking taylor expansion of x in x
4.044 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.044 * [taylor]: Taking taylor expansion of 9.0 in x
4.044 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.044 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.044 * [taylor]: Taking taylor expansion of t in x
4.044 * [taylor]: Taking taylor expansion of (* z y) in x
4.044 * [taylor]: Taking taylor expansion of z in x
4.044 * [taylor]: Taking taylor expansion of y in x
4.044 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
4.044 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.044 * [taylor]: Taking taylor expansion of 2.0 in x
4.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.045 * [taylor]: Taking taylor expansion of x in x
4.045 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.045 * [taylor]: Taking taylor expansion of 9.0 in x
4.045 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.045 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.045 * [taylor]: Taking taylor expansion of t in x
4.045 * [taylor]: Taking taylor expansion of (* z y) in x
4.045 * [taylor]: Taking taylor expansion of z in x
4.045 * [taylor]: Taking taylor expansion of y in x
4.046 * [taylor]: Taking taylor expansion of 2.0 in y
4.047 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in y
4.047 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.047 * [taylor]: Taking taylor expansion of 9.0 in y
4.047 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.047 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.047 * [taylor]: Taking taylor expansion of t in y
4.047 * [taylor]: Taking taylor expansion of (* z y) in y
4.047 * [taylor]: Taking taylor expansion of z in y
4.047 * [taylor]: Taking taylor expansion of y in y
4.048 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
4.048 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.048 * [taylor]: Taking taylor expansion of 9.0 in z
4.048 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.048 * [taylor]: Taking taylor expansion of (* t z) in z
4.048 * [taylor]: Taking taylor expansion of t in z
4.048 * [taylor]: Taking taylor expansion of z in z
4.048 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
4.048 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
4.048 * [taylor]: Taking taylor expansion of 9.0 in t
4.048 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.048 * [taylor]: Taking taylor expansion of t in t
4.049 * [taylor]: Taking taylor expansion of 2.0 in z
4.052 * [taylor]: Taking taylor expansion of 0 in y
4.053 * [taylor]: Taking taylor expansion of 0 in z
4.053 * [taylor]: Taking taylor expansion of 0 in z
4.055 * [taylor]: Taking taylor expansion of 0 in t
4.055 * [taylor]: Taking taylor expansion of 2.0 in t
4.059 * [taylor]: Taking taylor expansion of 0 in y
4.059 * [taylor]: Taking taylor expansion of 0 in z
4.061 * [taylor]: Taking taylor expansion of 0 in z
4.061 * [taylor]: Taking taylor expansion of 0 in z
4.061 * [taylor]: Taking taylor expansion of 0 in t
4.061 * [taylor]: Taking taylor expansion of 0 in t
4.063 * [taylor]: Taking taylor expansion of 0 in t
4.063 * [taylor]: Taking taylor expansion of 0 in t
4.068 * [taylor]: Taking taylor expansion of 0 in y
4.068 * [taylor]: Taking taylor expansion of 0 in z
4.068 * [taylor]: Taking taylor expansion of 0 in z
4.071 * [taylor]: Taking taylor expansion of 0 in z
4.071 * [taylor]: Taking taylor expansion of 0 in z
4.071 * [taylor]: Taking taylor expansion of 0 in t
4.071 * [taylor]: Taking taylor expansion of 0 in t
4.071 * [taylor]: Taking taylor expansion of 0 in t
4.071 * [taylor]: Taking taylor expansion of 0 in t
4.071 * [taylor]: Taking taylor expansion of 0 in t
4.073 * [taylor]: Taking taylor expansion of 0 in t
4.073 * [taylor]: Taking taylor expansion of 0 in t
4.074 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0
4.074 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
4.074 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.074 * [taylor]: Taking taylor expansion of 9.0 in t
4.074 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.074 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.074 * [taylor]: Taking taylor expansion of t in t
4.074 * [taylor]: Taking taylor expansion of (* z y) in t
4.074 * [taylor]: Taking taylor expansion of z in t
4.074 * [taylor]: Taking taylor expansion of y in t
4.075 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
4.075 * [taylor]: Taking taylor expansion of 2.0 in t
4.075 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.075 * [taylor]: Taking taylor expansion of x in t
4.075 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
4.075 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
4.075 * [taylor]: Taking taylor expansion of 9.0 in z
4.075 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.075 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.075 * [taylor]: Taking taylor expansion of t in z
4.075 * [taylor]: Taking taylor expansion of (* z y) in z
4.075 * [taylor]: Taking taylor expansion of z in z
4.075 * [taylor]: Taking taylor expansion of y in z
4.075 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
4.076 * [taylor]: Taking taylor expansion of 2.0 in z
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.076 * [taylor]: Taking taylor expansion of x in z
4.076 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
4.076 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.076 * [taylor]: Taking taylor expansion of 9.0 in y
4.076 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.076 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.076 * [taylor]: Taking taylor expansion of t in y
4.076 * [taylor]: Taking taylor expansion of (* z y) in y
4.076 * [taylor]: Taking taylor expansion of z in y
4.076 * [taylor]: Taking taylor expansion of y in y
4.076 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
4.076 * [taylor]: Taking taylor expansion of 2.0 in y
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.076 * [taylor]: Taking taylor expansion of x in y
4.076 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
4.076 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.077 * [taylor]: Taking taylor expansion of 9.0 in x
4.077 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.077 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.077 * [taylor]: Taking taylor expansion of t in x
4.077 * [taylor]: Taking taylor expansion of (* z y) in x
4.077 * [taylor]: Taking taylor expansion of z in x
4.077 * [taylor]: Taking taylor expansion of y in x
4.077 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.077 * [taylor]: Taking taylor expansion of 2.0 in x
4.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.077 * [taylor]: Taking taylor expansion of x in x
4.077 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
4.077 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.077 * [taylor]: Taking taylor expansion of 9.0 in x
4.077 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.077 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.077 * [taylor]: Taking taylor expansion of t in x
4.077 * [taylor]: Taking taylor expansion of (* z y) in x
4.077 * [taylor]: Taking taylor expansion of z in x
4.077 * [taylor]: Taking taylor expansion of y in x
4.077 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.077 * [taylor]: Taking taylor expansion of 2.0 in x
4.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.077 * [taylor]: Taking taylor expansion of x in x
4.079 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.079 * [taylor]: Taking taylor expansion of 2.0 in y
4.080 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.080 * [taylor]: Taking taylor expansion of 9.0 in y
4.080 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.080 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.080 * [taylor]: Taking taylor expansion of t in y
4.080 * [taylor]: Taking taylor expansion of (* z y) in y
4.080 * [taylor]: Taking taylor expansion of z in y
4.080 * [taylor]: Taking taylor expansion of y in y
4.081 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
4.081 * [taylor]: Taking taylor expansion of 9.0 in z
4.081 * [taylor]: Taking taylor expansion of (* t z) in z
4.081 * [taylor]: Taking taylor expansion of t in z
4.081 * [taylor]: Taking taylor expansion of z in z
4.082 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
4.082 * [taylor]: Taking taylor expansion of 9.0 in t
4.082 * [taylor]: Taking taylor expansion of t in t
4.082 * [taylor]: Taking taylor expansion of (- 2.0) in z
4.082 * [taylor]: Taking taylor expansion of 2.0 in z
4.084 * [taylor]: Taking taylor expansion of 0 in y
4.086 * [taylor]: Taking taylor expansion of 0 in z
4.086 * [taylor]: Taking taylor expansion of 0 in z
4.092 * [taylor]: Taking taylor expansion of 0 in t
4.093 * [taylor]: Taking taylor expansion of (- 2.0) in t
4.093 * [taylor]: Taking taylor expansion of 2.0 in t
4.097 * [taylor]: Taking taylor expansion of 0 in y
4.097 * [taylor]: Taking taylor expansion of 0 in z
4.099 * [taylor]: Taking taylor expansion of 0 in z
4.099 * [taylor]: Taking taylor expansion of 0 in z
4.099 * [taylor]: Taking taylor expansion of 0 in t
4.099 * [taylor]: Taking taylor expansion of 0 in t
4.100 * [taylor]: Taking taylor expansion of 0 in t
4.100 * [taylor]: Taking taylor expansion of 0 in t
4.106 * [taylor]: Taking taylor expansion of 0 in y
4.106 * [taylor]: Taking taylor expansion of 0 in z
4.106 * [taylor]: Taking taylor expansion of 0 in z
4.108 * [taylor]: Taking taylor expansion of 0 in z
4.109 * [taylor]: Taking taylor expansion of 0 in z
4.109 * [taylor]: Taking taylor expansion of 0 in t
4.109 * [taylor]: Taking taylor expansion of 0 in t
4.109 * [taylor]: Taking taylor expansion of 0 in t
4.109 * [taylor]: Taking taylor expansion of 0 in t
4.109 * [taylor]: Taking taylor expansion of 0 in t
4.109 * [taylor]: Taking taylor expansion of 0 in t
4.110 * [taylor]: Taking taylor expansion of 0 in t
4.110 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.111 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in (x y z t a b) around 0
4.111 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in b
4.111 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
4.111 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
4.111 * [taylor]: Taking taylor expansion of 2.0 in b
4.111 * [taylor]: Taking taylor expansion of x in b
4.111 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
4.111 * [taylor]: Taking taylor expansion of 27.0 in b
4.111 * [taylor]: Taking taylor expansion of (* a b) in b
4.111 * [taylor]: Taking taylor expansion of a in b
4.111 * [taylor]: Taking taylor expansion of b in b
4.111 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
4.111 * [taylor]: Taking taylor expansion of 9.0 in b
4.111 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
4.111 * [taylor]: Taking taylor expansion of t in b
4.111 * [taylor]: Taking taylor expansion of (* z y) in b
4.111 * [taylor]: Taking taylor expansion of z in b
4.111 * [taylor]: Taking taylor expansion of y in b
4.111 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in a
4.111 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
4.111 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
4.111 * [taylor]: Taking taylor expansion of 2.0 in a
4.111 * [taylor]: Taking taylor expansion of x in a
4.111 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.111 * [taylor]: Taking taylor expansion of 27.0 in a
4.111 * [taylor]: Taking taylor expansion of (* a b) in a
4.111 * [taylor]: Taking taylor expansion of a in a
4.111 * [taylor]: Taking taylor expansion of b in a
4.111 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
4.111 * [taylor]: Taking taylor expansion of 9.0 in a
4.111 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
4.111 * [taylor]: Taking taylor expansion of t in a
4.111 * [taylor]: Taking taylor expansion of (* z y) in a
4.111 * [taylor]: Taking taylor expansion of z in a
4.111 * [taylor]: Taking taylor expansion of y in a
4.111 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in t
4.111 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in t
4.111 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
4.111 * [taylor]: Taking taylor expansion of 2.0 in t
4.111 * [taylor]: Taking taylor expansion of x in t
4.111 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
4.112 * [taylor]: Taking taylor expansion of 27.0 in t
4.112 * [taylor]: Taking taylor expansion of (* a b) in t
4.112 * [taylor]: Taking taylor expansion of a in t
4.112 * [taylor]: Taking taylor expansion of b in t
4.112 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.112 * [taylor]: Taking taylor expansion of 9.0 in t
4.112 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.112 * [taylor]: Taking taylor expansion of t in t
4.112 * [taylor]: Taking taylor expansion of (* z y) in t
4.112 * [taylor]: Taking taylor expansion of z in t
4.112 * [taylor]: Taking taylor expansion of y in t
4.112 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in z
4.112 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in z
4.112 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
4.112 * [taylor]: Taking taylor expansion of 2.0 in z
4.112 * [taylor]: Taking taylor expansion of x in z
4.112 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
4.112 * [taylor]: Taking taylor expansion of 27.0 in z
4.112 * [taylor]: Taking taylor expansion of (* a b) in z
4.112 * [taylor]: Taking taylor expansion of a in z
4.112 * [taylor]: Taking taylor expansion of b in z
4.112 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
4.112 * [taylor]: Taking taylor expansion of 9.0 in z
4.112 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.112 * [taylor]: Taking taylor expansion of t in z
4.112 * [taylor]: Taking taylor expansion of (* z y) in z
4.112 * [taylor]: Taking taylor expansion of z in z
4.112 * [taylor]: Taking taylor expansion of y in z
4.112 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in y
4.112 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in y
4.112 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
4.112 * [taylor]: Taking taylor expansion of 2.0 in y
4.112 * [taylor]: Taking taylor expansion of x in y
4.112 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
4.112 * [taylor]: Taking taylor expansion of 27.0 in y
4.112 * [taylor]: Taking taylor expansion of (* a b) in y
4.112 * [taylor]: Taking taylor expansion of a in y
4.112 * [taylor]: Taking taylor expansion of b in y
4.112 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.112 * [taylor]: Taking taylor expansion of 9.0 in y
4.112 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.112 * [taylor]: Taking taylor expansion of t in y
4.112 * [taylor]: Taking taylor expansion of (* z y) in y
4.112 * [taylor]: Taking taylor expansion of z in y
4.112 * [taylor]: Taking taylor expansion of y in y
4.112 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
4.112 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
4.112 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.112 * [taylor]: Taking taylor expansion of 2.0 in x
4.112 * [taylor]: Taking taylor expansion of x in x
4.112 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
4.112 * [taylor]: Taking taylor expansion of 27.0 in x
4.112 * [taylor]: Taking taylor expansion of (* a b) in x
4.112 * [taylor]: Taking taylor expansion of a in x
4.112 * [taylor]: Taking taylor expansion of b in x
4.112 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
4.112 * [taylor]: Taking taylor expansion of 9.0 in x
4.112 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.112 * [taylor]: Taking taylor expansion of t in x
4.112 * [taylor]: Taking taylor expansion of (* z y) in x
4.112 * [taylor]: Taking taylor expansion of z in x
4.112 * [taylor]: Taking taylor expansion of y in x
4.112 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
4.113 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
4.113 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.113 * [taylor]: Taking taylor expansion of 2.0 in x
4.113 * [taylor]: Taking taylor expansion of x in x
4.113 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
4.113 * [taylor]: Taking taylor expansion of 27.0 in x
4.113 * [taylor]: Taking taylor expansion of (* a b) in x
4.113 * [taylor]: Taking taylor expansion of a in x
4.113 * [taylor]: Taking taylor expansion of b in x
4.113 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
4.113 * [taylor]: Taking taylor expansion of 9.0 in x
4.113 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.113 * [taylor]: Taking taylor expansion of t in x
4.113 * [taylor]: Taking taylor expansion of (* z y) in x
4.113 * [taylor]: Taking taylor expansion of z in x
4.113 * [taylor]: Taking taylor expansion of y in x
4.114 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in y
4.114 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
4.114 * [taylor]: Taking taylor expansion of 27.0 in y
4.114 * [taylor]: Taking taylor expansion of (* a b) in y
4.114 * [taylor]: Taking taylor expansion of a in y
4.114 * [taylor]: Taking taylor expansion of b in y
4.114 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.114 * [taylor]: Taking taylor expansion of 9.0 in y
4.114 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.114 * [taylor]: Taking taylor expansion of t in y
4.114 * [taylor]: Taking taylor expansion of (* z y) in y
4.114 * [taylor]: Taking taylor expansion of z in y
4.114 * [taylor]: Taking taylor expansion of y in y
4.115 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
4.115 * [taylor]: Taking taylor expansion of 27.0 in z
4.115 * [taylor]: Taking taylor expansion of (* a b) in z
4.115 * [taylor]: Taking taylor expansion of a in z
4.115 * [taylor]: Taking taylor expansion of b in z
4.115 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
4.115 * [taylor]: Taking taylor expansion of 27.0 in t
4.115 * [taylor]: Taking taylor expansion of (* a b) in t
4.115 * [taylor]: Taking taylor expansion of a in t
4.115 * [taylor]: Taking taylor expansion of b in t
4.115 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.115 * [taylor]: Taking taylor expansion of 27.0 in a
4.115 * [taylor]: Taking taylor expansion of (* a b) in a
4.115 * [taylor]: Taking taylor expansion of a in a
4.115 * [taylor]: Taking taylor expansion of b in a
4.116 * [taylor]: Taking taylor expansion of 0 in b
4.118 * [taylor]: Taking taylor expansion of 2.0 in y
4.118 * [taylor]: Taking taylor expansion of 2.0 in z
4.118 * [taylor]: Taking taylor expansion of 2.0 in t
4.118 * [taylor]: Taking taylor expansion of 2.0 in a
4.118 * [taylor]: Taking taylor expansion of 2.0 in b
4.120 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
4.120 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
4.120 * [taylor]: Taking taylor expansion of 9.0 in z
4.120 * [taylor]: Taking taylor expansion of (* t z) in z
4.120 * [taylor]: Taking taylor expansion of t in z
4.120 * [taylor]: Taking taylor expansion of z in z
4.121 * [taylor]: Taking taylor expansion of 0 in t
4.121 * [taylor]: Taking taylor expansion of 0 in a
4.121 * [taylor]: Taking taylor expansion of 0 in b
4.121 * [taylor]: Taking taylor expansion of 0 in t
4.121 * [taylor]: Taking taylor expansion of 0 in a
4.121 * [taylor]: Taking taylor expansion of 0 in b
4.122 * [taylor]: Taking taylor expansion of 0 in a
4.122 * [taylor]: Taking taylor expansion of 0 in b
4.122 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
4.122 * [taylor]: Taking taylor expansion of 27.0 in b
4.122 * [taylor]: Taking taylor expansion of b in b
4.126 * [taylor]: Taking taylor expansion of 0 in y
4.126 * [taylor]: Taking taylor expansion of 0 in z
4.126 * [taylor]: Taking taylor expansion of 0 in t
4.126 * [taylor]: Taking taylor expansion of 0 in a
4.126 * [taylor]: Taking taylor expansion of 0 in b
4.127 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t a b) around 0
4.127 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in b
4.127 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
4.127 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
4.127 * [taylor]: Taking taylor expansion of 27.0 in b
4.127 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
4.127 * [taylor]: Taking taylor expansion of (* a b) in b
4.127 * [taylor]: Taking taylor expansion of a in b
4.127 * [taylor]: Taking taylor expansion of b in b
4.127 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
4.127 * [taylor]: Taking taylor expansion of 2.0 in b
4.127 * [taylor]: Taking taylor expansion of (/ 1 x) in b
4.127 * [taylor]: Taking taylor expansion of x in b
4.127 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
4.127 * [taylor]: Taking taylor expansion of 9.0 in b
4.127 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
4.127 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
4.127 * [taylor]: Taking taylor expansion of t in b
4.127 * [taylor]: Taking taylor expansion of (* z y) in b
4.127 * [taylor]: Taking taylor expansion of z in b
4.127 * [taylor]: Taking taylor expansion of y in b
4.127 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in a
4.127 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
4.127 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
4.127 * [taylor]: Taking taylor expansion of 27.0 in a
4.128 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.128 * [taylor]: Taking taylor expansion of (* a b) in a
4.128 * [taylor]: Taking taylor expansion of a in a
4.128 * [taylor]: Taking taylor expansion of b in a
4.128 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
4.128 * [taylor]: Taking taylor expansion of 2.0 in a
4.128 * [taylor]: Taking taylor expansion of (/ 1 x) in a
4.128 * [taylor]: Taking taylor expansion of x in a
4.128 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
4.128 * [taylor]: Taking taylor expansion of 9.0 in a
4.128 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
4.128 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
4.128 * [taylor]: Taking taylor expansion of t in a
4.128 * [taylor]: Taking taylor expansion of (* z y) in a
4.128 * [taylor]: Taking taylor expansion of z in a
4.128 * [taylor]: Taking taylor expansion of y in a
4.128 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in t
4.128 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in t
4.128 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
4.128 * [taylor]: Taking taylor expansion of 27.0 in t
4.128 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
4.128 * [taylor]: Taking taylor expansion of (* a b) in t
4.128 * [taylor]: Taking taylor expansion of a in t
4.128 * [taylor]: Taking taylor expansion of b in t
4.128 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
4.128 * [taylor]: Taking taylor expansion of 2.0 in t
4.128 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.128 * [taylor]: Taking taylor expansion of x in t
4.128 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.129 * [taylor]: Taking taylor expansion of 9.0 in t
4.129 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.129 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.129 * [taylor]: Taking taylor expansion of t in t
4.129 * [taylor]: Taking taylor expansion of (* z y) in t
4.129 * [taylor]: Taking taylor expansion of z in t
4.129 * [taylor]: Taking taylor expansion of y in t
4.129 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in z
4.129 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in z
4.129 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
4.129 * [taylor]: Taking taylor expansion of 27.0 in z
4.129 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
4.129 * [taylor]: Taking taylor expansion of (* a b) in z
4.129 * [taylor]: Taking taylor expansion of a in z
4.129 * [taylor]: Taking taylor expansion of b in z
4.129 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
4.129 * [taylor]: Taking taylor expansion of 2.0 in z
4.129 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.129 * [taylor]: Taking taylor expansion of x in z
4.129 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
4.129 * [taylor]: Taking taylor expansion of 9.0 in z
4.129 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.129 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.129 * [taylor]: Taking taylor expansion of t in z
4.129 * [taylor]: Taking taylor expansion of (* z y) in z
4.129 * [taylor]: Taking taylor expansion of z in z
4.129 * [taylor]: Taking taylor expansion of y in z
4.130 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in y
4.130 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in y
4.130 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
4.130 * [taylor]: Taking taylor expansion of 27.0 in y
4.130 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
4.130 * [taylor]: Taking taylor expansion of (* a b) in y
4.130 * [taylor]: Taking taylor expansion of a in y
4.130 * [taylor]: Taking taylor expansion of b in y
4.130 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
4.130 * [taylor]: Taking taylor expansion of 2.0 in y
4.130 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.130 * [taylor]: Taking taylor expansion of x in y
4.130 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.131 * [taylor]: Taking taylor expansion of 9.0 in y
4.131 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.131 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.131 * [taylor]: Taking taylor expansion of t in y
4.131 * [taylor]: Taking taylor expansion of (* z y) in y
4.131 * [taylor]: Taking taylor expansion of z in y
4.131 * [taylor]: Taking taylor expansion of y in y
4.131 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
4.131 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
4.131 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.131 * [taylor]: Taking taylor expansion of 27.0 in x
4.131 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.131 * [taylor]: Taking taylor expansion of (* a b) in x
4.131 * [taylor]: Taking taylor expansion of a in x
4.131 * [taylor]: Taking taylor expansion of b in x
4.131 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.132 * [taylor]: Taking taylor expansion of 2.0 in x
4.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.132 * [taylor]: Taking taylor expansion of x in x
4.132 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.132 * [taylor]: Taking taylor expansion of 9.0 in x
4.132 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.132 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.132 * [taylor]: Taking taylor expansion of t in x
4.132 * [taylor]: Taking taylor expansion of (* z y) in x
4.132 * [taylor]: Taking taylor expansion of z in x
4.132 * [taylor]: Taking taylor expansion of y in x
4.132 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
4.132 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
4.132 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.132 * [taylor]: Taking taylor expansion of 27.0 in x
4.132 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.132 * [taylor]: Taking taylor expansion of (* a b) in x
4.132 * [taylor]: Taking taylor expansion of a in x
4.132 * [taylor]: Taking taylor expansion of b in x
4.132 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.132 * [taylor]: Taking taylor expansion of 2.0 in x
4.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.132 * [taylor]: Taking taylor expansion of x in x
4.133 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.133 * [taylor]: Taking taylor expansion of 9.0 in x
4.133 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.133 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.133 * [taylor]: Taking taylor expansion of t in x
4.133 * [taylor]: Taking taylor expansion of (* z y) in x
4.133 * [taylor]: Taking taylor expansion of z in x
4.133 * [taylor]: Taking taylor expansion of y in x
4.134 * [taylor]: Taking taylor expansion of 2.0 in y
4.135 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
4.135 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
4.135 * [taylor]: Taking taylor expansion of 27.0 in y
4.135 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
4.135 * [taylor]: Taking taylor expansion of (* a b) in y
4.135 * [taylor]: Taking taylor expansion of a in y
4.135 * [taylor]: Taking taylor expansion of b in y
4.135 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.135 * [taylor]: Taking taylor expansion of 9.0 in y
4.135 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.135 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.135 * [taylor]: Taking taylor expansion of t in y
4.135 * [taylor]: Taking taylor expansion of (* z y) in y
4.135 * [taylor]: Taking taylor expansion of z in y
4.135 * [taylor]: Taking taylor expansion of y in y
4.136 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
4.136 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.136 * [taylor]: Taking taylor expansion of 9.0 in z
4.136 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.136 * [taylor]: Taking taylor expansion of (* t z) in z
4.136 * [taylor]: Taking taylor expansion of t in z
4.136 * [taylor]: Taking taylor expansion of z in z
4.137 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
4.137 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
4.137 * [taylor]: Taking taylor expansion of 9.0 in t
4.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t
4.137 * [taylor]: Taking taylor expansion of t in t
4.138 * [taylor]: Taking taylor expansion of (- 9.0) in a
4.138 * [taylor]: Taking taylor expansion of 9.0 in a
4.138 * [taylor]: Taking taylor expansion of 2.0 in z
4.141 * [taylor]: Taking taylor expansion of 0 in y
4.143 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
4.143 * [taylor]: Taking taylor expansion of 27.0 in z
4.143 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
4.143 * [taylor]: Taking taylor expansion of (* a b) in z
4.143 * [taylor]: Taking taylor expansion of a in z
4.143 * [taylor]: Taking taylor expansion of b in z
4.143 * [taylor]: Taking taylor expansion of 0 in z
4.144 * [taylor]: Taking taylor expansion of 0 in t
4.144 * [taylor]: Taking taylor expansion of 2.0 in t
4.145 * [taylor]: Taking taylor expansion of 0 in a
4.145 * [taylor]: Taking taylor expansion of (- 9.0) in b
4.145 * [taylor]: Taking taylor expansion of 9.0 in b
4.150 * [taylor]: Taking taylor expansion of 0 in y
4.150 * [taylor]: Taking taylor expansion of 0 in z
4.153 * [taylor]: Taking taylor expansion of 0 in z
4.153 * [taylor]: Taking taylor expansion of 0 in z
4.154 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t
4.154 * [taylor]: Taking taylor expansion of 27.0 in t
4.154 * [taylor]: Taking taylor expansion of (* a b) in t
4.154 * [taylor]: Taking taylor expansion of a in t
4.154 * [taylor]: Taking taylor expansion of b in t
4.154 * [taylor]: Taking taylor expansion of 0 in t
4.155 * [taylor]: Taking taylor expansion of 0 in t
4.155 * [taylor]: Taking taylor expansion of 0 in t
4.155 * [taylor]: Taking taylor expansion of 0 in a
4.155 * [taylor]: Taking taylor expansion of 2.0 in a
4.157 * [taylor]: Taking taylor expansion of 0 in a
4.157 * [taylor]: Taking taylor expansion of 0 in b
4.157 * [taylor]: Taking taylor expansion of 0 in b
4.163 * [taylor]: Taking taylor expansion of 0 in y
4.164 * [taylor]: Taking taylor expansion of 0 in z
4.164 * [taylor]: Taking taylor expansion of 0 in z
4.167 * [taylor]: Taking taylor expansion of 0 in z
4.168 * [taylor]: Taking taylor expansion of 0 in z
4.168 * [taylor]: Taking taylor expansion of 0 in t
4.168 * [taylor]: Taking taylor expansion of 0 in t
4.168 * [taylor]: Taking taylor expansion of 0 in t
4.168 * [taylor]: Taking taylor expansion of 0 in t
4.168 * [taylor]: Taking taylor expansion of 0 in t
4.170 * [taylor]: Taking taylor expansion of 0 in t
4.170 * [taylor]: Taking taylor expansion of 0 in t
4.170 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.170 * [taylor]: Taking taylor expansion of 27.0 in a
4.170 * [taylor]: Taking taylor expansion of (* a b) in a
4.170 * [taylor]: Taking taylor expansion of a in a
4.170 * [taylor]: Taking taylor expansion of b in a
4.171 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.171 * [taylor]: Taking taylor expansion of 27.0 in b
4.171 * [taylor]: Taking taylor expansion of b in b
4.171 * [taylor]: Taking taylor expansion of 0 in a
4.171 * [taylor]: Taking taylor expansion of 0 in a
4.171 * [taylor]: Taking taylor expansion of 0 in a
4.171 * [taylor]: Taking taylor expansion of 0 in a
4.171 * [taylor]: Taking taylor expansion of 0 in a
4.173 * [taylor]: Taking taylor expansion of 0 in a
4.173 * [taylor]: Taking taylor expansion of 0 in b
4.173 * [taylor]: Taking taylor expansion of 2.0 in b
4.173 * [taylor]: Taking taylor expansion of 0 in b
4.173 * [taylor]: Taking taylor expansion of 0 in b
4.173 * [taylor]: Taking taylor expansion of 0 in b
4.181 * [taylor]: Taking taylor expansion of 0 in y
4.181 * [taylor]: Taking taylor expansion of 0 in z
4.181 * [taylor]: Taking taylor expansion of 0 in z
4.181 * [taylor]: Taking taylor expansion of 0 in z
4.192 * [taylor]: Taking taylor expansion of 0 in z
4.192 * [taylor]: Taking taylor expansion of 0 in z
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.192 * [taylor]: Taking taylor expansion of 0 in t
4.194 * [taylor]: Taking taylor expansion of 0 in t
4.194 * [taylor]: Taking taylor expansion of 0 in t
4.197 * [taylor]: Taking taylor expansion of 0 in t
4.197 * [taylor]: Taking taylor expansion of 0 in t
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.197 * [taylor]: Taking taylor expansion of 0 in a
4.199 * [taylor]: Taking taylor expansion of 0 in a
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.200 * [taylor]: Taking taylor expansion of 0 in b
4.201 * [taylor]: Taking taylor expansion of 0 in b
4.201 * [taylor]: Taking taylor expansion of 0 in b
4.201 * [taylor]: Taking taylor expansion of 0 in b
4.201 * [taylor]: Taking taylor expansion of 0 in b
4.201 * [taylor]: Taking taylor expansion of 0 in b
4.204 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in (x y z t a b) around 0
4.204 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in b
4.204 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
4.204 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
4.204 * [taylor]: Taking taylor expansion of 27.0 in b
4.204 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
4.204 * [taylor]: Taking taylor expansion of (* a b) in b
4.204 * [taylor]: Taking taylor expansion of a in b
4.204 * [taylor]: Taking taylor expansion of b in b
4.205 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
4.205 * [taylor]: Taking taylor expansion of 9.0 in b
4.205 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
4.205 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
4.205 * [taylor]: Taking taylor expansion of t in b
4.205 * [taylor]: Taking taylor expansion of (* z y) in b
4.205 * [taylor]: Taking taylor expansion of z in b
4.205 * [taylor]: Taking taylor expansion of y in b
4.205 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
4.205 * [taylor]: Taking taylor expansion of 2.0 in b
4.205 * [taylor]: Taking taylor expansion of (/ 1 x) in b
4.205 * [taylor]: Taking taylor expansion of x in b
4.205 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in a
4.205 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
4.205 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
4.205 * [taylor]: Taking taylor expansion of 27.0 in a
4.205 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.205 * [taylor]: Taking taylor expansion of (* a b) in a
4.205 * [taylor]: Taking taylor expansion of a in a
4.205 * [taylor]: Taking taylor expansion of b in a
4.205 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
4.205 * [taylor]: Taking taylor expansion of 9.0 in a
4.206 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
4.206 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
4.206 * [taylor]: Taking taylor expansion of t in a
4.206 * [taylor]: Taking taylor expansion of (* z y) in a
4.206 * [taylor]: Taking taylor expansion of z in a
4.206 * [taylor]: Taking taylor expansion of y in a
4.206 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
4.206 * [taylor]: Taking taylor expansion of 2.0 in a
4.206 * [taylor]: Taking taylor expansion of (/ 1 x) in a
4.206 * [taylor]: Taking taylor expansion of x in a
4.206 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in t
4.206 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
4.206 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
4.206 * [taylor]: Taking taylor expansion of 27.0 in t
4.206 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
4.206 * [taylor]: Taking taylor expansion of (* a b) in t
4.206 * [taylor]: Taking taylor expansion of a in t
4.206 * [taylor]: Taking taylor expansion of b in t
4.206 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
4.206 * [taylor]: Taking taylor expansion of 9.0 in t
4.206 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.206 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.206 * [taylor]: Taking taylor expansion of t in t
4.206 * [taylor]: Taking taylor expansion of (* z y) in t
4.206 * [taylor]: Taking taylor expansion of z in t
4.206 * [taylor]: Taking taylor expansion of y in t
4.207 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
4.207 * [taylor]: Taking taylor expansion of 2.0 in t
4.207 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.207 * [taylor]: Taking taylor expansion of x in t
4.207 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in z
4.207 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
4.207 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
4.207 * [taylor]: Taking taylor expansion of 27.0 in z
4.207 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
4.207 * [taylor]: Taking taylor expansion of (* a b) in z
4.207 * [taylor]: Taking taylor expansion of a in z
4.207 * [taylor]: Taking taylor expansion of b in z
4.207 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
4.207 * [taylor]: Taking taylor expansion of 9.0 in z
4.207 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.207 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.207 * [taylor]: Taking taylor expansion of t in z
4.207 * [taylor]: Taking taylor expansion of (* z y) in z
4.207 * [taylor]: Taking taylor expansion of z in z
4.207 * [taylor]: Taking taylor expansion of y in z
4.208 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
4.208 * [taylor]: Taking taylor expansion of 2.0 in z
4.208 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.208 * [taylor]: Taking taylor expansion of x in z
4.208 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in y
4.208 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
4.208 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
4.208 * [taylor]: Taking taylor expansion of 27.0 in y
4.208 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
4.208 * [taylor]: Taking taylor expansion of (* a b) in y
4.208 * [taylor]: Taking taylor expansion of a in y
4.208 * [taylor]: Taking taylor expansion of b in y
4.208 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.208 * [taylor]: Taking taylor expansion of 9.0 in y
4.208 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.208 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.208 * [taylor]: Taking taylor expansion of t in y
4.208 * [taylor]: Taking taylor expansion of (* z y) in y
4.208 * [taylor]: Taking taylor expansion of z in y
4.208 * [taylor]: Taking taylor expansion of y in y
4.209 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
4.209 * [taylor]: Taking taylor expansion of 2.0 in y
4.209 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.209 * [taylor]: Taking taylor expansion of x in y
4.209 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
4.209 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
4.209 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.209 * [taylor]: Taking taylor expansion of 27.0 in x
4.209 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.209 * [taylor]: Taking taylor expansion of (* a b) in x
4.209 * [taylor]: Taking taylor expansion of a in x
4.209 * [taylor]: Taking taylor expansion of b in x
4.209 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.209 * [taylor]: Taking taylor expansion of 9.0 in x
4.209 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.209 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.209 * [taylor]: Taking taylor expansion of t in x
4.209 * [taylor]: Taking taylor expansion of (* z y) in x
4.209 * [taylor]: Taking taylor expansion of z in x
4.209 * [taylor]: Taking taylor expansion of y in x
4.209 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.209 * [taylor]: Taking taylor expansion of 2.0 in x
4.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.209 * [taylor]: Taking taylor expansion of x in x
4.210 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
4.210 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
4.210 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.210 * [taylor]: Taking taylor expansion of 27.0 in x
4.210 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.210 * [taylor]: Taking taylor expansion of (* a b) in x
4.210 * [taylor]: Taking taylor expansion of a in x
4.210 * [taylor]: Taking taylor expansion of b in x
4.210 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
4.210 * [taylor]: Taking taylor expansion of 9.0 in x
4.210 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
4.210 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
4.210 * [taylor]: Taking taylor expansion of t in x
4.210 * [taylor]: Taking taylor expansion of (* z y) in x
4.210 * [taylor]: Taking taylor expansion of z in x
4.210 * [taylor]: Taking taylor expansion of y in x
4.210 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.210 * [taylor]: Taking taylor expansion of 2.0 in x
4.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.210 * [taylor]: Taking taylor expansion of x in x
4.212 * [taylor]: Taking taylor expansion of (- 2.0) in y
4.212 * [taylor]: Taking taylor expansion of 2.0 in y
4.213 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
4.213 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
4.213 * [taylor]: Taking taylor expansion of 27.0 in y
4.213 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
4.213 * [taylor]: Taking taylor expansion of (* a b) in y
4.213 * [taylor]: Taking taylor expansion of a in y
4.213 * [taylor]: Taking taylor expansion of b in y
4.213 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
4.214 * [taylor]: Taking taylor expansion of 9.0 in y
4.214 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.214 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.214 * [taylor]: Taking taylor expansion of t in y
4.214 * [taylor]: Taking taylor expansion of (* z y) in y
4.214 * [taylor]: Taking taylor expansion of z in y
4.214 * [taylor]: Taking taylor expansion of y in y
4.214 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
4.214 * [taylor]: Taking taylor expansion of 9.0 in z
4.214 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
4.214 * [taylor]: Taking taylor expansion of (* t z) in z
4.214 * [taylor]: Taking taylor expansion of t in z
4.215 * [taylor]: Taking taylor expansion of z in z
4.215 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
4.215 * [taylor]: Taking taylor expansion of 9.0 in t
4.215 * [taylor]: Taking taylor expansion of t in t
4.215 * [taylor]: Taking taylor expansion of 9.0 in a
4.216 * [taylor]: Taking taylor expansion of (- 2.0) in z
4.216 * [taylor]: Taking taylor expansion of 2.0 in z
4.218 * [taylor]: Taking taylor expansion of 0 in y
4.220 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
4.220 * [taylor]: Taking taylor expansion of 27.0 in z
4.220 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
4.220 * [taylor]: Taking taylor expansion of (* a b) in z
4.220 * [taylor]: Taking taylor expansion of a in z
4.220 * [taylor]: Taking taylor expansion of b in z
4.220 * [taylor]: Taking taylor expansion of 0 in z
4.221 * [taylor]: Taking taylor expansion of 0 in t
4.221 * [taylor]: Taking taylor expansion of (- 2.0) in t
4.221 * [taylor]: Taking taylor expansion of 2.0 in t
4.222 * [taylor]: Taking taylor expansion of 0 in a
4.222 * [taylor]: Taking taylor expansion of 9.0 in b
4.226 * [taylor]: Taking taylor expansion of 0 in y
4.226 * [taylor]: Taking taylor expansion of 0 in z
4.229 * [taylor]: Taking taylor expansion of 0 in z
4.229 * [taylor]: Taking taylor expansion of 0 in z
4.229 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t
4.229 * [taylor]: Taking taylor expansion of 27.0 in t
4.229 * [taylor]: Taking taylor expansion of (* a b) in t
4.229 * [taylor]: Taking taylor expansion of a in t
4.229 * [taylor]: Taking taylor expansion of b in t
4.230 * [taylor]: Taking taylor expansion of 0 in t
4.231 * [taylor]: Taking taylor expansion of 0 in t
4.231 * [taylor]: Taking taylor expansion of 0 in t
4.231 * [taylor]: Taking taylor expansion of 0 in a
4.231 * [taylor]: Taking taylor expansion of (- 2.0) in a
4.231 * [taylor]: Taking taylor expansion of 2.0 in a
4.232 * [taylor]: Taking taylor expansion of 0 in a
4.232 * [taylor]: Taking taylor expansion of 0 in b
4.232 * [taylor]: Taking taylor expansion of 0 in b
4.238 * [taylor]: Taking taylor expansion of 0 in y
4.238 * [taylor]: Taking taylor expansion of 0 in z
4.238 * [taylor]: Taking taylor expansion of 0 in z
4.242 * [taylor]: Taking taylor expansion of 0 in z
4.242 * [taylor]: Taking taylor expansion of 0 in z
4.243 * [taylor]: Taking taylor expansion of 0 in t
4.243 * [taylor]: Taking taylor expansion of 0 in t
4.243 * [taylor]: Taking taylor expansion of 0 in t
4.243 * [taylor]: Taking taylor expansion of 0 in t
4.243 * [taylor]: Taking taylor expansion of 0 in t
4.245 * [taylor]: Taking taylor expansion of 0 in t
4.245 * [taylor]: Taking taylor expansion of 0 in t
4.245 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.245 * [taylor]: Taking taylor expansion of 27.0 in a
4.245 * [taylor]: Taking taylor expansion of (* a b) in a
4.245 * [taylor]: Taking taylor expansion of a in a
4.245 * [taylor]: Taking taylor expansion of b in a
4.246 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.246 * [taylor]: Taking taylor expansion of 27.0 in b
4.246 * [taylor]: Taking taylor expansion of b in b
4.246 * [taylor]: Taking taylor expansion of 0 in a
4.246 * [taylor]: Taking taylor expansion of 0 in a
4.246 * [taylor]: Taking taylor expansion of 0 in a
4.246 * [taylor]: Taking taylor expansion of 0 in a
4.247 * [taylor]: Taking taylor expansion of 0 in a
4.247 * [taylor]: Taking taylor expansion of 0 in a
4.247 * [taylor]: Taking taylor expansion of 0 in b
4.248 * [taylor]: Taking taylor expansion of (- 2.0) in b
4.248 * [taylor]: Taking taylor expansion of 2.0 in b
4.248 * [taylor]: Taking taylor expansion of 0 in b
4.248 * [taylor]: Taking taylor expansion of 0 in b
4.248 * [taylor]: Taking taylor expansion of 0 in b
4.256 * [taylor]: Taking taylor expansion of 0 in y
4.256 * [taylor]: Taking taylor expansion of 0 in z
4.256 * [taylor]: Taking taylor expansion of 0 in z
4.256 * [taylor]: Taking taylor expansion of 0 in z
4.260 * [taylor]: Taking taylor expansion of 0 in z
4.261 * [taylor]: Taking taylor expansion of 0 in z
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.261 * [taylor]: Taking taylor expansion of 0 in t
4.262 * [taylor]: Taking taylor expansion of 0 in t
4.262 * [taylor]: Taking taylor expansion of 0 in t
4.264 * [taylor]: Taking taylor expansion of 0 in t
4.265 * [taylor]: Taking taylor expansion of 0 in t
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.265 * [taylor]: Taking taylor expansion of 0 in a
4.266 * [taylor]: Taking taylor expansion of 0 in a
4.266 * [taylor]: Taking taylor expansion of 0 in a
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.267 * [taylor]: Taking taylor expansion of 0 in b
4.268 * [taylor]: Taking taylor expansion of 0 in b
4.268 * [taylor]: Taking taylor expansion of 0 in b
4.268 * [taylor]: Taking taylor expansion of 0 in b
4.268 * [taylor]: Taking taylor expansion of 0 in b
4.268 * [taylor]: Taking taylor expansion of 0 in b
4.271 * * * [progress]: simplifying candidates
4.272 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* y 9.0) (* z t)))
  (log1p (* (* y 9.0) (* z t)))
  (* (* y 9.0) (* z t))
  (* (* y 9.0) (* z t))
  (* (* y 9.0) (* z t))
  (* (* y 9.0) (* z t))
  (+ (+ (log y) (log 9.0)) (+ (log z) (log t)))
  (+ (+ (log y) (log 9.0)) (log (* z t)))
  (+ (log (* y 9.0)) (+ (log z) (log t)))
  (+ (log (* y 9.0)) (log (* z t)))
  (log (* (* y 9.0) (* z t)))
  (exp (* (* y 9.0) (* z t)))
  (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* (* y y) y) (* (* 9.0 9.0) 9.0)) (* (* (* z t) (* z t)) (* z t)))
  (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* (* y 9.0) (* y 9.0)) (* y 9.0)) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* (* y 9.0) (* z t))) (cbrt (* (* y 9.0) (* z t))))
  (cbrt (* (* y 9.0) (* z t)))
  (* (* (* (* y 9.0) (* z t)) (* (* y 9.0) (* z t))) (* (* y 9.0) (* z t)))
  (sqrt (* (* y 9.0) (* z t)))
  (sqrt (* (* y 9.0) (* z t)))
  (* (* y 9.0) z)
  (* 9.0 (* z t))
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (fma x 2.0 (- (* (* z t) (* y 9.0))))
  (fma (- (* z t)) (* y 9.0) (* (* z t) (* y 9.0)))
  (expm1 (- (* x 2.0) (* (* y 9.0) (* z t))))
  (log1p (- (* x 2.0) (* (* y 9.0) (* z t))))
  (- (* (* y 9.0) (* z t)))
  (/ (exp (* x 2.0)) (exp (* (* y 9.0) (* z t))))
  (log (- (* x 2.0) (* (* y 9.0) (* z t))))
  (exp (- (* x 2.0) (* (* y 9.0) (* z t))))
  (* (cbrt (- (* x 2.0) (* (* y 9.0) (* z t)))) (cbrt (- (* x 2.0) (* (* y 9.0) (* z t)))))
  (cbrt (- (* x 2.0) (* (* y 9.0) (* z t))))
  (* (* (- (* x 2.0) (* (* y 9.0) (* z t))) (- (* x 2.0) (* (* y 9.0) (* z t)))) (- (* x 2.0) (* (* y 9.0) (* z t))))
  (sqrt (- (* x 2.0) (* (* y 9.0) (* z t))))
  (sqrt (- (* x 2.0) (* (* y 9.0) (* z t))))
  (- (pow (* x 2.0) 3) (pow (* (* y 9.0) (* z t)) 3))
  (+ (* (* x 2.0) (* x 2.0)) (+ (* (* (* y 9.0) (* z t)) (* (* y 9.0) (* z t))) (* (* x 2.0) (* (* y 9.0) (* z t)))))
  (- (* (* y 9.0) (* z t)))
  (- (* (* x 2.0) (* x 2.0)) (* (* (* y 9.0) (* z t)) (* (* y 9.0) (* z t))))
  (+ (* x 2.0) (* (* y 9.0) (* z t)))
  (- (* (* y 9.0) (* z t)))
  (expm1 (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (log1p (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (* (/ (exp (* x 2.0)) (exp (* (* y 9.0) (* z t)))) (exp (* (* a 27.0) b)))
  (* (exp (- (* x 2.0) (* (* y 9.0) (* z t)))) (exp (* (* a 27.0) b)))
  (log (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (exp (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (* (cbrt (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))) (cbrt (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))))
  (cbrt (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (* (* (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))) (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (sqrt (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (sqrt (+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b)))
  (+ (pow (- (* x 2.0) (* (* y 9.0) (* z t))) 3) (pow (* (* a 27.0) b) 3))
  (+ (* (- (* x 2.0) (* (* y 9.0) (* z t))) (- (* x 2.0) (* (* y 9.0) (* z t)))) (- (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))))
  (- (* (- (* x 2.0) (* (* y 9.0) (* z t))) (- (* x 2.0) (* (* y 9.0) (* z t)))) (* (* (* a 27.0) b) (* (* a 27.0) b)))
  (- (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
  (+ (fma (- (* z t)) (* y 9.0) (* (* z t) (* y 9.0))) (* (* a 27.0) b))
  (+ (- (* (* y 9.0) (* z t))) (* (* a 27.0) b))
  (+ (- (* (* y 9.0) (* z t))) (* (* a 27.0) b))
  (- (* (* y 9.0) (* z t)) (* (* a 27.0) b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (* 2.0 x)
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
4.276 * * [simplify]: iteration  0 :  152  enodes  (cost  1246 )
4.310 * * [simplify]: iteration  1 :  417  enodes  (cost  1162 )
4.484 * * [simplify]: iteration  2 :  1760  enodes  (cost  1028 )
5.194 * * [simplify]: iteration  done :  5000  enodes  (cost  1028 )
5.194 * [simplify]: Simplified to:
   (expm1 (* (* y 9.0) (* z t)))
  (log1p (* (* y 9.0) (* z t)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (log (* (* z t) (* y 9.0)))
  (log (* (* z t) (* y 9.0)))
  (log (* (* z t) (* y 9.0)))
  (log (* (* z t) (* y 9.0)))
  (log (* (* z t) (* y 9.0)))
  (exp (* (* y 9.0) (* z t)))
  (pow (* (* y 9.0) (* z t)) 3)
  (pow (* (* y 9.0) (* z t)) 3)
  (pow (* (* y 9.0) (* z t)) 3)
  (pow (* (* y 9.0) (* z t)) 3)
  (* (cbrt (* (* y 9.0) (* z t))) (cbrt (* (* y 9.0) (* z t))))
  (cbrt (* (* y 9.0) (* z t)))
  (pow (* (* y 9.0) (* z t)) 3)
  (sqrt (* (* y 9.0) (* z t)))
  (sqrt (* (* y 9.0) (* z t)))
  (* (* y 9.0) z)
  (* 9.0 (* z t))
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (fma x 2.0 (- (* (* z t) (* y 9.0))))
  (* (* y 9.0) (+ (- (* z t)) (* z t)))
  (expm1 (- (* x 2.0) (* (* y 9.0) (* z t))))
  (log1p (- (* x 2.0) (* (* y 9.0) (* z t))))
  (- (* (* z t) (* y 9.0)))
  (exp (- (* 2.0 x) (* 9.0 (* t (* z y)))))
  (log (- (* x 2.0) (* (* y 9.0) (* z t))))
  (exp (- (* 2.0 x) (* 9.0 (* t (* z y)))))
  (* (cbrt (- (* x 2.0) (* (* y 9.0) (* z t)))) (cbrt (- (* x 2.0) (* (* y 9.0) (* z t)))))
  (cbrt (- (* x 2.0) (* (* y 9.0) (* z t))))
  (pow (- (* 2.0 x) (* 9.0 (* t (* z y)))) 3)
  (sqrt (- (* x 2.0) (* (* y 9.0) (* z t))))
  (sqrt (- (* x 2.0) (* (* y 9.0) (* z t))))
  (- (pow (* x 2.0) 3) (pow (* (* y 9.0) (* z t)) 3))
  (fma (* x 2.0) (* x 2.0) (* (* (* z t) (* y 9.0)) (fma x 2.0 (* (* z t) (* y 9.0)))))
  (- (* (* z t) (* y 9.0)))
  (* (fma x 2.0 (* (* z t) (* y 9.0))) (- (* 2.0 x) (* 9.0 (* t (* z y)))))
  (fma x 2.0 (* (* z t) (* y 9.0)))
  (- (* (* z t) (* y 9.0)))
  (expm1 (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (log1p (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (exp (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (exp (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (log (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (exp (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (* (cbrt (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0)))))) (cbrt (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0)))))))
  (cbrt (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))
  (pow (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) 3)
  (sqrt (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (sqrt (- (fma 2.0 x (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))
  (+ (pow (- (* x 2.0) (* (* y 9.0) (* z t))) 3) (pow (* (* a 27.0) b) 3))
  (fma (fma x 2.0 (- (* (* z t) (* y 9.0)))) (fma x 2.0 (- (* (* z t) (* y 9.0)))) (* (* (* a 27.0) b) (- (* (* a 27.0) b) (fma x 2.0 (- (* (* z t) (* y 9.0)))))))
  (* (- (* x 2.0) (fma 9.0 (* t (* z y)) (* (* a 27.0) b))) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))
  (- (* x 2.0) (fma 9.0 (* t (* z y)) (* (* a 27.0) b)))
  (fma 27.0 (* a b) (* (* y 9.0) (+ (- (* z t)) (* z t))))
  (- (* (* a 27.0) b) (* 9.0 (* t (* z y))))
  (- (* (* a 27.0) b) (* 9.0 (* t (* z y))))
  (- (* (* y 9.0) (* z t)) (* (* a 27.0) b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* x 2.0)
  (fma x 2.0 (- (* (* z t) (* y 9.0))))
  (fma x 2.0 (- (* (* z t) (* y 9.0))))
  (* x 2.0)
  (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0)))))
  (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0)))))
5.195 * * * [progress]: adding candidates to table
5.484 * * [progress]: iteration 3 / 4
5.484 * * * [progress]: picking best candidate
5.509 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* 9.0 (* z t)))) (* (* a 27.0) b)))>
5.509 * * * [progress]: localizing error
5.763 * * * [progress]: generating rewritten candidates
5.763 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
5.780 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.787 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
5.793 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.798 * * * [progress]: generating series expansions
5.799 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
5.799 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
5.799 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.799 * [taylor]: Taking taylor expansion of 9.0 in t
5.799 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.799 * [taylor]: Taking taylor expansion of t in t
5.799 * [taylor]: Taking taylor expansion of (* z y) in t
5.799 * [taylor]: Taking taylor expansion of z in t
5.799 * [taylor]: Taking taylor expansion of y in t
5.799 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.799 * [taylor]: Taking taylor expansion of 9.0 in z
5.799 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.799 * [taylor]: Taking taylor expansion of t in z
5.799 * [taylor]: Taking taylor expansion of (* z y) in z
5.799 * [taylor]: Taking taylor expansion of z in z
5.799 * [taylor]: Taking taylor expansion of y in z
5.799 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.799 * [taylor]: Taking taylor expansion of 9.0 in y
5.799 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.799 * [taylor]: Taking taylor expansion of t in y
5.799 * [taylor]: Taking taylor expansion of (* z y) in y
5.799 * [taylor]: Taking taylor expansion of z in y
5.799 * [taylor]: Taking taylor expansion of y in y
5.799 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.799 * [taylor]: Taking taylor expansion of 9.0 in y
5.799 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.799 * [taylor]: Taking taylor expansion of t in y
5.799 * [taylor]: Taking taylor expansion of (* z y) in y
5.799 * [taylor]: Taking taylor expansion of z in y
5.799 * [taylor]: Taking taylor expansion of y in y
5.800 * [taylor]: Taking taylor expansion of 0 in z
5.800 * [taylor]: Taking taylor expansion of 0 in t
5.801 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
5.801 * [taylor]: Taking taylor expansion of 9.0 in z
5.801 * [taylor]: Taking taylor expansion of (* t z) in z
5.801 * [taylor]: Taking taylor expansion of t in z
5.801 * [taylor]: Taking taylor expansion of z in z
5.802 * [taylor]: Taking taylor expansion of 0 in t
5.802 * [taylor]: Taking taylor expansion of 0 in t
5.803 * [taylor]: Taking taylor expansion of 0 in z
5.803 * [taylor]: Taking taylor expansion of 0 in t
5.804 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
5.804 * [taylor]: Taking taylor expansion of 9.0 in t
5.804 * [taylor]: Taking taylor expansion of t in t
5.804 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
5.804 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
5.804 * [taylor]: Taking taylor expansion of 9.0 in t
5.804 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.804 * [taylor]: Taking taylor expansion of t in t
5.804 * [taylor]: Taking taylor expansion of (* z y) in t
5.804 * [taylor]: Taking taylor expansion of z in t
5.804 * [taylor]: Taking taylor expansion of y in t
5.805 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
5.805 * [taylor]: Taking taylor expansion of 9.0 in z
5.805 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.805 * [taylor]: Taking taylor expansion of t in z
5.805 * [taylor]: Taking taylor expansion of (* z y) in z
5.805 * [taylor]: Taking taylor expansion of z in z
5.805 * [taylor]: Taking taylor expansion of y in z
5.806 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
5.806 * [taylor]: Taking taylor expansion of 9.0 in y
5.806 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.806 * [taylor]: Taking taylor expansion of t in y
5.806 * [taylor]: Taking taylor expansion of (* z y) in y
5.806 * [taylor]: Taking taylor expansion of z in y
5.806 * [taylor]: Taking taylor expansion of y in y
5.806 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
5.806 * [taylor]: Taking taylor expansion of 9.0 in y
5.806 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.806 * [taylor]: Taking taylor expansion of t in y
5.806 * [taylor]: Taking taylor expansion of (* z y) in y
5.806 * [taylor]: Taking taylor expansion of z in y
5.806 * [taylor]: Taking taylor expansion of y in y
5.807 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.808 * [taylor]: Taking taylor expansion of 9.0 in z
5.808 * [taylor]: Taking taylor expansion of (* t z) in z
5.808 * [taylor]: Taking taylor expansion of t in z
5.808 * [taylor]: Taking taylor expansion of z in z
5.808 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
5.808 * [taylor]: Taking taylor expansion of 9.0 in t
5.808 * [taylor]: Taking taylor expansion of t in t
5.809 * [taylor]: Taking taylor expansion of 0 in z
5.810 * [taylor]: Taking taylor expansion of 0 in t
5.811 * [taylor]: Taking taylor expansion of 0 in z
5.812 * [taylor]: Taking taylor expansion of 0 in t
5.812 * [taylor]: Taking taylor expansion of 0 in t
5.815 * [taylor]: Taking taylor expansion of 0 in z
5.815 * [taylor]: Taking taylor expansion of 0 in t
5.815 * [taylor]: Taking taylor expansion of 0 in t
5.815 * [taylor]: Taking taylor expansion of 0 in t
5.816 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
5.816 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
5.816 * [taylor]: Taking taylor expansion of -9.0 in t
5.816 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.816 * [taylor]: Taking taylor expansion of t in t
5.816 * [taylor]: Taking taylor expansion of (* z y) in t
5.816 * [taylor]: Taking taylor expansion of z in t
5.816 * [taylor]: Taking taylor expansion of y in t
5.816 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
5.816 * [taylor]: Taking taylor expansion of -9.0 in z
5.816 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.816 * [taylor]: Taking taylor expansion of t in z
5.817 * [taylor]: Taking taylor expansion of (* z y) in z
5.817 * [taylor]: Taking taylor expansion of z in z
5.817 * [taylor]: Taking taylor expansion of y in z
5.817 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
5.817 * [taylor]: Taking taylor expansion of -9.0 in y
5.817 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.817 * [taylor]: Taking taylor expansion of t in y
5.817 * [taylor]: Taking taylor expansion of (* z y) in y
5.817 * [taylor]: Taking taylor expansion of z in y
5.817 * [taylor]: Taking taylor expansion of y in y
5.818 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
5.818 * [taylor]: Taking taylor expansion of -9.0 in y
5.818 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.818 * [taylor]: Taking taylor expansion of t in y
5.818 * [taylor]: Taking taylor expansion of (* z y) in y
5.818 * [taylor]: Taking taylor expansion of z in y
5.818 * [taylor]: Taking taylor expansion of y in y
5.819 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
5.819 * [taylor]: Taking taylor expansion of -9.0 in z
5.819 * [taylor]: Taking taylor expansion of (* t z) in z
5.819 * [taylor]: Taking taylor expansion of t in z
5.819 * [taylor]: Taking taylor expansion of z in z
5.819 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
5.819 * [taylor]: Taking taylor expansion of -9.0 in t
5.819 * [taylor]: Taking taylor expansion of t in t
5.821 * [taylor]: Taking taylor expansion of 0 in z
5.821 * [taylor]: Taking taylor expansion of 0 in t
5.823 * [taylor]: Taking taylor expansion of 0 in z
5.823 * [taylor]: Taking taylor expansion of 0 in t
5.824 * [taylor]: Taking taylor expansion of 0 in t
5.826 * [taylor]: Taking taylor expansion of 0 in z
5.826 * [taylor]: Taking taylor expansion of 0 in t
5.826 * [taylor]: Taking taylor expansion of 0 in t
5.827 * [taylor]: Taking taylor expansion of 0 in t
5.827 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.827 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
5.827 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
5.827 * [taylor]: Taking taylor expansion of 27.0 in b
5.827 * [taylor]: Taking taylor expansion of (* a b) in b
5.827 * [taylor]: Taking taylor expansion of a in b
5.827 * [taylor]: Taking taylor expansion of b in b
5.827 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.827 * [taylor]: Taking taylor expansion of 27.0 in a
5.827 * [taylor]: Taking taylor expansion of (* a b) in a
5.827 * [taylor]: Taking taylor expansion of a in a
5.827 * [taylor]: Taking taylor expansion of b in a
5.827 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.827 * [taylor]: Taking taylor expansion of 27.0 in a
5.827 * [taylor]: Taking taylor expansion of (* a b) in a
5.827 * [taylor]: Taking taylor expansion of a in a
5.827 * [taylor]: Taking taylor expansion of b in a
5.828 * [taylor]: Taking taylor expansion of 0 in b
5.828 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
5.828 * [taylor]: Taking taylor expansion of 27.0 in b
5.828 * [taylor]: Taking taylor expansion of b in b
5.830 * [taylor]: Taking taylor expansion of 0 in b
5.833 * [taylor]: Taking taylor expansion of 0 in b
5.835 * [taylor]: Taking taylor expansion of 0 in b
5.836 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.836 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.836 * [taylor]: Taking taylor expansion of 27.0 in b
5.836 * [taylor]: Taking taylor expansion of (* a b) in b
5.836 * [taylor]: Taking taylor expansion of a in b
5.836 * [taylor]: Taking taylor expansion of b in b
5.836 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.836 * [taylor]: Taking taylor expansion of 27.0 in a
5.836 * [taylor]: Taking taylor expansion of (* a b) in a
5.836 * [taylor]: Taking taylor expansion of a in a
5.836 * [taylor]: Taking taylor expansion of b in a
5.836 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.837 * [taylor]: Taking taylor expansion of 27.0 in a
5.837 * [taylor]: Taking taylor expansion of (* a b) in a
5.837 * [taylor]: Taking taylor expansion of a in a
5.837 * [taylor]: Taking taylor expansion of b in a
5.837 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.837 * [taylor]: Taking taylor expansion of 27.0 in b
5.837 * [taylor]: Taking taylor expansion of b in b
5.838 * [taylor]: Taking taylor expansion of 0 in b
5.839 * [taylor]: Taking taylor expansion of 0 in b
5.841 * [taylor]: Taking taylor expansion of 0 in b
5.842 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.842 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.842 * [taylor]: Taking taylor expansion of 27.0 in b
5.842 * [taylor]: Taking taylor expansion of (* a b) in b
5.842 * [taylor]: Taking taylor expansion of a in b
5.842 * [taylor]: Taking taylor expansion of b in b
5.843 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.843 * [taylor]: Taking taylor expansion of 27.0 in a
5.843 * [taylor]: Taking taylor expansion of (* a b) in a
5.843 * [taylor]: Taking taylor expansion of a in a
5.843 * [taylor]: Taking taylor expansion of b in a
5.843 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.843 * [taylor]: Taking taylor expansion of 27.0 in a
5.843 * [taylor]: Taking taylor expansion of (* a b) in a
5.843 * [taylor]: Taking taylor expansion of a in a
5.843 * [taylor]: Taking taylor expansion of b in a
5.844 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.844 * [taylor]: Taking taylor expansion of 27.0 in b
5.844 * [taylor]: Taking taylor expansion of b in b
5.845 * [taylor]: Taking taylor expansion of 0 in b
5.846 * [taylor]: Taking taylor expansion of 0 in b
5.848 * [taylor]: Taking taylor expansion of 0 in b
5.849 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
5.849 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
5.849 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
5.849 * [taylor]: Taking taylor expansion of 9.0 in t
5.849 * [taylor]: Taking taylor expansion of (* t z) in t
5.849 * [taylor]: Taking taylor expansion of t in t
5.849 * [taylor]: Taking taylor expansion of z in t
5.849 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
5.849 * [taylor]: Taking taylor expansion of 9.0 in z
5.849 * [taylor]: Taking taylor expansion of (* t z) in z
5.849 * [taylor]: Taking taylor expansion of t in z
5.849 * [taylor]: Taking taylor expansion of z in z
5.849 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
5.849 * [taylor]: Taking taylor expansion of 9.0 in z
5.849 * [taylor]: Taking taylor expansion of (* t z) in z
5.849 * [taylor]: Taking taylor expansion of t in z
5.849 * [taylor]: Taking taylor expansion of z in z
5.850 * [taylor]: Taking taylor expansion of 0 in t
5.850 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
5.850 * [taylor]: Taking taylor expansion of 9.0 in t
5.850 * [taylor]: Taking taylor expansion of t in t
5.852 * [taylor]: Taking taylor expansion of 0 in t
5.858 * [taylor]: Taking taylor expansion of 0 in t
5.861 * [taylor]: Taking taylor expansion of 0 in t
5.861 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
5.861 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
5.861 * [taylor]: Taking taylor expansion of 9.0 in t
5.861 * [taylor]: Taking taylor expansion of (* t z) in t
5.861 * [taylor]: Taking taylor expansion of t in t
5.861 * [taylor]: Taking taylor expansion of z in t
5.862 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.862 * [taylor]: Taking taylor expansion of 9.0 in z
5.862 * [taylor]: Taking taylor expansion of (* t z) in z
5.862 * [taylor]: Taking taylor expansion of t in z
5.862 * [taylor]: Taking taylor expansion of z in z
5.862 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.862 * [taylor]: Taking taylor expansion of 9.0 in z
5.862 * [taylor]: Taking taylor expansion of (* t z) in z
5.862 * [taylor]: Taking taylor expansion of t in z
5.862 * [taylor]: Taking taylor expansion of z in z
5.863 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
5.863 * [taylor]: Taking taylor expansion of 9.0 in t
5.863 * [taylor]: Taking taylor expansion of t in t
5.864 * [taylor]: Taking taylor expansion of 0 in t
5.865 * [taylor]: Taking taylor expansion of 0 in t
5.866 * [taylor]: Taking taylor expansion of 0 in t
5.867 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
5.867 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
5.867 * [taylor]: Taking taylor expansion of 9.0 in t
5.867 * [taylor]: Taking taylor expansion of (* t z) in t
5.867 * [taylor]: Taking taylor expansion of t in t
5.867 * [taylor]: Taking taylor expansion of z in t
5.868 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.868 * [taylor]: Taking taylor expansion of 9.0 in z
5.868 * [taylor]: Taking taylor expansion of (* t z) in z
5.868 * [taylor]: Taking taylor expansion of t in z
5.868 * [taylor]: Taking taylor expansion of z in z
5.868 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.868 * [taylor]: Taking taylor expansion of 9.0 in z
5.868 * [taylor]: Taking taylor expansion of (* t z) in z
5.868 * [taylor]: Taking taylor expansion of t in z
5.868 * [taylor]: Taking taylor expansion of z in z
5.869 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
5.869 * [taylor]: Taking taylor expansion of 9.0 in t
5.869 * [taylor]: Taking taylor expansion of t in t
5.870 * [taylor]: Taking taylor expansion of 0 in t
5.871 * [taylor]: Taking taylor expansion of 0 in t
5.872 * [taylor]: Taking taylor expansion of 0 in t
5.873 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.873 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0
5.873 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
5.873 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
5.873 * [taylor]: Taking taylor expansion of 2.0 in t
5.873 * [taylor]: Taking taylor expansion of x in t
5.873 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.873 * [taylor]: Taking taylor expansion of 9.0 in t
5.873 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.873 * [taylor]: Taking taylor expansion of t in t
5.873 * [taylor]: Taking taylor expansion of (* z y) in t
5.873 * [taylor]: Taking taylor expansion of z in t
5.873 * [taylor]: Taking taylor expansion of y in t
5.873 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
5.873 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
5.873 * [taylor]: Taking taylor expansion of 2.0 in z
5.873 * [taylor]: Taking taylor expansion of x in z
5.873 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.874 * [taylor]: Taking taylor expansion of 9.0 in z
5.874 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.874 * [taylor]: Taking taylor expansion of t in z
5.874 * [taylor]: Taking taylor expansion of (* z y) in z
5.874 * [taylor]: Taking taylor expansion of z in z
5.874 * [taylor]: Taking taylor expansion of y in z
5.874 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
5.874 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
5.874 * [taylor]: Taking taylor expansion of 2.0 in y
5.874 * [taylor]: Taking taylor expansion of x in y
5.874 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.874 * [taylor]: Taking taylor expansion of 9.0 in y
5.874 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.874 * [taylor]: Taking taylor expansion of t in y
5.874 * [taylor]: Taking taylor expansion of (* z y) in y
5.874 * [taylor]: Taking taylor expansion of z in y
5.874 * [taylor]: Taking taylor expansion of y in y
5.874 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
5.874 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.874 * [taylor]: Taking taylor expansion of 2.0 in x
5.874 * [taylor]: Taking taylor expansion of x in x
5.874 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
5.874 * [taylor]: Taking taylor expansion of 9.0 in x
5.874 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.874 * [taylor]: Taking taylor expansion of t in x
5.874 * [taylor]: Taking taylor expansion of (* z y) in x
5.874 * [taylor]: Taking taylor expansion of z in x
5.874 * [taylor]: Taking taylor expansion of y in x
5.874 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
5.874 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.874 * [taylor]: Taking taylor expansion of 2.0 in x
5.874 * [taylor]: Taking taylor expansion of x in x
5.874 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
5.874 * [taylor]: Taking taylor expansion of 9.0 in x
5.874 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.874 * [taylor]: Taking taylor expansion of t in x
5.874 * [taylor]: Taking taylor expansion of (* z y) in x
5.874 * [taylor]: Taking taylor expansion of z in x
5.874 * [taylor]: Taking taylor expansion of y in x
5.875 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in y
5.875 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.875 * [taylor]: Taking taylor expansion of 9.0 in y
5.875 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.875 * [taylor]: Taking taylor expansion of t in y
5.875 * [taylor]: Taking taylor expansion of (* z y) in y
5.875 * [taylor]: Taking taylor expansion of z in y
5.875 * [taylor]: Taking taylor expansion of y in y
5.876 * [taylor]: Taking taylor expansion of 0 in z
5.876 * [taylor]: Taking taylor expansion of 0 in t
5.878 * [taylor]: Taking taylor expansion of 2.0 in y
5.878 * [taylor]: Taking taylor expansion of 2.0 in z
5.878 * [taylor]: Taking taylor expansion of 2.0 in t
5.879 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
5.879 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
5.879 * [taylor]: Taking taylor expansion of 9.0 in z
5.879 * [taylor]: Taking taylor expansion of (* t z) in z
5.879 * [taylor]: Taking taylor expansion of t in z
5.879 * [taylor]: Taking taylor expansion of z in z
5.879 * [taylor]: Taking taylor expansion of 0 in t
5.879 * [taylor]: Taking taylor expansion of 0 in t
5.882 * [taylor]: Taking taylor expansion of 0 in y
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in t
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in t
5.883 * [taylor]: Taking taylor expansion of 0 in z
5.883 * [taylor]: Taking taylor expansion of 0 in t
5.884 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0
5.884 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
5.884 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
5.884 * [taylor]: Taking taylor expansion of 2.0 in t
5.884 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.884 * [taylor]: Taking taylor expansion of x in t
5.884 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
5.884 * [taylor]: Taking taylor expansion of 9.0 in t
5.884 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
5.884 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.884 * [taylor]: Taking taylor expansion of t in t
5.884 * [taylor]: Taking taylor expansion of (* z y) in t
5.884 * [taylor]: Taking taylor expansion of z in t
5.884 * [taylor]: Taking taylor expansion of y in t
5.884 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
5.884 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
5.885 * [taylor]: Taking taylor expansion of 2.0 in z
5.885 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.885 * [taylor]: Taking taylor expansion of x in z
5.885 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
5.885 * [taylor]: Taking taylor expansion of 9.0 in z
5.885 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.885 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.885 * [taylor]: Taking taylor expansion of t in z
5.885 * [taylor]: Taking taylor expansion of (* z y) in z
5.885 * [taylor]: Taking taylor expansion of z in z
5.885 * [taylor]: Taking taylor expansion of y in z
5.885 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
5.885 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
5.885 * [taylor]: Taking taylor expansion of 2.0 in y
5.885 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.885 * [taylor]: Taking taylor expansion of x in y
5.885 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
5.885 * [taylor]: Taking taylor expansion of 9.0 in y
5.886 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.886 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.886 * [taylor]: Taking taylor expansion of t in y
5.886 * [taylor]: Taking taylor expansion of (* z y) in y
5.886 * [taylor]: Taking taylor expansion of z in y
5.886 * [taylor]: Taking taylor expansion of y in y
5.886 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
5.886 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.886 * [taylor]: Taking taylor expansion of 2.0 in x
5.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.886 * [taylor]: Taking taylor expansion of x in x
5.887 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.887 * [taylor]: Taking taylor expansion of 9.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.887 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.887 * [taylor]: Taking taylor expansion of t in x
5.887 * [taylor]: Taking taylor expansion of (* z y) in x
5.887 * [taylor]: Taking taylor expansion of z in x
5.887 * [taylor]: Taking taylor expansion of y in x
5.887 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
5.887 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.887 * [taylor]: Taking taylor expansion of 2.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.887 * [taylor]: Taking taylor expansion of 9.0 in x
5.887 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.887 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.887 * [taylor]: Taking taylor expansion of t in x
5.887 * [taylor]: Taking taylor expansion of (* z y) in x
5.887 * [taylor]: Taking taylor expansion of z in x
5.887 * [taylor]: Taking taylor expansion of y in x
5.888 * [taylor]: Taking taylor expansion of 2.0 in y
5.889 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in y
5.889 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
5.889 * [taylor]: Taking taylor expansion of 9.0 in y
5.889 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.889 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.889 * [taylor]: Taking taylor expansion of t in y
5.889 * [taylor]: Taking taylor expansion of (* z y) in y
5.889 * [taylor]: Taking taylor expansion of z in y
5.890 * [taylor]: Taking taylor expansion of y in y
5.890 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
5.890 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
5.890 * [taylor]: Taking taylor expansion of 9.0 in z
5.890 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
5.890 * [taylor]: Taking taylor expansion of (* t z) in z
5.890 * [taylor]: Taking taylor expansion of t in z
5.890 * [taylor]: Taking taylor expansion of z in z
5.891 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
5.891 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
5.891 * [taylor]: Taking taylor expansion of 9.0 in t
5.891 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.891 * [taylor]: Taking taylor expansion of t in t
5.892 * [taylor]: Taking taylor expansion of 2.0 in z
5.894 * [taylor]: Taking taylor expansion of 0 in y
5.895 * [taylor]: Taking taylor expansion of 0 in z
5.895 * [taylor]: Taking taylor expansion of 0 in z
5.897 * [taylor]: Taking taylor expansion of 0 in t
5.897 * [taylor]: Taking taylor expansion of 2.0 in t
5.901 * [taylor]: Taking taylor expansion of 0 in y
5.901 * [taylor]: Taking taylor expansion of 0 in z
5.903 * [taylor]: Taking taylor expansion of 0 in z
5.903 * [taylor]: Taking taylor expansion of 0 in z
5.903 * [taylor]: Taking taylor expansion of 0 in t
5.903 * [taylor]: Taking taylor expansion of 0 in t
5.904 * [taylor]: Taking taylor expansion of 0 in t
5.905 * [taylor]: Taking taylor expansion of 0 in t
5.910 * [taylor]: Taking taylor expansion of 0 in y
5.910 * [taylor]: Taking taylor expansion of 0 in z
5.910 * [taylor]: Taking taylor expansion of 0 in z
5.912 * [taylor]: Taking taylor expansion of 0 in z
5.913 * [taylor]: Taking taylor expansion of 0 in z
5.913 * [taylor]: Taking taylor expansion of 0 in t
5.913 * [taylor]: Taking taylor expansion of 0 in t
5.913 * [taylor]: Taking taylor expansion of 0 in t
5.913 * [taylor]: Taking taylor expansion of 0 in t
5.913 * [taylor]: Taking taylor expansion of 0 in t
5.914 * [taylor]: Taking taylor expansion of 0 in t
5.915 * [taylor]: Taking taylor expansion of 0 in t
5.915 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0
5.915 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
5.915 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
5.915 * [taylor]: Taking taylor expansion of 9.0 in t
5.915 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
5.915 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.916 * [taylor]: Taking taylor expansion of t in t
5.916 * [taylor]: Taking taylor expansion of (* z y) in t
5.916 * [taylor]: Taking taylor expansion of z in t
5.916 * [taylor]: Taking taylor expansion of y in t
5.916 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
5.916 * [taylor]: Taking taylor expansion of 2.0 in t
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.916 * [taylor]: Taking taylor expansion of x in t
5.916 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
5.916 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
5.916 * [taylor]: Taking taylor expansion of 9.0 in z
5.916 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
5.916 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.916 * [taylor]: Taking taylor expansion of t in z
5.916 * [taylor]: Taking taylor expansion of (* z y) in z
5.916 * [taylor]: Taking taylor expansion of z in z
5.916 * [taylor]: Taking taylor expansion of y in z
5.917 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
5.917 * [taylor]: Taking taylor expansion of 2.0 in z
5.917 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.917 * [taylor]: Taking taylor expansion of x in z
5.917 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
5.917 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
5.917 * [taylor]: Taking taylor expansion of 9.0 in y
5.917 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.917 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.917 * [taylor]: Taking taylor expansion of t in y
5.917 * [taylor]: Taking taylor expansion of (* z y) in y
5.917 * [taylor]: Taking taylor expansion of z in y
5.917 * [taylor]: Taking taylor expansion of y in y
5.918 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
5.918 * [taylor]: Taking taylor expansion of 2.0 in y
5.918 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.918 * [taylor]: Taking taylor expansion of x in y
5.918 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
5.918 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.918 * [taylor]: Taking taylor expansion of 9.0 in x
5.918 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.918 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.918 * [taylor]: Taking taylor expansion of t in x
5.918 * [taylor]: Taking taylor expansion of (* z y) in x
5.918 * [taylor]: Taking taylor expansion of z in x
5.918 * [taylor]: Taking taylor expansion of y in x
5.918 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.918 * [taylor]: Taking taylor expansion of 2.0 in x
5.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.918 * [taylor]: Taking taylor expansion of x in x
5.919 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
5.919 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
5.919 * [taylor]: Taking taylor expansion of 9.0 in x
5.919 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
5.919 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
5.919 * [taylor]: Taking taylor expansion of t in x
5.919 * [taylor]: Taking taylor expansion of (* z y) in x
5.919 * [taylor]: Taking taylor expansion of z in x
5.919 * [taylor]: Taking taylor expansion of y in x
5.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.919 * [taylor]: Taking taylor expansion of 2.0 in x
5.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.919 * [taylor]: Taking taylor expansion of x in x
5.920 * [taylor]: Taking taylor expansion of (- 2.0) in y
5.921 * [taylor]: Taking taylor expansion of 2.0 in y
5.922 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
5.922 * [taylor]: Taking taylor expansion of 9.0 in y
5.922 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
5.922 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.922 * [taylor]: Taking taylor expansion of t in y
5.922 * [taylor]: Taking taylor expansion of (* z y) in y
5.922 * [taylor]: Taking taylor expansion of z in y
5.922 * [taylor]: Taking taylor expansion of y in y
5.923 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.923 * [taylor]: Taking taylor expansion of 9.0 in z
5.923 * [taylor]: Taking taylor expansion of (* t z) in z
5.923 * [taylor]: Taking taylor expansion of t in z
5.923 * [taylor]: Taking taylor expansion of z in z
5.923 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
5.923 * [taylor]: Taking taylor expansion of 9.0 in t
5.923 * [taylor]: Taking taylor expansion of t in t
5.924 * [taylor]: Taking taylor expansion of (- 2.0) in z
5.924 * [taylor]: Taking taylor expansion of 2.0 in z
5.926 * [taylor]: Taking taylor expansion of 0 in y
5.927 * [taylor]: Taking taylor expansion of 0 in z
5.927 * [taylor]: Taking taylor expansion of 0 in z
5.928 * [taylor]: Taking taylor expansion of 0 in t
5.928 * [taylor]: Taking taylor expansion of (- 2.0) in t
5.928 * [taylor]: Taking taylor expansion of 2.0 in t
5.932 * [taylor]: Taking taylor expansion of 0 in y
5.932 * [taylor]: Taking taylor expansion of 0 in z
5.934 * [taylor]: Taking taylor expansion of 0 in z
5.934 * [taylor]: Taking taylor expansion of 0 in z
5.934 * [taylor]: Taking taylor expansion of 0 in t
5.934 * [taylor]: Taking taylor expansion of 0 in t
5.935 * [taylor]: Taking taylor expansion of 0 in t
5.935 * [taylor]: Taking taylor expansion of 0 in t
5.940 * [taylor]: Taking taylor expansion of 0 in y
5.940 * [taylor]: Taking taylor expansion of 0 in z
5.940 * [taylor]: Taking taylor expansion of 0 in z
5.942 * [taylor]: Taking taylor expansion of 0 in z
5.943 * [taylor]: Taking taylor expansion of 0 in z
5.943 * [taylor]: Taking taylor expansion of 0 in t
5.943 * [taylor]: Taking taylor expansion of 0 in t
5.943 * [taylor]: Taking taylor expansion of 0 in t
5.943 * [taylor]: Taking taylor expansion of 0 in t
5.943 * [taylor]: Taking taylor expansion of 0 in t
5.944 * [taylor]: Taking taylor expansion of 0 in t
5.944 * [taylor]: Taking taylor expansion of 0 in t
5.945 * * * [progress]: simplifying candidates
5.946 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* y (* 9.0 (* z t))))
  (log1p (* y (* 9.0 (* z t))))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (+ (log y) (+ (log 9.0) (+ (log z) (log t))))
  (+ (log y) (+ (log 9.0) (log (* z t))))
  (+ (log y) (log (* 9.0 (* z t))))
  (log (* y (* 9.0 (* z t))))
  (exp (* y (* 9.0 (* z t))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* t t) t))))
  (* (* (* y y) y) (* (* (* 9.0 9.0) 9.0) (* (* (* z t) (* z t)) (* z t))))
  (* (* (* y y) y) (* (* (* 9.0 (* z t)) (* 9.0 (* z t))) (* 9.0 (* z t))))
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (* (* (* y (* 9.0 (* z t))) (* y (* 9.0 (* z t)))) (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y 9.0)
  (* (cbrt y) (* 9.0 (* z t)))
  (* (sqrt y) (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (expm1 (* 9.0 (* z t)))
  (log1p (* 9.0 (* z t)))
  (* 9.0 (* z t))
  (* 9.0 (* z t))
  (+ (log 9.0) (+ (log z) (log t)))
  (+ (log 9.0) (log (* z t)))
  (log (* 9.0 (* z t)))
  (exp (* 9.0 (* z t)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* z z) z) (* (* t t) t)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* z t) (* z t)) (* z t)))
  (* (cbrt (* 9.0 (* z t))) (cbrt (* 9.0 (* z t))))
  (cbrt (* 9.0 (* z t)))
  (* (* (* 9.0 (* z t)) (* 9.0 (* z t))) (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (* 9.0 z)
  (* (cbrt 9.0) (* z t))
  (* (sqrt 9.0) (* z t))
  (* 9.0 (* z t))
  (fma x 2.0 (- (* (* 9.0 (* z t)) y)))
  (fma (- (* 9.0 (* z t))) y (* (* 9.0 (* z t)) y))
  (expm1 (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (log1p (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (- (* y (* 9.0 (* z t))))
  (/ (exp (* x 2.0)) (exp (* y (* 9.0 (* z t)))))
  (log (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (exp (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (* (cbrt (- (* x 2.0) (* y (* 9.0 (* z t))))) (cbrt (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (cbrt (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (* (* (- (* x 2.0) (* y (* 9.0 (* z t)))) (- (* x 2.0) (* y (* 9.0 (* z t))))) (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (sqrt (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (sqrt (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (- (pow (* x 2.0) 3) (pow (* y (* 9.0 (* z t))) 3))
  (+ (* (* x 2.0) (* x 2.0)) (+ (* (* y (* 9.0 (* z t))) (* y (* 9.0 (* z t)))) (* (* x 2.0) (* y (* 9.0 (* z t))))))
  (- (* y (* 9.0 (* z t))))
  (- (* (* x 2.0) (* x 2.0)) (* (* y (* 9.0 (* z t))) (* y (* 9.0 (* z t)))))
  (+ (* x 2.0) (* y (* 9.0 (* z t))))
  (- (* y (* 9.0 (* z t))))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
5.953 * * [simplify]: iteration  0 :  143  enodes  (cost  908 )
5.977 * * [simplify]: iteration  1 :  359  enodes  (cost  867 )
6.103 * * [simplify]: iteration  2 :  1455  enodes  (cost  738 )
6.919 * * [simplify]: iteration  done :  5000  enodes  (cost  738 )
6.919 * [simplify]: Simplified to:
   (expm1 (* y (* 9.0 (* z t))))
  (log1p (* y (* 9.0 (* z t))))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (log (* (* 9.0 (* z t)) y))
  (log (* (* 9.0 (* z t)) y))
  (log (* (* 9.0 (* z t)) y))
  (log (* (* 9.0 (* z t)) y))
  (exp (* y (* 9.0 (* z t))))
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (pow (* y (* 9.0 (* z t))) 3)
  (* (cbrt (* y (* 9.0 (* z t)))) (cbrt (* y (* 9.0 (* z t)))))
  (cbrt (* y (* 9.0 (* z t))))
  (pow (* y (* 9.0 (* z t))) 3)
  (sqrt (* y (* 9.0 (* z t))))
  (sqrt (* y (* 9.0 (* z t))))
  (* y 9.0)
  (* (cbrt y) (* 9.0 (* z t)))
  (* (sqrt y) (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (expm1 (* 9.0 (* z t)))
  (log1p (* 9.0 (* z t)))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* 9.0 (* z t)))
  (log (* 9.0 (* z t)))
  (log (* 9.0 (* z t)))
  (exp (* 9.0 (* z t)))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* 9.0 (* z t))) (cbrt (* 9.0 (* z t))))
  (cbrt (* 9.0 (* z t)))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* 9.0 (* z t)))
  (sqrt (* 9.0 (* z t)))
  (* 9.0 z)
  (* (cbrt 9.0) (* z t))
  (* (sqrt 9.0) (* z t))
  (* 9.0 (* t z))
  (- (* x 2.0) (* y (* 9.0 (* z t))))
  (* (* 9.0 (* t z)) (+ (- y) y))
  (expm1 (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (log1p (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (- (* (* 9.0 (* z t)) y))
  (exp (fma x 2.0 (- (* (* 9.0 (* z t)) y))))
  (log (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (exp (fma x 2.0 (- (* (* 9.0 (* z t)) y))))
  (* (cbrt (- (* x 2.0) (* y (* 9.0 (* z t))))) (cbrt (- (* x 2.0) (* y (* 9.0 (* z t))))))
  (cbrt (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (pow (- (* x 2.0) (* y (* 9.0 (* z t)))) 3)
  (sqrt (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (sqrt (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (- (pow (* x 2.0) 3) (pow (* y (* 9.0 (* z t))) 3))
  (fma (* x 2.0) (* x 2.0) (* (* y (* 9.0 (* z t))) (fma x 2.0 (* 9.0 (* t (* z y))))))
  (- (* (* 9.0 (* z t)) y))
  (* (fma x 2.0 (* 9.0 (* t (* z y)))) (- (* x 2.0) (* y (* 9.0 (* z t)))))
  (fma x 2.0 (* 9.0 (* t (* z y))))
  (- (* (* 9.0 (* z t)) y))
  0
  (* y (* 9.0 (* z t)))
  (* y (* 9.0 (* z t)))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* x 2.0)
  (- (* x 2.0) (* y (* 9.0 (* z t))))
  (- (* x 2.0) (* y (* 9.0 (* z t))))
6.920 * * * [progress]: adding candidates to table
7.184 * * [progress]: iteration 4 / 4
7.184 * * * [progress]: picking best candidate
7.208 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* a 27.0) b)))>
7.209 * * * [progress]: localizing error
7.227 * * * [progress]: generating rewritten candidates
7.227 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
7.245 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
7.252 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
7.259 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.264 * * * [progress]: generating series expansions
7.264 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
7.265 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
7.265 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
7.265 * [taylor]: Taking taylor expansion of 9.0 in t
7.265 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
7.265 * [taylor]: Taking taylor expansion of t in t
7.265 * [taylor]: Taking taylor expansion of (* z y) in t
7.265 * [taylor]: Taking taylor expansion of z in t
7.265 * [taylor]: Taking taylor expansion of y in t
7.265 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
7.265 * [taylor]: Taking taylor expansion of 9.0 in z
7.265 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
7.265 * [taylor]: Taking taylor expansion of t in z
7.265 * [taylor]: Taking taylor expansion of (* z y) in z
7.265 * [taylor]: Taking taylor expansion of z in z
7.265 * [taylor]: Taking taylor expansion of y in z
7.265 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
7.265 * [taylor]: Taking taylor expansion of 9.0 in y
7.265 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.265 * [taylor]: Taking taylor expansion of t in y
7.265 * [taylor]: Taking taylor expansion of (* z y) in y
7.265 * [taylor]: Taking taylor expansion of z in y
7.265 * [taylor]: Taking taylor expansion of y in y
7.265 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
7.265 * [taylor]: Taking taylor expansion of 9.0 in y
7.265 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.265 * [taylor]: Taking taylor expansion of t in y
7.265 * [taylor]: Taking taylor expansion of (* z y) in y
7.265 * [taylor]: Taking taylor expansion of z in y
7.265 * [taylor]: Taking taylor expansion of y in y
7.266 * [taylor]: Taking taylor expansion of 0 in z
7.266 * [taylor]: Taking taylor expansion of 0 in t
7.267 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
7.267 * [taylor]: Taking taylor expansion of 9.0 in z
7.267 * [taylor]: Taking taylor expansion of (* t z) in z
7.267 * [taylor]: Taking taylor expansion of t in z
7.267 * [taylor]: Taking taylor expansion of z in z
7.267 * [taylor]: Taking taylor expansion of 0 in t
7.268 * [taylor]: Taking taylor expansion of 0 in t
7.269 * [taylor]: Taking taylor expansion of 0 in z
7.269 * [taylor]: Taking taylor expansion of 0 in t
7.270 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
7.270 * [taylor]: Taking taylor expansion of 9.0 in t
7.270 * [taylor]: Taking taylor expansion of t in t
7.270 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
7.270 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
7.270 * [taylor]: Taking taylor expansion of 9.0 in t
7.270 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
7.270 * [taylor]: Taking taylor expansion of t in t
7.270 * [taylor]: Taking taylor expansion of (* z y) in t
7.270 * [taylor]: Taking taylor expansion of z in t
7.270 * [taylor]: Taking taylor expansion of y in t
7.271 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
7.271 * [taylor]: Taking taylor expansion of 9.0 in z
7.271 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
7.271 * [taylor]: Taking taylor expansion of t in z
7.271 * [taylor]: Taking taylor expansion of (* z y) in z
7.271 * [taylor]: Taking taylor expansion of z in z
7.271 * [taylor]: Taking taylor expansion of y in z
7.272 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
7.272 * [taylor]: Taking taylor expansion of 9.0 in y
7.272 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.272 * [taylor]: Taking taylor expansion of t in y
7.272 * [taylor]: Taking taylor expansion of (* z y) in y
7.272 * [taylor]: Taking taylor expansion of z in y
7.272 * [taylor]: Taking taylor expansion of y in y
7.272 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
7.272 * [taylor]: Taking taylor expansion of 9.0 in y
7.272 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.272 * [taylor]: Taking taylor expansion of t in y
7.272 * [taylor]: Taking taylor expansion of (* z y) in y
7.272 * [taylor]: Taking taylor expansion of z in y
7.272 * [taylor]: Taking taylor expansion of y in y
7.273 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
7.273 * [taylor]: Taking taylor expansion of 9.0 in z
7.273 * [taylor]: Taking taylor expansion of (* t z) in z
7.273 * [taylor]: Taking taylor expansion of t in z
7.273 * [taylor]: Taking taylor expansion of z in z
7.274 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
7.274 * [taylor]: Taking taylor expansion of 9.0 in t
7.274 * [taylor]: Taking taylor expansion of t in t
7.275 * [taylor]: Taking taylor expansion of 0 in z
7.275 * [taylor]: Taking taylor expansion of 0 in t
7.277 * [taylor]: Taking taylor expansion of 0 in z
7.277 * [taylor]: Taking taylor expansion of 0 in t
7.278 * [taylor]: Taking taylor expansion of 0 in t
7.280 * [taylor]: Taking taylor expansion of 0 in z
7.281 * [taylor]: Taking taylor expansion of 0 in t
7.281 * [taylor]: Taking taylor expansion of 0 in t
7.281 * [taylor]: Taking taylor expansion of 0 in t
7.282 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
7.282 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
7.282 * [taylor]: Taking taylor expansion of -9.0 in t
7.282 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
7.282 * [taylor]: Taking taylor expansion of t in t
7.282 * [taylor]: Taking taylor expansion of (* z y) in t
7.282 * [taylor]: Taking taylor expansion of z in t
7.282 * [taylor]: Taking taylor expansion of y in t
7.282 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
7.282 * [taylor]: Taking taylor expansion of -9.0 in z
7.282 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
7.282 * [taylor]: Taking taylor expansion of t in z
7.282 * [taylor]: Taking taylor expansion of (* z y) in z
7.282 * [taylor]: Taking taylor expansion of z in z
7.282 * [taylor]: Taking taylor expansion of y in z
7.283 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
7.283 * [taylor]: Taking taylor expansion of -9.0 in y
7.283 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.283 * [taylor]: Taking taylor expansion of t in y
7.283 * [taylor]: Taking taylor expansion of (* z y) in y
7.283 * [taylor]: Taking taylor expansion of z in y
7.283 * [taylor]: Taking taylor expansion of y in y
7.284 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
7.284 * [taylor]: Taking taylor expansion of -9.0 in y
7.284 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.284 * [taylor]: Taking taylor expansion of t in y
7.284 * [taylor]: Taking taylor expansion of (* z y) in y
7.284 * [taylor]: Taking taylor expansion of z in y
7.284 * [taylor]: Taking taylor expansion of y in y
7.285 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
7.285 * [taylor]: Taking taylor expansion of -9.0 in z
7.285 * [taylor]: Taking taylor expansion of (* t z) in z
7.285 * [taylor]: Taking taylor expansion of t in z
7.285 * [taylor]: Taking taylor expansion of z in z
7.285 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
7.285 * [taylor]: Taking taylor expansion of -9.0 in t
7.285 * [taylor]: Taking taylor expansion of t in t
7.286 * [taylor]: Taking taylor expansion of 0 in z
7.287 * [taylor]: Taking taylor expansion of 0 in t
7.288 * [taylor]: Taking taylor expansion of 0 in z
7.289 * [taylor]: Taking taylor expansion of 0 in t
7.289 * [taylor]: Taking taylor expansion of 0 in t
7.291 * [taylor]: Taking taylor expansion of 0 in z
7.291 * [taylor]: Taking taylor expansion of 0 in t
7.291 * [taylor]: Taking taylor expansion of 0 in t
7.292 * [taylor]: Taking taylor expansion of 0 in t
7.292 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
7.293 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
7.293 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
7.293 * [taylor]: Taking taylor expansion of 27.0 in b
7.293 * [taylor]: Taking taylor expansion of (* a b) in b
7.293 * [taylor]: Taking taylor expansion of a in b
7.293 * [taylor]: Taking taylor expansion of b in b
7.293 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
7.293 * [taylor]: Taking taylor expansion of 27.0 in a
7.293 * [taylor]: Taking taylor expansion of (* a b) in a
7.293 * [taylor]: Taking taylor expansion of a in a
7.293 * [taylor]: Taking taylor expansion of b in a
7.293 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
7.293 * [taylor]: Taking taylor expansion of 27.0 in a
7.293 * [taylor]: Taking taylor expansion of (* a b) in a
7.293 * [taylor]: Taking taylor expansion of a in a
7.293 * [taylor]: Taking taylor expansion of b in a
7.293 * [taylor]: Taking taylor expansion of 0 in b
7.294 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
7.294 * [taylor]: Taking taylor expansion of 27.0 in b
7.294 * [taylor]: Taking taylor expansion of b in b
7.296 * [taylor]: Taking taylor expansion of 0 in b
7.298 * [taylor]: Taking taylor expansion of 0 in b
7.301 * [taylor]: Taking taylor expansion of 0 in b
7.301 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
7.301 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
7.301 * [taylor]: Taking taylor expansion of 27.0 in b
7.301 * [taylor]: Taking taylor expansion of (* a b) in b
7.301 * [taylor]: Taking taylor expansion of a in b
7.301 * [taylor]: Taking taylor expansion of b in b
7.302 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
7.302 * [taylor]: Taking taylor expansion of 27.0 in a
7.302 * [taylor]: Taking taylor expansion of (* a b) in a
7.302 * [taylor]: Taking taylor expansion of a in a
7.302 * [taylor]: Taking taylor expansion of b in a
7.302 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
7.302 * [taylor]: Taking taylor expansion of 27.0 in a
7.302 * [taylor]: Taking taylor expansion of (* a b) in a
7.302 * [taylor]: Taking taylor expansion of a in a
7.302 * [taylor]: Taking taylor expansion of b in a
7.303 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
7.303 * [taylor]: Taking taylor expansion of 27.0 in b
7.303 * [taylor]: Taking taylor expansion of b in b
7.304 * [taylor]: Taking taylor expansion of 0 in b
7.305 * [taylor]: Taking taylor expansion of 0 in b
7.307 * [taylor]: Taking taylor expansion of 0 in b
7.308 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
7.308 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
7.308 * [taylor]: Taking taylor expansion of 27.0 in b
7.308 * [taylor]: Taking taylor expansion of (* a b) in b
7.308 * [taylor]: Taking taylor expansion of a in b
7.308 * [taylor]: Taking taylor expansion of b in b
7.308 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
7.308 * [taylor]: Taking taylor expansion of 27.0 in a
7.308 * [taylor]: Taking taylor expansion of (* a b) in a
7.308 * [taylor]: Taking taylor expansion of a in a
7.308 * [taylor]: Taking taylor expansion of b in a
7.309 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
7.309 * [taylor]: Taking taylor expansion of 27.0 in a
7.309 * [taylor]: Taking taylor expansion of (* a b) in a
7.309 * [taylor]: Taking taylor expansion of a in a
7.309 * [taylor]: Taking taylor expansion of b in a
7.309 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
7.309 * [taylor]: Taking taylor expansion of 27.0 in b
7.309 * [taylor]: Taking taylor expansion of b in b
7.310 * [taylor]: Taking taylor expansion of 0 in b
7.312 * [taylor]: Taking taylor expansion of 0 in b
7.313 * [taylor]: Taking taylor expansion of 0 in b
7.320 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
7.320 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0
7.320 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
7.320 * [taylor]: Taking taylor expansion of 9.0 in t
7.320 * [taylor]: Taking taylor expansion of (* t z) in t
7.320 * [taylor]: Taking taylor expansion of t in t
7.320 * [taylor]: Taking taylor expansion of z in t
7.320 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
7.320 * [taylor]: Taking taylor expansion of 9.0 in z
7.320 * [taylor]: Taking taylor expansion of (* t z) in z
7.320 * [taylor]: Taking taylor expansion of t in z
7.320 * [taylor]: Taking taylor expansion of z in z
7.320 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
7.320 * [taylor]: Taking taylor expansion of 9.0 in z
7.320 * [taylor]: Taking taylor expansion of (* t z) in z
7.320 * [taylor]: Taking taylor expansion of t in z
7.320 * [taylor]: Taking taylor expansion of z in z
7.321 * [taylor]: Taking taylor expansion of 0 in t
7.321 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
7.321 * [taylor]: Taking taylor expansion of 9.0 in t
7.321 * [taylor]: Taking taylor expansion of t in t
7.323 * [taylor]: Taking taylor expansion of 0 in t
7.325 * [taylor]: Taking taylor expansion of 0 in t
7.327 * [taylor]: Taking taylor expansion of 0 in t
7.328 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
7.328 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
7.328 * [taylor]: Taking taylor expansion of 9.0 in t
7.328 * [taylor]: Taking taylor expansion of (* t z) in t
7.328 * [taylor]: Taking taylor expansion of t in t
7.328 * [taylor]: Taking taylor expansion of z in t
7.328 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
7.328 * [taylor]: Taking taylor expansion of 9.0 in z
7.328 * [taylor]: Taking taylor expansion of (* t z) in z
7.328 * [taylor]: Taking taylor expansion of t in z
7.328 * [taylor]: Taking taylor expansion of z in z
7.329 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
7.329 * [taylor]: Taking taylor expansion of 9.0 in z
7.329 * [taylor]: Taking taylor expansion of (* t z) in z
7.329 * [taylor]: Taking taylor expansion of t in z
7.329 * [taylor]: Taking taylor expansion of z in z
7.329 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
7.329 * [taylor]: Taking taylor expansion of 9.0 in t
7.329 * [taylor]: Taking taylor expansion of t in t
7.330 * [taylor]: Taking taylor expansion of 0 in t
7.331 * [taylor]: Taking taylor expansion of 0 in t
7.333 * [taylor]: Taking taylor expansion of 0 in t
7.334 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0
7.334 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
7.334 * [taylor]: Taking taylor expansion of 9.0 in t
7.334 * [taylor]: Taking taylor expansion of (* t z) in t
7.334 * [taylor]: Taking taylor expansion of t in t
7.334 * [taylor]: Taking taylor expansion of z in t
7.334 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
7.334 * [taylor]: Taking taylor expansion of 9.0 in z
7.334 * [taylor]: Taking taylor expansion of (* t z) in z
7.334 * [taylor]: Taking taylor expansion of t in z
7.334 * [taylor]: Taking taylor expansion of z in z
7.335 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
7.335 * [taylor]: Taking taylor expansion of 9.0 in z
7.335 * [taylor]: Taking taylor expansion of (* t z) in z
7.335 * [taylor]: Taking taylor expansion of t in z
7.335 * [taylor]: Taking taylor expansion of z in z
7.335 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
7.335 * [taylor]: Taking taylor expansion of 9.0 in t
7.335 * [taylor]: Taking taylor expansion of t in t
7.336 * [taylor]: Taking taylor expansion of 0 in t
7.337 * [taylor]: Taking taylor expansion of 0 in t
7.339 * [taylor]: Taking taylor expansion of 0 in t
7.339 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.340 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0
7.340 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t
7.340 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
7.340 * [taylor]: Taking taylor expansion of 2.0 in t
7.340 * [taylor]: Taking taylor expansion of x in t
7.340 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
7.340 * [taylor]: Taking taylor expansion of 9.0 in t
7.340 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
7.340 * [taylor]: Taking taylor expansion of t in t
7.340 * [taylor]: Taking taylor expansion of (* z y) in t
7.340 * [taylor]: Taking taylor expansion of z in t
7.340 * [taylor]: Taking taylor expansion of y in t
7.340 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z
7.340 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
7.340 * [taylor]: Taking taylor expansion of 2.0 in z
7.340 * [taylor]: Taking taylor expansion of x in z
7.340 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
7.340 * [taylor]: Taking taylor expansion of 9.0 in z
7.340 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
7.340 * [taylor]: Taking taylor expansion of t in z
7.340 * [taylor]: Taking taylor expansion of (* z y) in z
7.340 * [taylor]: Taking taylor expansion of z in z
7.340 * [taylor]: Taking taylor expansion of y in z
7.340 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y
7.340 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
7.340 * [taylor]: Taking taylor expansion of 2.0 in y
7.340 * [taylor]: Taking taylor expansion of x in y
7.340 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
7.340 * [taylor]: Taking taylor expansion of 9.0 in y
7.340 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.340 * [taylor]: Taking taylor expansion of t in y
7.340 * [taylor]: Taking taylor expansion of (* z y) in y
7.340 * [taylor]: Taking taylor expansion of z in y
7.340 * [taylor]: Taking taylor expansion of y in y
7.340 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
7.340 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
7.340 * [taylor]: Taking taylor expansion of 2.0 in x
7.340 * [taylor]: Taking taylor expansion of x in x
7.340 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
7.340 * [taylor]: Taking taylor expansion of 9.0 in x
7.340 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
7.340 * [taylor]: Taking taylor expansion of t in x
7.340 * [taylor]: Taking taylor expansion of (* z y) in x
7.340 * [taylor]: Taking taylor expansion of z in x
7.340 * [taylor]: Taking taylor expansion of y in x
7.340 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x
7.340 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
7.340 * [taylor]: Taking taylor expansion of 2.0 in x
7.340 * [taylor]: Taking taylor expansion of x in x
7.341 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
7.341 * [taylor]: Taking taylor expansion of 9.0 in x
7.341 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
7.341 * [taylor]: Taking taylor expansion of t in x
7.341 * [taylor]: Taking taylor expansion of (* z y) in x
7.341 * [taylor]: Taking taylor expansion of z in x
7.341 * [taylor]: Taking taylor expansion of y in x
7.341 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t (* z y)))) in y
7.341 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
7.341 * [taylor]: Taking taylor expansion of 9.0 in y
7.341 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.341 * [taylor]: Taking taylor expansion of t in y
7.341 * [taylor]: Taking taylor expansion of (* z y) in y
7.341 * [taylor]: Taking taylor expansion of z in y
7.342 * [taylor]: Taking taylor expansion of y in y
7.342 * [taylor]: Taking taylor expansion of 0 in z
7.342 * [taylor]: Taking taylor expansion of 0 in t
7.344 * [taylor]: Taking taylor expansion of 2.0 in y
7.344 * [taylor]: Taking taylor expansion of 2.0 in z
7.344 * [taylor]: Taking taylor expansion of 2.0 in t
7.345 * [taylor]: Taking taylor expansion of (- (* 9.0 (* t z))) in z
7.345 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
7.345 * [taylor]: Taking taylor expansion of 9.0 in z
7.345 * [taylor]: Taking taylor expansion of (* t z) in z
7.345 * [taylor]: Taking taylor expansion of t in z
7.345 * [taylor]: Taking taylor expansion of z in z
7.346 * [taylor]: Taking taylor expansion of 0 in t
7.346 * [taylor]: Taking taylor expansion of 0 in t
7.348 * [taylor]: Taking taylor expansion of 0 in y
7.348 * [taylor]: Taking taylor expansion of 0 in z
7.348 * [taylor]: Taking taylor expansion of 0 in t
7.348 * [taylor]: Taking taylor expansion of 0 in z
7.348 * [taylor]: Taking taylor expansion of 0 in t
7.350 * [taylor]: Taking taylor expansion of 0 in z
7.350 * [taylor]: Taking taylor expansion of 0 in t
7.350 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0
7.350 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t
7.350 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
7.350 * [taylor]: Taking taylor expansion of 2.0 in t
7.350 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.350 * [taylor]: Taking taylor expansion of x in t
7.351 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
7.351 * [taylor]: Taking taylor expansion of 9.0 in t
7.351 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
7.351 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
7.351 * [taylor]: Taking taylor expansion of t in t
7.351 * [taylor]: Taking taylor expansion of (* z y) in t
7.351 * [taylor]: Taking taylor expansion of z in t
7.351 * [taylor]: Taking taylor expansion of y in t
7.351 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z
7.351 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
7.351 * [taylor]: Taking taylor expansion of 2.0 in z
7.351 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.351 * [taylor]: Taking taylor expansion of x in z
7.351 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
7.351 * [taylor]: Taking taylor expansion of 9.0 in z
7.351 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
7.351 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
7.351 * [taylor]: Taking taylor expansion of t in z
7.351 * [taylor]: Taking taylor expansion of (* z y) in z
7.351 * [taylor]: Taking taylor expansion of z in z
7.351 * [taylor]: Taking taylor expansion of y in z
7.352 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y
7.352 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
7.352 * [taylor]: Taking taylor expansion of 2.0 in y
7.352 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.352 * [taylor]: Taking taylor expansion of x in y
7.352 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
7.352 * [taylor]: Taking taylor expansion of 9.0 in y
7.352 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
7.352 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.352 * [taylor]: Taking taylor expansion of t in y
7.352 * [taylor]: Taking taylor expansion of (* z y) in y
7.352 * [taylor]: Taking taylor expansion of z in y
7.352 * [taylor]: Taking taylor expansion of y in y
7.353 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
7.353 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
7.353 * [taylor]: Taking taylor expansion of 2.0 in x
7.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.353 * [taylor]: Taking taylor expansion of x in x
7.353 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
7.353 * [taylor]: Taking taylor expansion of 9.0 in x
7.353 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
7.353 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
7.353 * [taylor]: Taking taylor expansion of t in x
7.353 * [taylor]: Taking taylor expansion of (* z y) in x
7.353 * [taylor]: Taking taylor expansion of z in x
7.353 * [taylor]: Taking taylor expansion of y in x
7.353 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x
7.353 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
7.353 * [taylor]: Taking taylor expansion of 2.0 in x
7.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.354 * [taylor]: Taking taylor expansion of x in x
7.354 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
7.354 * [taylor]: Taking taylor expansion of 9.0 in x
7.354 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
7.354 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
7.354 * [taylor]: Taking taylor expansion of t in x
7.354 * [taylor]: Taking taylor expansion of (* z y) in x
7.354 * [taylor]: Taking taylor expansion of z in x
7.354 * [taylor]: Taking taylor expansion of y in x
7.355 * [taylor]: Taking taylor expansion of 2.0 in y
7.356 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y))))) in y
7.356 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
7.356 * [taylor]: Taking taylor expansion of 9.0 in y
7.356 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
7.356 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.356 * [taylor]: Taking taylor expansion of t in y
7.356 * [taylor]: Taking taylor expansion of (* z y) in y
7.356 * [taylor]: Taking taylor expansion of z in y
7.356 * [taylor]: Taking taylor expansion of y in y
7.357 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t z)))) in z
7.357 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
7.357 * [taylor]: Taking taylor expansion of 9.0 in z
7.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
7.357 * [taylor]: Taking taylor expansion of (* t z) in z
7.357 * [taylor]: Taking taylor expansion of t in z
7.357 * [taylor]: Taking taylor expansion of z in z
7.357 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 t))) in t
7.357 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
7.357 * [taylor]: Taking taylor expansion of 9.0 in t
7.357 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.357 * [taylor]: Taking taylor expansion of t in t
7.359 * [taylor]: Taking taylor expansion of 2.0 in z
7.361 * [taylor]: Taking taylor expansion of 0 in y
7.362 * [taylor]: Taking taylor expansion of 0 in z
7.362 * [taylor]: Taking taylor expansion of 0 in z
7.363 * [taylor]: Taking taylor expansion of 0 in t
7.363 * [taylor]: Taking taylor expansion of 2.0 in t
7.368 * [taylor]: Taking taylor expansion of 0 in y
7.368 * [taylor]: Taking taylor expansion of 0 in z
7.370 * [taylor]: Taking taylor expansion of 0 in z
7.370 * [taylor]: Taking taylor expansion of 0 in z
7.370 * [taylor]: Taking taylor expansion of 0 in t
7.370 * [taylor]: Taking taylor expansion of 0 in t
7.371 * [taylor]: Taking taylor expansion of 0 in t
7.371 * [taylor]: Taking taylor expansion of 0 in t
7.377 * [taylor]: Taking taylor expansion of 0 in y
7.377 * [taylor]: Taking taylor expansion of 0 in z
7.377 * [taylor]: Taking taylor expansion of 0 in z
7.380 * [taylor]: Taking taylor expansion of 0 in z
7.380 * [taylor]: Taking taylor expansion of 0 in z
7.380 * [taylor]: Taking taylor expansion of 0 in t
7.380 * [taylor]: Taking taylor expansion of 0 in t
7.380 * [taylor]: Taking taylor expansion of 0 in t
7.380 * [taylor]: Taking taylor expansion of 0 in t
7.380 * [taylor]: Taking taylor expansion of 0 in t
7.382 * [taylor]: Taking taylor expansion of 0 in t
7.382 * [taylor]: Taking taylor expansion of 0 in t
7.383 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0
7.383 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t
7.383 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
7.383 * [taylor]: Taking taylor expansion of 9.0 in t
7.383 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
7.383 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
7.383 * [taylor]: Taking taylor expansion of t in t
7.383 * [taylor]: Taking taylor expansion of (* z y) in t
7.383 * [taylor]: Taking taylor expansion of z in t
7.383 * [taylor]: Taking taylor expansion of y in t
7.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
7.383 * [taylor]: Taking taylor expansion of 2.0 in t
7.383 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.383 * [taylor]: Taking taylor expansion of x in t
7.383 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z
7.383 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
7.383 * [taylor]: Taking taylor expansion of 9.0 in z
7.383 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
7.384 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
7.384 * [taylor]: Taking taylor expansion of t in z
7.384 * [taylor]: Taking taylor expansion of (* z y) in z
7.384 * [taylor]: Taking taylor expansion of z in z
7.384 * [taylor]: Taking taylor expansion of y in z
7.384 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
7.384 * [taylor]: Taking taylor expansion of 2.0 in z
7.384 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.384 * [taylor]: Taking taylor expansion of x in z
7.384 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y
7.384 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
7.384 * [taylor]: Taking taylor expansion of 9.0 in y
7.384 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
7.384 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.384 * [taylor]: Taking taylor expansion of t in y
7.384 * [taylor]: Taking taylor expansion of (* z y) in y
7.384 * [taylor]: Taking taylor expansion of z in y
7.384 * [taylor]: Taking taylor expansion of y in y
7.385 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
7.385 * [taylor]: Taking taylor expansion of 2.0 in y
7.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.385 * [taylor]: Taking taylor expansion of x in y
7.385 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
7.385 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
7.385 * [taylor]: Taking taylor expansion of 9.0 in x
7.385 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
7.385 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
7.385 * [taylor]: Taking taylor expansion of t in x
7.385 * [taylor]: Taking taylor expansion of (* z y) in x
7.385 * [taylor]: Taking taylor expansion of z in x
7.385 * [taylor]: Taking taylor expansion of y in x
7.385 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
7.385 * [taylor]: Taking taylor expansion of 2.0 in x
7.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.386 * [taylor]: Taking taylor expansion of x in x
7.386 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x
7.386 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
7.386 * [taylor]: Taking taylor expansion of 9.0 in x
7.386 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
7.386 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
7.386 * [taylor]: Taking taylor expansion of t in x
7.386 * [taylor]: Taking taylor expansion of (* z y) in x
7.386 * [taylor]: Taking taylor expansion of z in x
7.386 * [taylor]: Taking taylor expansion of y in x
7.386 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
7.386 * [taylor]: Taking taylor expansion of 2.0 in x
7.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.386 * [taylor]: Taking taylor expansion of x in x
7.388 * [taylor]: Taking taylor expansion of (- 2.0) in y
7.388 * [taylor]: Taking taylor expansion of 2.0 in y
7.389 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
7.389 * [taylor]: Taking taylor expansion of 9.0 in y
7.389 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
7.389 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.389 * [taylor]: Taking taylor expansion of t in y
7.389 * [taylor]: Taking taylor expansion of (* z y) in y
7.389 * [taylor]: Taking taylor expansion of z in y
7.389 * [taylor]: Taking taylor expansion of y in y
7.390 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
7.390 * [taylor]: Taking taylor expansion of 9.0 in z
7.390 * [taylor]: Taking taylor expansion of (* t z) in z
7.390 * [taylor]: Taking taylor expansion of t in z
7.390 * [taylor]: Taking taylor expansion of z in z
7.390 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
7.390 * [taylor]: Taking taylor expansion of 9.0 in t
7.390 * [taylor]: Taking taylor expansion of t in t
7.391 * [taylor]: Taking taylor expansion of (- 2.0) in z
7.391 * [taylor]: Taking taylor expansion of 2.0 in z
7.393 * [taylor]: Taking taylor expansion of 0 in y
7.394 * [taylor]: Taking taylor expansion of 0 in z
7.395 * [taylor]: Taking taylor expansion of 0 in z
7.395 * [taylor]: Taking taylor expansion of 0 in t
7.396 * [taylor]: Taking taylor expansion of (- 2.0) in t
7.396 * [taylor]: Taking taylor expansion of 2.0 in t
7.399 * [taylor]: Taking taylor expansion of 0 in y
7.399 * [taylor]: Taking taylor expansion of 0 in z
7.401 * [taylor]: Taking taylor expansion of 0 in z
7.401 * [taylor]: Taking taylor expansion of 0 in z
7.401 * [taylor]: Taking taylor expansion of 0 in t
7.401 * [taylor]: Taking taylor expansion of 0 in t
7.402 * [taylor]: Taking taylor expansion of 0 in t
7.402 * [taylor]: Taking taylor expansion of 0 in t
7.407 * [taylor]: Taking taylor expansion of 0 in y
7.407 * [taylor]: Taking taylor expansion of 0 in z
7.408 * [taylor]: Taking taylor expansion of 0 in z
7.410 * [taylor]: Taking taylor expansion of 0 in z
7.410 * [taylor]: Taking taylor expansion of 0 in z
7.410 * [taylor]: Taking taylor expansion of 0 in t
7.410 * [taylor]: Taking taylor expansion of 0 in t
7.410 * [taylor]: Taking taylor expansion of 0 in t
7.410 * [taylor]: Taking taylor expansion of 0 in t
7.410 * [taylor]: Taking taylor expansion of 0 in t
7.411 * [taylor]: Taking taylor expansion of 0 in t
7.411 * [taylor]: Taking taylor expansion of 0 in t
7.412 * * * [progress]: simplifying candidates
7.418 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* y (* (* 9.0 z) t)))
  (log1p (* y (* (* 9.0 z) t)))
  (* y (* (* 9.0 z) t))
  (* y (* (* 9.0 z) t))
  (* y (* (* 9.0 z) t))
  (+ (log y) (+ (+ (log 9.0) (log z)) (log t)))
  (+ (log y) (+ (log (* 9.0 z)) (log t)))
  (+ (log y) (log (* (* 9.0 z) t)))
  (log (* y (* (* 9.0 z) t)))
  (exp (* y (* (* 9.0 z) t)))
  (* (* (* y y) y) (* (* (* (* 9.0 9.0) 9.0) (* (* z z) z)) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* (* 9.0 z) (* 9.0 z)) (* 9.0 z)) (* (* t t) t)))
  (* (* (* y y) y) (* (* (* (* 9.0 z) t) (* (* 9.0 z) t)) (* (* 9.0 z) t)))
  (* (cbrt (* y (* (* 9.0 z) t))) (cbrt (* y (* (* 9.0 z) t))))
  (cbrt (* y (* (* 9.0 z) t)))
  (* (* (* y (* (* 9.0 z) t)) (* y (* (* 9.0 z) t))) (* y (* (* 9.0 z) t)))
  (sqrt (* y (* (* 9.0 z) t)))
  (sqrt (* y (* (* 9.0 z) t)))
  (* y (* 9.0 z))
  (* (cbrt y) (* (* 9.0 z) t))
  (* (sqrt y) (* (* 9.0 z) t))
  (* y (* (* 9.0 z) t))
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (+ (+ (log a) (log 27.0)) (log b))
  (+ (log (* a 27.0)) (log b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (* (* (* (* a a) a) (* (* 27.0 27.0) 27.0)) (* (* b b) b))
  (* (* (* (* a 27.0) (* a 27.0)) (* a 27.0)) (* (* b b) b))
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (* (* (* (* a 27.0) b) (* (* a 27.0) b)) (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* (* a 27.0) 1)
  (* 27.0 b)
  (expm1 (* (* 9.0 z) t))
  (log1p (* (* 9.0 z) t))
  (* (* 9.0 z) t)
  (* (* 9.0 z) t)
  (+ (+ (log 9.0) (log z)) (log t))
  (+ (log (* 9.0 z)) (log t))
  (log (* (* 9.0 z) t))
  (exp (* (* 9.0 z) t))
  (* (* (* (* 9.0 9.0) 9.0) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* 9.0 z) (* 9.0 z)) (* 9.0 z)) (* (* t t) t))
  (* (cbrt (* (* 9.0 z) t)) (cbrt (* (* 9.0 z) t)))
  (cbrt (* (* 9.0 z) t))
  (* (* (* (* 9.0 z) t) (* (* 9.0 z) t)) (* (* 9.0 z) t))
  (sqrt (* (* 9.0 z) t))
  (sqrt (* (* 9.0 z) t))
  (* (* 9.0 z) (* (cbrt t) (cbrt t)))
  (* (* 9.0 z) (sqrt t))
  (* (* 9.0 z) 1)
  (* z t)
  (fma x 2.0 (- (* (* (* 9.0 z) t) y)))
  (fma (- (* (* 9.0 z) t)) y (* (* (* 9.0 z) t) y))
  (expm1 (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (log1p (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (- (* y (* (* 9.0 z) t)))
  (/ (exp (* x 2.0)) (exp (* y (* (* 9.0 z) t))))
  (log (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (exp (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (* (cbrt (- (* x 2.0) (* y (* (* 9.0 z) t)))) (cbrt (- (* x 2.0) (* y (* (* 9.0 z) t)))))
  (cbrt (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (* (* (- (* x 2.0) (* y (* (* 9.0 z) t))) (- (* x 2.0) (* y (* (* 9.0 z) t)))) (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (sqrt (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (sqrt (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (- (pow (* x 2.0) 3) (pow (* y (* (* 9.0 z) t)) 3))
  (+ (* (* x 2.0) (* x 2.0)) (+ (* (* y (* (* 9.0 z) t)) (* y (* (* 9.0 z) t))) (* (* x 2.0) (* y (* (* 9.0 z) t)))))
  (- (* y (* (* 9.0 z) t)))
  (- (* (* x 2.0) (* x 2.0)) (* (* y (* (* 9.0 z) t)) (* y (* (* 9.0 z) t))))
  (+ (* x 2.0) (* y (* (* 9.0 z) t)))
  (- (* y (* (* 9.0 z) t)))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
7.422 * * [simplify]: iteration  0 :  145  enodes  (cost  913 )
7.447 * * [simplify]: iteration  1 :  370  enodes  (cost  870 )
7.612 * * [simplify]: iteration  2 :  1576  enodes  (cost  741 )
8.361 * * [simplify]: iteration  done :  5001  enodes  (cost  741 )
8.362 * [simplify]: Simplified to:
   (expm1 (* y (* (* 9.0 z) t)))
  (log1p (* y (* (* 9.0 z) t)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (log (* (* (* 9.0 z) t) y))
  (log (* (* (* 9.0 z) t) y))
  (log (* (* (* 9.0 z) t) y))
  (log (* (* (* 9.0 z) t) y))
  (exp (* y (* (* 9.0 z) t)))
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (* (cbrt (* y (* (* 9.0 z) t))) (cbrt (* y (* (* 9.0 z) t))))
  (cbrt (* y (* (* 9.0 z) t)))
  (pow (* 9.0 (* t (* z y))) 3)
  (sqrt (* y (* (* 9.0 z) t)))
  (sqrt (* y (* (* 9.0 z) t)))
  (* y (* 9.0 z))
  (* (cbrt y) (* (* 9.0 z) t))
  (* (sqrt y) (* (* 9.0 z) t))
  (* 9.0 (* t (* z y)))
  (expm1 (* (* a 27.0) b))
  (log1p (* (* a 27.0) b))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (log (* (* a 27.0) b))
  (exp (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (pow (* (* a 27.0) b) 3)
  (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b)))
  (cbrt (* (* a 27.0) b))
  (pow (* (* a 27.0) b) 3)
  (sqrt (* (* a 27.0) b))
  (sqrt (* (* a 27.0) b))
  (* (* a 27.0) (* (cbrt b) (cbrt b)))
  (* (* a 27.0) (sqrt b))
  (* a 27.0)
  (* 27.0 b)
  (expm1 (* (* 9.0 z) t))
  (log1p (* (* 9.0 z) t))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* (* 9.0 z) t))
  (log (* (* 9.0 z) t))
  (log (* (* 9.0 z) t))
  (exp (* (* 9.0 z) t))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* (* 9.0 z) t)) (cbrt (* (* 9.0 z) t)))
  (cbrt (* (* 9.0 z) t))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* (* 9.0 z) t))
  (sqrt (* (* 9.0 z) t))
  (* (* 9.0 z) (* (cbrt t) (cbrt t)))
  (* (* 9.0 z) (sqrt t))
  (* 9.0 z)
  (* z t)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (* (* 9.0 (* t z)) (+ (- y) y))
  (expm1 (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (log1p (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (- (* 9.0 (* t (* z y))))
  (exp (fma x 2.0 (- (* (* (* 9.0 z) t) y))))
  (log (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (exp (fma x 2.0 (- (* (* (* 9.0 z) t) y))))
  (* (cbrt (- (* x 2.0) (* y (* (* 9.0 z) t)))) (cbrt (- (* x 2.0) (* y (* (* 9.0 z) t)))))
  (cbrt (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (pow (fma x 2.0 (- (* (* (* 9.0 z) t) y))) 3)
  (sqrt (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (sqrt (- (* x 2.0) (* y (* (* 9.0 z) t))))
  (- (pow (* x 2.0) 3) (pow (* y (* (* 9.0 z) t)) 3))
  (fma (* 2.0 x) (* 2.0 x) (* (* (* (* 9.0 z) t) y) (fma x 2.0 (* (* (* 9.0 z) t) y))))
  (- (* 9.0 (* t (* z y))))
  (* (fma x 2.0 (* (* (* 9.0 z) t) y)) (fma x 2.0 (- (* (* (* 9.0 z) t) y))))
  (fma x 2.0 (* (* (* 9.0 z) t) y))
  (- (* 9.0 (* t (* z y))))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* (* a 27.0) b)
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (* 2.0 x)
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
  (- (* 2.0 x) (* 9.0 (* t (* z y))))
8.362 * * * [progress]: adding candidates to table
8.639 * [progress]: [Phase 3 of 3] Extracting.
8.639 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.642 * * * [regime-changes]: Trying 13 branch expressions: ((* a 27.0) (* (* a 27.0) b) (* y 9.0) (* (* y 9.0) z) (* (* (* y 9.0) z) t) (* x 2.0) (- (* x 2.0) (* (* (* y 9.0) z) t)) b a t z y x)
8.643 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.693 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.732 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.779 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.814 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.867 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))>)
8.906 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
8.960 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.014 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.062 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))>)
9.097 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.153 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.210 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.259 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.316 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.359 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.414 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.462 * * * [regime]: Found split indices: #<option (#s(si 3 8) #s(si 1 247) #s(si 2 255))>
9.464 * [binary-search]: Only using regimes for bounds on (* (* y 9.0) z) and (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.464 * [regimes]: Found splitpoints: (#s(sp 3 (* (* y 9.0) z) -inf.0) #s(sp 1 (* (* y 9.0) z) 1.0757955465243258e+266) #s(sp 2 (* (* y 9.0) z) +nan.0)) , with alts (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (* (cbrt z) (cbrt z))) (cbrt z)) t)) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b))))> #<alt (λ (x y z t a b) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (sqrt (* (* a 27.0) b)) (sqrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (sqrt y) (* (sqrt y) (* (* 9.0 z) t)))) (* (* a 27.0) b)))> #<alt (λ (x y z t a b) (+ (+ (- (* 2.0 x) (* 9.0 (* t (* z y)))) (* (* 9.0 (* z y)) (+ (- t) t))) (* (* a 27.0) b)))>)
9.464 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* (* y 9.0) z) -inf.0) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))) (if (<= (* (* y 9.0) z) 1.0757955465243258e+266) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b)))))
9.465 * * [simplify]: iteration  0 :  39  enodes  (cost  73 )
9.467 * * [simplify]: iteration  1 :  60  enodes  (cost  73 )
9.469 * * [simplify]: iteration  2 :  74  enodes  (cost  73 )
9.471 * * [simplify]: iteration  done :  74  enodes  (cost  73 )
9.472 * [simplify]: Simplified to:
   (if (<= (* (* y 9.0) z) -inf.0) (fma 27.0 (* a b) (fma x 2.0 (- (* (* z t) (* y 9.0))))) (if (<= (* (* y 9.0) z) 1.0757955465243258e+266) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))) (+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* (* a 27.0) (* (cbrt b) (cbrt b))) (cbrt b)))))
10.643 * [regime-testing]: Baseline error score: 3.7784589266462176
10.644 * [regime-testing]: Oracle error score: 0.027201520502652978
10.645 * [regime-testing]: End program error score: 0.5573801800409343
10.684 * [regime-testing]: Target error score: 2.5500200178162795