37.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.061 * * * [progress]: [2/2] Setting up program.
0.066 * [progress]: [Phase 2 of 3] Improving.
0.066 * [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.067 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.071 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.085 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.147 * * [simplify]: iteration  3 :  722  enodes  (cost  27 )
0.920 * * [simplify]: iteration  4 :  1970  enodes  (cost  27 )
3.055 * * [simplify]: iteration  5 :  3162  enodes  (cost  26 )
6.308 * * [simplify]: iteration  6 :  4396  enodes  (cost  26 )
7.225 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
7.225 * [simplify]: Simplified to:
   (- (fma t (* (* (* x 18.0) y) z) (* b c)) (fma 4.0 (fma t a (* i x)) (* (* j 27.0) k)))
7.231 * * [progress]: iteration 1 / 4
7.231 * * * [progress]: picking best candidate
7.235 * * * * [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)))>
7.235 * * * [progress]: localizing error
7.257 * * * [progress]: generating rewritten candidates
7.257 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.339 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
7.361 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.369 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
7.381 * * * [progress]: generating series expansions
7.381 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.381 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
7.381 * [taylor]: Taking taylor expansion of 18.0 in t
7.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.381 * [taylor]: Taking taylor expansion of t in t
7.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.381 * [taylor]: Taking taylor expansion of x in t
7.381 * [taylor]: Taking taylor expansion of (* z y) in t
7.381 * [taylor]: Taking taylor expansion of z in t
7.381 * [taylor]: Taking taylor expansion of y in t
7.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
7.381 * [taylor]: Taking taylor expansion of 18.0 in z
7.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.381 * [taylor]: Taking taylor expansion of t in z
7.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.381 * [taylor]: Taking taylor expansion of x in z
7.381 * [taylor]: Taking taylor expansion of (* z y) in z
7.381 * [taylor]: Taking taylor expansion of z in z
7.381 * [taylor]: Taking taylor expansion of y in z
7.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
7.381 * [taylor]: Taking taylor expansion of 18.0 in y
7.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.381 * [taylor]: Taking taylor expansion of t in y
7.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.381 * [taylor]: Taking taylor expansion of x in y
7.381 * [taylor]: Taking taylor expansion of (* z y) in y
7.381 * [taylor]: Taking taylor expansion of z in y
7.381 * [taylor]: Taking taylor expansion of y in y
7.381 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
7.381 * [taylor]: Taking taylor expansion of 18.0 in x
7.381 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.381 * [taylor]: Taking taylor expansion of t in x
7.381 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.381 * [taylor]: Taking taylor expansion of x in x
7.381 * [taylor]: Taking taylor expansion of (* z y) in x
7.381 * [taylor]: Taking taylor expansion of z in x
7.382 * [taylor]: Taking taylor expansion of y in x
7.382 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
7.382 * [taylor]: Taking taylor expansion of 18.0 in x
7.382 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.382 * [taylor]: Taking taylor expansion of t in x
7.382 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.382 * [taylor]: Taking taylor expansion of x in x
7.382 * [taylor]: Taking taylor expansion of (* z y) in x
7.382 * [taylor]: Taking taylor expansion of z in x
7.382 * [taylor]: Taking taylor expansion of y in x
7.382 * [taylor]: Taking taylor expansion of 0 in y
7.382 * [taylor]: Taking taylor expansion of 0 in z
7.382 * [taylor]: Taking taylor expansion of 0 in t
7.384 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
7.384 * [taylor]: Taking taylor expansion of 18.0 in y
7.384 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.384 * [taylor]: Taking taylor expansion of t in y
7.384 * [taylor]: Taking taylor expansion of (* z y) in y
7.384 * [taylor]: Taking taylor expansion of z in y
7.384 * [taylor]: Taking taylor expansion of y in y
7.384 * [taylor]: Taking taylor expansion of 0 in z
7.384 * [taylor]: Taking taylor expansion of 0 in t
7.384 * [taylor]: Taking taylor expansion of 0 in z
7.384 * [taylor]: Taking taylor expansion of 0 in t
7.384 * [taylor]: Taking taylor expansion of 0 in t
7.386 * [taylor]: Taking taylor expansion of 0 in y
7.386 * [taylor]: Taking taylor expansion of 0 in z
7.386 * [taylor]: Taking taylor expansion of 0 in t
7.386 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.386 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
7.386 * [taylor]: Taking taylor expansion of 18.0 in t
7.386 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.386 * [taylor]: Taking taylor expansion of t in t
7.386 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.386 * [taylor]: Taking taylor expansion of x in t
7.386 * [taylor]: Taking taylor expansion of (* z y) in t
7.386 * [taylor]: Taking taylor expansion of z in t
7.386 * [taylor]: Taking taylor expansion of y in t
7.387 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
7.387 * [taylor]: Taking taylor expansion of 18.0 in z
7.387 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.387 * [taylor]: Taking taylor expansion of t in z
7.387 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.387 * [taylor]: Taking taylor expansion of x in z
7.387 * [taylor]: Taking taylor expansion of (* z y) in z
7.387 * [taylor]: Taking taylor expansion of z in z
7.387 * [taylor]: Taking taylor expansion of y in z
7.388 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
7.388 * [taylor]: Taking taylor expansion of 18.0 in y
7.388 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.388 * [taylor]: Taking taylor expansion of t in y
7.388 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.388 * [taylor]: Taking taylor expansion of x in y
7.388 * [taylor]: Taking taylor expansion of (* z y) in y
7.388 * [taylor]: Taking taylor expansion of z in y
7.388 * [taylor]: Taking taylor expansion of y in y
7.389 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.389 * [taylor]: Taking taylor expansion of 18.0 in x
7.389 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.389 * [taylor]: Taking taylor expansion of t in x
7.389 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.389 * [taylor]: Taking taylor expansion of x in x
7.389 * [taylor]: Taking taylor expansion of (* z y) in x
7.389 * [taylor]: Taking taylor expansion of z in x
7.389 * [taylor]: Taking taylor expansion of y in x
7.390 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.390 * [taylor]: Taking taylor expansion of 18.0 in x
7.390 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.390 * [taylor]: Taking taylor expansion of t in x
7.390 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.390 * [taylor]: Taking taylor expansion of x in x
7.390 * [taylor]: Taking taylor expansion of (* z y) in x
7.390 * [taylor]: Taking taylor expansion of z in x
7.390 * [taylor]: Taking taylor expansion of y in x
7.391 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
7.391 * [taylor]: Taking taylor expansion of 18.0 in y
7.391 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.391 * [taylor]: Taking taylor expansion of t in y
7.391 * [taylor]: Taking taylor expansion of (* z y) in y
7.391 * [taylor]: Taking taylor expansion of z in y
7.391 * [taylor]: Taking taylor expansion of y in y
7.392 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
7.392 * [taylor]: Taking taylor expansion of 18.0 in z
7.392 * [taylor]: Taking taylor expansion of (* t z) in z
7.392 * [taylor]: Taking taylor expansion of t in z
7.392 * [taylor]: Taking taylor expansion of z in z
7.392 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
7.392 * [taylor]: Taking taylor expansion of 18.0 in t
7.392 * [taylor]: Taking taylor expansion of t in t
7.394 * [taylor]: Taking taylor expansion of 0 in y
7.394 * [taylor]: Taking taylor expansion of 0 in z
7.395 * [taylor]: Taking taylor expansion of 0 in t
7.397 * [taylor]: Taking taylor expansion of 0 in y
7.397 * [taylor]: Taking taylor expansion of 0 in z
7.399 * [taylor]: Taking taylor expansion of 0 in z
7.399 * [taylor]: Taking taylor expansion of 0 in t
7.399 * [taylor]: Taking taylor expansion of 0 in t
7.403 * [taylor]: Taking taylor expansion of 0 in y
7.403 * [taylor]: Taking taylor expansion of 0 in z
7.403 * [taylor]: Taking taylor expansion of 0 in z
7.405 * [taylor]: Taking taylor expansion of 0 in z
7.405 * [taylor]: Taking taylor expansion of 0 in t
7.405 * [taylor]: Taking taylor expansion of 0 in t
7.405 * [taylor]: Taking taylor expansion of 0 in t
7.405 * [taylor]: Taking taylor expansion of 0 in t
7.406 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.406 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
7.406 * [taylor]: Taking taylor expansion of 18.0 in t
7.406 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.406 * [taylor]: Taking taylor expansion of t in t
7.406 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.406 * [taylor]: Taking taylor expansion of x in t
7.406 * [taylor]: Taking taylor expansion of (* z y) in t
7.406 * [taylor]: Taking taylor expansion of z in t
7.406 * [taylor]: Taking taylor expansion of y in t
7.406 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
7.407 * [taylor]: Taking taylor expansion of 18.0 in z
7.407 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.407 * [taylor]: Taking taylor expansion of t in z
7.407 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.407 * [taylor]: Taking taylor expansion of x in z
7.407 * [taylor]: Taking taylor expansion of (* z y) in z
7.407 * [taylor]: Taking taylor expansion of z in z
7.407 * [taylor]: Taking taylor expansion of y in z
7.408 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
7.408 * [taylor]: Taking taylor expansion of 18.0 in y
7.408 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.408 * [taylor]: Taking taylor expansion of t in y
7.408 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.408 * [taylor]: Taking taylor expansion of x in y
7.408 * [taylor]: Taking taylor expansion of (* z y) in y
7.408 * [taylor]: Taking taylor expansion of z in y
7.408 * [taylor]: Taking taylor expansion of y in y
7.409 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.409 * [taylor]: Taking taylor expansion of 18.0 in x
7.409 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.409 * [taylor]: Taking taylor expansion of t in x
7.409 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.409 * [taylor]: Taking taylor expansion of x in x
7.409 * [taylor]: Taking taylor expansion of (* z y) in x
7.409 * [taylor]: Taking taylor expansion of z in x
7.409 * [taylor]: Taking taylor expansion of y in x
7.409 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.409 * [taylor]: Taking taylor expansion of 18.0 in x
7.409 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.410 * [taylor]: Taking taylor expansion of t in x
7.410 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.410 * [taylor]: Taking taylor expansion of x in x
7.410 * [taylor]: Taking taylor expansion of (* z y) in x
7.410 * [taylor]: Taking taylor expansion of z in x
7.410 * [taylor]: Taking taylor expansion of y in x
7.410 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
7.410 * [taylor]: Taking taylor expansion of 18.0 in y
7.410 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.410 * [taylor]: Taking taylor expansion of t in y
7.410 * [taylor]: Taking taylor expansion of (* z y) in y
7.410 * [taylor]: Taking taylor expansion of z in y
7.410 * [taylor]: Taking taylor expansion of y in y
7.411 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
7.411 * [taylor]: Taking taylor expansion of 18.0 in z
7.411 * [taylor]: Taking taylor expansion of (* t z) in z
7.411 * [taylor]: Taking taylor expansion of t in z
7.411 * [taylor]: Taking taylor expansion of z in z
7.412 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
7.412 * [taylor]: Taking taylor expansion of 18.0 in t
7.412 * [taylor]: Taking taylor expansion of t in t
7.413 * [taylor]: Taking taylor expansion of 0 in y
7.414 * [taylor]: Taking taylor expansion of 0 in z
7.415 * [taylor]: Taking taylor expansion of 0 in t
7.417 * [taylor]: Taking taylor expansion of 0 in y
7.418 * [taylor]: Taking taylor expansion of 0 in z
7.419 * [taylor]: Taking taylor expansion of 0 in z
7.419 * [taylor]: Taking taylor expansion of 0 in t
7.419 * [taylor]: Taking taylor expansion of 0 in t
7.423 * [taylor]: Taking taylor expansion of 0 in y
7.423 * [taylor]: Taking taylor expansion of 0 in z
7.423 * [taylor]: Taking taylor expansion of 0 in z
7.425 * [taylor]: Taking taylor expansion of 0 in z
7.425 * [taylor]: Taking taylor expansion of 0 in t
7.425 * [taylor]: Taking taylor expansion of 0 in t
7.425 * [taylor]: Taking taylor expansion of 0 in t
7.425 * [taylor]: Taking taylor expansion of 0 in t
7.426 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
7.426 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
7.426 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
7.426 * [taylor]: Taking taylor expansion of 18.0 in z
7.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.426 * [taylor]: Taking taylor expansion of x in z
7.426 * [taylor]: Taking taylor expansion of (* z y) in z
7.426 * [taylor]: Taking taylor expansion of z in z
7.426 * [taylor]: Taking taylor expansion of y in z
7.426 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
7.426 * [taylor]: Taking taylor expansion of 18.0 in y
7.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.426 * [taylor]: Taking taylor expansion of x in y
7.426 * [taylor]: Taking taylor expansion of (* z y) in y
7.426 * [taylor]: Taking taylor expansion of z in y
7.426 * [taylor]: Taking taylor expansion of y in y
7.426 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.426 * [taylor]: Taking taylor expansion of 18.0 in x
7.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.426 * [taylor]: Taking taylor expansion of x in x
7.426 * [taylor]: Taking taylor expansion of (* z y) in x
7.426 * [taylor]: Taking taylor expansion of z in x
7.426 * [taylor]: Taking taylor expansion of y in x
7.426 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.426 * [taylor]: Taking taylor expansion of 18.0 in x
7.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.426 * [taylor]: Taking taylor expansion of x in x
7.426 * [taylor]: Taking taylor expansion of (* z y) in x
7.426 * [taylor]: Taking taylor expansion of z in x
7.426 * [taylor]: Taking taylor expansion of y in x
7.427 * [taylor]: Taking taylor expansion of 0 in y
7.427 * [taylor]: Taking taylor expansion of 0 in z
7.427 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
7.427 * [taylor]: Taking taylor expansion of 18.0 in y
7.427 * [taylor]: Taking taylor expansion of (* z y) in y
7.427 * [taylor]: Taking taylor expansion of z in y
7.427 * [taylor]: Taking taylor expansion of y in y
7.428 * [taylor]: Taking taylor expansion of 0 in z
7.428 * [taylor]: Taking taylor expansion of 0 in z
7.429 * [taylor]: Taking taylor expansion of 0 in y
7.429 * [taylor]: Taking taylor expansion of 0 in z
7.430 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
7.430 * [taylor]: Taking taylor expansion of 18.0 in z
7.430 * [taylor]: Taking taylor expansion of z in z
7.430 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
7.430 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
7.430 * [taylor]: Taking taylor expansion of 18.0 in z
7.430 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.430 * [taylor]: Taking taylor expansion of x in z
7.430 * [taylor]: Taking taylor expansion of (* z y) in z
7.430 * [taylor]: Taking taylor expansion of z in z
7.430 * [taylor]: Taking taylor expansion of y in z
7.431 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
7.431 * [taylor]: Taking taylor expansion of 18.0 in y
7.431 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.431 * [taylor]: Taking taylor expansion of x in y
7.431 * [taylor]: Taking taylor expansion of (* z y) in y
7.431 * [taylor]: Taking taylor expansion of z in y
7.431 * [taylor]: Taking taylor expansion of y in y
7.432 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.432 * [taylor]: Taking taylor expansion of 18.0 in x
7.432 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.432 * [taylor]: Taking taylor expansion of x in x
7.432 * [taylor]: Taking taylor expansion of (* z y) in x
7.432 * [taylor]: Taking taylor expansion of z in x
7.432 * [taylor]: Taking taylor expansion of y in x
7.432 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.432 * [taylor]: Taking taylor expansion of 18.0 in x
7.432 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.432 * [taylor]: Taking taylor expansion of x in x
7.432 * [taylor]: Taking taylor expansion of (* z y) in x
7.432 * [taylor]: Taking taylor expansion of z in x
7.432 * [taylor]: Taking taylor expansion of y in x
7.433 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
7.433 * [taylor]: Taking taylor expansion of 18.0 in y
7.433 * [taylor]: Taking taylor expansion of (* z y) in y
7.433 * [taylor]: Taking taylor expansion of z in y
7.433 * [taylor]: Taking taylor expansion of y in y
7.433 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
7.433 * [taylor]: Taking taylor expansion of 18.0 in z
7.433 * [taylor]: Taking taylor expansion of z in z
7.435 * [taylor]: Taking taylor expansion of 0 in y
7.435 * [taylor]: Taking taylor expansion of 0 in z
7.437 * [taylor]: Taking taylor expansion of 0 in y
7.437 * [taylor]: Taking taylor expansion of 0 in z
7.438 * [taylor]: Taking taylor expansion of 0 in z
7.440 * [taylor]: Taking taylor expansion of 0 in y
7.440 * [taylor]: Taking taylor expansion of 0 in z
7.440 * [taylor]: Taking taylor expansion of 0 in z
7.441 * [taylor]: Taking taylor expansion of 0 in z
7.441 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
7.441 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
7.441 * [taylor]: Taking taylor expansion of -18.0 in z
7.441 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.441 * [taylor]: Taking taylor expansion of x in z
7.441 * [taylor]: Taking taylor expansion of (* z y) in z
7.441 * [taylor]: Taking taylor expansion of z in z
7.441 * [taylor]: Taking taylor expansion of y in z
7.442 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
7.442 * [taylor]: Taking taylor expansion of -18.0 in y
7.442 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.442 * [taylor]: Taking taylor expansion of x in y
7.442 * [taylor]: Taking taylor expansion of (* z y) in y
7.442 * [taylor]: Taking taylor expansion of z in y
7.442 * [taylor]: Taking taylor expansion of y in y
7.443 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.443 * [taylor]: Taking taylor expansion of -18.0 in x
7.443 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.443 * [taylor]: Taking taylor expansion of x in x
7.443 * [taylor]: Taking taylor expansion of (* z y) in x
7.443 * [taylor]: Taking taylor expansion of z in x
7.443 * [taylor]: Taking taylor expansion of y in x
7.443 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.443 * [taylor]: Taking taylor expansion of -18.0 in x
7.443 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.443 * [taylor]: Taking taylor expansion of x in x
7.443 * [taylor]: Taking taylor expansion of (* z y) in x
7.443 * [taylor]: Taking taylor expansion of z in x
7.443 * [taylor]: Taking taylor expansion of y in x
7.444 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
7.444 * [taylor]: Taking taylor expansion of -18.0 in y
7.444 * [taylor]: Taking taylor expansion of (* z y) in y
7.444 * [taylor]: Taking taylor expansion of z in y
7.444 * [taylor]: Taking taylor expansion of y in y
7.444 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
7.444 * [taylor]: Taking taylor expansion of -18.0 in z
7.444 * [taylor]: Taking taylor expansion of z in z
7.446 * [taylor]: Taking taylor expansion of 0 in y
7.446 * [taylor]: Taking taylor expansion of 0 in z
7.448 * [taylor]: Taking taylor expansion of 0 in y
7.448 * [taylor]: Taking taylor expansion of 0 in z
7.449 * [taylor]: Taking taylor expansion of 0 in z
7.451 * [taylor]: Taking taylor expansion of 0 in y
7.452 * [taylor]: Taking taylor expansion of 0 in z
7.452 * [taylor]: Taking taylor expansion of 0 in z
7.452 * [taylor]: Taking taylor expansion of 0 in z
7.452 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.453 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
7.453 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.453 * [taylor]: Taking taylor expansion of 27.0 in k
7.453 * [taylor]: Taking taylor expansion of (* k j) in k
7.453 * [taylor]: Taking taylor expansion of k in k
7.453 * [taylor]: Taking taylor expansion of j in k
7.453 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
7.453 * [taylor]: Taking taylor expansion of 27.0 in j
7.453 * [taylor]: Taking taylor expansion of (* k j) in j
7.453 * [taylor]: Taking taylor expansion of k in j
7.453 * [taylor]: Taking taylor expansion of j in j
7.453 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
7.453 * [taylor]: Taking taylor expansion of 27.0 in j
7.453 * [taylor]: Taking taylor expansion of (* k j) in j
7.453 * [taylor]: Taking taylor expansion of k in j
7.453 * [taylor]: Taking taylor expansion of j in j
7.453 * [taylor]: Taking taylor expansion of 0 in k
7.454 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
7.454 * [taylor]: Taking taylor expansion of 27.0 in k
7.454 * [taylor]: Taking taylor expansion of k in k
7.455 * [taylor]: Taking taylor expansion of 0 in k
7.457 * [taylor]: Taking taylor expansion of 0 in k
7.460 * [taylor]: Taking taylor expansion of 0 in k
7.460 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
7.460 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.460 * [taylor]: Taking taylor expansion of 27.0 in k
7.460 * [taylor]: Taking taylor expansion of (* k j) in k
7.460 * [taylor]: Taking taylor expansion of k in k
7.460 * [taylor]: Taking taylor expansion of j in k
7.460 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.460 * [taylor]: Taking taylor expansion of 27.0 in j
7.460 * [taylor]: Taking taylor expansion of (* k j) in j
7.460 * [taylor]: Taking taylor expansion of k in j
7.460 * [taylor]: Taking taylor expansion of j in j
7.461 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.461 * [taylor]: Taking taylor expansion of 27.0 in j
7.461 * [taylor]: Taking taylor expansion of (* k j) in j
7.461 * [taylor]: Taking taylor expansion of k in j
7.461 * [taylor]: Taking taylor expansion of j in j
7.461 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
7.461 * [taylor]: Taking taylor expansion of 27.0 in k
7.461 * [taylor]: Taking taylor expansion of k in k
7.462 * [taylor]: Taking taylor expansion of 0 in k
7.463 * [taylor]: Taking taylor expansion of 0 in k
7.464 * [taylor]: Taking taylor expansion of 0 in k
7.470 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
7.470 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.470 * [taylor]: Taking taylor expansion of 27.0 in k
7.470 * [taylor]: Taking taylor expansion of (* k j) in k
7.470 * [taylor]: Taking taylor expansion of k in k
7.470 * [taylor]: Taking taylor expansion of j in k
7.471 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.471 * [taylor]: Taking taylor expansion of 27.0 in j
7.471 * [taylor]: Taking taylor expansion of (* k j) in j
7.471 * [taylor]: Taking taylor expansion of k in j
7.471 * [taylor]: Taking taylor expansion of j in j
7.471 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.471 * [taylor]: Taking taylor expansion of 27.0 in j
7.471 * [taylor]: Taking taylor expansion of (* k j) in j
7.471 * [taylor]: Taking taylor expansion of k in j
7.471 * [taylor]: Taking taylor expansion of j in j
7.472 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
7.472 * [taylor]: Taking taylor expansion of 27.0 in k
7.472 * [taylor]: Taking taylor expansion of k in k
7.472 * [taylor]: Taking taylor expansion of 0 in k
7.473 * [taylor]: Taking taylor expansion of 0 in k
7.475 * [taylor]: Taking taylor expansion of 0 in k
7.475 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
7.476 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
7.476 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
7.476 * [taylor]: Taking taylor expansion of 18.0 in y
7.476 * [taylor]: Taking taylor expansion of (* x y) in y
7.476 * [taylor]: Taking taylor expansion of x in y
7.476 * [taylor]: Taking taylor expansion of y in y
7.476 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.476 * [taylor]: Taking taylor expansion of 18.0 in x
7.476 * [taylor]: Taking taylor expansion of (* x y) in x
7.476 * [taylor]: Taking taylor expansion of x in x
7.476 * [taylor]: Taking taylor expansion of y in x
7.476 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.476 * [taylor]: Taking taylor expansion of 18.0 in x
7.476 * [taylor]: Taking taylor expansion of (* x y) in x
7.476 * [taylor]: Taking taylor expansion of x in x
7.476 * [taylor]: Taking taylor expansion of y in x
7.476 * [taylor]: Taking taylor expansion of 0 in y
7.477 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
7.477 * [taylor]: Taking taylor expansion of 18.0 in y
7.477 * [taylor]: Taking taylor expansion of y in y
7.478 * [taylor]: Taking taylor expansion of 0 in y
7.480 * [taylor]: Taking taylor expansion of 0 in y
7.483 * [taylor]: Taking taylor expansion of 0 in y
7.483 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.483 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.483 * [taylor]: Taking taylor expansion of 18.0 in y
7.483 * [taylor]: Taking taylor expansion of (* x y) in y
7.483 * [taylor]: Taking taylor expansion of x in y
7.483 * [taylor]: Taking taylor expansion of y in y
7.484 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.484 * [taylor]: Taking taylor expansion of 18.0 in x
7.484 * [taylor]: Taking taylor expansion of (* x y) in x
7.484 * [taylor]: Taking taylor expansion of x in x
7.484 * [taylor]: Taking taylor expansion of y in x
7.484 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.484 * [taylor]: Taking taylor expansion of 18.0 in x
7.484 * [taylor]: Taking taylor expansion of (* x y) in x
7.484 * [taylor]: Taking taylor expansion of x in x
7.484 * [taylor]: Taking taylor expansion of y in x
7.485 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.485 * [taylor]: Taking taylor expansion of 18.0 in y
7.485 * [taylor]: Taking taylor expansion of y in y
7.486 * [taylor]: Taking taylor expansion of 0 in y
7.487 * [taylor]: Taking taylor expansion of 0 in y
7.489 * [taylor]: Taking taylor expansion of 0 in y
7.490 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.490 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.490 * [taylor]: Taking taylor expansion of 18.0 in y
7.490 * [taylor]: Taking taylor expansion of (* x y) in y
7.490 * [taylor]: Taking taylor expansion of x in y
7.490 * [taylor]: Taking taylor expansion of y in y
7.490 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.490 * [taylor]: Taking taylor expansion of 18.0 in x
7.490 * [taylor]: Taking taylor expansion of (* x y) in x
7.490 * [taylor]: Taking taylor expansion of x in x
7.490 * [taylor]: Taking taylor expansion of y in x
7.490 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.490 * [taylor]: Taking taylor expansion of 18.0 in x
7.490 * [taylor]: Taking taylor expansion of (* x y) in x
7.490 * [taylor]: Taking taylor expansion of x in x
7.490 * [taylor]: Taking taylor expansion of y in x
7.491 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.491 * [taylor]: Taking taylor expansion of 18.0 in y
7.491 * [taylor]: Taking taylor expansion of y in y
7.492 * [taylor]: Taking taylor expansion of 0 in y
7.493 * [taylor]: Taking taylor expansion of 0 in y
7.495 * [taylor]: Taking taylor expansion of 0 in y
7.496 * * * [progress]: simplifying candidates
7.497 * [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))
7.500 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
7.526 * * [simplify]: iteration  1 :  366  enodes  (cost  944 )
7.753 * * [simplify]: iteration  2 :  1826  enodes  (cost  738 )
8.761 * * [simplify]: iteration  done :  5000  enodes  (cost  738 )
8.761 * [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)
8.762 * * * [progress]: adding candidates to table
9.121 * * [progress]: iteration 2 / 4
9.121 * * * [progress]: picking best candidate
9.169 * * * * [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))))>
9.169 * * * [progress]: localizing error
9.192 * * * [progress]: generating rewritten candidates
9.192 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.274 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
9.296 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.302 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
9.312 * * * [progress]: generating series expansions
9.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.313 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.313 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
9.313 * [taylor]: Taking taylor expansion of 18.0 in t
9.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.313 * [taylor]: Taking taylor expansion of t in t
9.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.313 * [taylor]: Taking taylor expansion of x in t
9.313 * [taylor]: Taking taylor expansion of (* z y) in t
9.313 * [taylor]: Taking taylor expansion of z in t
9.313 * [taylor]: Taking taylor expansion of y in t
9.313 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
9.313 * [taylor]: Taking taylor expansion of 18.0 in z
9.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.313 * [taylor]: Taking taylor expansion of t in z
9.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.313 * [taylor]: Taking taylor expansion of x in z
9.313 * [taylor]: Taking taylor expansion of (* z y) in z
9.313 * [taylor]: Taking taylor expansion of z in z
9.313 * [taylor]: Taking taylor expansion of y in z
9.313 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
9.313 * [taylor]: Taking taylor expansion of 18.0 in y
9.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.313 * [taylor]: Taking taylor expansion of t in y
9.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.313 * [taylor]: Taking taylor expansion of x in y
9.313 * [taylor]: Taking taylor expansion of (* z y) in y
9.313 * [taylor]: Taking taylor expansion of z in y
9.313 * [taylor]: Taking taylor expansion of y in y
9.313 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.313 * [taylor]: Taking taylor expansion of 18.0 in x
9.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.313 * [taylor]: Taking taylor expansion of t in x
9.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.313 * [taylor]: Taking taylor expansion of x in x
9.313 * [taylor]: Taking taylor expansion of (* z y) in x
9.313 * [taylor]: Taking taylor expansion of z in x
9.313 * [taylor]: Taking taylor expansion of y in x
9.313 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.313 * [taylor]: Taking taylor expansion of 18.0 in x
9.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.313 * [taylor]: Taking taylor expansion of t in x
9.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.313 * [taylor]: Taking taylor expansion of x in x
9.313 * [taylor]: Taking taylor expansion of (* z y) in x
9.313 * [taylor]: Taking taylor expansion of z in x
9.313 * [taylor]: Taking taylor expansion of y in x
9.314 * [taylor]: Taking taylor expansion of 0 in y
9.314 * [taylor]: Taking taylor expansion of 0 in z
9.314 * [taylor]: Taking taylor expansion of 0 in t
9.315 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
9.315 * [taylor]: Taking taylor expansion of 18.0 in y
9.316 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.316 * [taylor]: Taking taylor expansion of t in y
9.316 * [taylor]: Taking taylor expansion of (* z y) in y
9.316 * [taylor]: Taking taylor expansion of z in y
9.316 * [taylor]: Taking taylor expansion of y in y
9.316 * [taylor]: Taking taylor expansion of 0 in z
9.316 * [taylor]: Taking taylor expansion of 0 in t
9.316 * [taylor]: Taking taylor expansion of 0 in z
9.316 * [taylor]: Taking taylor expansion of 0 in t
9.316 * [taylor]: Taking taylor expansion of 0 in t
9.318 * [taylor]: Taking taylor expansion of 0 in y
9.318 * [taylor]: Taking taylor expansion of 0 in z
9.318 * [taylor]: Taking taylor expansion of 0 in t
9.318 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.318 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.318 * [taylor]: Taking taylor expansion of 18.0 in t
9.318 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.318 * [taylor]: Taking taylor expansion of t in t
9.318 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.318 * [taylor]: Taking taylor expansion of x in t
9.318 * [taylor]: Taking taylor expansion of (* z y) in t
9.318 * [taylor]: Taking taylor expansion of z in t
9.318 * [taylor]: Taking taylor expansion of y in t
9.319 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.319 * [taylor]: Taking taylor expansion of 18.0 in z
9.319 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.319 * [taylor]: Taking taylor expansion of t in z
9.319 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.319 * [taylor]: Taking taylor expansion of x in z
9.319 * [taylor]: Taking taylor expansion of (* z y) in z
9.319 * [taylor]: Taking taylor expansion of z in z
9.319 * [taylor]: Taking taylor expansion of y in z
9.320 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.320 * [taylor]: Taking taylor expansion of 18.0 in y
9.320 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.320 * [taylor]: Taking taylor expansion of t in y
9.320 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.320 * [taylor]: Taking taylor expansion of x in y
9.320 * [taylor]: Taking taylor expansion of (* z y) in y
9.320 * [taylor]: Taking taylor expansion of z in y
9.320 * [taylor]: Taking taylor expansion of y in y
9.321 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.321 * [taylor]: Taking taylor expansion of 18.0 in x
9.321 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.321 * [taylor]: Taking taylor expansion of t in x
9.321 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.321 * [taylor]: Taking taylor expansion of x in x
9.321 * [taylor]: Taking taylor expansion of (* z y) in x
9.321 * [taylor]: Taking taylor expansion of z in x
9.321 * [taylor]: Taking taylor expansion of y in x
9.322 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.322 * [taylor]: Taking taylor expansion of 18.0 in x
9.322 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.322 * [taylor]: Taking taylor expansion of t in x
9.322 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.322 * [taylor]: Taking taylor expansion of x in x
9.322 * [taylor]: Taking taylor expansion of (* z y) in x
9.322 * [taylor]: Taking taylor expansion of z in x
9.322 * [taylor]: Taking taylor expansion of y in x
9.323 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.323 * [taylor]: Taking taylor expansion of 18.0 in y
9.323 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.323 * [taylor]: Taking taylor expansion of t in y
9.323 * [taylor]: Taking taylor expansion of (* z y) in y
9.323 * [taylor]: Taking taylor expansion of z in y
9.323 * [taylor]: Taking taylor expansion of y in y
9.324 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.324 * [taylor]: Taking taylor expansion of 18.0 in z
9.324 * [taylor]: Taking taylor expansion of (* t z) in z
9.324 * [taylor]: Taking taylor expansion of t in z
9.324 * [taylor]: Taking taylor expansion of z in z
9.324 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.324 * [taylor]: Taking taylor expansion of 18.0 in t
9.324 * [taylor]: Taking taylor expansion of t in t
9.326 * [taylor]: Taking taylor expansion of 0 in y
9.326 * [taylor]: Taking taylor expansion of 0 in z
9.327 * [taylor]: Taking taylor expansion of 0 in t
9.329 * [taylor]: Taking taylor expansion of 0 in y
9.330 * [taylor]: Taking taylor expansion of 0 in z
9.331 * [taylor]: Taking taylor expansion of 0 in z
9.331 * [taylor]: Taking taylor expansion of 0 in t
9.331 * [taylor]: Taking taylor expansion of 0 in t
9.335 * [taylor]: Taking taylor expansion of 0 in y
9.335 * [taylor]: Taking taylor expansion of 0 in z
9.335 * [taylor]: Taking taylor expansion of 0 in z
9.337 * [taylor]: Taking taylor expansion of 0 in z
9.337 * [taylor]: Taking taylor expansion of 0 in t
9.337 * [taylor]: Taking taylor expansion of 0 in t
9.337 * [taylor]: Taking taylor expansion of 0 in t
9.337 * [taylor]: Taking taylor expansion of 0 in t
9.338 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.338 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.338 * [taylor]: Taking taylor expansion of 18.0 in t
9.338 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.338 * [taylor]: Taking taylor expansion of t in t
9.338 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.338 * [taylor]: Taking taylor expansion of x in t
9.338 * [taylor]: Taking taylor expansion of (* z y) in t
9.338 * [taylor]: Taking taylor expansion of z in t
9.338 * [taylor]: Taking taylor expansion of y in t
9.339 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.339 * [taylor]: Taking taylor expansion of 18.0 in z
9.339 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.339 * [taylor]: Taking taylor expansion of t in z
9.339 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.339 * [taylor]: Taking taylor expansion of x in z
9.339 * [taylor]: Taking taylor expansion of (* z y) in z
9.339 * [taylor]: Taking taylor expansion of z in z
9.339 * [taylor]: Taking taylor expansion of y in z
9.340 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.340 * [taylor]: Taking taylor expansion of 18.0 in y
9.340 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.340 * [taylor]: Taking taylor expansion of t in y
9.340 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.340 * [taylor]: Taking taylor expansion of x in y
9.340 * [taylor]: Taking taylor expansion of (* z y) in y
9.340 * [taylor]: Taking taylor expansion of z in y
9.340 * [taylor]: Taking taylor expansion of y in y
9.341 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.341 * [taylor]: Taking taylor expansion of 18.0 in x
9.341 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.341 * [taylor]: Taking taylor expansion of t in x
9.341 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.341 * [taylor]: Taking taylor expansion of x in x
9.341 * [taylor]: Taking taylor expansion of (* z y) in x
9.341 * [taylor]: Taking taylor expansion of z in x
9.341 * [taylor]: Taking taylor expansion of y in x
9.342 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.342 * [taylor]: Taking taylor expansion of 18.0 in x
9.342 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.342 * [taylor]: Taking taylor expansion of t in x
9.342 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.342 * [taylor]: Taking taylor expansion of x in x
9.342 * [taylor]: Taking taylor expansion of (* z y) in x
9.342 * [taylor]: Taking taylor expansion of z in x
9.342 * [taylor]: Taking taylor expansion of y in x
9.343 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.343 * [taylor]: Taking taylor expansion of 18.0 in y
9.343 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.343 * [taylor]: Taking taylor expansion of t in y
9.343 * [taylor]: Taking taylor expansion of (* z y) in y
9.343 * [taylor]: Taking taylor expansion of z in y
9.343 * [taylor]: Taking taylor expansion of y in y
9.344 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.344 * [taylor]: Taking taylor expansion of 18.0 in z
9.344 * [taylor]: Taking taylor expansion of (* t z) in z
9.344 * [taylor]: Taking taylor expansion of t in z
9.344 * [taylor]: Taking taylor expansion of z in z
9.344 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.344 * [taylor]: Taking taylor expansion of 18.0 in t
9.344 * [taylor]: Taking taylor expansion of t in t
9.349 * [taylor]: Taking taylor expansion of 0 in y
9.350 * [taylor]: Taking taylor expansion of 0 in z
9.351 * [taylor]: Taking taylor expansion of 0 in t
9.354 * [taylor]: Taking taylor expansion of 0 in y
9.354 * [taylor]: Taking taylor expansion of 0 in z
9.355 * [taylor]: Taking taylor expansion of 0 in z
9.355 * [taylor]: Taking taylor expansion of 0 in t
9.355 * [taylor]: Taking taylor expansion of 0 in t
9.359 * [taylor]: Taking taylor expansion of 0 in y
9.359 * [taylor]: Taking taylor expansion of 0 in z
9.359 * [taylor]: Taking taylor expansion of 0 in z
9.360 * [taylor]: Taking taylor expansion of 0 in z
9.360 * [taylor]: Taking taylor expansion of 0 in t
9.361 * [taylor]: Taking taylor expansion of 0 in t
9.361 * [taylor]: Taking taylor expansion of 0 in t
9.361 * [taylor]: Taking taylor expansion of 0 in t
9.362 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
9.362 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
9.362 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
9.362 * [taylor]: Taking taylor expansion of 18.0 in z
9.362 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.362 * [taylor]: Taking taylor expansion of x in z
9.362 * [taylor]: Taking taylor expansion of (* z y) in z
9.362 * [taylor]: Taking taylor expansion of z in z
9.362 * [taylor]: Taking taylor expansion of y in z
9.362 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
9.362 * [taylor]: Taking taylor expansion of 18.0 in y
9.362 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.362 * [taylor]: Taking taylor expansion of x in y
9.362 * [taylor]: Taking taylor expansion of (* z y) in y
9.362 * [taylor]: Taking taylor expansion of z in y
9.362 * [taylor]: Taking taylor expansion of y in y
9.362 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.362 * [taylor]: Taking taylor expansion of 18.0 in x
9.362 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.362 * [taylor]: Taking taylor expansion of x in x
9.362 * [taylor]: Taking taylor expansion of (* z y) in x
9.362 * [taylor]: Taking taylor expansion of z in x
9.362 * [taylor]: Taking taylor expansion of y in x
9.362 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.362 * [taylor]: Taking taylor expansion of 18.0 in x
9.362 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.362 * [taylor]: Taking taylor expansion of x in x
9.362 * [taylor]: Taking taylor expansion of (* z y) in x
9.362 * [taylor]: Taking taylor expansion of z in x
9.362 * [taylor]: Taking taylor expansion of y in x
9.363 * [taylor]: Taking taylor expansion of 0 in y
9.363 * [taylor]: Taking taylor expansion of 0 in z
9.363 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
9.363 * [taylor]: Taking taylor expansion of 18.0 in y
9.363 * [taylor]: Taking taylor expansion of (* z y) in y
9.363 * [taylor]: Taking taylor expansion of z in y
9.363 * [taylor]: Taking taylor expansion of y in y
9.364 * [taylor]: Taking taylor expansion of 0 in z
9.364 * [taylor]: Taking taylor expansion of 0 in z
9.365 * [taylor]: Taking taylor expansion of 0 in y
9.365 * [taylor]: Taking taylor expansion of 0 in z
9.366 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
9.366 * [taylor]: Taking taylor expansion of 18.0 in z
9.366 * [taylor]: Taking taylor expansion of z in z
9.366 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
9.366 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
9.366 * [taylor]: Taking taylor expansion of 18.0 in z
9.366 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.366 * [taylor]: Taking taylor expansion of x in z
9.366 * [taylor]: Taking taylor expansion of (* z y) in z
9.366 * [taylor]: Taking taylor expansion of z in z
9.366 * [taylor]: Taking taylor expansion of y in z
9.367 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
9.367 * [taylor]: Taking taylor expansion of 18.0 in y
9.367 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.367 * [taylor]: Taking taylor expansion of x in y
9.367 * [taylor]: Taking taylor expansion of (* z y) in y
9.367 * [taylor]: Taking taylor expansion of z in y
9.367 * [taylor]: Taking taylor expansion of y in y
9.368 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.368 * [taylor]: Taking taylor expansion of 18.0 in x
9.368 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.368 * [taylor]: Taking taylor expansion of x in x
9.368 * [taylor]: Taking taylor expansion of (* z y) in x
9.368 * [taylor]: Taking taylor expansion of z in x
9.368 * [taylor]: Taking taylor expansion of y in x
9.368 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.368 * [taylor]: Taking taylor expansion of 18.0 in x
9.368 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.368 * [taylor]: Taking taylor expansion of x in x
9.368 * [taylor]: Taking taylor expansion of (* z y) in x
9.368 * [taylor]: Taking taylor expansion of z in x
9.368 * [taylor]: Taking taylor expansion of y in x
9.369 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
9.369 * [taylor]: Taking taylor expansion of 18.0 in y
9.369 * [taylor]: Taking taylor expansion of (* z y) in y
9.369 * [taylor]: Taking taylor expansion of z in y
9.369 * [taylor]: Taking taylor expansion of y in y
9.369 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
9.369 * [taylor]: Taking taylor expansion of 18.0 in z
9.369 * [taylor]: Taking taylor expansion of z in z
9.371 * [taylor]: Taking taylor expansion of 0 in y
9.371 * [taylor]: Taking taylor expansion of 0 in z
9.373 * [taylor]: Taking taylor expansion of 0 in y
9.373 * [taylor]: Taking taylor expansion of 0 in z
9.374 * [taylor]: Taking taylor expansion of 0 in z
9.376 * [taylor]: Taking taylor expansion of 0 in y
9.377 * [taylor]: Taking taylor expansion of 0 in z
9.377 * [taylor]: Taking taylor expansion of 0 in z
9.377 * [taylor]: Taking taylor expansion of 0 in z
9.378 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
9.378 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
9.378 * [taylor]: Taking taylor expansion of -18.0 in z
9.378 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.378 * [taylor]: Taking taylor expansion of x in z
9.378 * [taylor]: Taking taylor expansion of (* z y) in z
9.378 * [taylor]: Taking taylor expansion of z in z
9.378 * [taylor]: Taking taylor expansion of y in z
9.378 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
9.378 * [taylor]: Taking taylor expansion of -18.0 in y
9.378 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.378 * [taylor]: Taking taylor expansion of x in y
9.378 * [taylor]: Taking taylor expansion of (* z y) in y
9.378 * [taylor]: Taking taylor expansion of z in y
9.378 * [taylor]: Taking taylor expansion of y in y
9.379 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.379 * [taylor]: Taking taylor expansion of -18.0 in x
9.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.379 * [taylor]: Taking taylor expansion of x in x
9.379 * [taylor]: Taking taylor expansion of (* z y) in x
9.379 * [taylor]: Taking taylor expansion of z in x
9.379 * [taylor]: Taking taylor expansion of y in x
9.380 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.380 * [taylor]: Taking taylor expansion of -18.0 in x
9.380 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.380 * [taylor]: Taking taylor expansion of x in x
9.380 * [taylor]: Taking taylor expansion of (* z y) in x
9.380 * [taylor]: Taking taylor expansion of z in x
9.380 * [taylor]: Taking taylor expansion of y in x
9.380 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
9.380 * [taylor]: Taking taylor expansion of -18.0 in y
9.380 * [taylor]: Taking taylor expansion of (* z y) in y
9.380 * [taylor]: Taking taylor expansion of z in y
9.380 * [taylor]: Taking taylor expansion of y in y
9.381 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
9.381 * [taylor]: Taking taylor expansion of -18.0 in z
9.381 * [taylor]: Taking taylor expansion of z in z
9.382 * [taylor]: Taking taylor expansion of 0 in y
9.383 * [taylor]: Taking taylor expansion of 0 in z
9.385 * [taylor]: Taking taylor expansion of 0 in y
9.385 * [taylor]: Taking taylor expansion of 0 in z
9.386 * [taylor]: Taking taylor expansion of 0 in z
9.389 * [taylor]: Taking taylor expansion of 0 in y
9.389 * [taylor]: Taking taylor expansion of 0 in z
9.389 * [taylor]: Taking taylor expansion of 0 in z
9.389 * [taylor]: Taking taylor expansion of 0 in z
9.390 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.390 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
9.390 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
9.390 * [taylor]: Taking taylor expansion of 27.0 in k
9.390 * [taylor]: Taking taylor expansion of (* k j) in k
9.390 * [taylor]: Taking taylor expansion of k in k
9.390 * [taylor]: Taking taylor expansion of j in k
9.390 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
9.390 * [taylor]: Taking taylor expansion of 27.0 in j
9.390 * [taylor]: Taking taylor expansion of (* k j) in j
9.390 * [taylor]: Taking taylor expansion of k in j
9.390 * [taylor]: Taking taylor expansion of j in j
9.390 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
9.390 * [taylor]: Taking taylor expansion of 27.0 in j
9.390 * [taylor]: Taking taylor expansion of (* k j) in j
9.390 * [taylor]: Taking taylor expansion of k in j
9.390 * [taylor]: Taking taylor expansion of j in j
9.390 * [taylor]: Taking taylor expansion of 0 in k
9.391 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
9.391 * [taylor]: Taking taylor expansion of 27.0 in k
9.391 * [taylor]: Taking taylor expansion of k in k
9.392 * [taylor]: Taking taylor expansion of 0 in k
9.394 * [taylor]: Taking taylor expansion of 0 in k
9.396 * [taylor]: Taking taylor expansion of 0 in k
9.396 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
9.396 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
9.396 * [taylor]: Taking taylor expansion of 27.0 in k
9.396 * [taylor]: Taking taylor expansion of (* k j) in k
9.396 * [taylor]: Taking taylor expansion of k in k
9.396 * [taylor]: Taking taylor expansion of j in k
9.397 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
9.397 * [taylor]: Taking taylor expansion of 27.0 in j
9.397 * [taylor]: Taking taylor expansion of (* k j) in j
9.397 * [taylor]: Taking taylor expansion of k in j
9.397 * [taylor]: Taking taylor expansion of j in j
9.397 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
9.397 * [taylor]: Taking taylor expansion of 27.0 in j
9.397 * [taylor]: Taking taylor expansion of (* k j) in j
9.397 * [taylor]: Taking taylor expansion of k in j
9.397 * [taylor]: Taking taylor expansion of j in j
9.398 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
9.398 * [taylor]: Taking taylor expansion of 27.0 in k
9.398 * [taylor]: Taking taylor expansion of k in k
9.399 * [taylor]: Taking taylor expansion of 0 in k
9.400 * [taylor]: Taking taylor expansion of 0 in k
9.401 * [taylor]: Taking taylor expansion of 0 in k
9.402 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
9.402 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
9.402 * [taylor]: Taking taylor expansion of 27.0 in k
9.402 * [taylor]: Taking taylor expansion of (* k j) in k
9.402 * [taylor]: Taking taylor expansion of k in k
9.402 * [taylor]: Taking taylor expansion of j in k
9.402 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
9.402 * [taylor]: Taking taylor expansion of 27.0 in j
9.402 * [taylor]: Taking taylor expansion of (* k j) in j
9.402 * [taylor]: Taking taylor expansion of k in j
9.402 * [taylor]: Taking taylor expansion of j in j
9.402 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
9.402 * [taylor]: Taking taylor expansion of 27.0 in j
9.402 * [taylor]: Taking taylor expansion of (* k j) in j
9.402 * [taylor]: Taking taylor expansion of k in j
9.402 * [taylor]: Taking taylor expansion of j in j
9.403 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
9.403 * [taylor]: Taking taylor expansion of 27.0 in k
9.403 * [taylor]: Taking taylor expansion of k in k
9.404 * [taylor]: Taking taylor expansion of 0 in k
9.405 * [taylor]: Taking taylor expansion of 0 in k
9.406 * [taylor]: Taking taylor expansion of 0 in k
9.407 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
9.407 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
9.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
9.407 * [taylor]: Taking taylor expansion of 18.0 in y
9.407 * [taylor]: Taking taylor expansion of (* x y) in y
9.407 * [taylor]: Taking taylor expansion of x in y
9.407 * [taylor]: Taking taylor expansion of y in y
9.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
9.407 * [taylor]: Taking taylor expansion of 18.0 in x
9.407 * [taylor]: Taking taylor expansion of (* x y) in x
9.407 * [taylor]: Taking taylor expansion of x in x
9.407 * [taylor]: Taking taylor expansion of y in x
9.407 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
9.407 * [taylor]: Taking taylor expansion of 18.0 in x
9.407 * [taylor]: Taking taylor expansion of (* x y) in x
9.407 * [taylor]: Taking taylor expansion of x in x
9.407 * [taylor]: Taking taylor expansion of y in x
9.407 * [taylor]: Taking taylor expansion of 0 in y
9.408 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
9.408 * [taylor]: Taking taylor expansion of 18.0 in y
9.408 * [taylor]: Taking taylor expansion of y in y
9.409 * [taylor]: Taking taylor expansion of 0 in y
9.412 * [taylor]: Taking taylor expansion of 0 in y
9.414 * [taylor]: Taking taylor expansion of 0 in y
9.414 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
9.414 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
9.414 * [taylor]: Taking taylor expansion of 18.0 in y
9.414 * [taylor]: Taking taylor expansion of (* x y) in y
9.414 * [taylor]: Taking taylor expansion of x in y
9.414 * [taylor]: Taking taylor expansion of y in y
9.415 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.415 * [taylor]: Taking taylor expansion of 18.0 in x
9.415 * [taylor]: Taking taylor expansion of (* x y) in x
9.415 * [taylor]: Taking taylor expansion of x in x
9.415 * [taylor]: Taking taylor expansion of y in x
9.415 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.415 * [taylor]: Taking taylor expansion of 18.0 in x
9.415 * [taylor]: Taking taylor expansion of (* x y) in x
9.415 * [taylor]: Taking taylor expansion of x in x
9.415 * [taylor]: Taking taylor expansion of y in x
9.416 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
9.416 * [taylor]: Taking taylor expansion of 18.0 in y
9.416 * [taylor]: Taking taylor expansion of y in y
9.417 * [taylor]: Taking taylor expansion of 0 in y
9.418 * [taylor]: Taking taylor expansion of 0 in y
9.420 * [taylor]: Taking taylor expansion of 0 in y
9.420 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
9.420 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
9.421 * [taylor]: Taking taylor expansion of 18.0 in y
9.421 * [taylor]: Taking taylor expansion of (* x y) in y
9.421 * [taylor]: Taking taylor expansion of x in y
9.421 * [taylor]: Taking taylor expansion of y in y
9.421 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.421 * [taylor]: Taking taylor expansion of 18.0 in x
9.421 * [taylor]: Taking taylor expansion of (* x y) in x
9.421 * [taylor]: Taking taylor expansion of x in x
9.421 * [taylor]: Taking taylor expansion of y in x
9.421 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.421 * [taylor]: Taking taylor expansion of 18.0 in x
9.421 * [taylor]: Taking taylor expansion of (* x y) in x
9.421 * [taylor]: Taking taylor expansion of x in x
9.421 * [taylor]: Taking taylor expansion of y in x
9.422 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
9.422 * [taylor]: Taking taylor expansion of 18.0 in y
9.422 * [taylor]: Taking taylor expansion of y in y
9.423 * [taylor]: Taking taylor expansion of 0 in y
9.424 * [taylor]: Taking taylor expansion of 0 in y
9.426 * [taylor]: Taking taylor expansion of 0 in y
9.427 * * * [progress]: simplifying candidates
9.428 * [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))
9.432 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
9.461 * * [simplify]: iteration  1 :  358  enodes  (cost  943 )
9.667 * * [simplify]: iteration  2 :  1742  enodes  (cost  737 )
10.762 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
10.763 * [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)
  (* y 18.0)
  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)
