9.485 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.054 * * [simplify]: iteration  0 :  17  enodes  (cost  17 )
0.057 * * [simplify]: iteration  1 :  34  enodes  (cost  17 )
0.061 * * [simplify]: iteration  2 :  80  enodes  (cost  17 )
0.075 * * [simplify]: iteration  3 :  208  enodes  (cost  17 )
0.117 * * [simplify]: iteration  4 :  385  enodes  (cost  17 )
0.176 * * [simplify]: iteration  5 :  472  enodes  (cost  17 )
0.232 * * [simplify]: iteration  6 :  550  enodes  (cost  17 )
0.304 * * [simplify]: iteration  7 :  642  enodes  (cost  17 )
0.405 * * [simplify]: iteration  8 :  866  enodes  (cost  17 )
0.511 * * [simplify]: iteration  9 :  1275  enodes  (cost  17 )
0.624 * * [simplify]: iteration  10 :  1576  enodes  (cost  17 )
0.821 * * [simplify]: iteration  11 :  2001  enodes  (cost  17 )
1.072 * * [simplify]: iteration  12 :  2716  enodes  (cost  17 )
1.186 * * [simplify]: iteration  13 :  3017  enodes  (cost  17 )
1.384 * * [simplify]: iteration  14 :  3442  enodes  (cost  17 )
1.856 * * [simplify]: iteration  15 :  4157  enodes  (cost  17 )
1.970 * * [simplify]: iteration  16 :  4458  enodes  (cost  17 )
2.173 * * [simplify]: iteration  17 :  4883  enodes  (cost  17 )
2.355 * * [simplify]: iteration  done :  5000  enodes  (cost  17 )
2.355 * [simplify]: Simplified to:
   (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
2.355 * * [progress]: iteration 1 / 4
2.355 * * * [progress]: picking best candidate
2.359 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b)))>
2.359 * * * [progress]: localizing error
2.372 * * * [progress]: generating rewritten candidates
2.372 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.380 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
2.385 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.400 * * * [progress]: generating series expansions
2.400 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.400 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0
2.400 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
2.400 * [taylor]: Taking taylor expansion of 9.0 in t
2.400 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.400 * [taylor]: Taking taylor expansion of t in t
2.400 * [taylor]: Taking taylor expansion of (* z y) in t
2.400 * [taylor]: Taking taylor expansion of z in t
2.400 * [taylor]: Taking taylor expansion of y in t
2.400 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
2.400 * [taylor]: Taking taylor expansion of 9.0 in z
2.400 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.400 * [taylor]: Taking taylor expansion of t in z
2.400 * [taylor]: Taking taylor expansion of (* z y) in z
2.400 * [taylor]: Taking taylor expansion of z in z
2.400 * [taylor]: Taking taylor expansion of y in z
2.400 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.400 * [taylor]: Taking taylor expansion of 9.0 in y
2.400 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.400 * [taylor]: Taking taylor expansion of t in y
2.400 * [taylor]: Taking taylor expansion of (* z y) in y
2.400 * [taylor]: Taking taylor expansion of z in y
2.400 * [taylor]: Taking taylor expansion of y in y
2.400 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.400 * [taylor]: Taking taylor expansion of 9.0 in y
2.400 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.400 * [taylor]: Taking taylor expansion of t in y
2.400 * [taylor]: Taking taylor expansion of (* z y) in y
2.400 * [taylor]: Taking taylor expansion of z in y
2.400 * [taylor]: Taking taylor expansion of y in y
2.400 * [taylor]: Taking taylor expansion of 0 in z
2.400 * [taylor]: Taking taylor expansion of 0 in t
2.401 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.401 * [taylor]: Taking taylor expansion of 9.0 in z
2.401 * [taylor]: Taking taylor expansion of (* t z) in z
2.401 * [taylor]: Taking taylor expansion of t in z
2.401 * [taylor]: Taking taylor expansion of z in z
2.401 * [taylor]: Taking taylor expansion of 0 in t
2.401 * [taylor]: Taking taylor expansion of 0 in t
2.401 * [taylor]: Taking taylor expansion of 0 in z
2.401 * [taylor]: Taking taylor expansion of 0 in t
2.401 * [taylor]: Taking taylor expansion of (* 9.0 t) in t
2.401 * [taylor]: Taking taylor expansion of 9.0 in t
2.401 * [taylor]: Taking taylor expansion of t in t
2.401 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0
2.401 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
2.401 * [taylor]: Taking taylor expansion of 9.0 in t
2.401 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.401 * [taylor]: Taking taylor expansion of t in t
2.401 * [taylor]: Taking taylor expansion of (* z y) in t
2.401 * [taylor]: Taking taylor expansion of z in t
2.401 * [taylor]: Taking taylor expansion of y in t
2.401 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
2.401 * [taylor]: Taking taylor expansion of 9.0 in z
2.401 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.401 * [taylor]: Taking taylor expansion of t in z
2.402 * [taylor]: Taking taylor expansion of (* z y) in z
2.402 * [taylor]: Taking taylor expansion of z in z
2.402 * [taylor]: Taking taylor expansion of y in z
2.402 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.402 * [taylor]: Taking taylor expansion of 9.0 in y
2.402 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.402 * [taylor]: Taking taylor expansion of t in y
2.402 * [taylor]: Taking taylor expansion of (* z y) in y
2.402 * [taylor]: Taking taylor expansion of z in y
2.402 * [taylor]: Taking taylor expansion of y in y
2.402 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
2.402 * [taylor]: Taking taylor expansion of 9.0 in y
2.402 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.402 * [taylor]: Taking taylor expansion of t in y
2.402 * [taylor]: Taking taylor expansion of (* z y) in y
2.402 * [taylor]: Taking taylor expansion of z in y
2.402 * [taylor]: Taking taylor expansion of y in y
2.402 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
2.402 * [taylor]: Taking taylor expansion of 9.0 in z
2.402 * [taylor]: Taking taylor expansion of (* t z) in z
2.402 * [taylor]: Taking taylor expansion of t in z
2.402 * [taylor]: Taking taylor expansion of z in z
2.402 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.402 * [taylor]: Taking taylor expansion of 9.0 in t
2.402 * [taylor]: Taking taylor expansion of t in t
2.403 * [taylor]: Taking taylor expansion of 0 in z
2.403 * [taylor]: Taking taylor expansion of 0 in t
2.403 * [taylor]: Taking taylor expansion of 0 in z
2.403 * [taylor]: Taking taylor expansion of 0 in t
2.403 * [taylor]: Taking taylor expansion of 0 in t
2.404 * [taylor]: Taking taylor expansion of 0 in z
2.404 * [taylor]: Taking taylor expansion of 0 in t
2.404 * [taylor]: Taking taylor expansion of 0 in t
2.404 * [taylor]: Taking taylor expansion of 0 in t
2.404 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0
2.404 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
2.404 * [taylor]: Taking taylor expansion of -9.0 in t
2.404 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.404 * [taylor]: Taking taylor expansion of t in t
2.404 * [taylor]: Taking taylor expansion of (* z y) in t
2.404 * [taylor]: Taking taylor expansion of z in t
2.404 * [taylor]: Taking taylor expansion of y in t
2.404 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
2.405 * [taylor]: Taking taylor expansion of -9.0 in z
2.405 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.409 * [taylor]: Taking taylor expansion of t in z
2.409 * [taylor]: Taking taylor expansion of (* z y) in z
2.409 * [taylor]: Taking taylor expansion of z in z
2.409 * [taylor]: Taking taylor expansion of y in z
2.409 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
2.409 * [taylor]: Taking taylor expansion of -9.0 in y
2.409 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.409 * [taylor]: Taking taylor expansion of t in y
2.409 * [taylor]: Taking taylor expansion of (* z y) in y
2.409 * [taylor]: Taking taylor expansion of z in y
2.409 * [taylor]: Taking taylor expansion of y in y
2.409 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
2.409 * [taylor]: Taking taylor expansion of -9.0 in y
2.409 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.409 * [taylor]: Taking taylor expansion of t in y
2.409 * [taylor]: Taking taylor expansion of (* z y) in y
2.409 * [taylor]: Taking taylor expansion of z in y
2.409 * [taylor]: Taking taylor expansion of y in y
2.409 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z
2.410 * [taylor]: Taking taylor expansion of -9.0 in z
2.410 * [taylor]: Taking taylor expansion of (* t z) in z
2.410 * [taylor]: Taking taylor expansion of t in z
2.410 * [taylor]: Taking taylor expansion of z in z
2.410 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t
2.410 * [taylor]: Taking taylor expansion of -9.0 in t
2.410 * [taylor]: Taking taylor expansion of t in t
2.410 * [taylor]: Taking taylor expansion of 0 in z
2.410 * [taylor]: Taking taylor expansion of 0 in t
2.410 * [taylor]: Taking taylor expansion of 0 in z
2.410 * [taylor]: Taking taylor expansion of 0 in t
2.411 * [taylor]: Taking taylor expansion of 0 in t
2.411 * [taylor]: Taking taylor expansion of 0 in z
2.411 * [taylor]: Taking taylor expansion of 0 in t
2.411 * [taylor]: Taking taylor expansion of 0 in t
2.411 * [taylor]: Taking taylor expansion of 0 in t
2.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.411 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0
2.411 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
2.412 * [taylor]: Taking taylor expansion of 9.0 in z
2.412 * [taylor]: Taking taylor expansion of (* z y) in z
2.412 * [taylor]: Taking taylor expansion of z in z
2.412 * [taylor]: Taking taylor expansion of y in z
2.412 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
2.412 * [taylor]: Taking taylor expansion of 9.0 in y
2.412 * [taylor]: Taking taylor expansion of (* z y) in y
2.412 * [taylor]: Taking taylor expansion of z in y
2.412 * [taylor]: Taking taylor expansion of y in y
2.412 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y
2.412 * [taylor]: Taking taylor expansion of 9.0 in y
2.412 * [taylor]: Taking taylor expansion of (* z y) in y
2.412 * [taylor]: Taking taylor expansion of z in y
2.412 * [taylor]: Taking taylor expansion of y in y
2.412 * [taylor]: Taking taylor expansion of 0 in z
2.412 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
2.412 * [taylor]: Taking taylor expansion of 9.0 in z
2.412 * [taylor]: Taking taylor expansion of z in z
2.412 * [taylor]: Taking taylor expansion of 0 in z
2.412 * [taylor]: Taking taylor expansion of 0 in z
2.412 * [taylor]: Taking taylor expansion of 0 in z
2.413 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
2.413 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
2.413 * [taylor]: Taking taylor expansion of 9.0 in z
2.413 * [taylor]: Taking taylor expansion of (* z y) in z
2.413 * [taylor]: Taking taylor expansion of z in z
2.413 * [taylor]: Taking taylor expansion of y in z
2.413 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.413 * [taylor]: Taking taylor expansion of 9.0 in y
2.413 * [taylor]: Taking taylor expansion of (* z y) in y
2.413 * [taylor]: Taking taylor expansion of z in y
2.413 * [taylor]: Taking taylor expansion of y in y
2.413 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.413 * [taylor]: Taking taylor expansion of 9.0 in y
2.413 * [taylor]: Taking taylor expansion of (* z y) in y
2.413 * [taylor]: Taking taylor expansion of z in y
2.413 * [taylor]: Taking taylor expansion of y in y
2.413 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
2.413 * [taylor]: Taking taylor expansion of 9.0 in z
2.413 * [taylor]: Taking taylor expansion of z in z
2.413 * [taylor]: Taking taylor expansion of 0 in z
2.413 * [taylor]: Taking taylor expansion of 0 in z
2.414 * [taylor]: Taking taylor expansion of 0 in z
2.414 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0
2.414 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
2.414 * [taylor]: Taking taylor expansion of 9.0 in z
2.414 * [taylor]: Taking taylor expansion of (* z y) in z
2.414 * [taylor]: Taking taylor expansion of z in z
2.414 * [taylor]: Taking taylor expansion of y in z
2.414 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.414 * [taylor]: Taking taylor expansion of 9.0 in y
2.414 * [taylor]: Taking taylor expansion of (* z y) in y
2.414 * [taylor]: Taking taylor expansion of z in y
2.414 * [taylor]: Taking taylor expansion of y in y
2.414 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y
2.414 * [taylor]: Taking taylor expansion of 9.0 in y
2.414 * [taylor]: Taking taylor expansion of (* z y) in y
2.414 * [taylor]: Taking taylor expansion of z in y
2.414 * [taylor]: Taking taylor expansion of y in y
2.414 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
2.414 * [taylor]: Taking taylor expansion of 9.0 in z
2.414 * [taylor]: Taking taylor expansion of z in z
2.415 * [taylor]: Taking taylor expansion of 0 in z
2.415 * [taylor]: Taking taylor expansion of 0 in z
2.415 * [taylor]: Taking taylor expansion of 0 in z
2.415 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.415 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
2.415 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
2.415 * [taylor]: Taking taylor expansion of 27.0 in b
2.415 * [taylor]: Taking taylor expansion of (* a b) in b
2.415 * [taylor]: Taking taylor expansion of a in b
2.415 * [taylor]: Taking taylor expansion of b in b
2.415 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
2.415 * [taylor]: Taking taylor expansion of 27.0 in a
2.415 * [taylor]: Taking taylor expansion of (* a b) in a
2.415 * [taylor]: Taking taylor expansion of a in a
2.415 * [taylor]: Taking taylor expansion of b in a
2.415 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
2.416 * [taylor]: Taking taylor expansion of 27.0 in a
2.416 * [taylor]: Taking taylor expansion of (* a b) in a
2.416 * [taylor]: Taking taylor expansion of a in a
2.416 * [taylor]: Taking taylor expansion of b in a
2.416 * [taylor]: Taking taylor expansion of 0 in b
2.416 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
2.416 * [taylor]: Taking taylor expansion of 27.0 in b
2.416 * [taylor]: Taking taylor expansion of b in b
2.416 * [taylor]: Taking taylor expansion of 0 in b
2.416 * [taylor]: Taking taylor expansion of 0 in b
2.416 * [taylor]: Taking taylor expansion of 0 in b
2.416 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
2.416 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
2.416 * [taylor]: Taking taylor expansion of 27.0 in b
2.416 * [taylor]: Taking taylor expansion of (* a b) in b
2.416 * [taylor]: Taking taylor expansion of a in b
2.416 * [taylor]: Taking taylor expansion of b in b
2.417 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.417 * [taylor]: Taking taylor expansion of 27.0 in a
2.417 * [taylor]: Taking taylor expansion of (* a b) in a
2.417 * [taylor]: Taking taylor expansion of a in a
2.417 * [taylor]: Taking taylor expansion of b in a
2.417 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.417 * [taylor]: Taking taylor expansion of 27.0 in a
2.417 * [taylor]: Taking taylor expansion of (* a b) in a
2.417 * [taylor]: Taking taylor expansion of a in a
2.417 * [taylor]: Taking taylor expansion of b in a
2.417 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
2.417 * [taylor]: Taking taylor expansion of 27.0 in b
2.417 * [taylor]: Taking taylor expansion of b in b
2.417 * [taylor]: Taking taylor expansion of 0 in b
2.417 * [taylor]: Taking taylor expansion of 0 in b
2.417 * [taylor]: Taking taylor expansion of 0 in b
2.418 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
2.418 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
2.418 * [taylor]: Taking taylor expansion of 27.0 in b
2.418 * [taylor]: Taking taylor expansion of (* a b) in b
2.418 * [taylor]: Taking taylor expansion of a in b
2.418 * [taylor]: Taking taylor expansion of b in b
2.418 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.418 * [taylor]: Taking taylor expansion of 27.0 in a
2.418 * [taylor]: Taking taylor expansion of (* a b) in a
2.418 * [taylor]: Taking taylor expansion of a in a
2.418 * [taylor]: Taking taylor expansion of b in a
2.418 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.418 * [taylor]: Taking taylor expansion of 27.0 in a
2.418 * [taylor]: Taking taylor expansion of (* a b) in a
2.418 * [taylor]: Taking taylor expansion of a in a
2.418 * [taylor]: Taking taylor expansion of b in a
2.418 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
2.418 * [taylor]: Taking taylor expansion of 27.0 in b
2.418 * [taylor]: Taking taylor expansion of b in b
2.418 * [taylor]: Taking taylor expansion of 0 in b
2.419 * [taylor]: Taking taylor expansion of 0 in b
2.419 * [taylor]: Taking taylor expansion of 0 in b
2.419 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.419 * [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
2.419 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in b
2.419 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
2.419 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
2.419 * [taylor]: Taking taylor expansion of 2.0 in b
2.419 * [taylor]: Taking taylor expansion of x in b
2.419 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
2.420 * [taylor]: Taking taylor expansion of 27.0 in b
2.420 * [taylor]: Taking taylor expansion of (* a b) in b
2.420 * [taylor]: Taking taylor expansion of a in b
2.420 * [taylor]: Taking taylor expansion of b in b
2.420 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b
2.420 * [taylor]: Taking taylor expansion of 9.0 in b
2.420 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
2.420 * [taylor]: Taking taylor expansion of t in b
2.420 * [taylor]: Taking taylor expansion of (* z y) in b
2.420 * [taylor]: Taking taylor expansion of z in b
2.420 * [taylor]: Taking taylor expansion of y in b
2.420 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in a
2.420 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
2.420 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
2.420 * [taylor]: Taking taylor expansion of 2.0 in a
2.420 * [taylor]: Taking taylor expansion of x in a
2.420 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
2.420 * [taylor]: Taking taylor expansion of 27.0 in a
2.420 * [taylor]: Taking taylor expansion of (* a b) in a
2.420 * [taylor]: Taking taylor expansion of a in a
2.420 * [taylor]: Taking taylor expansion of b in a
2.420 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a
2.420 * [taylor]: Taking taylor expansion of 9.0 in a
2.420 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
2.420 * [taylor]: Taking taylor expansion of t in a
2.420 * [taylor]: Taking taylor expansion of (* z y) in a
2.420 * [taylor]: Taking taylor expansion of z in a
2.420 * [taylor]: Taking taylor expansion of y in a
2.420 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in t
2.420 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in t
2.420 * [taylor]: Taking taylor expansion of (* 2.0 x) in t
2.420 * [taylor]: Taking taylor expansion of 2.0 in t
2.420 * [taylor]: Taking taylor expansion of x in t
2.420 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
2.420 * [taylor]: Taking taylor expansion of 27.0 in t
2.420 * [taylor]: Taking taylor expansion of (* a b) in t
2.420 * [taylor]: Taking taylor expansion of a in t
2.420 * [taylor]: Taking taylor expansion of b in t
2.420 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
2.420 * [taylor]: Taking taylor expansion of 9.0 in t
2.420 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.420 * [taylor]: Taking taylor expansion of t in t
2.420 * [taylor]: Taking taylor expansion of (* z y) in t
2.420 * [taylor]: Taking taylor expansion of z in t
2.420 * [taylor]: Taking taylor expansion of y in t
2.420 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in z
2.421 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in z
2.421 * [taylor]: Taking taylor expansion of (* 2.0 x) in z
2.421 * [taylor]: Taking taylor expansion of 2.0 in z
2.421 * [taylor]: Taking taylor expansion of x in z
2.421 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
2.421 * [taylor]: Taking taylor expansion of 27.0 in z
2.421 * [taylor]: Taking taylor expansion of (* a b) in z
2.421 * [taylor]: Taking taylor expansion of a in z
2.421 * [taylor]: Taking taylor expansion of b in z
2.421 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
2.421 * [taylor]: Taking taylor expansion of 9.0 in z
2.421 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.421 * [taylor]: Taking taylor expansion of t in z
2.421 * [taylor]: Taking taylor expansion of (* z y) in z
2.421 * [taylor]: Taking taylor expansion of z in z
2.421 * [taylor]: Taking taylor expansion of y in z
2.421 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in y
2.421 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in y
2.421 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
2.421 * [taylor]: Taking taylor expansion of 2.0 in y
2.421 * [taylor]: Taking taylor expansion of x in y
2.421 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
2.421 * [taylor]: Taking taylor expansion of 27.0 in y
2.421 * [taylor]: Taking taylor expansion of (* a b) in y
2.421 * [taylor]: Taking taylor expansion of a in y
2.421 * [taylor]: Taking taylor expansion of b in y
2.421 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.421 * [taylor]: Taking taylor expansion of 9.0 in y
2.421 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.421 * [taylor]: Taking taylor expansion of t in y
2.421 * [taylor]: Taking taylor expansion of (* z y) in y
2.421 * [taylor]: Taking taylor expansion of z in y
2.421 * [taylor]: Taking taylor expansion of y in y
2.421 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
2.421 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
2.421 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
2.421 * [taylor]: Taking taylor expansion of 2.0 in x
2.421 * [taylor]: Taking taylor expansion of x in x
2.421 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
2.421 * [taylor]: Taking taylor expansion of 27.0 in x
2.421 * [taylor]: Taking taylor expansion of (* a b) in x
2.421 * [taylor]: Taking taylor expansion of a in x
2.421 * [taylor]: Taking taylor expansion of b in x
2.421 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
2.421 * [taylor]: Taking taylor expansion of 9.0 in x
2.421 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.421 * [taylor]: Taking taylor expansion of t in x
2.421 * [taylor]: Taking taylor expansion of (* z y) in x
2.421 * [taylor]: Taking taylor expansion of z in x
2.421 * [taylor]: Taking taylor expansion of y in x
2.421 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x
2.421 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
2.421 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
2.421 * [taylor]: Taking taylor expansion of 2.0 in x
2.421 * [taylor]: Taking taylor expansion of x in x
2.421 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
2.422 * [taylor]: Taking taylor expansion of 27.0 in x
2.422 * [taylor]: Taking taylor expansion of (* a b) in x
2.422 * [taylor]: Taking taylor expansion of a in x
2.422 * [taylor]: Taking taylor expansion of b in x
2.422 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x
2.422 * [taylor]: Taking taylor expansion of 9.0 in x
2.422 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.422 * [taylor]: Taking taylor expansion of t in x
2.422 * [taylor]: Taking taylor expansion of (* z y) in x
2.422 * [taylor]: Taking taylor expansion of z in x
2.422 * [taylor]: Taking taylor expansion of y in x
2.422 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in y
2.422 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y
2.422 * [taylor]: Taking taylor expansion of 27.0 in y
2.422 * [taylor]: Taking taylor expansion of (* a b) in y
2.422 * [taylor]: Taking taylor expansion of a in y
2.422 * [taylor]: Taking taylor expansion of b in y
2.422 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
2.422 * [taylor]: Taking taylor expansion of 9.0 in y
2.422 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.422 * [taylor]: Taking taylor expansion of t in y
2.422 * [taylor]: Taking taylor expansion of (* z y) in y
2.422 * [taylor]: Taking taylor expansion of z in y
2.422 * [taylor]: Taking taylor expansion of y in y
2.422 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z
2.422 * [taylor]: Taking taylor expansion of 27.0 in z
2.422 * [taylor]: Taking taylor expansion of (* a b) in z
2.422 * [taylor]: Taking taylor expansion of a in z
2.422 * [taylor]: Taking taylor expansion of b in z
2.423 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t
2.423 * [taylor]: Taking taylor expansion of 27.0 in t
2.423 * [taylor]: Taking taylor expansion of (* a b) in t
2.423 * [taylor]: Taking taylor expansion of a in t
2.423 * [taylor]: Taking taylor expansion of b in t
2.423 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
2.423 * [taylor]: Taking taylor expansion of 27.0 in a
2.423 * [taylor]: Taking taylor expansion of (* a b) in a
2.423 * [taylor]: Taking taylor expansion of a in a
2.423 * [taylor]: Taking taylor expansion of b in a
2.423 * [taylor]: Taking taylor expansion of 0 in b
2.423 * [taylor]: Taking taylor expansion of 2.0 in y
2.423 * [taylor]: Taking taylor expansion of 2.0 in z
2.423 * [taylor]: Taking taylor expansion of 2.0 in t
2.423 * [taylor]: Taking taylor expansion of 2.0 in a
2.423 * [taylor]: Taking taylor expansion of 2.0 in b
2.423 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z
2.423 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
2.423 * [taylor]: Taking taylor expansion of 9.0 in z
2.423 * [taylor]: Taking taylor expansion of (* t z) in z
2.423 * [taylor]: Taking taylor expansion of t in z
2.423 * [taylor]: Taking taylor expansion of z in z
2.424 * [taylor]: Taking taylor expansion of 0 in t
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [taylor]: Taking taylor expansion of 0 in b
2.424 * [taylor]: Taking taylor expansion of 0 in t
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [taylor]: Taking taylor expansion of 0 in b
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [taylor]: Taking taylor expansion of 0 in b
2.424 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
2.424 * [taylor]: Taking taylor expansion of 27.0 in b
2.424 * [taylor]: Taking taylor expansion of b in b
2.424 * [taylor]: Taking taylor expansion of 0 in y
2.424 * [taylor]: Taking taylor expansion of 0 in z
2.424 * [taylor]: Taking taylor expansion of 0 in t
2.424 * [taylor]: Taking taylor expansion of 0 in a
2.424 * [taylor]: Taking taylor expansion of 0 in b
2.425 * [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
2.425 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in b
2.425 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
2.425 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
2.425 * [taylor]: Taking taylor expansion of 27.0 in b
2.425 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.425 * [taylor]: Taking taylor expansion of (* a b) in b
2.425 * [taylor]: Taking taylor expansion of a in b
2.425 * [taylor]: Taking taylor expansion of b in b
2.425 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
2.425 * [taylor]: Taking taylor expansion of 2.0 in b
2.425 * [taylor]: Taking taylor expansion of (/ 1 x) in b
2.425 * [taylor]: Taking taylor expansion of x in b
2.425 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
2.425 * [taylor]: Taking taylor expansion of 9.0 in b
2.425 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
2.425 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
2.425 * [taylor]: Taking taylor expansion of t in b
2.425 * [taylor]: Taking taylor expansion of (* z y) in b
2.425 * [taylor]: Taking taylor expansion of z in b
2.425 * [taylor]: Taking taylor expansion of y in b
2.425 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in a
2.425 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
2.425 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
2.425 * [taylor]: Taking taylor expansion of 27.0 in a
2.425 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.425 * [taylor]: Taking taylor expansion of (* a b) in a
2.425 * [taylor]: Taking taylor expansion of a in a
2.425 * [taylor]: Taking taylor expansion of b in a
2.425 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
2.426 * [taylor]: Taking taylor expansion of 2.0 in a
2.426 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.426 * [taylor]: Taking taylor expansion of x in a
2.426 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
2.426 * [taylor]: Taking taylor expansion of 9.0 in a
2.426 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
2.426 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
2.426 * [taylor]: Taking taylor expansion of t in a
2.426 * [taylor]: Taking taylor expansion of (* z y) in a
2.426 * [taylor]: Taking taylor expansion of z in a
2.426 * [taylor]: Taking taylor expansion of y in a
2.426 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in t
2.426 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in t
2.426 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
2.426 * [taylor]: Taking taylor expansion of 27.0 in t
2.426 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.426 * [taylor]: Taking taylor expansion of (* a b) in t
2.426 * [taylor]: Taking taylor expansion of a in t
2.426 * [taylor]: Taking taylor expansion of b in t
2.426 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
2.426 * [taylor]: Taking taylor expansion of 2.0 in t
2.426 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.426 * [taylor]: Taking taylor expansion of x in t
2.426 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
2.426 * [taylor]: Taking taylor expansion of 9.0 in t
2.426 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.426 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.426 * [taylor]: Taking taylor expansion of t in t
2.426 * [taylor]: Taking taylor expansion of (* z y) in t
2.426 * [taylor]: Taking taylor expansion of z in t
2.426 * [taylor]: Taking taylor expansion of y in t
2.426 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in z
2.426 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in z
2.426 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
2.426 * [taylor]: Taking taylor expansion of 27.0 in z
2.426 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.426 * [taylor]: Taking taylor expansion of (* a b) in z
2.426 * [taylor]: Taking taylor expansion of a in z
2.427 * [taylor]: Taking taylor expansion of b in z
2.427 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
2.427 * [taylor]: Taking taylor expansion of 2.0 in z
2.427 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.427 * [taylor]: Taking taylor expansion of x in z
2.427 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
2.427 * [taylor]: Taking taylor expansion of 9.0 in z
2.427 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.427 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.427 * [taylor]: Taking taylor expansion of t in z
2.427 * [taylor]: Taking taylor expansion of (* z y) in z
2.427 * [taylor]: Taking taylor expansion of z in z
2.427 * [taylor]: Taking taylor expansion of y in z
2.427 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in y
2.427 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in y
2.427 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
2.427 * [taylor]: Taking taylor expansion of 27.0 in y
2.427 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.427 * [taylor]: Taking taylor expansion of (* a b) in y
2.427 * [taylor]: Taking taylor expansion of a in y
2.427 * [taylor]: Taking taylor expansion of b in y
2.427 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
2.427 * [taylor]: Taking taylor expansion of 2.0 in y
2.427 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.427 * [taylor]: Taking taylor expansion of x in y
2.427 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.427 * [taylor]: Taking taylor expansion of 9.0 in y
2.427 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) 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 (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
2.427 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
2.428 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
2.428 * [taylor]: Taking taylor expansion of 27.0 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.428 * [taylor]: Taking taylor expansion of (* a b) in x
2.428 * [taylor]: Taking taylor expansion of a in x
2.428 * [taylor]: Taking taylor expansion of b in x
2.428 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.428 * [taylor]: Taking taylor expansion of 2.0 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.428 * [taylor]: Taking taylor expansion of 9.0 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.428 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.428 * [taylor]: Taking taylor expansion of t in x
2.428 * [taylor]: Taking taylor expansion of (* z y) in x
2.428 * [taylor]: Taking taylor expansion of z in x
2.428 * [taylor]: Taking taylor expansion of y in x
2.428 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x
2.428 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
2.428 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
2.428 * [taylor]: Taking taylor expansion of 27.0 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.428 * [taylor]: Taking taylor expansion of (* a b) in x
2.428 * [taylor]: Taking taylor expansion of a in x
2.428 * [taylor]: Taking taylor expansion of b in x
2.428 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.428 * [taylor]: Taking taylor expansion of 2.0 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.428 * [taylor]: Taking taylor expansion of 9.0 in x
2.428 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.428 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.428 * [taylor]: Taking taylor expansion of t in x
2.428 * [taylor]: Taking taylor expansion of (* z y) in x
2.428 * [taylor]: Taking taylor expansion of z in x
2.428 * [taylor]: Taking taylor expansion of y in x
2.429 * [taylor]: Taking taylor expansion of 2.0 in y
2.429 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
2.429 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
2.429 * [taylor]: Taking taylor expansion of 27.0 in y
2.429 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.429 * [taylor]: Taking taylor expansion of (* a b) in y
2.429 * [taylor]: Taking taylor expansion of a in y
2.429 * [taylor]: Taking taylor expansion of b in y
2.429 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.429 * [taylor]: Taking taylor expansion of 9.0 in y
2.429 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.429 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.429 * [taylor]: Taking taylor expansion of t in y
2.429 * [taylor]: Taking taylor expansion of (* z y) in y
2.429 * [taylor]: Taking taylor expansion of z in y
2.429 * [taylor]: Taking taylor expansion of y in y
2.429 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z
2.429 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z
2.430 * [taylor]: Taking taylor expansion of 9.0 in z
2.430 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.430 * [taylor]: Taking taylor expansion of (* t z) in z
2.430 * [taylor]: Taking taylor expansion of t in z
2.430 * [taylor]: Taking taylor expansion of z in z
2.430 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t
2.430 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t
2.430 * [taylor]: Taking taylor expansion of 9.0 in t
2.430 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.430 * [taylor]: Taking taylor expansion of t in t
2.430 * [taylor]: Taking taylor expansion of (neg 9.0) in a
2.430 * [taylor]: Taking taylor expansion of 9.0 in a
2.430 * [taylor]: Taking taylor expansion of 2.0 in z
2.430 * [taylor]: Taking taylor expansion of 0 in y
2.431 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
2.431 * [taylor]: Taking taylor expansion of 27.0 in z
2.431 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.431 * [taylor]: Taking taylor expansion of (* a b) in z
2.431 * [taylor]: Taking taylor expansion of a in z
2.431 * [taylor]: Taking taylor expansion of b in z
2.431 * [taylor]: Taking taylor expansion of 0 in z
2.431 * [taylor]: Taking taylor expansion of 0 in t
2.431 * [taylor]: Taking taylor expansion of 2.0 in t
2.431 * [taylor]: Taking taylor expansion of 0 in a
2.431 * [taylor]: Taking taylor expansion of (neg 9.0) in b
2.431 * [taylor]: Taking taylor expansion of 9.0 in b
2.432 * [taylor]: Taking taylor expansion of 0 in y
2.432 * [taylor]: Taking taylor expansion of 0 in z
2.432 * [taylor]: Taking taylor expansion of 0 in z
2.432 * [taylor]: Taking taylor expansion of 0 in z
2.432 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t
2.432 * [taylor]: Taking taylor expansion of 27.0 in t
2.432 * [taylor]: Taking taylor expansion of (* a b) in t
2.432 * [taylor]: Taking taylor expansion of a in t
2.432 * [taylor]: Taking taylor expansion of b in t
2.433 * [taylor]: Taking taylor expansion of 0 in t
2.433 * [taylor]: Taking taylor expansion of 0 in t
2.433 * [taylor]: Taking taylor expansion of 0 in t
2.433 * [taylor]: Taking taylor expansion of 0 in a
2.433 * [taylor]: Taking taylor expansion of 2.0 in a
2.433 * [taylor]: Taking taylor expansion of 0 in a
2.433 * [taylor]: Taking taylor expansion of 0 in b
2.433 * [taylor]: Taking taylor expansion of 0 in b
2.434 * [taylor]: Taking taylor expansion of 0 in y
2.434 * [taylor]: Taking taylor expansion of 0 in z
2.434 * [taylor]: Taking taylor expansion of 0 in z
2.435 * [taylor]: Taking taylor expansion of 0 in z
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.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.435 * [taylor]: Taking taylor expansion of 0 in t
2.435 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.435 * [taylor]: Taking taylor expansion of 27.0 in a
2.435 * [taylor]: Taking taylor expansion of (* a b) in a
2.435 * [taylor]: Taking taylor expansion of a in a
2.435 * [taylor]: Taking taylor expansion of b in a
2.435 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
2.435 * [taylor]: Taking taylor expansion of 27.0 in b
2.435 * [taylor]: Taking taylor expansion of b in b
2.436 * [taylor]: Taking taylor expansion of 0 in a
2.436 * [taylor]: Taking taylor expansion of 0 in a
2.436 * [taylor]: Taking taylor expansion of 0 in a
2.436 * [taylor]: Taking taylor expansion of 0 in a
2.436 * [taylor]: Taking taylor expansion of 0 in a
2.436 * [taylor]: Taking taylor expansion of 0 in a
2.436 * [taylor]: Taking taylor expansion of 0 in b
2.436 * [taylor]: Taking taylor expansion of 2.0 in b
2.436 * [taylor]: Taking taylor expansion of 0 in b
2.436 * [taylor]: Taking taylor expansion of 0 in b
2.436 * [taylor]: Taking taylor expansion of 0 in b
2.437 * [taylor]: Taking taylor expansion of 0 in y
2.437 * [taylor]: Taking taylor expansion of 0 in z
2.437 * [taylor]: Taking taylor expansion of 0 in z
2.438 * [taylor]: Taking taylor expansion of 0 in z
2.438 * [taylor]: Taking taylor expansion of 0 in z
2.438 * [taylor]: Taking taylor expansion of 0 in z
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.438 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in t
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.439 * [taylor]: Taking taylor expansion of 0 in a
2.440 * [taylor]: Taking taylor expansion of 0 in a
2.440 * [taylor]: Taking taylor expansion of 0 in a
2.440 * [taylor]: Taking taylor expansion of 0 in a
2.440 * [taylor]: Taking taylor expansion of 0 in a
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.440 * [taylor]: Taking taylor expansion of 0 in b
2.441 * [taylor]: Taking taylor expansion of 0 in b
2.441 * [taylor]: Taking taylor expansion of 0 in b
2.441 * [taylor]: Taking taylor expansion of 0 in b
2.441 * [taylor]: Taking taylor expansion of 0 in b
2.441 * [taylor]: Taking taylor expansion of 0 in b
2.442 * [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
2.442 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in b
2.442 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b
2.442 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
2.442 * [taylor]: Taking taylor expansion of 27.0 in b
2.442 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
2.442 * [taylor]: Taking taylor expansion of (* a b) in b
2.442 * [taylor]: Taking taylor expansion of a in b
2.442 * [taylor]: Taking taylor expansion of b in b
2.442 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b
2.442 * [taylor]: Taking taylor expansion of 9.0 in b
2.442 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b
2.442 * [taylor]: Taking taylor expansion of (* t (* z y)) in b
2.442 * [taylor]: Taking taylor expansion of t in b
2.442 * [taylor]: Taking taylor expansion of (* z y) in b
2.442 * [taylor]: Taking taylor expansion of z in b
2.442 * [taylor]: Taking taylor expansion of y in b
2.442 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
2.442 * [taylor]: Taking taylor expansion of 2.0 in b
2.442 * [taylor]: Taking taylor expansion of (/ 1 x) in b
2.442 * [taylor]: Taking taylor expansion of x in b
2.442 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in a
2.443 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a
2.443 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
2.443 * [taylor]: Taking taylor expansion of 27.0 in a
2.443 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
2.443 * [taylor]: Taking taylor expansion of (* a b) in a
2.443 * [taylor]: Taking taylor expansion of a in a
2.443 * [taylor]: Taking taylor expansion of b in a
2.443 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a
2.443 * [taylor]: Taking taylor expansion of 9.0 in a
2.443 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a
2.443 * [taylor]: Taking taylor expansion of (* t (* z y)) in a
2.443 * [taylor]: Taking taylor expansion of t in a
2.443 * [taylor]: Taking taylor expansion of (* z y) in a
2.443 * [taylor]: Taking taylor expansion of z in a
2.443 * [taylor]: Taking taylor expansion of y in a
2.443 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
2.443 * [taylor]: Taking taylor expansion of 2.0 in a
2.443 * [taylor]: Taking taylor expansion of (/ 1 x) in a
2.443 * [taylor]: Taking taylor expansion of x in a
2.443 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in t
2.443 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t
2.443 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t
2.443 * [taylor]: Taking taylor expansion of 27.0 in t
2.443 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t
2.443 * [taylor]: Taking taylor expansion of (* a b) in t
2.443 * [taylor]: Taking taylor expansion of a in t
2.443 * [taylor]: Taking taylor expansion of b in t
2.443 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t
2.443 * [taylor]: Taking taylor expansion of 9.0 in t
2.443 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
2.443 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
2.443 * [taylor]: Taking taylor expansion of t in t
2.443 * [taylor]: Taking taylor expansion of (* z y) in t
2.443 * [taylor]: Taking taylor expansion of z in t
2.443 * [taylor]: Taking taylor expansion of y in t
2.444 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t
2.444 * [taylor]: Taking taylor expansion of 2.0 in t
2.444 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.444 * [taylor]: Taking taylor expansion of x in t
2.444 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in z
2.444 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z
2.444 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
2.444 * [taylor]: Taking taylor expansion of 27.0 in z
2.444 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.444 * [taylor]: Taking taylor expansion of (* a b) in z
2.444 * [taylor]: Taking taylor expansion of a in z
2.444 * [taylor]: Taking taylor expansion of b in z
2.444 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z
2.444 * [taylor]: Taking taylor expansion of 9.0 in z
2.444 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
2.444 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
2.444 * [taylor]: Taking taylor expansion of t in z
2.444 * [taylor]: Taking taylor expansion of (* z y) in z
2.444 * [taylor]: Taking taylor expansion of z in z
2.444 * [taylor]: Taking taylor expansion of y in z
2.444 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z
2.444 * [taylor]: Taking taylor expansion of 2.0 in z
2.444 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.444 * [taylor]: Taking taylor expansion of x in z
2.444 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in y
2.445 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
2.445 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
2.445 * [taylor]: Taking taylor expansion of 27.0 in y
2.445 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.445 * [taylor]: Taking taylor expansion of (* a b) in y
2.445 * [taylor]: Taking taylor expansion of a in y
2.445 * [taylor]: Taking taylor expansion of b in y
2.445 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.445 * [taylor]: Taking taylor expansion of 9.0 in y
2.445 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.445 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.445 * [taylor]: Taking taylor expansion of t in y
2.445 * [taylor]: Taking taylor expansion of (* z y) in y
2.445 * [taylor]: Taking taylor expansion of z in y
2.445 * [taylor]: Taking taylor expansion of y in y
2.445 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
2.445 * [taylor]: Taking taylor expansion of 2.0 in y
2.445 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.445 * [taylor]: Taking taylor expansion of x in y
2.445 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
2.445 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
2.445 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
2.445 * [taylor]: Taking taylor expansion of 27.0 in x
2.445 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.445 * [taylor]: Taking taylor expansion of (* a b) in x
2.445 * [taylor]: Taking taylor expansion of a in x
2.445 * [taylor]: Taking taylor expansion of b in x
2.445 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.445 * [taylor]: Taking taylor expansion of 9.0 in x
2.445 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.445 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.445 * [taylor]: Taking taylor expansion of t in x
2.445 * [taylor]: Taking taylor expansion of (* z y) in x
2.445 * [taylor]: Taking taylor expansion of z in x
2.445 * [taylor]: Taking taylor expansion of y in x
2.445 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.445 * [taylor]: Taking taylor expansion of 2.0 in x
2.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.445 * [taylor]: Taking taylor expansion of x in x
2.446 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x
2.446 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x
2.446 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
2.446 * [taylor]: Taking taylor expansion of 27.0 in x
2.446 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
2.446 * [taylor]: Taking taylor expansion of (* a b) in x
2.446 * [taylor]: Taking taylor expansion of a in x
2.446 * [taylor]: Taking taylor expansion of b in x
2.446 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x
2.446 * [taylor]: Taking taylor expansion of 9.0 in x
2.446 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x
2.446 * [taylor]: Taking taylor expansion of (* t (* z y)) in x
2.446 * [taylor]: Taking taylor expansion of t in x
2.446 * [taylor]: Taking taylor expansion of (* z y) in x
2.446 * [taylor]: Taking taylor expansion of z in x
2.446 * [taylor]: Taking taylor expansion of y in x
2.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
2.446 * [taylor]: Taking taylor expansion of 2.0 in x
2.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.446 * [taylor]: Taking taylor expansion of x in x
2.446 * [taylor]: Taking taylor expansion of (neg 2.0) in y
2.446 * [taylor]: Taking taylor expansion of 2.0 in y
2.447 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y
2.447 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y
2.447 * [taylor]: Taking taylor expansion of 27.0 in y
2.447 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y
2.447 * [taylor]: Taking taylor expansion of (* a b) in y
2.447 * [taylor]: Taking taylor expansion of a in y
2.447 * [taylor]: Taking taylor expansion of b in y
2.447 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y
2.447 * [taylor]: Taking taylor expansion of 9.0 in y
2.447 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
2.447 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
2.447 * [taylor]: Taking taylor expansion of t 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 (/ 1 (* t z))) in z
2.447 * [taylor]: Taking taylor expansion of 9.0 in z
2.447 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z
2.447 * [taylor]: Taking taylor expansion of (* t z) in z
2.447 * [taylor]: Taking taylor expansion of t in z
2.447 * [taylor]: Taking taylor expansion of z in z
2.447 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t
2.447 * [taylor]: Taking taylor expansion of 9.0 in t
2.447 * [taylor]: Taking taylor expansion of t in t
2.447 * [taylor]: Taking taylor expansion of 9.0 in a
2.447 * [taylor]: Taking taylor expansion of (neg 2.0) in z
2.447 * [taylor]: Taking taylor expansion of 2.0 in z
2.448 * [taylor]: Taking taylor expansion of 0 in y
2.448 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z
2.448 * [taylor]: Taking taylor expansion of 27.0 in z
2.448 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
2.448 * [taylor]: Taking taylor expansion of (* a b) in z
2.448 * [taylor]: Taking taylor expansion of a in z
2.448 * [taylor]: Taking taylor expansion of b in z
2.448 * [taylor]: Taking taylor expansion of 0 in z
2.448 * [taylor]: Taking taylor expansion of 0 in t
2.448 * [taylor]: Taking taylor expansion of (neg 2.0) in t
2.449 * [taylor]: Taking taylor expansion of 2.0 in t
2.449 * [taylor]: Taking taylor expansion of 0 in a
2.449 * [taylor]: Taking taylor expansion of 9.0 in b
2.449 * [taylor]: Taking taylor expansion of 0 in y
2.449 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [taylor]: Taking taylor expansion of 0 in z
2.450 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t
2.450 * [taylor]: Taking taylor expansion of 27.0 in t
2.450 * [taylor]: Taking taylor expansion of (* a b) in t
2.450 * [taylor]: Taking taylor expansion of a in t
2.450 * [taylor]: Taking taylor expansion of b in t
2.450 * [taylor]: Taking taylor expansion of 0 in t
2.450 * [taylor]: Taking taylor expansion of 0 in t
2.450 * [taylor]: Taking taylor expansion of 0 in t
2.450 * [taylor]: Taking taylor expansion of 0 in a
2.450 * [taylor]: Taking taylor expansion of (neg 2.0) in a
2.450 * [taylor]: Taking taylor expansion of 2.0 in a
2.450 * [taylor]: Taking taylor expansion of 0 in a
2.451 * [taylor]: Taking taylor expansion of 0 in b
2.451 * [taylor]: Taking taylor expansion of 0 in b
2.451 * [taylor]: Taking taylor expansion of 0 in y
2.451 * [taylor]: Taking taylor expansion of 0 in z
2.451 * [taylor]: Taking taylor expansion of 0 in z
2.452 * [taylor]: Taking taylor expansion of 0 in z
2.452 * [taylor]: Taking taylor expansion of 0 in z
2.452 * [taylor]: Taking taylor expansion of 0 in t
2.452 * [taylor]: Taking taylor expansion of 0 in t
2.452 * [taylor]: Taking taylor expansion of 0 in t
2.452 * [taylor]: Taking taylor expansion of 0 in t
2.452 * [taylor]: Taking taylor expansion of 0 in t
2.453 * [taylor]: Taking taylor expansion of 0 in t
2.453 * [taylor]: Taking taylor expansion of 0 in t
2.453 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
2.453 * [taylor]: Taking taylor expansion of 27.0 in a
2.453 * [taylor]: Taking taylor expansion of (* a b) in a
2.453 * [taylor]: Taking taylor expansion of a in a
2.453 * [taylor]: Taking taylor expansion of b in a
2.453 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
2.453 * [taylor]: Taking taylor expansion of 27.0 in b
2.453 * [taylor]: Taking taylor expansion of b in b
2.453 * [taylor]: Taking taylor expansion of 0 in a
2.453 * [taylor]: Taking taylor expansion of 0 in a
2.453 * [taylor]: Taking taylor expansion of 0 in a
2.453 * [taylor]: Taking taylor expansion of 0 in a
2.453 * [taylor]: Taking taylor expansion of 0 in a
2.453 * [taylor]: Taking taylor expansion of 0 in a
2.453 * [taylor]: Taking taylor expansion of 0 in b
2.453 * [taylor]: Taking taylor expansion of (neg 2.0) in b
2.453 * [taylor]: Taking taylor expansion of 2.0 in b
2.453 * [taylor]: Taking taylor expansion of 0 in b
2.454 * [taylor]: Taking taylor expansion of 0 in b
2.454 * [taylor]: Taking taylor expansion of 0 in b
2.455 * [taylor]: Taking taylor expansion of 0 in y
2.455 * [taylor]: Taking taylor expansion of 0 in z
2.455 * [taylor]: Taking taylor expansion of 0 in z
2.455 * [taylor]: Taking taylor expansion of 0 in z
2.456 * [taylor]: Taking taylor expansion of 0 in z
2.456 * [taylor]: Taking taylor expansion of 0 in z
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.456 * [taylor]: Taking taylor expansion of 0 in t
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.457 * [taylor]: Taking taylor expansion of 0 in a
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.458 * [taylor]: Taking taylor expansion of 0 in b
2.459 * * * [progress]: simplifying candidates
2.460 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (* 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)
  (* (* 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)
  (* (* 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)
  (* (/ (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))
  (+ (neg (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
  (+ (neg (* (* (* 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)))
  (* 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) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
2.463 * * [simplify]: iteration  0 :  140  enodes  (cost  981 )
2.489 * * [simplify]: iteration  1 :  390  enodes  (cost  944 )
2.588 * * [simplify]: iteration  2 :  1662  enodes  (cost  802 )
3.002 * * [simplify]: iteration  done :  5000  enodes  (cost  802 )
3.003 * [simplify]: Simplified to:
   (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (log (* (* (* y 9.0) z) t))
  (log (* (* (* y 9.0) z) t))
  (log (* (* (* y 9.0) z) t))
  (log (* (* (* y 9.0) z) t))
  (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)
  (* 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)
  (* 9.0 z)
  (* (* 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)
  (exp (+ (- (* 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)))
  (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)))
  (pow (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) 3)
  (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))
  (+ (* (* (* a 27.0) b) (- (* (* a 27.0) b) (- (* 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)) (- (* 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))
  (- (* (* a 27.0) b) (* (* (* y 9.0) z) t))
  (- (* (* a 27.0) b) (* (* (* y 9.0) z) t))
  (- (* (* (* y 9.0) z) t) (* (* a 27.0) b))
  0
  (* (* (* y 9.0) z) t)
  (* (* (* y 9.0) z) t)
  (* 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) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
  (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y))))
3.003 * * * [progress]: adding candidates to table
3.112 * * [progress]: iteration 2 / 4
3.112 * * * [progress]: picking best candidate
3.152 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))>
3.152 * * * [progress]: localizing error
3.165 * * * [progress]: generating rewritten candidates
3.165 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
3.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
3.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.183 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.190 * * * [progress]: generating series expansions
3.190 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
3.190 * [approximate]: Taking taylor expansion of (* t (* z y)) in (t z y) around 0
3.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.190 * [taylor]: Taking taylor expansion of t in y
3.190 * [taylor]: Taking taylor expansion of (* z y) in y
3.190 * [taylor]: Taking taylor expansion of z in y
3.190 * [taylor]: Taking taylor expansion of y in y
3.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.190 * [taylor]: Taking taylor expansion of t in z
3.190 * [taylor]: Taking taylor expansion of (* z y) in z
3.190 * [taylor]: Taking taylor expansion of z in z
3.190 * [taylor]: Taking taylor expansion of y in z
3.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.190 * [taylor]: Taking taylor expansion of t in t
3.190 * [taylor]: Taking taylor expansion of (* z y) in t
3.190 * [taylor]: Taking taylor expansion of z in t
3.190 * [taylor]: Taking taylor expansion of y in t
3.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.190 * [taylor]: Taking taylor expansion of t in t
3.190 * [taylor]: Taking taylor expansion of (* z y) in t
3.190 * [taylor]: Taking taylor expansion of z in t
3.190 * [taylor]: Taking taylor expansion of y in t
3.190 * [taylor]: Taking taylor expansion of 0 in z
3.190 * [taylor]: Taking taylor expansion of 0 in y
3.190 * [taylor]: Taking taylor expansion of (* z y) in z
3.190 * [taylor]: Taking taylor expansion of z in z
3.191 * [taylor]: Taking taylor expansion of y in z
3.191 * [taylor]: Taking taylor expansion of 0 in y
3.191 * [taylor]: Taking taylor expansion of 0 in y
3.191 * [taylor]: Taking taylor expansion of 0 in z
3.191 * [taylor]: Taking taylor expansion of 0 in y
3.191 * [taylor]: Taking taylor expansion of y in y
3.191 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
3.191 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
3.191 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.191 * [taylor]: Taking taylor expansion of t in y
3.191 * [taylor]: Taking taylor expansion of (* z y) in y
3.191 * [taylor]: Taking taylor expansion of z in y
3.191 * [taylor]: Taking taylor expansion of y in y
3.191 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
3.191 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.191 * [taylor]: Taking taylor expansion of t in z
3.191 * [taylor]: Taking taylor expansion of (* z y) in z
3.191 * [taylor]: Taking taylor expansion of z in z
3.191 * [taylor]: Taking taylor expansion of y in z
3.191 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.191 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.191 * [taylor]: Taking taylor expansion of t in t
3.191 * [taylor]: Taking taylor expansion of (* z y) in t
3.191 * [taylor]: Taking taylor expansion of z in t
3.191 * [taylor]: Taking taylor expansion of y in t
3.192 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
3.192 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.192 * [taylor]: Taking taylor expansion of t in t
3.192 * [taylor]: Taking taylor expansion of (* z y) in t
3.192 * [taylor]: Taking taylor expansion of z in t
3.192 * [taylor]: Taking taylor expansion of y in t
3.192 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.192 * [taylor]: Taking taylor expansion of (* z y) in z
3.192 * [taylor]: Taking taylor expansion of z in z
3.192 * [taylor]: Taking taylor expansion of y in z
3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.192 * [taylor]: Taking taylor expansion of y in y
3.192 * [taylor]: Taking taylor expansion of 0 in z
3.192 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [taylor]: Taking taylor expansion of 0 in z
3.193 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [taylor]: Taking taylor expansion of 0 in z
3.193 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [taylor]: Taking taylor expansion of 0 in y
3.193 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
3.193 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
3.194 * [taylor]: Taking taylor expansion of -1 in y
3.194 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.194 * [taylor]: Taking taylor expansion of t in y
3.194 * [taylor]: Taking taylor expansion of (* z y) in y
3.194 * [taylor]: Taking taylor expansion of z in y
3.194 * [taylor]: Taking taylor expansion of y in y
3.194 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
3.194 * [taylor]: Taking taylor expansion of -1 in z
3.194 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.194 * [taylor]: Taking taylor expansion of t in z
3.194 * [taylor]: Taking taylor expansion of (* z y) in z
3.194 * [taylor]: Taking taylor expansion of z in z
3.194 * [taylor]: Taking taylor expansion of y in z
3.194 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.194 * [taylor]: Taking taylor expansion of -1 in t
3.194 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.194 * [taylor]: Taking taylor expansion of t in t
3.194 * [taylor]: Taking taylor expansion of (* z y) in t
3.194 * [taylor]: Taking taylor expansion of z in t
3.194 * [taylor]: Taking taylor expansion of y in t
3.194 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
3.194 * [taylor]: Taking taylor expansion of -1 in t
3.194 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.194 * [taylor]: Taking taylor expansion of t in t
3.194 * [taylor]: Taking taylor expansion of (* z y) in t
3.194 * [taylor]: Taking taylor expansion of z in t
3.194 * [taylor]: Taking taylor expansion of y in t
3.194 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
3.195 * [taylor]: Taking taylor expansion of -1 in z
3.195 * [taylor]: Taking taylor expansion of (* z y) in z
3.195 * [taylor]: Taking taylor expansion of z in z
3.195 * [taylor]: Taking taylor expansion of y in z
3.195 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.195 * [taylor]: Taking taylor expansion of -1 in y
3.195 * [taylor]: Taking taylor expansion of y in y
3.195 * [taylor]: Taking taylor expansion of 0 in z
3.195 * [taylor]: Taking taylor expansion of 0 in y
3.195 * [taylor]: Taking taylor expansion of 0 in z
3.195 * [taylor]: Taking taylor expansion of 0 in y
3.195 * [taylor]: Taking taylor expansion of 0 in y
3.196 * [taylor]: Taking taylor expansion of 0 in z
3.196 * [taylor]: Taking taylor expansion of 0 in y
3.196 * [taylor]: Taking taylor expansion of 0 in y
3.196 * [taylor]: Taking taylor expansion of 0 in y
3.196 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
3.196 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
3.196 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.196 * [taylor]: Taking taylor expansion of 27.0 in b
3.196 * [taylor]: Taking taylor expansion of (* a b) in b
3.196 * [taylor]: Taking taylor expansion of a in b
3.196 * [taylor]: Taking taylor expansion of b in b
3.196 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.196 * [taylor]: Taking taylor expansion of 27.0 in a
3.196 * [taylor]: Taking taylor expansion of (* a b) in a
3.196 * [taylor]: Taking taylor expansion of a in a
3.197 * [taylor]: Taking taylor expansion of b in a
3.197 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.197 * [taylor]: Taking taylor expansion of 27.0 in a
3.197 * [taylor]: Taking taylor expansion of (* a b) in a
3.197 * [taylor]: Taking taylor expansion of a in a
3.197 * [taylor]: Taking taylor expansion of b in a
3.197 * [taylor]: Taking taylor expansion of 0 in b
3.197 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.197 * [taylor]: Taking taylor expansion of 27.0 in b
3.197 * [taylor]: Taking taylor expansion of b in b
3.197 * [taylor]: Taking taylor expansion of 0 in b
3.197 * [taylor]: Taking taylor expansion of 0 in b
3.197 * [taylor]: Taking taylor expansion of 0 in b
3.197 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.197 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.197 * [taylor]: Taking taylor expansion of 27.0 in b
3.197 * [taylor]: Taking taylor expansion of (* a b) in b
3.197 * [taylor]: Taking taylor expansion of a in b
3.197 * [taylor]: Taking taylor expansion of b in b
3.198 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.198 * [taylor]: Taking taylor expansion of 27.0 in a
3.198 * [taylor]: Taking taylor expansion of (* a b) in a
3.198 * [taylor]: Taking taylor expansion of a in a
3.198 * [taylor]: Taking taylor expansion of b in a
3.198 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.198 * [taylor]: Taking taylor expansion of 27.0 in a
3.198 * [taylor]: Taking taylor expansion of (* a b) in a
3.198 * [taylor]: Taking taylor expansion of a in a
3.198 * [taylor]: Taking taylor expansion of b in a
3.198 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.198 * [taylor]: Taking taylor expansion of 27.0 in b
3.198 * [taylor]: Taking taylor expansion of b in b
3.198 * [taylor]: Taking taylor expansion of 0 in b
3.198 * [taylor]: Taking taylor expansion of 0 in b
3.199 * [taylor]: Taking taylor expansion of 0 in b
3.199 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
3.199 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
3.199 * [taylor]: Taking taylor expansion of 27.0 in b
3.199 * [taylor]: Taking taylor expansion of (* a b) in b
3.199 * [taylor]: Taking taylor expansion of a in b
3.199 * [taylor]: Taking taylor expansion of b in b
3.199 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.199 * [taylor]: Taking taylor expansion of 27.0 in a
3.199 * [taylor]: Taking taylor expansion of (* a b) in a
3.199 * [taylor]: Taking taylor expansion of a in a
3.199 * [taylor]: Taking taylor expansion of b in a
3.199 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
3.199 * [taylor]: Taking taylor expansion of 27.0 in a
3.199 * [taylor]: Taking taylor expansion of (* a b) in a
3.199 * [taylor]: Taking taylor expansion of a in a
3.199 * [taylor]: Taking taylor expansion of b in a
3.199 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.199 * [taylor]: Taking taylor expansion of 27.0 in b
3.199 * [taylor]: Taking taylor expansion of b in b
3.199 * [taylor]: Taking taylor expansion of 0 in b
3.200 * [taylor]: Taking taylor expansion of 0 in b
3.200 * [taylor]: Taking taylor expansion of 0 in b
3.200 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.200 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
3.200 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
3.200 * [taylor]: Taking taylor expansion of 9.0 in y
3.200 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.200 * [taylor]: Taking taylor expansion of t in y
3.200 * [taylor]: Taking taylor expansion of (* z y) in y
3.200 * [taylor]: Taking taylor expansion of z in y
3.200 * [taylor]: Taking taylor expansion of y in y
3.200 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
3.200 * [taylor]: Taking taylor expansion of 9.0 in z
3.200 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.200 * [taylor]: Taking taylor expansion of t in z
3.200 * [taylor]: Taking taylor expansion of (* z y) in z
3.200 * [taylor]: Taking taylor expansion of z in z
3.200 * [taylor]: Taking taylor expansion of y in z
3.200 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.200 * [taylor]: Taking taylor expansion of 9.0 in t
3.200 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.200 * [taylor]: Taking taylor expansion of t in t
3.200 * [taylor]: Taking taylor expansion of (* z y) in t
3.201 * [taylor]: Taking taylor expansion of z in t
3.201 * [taylor]: Taking taylor expansion of y in t
3.201 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
3.201 * [taylor]: Taking taylor expansion of 9.0 in t
3.201 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.201 * [taylor]: Taking taylor expansion of t in t
3.201 * [taylor]: Taking taylor expansion of (* z y) in t
3.201 * [taylor]: Taking taylor expansion of z in t
3.201 * [taylor]: Taking taylor expansion of y in t
3.201 * [taylor]: Taking taylor expansion of 0 in z
3.201 * [taylor]: Taking taylor expansion of 0 in y
3.201 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
3.201 * [taylor]: Taking taylor expansion of 9.0 in z
3.201 * [taylor]: Taking taylor expansion of (* z y) in z
3.201 * [taylor]: Taking taylor expansion of z in z
3.201 * [taylor]: Taking taylor expansion of y in z
3.201 * [taylor]: Taking taylor expansion of 0 in y
3.201 * [taylor]: Taking taylor expansion of 0 in y
3.201 * [taylor]: Taking taylor expansion of 0 in z
3.201 * [taylor]: Taking taylor expansion of 0 in y
3.201 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
3.201 * [taylor]: Taking taylor expansion of 9.0 in y
3.201 * [taylor]: Taking taylor expansion of y in y
3.202 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
3.202 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
3.202 * [taylor]: Taking taylor expansion of 9.0 in y
3.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.202 * [taylor]: Taking taylor expansion of t in y
3.202 * [taylor]: Taking taylor expansion of (* z y) in y
3.202 * [taylor]: Taking taylor expansion of z in y
3.202 * [taylor]: Taking taylor expansion of y in y
3.202 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
3.202 * [taylor]: Taking taylor expansion of 9.0 in z
3.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.202 * [taylor]: Taking taylor expansion of t in z
3.202 * [taylor]: Taking taylor expansion of (* z y) in z
3.202 * [taylor]: Taking taylor expansion of z in z
3.202 * [taylor]: Taking taylor expansion of y in z
3.202 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.202 * [taylor]: Taking taylor expansion of 9.0 in t
3.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.202 * [taylor]: Taking taylor expansion of t in t
3.202 * [taylor]: Taking taylor expansion of (* z y) in t
3.202 * [taylor]: Taking taylor expansion of z in t
3.202 * [taylor]: Taking taylor expansion of y in t
3.202 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
3.202 * [taylor]: Taking taylor expansion of 9.0 in t
3.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.202 * [taylor]: Taking taylor expansion of t in t
3.202 * [taylor]: Taking taylor expansion of (* z y) in t
3.202 * [taylor]: Taking taylor expansion of z in t
3.202 * [taylor]: Taking taylor expansion of y in t
3.203 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
3.203 * [taylor]: Taking taylor expansion of 9.0 in z
3.203 * [taylor]: Taking taylor expansion of (* z y) in z
3.203 * [taylor]: Taking taylor expansion of z in z
3.203 * [taylor]: Taking taylor expansion of y in z
3.203 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
3.203 * [taylor]: Taking taylor expansion of 9.0 in y
3.203 * [taylor]: Taking taylor expansion of y in y
3.203 * [taylor]: Taking taylor expansion of 0 in z
3.203 * [taylor]: Taking taylor expansion of 0 in y
3.203 * [taylor]: Taking taylor expansion of 0 in z
3.203 * [taylor]: Taking taylor expansion of 0 in y
3.204 * [taylor]: Taking taylor expansion of 0 in y
3.204 * [taylor]: Taking taylor expansion of 0 in z
3.204 * [taylor]: Taking taylor expansion of 0 in y
3.204 * [taylor]: Taking taylor expansion of 0 in y
3.204 * [taylor]: Taking taylor expansion of 0 in y
3.204 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
3.204 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
3.204 * [taylor]: Taking taylor expansion of -9.0 in y
3.204 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.204 * [taylor]: Taking taylor expansion of t in y
3.204 * [taylor]: Taking taylor expansion of (* z y) in y
3.205 * [taylor]: Taking taylor expansion of z in y
3.207 * [taylor]: Taking taylor expansion of y in y
3.207 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
3.207 * [taylor]: Taking taylor expansion of -9.0 in z
3.207 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
3.207 * [taylor]: Taking taylor expansion of t in z
3.207 * [taylor]: Taking taylor expansion of (* z y) in z
3.207 * [taylor]: Taking taylor expansion of z in z
3.207 * [taylor]: Taking taylor expansion of y in z
3.207 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.207 * [taylor]: Taking taylor expansion of -9.0 in t
3.207 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.207 * [taylor]: Taking taylor expansion of t in t
3.207 * [taylor]: Taking taylor expansion of (* z y) in t
3.207 * [taylor]: Taking taylor expansion of z in t
3.208 * [taylor]: Taking taylor expansion of y in t
3.208 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
3.208 * [taylor]: Taking taylor expansion of -9.0 in t
3.208 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
3.208 * [taylor]: Taking taylor expansion of t in t
3.208 * [taylor]: Taking taylor expansion of (* z y) in t
3.208 * [taylor]: Taking taylor expansion of z in t
3.208 * [taylor]: Taking taylor expansion of y in t
3.208 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
3.208 * [taylor]: Taking taylor expansion of -9.0 in z
3.208 * [taylor]: Taking taylor expansion of (* z y) in z
3.208 * [taylor]: Taking taylor expansion of z in z
3.208 * [taylor]: Taking taylor expansion of y in z
3.208 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
3.208 * [taylor]: Taking taylor expansion of -9.0 in y
3.208 * [taylor]: Taking taylor expansion of y in y
3.209 * [taylor]: Taking taylor expansion of 0 in z
3.209 * [taylor]: Taking taylor expansion of 0 in y
3.209 * [taylor]: Taking taylor expansion of 0 in z
3.209 * [taylor]: Taking taylor expansion of 0 in y
3.209 * [taylor]: Taking taylor expansion of 0 in y
3.210 * [taylor]: Taking taylor expansion of 0 in z
3.210 * [taylor]: Taking taylor expansion of 0 in y
3.210 * [taylor]: Taking taylor expansion of 0 in y
3.210 * [taylor]: Taking taylor expansion of 0 in y
3.210 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.210 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in (x a b) around 0
3.210 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
3.210 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
3.210 * [taylor]: Taking taylor expansion of 2.0 in b
3.210 * [taylor]: Taking taylor expansion of x in b
3.210 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
3.210 * [taylor]: Taking taylor expansion of 27.0 in b
3.210 * [taylor]: Taking taylor expansion of (* a b) in b
3.210 * [taylor]: Taking taylor expansion of a in b
3.210 * [taylor]: Taking taylor expansion of b in b
3.210 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
3.210 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
3.210 * [taylor]: Taking taylor expansion of 2.0 in a
3.210 * [taylor]: Taking taylor expansion of x in a
3.210 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.210 * [taylor]: Taking taylor expansion of 27.0 in a
3.210 * [taylor]: Taking taylor expansion of (* a b) in a
3.210 * [taylor]: Taking taylor expansion of a in a
3.211 * [taylor]: Taking taylor expansion of b in a
3.211 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
3.211 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.211 * [taylor]: Taking taylor expansion of 2.0 in x
3.211 * [taylor]: Taking taylor expansion of x in x
3.211 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
3.211 * [taylor]: Taking taylor expansion of 27.0 in x
3.211 * [taylor]: Taking taylor expansion of (* a b) in x
3.211 * [taylor]: Taking taylor expansion of a in x
3.211 * [taylor]: Taking taylor expansion of b in x
3.211 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
3.211 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
3.211 * [taylor]: Taking taylor expansion of 2.0 in x
3.211 * [taylor]: Taking taylor expansion of x in x
3.211 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
3.211 * [taylor]: Taking taylor expansion of 27.0 in x
3.211 * [taylor]: Taking taylor expansion of (* a b) in x
3.211 * [taylor]: Taking taylor expansion of a in x
3.211 * [taylor]: Taking taylor expansion of b in x
3.211 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
3.211 * [taylor]: Taking taylor expansion of 27.0 in a
3.211 * [taylor]: Taking taylor expansion of (* a b) in a
3.211 * [taylor]: Taking taylor expansion of a in a
3.211 * [taylor]: Taking taylor expansion of b in a
3.211 * [taylor]: Taking taylor expansion of 0 in b
3.211 * [taylor]: Taking taylor expansion of 2.0 in a
3.211 * [taylor]: Taking taylor expansion of 2.0 in b
3.211 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
3.211 * [taylor]: Taking taylor expansion of 27.0 in b
3.211 * [taylor]: Taking taylor expansion of b in b
3.212 * [taylor]: Taking taylor expansion of 0 in a
3.212 * [taylor]: Taking taylor expansion of 0 in b
3.212 * [taylor]: Taking taylor expansion of 0 in b
3.212 * [taylor]: Taking taylor expansion of 0 in b
3.212 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
3.212 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
3.212 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
3.212 * [taylor]: Taking taylor expansion of 27.0 in b
3.212 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.212 * [taylor]: Taking taylor expansion of (* a b) in b
3.212 * [taylor]: Taking taylor expansion of a in b
3.212 * [taylor]: Taking taylor expansion of b in b
3.212 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
3.212 * [taylor]: Taking taylor expansion of 2.0 in b
3.212 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.212 * [taylor]: Taking taylor expansion of x in b
3.212 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
3.212 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.212 * [taylor]: Taking taylor expansion of 27.0 in a
3.212 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.212 * [taylor]: Taking taylor expansion of (* a b) in a
3.212 * [taylor]: Taking taylor expansion of a in a
3.212 * [taylor]: Taking taylor expansion of b in a
3.212 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
3.212 * [taylor]: Taking taylor expansion of 2.0 in a
3.212 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.212 * [taylor]: Taking taylor expansion of x in a
3.212 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.212 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.213 * [taylor]: Taking taylor expansion of 27.0 in x
3.213 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.213 * [taylor]: Taking taylor expansion of (* a b) in x
3.213 * [taylor]: Taking taylor expansion of a in x
3.213 * [taylor]: Taking taylor expansion of b in x
3.213 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.213 * [taylor]: Taking taylor expansion of 2.0 in x
3.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.213 * [taylor]: Taking taylor expansion of x in x
3.213 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.213 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.213 * [taylor]: Taking taylor expansion of 27.0 in x
3.213 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.213 * [taylor]: Taking taylor expansion of (* a b) in x
3.213 * [taylor]: Taking taylor expansion of a in x
3.213 * [taylor]: Taking taylor expansion of b in x
3.213 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.213 * [taylor]: Taking taylor expansion of 2.0 in x
3.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.213 * [taylor]: Taking taylor expansion of x in x
3.213 * [taylor]: Taking taylor expansion of 2.0 in a
3.213 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.213 * [taylor]: Taking taylor expansion of 27.0 in a
3.213 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.213 * [taylor]: Taking taylor expansion of (* a b) in a
3.213 * [taylor]: Taking taylor expansion of a in a
3.213 * [taylor]: Taking taylor expansion of b in a
3.213 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.213 * [taylor]: Taking taylor expansion of 27.0 in b
3.213 * [taylor]: Taking taylor expansion of b in b
3.213 * [taylor]: Taking taylor expansion of 2.0 in b
3.214 * [taylor]: Taking taylor expansion of 0 in a
3.214 * [taylor]: Taking taylor expansion of 0 in b
3.214 * [taylor]: Taking taylor expansion of 0 in b
3.214 * [taylor]: Taking taylor expansion of 0 in a
3.214 * [taylor]: Taking taylor expansion of 0 in b
3.214 * [taylor]: Taking taylor expansion of 0 in b
3.214 * [taylor]: Taking taylor expansion of 0 in b
3.215 * [taylor]: Taking taylor expansion of 0 in a
3.215 * [taylor]: Taking taylor expansion of 0 in b
3.215 * [taylor]: Taking taylor expansion of 0 in b
3.215 * [taylor]: Taking taylor expansion of 0 in b
3.215 * [taylor]: Taking taylor expansion of 0 in b
3.216 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
3.216 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
3.216 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
3.216 * [taylor]: Taking taylor expansion of 27.0 in b
3.216 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
3.216 * [taylor]: Taking taylor expansion of (* a b) in b
3.216 * [taylor]: Taking taylor expansion of a in b
3.216 * [taylor]: Taking taylor expansion of b in b
3.216 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
3.216 * [taylor]: Taking taylor expansion of 2.0 in b
3.216 * [taylor]: Taking taylor expansion of (/ 1 x) in b
3.216 * [taylor]: Taking taylor expansion of x in b
3.216 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
3.216 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.216 * [taylor]: Taking taylor expansion of 27.0 in a
3.216 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.216 * [taylor]: Taking taylor expansion of (* a b) in a
3.216 * [taylor]: Taking taylor expansion of a in a
3.216 * [taylor]: Taking taylor expansion of b in a
3.216 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
3.216 * [taylor]: Taking taylor expansion of 2.0 in a
3.216 * [taylor]: Taking taylor expansion of (/ 1 x) in a
3.216 * [taylor]: Taking taylor expansion of x in a
3.216 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.216 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.216 * [taylor]: Taking taylor expansion of 27.0 in x
3.216 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.216 * [taylor]: Taking taylor expansion of (* a b) in x
3.216 * [taylor]: Taking taylor expansion of a in x
3.216 * [taylor]: Taking taylor expansion of b in x
3.216 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.216 * [taylor]: Taking taylor expansion of 2.0 in x
3.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.216 * [taylor]: Taking taylor expansion of x in x
3.216 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
3.216 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
3.217 * [taylor]: Taking taylor expansion of 27.0 in x
3.217 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
3.217 * [taylor]: Taking taylor expansion of (* a b) in x
3.217 * [taylor]: Taking taylor expansion of a in x
3.217 * [taylor]: Taking taylor expansion of b in x
3.217 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
3.217 * [taylor]: Taking taylor expansion of 2.0 in x
3.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.217 * [taylor]: Taking taylor expansion of x in x
3.217 * [taylor]: Taking taylor expansion of (neg 2.0) in a
3.217 * [taylor]: Taking taylor expansion of 2.0 in a
3.217 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
3.217 * [taylor]: Taking taylor expansion of 27.0 in a
3.217 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
3.217 * [taylor]: Taking taylor expansion of (* a b) in a
3.217 * [taylor]: Taking taylor expansion of a in a
3.217 * [taylor]: Taking taylor expansion of b in a
3.217 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
3.217 * [taylor]: Taking taylor expansion of 27.0 in b
3.217 * [taylor]: Taking taylor expansion of b in b
3.217 * [taylor]: Taking taylor expansion of (neg 2.0) in b
3.217 * [taylor]: Taking taylor expansion of 2.0 in b
3.218 * [taylor]: Taking taylor expansion of 0 in a
3.218 * [taylor]: Taking taylor expansion of 0 in b
3.218 * [taylor]: Taking taylor expansion of 0 in b
3.218 * [taylor]: Taking taylor expansion of 0 in a
3.218 * [taylor]: Taking taylor expansion of 0 in b
3.218 * [taylor]: Taking taylor expansion of 0 in b
3.218 * [taylor]: Taking taylor expansion of 0 in b
3.219 * [taylor]: Taking taylor expansion of 0 in a
3.219 * [taylor]: Taking taylor expansion of 0 in b
3.219 * [taylor]: Taking taylor expansion of 0 in b
3.219 * [taylor]: Taking taylor expansion of 0 in b
3.219 * [taylor]: Taking taylor expansion of 0 in b
3.219 * * * [progress]: simplifying candidates
3.220 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* t (* z y))
  (* t (* z y))
  (+ (log t) (+ (log z) (log y)))
  (+ (log t) (log (* z y)))
  (log (* t (* z y)))
  (exp (* t (* z y)))
  (* (* (* t t) t) (* (* (* z z) z) (* (* y y) y)))
  (* (* (* t t) t) (* (* (* z y) (* z y)) (* z y)))
  (* (cbrt (* t (* z y))) (cbrt (* t (* z y))))
  (cbrt (* t (* z y)))
  (* (* (* t (* z y)) (* t (* z y))) (* t (* z y)))
  (sqrt (* t (* z y)))
  (sqrt (* t (* z y)))
  (* t z)
  (* (cbrt t) (* z y))
  (* (sqrt t) (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (+ (log 27.0) (+ (log a) (log b)))
  (+ (log 27.0) (log (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a a) a) (* (* b b) b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a b) (* a b)) (* a b)))
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (* (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (+ (log 9.0) (+ (log t) (+ (log z) (log y))))
  (+ (log 9.0) (+ (log t) (log (* z y))))
  (+ (log 9.0) (log (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* 9.0 (* t (* z y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* (* z z) z) (* (* y y) y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* (* z y) (* z y)) (* z y))))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t (* z y)) (* t (* z y))) (* t (* z y))))
  (* (cbrt (* 9.0 (* t (* z y)))) (cbrt (* 9.0 (* t (* z y)))))
  (cbrt (* 9.0 (* t (* z y))))
  (* (* (* 9.0 (* t (* z y))) (* 9.0 (* t (* z y)))) (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (* 9.0 t)
  (* (cbrt 9.0) (* t (* z y)))
  (* (sqrt 9.0) (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* (exp (* 2.0 x)) (exp (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (* (+ (* 2.0 x) (* 27.0 (* a b))) (+ (* 2.0 x) (* 27.0 (* a b)))) (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* (* 2.0 x) (* 27.0 (* a b)))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
3.223 * * [simplify]: iteration  0 :  117  enodes  (cost  747 )
3.242 * * [simplify]: iteration  1 :  317  enodes  (cost  718 )
3.314 * * [simplify]: iteration  2 :  1154  enodes  (cost  594 )
3.686 * * [simplify]: iteration  3 :  4804  enodes  (cost  594 )
4.658 * * [simplify]: iteration  done :  5000  enodes  (cost  594 )
4.658 * [simplify]: Simplified to:
   (* t (* z y))
  (* t (* z y))
  (log (* t (* z y)))
  (log (* t (* z y)))
  (log (* t (* z y)))
  (exp (* t (* z y)))
  (pow (* t (* z y)) 3)
  (pow (* t (* z y)) 3)
  (* (cbrt (* t (* z y))) (cbrt (* t (* z y))))
  (cbrt (* t (* z y)))
  (pow (* t (* z y)) 3)
  (sqrt (* t (* z y)))
  (sqrt (* t (* z y)))
  (* t z)
  (* (cbrt t) (* z y))
  (* (sqrt t) (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (pow (* 27.0 (* a b)) 3)
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* 9.0 (* t (* z y))))
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (pow (* 9.0 (* t (* z y))) 3)
  (* (cbrt (* 9.0 (* t (* z y)))) (cbrt (* 9.0 (* t (* z y)))))
  (cbrt (* 9.0 (* t (* z y))))
  (pow (* 9.0 (* t (* z y))) 3)
  (sqrt (* 9.0 (* t (* z y))))
  (sqrt (* 9.0 (* t (* z y))))
  (* 9.0 t)
  (* (cbrt 9.0) (* t (* z y)))
  (* (sqrt 9.0) (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (pow (+ (* 2.0 x) (* 27.0 (* a b))) 3)
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (- (* 27.0 (* a b)) (* 2.0 x))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
4.659 * * * [progress]: adding candidates to table
4.744 * * [progress]: iteration 3 / 4
4.744 * * * [progress]: picking best candidate
4.781 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* (* t z) y))))>
4.781 * * * [progress]: localizing error
4.794 * * * [progress]: generating rewritten candidates
4.794 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
4.799 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.805 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.814 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.821 * * * [progress]: generating series expansions
4.821 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
4.821 * [approximate]: Taking taylor expansion of (* t (* z y)) in (t z y) around 0
4.821 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.821 * [taylor]: Taking taylor expansion of t in y
4.821 * [taylor]: Taking taylor expansion of (* z y) in y
4.821 * [taylor]: Taking taylor expansion of z in y
4.821 * [taylor]: Taking taylor expansion of y in y
4.821 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.821 * [taylor]: Taking taylor expansion of t in z
4.821 * [taylor]: Taking taylor expansion of (* z y) in z
4.821 * [taylor]: Taking taylor expansion of z in z
4.821 * [taylor]: Taking taylor expansion of y in z
4.821 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.821 * [taylor]: Taking taylor expansion of t in t
4.821 * [taylor]: Taking taylor expansion of (* z y) in t
4.821 * [taylor]: Taking taylor expansion of z in t
4.821 * [taylor]: Taking taylor expansion of y in t
4.821 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.821 * [taylor]: Taking taylor expansion of t in t
4.821 * [taylor]: Taking taylor expansion of (* z y) in t
4.821 * [taylor]: Taking taylor expansion of z in t
4.821 * [taylor]: Taking taylor expansion of y in t
4.822 * [taylor]: Taking taylor expansion of 0 in z
4.822 * [taylor]: Taking taylor expansion of 0 in y
4.822 * [taylor]: Taking taylor expansion of (* z y) in z
4.822 * [taylor]: Taking taylor expansion of z in z
4.822 * [taylor]: Taking taylor expansion of y in z
4.822 * [taylor]: Taking taylor expansion of 0 in y
4.822 * [taylor]: Taking taylor expansion of 0 in y
4.822 * [taylor]: Taking taylor expansion of 0 in z
4.822 * [taylor]: Taking taylor expansion of 0 in y
4.822 * [taylor]: Taking taylor expansion of y in y
4.822 * [approximate]: Taking taylor expansion of (/ 1 (* t (* z y))) in (t z y) around 0
4.822 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y
4.822 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.822 * [taylor]: Taking taylor expansion of t in y
4.822 * [taylor]: Taking taylor expansion of (* z y) in y
4.822 * [taylor]: Taking taylor expansion of z in y
4.822 * [taylor]: Taking taylor expansion of y in y
4.822 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z
4.822 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.822 * [taylor]: Taking taylor expansion of t in z
4.822 * [taylor]: Taking taylor expansion of (* z y) in z
4.822 * [taylor]: Taking taylor expansion of z in z
4.822 * [taylor]: Taking taylor expansion of y in z
4.823 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.823 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.823 * [taylor]: Taking taylor expansion of t in t
4.823 * [taylor]: Taking taylor expansion of (* z y) in t
4.823 * [taylor]: Taking taylor expansion of z in t
4.823 * [taylor]: Taking taylor expansion of y in t
4.823 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t
4.823 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.823 * [taylor]: Taking taylor expansion of t in t
4.823 * [taylor]: Taking taylor expansion of (* z y) in t
4.823 * [taylor]: Taking taylor expansion of z in t
4.823 * [taylor]: Taking taylor expansion of y in t
4.823 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
4.823 * [taylor]: Taking taylor expansion of (* z y) in z
4.823 * [taylor]: Taking taylor expansion of z in z
4.823 * [taylor]: Taking taylor expansion of y in z
4.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.823 * [taylor]: Taking taylor expansion of y in y
4.823 * [taylor]: Taking taylor expansion of 0 in z
4.824 * [taylor]: Taking taylor expansion of 0 in y
4.824 * [taylor]: Taking taylor expansion of 0 in z
4.824 * [taylor]: Taking taylor expansion of 0 in y
4.824 * [taylor]: Taking taylor expansion of 0 in y
4.824 * [taylor]: Taking taylor expansion of 0 in z
4.824 * [taylor]: Taking taylor expansion of 0 in y
4.824 * [taylor]: Taking taylor expansion of 0 in y
4.825 * [taylor]: Taking taylor expansion of 0 in y
4.825 * [approximate]: Taking taylor expansion of (/ -1 (* t (* z y))) in (t z y) around 0
4.825 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in y
4.825 * [taylor]: Taking taylor expansion of -1 in y
4.825 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.825 * [taylor]: Taking taylor expansion of t in y
4.825 * [taylor]: Taking taylor expansion of (* z y) in y
4.825 * [taylor]: Taking taylor expansion of z in y
4.825 * [taylor]: Taking taylor expansion of y in y
4.825 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in z
4.825 * [taylor]: Taking taylor expansion of -1 in z
4.825 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.825 * [taylor]: Taking taylor expansion of t in z
4.825 * [taylor]: Taking taylor expansion of (* z y) in z
4.825 * [taylor]: Taking taylor expansion of z in z
4.825 * [taylor]: Taking taylor expansion of y in z
4.825 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
4.825 * [taylor]: Taking taylor expansion of -1 in t
4.825 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.825 * [taylor]: Taking taylor expansion of t in t
4.825 * [taylor]: Taking taylor expansion of (* z y) in t
4.825 * [taylor]: Taking taylor expansion of z in t
4.825 * [taylor]: Taking taylor expansion of y in t
4.825 * [taylor]: Taking taylor expansion of (/ -1 (* t (* z y))) in t
4.826 * [taylor]: Taking taylor expansion of -1 in t
4.826 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.826 * [taylor]: Taking taylor expansion of t in t
4.826 * [taylor]: Taking taylor expansion of (* z y) in t
4.826 * [taylor]: Taking taylor expansion of z in t
4.826 * [taylor]: Taking taylor expansion of y in t
4.826 * [taylor]: Taking taylor expansion of (/ -1 (* z y)) in z
4.826 * [taylor]: Taking taylor expansion of -1 in z
4.826 * [taylor]: Taking taylor expansion of (* z y) in z
4.826 * [taylor]: Taking taylor expansion of z in z
4.826 * [taylor]: Taking taylor expansion of y in z
4.826 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.826 * [taylor]: Taking taylor expansion of -1 in y
4.826 * [taylor]: Taking taylor expansion of y in y
4.826 * [taylor]: Taking taylor expansion of 0 in z
4.826 * [taylor]: Taking taylor expansion of 0 in y
4.827 * [taylor]: Taking taylor expansion of 0 in z
4.827 * [taylor]: Taking taylor expansion of 0 in y
4.827 * [taylor]: Taking taylor expansion of 0 in y
4.827 * [taylor]: Taking taylor expansion of 0 in z
4.827 * [taylor]: Taking taylor expansion of 0 in y
4.827 * [taylor]: Taking taylor expansion of 0 in y
4.827 * [taylor]: Taking taylor expansion of 0 in y
4.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.828 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
4.828 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
4.828 * [taylor]: Taking taylor expansion of 27.0 in b
4.828 * [taylor]: Taking taylor expansion of (* a b) in b
4.828 * [taylor]: Taking taylor expansion of a in b
4.828 * [taylor]: Taking taylor expansion of b in b
4.828 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.828 * [taylor]: Taking taylor expansion of 27.0 in a
4.828 * [taylor]: Taking taylor expansion of (* a b) in a
4.828 * [taylor]: Taking taylor expansion of a in a
4.828 * [taylor]: Taking taylor expansion of b in a
4.828 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.828 * [taylor]: Taking taylor expansion of 27.0 in a
4.828 * [taylor]: Taking taylor expansion of (* a b) in a
4.828 * [taylor]: Taking taylor expansion of a in a
4.828 * [taylor]: Taking taylor expansion of b in a
4.828 * [taylor]: Taking taylor expansion of 0 in b
4.828 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
4.828 * [taylor]: Taking taylor expansion of 27.0 in b
4.828 * [taylor]: Taking taylor expansion of b in b
4.828 * [taylor]: Taking taylor expansion of 0 in b
4.828 * [taylor]: Taking taylor expansion of 0 in b
4.829 * [taylor]: Taking taylor expansion of 0 in b
4.829 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
4.829 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
4.829 * [taylor]: Taking taylor expansion of 27.0 in b
4.829 * [taylor]: Taking taylor expansion of (* a b) in b
4.829 * [taylor]: Taking taylor expansion of a in b
4.829 * [taylor]: Taking taylor expansion of b in b
4.829 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.829 * [taylor]: Taking taylor expansion of 27.0 in a
4.829 * [taylor]: Taking taylor expansion of (* a b) in a
4.829 * [taylor]: Taking taylor expansion of a in a
4.829 * [taylor]: Taking taylor expansion of b in a
4.829 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.829 * [taylor]: Taking taylor expansion of 27.0 in a
4.829 * [taylor]: Taking taylor expansion of (* a b) in a
4.829 * [taylor]: Taking taylor expansion of a in a
4.829 * [taylor]: Taking taylor expansion of b in a
4.829 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.829 * [taylor]: Taking taylor expansion of 27.0 in b
4.829 * [taylor]: Taking taylor expansion of b in b
4.829 * [taylor]: Taking taylor expansion of 0 in b
4.830 * [taylor]: Taking taylor expansion of 0 in b
4.830 * [taylor]: Taking taylor expansion of 0 in b
4.830 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
4.830 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
4.830 * [taylor]: Taking taylor expansion of 27.0 in b
4.830 * [taylor]: Taking taylor expansion of (* a b) in b
4.830 * [taylor]: Taking taylor expansion of a in b
4.830 * [taylor]: Taking taylor expansion of b in b
4.830 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.830 * [taylor]: Taking taylor expansion of 27.0 in a
4.830 * [taylor]: Taking taylor expansion of (* a b) in a
4.830 * [taylor]: Taking taylor expansion of a in a
4.830 * [taylor]: Taking taylor expansion of b in a
4.830 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
4.830 * [taylor]: Taking taylor expansion of 27.0 in a
4.830 * [taylor]: Taking taylor expansion of (* a b) in a
4.830 * [taylor]: Taking taylor expansion of a in a
4.830 * [taylor]: Taking taylor expansion of b in a
4.831 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.831 * [taylor]: Taking taylor expansion of 27.0 in b
4.831 * [taylor]: Taking taylor expansion of b in b
4.831 * [taylor]: Taking taylor expansion of 0 in b
4.831 * [taylor]: Taking taylor expansion of 0 in b
4.831 * [taylor]: Taking taylor expansion of 0 in b
4.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.831 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
4.831 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
4.831 * [taylor]: Taking taylor expansion of 9.0 in y
4.831 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.831 * [taylor]: Taking taylor expansion of t in y
4.832 * [taylor]: Taking taylor expansion of (* z y) in y
4.832 * [taylor]: Taking taylor expansion of z in y
4.832 * [taylor]: Taking taylor expansion of y in y
4.832 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
4.832 * [taylor]: Taking taylor expansion of 9.0 in z
4.832 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.832 * [taylor]: Taking taylor expansion of t in z
4.832 * [taylor]: Taking taylor expansion of (* z y) in z
4.832 * [taylor]: Taking taylor expansion of z in z
4.832 * [taylor]: Taking taylor expansion of y in z
4.832 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.832 * [taylor]: Taking taylor expansion of 9.0 in t
4.832 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.832 * [taylor]: Taking taylor expansion of t in t
4.832 * [taylor]: Taking taylor expansion of (* z y) in t
4.832 * [taylor]: Taking taylor expansion of z in t
4.832 * [taylor]: Taking taylor expansion of y in t
4.832 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
4.832 * [taylor]: Taking taylor expansion of 9.0 in t
4.832 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.832 * [taylor]: Taking taylor expansion of t in t
4.832 * [taylor]: Taking taylor expansion of (* z y) in t
4.832 * [taylor]: Taking taylor expansion of z in t
4.832 * [taylor]: Taking taylor expansion of y in t
4.832 * [taylor]: Taking taylor expansion of 0 in z
4.832 * [taylor]: Taking taylor expansion of 0 in y
4.832 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
4.832 * [taylor]: Taking taylor expansion of 9.0 in z
4.832 * [taylor]: Taking taylor expansion of (* z y) in z
4.832 * [taylor]: Taking taylor expansion of z in z
4.832 * [taylor]: Taking taylor expansion of y in z
4.832 * [taylor]: Taking taylor expansion of 0 in y
4.832 * [taylor]: Taking taylor expansion of 0 in y
4.832 * [taylor]: Taking taylor expansion of 0 in z
4.832 * [taylor]: Taking taylor expansion of 0 in y
4.833 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
4.833 * [taylor]: Taking taylor expansion of 9.0 in y
4.833 * [taylor]: Taking taylor expansion of y in y
4.833 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
4.833 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
4.833 * [taylor]: Taking taylor expansion of 9.0 in y
4.833 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.833 * [taylor]: Taking taylor expansion of t in y
4.833 * [taylor]: Taking taylor expansion of (* z y) in y
4.833 * [taylor]: Taking taylor expansion of z in y
4.833 * [taylor]: Taking taylor expansion of y in y
4.833 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
4.833 * [taylor]: Taking taylor expansion of 9.0 in z
4.833 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.833 * [taylor]: Taking taylor expansion of t in z
4.833 * [taylor]: Taking taylor expansion of (* z y) in z
4.833 * [taylor]: Taking taylor expansion of z in z
4.833 * [taylor]: Taking taylor expansion of y in z
4.833 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
4.833 * [taylor]: Taking taylor expansion of 9.0 in t
4.833 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.833 * [taylor]: Taking taylor expansion of t in t
4.833 * [taylor]: Taking taylor expansion of (* z y) in t
4.833 * [taylor]: Taking taylor expansion of z in t
4.833 * [taylor]: Taking taylor expansion of y in t
4.834 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
4.834 * [taylor]: Taking taylor expansion of 9.0 in t
4.834 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.834 * [taylor]: Taking taylor expansion of t in t
4.834 * [taylor]: Taking taylor expansion of (* z y) in t
4.834 * [taylor]: Taking taylor expansion of z in t
4.834 * [taylor]: Taking taylor expansion of y in t
4.834 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
4.834 * [taylor]: Taking taylor expansion of 9.0 in z
4.834 * [taylor]: Taking taylor expansion of (* z y) in z
4.834 * [taylor]: Taking taylor expansion of z in z
4.834 * [taylor]: Taking taylor expansion of y in z
4.834 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
4.834 * [taylor]: Taking taylor expansion of 9.0 in y
4.834 * [taylor]: Taking taylor expansion of y in y
4.834 * [taylor]: Taking taylor expansion of 0 in z
4.834 * [taylor]: Taking taylor expansion of 0 in y
4.835 * [taylor]: Taking taylor expansion of 0 in z
4.835 * [taylor]: Taking taylor expansion of 0 in y
4.835 * [taylor]: Taking taylor expansion of 0 in y
4.835 * [taylor]: Taking taylor expansion of 0 in z
4.835 * [taylor]: Taking taylor expansion of 0 in y
4.835 * [taylor]: Taking taylor expansion of 0 in y
4.836 * [taylor]: Taking taylor expansion of 0 in y
4.836 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
4.836 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
4.836 * [taylor]: Taking taylor expansion of -9.0 in y
4.836 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.836 * [taylor]: Taking taylor expansion of t in y
4.836 * [taylor]: Taking taylor expansion of (* z y) in y
4.836 * [taylor]: Taking taylor expansion of z in y
4.836 * [taylor]: Taking taylor expansion of y in y
4.836 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
4.836 * [taylor]: Taking taylor expansion of -9.0 in z
4.836 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
4.836 * [taylor]: Taking taylor expansion of t in z
4.836 * [taylor]: Taking taylor expansion of (* z y) in z
4.836 * [taylor]: Taking taylor expansion of z in z
4.836 * [taylor]: Taking taylor expansion of y in z
4.836 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
4.836 * [taylor]: Taking taylor expansion of -9.0 in t
4.836 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.836 * [taylor]: Taking taylor expansion of t in t
4.836 * [taylor]: Taking taylor expansion of (* z y) in t
4.836 * [taylor]: Taking taylor expansion of z in t
4.836 * [taylor]: Taking taylor expansion of y in t
4.837 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
4.837 * [taylor]: Taking taylor expansion of -9.0 in t
4.837 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
4.837 * [taylor]: Taking taylor expansion of t in t
4.837 * [taylor]: Taking taylor expansion of (* z y) in t
4.837 * [taylor]: Taking taylor expansion of z in t
4.837 * [taylor]: Taking taylor expansion of y in t
4.837 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
4.837 * [taylor]: Taking taylor expansion of -9.0 in z
4.837 * [taylor]: Taking taylor expansion of (* z y) in z
4.837 * [taylor]: Taking taylor expansion of z in z
4.837 * [taylor]: Taking taylor expansion of y in z
4.837 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
4.837 * [taylor]: Taking taylor expansion of -9.0 in y
4.837 * [taylor]: Taking taylor expansion of y in y
4.838 * [taylor]: Taking taylor expansion of 0 in z
4.838 * [taylor]: Taking taylor expansion of 0 in y
4.838 * [taylor]: Taking taylor expansion of 0 in z
4.838 * [taylor]: Taking taylor expansion of 0 in y
4.838 * [taylor]: Taking taylor expansion of 0 in y
4.839 * [taylor]: Taking taylor expansion of 0 in z
4.839 * [taylor]: Taking taylor expansion of 0 in y
4.839 * [taylor]: Taking taylor expansion of 0 in y
4.839 * [taylor]: Taking taylor expansion of 0 in y
4.839 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.839 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in (x a b) around 0
4.839 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
4.839 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
4.839 * [taylor]: Taking taylor expansion of 2.0 in b
4.839 * [taylor]: Taking taylor expansion of x in b
4.839 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
4.839 * [taylor]: Taking taylor expansion of 27.0 in b
4.839 * [taylor]: Taking taylor expansion of (* a b) in b
4.839 * [taylor]: Taking taylor expansion of a in b
4.839 * [taylor]: Taking taylor expansion of b in b
4.839 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
4.840 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
4.840 * [taylor]: Taking taylor expansion of 2.0 in a
4.840 * [taylor]: Taking taylor expansion of x in a
4.840 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.840 * [taylor]: Taking taylor expansion of 27.0 in a
4.840 * [taylor]: Taking taylor expansion of (* a b) in a
4.840 * [taylor]: Taking taylor expansion of a in a
4.840 * [taylor]: Taking taylor expansion of b in a
4.840 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
4.840 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.840 * [taylor]: Taking taylor expansion of 2.0 in x
4.840 * [taylor]: Taking taylor expansion of x in x
4.840 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
4.840 * [taylor]: Taking taylor expansion of 27.0 in x
4.840 * [taylor]: Taking taylor expansion of (* a b) in x
4.840 * [taylor]: Taking taylor expansion of a in x
4.840 * [taylor]: Taking taylor expansion of b in x
4.840 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
4.840 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
4.840 * [taylor]: Taking taylor expansion of 2.0 in x
4.840 * [taylor]: Taking taylor expansion of x in x
4.840 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
4.840 * [taylor]: Taking taylor expansion of 27.0 in x
4.840 * [taylor]: Taking taylor expansion of (* a b) in x
4.840 * [taylor]: Taking taylor expansion of a in x
4.840 * [taylor]: Taking taylor expansion of b in x
4.840 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
4.840 * [taylor]: Taking taylor expansion of 27.0 in a
4.840 * [taylor]: Taking taylor expansion of (* a b) in a
4.840 * [taylor]: Taking taylor expansion of a in a
4.840 * [taylor]: Taking taylor expansion of b in a
4.840 * [taylor]: Taking taylor expansion of 0 in b
4.840 * [taylor]: Taking taylor expansion of 2.0 in a
4.840 * [taylor]: Taking taylor expansion of 2.0 in b
4.840 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
4.840 * [taylor]: Taking taylor expansion of 27.0 in b
4.840 * [taylor]: Taking taylor expansion of b in b
4.841 * [taylor]: Taking taylor expansion of 0 in a
4.841 * [taylor]: Taking taylor expansion of 0 in b
4.841 * [taylor]: Taking taylor expansion of 0 in b
4.841 * [taylor]: Taking taylor expansion of 0 in b
4.841 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
4.841 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
4.841 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
4.841 * [taylor]: Taking taylor expansion of 27.0 in b
4.841 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
4.841 * [taylor]: Taking taylor expansion of (* a b) in b
4.841 * [taylor]: Taking taylor expansion of a in b
4.841 * [taylor]: Taking taylor expansion of b in b
4.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
4.841 * [taylor]: Taking taylor expansion of 2.0 in b
4.841 * [taylor]: Taking taylor expansion of (/ 1 x) in b
4.841 * [taylor]: Taking taylor expansion of x in b
4.841 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
4.841 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
4.841 * [taylor]: Taking taylor expansion of 27.0 in a
4.841 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.841 * [taylor]: Taking taylor expansion of (* a b) in a
4.841 * [taylor]: Taking taylor expansion of a in a
4.841 * [taylor]: Taking taylor expansion of b in a
4.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
4.842 * [taylor]: Taking taylor expansion of 2.0 in a
4.842 * [taylor]: Taking taylor expansion of (/ 1 x) in a
4.842 * [taylor]: Taking taylor expansion of x in a
4.842 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
4.842 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.842 * [taylor]: Taking taylor expansion of 27.0 in x
4.842 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.842 * [taylor]: Taking taylor expansion of (* a b) in x
4.842 * [taylor]: Taking taylor expansion of a in x
4.842 * [taylor]: Taking taylor expansion of b in x
4.842 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.842 * [taylor]: Taking taylor expansion of 2.0 in x
4.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.842 * [taylor]: Taking taylor expansion of x in x
4.842 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
4.842 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.842 * [taylor]: Taking taylor expansion of 27.0 in x
4.842 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.842 * [taylor]: Taking taylor expansion of (* a b) in x
4.842 * [taylor]: Taking taylor expansion of a in x
4.842 * [taylor]: Taking taylor expansion of b in x
4.842 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.842 * [taylor]: Taking taylor expansion of 2.0 in x
4.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.842 * [taylor]: Taking taylor expansion of x in x
4.842 * [taylor]: Taking taylor expansion of 2.0 in a
4.842 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
4.842 * [taylor]: Taking taylor expansion of 27.0 in a
4.842 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.842 * [taylor]: Taking taylor expansion of (* a b) in a
4.842 * [taylor]: Taking taylor expansion of a in a
4.842 * [taylor]: Taking taylor expansion of b in a
4.843 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.843 * [taylor]: Taking taylor expansion of 27.0 in b
4.843 * [taylor]: Taking taylor expansion of b in b
4.843 * [taylor]: Taking taylor expansion of 2.0 in b
4.843 * [taylor]: Taking taylor expansion of 0 in a
4.843 * [taylor]: Taking taylor expansion of 0 in b
4.843 * [taylor]: Taking taylor expansion of 0 in b
4.843 * [taylor]: Taking taylor expansion of 0 in a
4.843 * [taylor]: Taking taylor expansion of 0 in b
4.844 * [taylor]: Taking taylor expansion of 0 in b
4.844 * [taylor]: Taking taylor expansion of 0 in b
4.844 * [taylor]: Taking taylor expansion of 0 in a
4.844 * [taylor]: Taking taylor expansion of 0 in b
4.844 * [taylor]: Taking taylor expansion of 0 in b
4.844 * [taylor]: Taking taylor expansion of 0 in b
4.844 * [taylor]: Taking taylor expansion of 0 in b
4.845 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
4.845 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
4.845 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
4.845 * [taylor]: Taking taylor expansion of 27.0 in b
4.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
4.845 * [taylor]: Taking taylor expansion of (* a b) in b
4.845 * [taylor]: Taking taylor expansion of a in b
4.845 * [taylor]: Taking taylor expansion of b in b
4.845 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
4.845 * [taylor]: Taking taylor expansion of 2.0 in b
4.845 * [taylor]: Taking taylor expansion of (/ 1 x) in b
4.845 * [taylor]: Taking taylor expansion of x in b
4.845 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
4.845 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
4.845 * [taylor]: Taking taylor expansion of 27.0 in a
4.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.845 * [taylor]: Taking taylor expansion of (* a b) in a
4.845 * [taylor]: Taking taylor expansion of a in a
4.845 * [taylor]: Taking taylor expansion of b in a
4.845 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
4.845 * [taylor]: Taking taylor expansion of 2.0 in a
4.845 * [taylor]: Taking taylor expansion of (/ 1 x) in a
4.845 * [taylor]: Taking taylor expansion of x in a
4.845 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
4.845 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.845 * [taylor]: Taking taylor expansion of 27.0 in x
4.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.845 * [taylor]: Taking taylor expansion of (* a b) in x
4.845 * [taylor]: Taking taylor expansion of a in x
4.845 * [taylor]: Taking taylor expansion of b in x
4.845 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.845 * [taylor]: Taking taylor expansion of 2.0 in x
4.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
4.846 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
4.846 * [taylor]: Taking taylor expansion of 27.0 in x
4.846 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
4.846 * [taylor]: Taking taylor expansion of (* a b) in x
4.846 * [taylor]: Taking taylor expansion of a in x
4.846 * [taylor]: Taking taylor expansion of b in x
4.846 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
4.846 * [taylor]: Taking taylor expansion of 2.0 in x
4.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of (neg 2.0) in a
4.846 * [taylor]: Taking taylor expansion of 2.0 in a
4.846 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
4.846 * [taylor]: Taking taylor expansion of 27.0 in a
4.846 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
4.846 * [taylor]: Taking taylor expansion of (* a b) in a
4.846 * [taylor]: Taking taylor expansion of a in a
4.846 * [taylor]: Taking taylor expansion of b in a
4.846 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
4.846 * [taylor]: Taking taylor expansion of 27.0 in b
4.846 * [taylor]: Taking taylor expansion of b in b
4.846 * [taylor]: Taking taylor expansion of (neg 2.0) in b
4.846 * [taylor]: Taking taylor expansion of 2.0 in b
4.847 * [taylor]: Taking taylor expansion of 0 in a
4.847 * [taylor]: Taking taylor expansion of 0 in b
4.847 * [taylor]: Taking taylor expansion of 0 in b
4.847 * [taylor]: Taking taylor expansion of 0 in a
4.847 * [taylor]: Taking taylor expansion of 0 in b
4.847 * [taylor]: Taking taylor expansion of 0 in b
4.847 * [taylor]: Taking taylor expansion of 0 in b
4.848 * [taylor]: Taking taylor expansion of 0 in a
4.848 * [taylor]: Taking taylor expansion of 0 in b
4.848 * [taylor]: Taking taylor expansion of 0 in b
4.848 * [taylor]: Taking taylor expansion of 0 in b
4.848 * [taylor]: Taking taylor expansion of 0 in b
4.848 * * * [progress]: simplifying candidates
4.849 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* t z) y)
  (* (* t z) y)
  (+ (+ (log t) (log z)) (log y))
  (+ (log (* t z)) (log y))
  (log (* (* t z) y))
  (exp (* (* t z) y))
  (* (* (* (* t t) t) (* (* z z) z)) (* (* y y) y))
  (* (* (* (* t z) (* t z)) (* t z)) (* (* y y) y))
  (* (cbrt (* (* t z) y)) (cbrt (* (* t z) y)))
  (cbrt (* (* t z) y))
  (* (* (* (* t z) y) (* (* t z) y)) (* (* t z) y))
  (sqrt (* (* t z) y))
  (sqrt (* (* t z) y))
  (* (* t z) (* (cbrt y) (cbrt y)))
  (* (* t z) (sqrt y))
  (* (* t z) 1)
  (* z y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (+ (log 27.0) (+ (log a) (log b)))
  (+ (log 27.0) (log (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a a) a) (* (* b b) b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a b) (* a b)) (* a b)))
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (* (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (+ (log 9.0) (+ (+ (log t) (log z)) (log y)))
  (+ (log 9.0) (+ (log (* t z)) (log y)))
  (+ (log 9.0) (log (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (exp (* 9.0 (* (* t z) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* (* t t) t) (* (* z z) z)) (* (* y y) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* (* t z) (* t z)) (* t z)) (* (* y y) y)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* (* t z) y) (* (* t z) y)) (* (* t z) y)))
  (* (cbrt (* 9.0 (* (* t z) y))) (cbrt (* 9.0 (* (* t z) y))))
  (cbrt (* 9.0 (* (* t z) y)))
  (* (* (* 9.0 (* (* t z) y)) (* 9.0 (* (* t z) y))) (* 9.0 (* (* t z) y)))
  (sqrt (* 9.0 (* (* t z) y)))
  (sqrt (* 9.0 (* (* t z) y)))
  (* 9.0 (* t z))
  (* (cbrt 9.0) (* (* t z) y))
  (* (sqrt 9.0) (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* (exp (* 2.0 x)) (exp (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (* (+ (* 2.0 x) (* 27.0 (* a b))) (+ (* 2.0 x) (* 27.0 (* a b)))) (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* (* 2.0 x) (* 27.0 (* a b)))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* t (* z y)))
  (* 9.0 (* t (* z y)))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
4.852 * * [simplify]: iteration  0 :  122  enodes  (cost  752 )
4.871 * * [simplify]: iteration  1 :  336  enodes  (cost  721 )
4.955 * * [simplify]: iteration  2 :  1341  enodes  (cost  597 )
5.339 * * [simplify]: iteration  done :  5001  enodes  (cost  597 )
5.339 * [simplify]: Simplified to:
   (* t (* z y))
  (* t (* z y))
  (log (* (* t z) y))
  (log (* (* t z) y))
  (log (* (* t z) y))
  (exp (* (* t z) y))
  (pow (* t (* z y)) 3)
  (pow (* t (* z y)) 3)
  (* (cbrt (* (* t z) y)) (cbrt (* (* t z) y)))
  (cbrt (* (* t z) y))
  (pow (* t (* z y)) 3)
  (sqrt (* (* t z) y))
  (sqrt (* (* t z) y))
  (* (* t z) (* (cbrt y) (cbrt y)))
  (* (* t z) (sqrt y))
  (* t z)
  (* z y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (pow (* 27.0 (* a b)) 3)
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (log (* 9.0 (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (log (* 9.0 (* (* t z) y)))
  (exp (* 9.0 (* (* t z) y)))
  (pow (* 9.0 (* (* t z) y)) 3)
  (pow (* 9.0 (* (* t z) y)) 3)
  (pow (* 9.0 (* (* t z) y)) 3)
  (* (cbrt (* 9.0 (* (* t z) y))) (cbrt (* 9.0 (* (* t z) y))))
  (cbrt (* 9.0 (* (* t z) y)))
  (pow (* 9.0 (* (* t z) y)) 3)
  (sqrt (* 9.0 (* (* t z) y)))
  (sqrt (* 9.0 (* (* t z) y)))
  (* 9.0 (* t z))
  (* (cbrt 9.0) (* (* t z) y))
  (* (sqrt 9.0) (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (pow (+ (* 2.0 x) (* 27.0 (* a b))) 3)
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 27.0 (* a b)) (- (* 27.0 (* a b)) (* 2.0 x))) (* (* 2.0 x) (* 2.0 x)))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  0
  (* t (* z y))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  0
  (* 9.0 (* (* t z) y))
  (* 9.0 (* (* t z) y))
  (* 2.0 x)
  (+ (* 2.0 x) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
5.340 * * * [progress]: adding candidates to table
5.418 * * [progress]: iteration 4 / 4
5.418 * * * [progress]: picking best candidate
5.452 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))>
5.453 * * * [progress]: localizing error
5.465 * * * [progress]: generating rewritten candidates
5.465 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
5.473 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.478 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.489 * * * [progress]: generating series expansions
5.489 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
5.489 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (t z y) around 0
5.489 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y
5.489 * [taylor]: Taking taylor expansion of 9.0 in y
5.489 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.489 * [taylor]: Taking taylor expansion of t in y
5.490 * [taylor]: Taking taylor expansion of (* z y) in y
5.490 * [taylor]: Taking taylor expansion of z in y
5.490 * [taylor]: Taking taylor expansion of y in y
5.490 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z
5.490 * [taylor]: Taking taylor expansion of 9.0 in z
5.490 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.490 * [taylor]: Taking taylor expansion of t in z
5.490 * [taylor]: Taking taylor expansion of (* z y) in z
5.490 * [taylor]: Taking taylor expansion of z in z
5.490 * [taylor]: Taking taylor expansion of y in z
5.490 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.490 * [taylor]: Taking taylor expansion of 9.0 in t
5.490 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.490 * [taylor]: Taking taylor expansion of t in t
5.490 * [taylor]: Taking taylor expansion of (* z y) in t
5.490 * [taylor]: Taking taylor expansion of z in t
5.490 * [taylor]: Taking taylor expansion of y in t
5.490 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t
5.490 * [taylor]: Taking taylor expansion of 9.0 in t
5.490 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.490 * [taylor]: Taking taylor expansion of t in t
5.490 * [taylor]: Taking taylor expansion of (* z y) in t
5.490 * [taylor]: Taking taylor expansion of z in t
5.490 * [taylor]: Taking taylor expansion of y in t
5.490 * [taylor]: Taking taylor expansion of 0 in z
5.490 * [taylor]: Taking taylor expansion of 0 in y
5.490 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z
5.490 * [taylor]: Taking taylor expansion of 9.0 in z
5.490 * [taylor]: Taking taylor expansion of (* z y) in z
5.490 * [taylor]: Taking taylor expansion of z in z
5.490 * [taylor]: Taking taylor expansion of y in z
5.490 * [taylor]: Taking taylor expansion of 0 in y
5.490 * [taylor]: Taking taylor expansion of 0 in y
5.490 * [taylor]: Taking taylor expansion of 0 in z
5.491 * [taylor]: Taking taylor expansion of 0 in y
5.491 * [taylor]: Taking taylor expansion of (* 9.0 y) in y
5.491 * [taylor]: Taking taylor expansion of 9.0 in y
5.491 * [taylor]: Taking taylor expansion of y in y
5.491 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (t z y) around 0
5.491 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y
5.491 * [taylor]: Taking taylor expansion of 9.0 in y
5.491 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.491 * [taylor]: Taking taylor expansion of t in y
5.491 * [taylor]: Taking taylor expansion of (* z y) in y
5.491 * [taylor]: Taking taylor expansion of z in y
5.491 * [taylor]: Taking taylor expansion of y in y
5.491 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z
5.491 * [taylor]: Taking taylor expansion of 9.0 in z
5.491 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.491 * [taylor]: Taking taylor expansion of t in z
5.491 * [taylor]: Taking taylor expansion of (* z y) in z
5.491 * [taylor]: Taking taylor expansion of z in z
5.491 * [taylor]: Taking taylor expansion of y in z
5.491 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
5.491 * [taylor]: Taking taylor expansion of 9.0 in t
5.491 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.491 * [taylor]: Taking taylor expansion of t in t
5.491 * [taylor]: Taking taylor expansion of (* z y) in t
5.491 * [taylor]: Taking taylor expansion of z in t
5.491 * [taylor]: Taking taylor expansion of y in t
5.492 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t
5.492 * [taylor]: Taking taylor expansion of 9.0 in t
5.492 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.492 * [taylor]: Taking taylor expansion of t in t
5.492 * [taylor]: Taking taylor expansion of (* z y) in t
5.492 * [taylor]: Taking taylor expansion of z in t
5.492 * [taylor]: Taking taylor expansion of y in t
5.492 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z
5.492 * [taylor]: Taking taylor expansion of 9.0 in z
5.492 * [taylor]: Taking taylor expansion of (* z y) in z
5.492 * [taylor]: Taking taylor expansion of z in z
5.492 * [taylor]: Taking taylor expansion of y in z
5.492 * [taylor]: Taking taylor expansion of (/ 9.0 y) in y
5.492 * [taylor]: Taking taylor expansion of 9.0 in y
5.492 * [taylor]: Taking taylor expansion of y in y
5.492 * [taylor]: Taking taylor expansion of 0 in z
5.492 * [taylor]: Taking taylor expansion of 0 in y
5.493 * [taylor]: Taking taylor expansion of 0 in z
5.493 * [taylor]: Taking taylor expansion of 0 in y
5.493 * [taylor]: Taking taylor expansion of 0 in y
5.493 * [taylor]: Taking taylor expansion of 0 in z
5.493 * [taylor]: Taking taylor expansion of 0 in y
5.493 * [taylor]: Taking taylor expansion of 0 in y
5.493 * [taylor]: Taking taylor expansion of 0 in y
5.494 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (t z y) around 0
5.494 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y
5.494 * [taylor]: Taking taylor expansion of -9.0 in y
5.494 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.494 * [taylor]: Taking taylor expansion of t in y
5.494 * [taylor]: Taking taylor expansion of (* z y) in y
5.494 * [taylor]: Taking taylor expansion of z in y
5.494 * [taylor]: Taking taylor expansion of y in y
5.494 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z
5.494 * [taylor]: Taking taylor expansion of -9.0 in z
5.494 * [taylor]: Taking taylor expansion of (* t (* z y)) in z
5.494 * [taylor]: Taking taylor expansion of t in z
5.494 * [taylor]: Taking taylor expansion of (* z y) in z
5.494 * [taylor]: Taking taylor expansion of z in z
5.494 * [taylor]: Taking taylor expansion of y in z
5.494 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
5.494 * [taylor]: Taking taylor expansion of -9.0 in t
5.494 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.494 * [taylor]: Taking taylor expansion of t in t
5.494 * [taylor]: Taking taylor expansion of (* z y) in t
5.494 * [taylor]: Taking taylor expansion of z in t
5.494 * [taylor]: Taking taylor expansion of y in t
5.494 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t
5.494 * [taylor]: Taking taylor expansion of -9.0 in t
5.495 * [taylor]: Taking taylor expansion of (* t (* z y)) in t
5.495 * [taylor]: Taking taylor expansion of t in t
5.495 * [taylor]: Taking taylor expansion of (* z y) in t
5.495 * [taylor]: Taking taylor expansion of z in t
5.495 * [taylor]: Taking taylor expansion of y in t
5.495 * [taylor]: Taking taylor expansion of (/ -9.0 (* z y)) in z
5.495 * [taylor]: Taking taylor expansion of -9.0 in z
5.495 * [taylor]: Taking taylor expansion of (* z y) in z
5.495 * [taylor]: Taking taylor expansion of z in z
5.495 * [taylor]: Taking taylor expansion of y in z
5.495 * [taylor]: Taking taylor expansion of (/ -9.0 y) in y
5.495 * [taylor]: Taking taylor expansion of -9.0 in y
5.495 * [taylor]: Taking taylor expansion of y in y
5.495 * [taylor]: Taking taylor expansion of 0 in z
5.495 * [taylor]: Taking taylor expansion of 0 in y
5.496 * [taylor]: Taking taylor expansion of 0 in z
5.496 * [taylor]: Taking taylor expansion of 0 in y
5.496 * [taylor]: Taking taylor expansion of 0 in y
5.496 * [taylor]: Taking taylor expansion of 0 in z
5.496 * [taylor]: Taking taylor expansion of 0 in y
5.496 * [taylor]: Taking taylor expansion of 0 in y
5.496 * [taylor]: Taking taylor expansion of 0 in y
5.497 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.497 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0
5.497 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
5.497 * [taylor]: Taking taylor expansion of 27.0 in b
5.497 * [taylor]: Taking taylor expansion of (* a b) in b
5.497 * [taylor]: Taking taylor expansion of a in b
5.497 * [taylor]: Taking taylor expansion of b in b
5.497 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.497 * [taylor]: Taking taylor expansion of 27.0 in a
5.497 * [taylor]: Taking taylor expansion of (* a b) in a
5.497 * [taylor]: Taking taylor expansion of a in a
5.497 * [taylor]: Taking taylor expansion of b in a
5.497 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.497 * [taylor]: Taking taylor expansion of 27.0 in a
5.497 * [taylor]: Taking taylor expansion of (* a b) in a
5.497 * [taylor]: Taking taylor expansion of a in a
5.497 * [taylor]: Taking taylor expansion of b in a
5.497 * [taylor]: Taking taylor expansion of 0 in b
5.497 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
5.497 * [taylor]: Taking taylor expansion of 27.0 in b
5.497 * [taylor]: Taking taylor expansion of b in b
5.497 * [taylor]: Taking taylor expansion of 0 in b
5.497 * [taylor]: Taking taylor expansion of 0 in b
5.498 * [taylor]: Taking taylor expansion of 0 in b
5.498 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.498 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.498 * [taylor]: Taking taylor expansion of 27.0 in b
5.498 * [taylor]: Taking taylor expansion of (* a b) in b
5.498 * [taylor]: Taking taylor expansion of a in b
5.498 * [taylor]: Taking taylor expansion of b in b
5.498 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.498 * [taylor]: Taking taylor expansion of 27.0 in a
5.498 * [taylor]: Taking taylor expansion of (* a b) in a
5.498 * [taylor]: Taking taylor expansion of a in a
5.498 * [taylor]: Taking taylor expansion of b in a
5.498 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.498 * [taylor]: Taking taylor expansion of 27.0 in a
5.498 * [taylor]: Taking taylor expansion of (* a b) in a
5.498 * [taylor]: Taking taylor expansion of a in a
5.498 * [taylor]: Taking taylor expansion of b in a
5.498 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.498 * [taylor]: Taking taylor expansion of 27.0 in b
5.498 * [taylor]: Taking taylor expansion of b in b
5.498 * [taylor]: Taking taylor expansion of 0 in b
5.499 * [taylor]: Taking taylor expansion of 0 in b
5.499 * [taylor]: Taking taylor expansion of 0 in b
5.499 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0
5.499 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b
5.499 * [taylor]: Taking taylor expansion of 27.0 in b
5.499 * [taylor]: Taking taylor expansion of (* a b) in b
5.499 * [taylor]: Taking taylor expansion of a in b
5.499 * [taylor]: Taking taylor expansion of b in b
5.499 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.499 * [taylor]: Taking taylor expansion of 27.0 in a
5.499 * [taylor]: Taking taylor expansion of (* a b) in a
5.499 * [taylor]: Taking taylor expansion of a in a
5.499 * [taylor]: Taking taylor expansion of b in a
5.499 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a
5.499 * [taylor]: Taking taylor expansion of 27.0 in a
5.499 * [taylor]: Taking taylor expansion of (* a b) in a
5.499 * [taylor]: Taking taylor expansion of a in a
5.499 * [taylor]: Taking taylor expansion of b in a
5.500 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.500 * [taylor]: Taking taylor expansion of 27.0 in b
5.500 * [taylor]: Taking taylor expansion of b in b
5.500 * [taylor]: Taking taylor expansion of 0 in b
5.500 * [taylor]: Taking taylor expansion of 0 in b
5.500 * [taylor]: Taking taylor expansion of 0 in b
5.500 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.500 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (t z) around 0
5.500 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z
5.500 * [taylor]: Taking taylor expansion of 9.0 in z
5.501 * [taylor]: Taking taylor expansion of (* t z) in z
5.501 * [taylor]: Taking taylor expansion of t in z
5.501 * [taylor]: Taking taylor expansion of z in z
5.501 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
5.501 * [taylor]: Taking taylor expansion of 9.0 in t
5.501 * [taylor]: Taking taylor expansion of (* t z) in t
5.501 * [taylor]: Taking taylor expansion of t in t
5.501 * [taylor]: Taking taylor expansion of z in t
5.501 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t
5.501 * [taylor]: Taking taylor expansion of 9.0 in t
5.501 * [taylor]: Taking taylor expansion of (* t z) in t
5.501 * [taylor]: Taking taylor expansion of t in t
5.501 * [taylor]: Taking taylor expansion of z in t
5.501 * [taylor]: Taking taylor expansion of 0 in z
5.501 * [taylor]: Taking taylor expansion of (* 9.0 z) in z
5.501 * [taylor]: Taking taylor expansion of 9.0 in z
5.501 * [taylor]: Taking taylor expansion of z in z
5.501 * [taylor]: Taking taylor expansion of 0 in z
5.501 * [taylor]: Taking taylor expansion of 0 in z
5.501 * [taylor]: Taking taylor expansion of 0 in z
5.502 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
5.502 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.502 * [taylor]: Taking taylor expansion of 9.0 in z
5.502 * [taylor]: Taking taylor expansion of (* t z) in z
5.502 * [taylor]: Taking taylor expansion of t in z
5.502 * [taylor]: Taking taylor expansion of z in z
5.502 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
5.502 * [taylor]: Taking taylor expansion of 9.0 in t
5.502 * [taylor]: Taking taylor expansion of (* t z) in t
5.502 * [taylor]: Taking taylor expansion of t in t
5.502 * [taylor]: Taking taylor expansion of z in t
5.502 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
5.502 * [taylor]: Taking taylor expansion of 9.0 in t
5.502 * [taylor]: Taking taylor expansion of (* t z) in t
5.502 * [taylor]: Taking taylor expansion of t in t
5.502 * [taylor]: Taking taylor expansion of z in t
5.502 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
5.502 * [taylor]: Taking taylor expansion of 9.0 in z
5.502 * [taylor]: Taking taylor expansion of z in z
5.502 * [taylor]: Taking taylor expansion of 0 in z
5.503 * [taylor]: Taking taylor expansion of 0 in z
5.503 * [taylor]: Taking taylor expansion of 0 in z
5.503 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (t z) around 0
5.503 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z
5.503 * [taylor]: Taking taylor expansion of 9.0 in z
5.503 * [taylor]: Taking taylor expansion of (* t z) in z
5.503 * [taylor]: Taking taylor expansion of t in z
5.503 * [taylor]: Taking taylor expansion of z in z
5.503 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
5.503 * [taylor]: Taking taylor expansion of 9.0 in t
5.503 * [taylor]: Taking taylor expansion of (* t z) in t
5.503 * [taylor]: Taking taylor expansion of t in t
5.503 * [taylor]: Taking taylor expansion of z in t
5.503 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t
5.503 * [taylor]: Taking taylor expansion of 9.0 in t
5.503 * [taylor]: Taking taylor expansion of (* t z) in t
5.503 * [taylor]: Taking taylor expansion of t in t
5.503 * [taylor]: Taking taylor expansion of z in t
5.504 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z
5.504 * [taylor]: Taking taylor expansion of 9.0 in z
5.504 * [taylor]: Taking taylor expansion of z in z
5.504 * [taylor]: Taking taylor expansion of 0 in z
5.504 * [taylor]: Taking taylor expansion of 0 in z
5.504 * [taylor]: Taking taylor expansion of 0 in z
5.504 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.504 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in (x a b) around 0
5.504 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b
5.505 * [taylor]: Taking taylor expansion of (* 2.0 x) in b
5.505 * [taylor]: Taking taylor expansion of 2.0 in b
5.505 * [taylor]: Taking taylor expansion of x in b
5.505 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b
5.505 * [taylor]: Taking taylor expansion of 27.0 in b
5.505 * [taylor]: Taking taylor expansion of (* a b) in b
5.505 * [taylor]: Taking taylor expansion of a in b
5.505 * [taylor]: Taking taylor expansion of b in b
5.505 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a
5.505 * [taylor]: Taking taylor expansion of (* 2.0 x) in a
5.505 * [taylor]: Taking taylor expansion of 2.0 in a
5.505 * [taylor]: Taking taylor expansion of x in a
5.505 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.505 * [taylor]: Taking taylor expansion of 27.0 in a
5.505 * [taylor]: Taking taylor expansion of (* a b) in a
5.505 * [taylor]: Taking taylor expansion of a in a
5.505 * [taylor]: Taking taylor expansion of b in a
5.505 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
5.505 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.505 * [taylor]: Taking taylor expansion of 2.0 in x
5.505 * [taylor]: Taking taylor expansion of x in x
5.505 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
5.505 * [taylor]: Taking taylor expansion of 27.0 in x
5.505 * [taylor]: Taking taylor expansion of (* a b) in x
5.505 * [taylor]: Taking taylor expansion of a in x
5.505 * [taylor]: Taking taylor expansion of b in x
5.505 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x
5.505 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
5.505 * [taylor]: Taking taylor expansion of 2.0 in x
5.505 * [taylor]: Taking taylor expansion of x in x
5.505 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x
5.505 * [taylor]: Taking taylor expansion of 27.0 in x
5.505 * [taylor]: Taking taylor expansion of (* a b) in x
5.505 * [taylor]: Taking taylor expansion of a in x
5.505 * [taylor]: Taking taylor expansion of b in x
5.505 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a
5.505 * [taylor]: Taking taylor expansion of 27.0 in a
5.505 * [taylor]: Taking taylor expansion of (* a b) in a
5.505 * [taylor]: Taking taylor expansion of a in a
5.505 * [taylor]: Taking taylor expansion of b in a
5.505 * [taylor]: Taking taylor expansion of 0 in b
5.505 * [taylor]: Taking taylor expansion of 2.0 in a
5.506 * [taylor]: Taking taylor expansion of 2.0 in b
5.506 * [taylor]: Taking taylor expansion of (* 27.0 b) in b
5.506 * [taylor]: Taking taylor expansion of 27.0 in b
5.506 * [taylor]: Taking taylor expansion of b in b
5.506 * [taylor]: Taking taylor expansion of 0 in a
5.506 * [taylor]: Taking taylor expansion of 0 in b
5.506 * [taylor]: Taking taylor expansion of 0 in b
5.506 * [taylor]: Taking taylor expansion of 0 in b
5.506 * [approximate]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
5.506 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
5.506 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
5.506 * [taylor]: Taking taylor expansion of 27.0 in b
5.506 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
5.506 * [taylor]: Taking taylor expansion of (* a b) in b
5.506 * [taylor]: Taking taylor expansion of a in b
5.506 * [taylor]: Taking taylor expansion of b in b
5.506 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
5.506 * [taylor]: Taking taylor expansion of 2.0 in b
5.506 * [taylor]: Taking taylor expansion of (/ 1 x) in b
5.506 * [taylor]: Taking taylor expansion of x in b
5.506 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
5.507 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.507 * [taylor]: Taking taylor expansion of 27.0 in a
5.507 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.507 * [taylor]: Taking taylor expansion of (* a b) in a
5.507 * [taylor]: Taking taylor expansion of a in a
5.507 * [taylor]: Taking taylor expansion of b in a
5.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
5.507 * [taylor]: Taking taylor expansion of 2.0 in a
5.507 * [taylor]: Taking taylor expansion of (/ 1 x) in a
5.507 * [taylor]: Taking taylor expansion of x in a
5.507 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.507 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.507 * [taylor]: Taking taylor expansion of 27.0 in x
5.507 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.507 * [taylor]: Taking taylor expansion of (* a b) in x
5.507 * [taylor]: Taking taylor expansion of a in x
5.507 * [taylor]: Taking taylor expansion of b in x
5.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.507 * [taylor]: Taking taylor expansion of 2.0 in x
5.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.507 * [taylor]: Taking taylor expansion of x in x
5.507 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.507 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.507 * [taylor]: Taking taylor expansion of 27.0 in x
5.507 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.507 * [taylor]: Taking taylor expansion of (* a b) in x
5.507 * [taylor]: Taking taylor expansion of a in x
5.507 * [taylor]: Taking taylor expansion of b in x
5.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.507 * [taylor]: Taking taylor expansion of 2.0 in x
5.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.507 * [taylor]: Taking taylor expansion of x in x
5.507 * [taylor]: Taking taylor expansion of 2.0 in a
5.507 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.508 * [taylor]: Taking taylor expansion of 27.0 in a
5.508 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.508 * [taylor]: Taking taylor expansion of (* a b) in a
5.508 * [taylor]: Taking taylor expansion of a in a
5.508 * [taylor]: Taking taylor expansion of b in a
5.508 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.508 * [taylor]: Taking taylor expansion of 27.0 in b
5.508 * [taylor]: Taking taylor expansion of b in b
5.508 * [taylor]: Taking taylor expansion of 2.0 in b
5.508 * [taylor]: Taking taylor expansion of 0 in a
5.508 * [taylor]: Taking taylor expansion of 0 in b
5.508 * [taylor]: Taking taylor expansion of 0 in b
5.509 * [taylor]: Taking taylor expansion of 0 in a
5.509 * [taylor]: Taking taylor expansion of 0 in b
5.509 * [taylor]: Taking taylor expansion of 0 in b
5.509 * [taylor]: Taking taylor expansion of 0 in b
5.509 * [taylor]: Taking taylor expansion of 0 in a
5.509 * [taylor]: Taking taylor expansion of 0 in b
5.509 * [taylor]: Taking taylor expansion of 0 in b
5.510 * [taylor]: Taking taylor expansion of 0 in b
5.510 * [taylor]: Taking taylor expansion of 0 in b
5.510 * [approximate]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in (x a b) around 0
5.510 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b
5.510 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b
5.510 * [taylor]: Taking taylor expansion of 27.0 in b
5.510 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b
5.510 * [taylor]: Taking taylor expansion of (* a b) in b
5.510 * [taylor]: Taking taylor expansion of a in b
5.510 * [taylor]: Taking taylor expansion of b in b
5.510 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b
5.510 * [taylor]: Taking taylor expansion of 2.0 in b
5.510 * [taylor]: Taking taylor expansion of (/ 1 x) in b
5.510 * [taylor]: Taking taylor expansion of x in b
5.510 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a
5.510 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.510 * [taylor]: Taking taylor expansion of 27.0 in a
5.510 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.510 * [taylor]: Taking taylor expansion of (* a b) in a
5.510 * [taylor]: Taking taylor expansion of a in a
5.510 * [taylor]: Taking taylor expansion of b in a
5.511 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a
5.511 * [taylor]: Taking taylor expansion of 2.0 in a
5.511 * [taylor]: Taking taylor expansion of (/ 1 x) in a
5.511 * [taylor]: Taking taylor expansion of x in a
5.511 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.511 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.511 * [taylor]: Taking taylor expansion of 27.0 in x
5.511 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.511 * [taylor]: Taking taylor expansion of (* a b) in x
5.511 * [taylor]: Taking taylor expansion of a in x
5.511 * [taylor]: Taking taylor expansion of b in x
5.511 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.511 * [taylor]: Taking taylor expansion of 2.0 in x
5.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.511 * [taylor]: Taking taylor expansion of x in x
5.511 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x
5.511 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x
5.511 * [taylor]: Taking taylor expansion of 27.0 in x
5.511 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x
5.511 * [taylor]: Taking taylor expansion of (* a b) in x
5.511 * [taylor]: Taking taylor expansion of a in x
5.511 * [taylor]: Taking taylor expansion of b in x
5.511 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
5.511 * [taylor]: Taking taylor expansion of 2.0 in x
5.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.511 * [taylor]: Taking taylor expansion of x in x
5.511 * [taylor]: Taking taylor expansion of (neg 2.0) in a
5.511 * [taylor]: Taking taylor expansion of 2.0 in a
5.511 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a
5.511 * [taylor]: Taking taylor expansion of 27.0 in a
5.511 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
5.511 * [taylor]: Taking taylor expansion of (* a b) in a
5.511 * [taylor]: Taking taylor expansion of a in a
5.511 * [taylor]: Taking taylor expansion of b in a
5.512 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b
5.512 * [taylor]: Taking taylor expansion of 27.0 in b
5.512 * [taylor]: Taking taylor expansion of b in b
5.512 * [taylor]: Taking taylor expansion of (neg 2.0) in b
5.512 * [taylor]: Taking taylor expansion of 2.0 in b
5.512 * [taylor]: Taking taylor expansion of 0 in a
5.512 * [taylor]: Taking taylor expansion of 0 in b
5.512 * [taylor]: Taking taylor expansion of 0 in b
5.513 * [taylor]: Taking taylor expansion of 0 in a
5.513 * [taylor]: Taking taylor expansion of 0 in b
5.513 * [taylor]: Taking taylor expansion of 0 in b
5.513 * [taylor]: Taking taylor expansion of 0 in b
5.513 * [taylor]: Taking taylor expansion of 0 in a
5.513 * [taylor]: Taking taylor expansion of 0 in b
5.513 * [taylor]: Taking taylor expansion of 0 in b
5.514 * [taylor]: Taking taylor expansion of 0 in b
5.514 * [taylor]: Taking taylor expansion of 0 in b
5.514 * * * [progress]: simplifying candidates
5.515 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (+ (+ (log 9.0) (+ (log t) (log z))) (log y))
  (+ (+ (log 9.0) (log (* t z))) (log y))
  (+ (log (* 9.0 (* t z))) (log y))
  (log (* (* 9.0 (* t z)) y))
  (exp (* (* 9.0 (* t z)) y))
  (* (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* z z) z))) (* (* y y) y))
  (* (* (* (* 9.0 9.0) 9.0) (* (* (* t z) (* t z)) (* t z))) (* (* y y) y))
  (* (* (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* 9.0 (* t z))) (* (* y y) y))
  (* (cbrt (* (* 9.0 (* t z)) y)) (cbrt (* (* 9.0 (* t z)) y)))
  (cbrt (* (* 9.0 (* t z)) y))
  (* (* (* (* 9.0 (* t z)) y) (* (* 9.0 (* t z)) y)) (* (* 9.0 (* t z)) y))
  (sqrt (* (* 9.0 (* t z)) y))
  (sqrt (* (* 9.0 (* t z)) y))
  (* (* 9.0 (* t z)) (* (cbrt y) (cbrt y)))
  (* (* 9.0 (* t z)) (sqrt y))
  (* (* 9.0 (* t z)) 1)
  (* (* t z) y)
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (+ (log 27.0) (+ (log a) (log b)))
  (+ (log 27.0) (log (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a a) a) (* (* b b) b)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* a b) (* a b)) (* a b)))
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (* (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (+ (log 9.0) (+ (log t) (log z)))
  (+ (log 9.0) (log (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t t) t) (* (* z z) z)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* t z) (* t z)) (* t z)))
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (* (* (* 9.0 (* t z)) (* 9.0 (* t z))) (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (* (exp (* 2.0 x)) (exp (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (* (+ (* 2.0 x) (* 27.0 (* a b))) (+ (* 2.0 x) (* 27.0 (* a b)))) (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 2.0 x) (* 2.0 x)) (- (* (* 27.0 (* a b)) (* 27.0 (* a b))) (* (* 2.0 x) (* 27.0 (* a b)))))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  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) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
5.518 * * [simplify]: iteration  0 :  123  enodes  (cost  756 )
5.540 * * [simplify]: iteration  1 :  337  enodes  (cost  725 )
5.620 * * [simplify]: iteration  2 :  1306  enodes  (cost  601 )
6.005 * * [simplify]: iteration  done :  5000  enodes  (cost  601 )
6.005 * [simplify]: Simplified to:
   (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (* (* 9.0 (* t z)) y)
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (log (* 9.0 (* t (* z y))))
  (exp (* (* 9.0 (* t z)) y))
  (pow (* (* 9.0 (* t z)) y) 3)
  (pow (* (* 9.0 (* t z)) y) 3)
  (pow (* (* 9.0 (* t z)) y) 3)
  (* (cbrt (* (* 9.0 (* t z)) y)) (cbrt (* (* 9.0 (* t z)) y)))
  (cbrt (* (* 9.0 (* t z)) y))
  (pow (* (* 9.0 (* t z)) y) 3)
  (sqrt (* (* 9.0 (* t z)) y))
  (sqrt (* (* 9.0 (* t z)) y))
  (* (* 9.0 (* t z)) (* (cbrt y) (cbrt y)))
  (* (* 9.0 (* t z)) (sqrt y))
  (* 9.0 (* t z))
  (* t (* z y))
  (* 27.0 (* a b))
  (* 27.0 (* a b))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (log (* 27.0 (* a b)))
  (exp (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (pow (* 27.0 (* a b)) 3)
  (* (cbrt (* 27.0 (* a b))) (cbrt (* 27.0 (* a b))))
  (cbrt (* 27.0 (* a b)))
  (pow (* 27.0 (* a b)) 3)
  (sqrt (* 27.0 (* a b)))
  (sqrt (* 27.0 (* a b)))
  (* 27.0 a)
  (* (cbrt 27.0) (* a b))
  (* (sqrt 27.0) (* a b))
  (* 27.0 (* a b))
  (* 9.0 (* t z))
  (* 9.0 (* t z))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (log (* 9.0 (* t z)))
  (exp (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (pow (* 9.0 (* t z)) 3)
  (* (cbrt (* 9.0 (* t z))) (cbrt (* 9.0 (* t z))))
  (cbrt (* 9.0 (* t z)))
  (pow (* 9.0 (* t z)) 3)
  (sqrt (* 9.0 (* t z)))
  (sqrt (* 9.0 (* t z)))
  (* 9.0 t)
  (* (cbrt 9.0) (* t z))
  (* (sqrt 9.0) (* t z))
  (* 9.0 (* t z))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (log (+ (* 2.0 x) (* 27.0 (* a b))))
  (exp (+ (* 2.0 x) (* 27.0 (* a b))))
  (* (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))) (cbrt (+ (* 2.0 x) (* 27.0 (* a b)))))
  (cbrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (pow (+ (* 2.0 x) (* 27.0 (* a b))) 3)
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (sqrt (+ (* 2.0 x) (* 27.0 (* a b))))
  (+ (pow (* 2.0 x) 3) (pow (* 27.0 (* a b)) 3))
  (+ (* (* 27.0 (* a b)) (- (* 27.0 (* a b)) (* 2.0 x))) (* (* 2.0 x) (* 2.0 x)))
  (- (* (* 2.0 x) (* 2.0 x)) (* (* 27.0 (* a b)) (* 27.0 (* a b))))
  (- (* 2.0 x) (* 27.0 (* a b)))
  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) (* 27.0 (* a b)))
  (+ (* 2.0 x) (* 27.0 (* a b)))
6.006 * * * [progress]: adding candidates to table
6.082 * [progress]: [Phase 3 of 3] Extracting.
6.082 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
6.085 * * * [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)
6.085 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
6.184 * * * * [regimes]: Trying to branch on (* a 27.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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)))))>)
6.257 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
6.365 * * * * [regimes]: Trying to branch on (* (* a 27.0) b) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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)))))>)
6.437 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
6.545 * * * * [regimes]: Trying to branch on (* y 9.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
6.620 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
6.727 * * * * [regimes]: Trying to branch on (* (* y 9.0) z) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
6.798 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
6.904 * * * * [regimes]: Trying to branch on (* (* (* y 9.0) z) t) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
6.975 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.071 * * * * [regimes]: Trying to branch on (* x 2.0) from (#<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
7.148 * * * * [regimes]: Trying to branch on (- (* x 2.0) (* (* (* y 9.0) z) t)) from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.257 * * * * [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) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))>)
7.331 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.426 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.519 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.626 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.720 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.828 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.924 * * * [regime]: Found split indices: #<option (#s(si 6 66) #s(si 7 188) #s(si 6 255))>
7.924 * [binary-search]: Only using regimes for bounds on (* y 9.0) and (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.924 * [regimes]: Found splitpoints: (#s(sp 6 (* y 9.0) -0.0014544364767717878) #s(sp 7 (* y 9.0) 8.360284362221155e-101) #s(sp 6 (* y 9.0) +nan.0)) , with alts (#<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 (* t z)) y)))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* (cbrt (* (* a 27.0) b)) (cbrt (* (* a 27.0) b))) (cbrt (* (* a 27.0) b)))))> #<alt (λ (x y z t a b) (+ (- (* x 2.0) (* (* (* (* y 9.0) (sqrt z)) (sqrt 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) (* (* (* y 9.0) z) t)) (* a (* 27.0 b))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)))> #<alt (λ (x y z t a b) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))>)
7.925 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* y 9.0) -0.0014544364767717878) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)) (if (<= (* y 9.0) 8.360284362221155e-101) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y))))
7.925 * * [simplify]: iteration  0 :  27  enodes  (cost  63 )
7.926 * * [simplify]: iteration  1 :  40  enodes  (cost  47 )
7.928 * * [simplify]: iteration  done :  40  enodes  (cost  47 )
7.928 * [simplify]: Simplified to:
   (if (or (<= (* y 9.0) -0.0014544364767717878) (not (<= (* y 9.0) 8.360284362221155e-101))) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* (* 9.0 t) z) y)) (- (+ (* 2.0 x) (* 27.0 (* a b))) (* (* 9.0 t) (* z y))))
10.653 * [regime-testing]: End program error score: 0.7298133683725979
10.794 * [regime-testing]: Target error score: 2.604970552679694