36.241 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.079 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.083 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.096 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.141 * * [simplify]: iteration  3 :  726  enodes  (cost  27 )
0.376 * * [simplify]: iteration  4 :  2118  enodes  (cost  27 )
1.207 * * [simplify]: iteration  5 :  3880  enodes  (cost  26 )
3.220 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
3.221 * [simplify]: Simplified to:
   (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
3.226 * * [progress]: iteration 1 / 4
3.226 * * * [progress]: picking best candidate
3.239 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
3.239 * * * [progress]: localizing error
3.263 * * * [progress]: generating rewritten candidates
3.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
3.343 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
3.364 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.371 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
3.380 * * * [progress]: generating series expansions
3.381 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
3.381 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
3.381 * [taylor]: Taking taylor expansion of 18.0 in t
3.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.381 * [taylor]: Taking taylor expansion of t in t
3.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.381 * [taylor]: Taking taylor expansion of x in t
3.381 * [taylor]: Taking taylor expansion of (* z y) in t
3.381 * [taylor]: Taking taylor expansion of z in t
3.381 * [taylor]: Taking taylor expansion of y in t
3.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
3.381 * [taylor]: Taking taylor expansion of 18.0 in z
3.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.381 * [taylor]: Taking taylor expansion of t in z
3.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.381 * [taylor]: Taking taylor expansion of x in z
3.381 * [taylor]: Taking taylor expansion of (* z y) in z
3.381 * [taylor]: Taking taylor expansion of z in z
3.381 * [taylor]: Taking taylor expansion of y in z
3.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
3.381 * [taylor]: Taking taylor expansion of 18.0 in y
3.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.381 * [taylor]: Taking taylor expansion of t in y
3.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.381 * [taylor]: Taking taylor expansion of x in y
3.382 * [taylor]: Taking taylor expansion of (* z y) in y
3.382 * [taylor]: Taking taylor expansion of z in y
3.382 * [taylor]: Taking taylor expansion of y in y
3.382 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.382 * [taylor]: Taking taylor expansion of 18.0 in x
3.382 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.382 * [taylor]: Taking taylor expansion of t in x
3.382 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.382 * [taylor]: Taking taylor expansion of x in x
3.382 * [taylor]: Taking taylor expansion of (* z y) in x
3.382 * [taylor]: Taking taylor expansion of z in x
3.382 * [taylor]: Taking taylor expansion of y in x
3.382 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.382 * [taylor]: Taking taylor expansion of 18.0 in x
3.382 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.382 * [taylor]: Taking taylor expansion of t in x
3.382 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.382 * [taylor]: Taking taylor expansion of x in x
3.382 * [taylor]: Taking taylor expansion of (* z y) in x
3.382 * [taylor]: Taking taylor expansion of z in x
3.382 * [taylor]: Taking taylor expansion of y in x
3.383 * [taylor]: Taking taylor expansion of 0 in y
3.383 * [taylor]: Taking taylor expansion of 0 in z
3.383 * [taylor]: Taking taylor expansion of 0 in t
3.384 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.384 * [taylor]: Taking taylor expansion of 18.0 in y
3.384 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.384 * [taylor]: Taking taylor expansion of t in y
3.384 * [taylor]: Taking taylor expansion of (* z y) in y
3.384 * [taylor]: Taking taylor expansion of z in y
3.384 * [taylor]: Taking taylor expansion of y in y
3.384 * [taylor]: Taking taylor expansion of 0 in z
3.384 * [taylor]: Taking taylor expansion of 0 in t
3.385 * [taylor]: Taking taylor expansion of 0 in z
3.385 * [taylor]: Taking taylor expansion of 0 in t
3.385 * [taylor]: Taking taylor expansion of 0 in t
3.386 * [taylor]: Taking taylor expansion of 0 in y
3.387 * [taylor]: Taking taylor expansion of 0 in z
3.387 * [taylor]: Taking taylor expansion of 0 in t
3.387 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.387 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.387 * [taylor]: Taking taylor expansion of 18.0 in t
3.387 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.387 * [taylor]: Taking taylor expansion of t in t
3.387 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.387 * [taylor]: Taking taylor expansion of x in t
3.387 * [taylor]: Taking taylor expansion of (* z y) in t
3.387 * [taylor]: Taking taylor expansion of z in t
3.387 * [taylor]: Taking taylor expansion of y in t
3.388 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.388 * [taylor]: Taking taylor expansion of 18.0 in z
3.388 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.388 * [taylor]: Taking taylor expansion of t in z
3.388 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.388 * [taylor]: Taking taylor expansion of x in z
3.388 * [taylor]: Taking taylor expansion of (* z y) in z
3.388 * [taylor]: Taking taylor expansion of z in z
3.388 * [taylor]: Taking taylor expansion of y in z
3.389 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.389 * [taylor]: Taking taylor expansion of 18.0 in y
3.389 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.389 * [taylor]: Taking taylor expansion of t in y
3.389 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.389 * [taylor]: Taking taylor expansion of x in y
3.389 * [taylor]: Taking taylor expansion of (* z y) in y
3.389 * [taylor]: Taking taylor expansion of z in y
3.389 * [taylor]: Taking taylor expansion of y in y
3.390 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.390 * [taylor]: Taking taylor expansion of 18.0 in x
3.390 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.390 * [taylor]: Taking taylor expansion of t in x
3.390 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.390 * [taylor]: Taking taylor expansion of x in x
3.390 * [taylor]: Taking taylor expansion of (* z y) in x
3.390 * [taylor]: Taking taylor expansion of z in x
3.390 * [taylor]: Taking taylor expansion of y in x
3.391 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.391 * [taylor]: Taking taylor expansion of 18.0 in x
3.391 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.391 * [taylor]: Taking taylor expansion of t in x
3.391 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.391 * [taylor]: Taking taylor expansion of x in x
3.391 * [taylor]: Taking taylor expansion of (* z y) in x
3.391 * [taylor]: Taking taylor expansion of z in x
3.391 * [taylor]: Taking taylor expansion of y in x
3.392 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.392 * [taylor]: Taking taylor expansion of 18.0 in y
3.392 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.392 * [taylor]: Taking taylor expansion of t in y
3.392 * [taylor]: Taking taylor expansion of (* z y) in y
3.392 * [taylor]: Taking taylor expansion of z in y
3.392 * [taylor]: Taking taylor expansion of y in y
3.393 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.393 * [taylor]: Taking taylor expansion of 18.0 in z
3.393 * [taylor]: Taking taylor expansion of (* t z) in z
3.393 * [taylor]: Taking taylor expansion of t in z
3.393 * [taylor]: Taking taylor expansion of z in z
3.393 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.393 * [taylor]: Taking taylor expansion of 18.0 in t
3.393 * [taylor]: Taking taylor expansion of t in t
3.395 * [taylor]: Taking taylor expansion of 0 in y
3.396 * [taylor]: Taking taylor expansion of 0 in z
3.396 * [taylor]: Taking taylor expansion of 0 in t
3.399 * [taylor]: Taking taylor expansion of 0 in y
3.399 * [taylor]: Taking taylor expansion of 0 in z
3.400 * [taylor]: Taking taylor expansion of 0 in z
3.400 * [taylor]: Taking taylor expansion of 0 in t
3.401 * [taylor]: Taking taylor expansion of 0 in t
3.405 * [taylor]: Taking taylor expansion of 0 in y
3.405 * [taylor]: Taking taylor expansion of 0 in z
3.405 * [taylor]: Taking taylor expansion of 0 in z
3.409 * [taylor]: Taking taylor expansion of 0 in z
3.410 * [taylor]: Taking taylor expansion of 0 in t
3.410 * [taylor]: Taking taylor expansion of 0 in t
3.410 * [taylor]: Taking taylor expansion of 0 in t
3.411 * [taylor]: Taking taylor expansion of 0 in t
3.411 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.412 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.412 * [taylor]: Taking taylor expansion of 18.0 in t
3.412 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.412 * [taylor]: Taking taylor expansion of t in t
3.412 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.412 * [taylor]: Taking taylor expansion of x in t
3.412 * [taylor]: Taking taylor expansion of (* z y) in t
3.412 * [taylor]: Taking taylor expansion of z in t
3.412 * [taylor]: Taking taylor expansion of y in t
3.412 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.412 * [taylor]: Taking taylor expansion of 18.0 in z
3.412 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.412 * [taylor]: Taking taylor expansion of t in z
3.412 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.412 * [taylor]: Taking taylor expansion of x in z
3.412 * [taylor]: Taking taylor expansion of (* z y) in z
3.412 * [taylor]: Taking taylor expansion of z in z
3.412 * [taylor]: Taking taylor expansion of y in z
3.414 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.414 * [taylor]: Taking taylor expansion of 18.0 in y
3.414 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.414 * [taylor]: Taking taylor expansion of t in y
3.414 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.414 * [taylor]: Taking taylor expansion of x in y
3.414 * [taylor]: Taking taylor expansion of (* z y) in y
3.414 * [taylor]: Taking taylor expansion of z in y
3.414 * [taylor]: Taking taylor expansion of y in y
3.415 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.415 * [taylor]: Taking taylor expansion of 18.0 in x
3.415 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.415 * [taylor]: Taking taylor expansion of t in x
3.415 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.415 * [taylor]: Taking taylor expansion of x in x
3.415 * [taylor]: Taking taylor expansion of (* z y) in x
3.415 * [taylor]: Taking taylor expansion of z in x
3.415 * [taylor]: Taking taylor expansion of y in x
3.416 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.416 * [taylor]: Taking taylor expansion of 18.0 in x
3.416 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.416 * [taylor]: Taking taylor expansion of t in x
3.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.416 * [taylor]: Taking taylor expansion of x in x
3.416 * [taylor]: Taking taylor expansion of (* z y) in x
3.416 * [taylor]: Taking taylor expansion of z in x
3.416 * [taylor]: Taking taylor expansion of y in x
3.417 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.417 * [taylor]: Taking taylor expansion of 18.0 in y
3.417 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.417 * [taylor]: Taking taylor expansion of t in y
3.417 * [taylor]: Taking taylor expansion of (* z y) in y
3.417 * [taylor]: Taking taylor expansion of z in y
3.417 * [taylor]: Taking taylor expansion of y in y
3.418 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.418 * [taylor]: Taking taylor expansion of 18.0 in z
3.418 * [taylor]: Taking taylor expansion of (* t z) in z
3.418 * [taylor]: Taking taylor expansion of t in z
3.418 * [taylor]: Taking taylor expansion of z in z
3.418 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.418 * [taylor]: Taking taylor expansion of 18.0 in t
3.418 * [taylor]: Taking taylor expansion of t in t
3.420 * [taylor]: Taking taylor expansion of 0 in y
3.421 * [taylor]: Taking taylor expansion of 0 in z
3.421 * [taylor]: Taking taylor expansion of 0 in t
3.424 * [taylor]: Taking taylor expansion of 0 in y
3.424 * [taylor]: Taking taylor expansion of 0 in z
3.425 * [taylor]: Taking taylor expansion of 0 in z
3.426 * [taylor]: Taking taylor expansion of 0 in t
3.426 * [taylor]: Taking taylor expansion of 0 in t
3.430 * [taylor]: Taking taylor expansion of 0 in y
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.430 * [taylor]: Taking taylor expansion of 0 in z
3.432 * [taylor]: Taking taylor expansion of 0 in z
3.432 * [taylor]: Taking taylor expansion of 0 in t
3.432 * [taylor]: Taking taylor expansion of 0 in t
3.432 * [taylor]: Taking taylor expansion of 0 in t
3.433 * [taylor]: Taking taylor expansion of 0 in t
3.433 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
3.433 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
3.433 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
3.433 * [taylor]: Taking taylor expansion of 18.0 in z
3.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.433 * [taylor]: Taking taylor expansion of x in z
3.433 * [taylor]: Taking taylor expansion of (* z y) in z
3.433 * [taylor]: Taking taylor expansion of z in z
3.433 * [taylor]: Taking taylor expansion of y in z
3.433 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
3.433 * [taylor]: Taking taylor expansion of 18.0 in y
3.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.433 * [taylor]: Taking taylor expansion of x in y
3.433 * [taylor]: Taking taylor expansion of (* z y) in y
3.433 * [taylor]: Taking taylor expansion of z in y
3.433 * [taylor]: Taking taylor expansion of y in y
3.433 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.433 * [taylor]: Taking taylor expansion of 18.0 in x
3.433 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.433 * [taylor]: Taking taylor expansion of x in x
3.433 * [taylor]: Taking taylor expansion of (* z y) in x
3.433 * [taylor]: Taking taylor expansion of z in x
3.433 * [taylor]: Taking taylor expansion of y in x
3.433 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.433 * [taylor]: Taking taylor expansion of 18.0 in x
3.434 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.434 * [taylor]: Taking taylor expansion of x in x
3.434 * [taylor]: Taking taylor expansion of (* z y) in x
3.434 * [taylor]: Taking taylor expansion of z in x
3.434 * [taylor]: Taking taylor expansion of y in x
3.434 * [taylor]: Taking taylor expansion of 0 in y
3.434 * [taylor]: Taking taylor expansion of 0 in z
3.435 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
3.435 * [taylor]: Taking taylor expansion of 18.0 in y
3.435 * [taylor]: Taking taylor expansion of (* z y) in y
3.435 * [taylor]: Taking taylor expansion of z in y
3.435 * [taylor]: Taking taylor expansion of y in y
3.435 * [taylor]: Taking taylor expansion of 0 in z
3.435 * [taylor]: Taking taylor expansion of 0 in z
3.437 * [taylor]: Taking taylor expansion of 0 in y
3.437 * [taylor]: Taking taylor expansion of 0 in z
3.437 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
3.437 * [taylor]: Taking taylor expansion of 18.0 in z
3.438 * [taylor]: Taking taylor expansion of z in z
3.438 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
3.438 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
3.438 * [taylor]: Taking taylor expansion of 18.0 in z
3.438 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.438 * [taylor]: Taking taylor expansion of x in z
3.438 * [taylor]: Taking taylor expansion of (* z y) in z
3.438 * [taylor]: Taking taylor expansion of z in z
3.438 * [taylor]: Taking taylor expansion of y in z
3.439 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
3.439 * [taylor]: Taking taylor expansion of 18.0 in y
3.439 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.439 * [taylor]: Taking taylor expansion of x in y
3.439 * [taylor]: Taking taylor expansion of (* z y) in y
3.439 * [taylor]: Taking taylor expansion of z in y
3.439 * [taylor]: Taking taylor expansion of y in y
3.440 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.440 * [taylor]: Taking taylor expansion of 18.0 in x
3.440 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.440 * [taylor]: Taking taylor expansion of x in x
3.440 * [taylor]: Taking taylor expansion of (* z y) in x
3.440 * [taylor]: Taking taylor expansion of z in x
3.440 * [taylor]: Taking taylor expansion of y in x
3.440 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.440 * [taylor]: Taking taylor expansion of 18.0 in x
3.440 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.440 * [taylor]: Taking taylor expansion of x in x
3.440 * [taylor]: Taking taylor expansion of (* z y) in x
3.440 * [taylor]: Taking taylor expansion of z in x
3.440 * [taylor]: Taking taylor expansion of y in x
3.441 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
3.441 * [taylor]: Taking taylor expansion of 18.0 in y
3.441 * [taylor]: Taking taylor expansion of (* z y) in y
3.441 * [taylor]: Taking taylor expansion of z in y
3.441 * [taylor]: Taking taylor expansion of y in y
3.441 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
3.441 * [taylor]: Taking taylor expansion of 18.0 in z
3.441 * [taylor]: Taking taylor expansion of z in z
3.443 * [taylor]: Taking taylor expansion of 0 in y
3.443 * [taylor]: Taking taylor expansion of 0 in z
3.445 * [taylor]: Taking taylor expansion of 0 in y
3.445 * [taylor]: Taking taylor expansion of 0 in z
3.446 * [taylor]: Taking taylor expansion of 0 in z
3.448 * [taylor]: Taking taylor expansion of 0 in y
3.449 * [taylor]: Taking taylor expansion of 0 in z
3.449 * [taylor]: Taking taylor expansion of 0 in z
3.449 * [taylor]: Taking taylor expansion of 0 in z
3.450 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
3.450 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
3.450 * [taylor]: Taking taylor expansion of -18.0 in z
3.450 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.450 * [taylor]: Taking taylor expansion of x in z
3.450 * [taylor]: Taking taylor expansion of (* z y) in z
3.450 * [taylor]: Taking taylor expansion of z in z
3.450 * [taylor]: Taking taylor expansion of y in z
3.450 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
3.450 * [taylor]: Taking taylor expansion of -18.0 in y
3.450 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.450 * [taylor]: Taking taylor expansion of x in y
3.451 * [taylor]: Taking taylor expansion of (* z y) in y
3.451 * [taylor]: Taking taylor expansion of z in y
3.451 * [taylor]: Taking taylor expansion of y in y
3.451 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.451 * [taylor]: Taking taylor expansion of -18.0 in x
3.451 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.451 * [taylor]: Taking taylor expansion of x in x
3.451 * [taylor]: Taking taylor expansion of (* z y) in x
3.451 * [taylor]: Taking taylor expansion of z in x
3.451 * [taylor]: Taking taylor expansion of y in x
3.452 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.452 * [taylor]: Taking taylor expansion of -18.0 in x
3.452 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.452 * [taylor]: Taking taylor expansion of x in x
3.452 * [taylor]: Taking taylor expansion of (* z y) in x
3.452 * [taylor]: Taking taylor expansion of z in x
3.452 * [taylor]: Taking taylor expansion of y in x
3.452 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
3.452 * [taylor]: Taking taylor expansion of -18.0 in y
3.452 * [taylor]: Taking taylor expansion of (* z y) in y
3.452 * [taylor]: Taking taylor expansion of z in y
3.452 * [taylor]: Taking taylor expansion of y in y
3.453 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
3.453 * [taylor]: Taking taylor expansion of -18.0 in z
3.453 * [taylor]: Taking taylor expansion of z in z
3.454 * [taylor]: Taking taylor expansion of 0 in y
3.455 * [taylor]: Taking taylor expansion of 0 in z
3.457 * [taylor]: Taking taylor expansion of 0 in y
3.457 * [taylor]: Taking taylor expansion of 0 in z
3.457 * [taylor]: Taking taylor expansion of 0 in z
3.460 * [taylor]: Taking taylor expansion of 0 in y
3.460 * [taylor]: Taking taylor expansion of 0 in z
3.460 * [taylor]: Taking taylor expansion of 0 in z
3.461 * [taylor]: Taking taylor expansion of 0 in z
3.461 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.461 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
3.461 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
3.461 * [taylor]: Taking taylor expansion of 27.0 in k
3.461 * [taylor]: Taking taylor expansion of (* k j) in k
3.461 * [taylor]: Taking taylor expansion of k in k
3.461 * [taylor]: Taking taylor expansion of j in k
3.461 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.461 * [taylor]: Taking taylor expansion of 27.0 in j
3.461 * [taylor]: Taking taylor expansion of (* k j) in j
3.461 * [taylor]: Taking taylor expansion of k in j
3.461 * [taylor]: Taking taylor expansion of j in j
3.461 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.461 * [taylor]: Taking taylor expansion of 27.0 in j
3.461 * [taylor]: Taking taylor expansion of (* k j) in j
3.461 * [taylor]: Taking taylor expansion of k in j
3.461 * [taylor]: Taking taylor expansion of j in j
3.462 * [taylor]: Taking taylor expansion of 0 in k
3.463 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
3.463 * [taylor]: Taking taylor expansion of 27.0 in k
3.463 * [taylor]: Taking taylor expansion of k in k
3.464 * [taylor]: Taking taylor expansion of 0 in k
3.466 * [taylor]: Taking taylor expansion of 0 in k
3.469 * [taylor]: Taking taylor expansion of 0 in k
3.469 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.469 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.469 * [taylor]: Taking taylor expansion of 27.0 in k
3.469 * [taylor]: Taking taylor expansion of (* k j) in k
3.469 * [taylor]: Taking taylor expansion of k in k
3.469 * [taylor]: Taking taylor expansion of j in k
3.469 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.469 * [taylor]: Taking taylor expansion of 27.0 in j
3.469 * [taylor]: Taking taylor expansion of (* k j) in j
3.469 * [taylor]: Taking taylor expansion of k in j
3.469 * [taylor]: Taking taylor expansion of j in j
3.470 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.470 * [taylor]: Taking taylor expansion of 27.0 in j
3.470 * [taylor]: Taking taylor expansion of (* k j) in j
3.470 * [taylor]: Taking taylor expansion of k in j
3.470 * [taylor]: Taking taylor expansion of j in j
3.470 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.470 * [taylor]: Taking taylor expansion of 27.0 in k
3.470 * [taylor]: Taking taylor expansion of k in k
3.471 * [taylor]: Taking taylor expansion of 0 in k
3.472 * [taylor]: Taking taylor expansion of 0 in k
3.473 * [taylor]: Taking taylor expansion of 0 in k
3.474 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.474 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.474 * [taylor]: Taking taylor expansion of 27.0 in k
3.474 * [taylor]: Taking taylor expansion of (* k j) in k
3.474 * [taylor]: Taking taylor expansion of k in k
3.474 * [taylor]: Taking taylor expansion of j in k
3.475 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.475 * [taylor]: Taking taylor expansion of 27.0 in j
3.475 * [taylor]: Taking taylor expansion of (* k j) in j
3.475 * [taylor]: Taking taylor expansion of k in j
3.475 * [taylor]: Taking taylor expansion of j in j
3.475 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.475 * [taylor]: Taking taylor expansion of 27.0 in j
3.475 * [taylor]: Taking taylor expansion of (* k j) in j
3.475 * [taylor]: Taking taylor expansion of k in j
3.475 * [taylor]: Taking taylor expansion of j in j
3.476 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.476 * [taylor]: Taking taylor expansion of 27.0 in k
3.476 * [taylor]: Taking taylor expansion of k in k
3.476 * [taylor]: Taking taylor expansion of 0 in k
3.478 * [taylor]: Taking taylor expansion of 0 in k
3.479 * [taylor]: Taking taylor expansion of 0 in k
3.480 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
3.480 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
3.480 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
3.480 * [taylor]: Taking taylor expansion of 18.0 in y
3.480 * [taylor]: Taking taylor expansion of (* x y) in y
3.480 * [taylor]: Taking taylor expansion of x in y
3.480 * [taylor]: Taking taylor expansion of y in y
3.480 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
3.480 * [taylor]: Taking taylor expansion of 18.0 in x
3.480 * [taylor]: Taking taylor expansion of (* x y) in x
3.480 * [taylor]: Taking taylor expansion of x in x
3.480 * [taylor]: Taking taylor expansion of y in x
3.480 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
3.480 * [taylor]: Taking taylor expansion of 18.0 in x
3.480 * [taylor]: Taking taylor expansion of (* x y) in x
3.480 * [taylor]: Taking taylor expansion of x in x
3.480 * [taylor]: Taking taylor expansion of y in x
3.481 * [taylor]: Taking taylor expansion of 0 in y
3.481 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
3.481 * [taylor]: Taking taylor expansion of 18.0 in y
3.481 * [taylor]: Taking taylor expansion of y in y
3.483 * [taylor]: Taking taylor expansion of 0 in y
3.485 * [taylor]: Taking taylor expansion of 0 in y
3.488 * [taylor]: Taking taylor expansion of 0 in y
3.488 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
3.488 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
3.488 * [taylor]: Taking taylor expansion of 18.0 in y
3.488 * [taylor]: Taking taylor expansion of (* x y) in y
3.488 * [taylor]: Taking taylor expansion of x in y
3.488 * [taylor]: Taking taylor expansion of y in y
3.489 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.489 * [taylor]: Taking taylor expansion of 18.0 in x
3.489 * [taylor]: Taking taylor expansion of (* x y) in x
3.489 * [taylor]: Taking taylor expansion of x in x
3.489 * [taylor]: Taking taylor expansion of y in x
3.489 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.489 * [taylor]: Taking taylor expansion of 18.0 in x
3.489 * [taylor]: Taking taylor expansion of (* x y) in x
3.489 * [taylor]: Taking taylor expansion of x in x
3.489 * [taylor]: Taking taylor expansion of y in x
3.490 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
3.490 * [taylor]: Taking taylor expansion of 18.0 in y
3.490 * [taylor]: Taking taylor expansion of y in y
3.491 * [taylor]: Taking taylor expansion of 0 in y
3.492 * [taylor]: Taking taylor expansion of 0 in y
3.494 * [taylor]: Taking taylor expansion of 0 in y
3.495 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
3.495 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
3.495 * [taylor]: Taking taylor expansion of 18.0 in y
3.495 * [taylor]: Taking taylor expansion of (* x y) in y
3.495 * [taylor]: Taking taylor expansion of x in y
3.495 * [taylor]: Taking taylor expansion of y in y
3.495 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.495 * [taylor]: Taking taylor expansion of 18.0 in x
3.495 * [taylor]: Taking taylor expansion of (* x y) in x
3.495 * [taylor]: Taking taylor expansion of x in x
3.495 * [taylor]: Taking taylor expansion of y in x
3.496 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.496 * [taylor]: Taking taylor expansion of 18.0 in x
3.496 * [taylor]: Taking taylor expansion of (* x y) in x
3.496 * [taylor]: Taking taylor expansion of x in x
3.496 * [taylor]: Taking taylor expansion of y in x
3.496 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
3.496 * [taylor]: Taking taylor expansion of 18.0 in y
3.496 * [taylor]: Taking taylor expansion of y in y
3.497 * [taylor]: Taking taylor expansion of 0 in y
3.498 * [taylor]: Taking taylor expansion of 0 in y
3.500 * [taylor]: Taking taylor expansion of 0 in y
3.501 * * * [progress]: simplifying candidates
3.505 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
3.509 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
3.533 * * [simplify]: iteration  1 :  378  enodes  (cost  944 )
3.644 * * [simplify]: iteration  2 :  1971  enodes  (cost  738 )
4.425 * * [simplify]: iteration  done :  5000  enodes  (cost  738 )
4.426 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
4.426 * * * [progress]: adding candidates to table
4.800 * * [progress]: iteration 2 / 4
4.801 * * * [progress]: picking best candidate
4.841 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>
4.841 * * * [progress]: localizing error
4.870 * * * [progress]: generating rewritten candidates
4.870 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.947 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
4.971 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.977 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
4.987 * * * [progress]: generating series expansions
4.987 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
4.987 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.987 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
4.987 * [taylor]: Taking taylor expansion of 18.0 in t
4.988 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.988 * [taylor]: Taking taylor expansion of t in t
4.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.988 * [taylor]: Taking taylor expansion of x in t
4.988 * [taylor]: Taking taylor expansion of (* z y) in t
4.988 * [taylor]: Taking taylor expansion of z in t
4.988 * [taylor]: Taking taylor expansion of y in t
4.988 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
4.988 * [taylor]: Taking taylor expansion of 18.0 in z
4.988 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.988 * [taylor]: Taking taylor expansion of t in z
4.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.988 * [taylor]: Taking taylor expansion of x in z
4.988 * [taylor]: Taking taylor expansion of (* z y) in z
4.988 * [taylor]: Taking taylor expansion of z in z
4.988 * [taylor]: Taking taylor expansion of y in z
4.988 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
4.988 * [taylor]: Taking taylor expansion of 18.0 in y
4.988 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.988 * [taylor]: Taking taylor expansion of t in y
4.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.988 * [taylor]: Taking taylor expansion of x in y
4.988 * [taylor]: Taking taylor expansion of (* z y) in y
4.988 * [taylor]: Taking taylor expansion of z in y
4.988 * [taylor]: Taking taylor expansion of y in y
4.988 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.988 * [taylor]: Taking taylor expansion of 18.0 in x
4.988 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.988 * [taylor]: Taking taylor expansion of t in x
4.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.988 * [taylor]: Taking taylor expansion of x in x
4.988 * [taylor]: Taking taylor expansion of (* z y) in x
4.988 * [taylor]: Taking taylor expansion of z in x
4.988 * [taylor]: Taking taylor expansion of y in x
4.988 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.988 * [taylor]: Taking taylor expansion of 18.0 in x
4.988 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.988 * [taylor]: Taking taylor expansion of t in x
4.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.988 * [taylor]: Taking taylor expansion of x in x
4.988 * [taylor]: Taking taylor expansion of (* z y) in x
4.988 * [taylor]: Taking taylor expansion of z in x
4.988 * [taylor]: Taking taylor expansion of y in x
4.989 * [taylor]: Taking taylor expansion of 0 in y
4.989 * [taylor]: Taking taylor expansion of 0 in z
4.989 * [taylor]: Taking taylor expansion of 0 in t
4.990 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
4.990 * [taylor]: Taking taylor expansion of 18.0 in y
4.990 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.990 * [taylor]: Taking taylor expansion of t in y
4.990 * [taylor]: Taking taylor expansion of (* z y) in y
4.990 * [taylor]: Taking taylor expansion of z in y
4.990 * [taylor]: Taking taylor expansion of y in y
4.991 * [taylor]: Taking taylor expansion of 0 in z
4.991 * [taylor]: Taking taylor expansion of 0 in t
4.991 * [taylor]: Taking taylor expansion of 0 in z
4.991 * [taylor]: Taking taylor expansion of 0 in t
4.991 * [taylor]: Taking taylor expansion of 0 in t
4.993 * [taylor]: Taking taylor expansion of 0 in y
4.993 * [taylor]: Taking taylor expansion of 0 in z
4.993 * [taylor]: Taking taylor expansion of 0 in t
4.993 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.993 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.993 * [taylor]: Taking taylor expansion of 18.0 in t
4.993 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.993 * [taylor]: Taking taylor expansion of t in t
4.993 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.993 * [taylor]: Taking taylor expansion of x in t
4.993 * [taylor]: Taking taylor expansion of (* z y) in t
4.993 * [taylor]: Taking taylor expansion of z in t
4.993 * [taylor]: Taking taylor expansion of y in t
4.994 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.994 * [taylor]: Taking taylor expansion of 18.0 in z
4.994 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.994 * [taylor]: Taking taylor expansion of t in z
4.994 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.994 * [taylor]: Taking taylor expansion of x in z
4.994 * [taylor]: Taking taylor expansion of (* z y) in z
4.994 * [taylor]: Taking taylor expansion of z in z
4.994 * [taylor]: Taking taylor expansion of y in z
4.995 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.995 * [taylor]: Taking taylor expansion of 18.0 in y
4.995 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.995 * [taylor]: Taking taylor expansion of t in y
4.995 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.995 * [taylor]: Taking taylor expansion of x in y
4.995 * [taylor]: Taking taylor expansion of (* z y) in y
4.995 * [taylor]: Taking taylor expansion of z in y
4.995 * [taylor]: Taking taylor expansion of y in y
4.996 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.996 * [taylor]: Taking taylor expansion of 18.0 in x
4.996 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.996 * [taylor]: Taking taylor expansion of t in x
4.996 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.997 * [taylor]: Taking taylor expansion of x in x
4.997 * [taylor]: Taking taylor expansion of (* z y) in x
4.997 * [taylor]: Taking taylor expansion of z in x
4.997 * [taylor]: Taking taylor expansion of y in x
4.997 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.997 * [taylor]: Taking taylor expansion of 18.0 in x
4.997 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.997 * [taylor]: Taking taylor expansion of t in x
4.997 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.997 * [taylor]: Taking taylor expansion of x in x
4.997 * [taylor]: Taking taylor expansion of (* z y) in x
4.997 * [taylor]: Taking taylor expansion of z in x
4.997 * [taylor]: Taking taylor expansion of y in x
4.998 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.998 * [taylor]: Taking taylor expansion of 18.0 in y
4.998 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.998 * [taylor]: Taking taylor expansion of t in y
4.998 * [taylor]: Taking taylor expansion of (* z y) in y
4.998 * [taylor]: Taking taylor expansion of z in y
4.998 * [taylor]: Taking taylor expansion of y in y
4.999 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.999 * [taylor]: Taking taylor expansion of 18.0 in z
4.999 * [taylor]: Taking taylor expansion of (* t z) in z
4.999 * [taylor]: Taking taylor expansion of t in z
4.999 * [taylor]: Taking taylor expansion of z in z
5.000 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.000 * [taylor]: Taking taylor expansion of 18.0 in t
5.000 * [taylor]: Taking taylor expansion of t in t
5.002 * [taylor]: Taking taylor expansion of 0 in y
5.003 * [taylor]: Taking taylor expansion of 0 in z
5.003 * [taylor]: Taking taylor expansion of 0 in t
5.006 * [taylor]: Taking taylor expansion of 0 in y
5.006 * [taylor]: Taking taylor expansion of 0 in z
5.007 * [taylor]: Taking taylor expansion of 0 in z
5.007 * [taylor]: Taking taylor expansion of 0 in t
5.008 * [taylor]: Taking taylor expansion of 0 in t
5.012 * [taylor]: Taking taylor expansion of 0 in y
5.012 * [taylor]: Taking taylor expansion of 0 in z
5.012 * [taylor]: Taking taylor expansion of 0 in z
5.013 * [taylor]: Taking taylor expansion of 0 in z
5.014 * [taylor]: Taking taylor expansion of 0 in t
5.014 * [taylor]: Taking taylor expansion of 0 in t
5.014 * [taylor]: Taking taylor expansion of 0 in t
5.014 * [taylor]: Taking taylor expansion of 0 in t
5.015 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.015 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.015 * [taylor]: Taking taylor expansion of 18.0 in t
5.015 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.015 * [taylor]: Taking taylor expansion of t in t
5.015 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.015 * [taylor]: Taking taylor expansion of x in t
5.015 * [taylor]: Taking taylor expansion of (* z y) in t
5.015 * [taylor]: Taking taylor expansion of z in t
5.015 * [taylor]: Taking taylor expansion of y in t
5.016 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.016 * [taylor]: Taking taylor expansion of 18.0 in z
5.016 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.016 * [taylor]: Taking taylor expansion of t in z
5.016 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.016 * [taylor]: Taking taylor expansion of x in z
5.016 * [taylor]: Taking taylor expansion of (* z y) in z
5.016 * [taylor]: Taking taylor expansion of z in z
5.016 * [taylor]: Taking taylor expansion of y in z
5.017 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.017 * [taylor]: Taking taylor expansion of 18.0 in y
5.017 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.017 * [taylor]: Taking taylor expansion of t in y
5.017 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.017 * [taylor]: Taking taylor expansion of x in y
5.017 * [taylor]: Taking taylor expansion of (* z y) in y
5.017 * [taylor]: Taking taylor expansion of z in y
5.017 * [taylor]: Taking taylor expansion of y in y
5.018 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.018 * [taylor]: Taking taylor expansion of 18.0 in x
5.018 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.018 * [taylor]: Taking taylor expansion of t in x
5.018 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.018 * [taylor]: Taking taylor expansion of x in x
5.018 * [taylor]: Taking taylor expansion of (* z y) in x
5.018 * [taylor]: Taking taylor expansion of z in x
5.018 * [taylor]: Taking taylor expansion of y in x
5.019 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.019 * [taylor]: Taking taylor expansion of 18.0 in x
5.019 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.019 * [taylor]: Taking taylor expansion of t in x
5.019 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.019 * [taylor]: Taking taylor expansion of x in x
5.019 * [taylor]: Taking taylor expansion of (* z y) in x
5.019 * [taylor]: Taking taylor expansion of z in x
5.019 * [taylor]: Taking taylor expansion of y in x
5.020 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.020 * [taylor]: Taking taylor expansion of 18.0 in y
5.020 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.020 * [taylor]: Taking taylor expansion of t in y
5.020 * [taylor]: Taking taylor expansion of (* z y) in y
5.020 * [taylor]: Taking taylor expansion of z in y
5.020 * [taylor]: Taking taylor expansion of y in y
5.021 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.021 * [taylor]: Taking taylor expansion of 18.0 in z
5.021 * [taylor]: Taking taylor expansion of (* t z) in z
5.021 * [taylor]: Taking taylor expansion of t in z
5.021 * [taylor]: Taking taylor expansion of z in z
5.021 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.021 * [taylor]: Taking taylor expansion of 18.0 in t
5.021 * [taylor]: Taking taylor expansion of t in t
5.023 * [taylor]: Taking taylor expansion of 0 in y
5.024 * [taylor]: Taking taylor expansion of 0 in z
5.024 * [taylor]: Taking taylor expansion of 0 in t
5.027 * [taylor]: Taking taylor expansion of 0 in y
5.027 * [taylor]: Taking taylor expansion of 0 in z
5.028 * [taylor]: Taking taylor expansion of 0 in z
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.029 * [taylor]: Taking taylor expansion of 0 in t
5.033 * [taylor]: Taking taylor expansion of 0 in y
5.033 * [taylor]: Taking taylor expansion of 0 in z
5.033 * [taylor]: Taking taylor expansion of 0 in z
5.035 * [taylor]: Taking taylor expansion of 0 in z
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.035 * [taylor]: Taking taylor expansion of 0 in t
5.036 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
5.036 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
5.036 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
5.036 * [taylor]: Taking taylor expansion of 18.0 in z
5.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.036 * [taylor]: Taking taylor expansion of x in z
5.036 * [taylor]: Taking taylor expansion of (* z y) in z
5.036 * [taylor]: Taking taylor expansion of z in z
5.036 * [taylor]: Taking taylor expansion of y in z
5.036 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
5.036 * [taylor]: Taking taylor expansion of 18.0 in y
5.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.036 * [taylor]: Taking taylor expansion of x in y
5.036 * [taylor]: Taking taylor expansion of (* z y) in y
5.036 * [taylor]: Taking taylor expansion of z in y
5.036 * [taylor]: Taking taylor expansion of y in y
5.036 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.036 * [taylor]: Taking taylor expansion of 18.0 in x
5.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.036 * [taylor]: Taking taylor expansion of (* z y) in x
5.036 * [taylor]: Taking taylor expansion of z in x
5.036 * [taylor]: Taking taylor expansion of y in x
5.036 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.036 * [taylor]: Taking taylor expansion of 18.0 in x
5.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.036 * [taylor]: Taking taylor expansion of (* z y) in x
5.036 * [taylor]: Taking taylor expansion of z in x
5.036 * [taylor]: Taking taylor expansion of y in x
5.037 * [taylor]: Taking taylor expansion of 0 in y
5.037 * [taylor]: Taking taylor expansion of 0 in z
5.038 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
5.038 * [taylor]: Taking taylor expansion of 18.0 in y
5.038 * [taylor]: Taking taylor expansion of (* z y) in y
5.038 * [taylor]: Taking taylor expansion of z in y
5.038 * [taylor]: Taking taylor expansion of y in y
5.038 * [taylor]: Taking taylor expansion of 0 in z
5.038 * [taylor]: Taking taylor expansion of 0 in z
5.040 * [taylor]: Taking taylor expansion of 0 in y
5.040 * [taylor]: Taking taylor expansion of 0 in z
5.040 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
5.040 * [taylor]: Taking taylor expansion of 18.0 in z
5.040 * [taylor]: Taking taylor expansion of z in z
5.041 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
5.041 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
5.041 * [taylor]: Taking taylor expansion of 18.0 in z
5.041 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.041 * [taylor]: Taking taylor expansion of x in z
5.041 * [taylor]: Taking taylor expansion of (* z y) in z
5.041 * [taylor]: Taking taylor expansion of z in z
5.041 * [taylor]: Taking taylor expansion of y in z
5.042 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
5.042 * [taylor]: Taking taylor expansion of 18.0 in y
5.042 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.042 * [taylor]: Taking taylor expansion of x in y
5.042 * [taylor]: Taking taylor expansion of (* z y) in y
5.042 * [taylor]: Taking taylor expansion of z in y
5.042 * [taylor]: Taking taylor expansion of y in y
5.042 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.042 * [taylor]: Taking taylor expansion of 18.0 in x
5.042 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.043 * [taylor]: Taking taylor expansion of (* z y) in x
5.043 * [taylor]: Taking taylor expansion of z in x
5.043 * [taylor]: Taking taylor expansion of y in x
5.043 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.043 * [taylor]: Taking taylor expansion of 18.0 in x
5.043 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.043 * [taylor]: Taking taylor expansion of (* z y) in x
5.043 * [taylor]: Taking taylor expansion of z in x
5.043 * [taylor]: Taking taylor expansion of y in x
5.044 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
5.044 * [taylor]: Taking taylor expansion of 18.0 in y
5.044 * [taylor]: Taking taylor expansion of (* z y) in y
5.044 * [taylor]: Taking taylor expansion of z in y
5.044 * [taylor]: Taking taylor expansion of y in y
5.044 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
5.044 * [taylor]: Taking taylor expansion of 18.0 in z
5.044 * [taylor]: Taking taylor expansion of z in z
5.045 * [taylor]: Taking taylor expansion of 0 in y
5.046 * [taylor]: Taking taylor expansion of 0 in z
5.048 * [taylor]: Taking taylor expansion of 0 in y
5.048 * [taylor]: Taking taylor expansion of 0 in z
5.053 * [taylor]: Taking taylor expansion of 0 in z
5.056 * [taylor]: Taking taylor expansion of 0 in y
5.056 * [taylor]: Taking taylor expansion of 0 in z
5.056 * [taylor]: Taking taylor expansion of 0 in z
5.057 * [taylor]: Taking taylor expansion of 0 in z
5.057 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
5.057 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
5.057 * [taylor]: Taking taylor expansion of -18.0 in z
5.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.058 * [taylor]: Taking taylor expansion of x in z
5.058 * [taylor]: Taking taylor expansion of (* z y) in z
5.058 * [taylor]: Taking taylor expansion of z in z
5.058 * [taylor]: Taking taylor expansion of y in z
5.058 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
5.058 * [taylor]: Taking taylor expansion of -18.0 in y
5.058 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.058 * [taylor]: Taking taylor expansion of x in y
5.058 * [taylor]: Taking taylor expansion of (* z y) in y
5.058 * [taylor]: Taking taylor expansion of z in y
5.058 * [taylor]: Taking taylor expansion of y in y
5.059 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.059 * [taylor]: Taking taylor expansion of -18.0 in x
5.059 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.059 * [taylor]: Taking taylor expansion of x in x
5.059 * [taylor]: Taking taylor expansion of (* z y) in x
5.059 * [taylor]: Taking taylor expansion of z in x
5.059 * [taylor]: Taking taylor expansion of y in x
5.060 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.060 * [taylor]: Taking taylor expansion of -18.0 in x
5.060 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.060 * [taylor]: Taking taylor expansion of x in x
5.060 * [taylor]: Taking taylor expansion of (* z y) in x
5.060 * [taylor]: Taking taylor expansion of z in x
5.060 * [taylor]: Taking taylor expansion of y in x
5.060 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
5.060 * [taylor]: Taking taylor expansion of -18.0 in y
5.060 * [taylor]: Taking taylor expansion of (* z y) in y
5.060 * [taylor]: Taking taylor expansion of z in y
5.060 * [taylor]: Taking taylor expansion of y in y
5.061 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
5.061 * [taylor]: Taking taylor expansion of -18.0 in z
5.061 * [taylor]: Taking taylor expansion of z in z
5.062 * [taylor]: Taking taylor expansion of 0 in y
5.063 * [taylor]: Taking taylor expansion of 0 in z
5.065 * [taylor]: Taking taylor expansion of 0 in y
5.065 * [taylor]: Taking taylor expansion of 0 in z
5.066 * [taylor]: Taking taylor expansion of 0 in z
5.068 * [taylor]: Taking taylor expansion of 0 in y
5.068 * [taylor]: Taking taylor expansion of 0 in z
5.068 * [taylor]: Taking taylor expansion of 0 in z
5.069 * [taylor]: Taking taylor expansion of 0 in z
5.070 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.070 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
5.070 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
5.070 * [taylor]: Taking taylor expansion of 27.0 in k
5.070 * [taylor]: Taking taylor expansion of (* k j) in k
5.070 * [taylor]: Taking taylor expansion of k in k
5.070 * [taylor]: Taking taylor expansion of j in k
5.070 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.070 * [taylor]: Taking taylor expansion of 27.0 in j
5.070 * [taylor]: Taking taylor expansion of (* k j) in j
5.070 * [taylor]: Taking taylor expansion of k in j
5.070 * [taylor]: Taking taylor expansion of j in j
5.070 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.070 * [taylor]: Taking taylor expansion of 27.0 in j
5.070 * [taylor]: Taking taylor expansion of (* k j) in j
5.070 * [taylor]: Taking taylor expansion of k in j
5.070 * [taylor]: Taking taylor expansion of j in j
5.070 * [taylor]: Taking taylor expansion of 0 in k
5.071 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
5.071 * [taylor]: Taking taylor expansion of 27.0 in k
5.071 * [taylor]: Taking taylor expansion of k in k
5.072 * [taylor]: Taking taylor expansion of 0 in k
5.075 * [taylor]: Taking taylor expansion of 0 in k
5.077 * [taylor]: Taking taylor expansion of 0 in k
5.077 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.077 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.077 * [taylor]: Taking taylor expansion of 27.0 in k
5.077 * [taylor]: Taking taylor expansion of (* k j) in k
5.077 * [taylor]: Taking taylor expansion of k in k
5.077 * [taylor]: Taking taylor expansion of j in k
5.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.078 * [taylor]: Taking taylor expansion of 27.0 in j
5.078 * [taylor]: Taking taylor expansion of (* k j) in j
5.078 * [taylor]: Taking taylor expansion of k in j
5.078 * [taylor]: Taking taylor expansion of j in j
5.078 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.078 * [taylor]: Taking taylor expansion of 27.0 in j
5.078 * [taylor]: Taking taylor expansion of (* k j) in j
5.078 * [taylor]: Taking taylor expansion of k in j
5.078 * [taylor]: Taking taylor expansion of j in j
5.079 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.079 * [taylor]: Taking taylor expansion of 27.0 in k
5.079 * [taylor]: Taking taylor expansion of k in k
5.080 * [taylor]: Taking taylor expansion of 0 in k
5.081 * [taylor]: Taking taylor expansion of 0 in k
5.082 * [taylor]: Taking taylor expansion of 0 in k
5.083 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.083 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.083 * [taylor]: Taking taylor expansion of 27.0 in k
5.083 * [taylor]: Taking taylor expansion of (* k j) in k
5.083 * [taylor]: Taking taylor expansion of k in k
5.083 * [taylor]: Taking taylor expansion of j in k
5.084 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.084 * [taylor]: Taking taylor expansion of 27.0 in j
5.084 * [taylor]: Taking taylor expansion of (* k j) in j
5.084 * [taylor]: Taking taylor expansion of k in j
5.084 * [taylor]: Taking taylor expansion of j in j
5.084 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.084 * [taylor]: Taking taylor expansion of 27.0 in j
5.084 * [taylor]: Taking taylor expansion of (* k j) in j
5.084 * [taylor]: Taking taylor expansion of k in j
5.084 * [taylor]: Taking taylor expansion of j in j
5.085 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.085 * [taylor]: Taking taylor expansion of 27.0 in k
5.085 * [taylor]: Taking taylor expansion of k in k
5.086 * [taylor]: Taking taylor expansion of 0 in k
5.087 * [taylor]: Taking taylor expansion of 0 in k
5.088 * [taylor]: Taking taylor expansion of 0 in k
5.089 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
5.089 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
5.089 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
5.089 * [taylor]: Taking taylor expansion of 18.0 in y
5.089 * [taylor]: Taking taylor expansion of (* x y) in y
5.089 * [taylor]: Taking taylor expansion of x in y
5.089 * [taylor]: Taking taylor expansion of y in y
5.089 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.089 * [taylor]: Taking taylor expansion of 18.0 in x
5.089 * [taylor]: Taking taylor expansion of (* x y) in x
5.089 * [taylor]: Taking taylor expansion of x in x
5.089 * [taylor]: Taking taylor expansion of y in x
5.089 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.089 * [taylor]: Taking taylor expansion of 18.0 in x
5.089 * [taylor]: Taking taylor expansion of (* x y) in x
5.089 * [taylor]: Taking taylor expansion of x in x
5.089 * [taylor]: Taking taylor expansion of y in x
5.090 * [taylor]: Taking taylor expansion of 0 in y
5.090 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
5.091 * [taylor]: Taking taylor expansion of 18.0 in y
5.091 * [taylor]: Taking taylor expansion of y in y
5.092 * [taylor]: Taking taylor expansion of 0 in y
5.095 * [taylor]: Taking taylor expansion of 0 in y
5.097 * [taylor]: Taking taylor expansion of 0 in y
5.098 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.098 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.098 * [taylor]: Taking taylor expansion of 18.0 in y
5.098 * [taylor]: Taking taylor expansion of (* x y) in y
5.098 * [taylor]: Taking taylor expansion of x in y
5.098 * [taylor]: Taking taylor expansion of y in y
5.098 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.098 * [taylor]: Taking taylor expansion of 18.0 in x
5.098 * [taylor]: Taking taylor expansion of (* x y) in x
5.098 * [taylor]: Taking taylor expansion of x in x
5.098 * [taylor]: Taking taylor expansion of y in x
5.099 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.099 * [taylor]: Taking taylor expansion of 18.0 in x
5.099 * [taylor]: Taking taylor expansion of (* x y) in x
5.099 * [taylor]: Taking taylor expansion of x in x
5.099 * [taylor]: Taking taylor expansion of y in x
5.099 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.099 * [taylor]: Taking taylor expansion of 18.0 in y
5.099 * [taylor]: Taking taylor expansion of y in y
5.100 * [taylor]: Taking taylor expansion of 0 in y
5.102 * [taylor]: Taking taylor expansion of 0 in y
5.104 * [taylor]: Taking taylor expansion of 0 in y
5.105 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.105 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.105 * [taylor]: Taking taylor expansion of 18.0 in y
5.105 * [taylor]: Taking taylor expansion of (* x y) in y
5.105 * [taylor]: Taking taylor expansion of x in y
5.105 * [taylor]: Taking taylor expansion of y in y
5.105 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.105 * [taylor]: Taking taylor expansion of 18.0 in x
5.105 * [taylor]: Taking taylor expansion of (* x y) in x
5.105 * [taylor]: Taking taylor expansion of x in x
5.105 * [taylor]: Taking taylor expansion of y in x
5.106 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.106 * [taylor]: Taking taylor expansion of 18.0 in x
5.106 * [taylor]: Taking taylor expansion of (* x y) in x
5.106 * [taylor]: Taking taylor expansion of x in x
5.106 * [taylor]: Taking taylor expansion of y in x
5.106 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.106 * [taylor]: Taking taylor expansion of 18.0 in y
5.106 * [taylor]: Taking taylor expansion of y in y
5.107 * [taylor]: Taking taylor expansion of 0 in y
5.109 * [taylor]: Taking taylor expansion of 0 in y
5.110 * [taylor]: Taking taylor expansion of 0 in y
5.111 * * * [progress]: simplifying candidates
5.113 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
5.116 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
5.143 * * [simplify]: iteration  1 :  368  enodes  (cost  943 )
5.255 * * [simplify]: iteration  2 :  1865  enodes  (cost  737 )
5.986 * * [simplify]: iteration  done :  5001  enodes  (cost  737 )
5.987 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
5.988 * * * [progress]: adding candidates to table
6.353 * * [progress]: iteration 3 / 4
6.353 * * * [progress]: picking best candidate
6.393 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>
6.393 * * * [progress]: localizing error
6.418 * * * [progress]: generating rewritten candidates
6.418 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.498 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.520 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.526 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.535 * * * [progress]: generating series expansions
6.535 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.535 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.535 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.535 * [taylor]: Taking taylor expansion of 18.0 in t
6.535 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.535 * [taylor]: Taking taylor expansion of t in t
6.535 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.535 * [taylor]: Taking taylor expansion of x in t
6.535 * [taylor]: Taking taylor expansion of (* z y) in t
6.535 * [taylor]: Taking taylor expansion of z in t
6.535 * [taylor]: Taking taylor expansion of y in t
6.535 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.535 * [taylor]: Taking taylor expansion of 18.0 in z
6.535 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.535 * [taylor]: Taking taylor expansion of t in z
6.535 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.535 * [taylor]: Taking taylor expansion of x in z
6.535 * [taylor]: Taking taylor expansion of (* z y) in z
6.535 * [taylor]: Taking taylor expansion of z in z
6.536 * [taylor]: Taking taylor expansion of y in z
6.536 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.536 * [taylor]: Taking taylor expansion of 18.0 in y
6.536 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.536 * [taylor]: Taking taylor expansion of t in y
6.536 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.536 * [taylor]: Taking taylor expansion of x in y
6.536 * [taylor]: Taking taylor expansion of (* z y) in y
6.536 * [taylor]: Taking taylor expansion of z in y
6.536 * [taylor]: Taking taylor expansion of y in y
6.536 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.536 * [taylor]: Taking taylor expansion of 18.0 in x
6.536 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.536 * [taylor]: Taking taylor expansion of t in x
6.536 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.536 * [taylor]: Taking taylor expansion of x in x
6.536 * [taylor]: Taking taylor expansion of (* z y) in x
6.536 * [taylor]: Taking taylor expansion of z in x
6.536 * [taylor]: Taking taylor expansion of y in x
6.536 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.536 * [taylor]: Taking taylor expansion of 18.0 in x
6.536 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.536 * [taylor]: Taking taylor expansion of t in x
6.536 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.536 * [taylor]: Taking taylor expansion of x in x
6.536 * [taylor]: Taking taylor expansion of (* z y) in x
6.536 * [taylor]: Taking taylor expansion of z in x
6.536 * [taylor]: Taking taylor expansion of y in x
6.537 * [taylor]: Taking taylor expansion of 0 in y
6.537 * [taylor]: Taking taylor expansion of 0 in z
6.537 * [taylor]: Taking taylor expansion of 0 in t
6.538 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.538 * [taylor]: Taking taylor expansion of 18.0 in y
6.538 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.538 * [taylor]: Taking taylor expansion of t in y
6.538 * [taylor]: Taking taylor expansion of (* z y) in y
6.538 * [taylor]: Taking taylor expansion of z in y
6.538 * [taylor]: Taking taylor expansion of y in y
6.539 * [taylor]: Taking taylor expansion of 0 in z
6.539 * [taylor]: Taking taylor expansion of 0 in t
6.605 * [taylor]: Taking taylor expansion of 0 in z
6.605 * [taylor]: Taking taylor expansion of 0 in t
6.605 * [taylor]: Taking taylor expansion of 0 in t
6.607 * [taylor]: Taking taylor expansion of 0 in y
6.608 * [taylor]: Taking taylor expansion of 0 in z
6.608 * [taylor]: Taking taylor expansion of 0 in t
6.608 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.608 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.608 * [taylor]: Taking taylor expansion of 18.0 in t
6.608 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.608 * [taylor]: Taking taylor expansion of t in t
6.608 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.608 * [taylor]: Taking taylor expansion of x in t
6.608 * [taylor]: Taking taylor expansion of (* z y) in t
6.608 * [taylor]: Taking taylor expansion of z in t
6.608 * [taylor]: Taking taylor expansion of y in t
6.609 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.609 * [taylor]: Taking taylor expansion of 18.0 in z
6.609 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.609 * [taylor]: Taking taylor expansion of t in z
6.609 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.609 * [taylor]: Taking taylor expansion of x in z
6.609 * [taylor]: Taking taylor expansion of (* z y) in z
6.609 * [taylor]: Taking taylor expansion of z in z
6.609 * [taylor]: Taking taylor expansion of y in z
6.610 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.610 * [taylor]: Taking taylor expansion of 18.0 in y
6.610 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.610 * [taylor]: Taking taylor expansion of t in y
6.610 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.610 * [taylor]: Taking taylor expansion of x in y
6.610 * [taylor]: Taking taylor expansion of (* z y) in y
6.610 * [taylor]: Taking taylor expansion of z in y
6.610 * [taylor]: Taking taylor expansion of y in y
6.611 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.611 * [taylor]: Taking taylor expansion of 18.0 in x
6.611 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.611 * [taylor]: Taking taylor expansion of t in x
6.611 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.611 * [taylor]: Taking taylor expansion of x in x
6.611 * [taylor]: Taking taylor expansion of (* z y) in x
6.611 * [taylor]: Taking taylor expansion of z in x
6.611 * [taylor]: Taking taylor expansion of y in x
6.612 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.612 * [taylor]: Taking taylor expansion of 18.0 in x
6.612 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.612 * [taylor]: Taking taylor expansion of t in x
6.612 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.612 * [taylor]: Taking taylor expansion of x in x
6.612 * [taylor]: Taking taylor expansion of (* z y) in x
6.612 * [taylor]: Taking taylor expansion of z in x
6.612 * [taylor]: Taking taylor expansion of y in x
6.613 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.613 * [taylor]: Taking taylor expansion of 18.0 in y
6.613 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.613 * [taylor]: Taking taylor expansion of t in y
6.613 * [taylor]: Taking taylor expansion of (* z y) in y
6.613 * [taylor]: Taking taylor expansion of z in y
6.613 * [taylor]: Taking taylor expansion of y in y
6.614 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.614 * [taylor]: Taking taylor expansion of 18.0 in z
6.614 * [taylor]: Taking taylor expansion of (* t z) in z
6.614 * [taylor]: Taking taylor expansion of t in z
6.614 * [taylor]: Taking taylor expansion of z in z
6.614 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.614 * [taylor]: Taking taylor expansion of 18.0 in t
6.614 * [taylor]: Taking taylor expansion of t in t
6.616 * [taylor]: Taking taylor expansion of 0 in y
6.617 * [taylor]: Taking taylor expansion of 0 in z
6.618 * [taylor]: Taking taylor expansion of 0 in t
6.621 * [taylor]: Taking taylor expansion of 0 in y
6.621 * [taylor]: Taking taylor expansion of 0 in z
6.622 * [taylor]: Taking taylor expansion of 0 in z
6.622 * [taylor]: Taking taylor expansion of 0 in t
6.623 * [taylor]: Taking taylor expansion of 0 in t
6.626 * [taylor]: Taking taylor expansion of 0 in y
6.626 * [taylor]: Taking taylor expansion of 0 in z
6.626 * [taylor]: Taking taylor expansion of 0 in z
6.628 * [taylor]: Taking taylor expansion of 0 in z
6.628 * [taylor]: Taking taylor expansion of 0 in t
6.628 * [taylor]: Taking taylor expansion of 0 in t
6.628 * [taylor]: Taking taylor expansion of 0 in t
6.629 * [taylor]: Taking taylor expansion of 0 in t
6.629 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.629 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.629 * [taylor]: Taking taylor expansion of 18.0 in t
6.629 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.629 * [taylor]: Taking taylor expansion of t in t
6.629 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.629 * [taylor]: Taking taylor expansion of x in t
6.629 * [taylor]: Taking taylor expansion of (* z y) in t
6.629 * [taylor]: Taking taylor expansion of z in t
6.629 * [taylor]: Taking taylor expansion of y in t
6.630 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.630 * [taylor]: Taking taylor expansion of 18.0 in z
6.630 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.630 * [taylor]: Taking taylor expansion of t in z
6.630 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.630 * [taylor]: Taking taylor expansion of x in z
6.630 * [taylor]: Taking taylor expansion of (* z y) in z
6.630 * [taylor]: Taking taylor expansion of z in z
6.630 * [taylor]: Taking taylor expansion of y in z
6.631 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.631 * [taylor]: Taking taylor expansion of 18.0 in y
6.631 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.631 * [taylor]: Taking taylor expansion of t in y
6.631 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.631 * [taylor]: Taking taylor expansion of x in y
6.631 * [taylor]: Taking taylor expansion of (* z y) in y
6.631 * [taylor]: Taking taylor expansion of z in y
6.632 * [taylor]: Taking taylor expansion of y in y
6.633 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.633 * [taylor]: Taking taylor expansion of 18.0 in x
6.633 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.633 * [taylor]: Taking taylor expansion of t in x
6.633 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.633 * [taylor]: Taking taylor expansion of x in x
6.633 * [taylor]: Taking taylor expansion of (* z y) in x
6.633 * [taylor]: Taking taylor expansion of z in x
6.633 * [taylor]: Taking taylor expansion of y in x
6.633 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.633 * [taylor]: Taking taylor expansion of 18.0 in x
6.634 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.634 * [taylor]: Taking taylor expansion of t in x
6.634 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.634 * [taylor]: Taking taylor expansion of x in x
6.634 * [taylor]: Taking taylor expansion of (* z y) in x
6.634 * [taylor]: Taking taylor expansion of z in x
6.634 * [taylor]: Taking taylor expansion of y in x
6.634 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.635 * [taylor]: Taking taylor expansion of 18.0 in y
6.635 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.635 * [taylor]: Taking taylor expansion of t in y
6.635 * [taylor]: Taking taylor expansion of (* z y) in y
6.635 * [taylor]: Taking taylor expansion of z in y
6.635 * [taylor]: Taking taylor expansion of y in y
6.635 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.635 * [taylor]: Taking taylor expansion of 18.0 in z
6.635 * [taylor]: Taking taylor expansion of (* t z) in z
6.635 * [taylor]: Taking taylor expansion of t in z
6.635 * [taylor]: Taking taylor expansion of z in z
6.636 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.636 * [taylor]: Taking taylor expansion of 18.0 in t
6.636 * [taylor]: Taking taylor expansion of t in t
6.637 * [taylor]: Taking taylor expansion of 0 in y
6.638 * [taylor]: Taking taylor expansion of 0 in z
6.639 * [taylor]: Taking taylor expansion of 0 in t
6.645 * [taylor]: Taking taylor expansion of 0 in y
6.645 * [taylor]: Taking taylor expansion of 0 in z
6.647 * [taylor]: Taking taylor expansion of 0 in z
6.647 * [taylor]: Taking taylor expansion of 0 in t
6.647 * [taylor]: Taking taylor expansion of 0 in t
6.651 * [taylor]: Taking taylor expansion of 0 in y
6.651 * [taylor]: Taking taylor expansion of 0 in z
6.651 * [taylor]: Taking taylor expansion of 0 in z
6.653 * [taylor]: Taking taylor expansion of 0 in z
6.653 * [taylor]: Taking taylor expansion of 0 in t
6.653 * [taylor]: Taking taylor expansion of 0 in t
6.653 * [taylor]: Taking taylor expansion of 0 in t
6.654 * [taylor]: Taking taylor expansion of 0 in t
6.654 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
6.654 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
6.654 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
6.654 * [taylor]: Taking taylor expansion of 18.0 in z
6.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.654 * [taylor]: Taking taylor expansion of x in z
6.654 * [taylor]: Taking taylor expansion of (* z y) in z
6.654 * [taylor]: Taking taylor expansion of z in z
6.654 * [taylor]: Taking taylor expansion of y in z
6.654 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
6.654 * [taylor]: Taking taylor expansion of 18.0 in y
6.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.654 * [taylor]: Taking taylor expansion of x in y
6.654 * [taylor]: Taking taylor expansion of (* z y) in y
6.654 * [taylor]: Taking taylor expansion of z in y
6.654 * [taylor]: Taking taylor expansion of y in y
6.654 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.654 * [taylor]: Taking taylor expansion of 18.0 in x
6.654 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.655 * [taylor]: Taking taylor expansion of x in x
6.655 * [taylor]: Taking taylor expansion of (* z y) in x
6.655 * [taylor]: Taking taylor expansion of z in x
6.655 * [taylor]: Taking taylor expansion of y in x
6.655 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.655 * [taylor]: Taking taylor expansion of 18.0 in x
6.655 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.655 * [taylor]: Taking taylor expansion of x in x
6.655 * [taylor]: Taking taylor expansion of (* z y) in x
6.655 * [taylor]: Taking taylor expansion of z in x
6.655 * [taylor]: Taking taylor expansion of y in x
6.656 * [taylor]: Taking taylor expansion of 0 in y
6.656 * [taylor]: Taking taylor expansion of 0 in z
6.656 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
6.656 * [taylor]: Taking taylor expansion of 18.0 in y
6.656 * [taylor]: Taking taylor expansion of (* z y) in y
6.656 * [taylor]: Taking taylor expansion of z in y
6.656 * [taylor]: Taking taylor expansion of y in y
6.657 * [taylor]: Taking taylor expansion of 0 in z
6.657 * [taylor]: Taking taylor expansion of 0 in z
6.658 * [taylor]: Taking taylor expansion of 0 in y
6.658 * [taylor]: Taking taylor expansion of 0 in z
6.659 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
6.659 * [taylor]: Taking taylor expansion of 18.0 in z
6.659 * [taylor]: Taking taylor expansion of z in z
6.660 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
6.660 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
6.660 * [taylor]: Taking taylor expansion of 18.0 in z
6.660 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.660 * [taylor]: Taking taylor expansion of x in z
6.660 * [taylor]: Taking taylor expansion of (* z y) in z
6.660 * [taylor]: Taking taylor expansion of z in z
6.660 * [taylor]: Taking taylor expansion of y in z
6.660 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
6.660 * [taylor]: Taking taylor expansion of 18.0 in y
6.660 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.660 * [taylor]: Taking taylor expansion of x in y
6.660 * [taylor]: Taking taylor expansion of (* z y) in y
6.660 * [taylor]: Taking taylor expansion of z in y
6.661 * [taylor]: Taking taylor expansion of y in y
6.661 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.661 * [taylor]: Taking taylor expansion of 18.0 in x
6.661 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.661 * [taylor]: Taking taylor expansion of x in x
6.661 * [taylor]: Taking taylor expansion of (* z y) in x
6.661 * [taylor]: Taking taylor expansion of z in x
6.661 * [taylor]: Taking taylor expansion of y in x
6.662 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.662 * [taylor]: Taking taylor expansion of 18.0 in x
6.662 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.662 * [taylor]: Taking taylor expansion of x in x
6.662 * [taylor]: Taking taylor expansion of (* z y) in x
6.662 * [taylor]: Taking taylor expansion of z in x
6.662 * [taylor]: Taking taylor expansion of y in x
6.662 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
6.662 * [taylor]: Taking taylor expansion of 18.0 in y
6.662 * [taylor]: Taking taylor expansion of (* z y) in y
6.662 * [taylor]: Taking taylor expansion of z in y
6.663 * [taylor]: Taking taylor expansion of y in y
6.663 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
6.663 * [taylor]: Taking taylor expansion of 18.0 in z
6.663 * [taylor]: Taking taylor expansion of z in z
6.664 * [taylor]: Taking taylor expansion of 0 in y
6.665 * [taylor]: Taking taylor expansion of 0 in z
6.667 * [taylor]: Taking taylor expansion of 0 in y
6.667 * [taylor]: Taking taylor expansion of 0 in z
6.668 * [taylor]: Taking taylor expansion of 0 in z
6.670 * [taylor]: Taking taylor expansion of 0 in y
6.671 * [taylor]: Taking taylor expansion of 0 in z
6.671 * [taylor]: Taking taylor expansion of 0 in z
6.671 * [taylor]: Taking taylor expansion of 0 in z
6.672 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
6.672 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
6.672 * [taylor]: Taking taylor expansion of -18.0 in z
6.672 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.672 * [taylor]: Taking taylor expansion of x in z
6.672 * [taylor]: Taking taylor expansion of (* z y) in z
6.672 * [taylor]: Taking taylor expansion of z in z
6.672 * [taylor]: Taking taylor expansion of y in z
6.673 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
6.673 * [taylor]: Taking taylor expansion of -18.0 in y
6.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.673 * [taylor]: Taking taylor expansion of x in y
6.673 * [taylor]: Taking taylor expansion of (* z y) in y
6.673 * [taylor]: Taking taylor expansion of z in y
6.673 * [taylor]: Taking taylor expansion of y in y
6.673 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.673 * [taylor]: Taking taylor expansion of -18.0 in x
6.673 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.673 * [taylor]: Taking taylor expansion of x in x
6.673 * [taylor]: Taking taylor expansion of (* z y) in x
6.673 * [taylor]: Taking taylor expansion of z in x
6.673 * [taylor]: Taking taylor expansion of y in x
6.674 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.674 * [taylor]: Taking taylor expansion of -18.0 in x
6.674 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.674 * [taylor]: Taking taylor expansion of x in x
6.674 * [taylor]: Taking taylor expansion of (* z y) in x
6.674 * [taylor]: Taking taylor expansion of z in x
6.674 * [taylor]: Taking taylor expansion of y in x
6.675 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
6.675 * [taylor]: Taking taylor expansion of -18.0 in y
6.675 * [taylor]: Taking taylor expansion of (* z y) in y
6.675 * [taylor]: Taking taylor expansion of z in y
6.675 * [taylor]: Taking taylor expansion of y in y
6.675 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
6.675 * [taylor]: Taking taylor expansion of -18.0 in z
6.675 * [taylor]: Taking taylor expansion of z in z
6.676 * [taylor]: Taking taylor expansion of 0 in y
6.677 * [taylor]: Taking taylor expansion of 0 in z
6.679 * [taylor]: Taking taylor expansion of 0 in y
6.679 * [taylor]: Taking taylor expansion of 0 in z
6.680 * [taylor]: Taking taylor expansion of 0 in z
6.683 * [taylor]: Taking taylor expansion of 0 in y
6.683 * [taylor]: Taking taylor expansion of 0 in z
6.683 * [taylor]: Taking taylor expansion of 0 in z
6.684 * [taylor]: Taking taylor expansion of 0 in z
6.684 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.684 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
6.684 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.684 * [taylor]: Taking taylor expansion of 27.0 in j
6.684 * [taylor]: Taking taylor expansion of (* k j) in j
6.684 * [taylor]: Taking taylor expansion of k in j
6.684 * [taylor]: Taking taylor expansion of j in j
6.684 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.684 * [taylor]: Taking taylor expansion of 27.0 in k
6.684 * [taylor]: Taking taylor expansion of (* k j) in k
6.684 * [taylor]: Taking taylor expansion of k in k
6.684 * [taylor]: Taking taylor expansion of j in k
6.684 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.684 * [taylor]: Taking taylor expansion of 27.0 in k
6.684 * [taylor]: Taking taylor expansion of (* k j) in k
6.684 * [taylor]: Taking taylor expansion of k in k
6.684 * [taylor]: Taking taylor expansion of j in k
6.685 * [taylor]: Taking taylor expansion of 0 in j
6.685 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
6.686 * [taylor]: Taking taylor expansion of 27.0 in j
6.686 * [taylor]: Taking taylor expansion of j in j
6.687 * [taylor]: Taking taylor expansion of 0 in j
6.690 * [taylor]: Taking taylor expansion of 0 in j
6.692 * [taylor]: Taking taylor expansion of 0 in j
6.692 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
6.693 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.693 * [taylor]: Taking taylor expansion of 27.0 in j
6.693 * [taylor]: Taking taylor expansion of (* k j) in j
6.693 * [taylor]: Taking taylor expansion of k in j
6.693 * [taylor]: Taking taylor expansion of j in j
6.693 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.693 * [taylor]: Taking taylor expansion of 27.0 in k
6.693 * [taylor]: Taking taylor expansion of (* k j) in k
6.693 * [taylor]: Taking taylor expansion of k in k
6.693 * [taylor]: Taking taylor expansion of j in k
6.693 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.693 * [taylor]: Taking taylor expansion of 27.0 in k
6.694 * [taylor]: Taking taylor expansion of (* k j) in k
6.694 * [taylor]: Taking taylor expansion of k in k
6.694 * [taylor]: Taking taylor expansion of j in k
6.694 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
6.694 * [taylor]: Taking taylor expansion of 27.0 in j
6.694 * [taylor]: Taking taylor expansion of j in j
6.695 * [taylor]: Taking taylor expansion of 0 in j
6.696 * [taylor]: Taking taylor expansion of 0 in j
6.698 * [taylor]: Taking taylor expansion of 0 in j
6.699 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
6.699 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.699 * [taylor]: Taking taylor expansion of 27.0 in j
6.699 * [taylor]: Taking taylor expansion of (* k j) in j
6.699 * [taylor]: Taking taylor expansion of k in j
6.699 * [taylor]: Taking taylor expansion of j in j
6.700 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.700 * [taylor]: Taking taylor expansion of 27.0 in k
6.700 * [taylor]: Taking taylor expansion of (* k j) in k
6.700 * [taylor]: Taking taylor expansion of k in k
6.700 * [taylor]: Taking taylor expansion of j in k
6.700 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.700 * [taylor]: Taking taylor expansion of 27.0 in k
6.700 * [taylor]: Taking taylor expansion of (* k j) in k
6.700 * [taylor]: Taking taylor expansion of k in k
6.700 * [taylor]: Taking taylor expansion of j in k
6.701 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
6.701 * [taylor]: Taking taylor expansion of 27.0 in j
6.701 * [taylor]: Taking taylor expansion of j in j
6.702 * [taylor]: Taking taylor expansion of 0 in j
6.703 * [taylor]: Taking taylor expansion of 0 in j
6.705 * [taylor]: Taking taylor expansion of 0 in j
6.706 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
6.706 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
6.706 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
6.706 * [taylor]: Taking taylor expansion of 18.0 in y
6.706 * [taylor]: Taking taylor expansion of (* x y) in y
6.706 * [taylor]: Taking taylor expansion of x in y
6.706 * [taylor]: Taking taylor expansion of y in y
6.706 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.706 * [taylor]: Taking taylor expansion of 18.0 in x
6.706 * [taylor]: Taking taylor expansion of (* x y) in x
6.706 * [taylor]: Taking taylor expansion of x in x
6.706 * [taylor]: Taking taylor expansion of y in x
6.706 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.706 * [taylor]: Taking taylor expansion of 18.0 in x
6.706 * [taylor]: Taking taylor expansion of (* x y) in x
6.706 * [taylor]: Taking taylor expansion of x in x
6.706 * [taylor]: Taking taylor expansion of y in x
6.707 * [taylor]: Taking taylor expansion of 0 in y
6.708 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
6.708 * [taylor]: Taking taylor expansion of 18.0 in y
6.708 * [taylor]: Taking taylor expansion of y in y
6.709 * [taylor]: Taking taylor expansion of 0 in y
6.712 * [taylor]: Taking taylor expansion of 0 in y
6.714 * [taylor]: Taking taylor expansion of 0 in y
6.715 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.715 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.715 * [taylor]: Taking taylor expansion of 18.0 in y
6.715 * [taylor]: Taking taylor expansion of (* x y) in y
6.715 * [taylor]: Taking taylor expansion of x in y
6.715 * [taylor]: Taking taylor expansion of y in y
6.715 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.715 * [taylor]: Taking taylor expansion of 18.0 in x
6.715 * [taylor]: Taking taylor expansion of (* x y) in x
6.715 * [taylor]: Taking taylor expansion of x in x
6.715 * [taylor]: Taking taylor expansion of y in x
6.716 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.716 * [taylor]: Taking taylor expansion of 18.0 in x
6.716 * [taylor]: Taking taylor expansion of (* x y) in x
6.716 * [taylor]: Taking taylor expansion of x in x
6.716 * [taylor]: Taking taylor expansion of y in x
6.716 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.716 * [taylor]: Taking taylor expansion of 18.0 in y
6.716 * [taylor]: Taking taylor expansion of y in y
6.717 * [taylor]: Taking taylor expansion of 0 in y
6.719 * [taylor]: Taking taylor expansion of 0 in y
6.720 * [taylor]: Taking taylor expansion of 0 in y
6.721 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.721 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.721 * [taylor]: Taking taylor expansion of 18.0 in y
6.721 * [taylor]: Taking taylor expansion of (* x y) in y
6.721 * [taylor]: Taking taylor expansion of x in y
6.721 * [taylor]: Taking taylor expansion of y in y
6.722 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.722 * [taylor]: Taking taylor expansion of 18.0 in x
6.722 * [taylor]: Taking taylor expansion of (* x y) in x
6.722 * [taylor]: Taking taylor expansion of x in x
6.722 * [taylor]: Taking taylor expansion of y in x
6.722 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.722 * [taylor]: Taking taylor expansion of 18.0 in x
6.722 * [taylor]: Taking taylor expansion of (* x y) in x
6.722 * [taylor]: Taking taylor expansion of x in x
6.722 * [taylor]: Taking taylor expansion of y in x
6.723 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.723 * [taylor]: Taking taylor expansion of 18.0 in y
6.723 * [taylor]: Taking taylor expansion of y in y
6.724 * [taylor]: Taking taylor expansion of 0 in y
6.726 * [taylor]: Taking taylor expansion of 0 in y
6.727 * [taylor]: Taking taylor expansion of 0 in y
6.728 * * * [progress]: simplifying candidates
6.730 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (+ (log 27.0) (+ (log k) (log j)))
  (+ (log 27.0) (log (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (* (* (* 27.0 (* k j)) (* 27.0 (* k j))) (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
6.733 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
6.760 * * [simplify]: iteration  1 :  364  enodes  (cost  943 )
6.869 * * [simplify]: iteration  2 :  1846  enodes  (cost  737 )
7.610 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
7.611 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
7.611 * * * [progress]: adding candidates to table
7.978 * * [progress]: iteration 4 / 4
7.978 * * * [progress]: picking best candidate
8.019 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>
8.019 * * * [progress]: localizing error
8.046 * * * [progress]: generating rewritten candidates
8.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.126 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.147 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
8.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
8.181 * * * [progress]: generating series expansions
8.181 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.181 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.181 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.182 * [taylor]: Taking taylor expansion of 18.0 in t
8.182 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.182 * [taylor]: Taking taylor expansion of t in t
8.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.182 * [taylor]: Taking taylor expansion of x in t
8.182 * [taylor]: Taking taylor expansion of (* z y) in t
8.182 * [taylor]: Taking taylor expansion of z in t
8.182 * [taylor]: Taking taylor expansion of y in t
8.182 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.182 * [taylor]: Taking taylor expansion of 18.0 in z
8.182 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.182 * [taylor]: Taking taylor expansion of t in z
8.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.182 * [taylor]: Taking taylor expansion of x in z
8.182 * [taylor]: Taking taylor expansion of (* z y) in z
8.182 * [taylor]: Taking taylor expansion of z in z
8.182 * [taylor]: Taking taylor expansion of y in z
8.182 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.182 * [taylor]: Taking taylor expansion of 18.0 in y
8.182 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.182 * [taylor]: Taking taylor expansion of t in y
8.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.182 * [taylor]: Taking taylor expansion of x in y
8.182 * [taylor]: Taking taylor expansion of (* z y) in y
8.182 * [taylor]: Taking taylor expansion of z in y
8.182 * [taylor]: Taking taylor expansion of y in y
8.182 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.182 * [taylor]: Taking taylor expansion of 18.0 in x
8.182 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.182 * [taylor]: Taking taylor expansion of t in x
8.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.182 * [taylor]: Taking taylor expansion of x in x
8.182 * [taylor]: Taking taylor expansion of (* z y) in x
8.182 * [taylor]: Taking taylor expansion of z in x
8.182 * [taylor]: Taking taylor expansion of y in x
8.182 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.182 * [taylor]: Taking taylor expansion of 18.0 in x
8.182 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.182 * [taylor]: Taking taylor expansion of t in x
8.182 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.182 * [taylor]: Taking taylor expansion of x in x
8.182 * [taylor]: Taking taylor expansion of (* z y) in x
8.182 * [taylor]: Taking taylor expansion of z in x
8.182 * [taylor]: Taking taylor expansion of y in x
8.183 * [taylor]: Taking taylor expansion of 0 in y
8.183 * [taylor]: Taking taylor expansion of 0 in z
8.183 * [taylor]: Taking taylor expansion of 0 in t
8.184 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.184 * [taylor]: Taking taylor expansion of 18.0 in y
8.184 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.184 * [taylor]: Taking taylor expansion of t in y
8.184 * [taylor]: Taking taylor expansion of (* z y) in y
8.184 * [taylor]: Taking taylor expansion of z in y
8.184 * [taylor]: Taking taylor expansion of y in y
8.185 * [taylor]: Taking taylor expansion of 0 in z
8.185 * [taylor]: Taking taylor expansion of 0 in t
8.185 * [taylor]: Taking taylor expansion of 0 in z
8.185 * [taylor]: Taking taylor expansion of 0 in t
8.185 * [taylor]: Taking taylor expansion of 0 in t
8.187 * [taylor]: Taking taylor expansion of 0 in y
8.187 * [taylor]: Taking taylor expansion of 0 in z
8.187 * [taylor]: Taking taylor expansion of 0 in t
8.187 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.187 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.187 * [taylor]: Taking taylor expansion of 18.0 in t
8.187 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.187 * [taylor]: Taking taylor expansion of t in t
8.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.187 * [taylor]: Taking taylor expansion of x in t
8.187 * [taylor]: Taking taylor expansion of (* z y) in t
8.187 * [taylor]: Taking taylor expansion of z in t
8.187 * [taylor]: Taking taylor expansion of y in t
8.188 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.188 * [taylor]: Taking taylor expansion of 18.0 in z
8.188 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.188 * [taylor]: Taking taylor expansion of t in z
8.188 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.188 * [taylor]: Taking taylor expansion of x in z
8.188 * [taylor]: Taking taylor expansion of (* z y) in z
8.188 * [taylor]: Taking taylor expansion of z in z
8.188 * [taylor]: Taking taylor expansion of y in z
8.189 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.189 * [taylor]: Taking taylor expansion of 18.0 in y
8.189 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.189 * [taylor]: Taking taylor expansion of t in y
8.189 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.189 * [taylor]: Taking taylor expansion of x in y
8.189 * [taylor]: Taking taylor expansion of (* z y) in y
8.189 * [taylor]: Taking taylor expansion of z in y
8.189 * [taylor]: Taking taylor expansion of y in y
8.190 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.190 * [taylor]: Taking taylor expansion of 18.0 in x
8.190 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.190 * [taylor]: Taking taylor expansion of t in x
8.190 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.190 * [taylor]: Taking taylor expansion of x in x
8.190 * [taylor]: Taking taylor expansion of (* z y) in x
8.190 * [taylor]: Taking taylor expansion of z in x
8.190 * [taylor]: Taking taylor expansion of y in x
8.191 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.191 * [taylor]: Taking taylor expansion of 18.0 in x
8.191 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.191 * [taylor]: Taking taylor expansion of t in x
8.191 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.191 * [taylor]: Taking taylor expansion of x in x
8.191 * [taylor]: Taking taylor expansion of (* z y) in x
8.191 * [taylor]: Taking taylor expansion of z in x
8.191 * [taylor]: Taking taylor expansion of y in x
8.192 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.192 * [taylor]: Taking taylor expansion of 18.0 in y
8.192 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.192 * [taylor]: Taking taylor expansion of t in y
8.192 * [taylor]: Taking taylor expansion of (* z y) in y
8.192 * [taylor]: Taking taylor expansion of z in y
8.193 * [taylor]: Taking taylor expansion of y in y
8.193 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.193 * [taylor]: Taking taylor expansion of 18.0 in z
8.193 * [taylor]: Taking taylor expansion of (* t z) in z
8.193 * [taylor]: Taking taylor expansion of t in z
8.193 * [taylor]: Taking taylor expansion of z in z
8.194 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.194 * [taylor]: Taking taylor expansion of 18.0 in t
8.194 * [taylor]: Taking taylor expansion of t in t
8.196 * [taylor]: Taking taylor expansion of 0 in y
8.197 * [taylor]: Taking taylor expansion of 0 in z
8.197 * [taylor]: Taking taylor expansion of 0 in t
8.200 * [taylor]: Taking taylor expansion of 0 in y
8.200 * [taylor]: Taking taylor expansion of 0 in z
8.202 * [taylor]: Taking taylor expansion of 0 in z
8.202 * [taylor]: Taking taylor expansion of 0 in t
8.202 * [taylor]: Taking taylor expansion of 0 in t
8.206 * [taylor]: Taking taylor expansion of 0 in y
8.206 * [taylor]: Taking taylor expansion of 0 in z
8.206 * [taylor]: Taking taylor expansion of 0 in z
8.208 * [taylor]: Taking taylor expansion of 0 in z
8.208 * [taylor]: Taking taylor expansion of 0 in t
8.208 * [taylor]: Taking taylor expansion of 0 in t
8.208 * [taylor]: Taking taylor expansion of 0 in t
8.208 * [taylor]: Taking taylor expansion of 0 in t
8.209 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.209 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.209 * [taylor]: Taking taylor expansion of 18.0 in t
8.209 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.209 * [taylor]: Taking taylor expansion of t in t
8.209 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.209 * [taylor]: Taking taylor expansion of x in t
8.209 * [taylor]: Taking taylor expansion of (* z y) in t
8.209 * [taylor]: Taking taylor expansion of z in t
8.209 * [taylor]: Taking taylor expansion of y in t
8.210 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.210 * [taylor]: Taking taylor expansion of 18.0 in z
8.210 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.210 * [taylor]: Taking taylor expansion of t in z
8.210 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.210 * [taylor]: Taking taylor expansion of x in z
8.210 * [taylor]: Taking taylor expansion of (* z y) in z
8.210 * [taylor]: Taking taylor expansion of z in z
8.210 * [taylor]: Taking taylor expansion of y in z
8.211 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.211 * [taylor]: Taking taylor expansion of 18.0 in y
8.211 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.211 * [taylor]: Taking taylor expansion of t in y
8.211 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.211 * [taylor]: Taking taylor expansion of x in y
8.211 * [taylor]: Taking taylor expansion of (* z y) in y
8.211 * [taylor]: Taking taylor expansion of z in y
8.211 * [taylor]: Taking taylor expansion of y in y
8.212 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.212 * [taylor]: Taking taylor expansion of 18.0 in x
8.212 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.212 * [taylor]: Taking taylor expansion of t in x
8.212 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.212 * [taylor]: Taking taylor expansion of x in x
8.212 * [taylor]: Taking taylor expansion of (* z y) in x
8.212 * [taylor]: Taking taylor expansion of z in x
8.212 * [taylor]: Taking taylor expansion of y in x
8.213 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.213 * [taylor]: Taking taylor expansion of 18.0 in x
8.213 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.213 * [taylor]: Taking taylor expansion of t in x
8.213 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.213 * [taylor]: Taking taylor expansion of x in x
8.213 * [taylor]: Taking taylor expansion of (* z y) in x
8.213 * [taylor]: Taking taylor expansion of z in x
8.213 * [taylor]: Taking taylor expansion of y in x
8.214 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.214 * [taylor]: Taking taylor expansion of 18.0 in y
8.214 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.214 * [taylor]: Taking taylor expansion of t in y
8.214 * [taylor]: Taking taylor expansion of (* z y) in y
8.214 * [taylor]: Taking taylor expansion of z in y
8.214 * [taylor]: Taking taylor expansion of y in y
8.215 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.215 * [taylor]: Taking taylor expansion of 18.0 in z
8.215 * [taylor]: Taking taylor expansion of (* t z) in z
8.215 * [taylor]: Taking taylor expansion of t in z
8.215 * [taylor]: Taking taylor expansion of z in z
8.216 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.216 * [taylor]: Taking taylor expansion of 18.0 in t
8.216 * [taylor]: Taking taylor expansion of t in t
8.218 * [taylor]: Taking taylor expansion of 0 in y
8.219 * [taylor]: Taking taylor expansion of 0 in z
8.219 * [taylor]: Taking taylor expansion of 0 in t
8.222 * [taylor]: Taking taylor expansion of 0 in y
8.222 * [taylor]: Taking taylor expansion of 0 in z
8.223 * [taylor]: Taking taylor expansion of 0 in z
8.223 * [taylor]: Taking taylor expansion of 0 in t
8.224 * [taylor]: Taking taylor expansion of 0 in t
8.227 * [taylor]: Taking taylor expansion of 0 in y
8.228 * [taylor]: Taking taylor expansion of 0 in z
8.228 * [taylor]: Taking taylor expansion of 0 in z
8.229 * [taylor]: Taking taylor expansion of 0 in z
8.229 * [taylor]: Taking taylor expansion of 0 in t
8.229 * [taylor]: Taking taylor expansion of 0 in t
8.229 * [taylor]: Taking taylor expansion of 0 in t
8.230 * [taylor]: Taking taylor expansion of 0 in t
8.230 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.231 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.231 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.231 * [taylor]: Taking taylor expansion of 18.0 in z
8.231 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.231 * [taylor]: Taking taylor expansion of x in z
8.231 * [taylor]: Taking taylor expansion of (* z y) in z
8.231 * [taylor]: Taking taylor expansion of z in z
8.231 * [taylor]: Taking taylor expansion of y in z
8.231 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.231 * [taylor]: Taking taylor expansion of 18.0 in y
8.231 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.231 * [taylor]: Taking taylor expansion of x in y
8.231 * [taylor]: Taking taylor expansion of (* z y) in y
8.231 * [taylor]: Taking taylor expansion of z in y
8.231 * [taylor]: Taking taylor expansion of y in y
8.231 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.231 * [taylor]: Taking taylor expansion of 18.0 in x
8.231 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.231 * [taylor]: Taking taylor expansion of x in x
8.231 * [taylor]: Taking taylor expansion of (* z y) in x
8.231 * [taylor]: Taking taylor expansion of z in x
8.231 * [taylor]: Taking taylor expansion of y in x
8.231 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.231 * [taylor]: Taking taylor expansion of 18.0 in x
8.231 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.231 * [taylor]: Taking taylor expansion of x in x
8.231 * [taylor]: Taking taylor expansion of (* z y) in x
8.231 * [taylor]: Taking taylor expansion of z in x
8.231 * [taylor]: Taking taylor expansion of y in x
8.232 * [taylor]: Taking taylor expansion of 0 in y
8.232 * [taylor]: Taking taylor expansion of 0 in z
8.232 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.232 * [taylor]: Taking taylor expansion of 18.0 in y
8.232 * [taylor]: Taking taylor expansion of (* z y) in y
8.232 * [taylor]: Taking taylor expansion of z in y
8.232 * [taylor]: Taking taylor expansion of y in y
8.233 * [taylor]: Taking taylor expansion of 0 in z
8.233 * [taylor]: Taking taylor expansion of 0 in z
8.234 * [taylor]: Taking taylor expansion of 0 in y
8.234 * [taylor]: Taking taylor expansion of 0 in z
8.235 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.235 * [taylor]: Taking taylor expansion of 18.0 in z
8.235 * [taylor]: Taking taylor expansion of z in z
8.235 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.236 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.236 * [taylor]: Taking taylor expansion of 18.0 in z
8.236 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.236 * [taylor]: Taking taylor expansion of x in z
8.236 * [taylor]: Taking taylor expansion of (* z y) in z
8.236 * [taylor]: Taking taylor expansion of z in z
8.236 * [taylor]: Taking taylor expansion of y in z
8.236 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.236 * [taylor]: Taking taylor expansion of 18.0 in y
8.236 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.236 * [taylor]: Taking taylor expansion of x in y
8.236 * [taylor]: Taking taylor expansion of (* z y) in y
8.236 * [taylor]: Taking taylor expansion of z in y
8.236 * [taylor]: Taking taylor expansion of y in y
8.237 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.237 * [taylor]: Taking taylor expansion of 18.0 in x
8.237 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.237 * [taylor]: Taking taylor expansion of x in x
8.237 * [taylor]: Taking taylor expansion of (* z y) in x
8.237 * [taylor]: Taking taylor expansion of z in x
8.237 * [taylor]: Taking taylor expansion of y in x
8.238 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.238 * [taylor]: Taking taylor expansion of 18.0 in x
8.238 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.238 * [taylor]: Taking taylor expansion of x in x
8.238 * [taylor]: Taking taylor expansion of (* z y) in x
8.238 * [taylor]: Taking taylor expansion of z in x
8.238 * [taylor]: Taking taylor expansion of y in x
8.238 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.238 * [taylor]: Taking taylor expansion of 18.0 in y
8.238 * [taylor]: Taking taylor expansion of (* z y) in y
8.238 * [taylor]: Taking taylor expansion of z in y
8.238 * [taylor]: Taking taylor expansion of y in y
8.239 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.239 * [taylor]: Taking taylor expansion of 18.0 in z
8.239 * [taylor]: Taking taylor expansion of z in z
8.240 * [taylor]: Taking taylor expansion of 0 in y
8.241 * [taylor]: Taking taylor expansion of 0 in z
8.243 * [taylor]: Taking taylor expansion of 0 in y
8.243 * [taylor]: Taking taylor expansion of 0 in z
8.244 * [taylor]: Taking taylor expansion of 0 in z
8.247 * [taylor]: Taking taylor expansion of 0 in y
8.247 * [taylor]: Taking taylor expansion of 0 in z
8.247 * [taylor]: Taking taylor expansion of 0 in z
8.248 * [taylor]: Taking taylor expansion of 0 in z
8.248 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.248 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.248 * [taylor]: Taking taylor expansion of -18.0 in z
8.248 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.248 * [taylor]: Taking taylor expansion of x in z
8.248 * [taylor]: Taking taylor expansion of (* z y) in z
8.248 * [taylor]: Taking taylor expansion of z in z
8.248 * [taylor]: Taking taylor expansion of y in z
8.249 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.249 * [taylor]: Taking taylor expansion of -18.0 in y
8.249 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.249 * [taylor]: Taking taylor expansion of x in y
8.249 * [taylor]: Taking taylor expansion of (* z y) in y
8.249 * [taylor]: Taking taylor expansion of z in y
8.249 * [taylor]: Taking taylor expansion of y in y
8.250 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.250 * [taylor]: Taking taylor expansion of -18.0 in x
8.250 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.250 * [taylor]: Taking taylor expansion of x in x
8.250 * [taylor]: Taking taylor expansion of (* z y) in x
8.250 * [taylor]: Taking taylor expansion of z in x
8.250 * [taylor]: Taking taylor expansion of y in x
8.250 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.250 * [taylor]: Taking taylor expansion of -18.0 in x
8.250 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.250 * [taylor]: Taking taylor expansion of x in x
8.250 * [taylor]: Taking taylor expansion of (* z y) in x
8.250 * [taylor]: Taking taylor expansion of z in x
8.250 * [taylor]: Taking taylor expansion of y in x
8.251 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.251 * [taylor]: Taking taylor expansion of -18.0 in y
8.251 * [taylor]: Taking taylor expansion of (* z y) in y
8.251 * [taylor]: Taking taylor expansion of z in y
8.251 * [taylor]: Taking taylor expansion of y in y
8.251 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.251 * [taylor]: Taking taylor expansion of -18.0 in z
8.251 * [taylor]: Taking taylor expansion of z in z
8.253 * [taylor]: Taking taylor expansion of 0 in y
8.253 * [taylor]: Taking taylor expansion of 0 in z
8.255 * [taylor]: Taking taylor expansion of 0 in y
8.255 * [taylor]: Taking taylor expansion of 0 in z
8.256 * [taylor]: Taking taylor expansion of 0 in z
8.259 * [taylor]: Taking taylor expansion of 0 in y
8.259 * [taylor]: Taking taylor expansion of 0 in z
8.259 * [taylor]: Taking taylor expansion of 0 in z
8.260 * [taylor]: Taking taylor expansion of 0 in z
8.260 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
8.260 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
8.260 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
8.260 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.260 * [taylor]: Taking taylor expansion of 27.0 in j
8.261 * [taylor]: Taking taylor expansion of (* j k) in j
8.261 * [taylor]: Taking taylor expansion of j in j
8.261 * [taylor]: Taking taylor expansion of k in j
8.261 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.261 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.261 * [taylor]: Taking taylor expansion of 27.0 in k
8.262 * [taylor]: Taking taylor expansion of (* j k) in k
8.262 * [taylor]: Taking taylor expansion of j in k
8.262 * [taylor]: Taking taylor expansion of k in k
8.262 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.262 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.262 * [taylor]: Taking taylor expansion of 27.0 in k
8.263 * [taylor]: Taking taylor expansion of (* j k) in k
8.263 * [taylor]: Taking taylor expansion of j in k
8.263 * [taylor]: Taking taylor expansion of k in k
8.263 * [taylor]: Taking taylor expansion of 0 in j
8.264 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
8.264 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.264 * [taylor]: Taking taylor expansion of 27.0 in j
8.265 * [taylor]: Taking taylor expansion of j in j
8.268 * [taylor]: Taking taylor expansion of 0 in j
8.272 * [taylor]: Taking taylor expansion of 0 in j
8.280 * [taylor]: Taking taylor expansion of 0 in j
8.281 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.281 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.281 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.281 * [taylor]: Taking taylor expansion of 27.0 in j
8.281 * [taylor]: Taking taylor expansion of (* j k) in j
8.282 * [taylor]: Taking taylor expansion of j in j
8.282 * [taylor]: Taking taylor expansion of k in j
8.282 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.282 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.282 * [taylor]: Taking taylor expansion of 27.0 in k
8.283 * [taylor]: Taking taylor expansion of (* j k) in k
8.283 * [taylor]: Taking taylor expansion of j in k
8.283 * [taylor]: Taking taylor expansion of k in k
8.284 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.284 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.284 * [taylor]: Taking taylor expansion of 27.0 in k
8.284 * [taylor]: Taking taylor expansion of (* j k) in k
8.284 * [taylor]: Taking taylor expansion of j in k
8.285 * [taylor]: Taking taylor expansion of k in k
8.285 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.285 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.285 * [taylor]: Taking taylor expansion of 27.0 in j
8.286 * [taylor]: Taking taylor expansion of j in j
8.288 * [taylor]: Taking taylor expansion of 0 in j
8.290 * [taylor]: Taking taylor expansion of 0 in j
8.294 * [taylor]: Taking taylor expansion of 0 in j
8.296 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.297 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.297 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.297 * [taylor]: Taking taylor expansion of 27.0 in j
8.297 * [taylor]: Taking taylor expansion of (* j k) in j
8.297 * [taylor]: Taking taylor expansion of j in j
8.297 * [taylor]: Taking taylor expansion of k in j
8.298 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.298 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.298 * [taylor]: Taking taylor expansion of 27.0 in k
8.299 * [taylor]: Taking taylor expansion of (* j k) in k
8.299 * [taylor]: Taking taylor expansion of j in k
8.299 * [taylor]: Taking taylor expansion of k in k
8.299 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.300 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.300 * [taylor]: Taking taylor expansion of 27.0 in k
8.300 * [taylor]: Taking taylor expansion of (* j k) in k
8.300 * [taylor]: Taking taylor expansion of j in k
8.300 * [taylor]: Taking taylor expansion of k in k
8.301 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.301 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.301 * [taylor]: Taking taylor expansion of 27.0 in j
8.302 * [taylor]: Taking taylor expansion of j in j
8.303 * [taylor]: Taking taylor expansion of 0 in j
8.306 * [taylor]: Taking taylor expansion of 0 in j
8.309 * [taylor]: Taking taylor expansion of 0 in j
8.311 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
8.311 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.311 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
8.311 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.311 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.312 * [taylor]: Taking taylor expansion of 27.0 in j
8.312 * [taylor]: Taking taylor expansion of (* k j) in j
8.312 * [taylor]: Taking taylor expansion of k in j
8.312 * [taylor]: Taking taylor expansion of j in j
8.312 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.312 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.312 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.312 * [taylor]: Taking taylor expansion of 27.0 in k
8.313 * [taylor]: Taking taylor expansion of (* k j) in k
8.313 * [taylor]: Taking taylor expansion of k in k
8.313 * [taylor]: Taking taylor expansion of j in k
8.313 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.313 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.313 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.313 * [taylor]: Taking taylor expansion of 27.0 in k
8.314 * [taylor]: Taking taylor expansion of (* k j) in k
8.314 * [taylor]: Taking taylor expansion of k in k
8.314 * [taylor]: Taking taylor expansion of j in k
8.316 * [taylor]: Taking taylor expansion of 0 in j
8.318 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
8.318 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.318 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.318 * [taylor]: Taking taylor expansion of 27.0 in j
8.319 * [taylor]: Taking taylor expansion of j in j
8.322 * [taylor]: Taking taylor expansion of 0 in j
8.329 * [taylor]: Taking taylor expansion of 0 in j
8.335 * [taylor]: Taking taylor expansion of 0 in j
8.337 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.337 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.337 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.337 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.337 * [taylor]: Taking taylor expansion of 27.0 in j
8.337 * [taylor]: Taking taylor expansion of (* k j) in j
8.338 * [taylor]: Taking taylor expansion of k in j
8.338 * [taylor]: Taking taylor expansion of j in j
8.340 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.340 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.340 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.340 * [taylor]: Taking taylor expansion of 27.0 in k
8.341 * [taylor]: Taking taylor expansion of (* k j) in k
8.341 * [taylor]: Taking taylor expansion of k in k
8.341 * [taylor]: Taking taylor expansion of j in k
8.343 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.343 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.343 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.343 * [taylor]: Taking taylor expansion of 27.0 in k
8.344 * [taylor]: Taking taylor expansion of (* k j) in k
8.344 * [taylor]: Taking taylor expansion of k in k
8.344 * [taylor]: Taking taylor expansion of j in k
8.345 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.346 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.346 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.346 * [taylor]: Taking taylor expansion of 27.0 in j
8.346 * [taylor]: Taking taylor expansion of j in j
8.351 * [taylor]: Taking taylor expansion of 0 in j
8.355 * [taylor]: Taking taylor expansion of 0 in j
8.361 * [taylor]: Taking taylor expansion of 0 in j
8.365 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.365 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.365 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.365 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.365 * [taylor]: Taking taylor expansion of 27.0 in j
8.365 * [taylor]: Taking taylor expansion of (* k j) in j
8.366 * [taylor]: Taking taylor expansion of k in j
8.366 * [taylor]: Taking taylor expansion of j in j
8.368 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.368 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.368 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.368 * [taylor]: Taking taylor expansion of 27.0 in k
8.369 * [taylor]: Taking taylor expansion of (* k j) in k
8.369 * [taylor]: Taking taylor expansion of k in k
8.369 * [taylor]: Taking taylor expansion of j in k
8.370 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.371 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.371 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.371 * [taylor]: Taking taylor expansion of 27.0 in k
8.375 * [taylor]: Taking taylor expansion of (* k j) in k
8.375 * [taylor]: Taking taylor expansion of k in k
8.375 * [taylor]: Taking taylor expansion of j in k
8.377 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.378 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.378 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.378 * [taylor]: Taking taylor expansion of 27.0 in j
8.378 * [taylor]: Taking taylor expansion of j in j
8.383 * [taylor]: Taking taylor expansion of 0 in j
8.388 * [taylor]: Taking taylor expansion of 0 in j
8.393 * [taylor]: Taking taylor expansion of 0 in j
8.396 * * * [progress]: simplifying candidates
8.397 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (+ (log (sqrt 27.0)) (+ (log k) (log j)))
  (+ (log (sqrt 27.0)) (log (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log k) (log j))))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* k j))))
  (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* k j))))
  (log (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (exp (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j))))
  (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
  (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
8.401 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
8.429 * * [simplify]: iteration  1 :  412  enodes  (cost  1050 )
8.557 * * [simplify]: iteration  2 :  2009  enodes  (cost  828 )
9.279 * * [simplify]: iteration  done :  5000  enodes  (cost  828 )
9.280 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (log (* (sqrt 27.0) (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* k j)) 3)
  (pow (* (sqrt 27.0) (* k j)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* k j)) 3)
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (* j k) 27.0))
  (log1p (* (* j k) 27.0))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (exp (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (* (cbrt (* (* j k) 27.0)) (cbrt (* (* j k) 27.0)))
  (cbrt (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (sqrt (* (* j k) 27.0))
  (sqrt (* (* j k) 27.0))
  27.0
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
9.280 * * * [progress]: adding candidates to table
9.702 * [progress]: [Phase 3 of 3] Extracting.
9.702 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
9.712 * * * [regime-changes]: Trying 15 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) k j i c b a t z y x)
9.712 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
9.802 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>)
9.834 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
9.915 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>)
9.943 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.024 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.100 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.176 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.257 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.288 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.365 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.448 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.511 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.576 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.647 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.716 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.792 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.875 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
10.951 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
11.027 * * * [regime]: Found split indices: #<option (#s(si 0 7) #s(si 8 238) #s(si 0 255))>
11.030 * [binary-search]: Only using regimes for bounds on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) and (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
11.030 * [regimes]: Found splitpoints: (#s(sp 0 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 8 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291) #s(sp 0 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))>)
11.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))))
11.032 * * [simplify]: iteration  0 :  44  enodes  (cost  139 )
11.033 * * [simplify]: iteration  1 :  65  enodes  (cost  114 )
11.035 * * [simplify]: iteration  done :  65  enodes  (cost  114 )
11.035 * [simplify]: Simplified to:
   (if (or (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (not (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))
13.723 * [regime-testing]: Baseline error score: 5.464520610463194
13.724 * [regime-testing]: Oracle error score: 0.03880389016411785
13.725 * [regime-testing]: End program error score: 1.0168395901171272
13.770 * [regime-testing]: Target error score: 1.6488222259628853