10.763 * * * [progress]: adding candidates to table
11.117 * * [progress]: iteration 3 / 4
11.117 * * * [progress]: picking best candidate
11.157 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>
11.157 * * * [progress]: localizing error
11.184 * * * [progress]: generating rewritten candidates
11.184 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
11.254 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
11.272 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
11.278 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
11.287 * * * [progress]: generating series expansions
11.287 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
11.287 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.287 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
11.287 * [taylor]: Taking taylor expansion of 18.0 in t
11.288 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.288 * [taylor]: Taking taylor expansion of t in t
11.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.288 * [taylor]: Taking taylor expansion of x in t
11.288 * [taylor]: Taking taylor expansion of (* z y) in t
11.288 * [taylor]: Taking taylor expansion of z in t
11.288 * [taylor]: Taking taylor expansion of y in t
11.288 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
11.288 * [taylor]: Taking taylor expansion of 18.0 in z
11.288 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.288 * [taylor]: Taking taylor expansion of t in z
11.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.288 * [taylor]: Taking taylor expansion of x in z
11.288 * [taylor]: Taking taylor expansion of (* z y) in z
11.288 * [taylor]: Taking taylor expansion of z in z
11.288 * [taylor]: Taking taylor expansion of y in z
11.288 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
11.288 * [taylor]: Taking taylor expansion of 18.0 in y
11.288 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.288 * [taylor]: Taking taylor expansion of t in y
11.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.288 * [taylor]: Taking taylor expansion of x in y
11.288 * [taylor]: Taking taylor expansion of (* z y) in y
11.288 * [taylor]: Taking taylor expansion of z in y
11.288 * [taylor]: Taking taylor expansion of y in y
11.288 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
11.288 * [taylor]: Taking taylor expansion of 18.0 in x
11.288 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.288 * [taylor]: Taking taylor expansion of t in x
11.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.288 * [taylor]: Taking taylor expansion of x in x
11.288 * [taylor]: Taking taylor expansion of (* z y) in x
11.288 * [taylor]: Taking taylor expansion of z in x
11.288 * [taylor]: Taking taylor expansion of y in x
11.288 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
11.288 * [taylor]: Taking taylor expansion of 18.0 in x
11.288 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.288 * [taylor]: Taking taylor expansion of t in x
11.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.288 * [taylor]: Taking taylor expansion of x in x
11.288 * [taylor]: Taking taylor expansion of (* z y) in x
11.288 * [taylor]: Taking taylor expansion of z in x
11.288 * [taylor]: Taking taylor expansion of y in x
11.289 * [taylor]: Taking taylor expansion of 0 in y
11.289 * [taylor]: Taking taylor expansion of 0 in z
11.289 * [taylor]: Taking taylor expansion of 0 in t
11.290 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
11.290 * [taylor]: Taking taylor expansion of 18.0 in y
11.290 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.290 * [taylor]: Taking taylor expansion of t in y
11.290 * [taylor]: Taking taylor expansion of (* z y) in y
11.290 * [taylor]: Taking taylor expansion of z in y
11.290 * [taylor]: Taking taylor expansion of y in y
11.291 * [taylor]: Taking taylor expansion of 0 in z
11.291 * [taylor]: Taking taylor expansion of 0 in t
11.291 * [taylor]: Taking taylor expansion of 0 in z
11.291 * [taylor]: Taking taylor expansion of 0 in t
11.291 * [taylor]: Taking taylor expansion of 0 in t
11.293 * [taylor]: Taking taylor expansion of 0 in y
11.293 * [taylor]: Taking taylor expansion of 0 in z
11.293 * [taylor]: Taking taylor expansion of 0 in t
11.293 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.293 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
11.293 * [taylor]: Taking taylor expansion of 18.0 in t
11.293 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.293 * [taylor]: Taking taylor expansion of t in t
11.293 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.293 * [taylor]: Taking taylor expansion of x in t
11.293 * [taylor]: Taking taylor expansion of (* z y) in t
11.293 * [taylor]: Taking taylor expansion of z in t
11.293 * [taylor]: Taking taylor expansion of y in t
11.294 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
11.294 * [taylor]: Taking taylor expansion of 18.0 in z
11.294 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.294 * [taylor]: Taking taylor expansion of t in z
11.294 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.294 * [taylor]: Taking taylor expansion of x in z
11.294 * [taylor]: Taking taylor expansion of (* z y) in z
11.294 * [taylor]: Taking taylor expansion of z in z
11.294 * [taylor]: Taking taylor expansion of y in z
11.295 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
11.295 * [taylor]: Taking taylor expansion of 18.0 in y
11.295 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.295 * [taylor]: Taking taylor expansion of t in y
11.295 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.295 * [taylor]: Taking taylor expansion of x in y
11.295 * [taylor]: Taking taylor expansion of (* z y) in y
11.295 * [taylor]: Taking taylor expansion of z in y
11.295 * [taylor]: Taking taylor expansion of y in y
11.296 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.296 * [taylor]: Taking taylor expansion of 18.0 in x
11.296 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.296 * [taylor]: Taking taylor expansion of t in x
11.296 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.296 * [taylor]: Taking taylor expansion of x in x
11.296 * [taylor]: Taking taylor expansion of (* z y) in x
11.296 * [taylor]: Taking taylor expansion of z in x
11.296 * [taylor]: Taking taylor expansion of y in x
11.297 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.297 * [taylor]: Taking taylor expansion of 18.0 in x
11.297 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.297 * [taylor]: Taking taylor expansion of t in x
11.297 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.297 * [taylor]: Taking taylor expansion of x in x
11.297 * [taylor]: Taking taylor expansion of (* z y) in x
11.297 * [taylor]: Taking taylor expansion of z in x
11.298 * [taylor]: Taking taylor expansion of y in x
11.298 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
11.298 * [taylor]: Taking taylor expansion of 18.0 in y
11.298 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.298 * [taylor]: Taking taylor expansion of t in y
11.298 * [taylor]: Taking taylor expansion of (* z y) in y
11.298 * [taylor]: Taking taylor expansion of z in y
11.298 * [taylor]: Taking taylor expansion of y in y
11.299 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
11.299 * [taylor]: Taking taylor expansion of 18.0 in z
11.299 * [taylor]: Taking taylor expansion of (* t z) in z
11.299 * [taylor]: Taking taylor expansion of t in z
11.299 * [taylor]: Taking taylor expansion of z in z
11.299 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
11.300 * [taylor]: Taking taylor expansion of 18.0 in t
11.300 * [taylor]: Taking taylor expansion of t in t
11.301 * [taylor]: Taking taylor expansion of 0 in y
11.302 * [taylor]: Taking taylor expansion of 0 in z
11.302 * [taylor]: Taking taylor expansion of 0 in t
11.305 * [taylor]: Taking taylor expansion of 0 in y
11.305 * [taylor]: Taking taylor expansion of 0 in z
11.306 * [taylor]: Taking taylor expansion of 0 in z
11.306 * [taylor]: Taking taylor expansion of 0 in t
11.307 * [taylor]: Taking taylor expansion of 0 in t
11.310 * [taylor]: Taking taylor expansion of 0 in y
11.310 * [taylor]: Taking taylor expansion of 0 in z
11.310 * [taylor]: Taking taylor expansion of 0 in z
11.312 * [taylor]: Taking taylor expansion of 0 in z
11.312 * [taylor]: Taking taylor expansion of 0 in t
11.312 * [taylor]: Taking taylor expansion of 0 in t
11.312 * [taylor]: Taking taylor expansion of 0 in t
11.313 * [taylor]: Taking taylor expansion of 0 in t
11.313 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.313 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
11.313 * [taylor]: Taking taylor expansion of 18.0 in t
11.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.313 * [taylor]: Taking taylor expansion of t in t
11.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.313 * [taylor]: Taking taylor expansion of x in t
11.313 * [taylor]: Taking taylor expansion of (* z y) in t
11.313 * [taylor]: Taking taylor expansion of z in t
11.313 * [taylor]: Taking taylor expansion of y in t
11.314 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
11.314 * [taylor]: Taking taylor expansion of 18.0 in z
11.314 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.314 * [taylor]: Taking taylor expansion of t in z
11.314 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.314 * [taylor]: Taking taylor expansion of x in z
11.314 * [taylor]: Taking taylor expansion of (* z y) in z
11.314 * [taylor]: Taking taylor expansion of z in z
11.314 * [taylor]: Taking taylor expansion of y in z
11.315 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
11.315 * [taylor]: Taking taylor expansion of 18.0 in y
11.315 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.315 * [taylor]: Taking taylor expansion of t in y
11.315 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.315 * [taylor]: Taking taylor expansion of x in y
11.315 * [taylor]: Taking taylor expansion of (* z y) in y
11.315 * [taylor]: Taking taylor expansion of z in y
11.315 * [taylor]: Taking taylor expansion of y in y
11.316 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.316 * [taylor]: Taking taylor expansion of 18.0 in x
11.316 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.316 * [taylor]: Taking taylor expansion of t in x
11.316 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.316 * [taylor]: Taking taylor expansion of x in x
11.316 * [taylor]: Taking taylor expansion of (* z y) in x
11.316 * [taylor]: Taking taylor expansion of z in x
11.316 * [taylor]: Taking taylor expansion of y in x
11.317 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.317 * [taylor]: Taking taylor expansion of 18.0 in x
11.317 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.317 * [taylor]: Taking taylor expansion of t in x
11.317 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.317 * [taylor]: Taking taylor expansion of x in x
11.317 * [taylor]: Taking taylor expansion of (* z y) in x
11.317 * [taylor]: Taking taylor expansion of z in x
11.317 * [taylor]: Taking taylor expansion of y in x
11.318 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
11.318 * [taylor]: Taking taylor expansion of 18.0 in y
11.318 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.318 * [taylor]: Taking taylor expansion of t in y
11.318 * [taylor]: Taking taylor expansion of (* z y) in y
11.318 * [taylor]: Taking taylor expansion of z in y
11.318 * [taylor]: Taking taylor expansion of y in y
11.319 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
11.319 * [taylor]: Taking taylor expansion of 18.0 in z
11.319 * [taylor]: Taking taylor expansion of (* t z) in z
11.319 * [taylor]: Taking taylor expansion of t in z
11.319 * [taylor]: Taking taylor expansion of z in z
11.319 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
11.319 * [taylor]: Taking taylor expansion of 18.0 in t
11.319 * [taylor]: Taking taylor expansion of t in t
11.321 * [taylor]: Taking taylor expansion of 0 in y
11.321 * [taylor]: Taking taylor expansion of 0 in z
11.322 * [taylor]: Taking taylor expansion of 0 in t
11.324 * [taylor]: Taking taylor expansion of 0 in y
11.324 * [taylor]: Taking taylor expansion of 0 in z
11.326 * [taylor]: Taking taylor expansion of 0 in z
11.326 * [taylor]: Taking taylor expansion of 0 in t
11.326 * [taylor]: Taking taylor expansion of 0 in t
11.330 * [taylor]: Taking taylor expansion of 0 in y
11.330 * [taylor]: Taking taylor expansion of 0 in z
11.330 * [taylor]: Taking taylor expansion of 0 in z
11.331 * [taylor]: Taking taylor expansion of 0 in z
11.331 * [taylor]: Taking taylor expansion of 0 in t
11.331 * [taylor]: Taking taylor expansion of 0 in t
11.331 * [taylor]: Taking taylor expansion of 0 in t
11.332 * [taylor]: Taking taylor expansion of 0 in t
11.332 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
11.332 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
11.332 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
11.332 * [taylor]: Taking taylor expansion of 18.0 in z
11.332 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.332 * [taylor]: Taking taylor expansion of x in z
11.332 * [taylor]: Taking taylor expansion of (* z y) in z
11.333 * [taylor]: Taking taylor expansion of z in z
11.333 * [taylor]: Taking taylor expansion of y in z
11.333 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
11.333 * [taylor]: Taking taylor expansion of 18.0 in y
11.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.333 * [taylor]: Taking taylor expansion of x in y
11.333 * [taylor]: Taking taylor expansion of (* z y) in y
11.333 * [taylor]: Taking taylor expansion of z in y
11.333 * [taylor]: Taking taylor expansion of y in y
11.333 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.333 * [taylor]: Taking taylor expansion of 18.0 in x
11.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.333 * [taylor]: Taking taylor expansion of x in x
11.333 * [taylor]: Taking taylor expansion of (* z y) in x
11.333 * [taylor]: Taking taylor expansion of z in x
11.333 * [taylor]: Taking taylor expansion of y in x
11.333 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.333 * [taylor]: Taking taylor expansion of 18.0 in x
11.333 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.333 * [taylor]: Taking taylor expansion of x in x
11.333 * [taylor]: Taking taylor expansion of (* z y) in x
11.333 * [taylor]: Taking taylor expansion of z in x
11.333 * [taylor]: Taking taylor expansion of y in x
11.333 * [taylor]: Taking taylor expansion of 0 in y
11.333 * [taylor]: Taking taylor expansion of 0 in z
11.334 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
11.334 * [taylor]: Taking taylor expansion of 18.0 in y
11.334 * [taylor]: Taking taylor expansion of (* z y) in y
11.334 * [taylor]: Taking taylor expansion of z in y
11.334 * [taylor]: Taking taylor expansion of y in y
11.334 * [taylor]: Taking taylor expansion of 0 in z
11.334 * [taylor]: Taking taylor expansion of 0 in z
11.336 * [taylor]: Taking taylor expansion of 0 in y
11.336 * [taylor]: Taking taylor expansion of 0 in z
11.336 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
11.336 * [taylor]: Taking taylor expansion of 18.0 in z
11.336 * [taylor]: Taking taylor expansion of z in z
11.337 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
11.337 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
11.337 * [taylor]: Taking taylor expansion of 18.0 in z
11.337 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.337 * [taylor]: Taking taylor expansion of x in z
11.337 * [taylor]: Taking taylor expansion of (* z y) in z
11.337 * [taylor]: Taking taylor expansion of z in z
11.337 * [taylor]: Taking taylor expansion of y in z
11.338 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
11.338 * [taylor]: Taking taylor expansion of 18.0 in y
11.338 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.338 * [taylor]: Taking taylor expansion of x in y
11.338 * [taylor]: Taking taylor expansion of (* z y) in y
11.338 * [taylor]: Taking taylor expansion of z in y
11.338 * [taylor]: Taking taylor expansion of y in y
11.338 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
11.338 * [taylor]: Taking taylor expansion of 18.0 in x
11.338 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.338 * [taylor]: Taking taylor expansion of x in x
11.338 * [taylor]: Taking taylor expansion of (* z y) in x
11.338 * [taylor]: Taking taylor expansion of z in x
11.338 * [taylor]: Taking taylor expansion of y in x
11.339 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
11.339 * [taylor]: Taking taylor expansion of 18.0 in x
11.339 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.339 * [taylor]: Taking taylor expansion of x in x
11.339 * [taylor]: Taking taylor expansion of (* z y) in x
11.339 * [taylor]: Taking taylor expansion of z in x
11.339 * [taylor]: Taking taylor expansion of y in x
11.340 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
11.340 * [taylor]: Taking taylor expansion of 18.0 in y
11.340 * [taylor]: Taking taylor expansion of (* z y) in y
11.340 * [taylor]: Taking taylor expansion of z in y
11.340 * [taylor]: Taking taylor expansion of y in y
11.340 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
11.340 * [taylor]: Taking taylor expansion of 18.0 in z
11.340 * [taylor]: Taking taylor expansion of z in z
11.341 * [taylor]: Taking taylor expansion of 0 in y
11.342 * [taylor]: Taking taylor expansion of 0 in z
11.349 * [taylor]: Taking taylor expansion of 0 in y
11.349 * [taylor]: Taking taylor expansion of 0 in z
11.349 * [taylor]: Taking taylor expansion of 0 in z
11.352 * [taylor]: Taking taylor expansion of 0 in y
11.352 * [taylor]: Taking taylor expansion of 0 in z
11.352 * [taylor]: Taking taylor expansion of 0 in z
11.353 * [taylor]: Taking taylor expansion of 0 in z
11.353 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
11.353 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
11.353 * [taylor]: Taking taylor expansion of -18.0 in z
11.353 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.353 * [taylor]: Taking taylor expansion of x in z
11.353 * [taylor]: Taking taylor expansion of (* z y) in z
11.353 * [taylor]: Taking taylor expansion of z in z
11.353 * [taylor]: Taking taylor expansion of y in z
11.354 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
11.354 * [taylor]: Taking taylor expansion of -18.0 in y
11.354 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.354 * [taylor]: Taking taylor expansion of x in y
11.354 * [taylor]: Taking taylor expansion of (* z y) in y
11.354 * [taylor]: Taking taylor expansion of z in y
11.354 * [taylor]: Taking taylor expansion of y in y
11.355 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
11.355 * [taylor]: Taking taylor expansion of -18.0 in x
11.355 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.355 * [taylor]: Taking taylor expansion of x in x
11.355 * [taylor]: Taking taylor expansion of (* z y) in x
11.355 * [taylor]: Taking taylor expansion of z in x
11.355 * [taylor]: Taking taylor expansion of y in x
11.355 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
11.355 * [taylor]: Taking taylor expansion of -18.0 in x
11.355 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.355 * [taylor]: Taking taylor expansion of x in x
11.355 * [taylor]: Taking taylor expansion of (* z y) in x
11.355 * [taylor]: Taking taylor expansion of z in x
11.355 * [taylor]: Taking taylor expansion of y in x
11.356 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
11.356 * [taylor]: Taking taylor expansion of -18.0 in y
11.356 * [taylor]: Taking taylor expansion of (* z y) in y
11.356 * [taylor]: Taking taylor expansion of z in y
11.356 * [taylor]: Taking taylor expansion of y in y
11.356 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
11.356 * [taylor]: Taking taylor expansion of -18.0 in z
11.356 * [taylor]: Taking taylor expansion of z in z
11.357 * [taylor]: Taking taylor expansion of 0 in y
11.358 * [taylor]: Taking taylor expansion of 0 in z
11.360 * [taylor]: Taking taylor expansion of 0 in y
11.360 * [taylor]: Taking taylor expansion of 0 in z
11.361 * [taylor]: Taking taylor expansion of 0 in z
11.363 * [taylor]: Taking taylor expansion of 0 in y
11.363 * [taylor]: Taking taylor expansion of 0 in z
11.363 * [taylor]: Taking taylor expansion of 0 in z
11.364 * [taylor]: Taking taylor expansion of 0 in z
11.364 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
11.364 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
11.364 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
11.364 * [taylor]: Taking taylor expansion of 27.0 in k
11.364 * [taylor]: Taking taylor expansion of (* k j) in k
11.364 * [taylor]: Taking taylor expansion of k in k
11.364 * [taylor]: Taking taylor expansion of j in k
11.364 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
11.364 * [taylor]: Taking taylor expansion of 27.0 in j
11.364 * [taylor]: Taking taylor expansion of (* k j) in j
11.364 * [taylor]: Taking taylor expansion of k in j
11.364 * [taylor]: Taking taylor expansion of j in j
11.364 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
11.364 * [taylor]: Taking taylor expansion of 27.0 in j
11.364 * [taylor]: Taking taylor expansion of (* k j) in j
11.364 * [taylor]: Taking taylor expansion of k in j
11.364 * [taylor]: Taking taylor expansion of j in j
11.365 * [taylor]: Taking taylor expansion of 0 in k
11.365 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
11.365 * [taylor]: Taking taylor expansion of 27.0 in k
11.365 * [taylor]: Taking taylor expansion of k in k
11.367 * [taylor]: Taking taylor expansion of 0 in k
11.369 * [taylor]: Taking taylor expansion of 0 in k
11.371 * [taylor]: Taking taylor expansion of 0 in k
11.371 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
11.371 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
11.371 * [taylor]: Taking taylor expansion of 27.0 in k
11.371 * [taylor]: Taking taylor expansion of (* k j) in k
11.371 * [taylor]: Taking taylor expansion of k in k
11.371 * [taylor]: Taking taylor expansion of j in k
11.371 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.371 * [taylor]: Taking taylor expansion of 27.0 in j
11.371 * [taylor]: Taking taylor expansion of (* k j) in j
11.371 * [taylor]: Taking taylor expansion of k in j
11.371 * [taylor]: Taking taylor expansion of j in j
11.372 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.372 * [taylor]: Taking taylor expansion of 27.0 in j
11.372 * [taylor]: Taking taylor expansion of (* k j) in j
11.372 * [taylor]: Taking taylor expansion of k in j
11.372 * [taylor]: Taking taylor expansion of j in j
11.372 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
11.372 * [taylor]: Taking taylor expansion of 27.0 in k
11.372 * [taylor]: Taking taylor expansion of k in k
11.373 * [taylor]: Taking taylor expansion of 0 in k
11.374 * [taylor]: Taking taylor expansion of 0 in k
11.375 * [taylor]: Taking taylor expansion of 0 in k
11.376 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
11.376 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
11.376 * [taylor]: Taking taylor expansion of 27.0 in k
11.376 * [taylor]: Taking taylor expansion of (* k j) in k
11.376 * [taylor]: Taking taylor expansion of k in k
11.376 * [taylor]: Taking taylor expansion of j in k
11.376 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.377 * [taylor]: Taking taylor expansion of 27.0 in j
11.377 * [taylor]: Taking taylor expansion of (* k j) in j
11.377 * [taylor]: Taking taylor expansion of k in j
11.377 * [taylor]: Taking taylor expansion of j in j
11.377 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
11.377 * [taylor]: Taking taylor expansion of 27.0 in j
11.377 * [taylor]: Taking taylor expansion of (* k j) in j
11.377 * [taylor]: Taking taylor expansion of k in j
11.377 * [taylor]: Taking taylor expansion of j in j
11.377 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
11.377 * [taylor]: Taking taylor expansion of 27.0 in k
11.377 * [taylor]: Taking taylor expansion of k in k
11.378 * [taylor]: Taking taylor expansion of 0 in k
11.379 * [taylor]: Taking taylor expansion of 0 in k
11.380 * [taylor]: Taking taylor expansion of 0 in k
11.381 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
11.381 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
11.381 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
11.381 * [taylor]: Taking taylor expansion of 18.0 in y
11.381 * [taylor]: Taking taylor expansion of (* x y) in y
11.381 * [taylor]: Taking taylor expansion of x in y
11.381 * [taylor]: Taking taylor expansion of y in y
11.381 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
11.381 * [taylor]: Taking taylor expansion of 18.0 in x
11.381 * [taylor]: Taking taylor expansion of (* x y) in x
11.381 * [taylor]: Taking taylor expansion of x in x
11.381 * [taylor]: Taking taylor expansion of y in x
11.381 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
11.381 * [taylor]: Taking taylor expansion of 18.0 in x
11.382 * [taylor]: Taking taylor expansion of (* x y) in x
11.382 * [taylor]: Taking taylor expansion of x in x
11.382 * [taylor]: Taking taylor expansion of y in x
11.382 * [taylor]: Taking taylor expansion of 0 in y
11.382 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
11.382 * [taylor]: Taking taylor expansion of 18.0 in y
11.382 * [taylor]: Taking taylor expansion of y in y
11.384 * [taylor]: Taking taylor expansion of 0 in y
11.386 * [taylor]: Taking taylor expansion of 0 in y
11.389 * [taylor]: Taking taylor expansion of 0 in y
11.389 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
11.389 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
11.389 * [taylor]: Taking taylor expansion of 18.0 in y
11.390 * [taylor]: Taking taylor expansion of (* x y) in y
11.390 * [taylor]: Taking taylor expansion of x in y
11.390 * [taylor]: Taking taylor expansion of y in y
11.390 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.390 * [taylor]: Taking taylor expansion of 18.0 in x
11.390 * [taylor]: Taking taylor expansion of (* x y) in x
11.390 * [taylor]: Taking taylor expansion of x in x
11.390 * [taylor]: Taking taylor expansion of y in x
11.390 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.390 * [taylor]: Taking taylor expansion of 18.0 in x
11.390 * [taylor]: Taking taylor expansion of (* x y) in x
11.390 * [taylor]: Taking taylor expansion of x in x
11.390 * [taylor]: Taking taylor expansion of y in x
11.391 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
11.391 * [taylor]: Taking taylor expansion of 18.0 in y
11.391 * [taylor]: Taking taylor expansion of y in y
11.392 * [taylor]: Taking taylor expansion of 0 in y
11.393 * [taylor]: Taking taylor expansion of 0 in y
11.395 * [taylor]: Taking taylor expansion of 0 in y
11.395 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
11.396 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
11.396 * [taylor]: Taking taylor expansion of 18.0 in y
11.396 * [taylor]: Taking taylor expansion of (* x y) in y
11.396 * [taylor]: Taking taylor expansion of x in y
11.396 * [taylor]: Taking taylor expansion of y in y
11.396 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.396 * [taylor]: Taking taylor expansion of 18.0 in x
11.396 * [taylor]: Taking taylor expansion of (* x y) in x
11.396 * [taylor]: Taking taylor expansion of x in x
11.396 * [taylor]: Taking taylor expansion of y in x
11.396 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
11.396 * [taylor]: Taking taylor expansion of 18.0 in x
11.396 * [taylor]: Taking taylor expansion of (* x y) in x
11.396 * [taylor]: Taking taylor expansion of x in x
11.396 * [taylor]: Taking taylor expansion of y in x
11.397 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
11.397 * [taylor]: Taking taylor expansion of 18.0 in y
11.397 * [taylor]: Taking taylor expansion of y in y
11.398 * [taylor]: Taking taylor expansion of 0 in y
11.399 * [taylor]: Taking taylor expansion of 0 in y
11.401 * [taylor]: Taking taylor expansion of 0 in y
11.402 * * * [progress]: simplifying candidates
11.403 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* x (* y 18.0)) z) t))
  (log1p (* (* (* x (* y 18.0)) z) t))
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  (+ (+ (+ (log x) (+ (log y) (log 18.0))) (log z)) (log t))
  (+ (+ (+ (log x) (log (* y 18.0))) (log z)) (log t))
  (+ (+ (log (* x (* y 18.0))) (log z)) (log t))
  (+ (log (* (* x (* y 18.0)) z)) (log t))
  (log (* (* (* x (* y 18.0)) z) t))
  (exp (* (* (* x (* y 18.0)) z) t))
  (* (* (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0))) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0))) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0))) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* x (* y 18.0)) z)) (* (* t t) t))
  (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t)))
  (cbrt (* (* (* x (* y 18.0)) z) t))
  (* (* (* (* (* x (* y 18.0)) z) t) (* (* (* x (* y 18.0)) z) t)) (* (* (* x (* y 18.0)) z) t))
  (sqrt (* (* (* x (* y 18.0)) z) t))
  (sqrt (* (* (* x (* y 18.0)) z) t))
  (* (* (* x (* y 18.0)) z) (* (cbrt t) (cbrt t)))
  (* (* (* x (* y 18.0)) z) (sqrt t))
  (* (* (* x (* y 18.0)) z) 1)
  (* z t)
  (expm1 (* (* x (* y 18.0)) z))
  (log1p (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) z)
  (* (* x (* y 18.0)) z)
  (* (* x (* y 18.0)) z)
  (+ (+ (log x) (+ (log y) (log 18.0))) (log z))
  (+ (+ (log x) (log (* y 18.0))) (log z))
  (+ (log (* x (* y 18.0))) (log z))
  (log (* (* x (* y 18.0)) z))
  (exp (* (* x (* y 18.0)) z))
  (* (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0))) (* (* z z) z))
  (* (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0))) (* (* z z) z))
  (* (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0))) (* (* z z) z))
  (* (cbrt (* (* x (* y 18.0)) z)) (cbrt (* (* x (* y 18.0)) z)))
  (cbrt (* (* x (* y 18.0)) z))
  (* (* (* (* x (* y 18.0)) z) (* (* x (* y 18.0)) z)) (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) (* (cbrt z) (cbrt z)))
  (* (* x (* y 18.0)) (sqrt z))
  (* (* x (* y 18.0)) 1)
  (* (* y 18.0) 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 (* y 18.0)))
  (log1p (* x (* y 18.0)))
  (* x (* y 18.0))
  (* x (* y 18.0))
  (+ (log x) (+ (log y) (log 18.0)))
  (+ (log x) (log (* y 18.0)))
  (log (* x (* y 18.0)))
  (exp (* x (* y 18.0)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* 18.0 18.0) 18.0)))
  (* (* (* x x) x) (* (* (* y 18.0) (* y 18.0)) (* y 18.0)))
  (* (cbrt (* x (* y 18.0))) (cbrt (* x (* y 18.0))))
  (cbrt (* x (* y 18.0)))
  (* (* (* x (* y 18.0)) (* x (* y 18.0))) (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (* x y)
  (* (cbrt x) (* y 18.0))
  (* (sqrt x) (* y 18.0))
  (* x (* y 18.0))
  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))
11.406 * * [simplify]: iteration  0 :  140  enodes  (cost  970 )
11.434 * * [simplify]: iteration  1 :  357  enodes  (cost  944 )
11.580 * * [simplify]: iteration  2 :  1584  enodes  (cost  738 )
12.569 * * [simplify]: iteration  done :  5001  enodes  (cost  738 )
12.569 * [simplify]: Simplified to:
   (expm1 (* (* (* x (* y 18.0)) z) t))
  (log1p (* (* (* x (* y 18.0)) z) t))
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  (log (* (* (* x (* y 18.0)) z) t))
  (log (* (* (* x (* y 18.0)) z) t))
  (log (* (* (* x (* y 18.0)) z) t))
  (log (* (* (* x (* y 18.0)) z) t))
  (log (* (* (* x (* y 18.0)) z) t))
  (exp (* (* (* x (* y 18.0)) z) t))
  (pow (* (* (* x (* y 18.0)) z) t) 3)
  (pow (* (* (* x (* y 18.0)) z) t) 3)
  (pow (* (* (* x (* y 18.0)) z) t) 3)
  (pow (* (* (* x (* y 18.0)) z) t) 3)
  (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t)))
  (cbrt (* (* (* x (* y 18.0)) z) t))
  (pow (* (* (* x (* y 18.0)) z) t) 3)
  (sqrt (* (* (* x (* y 18.0)) z) t))
  (sqrt (* (* (* x (* y 18.0)) z) t))
  (* (* (* x (* y 18.0)) z) (* (cbrt t) (cbrt t)))
  (* (* (* x (* y 18.0)) z) (sqrt t))
  (* 18.0 (* x (* z y)))
  (* z t)
  (expm1 (* (* x (* y 18.0)) z))
  (log1p (* (* x (* y 18.0)) z))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (log (* (* x (* y 18.0)) z))
  (exp (* (* x (* y 18.0)) z))
  (pow (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (pow (* 18.0 (* x (* z y))) 3)
  (* (cbrt (* (* x (* y 18.0)) z)) (cbrt (* (* x (* y 18.0)) z)))
  (cbrt (* (* x (* y 18.0)) z))
  (pow (* 18.0 (* x (* z y))) 3)
  (sqrt (* (* x (* y 18.0)) z))
  (sqrt (* (* x (* y 18.0)) z))
  (* (* x (* y 18.0)) (* (cbrt z) (cbrt z)))
  (* (* x (* y 18.0)) (sqrt z))
  (* 18.0 (* x y))
  (* (* 18.0 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 (* y 18.0)))
  (log1p (* x (* y 18.0)))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (log (* x (* y 18.0)))
  (log (* x (* y 18.0)))
  (log (* x (* y 18.0)))
  (exp (* x (* y 18.0)))
  (pow (* 18.0 (* x y)) 3)
  (pow (* 18.0 (* x y)) 3)
  (* (cbrt (* x (* y 18.0))) (cbrt (* x (* y 18.0))))
  (cbrt (* x (* y 18.0)))
  (pow (* 18.0 (* x y)) 3)
  (sqrt (* x (* y 18.0)))
  (sqrt (* x (* y 18.0)))
  (* x y)
  (* (cbrt x) (* y 18.0))
  (* (sqrt x) (* y 18.0))
  (* 18.0 (* x y))
  0
  (* (* (* x (* y 18.0)) z) t)
  (* (* (* x (* y 18.0)) z) t)
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
12.570 * * * [progress]: adding candidates to table
12.943 * * [progress]: iteration 4 / 4
12.943 * * * [progress]: picking best candidate
12.973 * * * * [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))))>
12.974 * * * [progress]: localizing error
13.002 * * * [progress]: generating rewritten candidates
13.002 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
13.084 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
13.106 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
13.112 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
13.122 * * * [progress]: generating series expansions
13.122 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
13.122 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
13.122 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
13.122 * [taylor]: Taking taylor expansion of 18.0 in t
13.122 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
13.122 * [taylor]: Taking taylor expansion of t in t
13.122 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
13.122 * [taylor]: Taking taylor expansion of x in t
13.122 * [taylor]: Taking taylor expansion of (* z y) in t
13.122 * [taylor]: Taking taylor expansion of z in t
13.122 * [taylor]: Taking taylor expansion of y in t
13.122 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
13.122 * [taylor]: Taking taylor expansion of 18.0 in z
13.122 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
13.122 * [taylor]: Taking taylor expansion of t in z
13.122 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.122 * [taylor]: Taking taylor expansion of x in z
13.122 * [taylor]: Taking taylor expansion of (* z y) in z
13.122 * [taylor]: Taking taylor expansion of z in z
13.122 * [taylor]: Taking taylor expansion of y in z
13.122 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
13.122 * [taylor]: Taking taylor expansion of 18.0 in y
13.122 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
13.122 * [taylor]: Taking taylor expansion of t in y
13.122 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.122 * [taylor]: Taking taylor expansion of x in y
13.122 * [taylor]: Taking taylor expansion of (* z y) in y
13.122 * [taylor]: Taking taylor expansion of z in y
13.122 * [taylor]: Taking taylor expansion of y in y
13.122 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
13.122 * [taylor]: Taking taylor expansion of 18.0 in x
13.122 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
13.122 * [taylor]: Taking taylor expansion of t in x
13.123 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.123 * [taylor]: Taking taylor expansion of x in x
13.123 * [taylor]: Taking taylor expansion of (* z y) in x
13.123 * [taylor]: Taking taylor expansion of z in x
13.123 * [taylor]: Taking taylor expansion of y in x
13.123 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
13.123 * [taylor]: Taking taylor expansion of 18.0 in x
13.123 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
13.123 * [taylor]: Taking taylor expansion of t in x
13.123 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.123 * [taylor]: Taking taylor expansion of x in x
13.123 * [taylor]: Taking taylor expansion of (* z y) in x
13.123 * [taylor]: Taking taylor expansion of z in x
13.123 * [taylor]: Taking taylor expansion of y in x
13.124 * [taylor]: Taking taylor expansion of 0 in y
13.124 * [taylor]: Taking taylor expansion of 0 in z
13.124 * [taylor]: Taking taylor expansion of 0 in t
13.125 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
13.125 * [taylor]: Taking taylor expansion of 18.0 in y
13.125 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
13.125 * [taylor]: Taking taylor expansion of t in y
13.125 * [taylor]: Taking taylor expansion of (* z y) in y
13.125 * [taylor]: Taking taylor expansion of z in y
13.125 * [taylor]: Taking taylor expansion of y in y
13.125 * [taylor]: Taking taylor expansion of 0 in z
13.125 * [taylor]: Taking taylor expansion of 0 in t
13.125 * [taylor]: Taking taylor expansion of 0 in z
13.125 * [taylor]: Taking taylor expansion of 0 in t
13.125 * [taylor]: Taking taylor expansion of 0 in t
13.127 * [taylor]: Taking taylor expansion of 0 in y
13.127 * [taylor]: Taking taylor expansion of 0 in z
13.127 * [taylor]: Taking taylor expansion of 0 in t
13.127 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
13.127 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
13.127 * [taylor]: Taking taylor expansion of 18.0 in t
13.127 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
13.127 * [taylor]: Taking taylor expansion of t in t
13.127 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
13.127 * [taylor]: Taking taylor expansion of x in t
13.127 * [taylor]: Taking taylor expansion of (* z y) in t
13.127 * [taylor]: Taking taylor expansion of z in t
13.127 * [taylor]: Taking taylor expansion of y in t
13.128 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
13.128 * [taylor]: Taking taylor expansion of 18.0 in z
13.128 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
13.128 * [taylor]: Taking taylor expansion of t in z
13.128 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.128 * [taylor]: Taking taylor expansion of x in z
13.128 * [taylor]: Taking taylor expansion of (* z y) in z
13.128 * [taylor]: Taking taylor expansion of z in z
13.128 * [taylor]: Taking taylor expansion of y in z
13.129 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
13.129 * [taylor]: Taking taylor expansion of 18.0 in y
13.129 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
13.129 * [taylor]: Taking taylor expansion of t in y
13.129 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.129 * [taylor]: Taking taylor expansion of x in y
13.129 * [taylor]: Taking taylor expansion of (* z y) in y
13.129 * [taylor]: Taking taylor expansion of z in y
13.129 * [taylor]: Taking taylor expansion of y in y
13.130 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
13.130 * [taylor]: Taking taylor expansion of 18.0 in x
13.130 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
13.130 * [taylor]: Taking taylor expansion of t in x
13.130 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.130 * [taylor]: Taking taylor expansion of x in x
13.130 * [taylor]: Taking taylor expansion of (* z y) in x
13.130 * [taylor]: Taking taylor expansion of z in x
13.130 * [taylor]: Taking taylor expansion of y in x
13.131 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
13.131 * [taylor]: Taking taylor expansion of 18.0 in x
13.131 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
13.131 * [taylor]: Taking taylor expansion of t in x
13.131 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.131 * [taylor]: Taking taylor expansion of x in x
13.131 * [taylor]: Taking taylor expansion of (* z y) in x
13.131 * [taylor]: Taking taylor expansion of z in x
13.131 * [taylor]: Taking taylor expansion of y in x
13.132 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
13.132 * [taylor]: Taking taylor expansion of 18.0 in y
13.132 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
13.132 * [taylor]: Taking taylor expansion of t in y
13.132 * [taylor]: Taking taylor expansion of (* z y) in y
13.132 * [taylor]: Taking taylor expansion of z in y
13.132 * [taylor]: Taking taylor expansion of y in y
13.133 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
13.133 * [taylor]: Taking taylor expansion of 18.0 in z
13.133 * [taylor]: Taking taylor expansion of (* t z) in z
13.133 * [taylor]: Taking taylor expansion of t in z
13.133 * [taylor]: Taking taylor expansion of z in z
13.133 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
13.133 * [taylor]: Taking taylor expansion of 18.0 in t
13.133 * [taylor]: Taking taylor expansion of t in t
13.135 * [taylor]: Taking taylor expansion of 0 in y
13.136 * [taylor]: Taking taylor expansion of 0 in z
13.136 * [taylor]: Taking taylor expansion of 0 in t
13.139 * [taylor]: Taking taylor expansion of 0 in y
13.139 * [taylor]: Taking taylor expansion of 0 in z
13.140 * [taylor]: Taking taylor expansion of 0 in z
13.140 * [taylor]: Taking taylor expansion of 0 in t
13.140 * [taylor]: Taking taylor expansion of 0 in t
13.144 * [taylor]: Taking taylor expansion of 0 in y
13.144 * [taylor]: Taking taylor expansion of 0 in z
13.144 * [taylor]: Taking taylor expansion of 0 in z
13.146 * [taylor]: Taking taylor expansion of 0 in z
13.146 * [taylor]: Taking taylor expansion of 0 in t
13.146 * [taylor]: Taking taylor expansion of 0 in t
13.146 * [taylor]: Taking taylor expansion of 0 in t
13.147 * [taylor]: Taking taylor expansion of 0 in t
13.147 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
13.147 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
13.147 * [taylor]: Taking taylor expansion of 18.0 in t
13.147 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
13.147 * [taylor]: Taking taylor expansion of t in t
13.147 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
13.147 * [taylor]: Taking taylor expansion of x in t
13.147 * [taylor]: Taking taylor expansion of (* z y) in t
13.147 * [taylor]: Taking taylor expansion of z in t
13.147 * [taylor]: Taking taylor expansion of y in t
13.148 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
13.148 * [taylor]: Taking taylor expansion of 18.0 in z
13.148 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
13.148 * [taylor]: Taking taylor expansion of t in z
13.148 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.148 * [taylor]: Taking taylor expansion of x in z
13.148 * [taylor]: Taking taylor expansion of (* z y) in z
13.148 * [taylor]: Taking taylor expansion of z in z
13.148 * [taylor]: Taking taylor expansion of y in z
13.149 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
13.149 * [taylor]: Taking taylor expansion of 18.0 in y
13.149 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
13.149 * [taylor]: Taking taylor expansion of t in y
13.149 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.149 * [taylor]: Taking taylor expansion of x in y
13.149 * [taylor]: Taking taylor expansion of (* z y) in y
13.149 * [taylor]: Taking taylor expansion of z in y
13.149 * [taylor]: Taking taylor expansion of y in y
13.150 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
13.150 * [taylor]: Taking taylor expansion of 18.0 in x
13.150 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
13.150 * [taylor]: Taking taylor expansion of t in x
13.150 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.150 * [taylor]: Taking taylor expansion of x in x
13.150 * [taylor]: Taking taylor expansion of (* z y) in x
13.150 * [taylor]: Taking taylor expansion of z in x
13.150 * [taylor]: Taking taylor expansion of y in x
13.151 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
13.151 * [taylor]: Taking taylor expansion of 18.0 in x
13.151 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
13.151 * [taylor]: Taking taylor expansion of t in x
13.151 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.151 * [taylor]: Taking taylor expansion of x in x
13.151 * [taylor]: Taking taylor expansion of (* z y) in x
13.151 * [taylor]: Taking taylor expansion of z in x
13.151 * [taylor]: Taking taylor expansion of y in x
13.152 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
13.152 * [taylor]: Taking taylor expansion of 18.0 in y
13.152 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
13.152 * [taylor]: Taking taylor expansion of t in y
13.152 * [taylor]: Taking taylor expansion of (* z y) in y
13.152 * [taylor]: Taking taylor expansion of z in y
13.152 * [taylor]: Taking taylor expansion of y in y
13.153 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
13.153 * [taylor]: Taking taylor expansion of 18.0 in z
13.153 * [taylor]: Taking taylor expansion of (* t z) in z
13.153 * [taylor]: Taking taylor expansion of t in z
13.153 * [taylor]: Taking taylor expansion of z in z
13.153 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
13.153 * [taylor]: Taking taylor expansion of 18.0 in t
13.153 * [taylor]: Taking taylor expansion of t in t
13.155 * [taylor]: Taking taylor expansion of 0 in y
13.155 * [taylor]: Taking taylor expansion of 0 in z
13.156 * [taylor]: Taking taylor expansion of 0 in t
13.159 * [taylor]: Taking taylor expansion of 0 in y
13.159 * [taylor]: Taking taylor expansion of 0 in z
13.160 * [taylor]: Taking taylor expansion of 0 in z
13.160 * [taylor]: Taking taylor expansion of 0 in t
13.161 * [taylor]: Taking taylor expansion of 0 in t
13.164 * [taylor]: Taking taylor expansion of 0 in y
13.164 * [taylor]: Taking taylor expansion of 0 in z
13.164 * [taylor]: Taking taylor expansion of 0 in z
13.165 * [taylor]: Taking taylor expansion of 0 in z
13.166 * [taylor]: Taking taylor expansion of 0 in t
13.166 * [taylor]: Taking taylor expansion of 0 in t
13.166 * [taylor]: Taking taylor expansion of 0 in t
13.166 * [taylor]: Taking taylor expansion of 0 in t
13.167 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
13.167 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
13.167 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
13.167 * [taylor]: Taking taylor expansion of 18.0 in z
13.167 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.167 * [taylor]: Taking taylor expansion of x in z
13.167 * [taylor]: Taking taylor expansion of (* z y) in z
13.167 * [taylor]: Taking taylor expansion of z in z
13.167 * [taylor]: Taking taylor expansion of y in z
13.167 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
13.167 * [taylor]: Taking taylor expansion of 18.0 in y
13.167 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.167 * [taylor]: Taking taylor expansion of x in y
13.167 * [taylor]: Taking taylor expansion of (* z y) in y
13.167 * [taylor]: Taking taylor expansion of z in y
13.167 * [taylor]: Taking taylor expansion of y in y
13.167 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
13.167 * [taylor]: Taking taylor expansion of 18.0 in x
13.167 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.167 * [taylor]: Taking taylor expansion of x in x
13.167 * [taylor]: Taking taylor expansion of (* z y) in x
13.167 * [taylor]: Taking taylor expansion of z in x
13.167 * [taylor]: Taking taylor expansion of y in x
13.167 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
13.167 * [taylor]: Taking taylor expansion of 18.0 in x
13.167 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.167 * [taylor]: Taking taylor expansion of x in x
13.167 * [taylor]: Taking taylor expansion of (* z y) in x
13.167 * [taylor]: Taking taylor expansion of z in x
13.167 * [taylor]: Taking taylor expansion of y in x
13.168 * [taylor]: Taking taylor expansion of 0 in y
13.168 * [taylor]: Taking taylor expansion of 0 in z
13.168 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
13.168 * [taylor]: Taking taylor expansion of 18.0 in y
13.168 * [taylor]: Taking taylor expansion of (* z y) in y
13.168 * [taylor]: Taking taylor expansion of z in y
13.168 * [taylor]: Taking taylor expansion of y in y
13.173 * [taylor]: Taking taylor expansion of 0 in z
13.173 * [taylor]: Taking taylor expansion of 0 in z
13.174 * [taylor]: Taking taylor expansion of 0 in y
13.174 * [taylor]: Taking taylor expansion of 0 in z
13.175 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
13.175 * [taylor]: Taking taylor expansion of 18.0 in z
13.175 * [taylor]: Taking taylor expansion of z in z
13.176 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
13.176 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
13.176 * [taylor]: Taking taylor expansion of 18.0 in z
13.176 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.176 * [taylor]: Taking taylor expansion of x in z
13.176 * [taylor]: Taking taylor expansion of (* z y) in z
13.176 * [taylor]: Taking taylor expansion of z in z
13.176 * [taylor]: Taking taylor expansion of y in z
13.176 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
13.176 * [taylor]: Taking taylor expansion of 18.0 in y
13.176 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.177 * [taylor]: Taking taylor expansion of x in y
13.177 * [taylor]: Taking taylor expansion of (* z y) in y
13.177 * [taylor]: Taking taylor expansion of z in y
13.177 * [taylor]: Taking taylor expansion of y in y
13.177 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
13.177 * [taylor]: Taking taylor expansion of 18.0 in x
13.177 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.177 * [taylor]: Taking taylor expansion of x in x
13.177 * [taylor]: Taking taylor expansion of (* z y) in x
13.177 * [taylor]: Taking taylor expansion of z in x
13.177 * [taylor]: Taking taylor expansion of y in x
13.178 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
13.178 * [taylor]: Taking taylor expansion of 18.0 in x
13.178 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.178 * [taylor]: Taking taylor expansion of x in x
13.178 * [taylor]: Taking taylor expansion of (* z y) in x
13.178 * [taylor]: Taking taylor expansion of z in x
13.178 * [taylor]: Taking taylor expansion of y in x
13.178 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
13.178 * [taylor]: Taking taylor expansion of 18.0 in y
13.178 * [taylor]: Taking taylor expansion of (* z y) in y
13.178 * [taylor]: Taking taylor expansion of z in y
13.178 * [taylor]: Taking taylor expansion of y in y
13.179 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
13.179 * [taylor]: Taking taylor expansion of 18.0 in z
13.179 * [taylor]: Taking taylor expansion of z in z
13.180 * [taylor]: Taking taylor expansion of 0 in y
13.181 * [taylor]: Taking taylor expansion of 0 in z
13.183 * [taylor]: Taking taylor expansion of 0 in y
13.183 * [taylor]: Taking taylor expansion of 0 in z
13.183 * [taylor]: Taking taylor expansion of 0 in z
13.186 * [taylor]: Taking taylor expansion of 0 in y
13.186 * [taylor]: Taking taylor expansion of 0 in z
13.186 * [taylor]: Taking taylor expansion of 0 in z
13.187 * [taylor]: Taking taylor expansion of 0 in z
13.187 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
13.187 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
13.187 * [taylor]: Taking taylor expansion of -18.0 in z
13.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
13.187 * [taylor]: Taking taylor expansion of x in z
13.187 * [taylor]: Taking taylor expansion of (* z y) in z
13.187 * [taylor]: Taking taylor expansion of z in z
13.187 * [taylor]: Taking taylor expansion of y in z
13.188 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
13.188 * [taylor]: Taking taylor expansion of -18.0 in y
13.188 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
13.188 * [taylor]: Taking taylor expansion of x in y
13.188 * [taylor]: Taking taylor expansion of (* z y) in y
13.188 * [taylor]: Taking taylor expansion of z in y
13.188 * [taylor]: Taking taylor expansion of y in y
13.188 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
13.188 * [taylor]: Taking taylor expansion of -18.0 in x
13.188 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.188 * [taylor]: Taking taylor expansion of x in x
13.189 * [taylor]: Taking taylor expansion of (* z y) in x
13.189 * [taylor]: Taking taylor expansion of z in x
13.189 * [taylor]: Taking taylor expansion of y in x
13.189 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
13.189 * [taylor]: Taking taylor expansion of -18.0 in x
13.189 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
13.189 * [taylor]: Taking taylor expansion of x in x
13.189 * [taylor]: Taking taylor expansion of (* z y) in x
13.189 * [taylor]: Taking taylor expansion of z in x
13.189 * [taylor]: Taking taylor expansion of y in x
13.190 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
13.190 * [taylor]: Taking taylor expansion of -18.0 in y
13.190 * [taylor]: Taking taylor expansion of (* z y) in y
13.190 * [taylor]: Taking taylor expansion of z in y
13.190 * [taylor]: Taking taylor expansion of y in y
13.190 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
13.190 * [taylor]: Taking taylor expansion of -18.0 in z
13.190 * [taylor]: Taking taylor expansion of z in z
13.191 * [taylor]: Taking taylor expansion of 0 in y
13.192 * [taylor]: Taking taylor expansion of 0 in z
13.194 * [taylor]: Taking taylor expansion of 0 in y
13.194 * [taylor]: Taking taylor expansion of 0 in z
13.194 * [taylor]: Taking taylor expansion of 0 in z
13.197 * [taylor]: Taking taylor expansion of 0 in y
13.197 * [taylor]: Taking taylor expansion of 0 in z
13.197 * [taylor]: Taking taylor expansion of 0 in z
13.197 * [taylor]: Taking taylor expansion of 0 in z
13.198 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
13.198 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
13.198 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
13.198 * [taylor]: Taking taylor expansion of 27.0 in j
13.198 * [taylor]: Taking taylor expansion of (* k j) in j
13.198 * [taylor]: Taking taylor expansion of k in j
13.198 * [taylor]: Taking taylor expansion of j in j
13.198 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
13.198 * [taylor]: Taking taylor expansion of 27.0 in k
13.198 * [taylor]: Taking taylor expansion of (* k j) in k
13.198 * [taylor]: Taking taylor expansion of k in k
13.198 * [taylor]: Taking taylor expansion of j in k
13.198 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
13.198 * [taylor]: Taking taylor expansion of 27.0 in k
13.198 * [taylor]: Taking taylor expansion of (* k j) in k
13.198 * [taylor]: Taking taylor expansion of k in k
13.198 * [taylor]: Taking taylor expansion of j in k
13.198 * [taylor]: Taking taylor expansion of 0 in j
13.199 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
13.199 * [taylor]: Taking taylor expansion of 27.0 in j
13.199 * [taylor]: Taking taylor expansion of j in j
13.200 * [taylor]: Taking taylor expansion of 0 in j
13.203 * [taylor]: Taking taylor expansion of 0 in j
13.205 * [taylor]: Taking taylor expansion of 0 in j
13.205 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
13.205 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
13.205 * [taylor]: Taking taylor expansion of 27.0 in j
13.205 * [taylor]: Taking taylor expansion of (* k j) in j
13.205 * [taylor]: Taking taylor expansion of k in j
13.205 * [taylor]: Taking taylor expansion of j in j
13.206 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
13.206 * [taylor]: Taking taylor expansion of 27.0 in k
13.206 * [taylor]: Taking taylor expansion of (* k j) in k
13.206 * [taylor]: Taking taylor expansion of k in k
13.206 * [taylor]: Taking taylor expansion of j in k
13.206 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
13.206 * [taylor]: Taking taylor expansion of 27.0 in k
13.206 * [taylor]: Taking taylor expansion of (* k j) in k
13.206 * [taylor]: Taking taylor expansion of k in k
13.206 * [taylor]: Taking taylor expansion of j in k
13.207 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
13.207 * [taylor]: Taking taylor expansion of 27.0 in j
13.207 * [taylor]: Taking taylor expansion of j in j
13.208 * [taylor]: Taking taylor expansion of 0 in j
13.209 * [taylor]: Taking taylor expansion of 0 in j
13.211 * [taylor]: Taking taylor expansion of 0 in j
13.212 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
13.212 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
13.212 * [taylor]: Taking taylor expansion of 27.0 in j
13.212 * [taylor]: Taking taylor expansion of (* k j) in j
13.212 * [taylor]: Taking taylor expansion of k in j
13.212 * [taylor]: Taking taylor expansion of j in j
13.212 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
13.212 * [taylor]: Taking taylor expansion of 27.0 in k
13.212 * [taylor]: Taking taylor expansion of (* k j) in k
13.212 * [taylor]: Taking taylor expansion of k in k
13.212 * [taylor]: Taking taylor expansion of j in k
13.213 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
13.213 * [taylor]: Taking taylor expansion of 27.0 in k
13.213 * [taylor]: Taking taylor expansion of (* k j) in k
13.213 * [taylor]: Taking taylor expansion of k in k
13.213 * [taylor]: Taking taylor expansion of j in k
13.213 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
13.213 * [taylor]: Taking taylor expansion of 27.0 in j
13.213 * [taylor]: Taking taylor expansion of j in j
13.214 * [taylor]: Taking taylor expansion of 0 in j
13.215 * [taylor]: Taking taylor expansion of 0 in j
13.217 * [taylor]: Taking taylor expansion of 0 in j
13.218 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
13.218 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
13.218 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
13.218 * [taylor]: Taking taylor expansion of 18.0 in y
13.218 * [taylor]: Taking taylor expansion of (* x y) in y
13.218 * [taylor]: Taking taylor expansion of x in y
13.218 * [taylor]: Taking taylor expansion of y in y
13.218 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
13.218 * [taylor]: Taking taylor expansion of 18.0 in x
13.218 * [taylor]: Taking taylor expansion of (* x y) in x
13.218 * [taylor]: Taking taylor expansion of x in x
13.218 * [taylor]: Taking taylor expansion of y in x
13.218 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
13.218 * [taylor]: Taking taylor expansion of 18.0 in x
13.218 * [taylor]: Taking taylor expansion of (* x y) in x
13.218 * [taylor]: Taking taylor expansion of x in x
13.218 * [taylor]: Taking taylor expansion of y in x
13.219 * [taylor]: Taking taylor expansion of 0 in y
13.219 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
13.219 * [taylor]: Taking taylor expansion of 18.0 in y
13.219 * [taylor]: Taking taylor expansion of y in y
13.220 * [taylor]: Taking taylor expansion of 0 in y
13.223 * [taylor]: Taking taylor expansion of 0 in y
13.226 * [taylor]: Taking taylor expansion of 0 in y
13.226 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
13.226 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
13.226 * [taylor]: Taking taylor expansion of 18.0 in y
13.226 * [taylor]: Taking taylor expansion of (* x y) in y
13.226 * [taylor]: Taking taylor expansion of x in y
13.226 * [taylor]: Taking taylor expansion of y in y
13.226 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.226 * [taylor]: Taking taylor expansion of 18.0 in x
13.226 * [taylor]: Taking taylor expansion of (* x y) in x
13.226 * [taylor]: Taking taylor expansion of x in x
13.226 * [taylor]: Taking taylor expansion of y in x
13.227 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.227 * [taylor]: Taking taylor expansion of 18.0 in x
13.227 * [taylor]: Taking taylor expansion of (* x y) in x
13.227 * [taylor]: Taking taylor expansion of x in x
13.227 * [taylor]: Taking taylor expansion of y in x
13.227 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
13.227 * [taylor]: Taking taylor expansion of 18.0 in y
13.227 * [taylor]: Taking taylor expansion of y in y
13.228 * [taylor]: Taking taylor expansion of 0 in y
13.230 * [taylor]: Taking taylor expansion of 0 in y
13.231 * [taylor]: Taking taylor expansion of 0 in y
13.232 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
13.232 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
13.232 * [taylor]: Taking taylor expansion of 18.0 in y
13.232 * [taylor]: Taking taylor expansion of (* x y) in y
13.232 * [taylor]: Taking taylor expansion of x in y
13.232 * [taylor]: Taking taylor expansion of y in y
13.233 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.233 * [taylor]: Taking taylor expansion of 18.0 in x
13.233 * [taylor]: Taking taylor expansion of (* x y) in x
13.233 * [taylor]: Taking taylor expansion of x in x
13.233 * [taylor]: Taking taylor expansion of y in x
13.233 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
13.233 * [taylor]: Taking taylor expansion of 18.0 in x
13.233 * [taylor]: Taking taylor expansion of (* x y) in x
13.233 * [taylor]: Taking taylor expansion of x in x
13.233 * [taylor]: Taking taylor expansion of y in x
13.234 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
13.234 * [taylor]: Taking taylor expansion of 18.0 in y
13.234 * [taylor]: Taking taylor expansion of y in y
13.235 * [taylor]: Taking taylor expansion of 0 in y
13.236 * [taylor]: Taking taylor expansion of 0 in y
13.238 * [taylor]: Taking taylor expansion of 0 in y
13.238 * * * [progress]: simplifying candidates
13.240 * [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))
13.243 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
13.272 * * [simplify]: iteration  1 :  354  enodes  (cost  943 )
13.480 * * [simplify]: iteration  2 :  1730  enodes  (cost  737 )
14.531 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
14.532 * [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)
14.533 * * * [progress]: adding candidates to table
14.896 * [progress]: [Phase 3 of 3] Extracting.
14.896 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
14.908 * * * [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)
14.909 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
14.962 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.036 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.506 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.567 * * * * [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 (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.636 * * * * [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))))>)
15.668 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.730 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.785 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.847 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.910 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
15.961 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.020 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.085 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.155 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.213 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.280 * * * [regime]: Found split indices: #<option (#s(si 2 25) #s(si 1 200) #s(si 2 255))>
16.281 * [binary-search]: Improving bounds with binary search for t and (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.574 * [regimes]: Found splitpoints: (#s(sp 2 t -1.202857629040676e+164) #s(sp 1 t 3.869826479902939e-82) #s(sp 2 t +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) 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 (* y 18.0)) (* 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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* x (* y 18.0)) z) t)) (cbrt (* (* (* x (* y 18.0)) z) t))) (cbrt (* (* (* x (* y 18.0)) 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) (- (- (+ (- (* 0 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)) (* 27.0 (* k j))))>)
16.575 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= t -1.202857629040676e+164) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= t 3.869826479902939e-82) (- (- (+ (- (* (* x (* y 18.0)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))))
16.576 * * [simplify]: iteration  0 :  44  enodes  (cost  105 )
16.578 * * [simplify]: iteration  1 :  66  enodes  (cost  71 )
16.579 * * [simplify]: iteration  done :  66  enodes  (cost  71 )
16.579 * [simplify]: Simplified to:
   (if (or (<= t -1.202857629040676e+164) (not (<= t 3.869826479902939e-82))) (- (- (+ (* b c) (- (* 18.0 (* t (* x (* z y)))) (* (* a 4.0) t))) (* (* x 4.0) i)) (* j (* 27.0 k))) (- (- (+ (- (* (* x (* y 18.0)) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))
18.909 * [regime-testing]: Baseline error score: 5.698507228173448
18.909 * [regime-testing]: Oracle error score: 0.7412208319292826
18.910 * [regime-testing]: End program error score: 4.263153337178907
18.954 * [regime-testing]: Target error score: 1.6126625913413577