30.582 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.077 * [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.078 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.082 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.096 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.143 * * [simplify]: iteration  3 :  722  enodes  (cost  27 )
0.417 * * [simplify]: iteration  4 :  1905  enodes  (cost  27 )
1.265 * * [simplify]: iteration  5 :  3091  enodes  (cost  26 )
2.582 * * [simplify]: iteration  6 :  4267  enodes  (cost  26 )
4.144 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
4.144 * [simplify]: Simplified to:
   (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
4.156 * * [progress]: iteration 1 / 4
4.156 * * * [progress]: picking best candidate
4.165 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
4.165 * * * [progress]: localizing error
4.189 * * * [progress]: generating rewritten candidates
4.190 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.268 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
4.290 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.296 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
4.306 * * * [progress]: generating series expansions
4.306 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
4.306 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.306 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
4.306 * [taylor]: Taking taylor expansion of 18.0 in t
4.306 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.306 * [taylor]: Taking taylor expansion of t in t
4.306 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.306 * [taylor]: Taking taylor expansion of x in t
4.306 * [taylor]: Taking taylor expansion of (* z y) in t
4.306 * [taylor]: Taking taylor expansion of z in t
4.306 * [taylor]: Taking taylor expansion of y in t
4.306 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
4.306 * [taylor]: Taking taylor expansion of 18.0 in z
4.306 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.306 * [taylor]: Taking taylor expansion of t in z
4.306 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.306 * [taylor]: Taking taylor expansion of x in z
4.306 * [taylor]: Taking taylor expansion of (* z y) in z
4.306 * [taylor]: Taking taylor expansion of z in z
4.306 * [taylor]: Taking taylor expansion of y in z
4.306 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
4.306 * [taylor]: Taking taylor expansion of 18.0 in y
4.306 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.306 * [taylor]: Taking taylor expansion of t in y
4.306 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.306 * [taylor]: Taking taylor expansion of x in y
4.306 * [taylor]: Taking taylor expansion of (* z y) in y
4.306 * [taylor]: Taking taylor expansion of z in y
4.306 * [taylor]: Taking taylor expansion of y in y
4.306 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.306 * [taylor]: Taking taylor expansion of 18.0 in x
4.306 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.306 * [taylor]: Taking taylor expansion of t in x
4.307 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.307 * [taylor]: Taking taylor expansion of x in x
4.307 * [taylor]: Taking taylor expansion of (* z y) in x
4.307 * [taylor]: Taking taylor expansion of z in x
4.307 * [taylor]: Taking taylor expansion of y in x
4.307 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.307 * [taylor]: Taking taylor expansion of 18.0 in x
4.307 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.307 * [taylor]: Taking taylor expansion of t in x
4.307 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.307 * [taylor]: Taking taylor expansion of x in x
4.307 * [taylor]: Taking taylor expansion of (* z y) in x
4.307 * [taylor]: Taking taylor expansion of z in x
4.307 * [taylor]: Taking taylor expansion of y in x
4.307 * [taylor]: Taking taylor expansion of 0 in y
4.308 * [taylor]: Taking taylor expansion of 0 in z
4.308 * [taylor]: Taking taylor expansion of 0 in t
4.309 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
4.309 * [taylor]: Taking taylor expansion of 18.0 in y
4.309 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.309 * [taylor]: Taking taylor expansion of t in y
4.309 * [taylor]: Taking taylor expansion of (* z y) in y
4.309 * [taylor]: Taking taylor expansion of z in y
4.309 * [taylor]: Taking taylor expansion of y in y
4.309 * [taylor]: Taking taylor expansion of 0 in z
4.309 * [taylor]: Taking taylor expansion of 0 in t
4.309 * [taylor]: Taking taylor expansion of 0 in z
4.309 * [taylor]: Taking taylor expansion of 0 in t
4.309 * [taylor]: Taking taylor expansion of 0 in t
4.311 * [taylor]: Taking taylor expansion of 0 in y
4.312 * [taylor]: Taking taylor expansion of 0 in z
4.312 * [taylor]: Taking taylor expansion of 0 in t
4.312 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.312 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.312 * [taylor]: Taking taylor expansion of 18.0 in t
4.312 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.312 * [taylor]: Taking taylor expansion of t in t
4.312 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.312 * [taylor]: Taking taylor expansion of x in t
4.312 * [taylor]: Taking taylor expansion of (* z y) in t
4.312 * [taylor]: Taking taylor expansion of z in t
4.312 * [taylor]: Taking taylor expansion of y in t
4.313 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.313 * [taylor]: Taking taylor expansion of 18.0 in z
4.313 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.313 * [taylor]: Taking taylor expansion of t in z
4.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.313 * [taylor]: Taking taylor expansion of x in z
4.313 * [taylor]: Taking taylor expansion of (* z y) in z
4.313 * [taylor]: Taking taylor expansion of z in z
4.313 * [taylor]: Taking taylor expansion of y in z
4.314 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.314 * [taylor]: Taking taylor expansion of 18.0 in y
4.314 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.314 * [taylor]: Taking taylor expansion of t in y
4.314 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.314 * [taylor]: Taking taylor expansion of x in y
4.314 * [taylor]: Taking taylor expansion of (* z y) in y
4.314 * [taylor]: Taking taylor expansion of z in y
4.314 * [taylor]: Taking taylor expansion of y in y
4.315 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.315 * [taylor]: Taking taylor expansion of 18.0 in x
4.315 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.315 * [taylor]: Taking taylor expansion of t in x
4.315 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.315 * [taylor]: Taking taylor expansion of x in x
4.315 * [taylor]: Taking taylor expansion of (* z y) in x
4.315 * [taylor]: Taking taylor expansion of z in x
4.315 * [taylor]: Taking taylor expansion of y in x
4.316 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.316 * [taylor]: Taking taylor expansion of 18.0 in x
4.316 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.316 * [taylor]: Taking taylor expansion of t in x
4.316 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.316 * [taylor]: Taking taylor expansion of x in x
4.316 * [taylor]: Taking taylor expansion of (* z y) in x
4.316 * [taylor]: Taking taylor expansion of z in x
4.316 * [taylor]: Taking taylor expansion of y in x
4.317 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.317 * [taylor]: Taking taylor expansion of 18.0 in y
4.317 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.317 * [taylor]: Taking taylor expansion of t in y
4.317 * [taylor]: Taking taylor expansion of (* z y) in y
4.317 * [taylor]: Taking taylor expansion of z in y
4.317 * [taylor]: Taking taylor expansion of y in y
4.318 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.318 * [taylor]: Taking taylor expansion of 18.0 in z
4.318 * [taylor]: Taking taylor expansion of (* t z) in z
4.318 * [taylor]: Taking taylor expansion of t in z
4.318 * [taylor]: Taking taylor expansion of z in z
4.318 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
4.318 * [taylor]: Taking taylor expansion of 18.0 in t
4.318 * [taylor]: Taking taylor expansion of t in t
4.320 * [taylor]: Taking taylor expansion of 0 in y
4.321 * [taylor]: Taking taylor expansion of 0 in z
4.322 * [taylor]: Taking taylor expansion of 0 in t
4.329 * [taylor]: Taking taylor expansion of 0 in y
4.329 * [taylor]: Taking taylor expansion of 0 in z
4.330 * [taylor]: Taking taylor expansion of 0 in z
4.330 * [taylor]: Taking taylor expansion of 0 in t
4.331 * [taylor]: Taking taylor expansion of 0 in t
4.334 * [taylor]: Taking taylor expansion of 0 in y
4.334 * [taylor]: Taking taylor expansion of 0 in z
4.334 * [taylor]: Taking taylor expansion of 0 in z
4.336 * [taylor]: Taking taylor expansion of 0 in z
4.336 * [taylor]: Taking taylor expansion of 0 in t
4.336 * [taylor]: Taking taylor expansion of 0 in t
4.336 * [taylor]: Taking taylor expansion of 0 in t
4.337 * [taylor]: Taking taylor expansion of 0 in t
4.337 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.338 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.338 * [taylor]: Taking taylor expansion of 18.0 in t
4.338 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.338 * [taylor]: Taking taylor expansion of t in t
4.338 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.338 * [taylor]: Taking taylor expansion of x in t
4.338 * [taylor]: Taking taylor expansion of (* z y) in t
4.338 * [taylor]: Taking taylor expansion of z in t
4.338 * [taylor]: Taking taylor expansion of y in t
4.338 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.338 * [taylor]: Taking taylor expansion of 18.0 in z
4.338 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.338 * [taylor]: Taking taylor expansion of t in z
4.338 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.338 * [taylor]: Taking taylor expansion of x in z
4.339 * [taylor]: Taking taylor expansion of (* z y) in z
4.339 * [taylor]: Taking taylor expansion of z in z
4.339 * [taylor]: Taking taylor expansion of y in z
4.340 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.340 * [taylor]: Taking taylor expansion of 18.0 in y
4.340 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.340 * [taylor]: Taking taylor expansion of t in y
4.340 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.340 * [taylor]: Taking taylor expansion of x in y
4.340 * [taylor]: Taking taylor expansion of (* z y) in y
4.340 * [taylor]: Taking taylor expansion of z in y
4.340 * [taylor]: Taking taylor expansion of y in y
4.341 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.341 * [taylor]: Taking taylor expansion of 18.0 in x
4.341 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.341 * [taylor]: Taking taylor expansion of t in x
4.341 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.341 * [taylor]: Taking taylor expansion of x in x
4.341 * [taylor]: Taking taylor expansion of (* z y) in x
4.341 * [taylor]: Taking taylor expansion of z in x
4.341 * [taylor]: Taking taylor expansion of y in x
4.342 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.342 * [taylor]: Taking taylor expansion of 18.0 in x
4.342 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.342 * [taylor]: Taking taylor expansion of t in x
4.342 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.342 * [taylor]: Taking taylor expansion of x in x
4.342 * [taylor]: Taking taylor expansion of (* z y) in x
4.342 * [taylor]: Taking taylor expansion of z in x
4.342 * [taylor]: Taking taylor expansion of y in x
4.343 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.343 * [taylor]: Taking taylor expansion of 18.0 in y
4.343 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.343 * [taylor]: Taking taylor expansion of t in y
4.343 * [taylor]: Taking taylor expansion of (* z y) in y
4.343 * [taylor]: Taking taylor expansion of z in y
4.343 * [taylor]: Taking taylor expansion of y in y
4.344 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.344 * [taylor]: Taking taylor expansion of 18.0 in z
4.344 * [taylor]: Taking taylor expansion of (* t z) in z
4.344 * [taylor]: Taking taylor expansion of t in z
4.344 * [taylor]: Taking taylor expansion of z in z
4.344 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
4.344 * [taylor]: Taking taylor expansion of 18.0 in t
4.344 * [taylor]: Taking taylor expansion of t in t
4.346 * [taylor]: Taking taylor expansion of 0 in y
4.347 * [taylor]: Taking taylor expansion of 0 in z
4.347 * [taylor]: Taking taylor expansion of 0 in t
4.350 * [taylor]: Taking taylor expansion of 0 in y
4.350 * [taylor]: Taking taylor expansion of 0 in z
4.351 * [taylor]: Taking taylor expansion of 0 in z
4.351 * [taylor]: Taking taylor expansion of 0 in t
4.352 * [taylor]: Taking taylor expansion of 0 in t
4.356 * [taylor]: Taking taylor expansion of 0 in y
4.356 * [taylor]: Taking taylor expansion of 0 in z
4.356 * [taylor]: Taking taylor expansion of 0 in z
4.358 * [taylor]: Taking taylor expansion of 0 in z
4.358 * [taylor]: Taking taylor expansion of 0 in t
4.358 * [taylor]: Taking taylor expansion of 0 in t
4.358 * [taylor]: Taking taylor expansion of 0 in t
4.358 * [taylor]: Taking taylor expansion of 0 in t
4.359 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
4.359 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
4.359 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
4.359 * [taylor]: Taking taylor expansion of 18.0 in z
4.359 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.359 * [taylor]: Taking taylor expansion of x in z
4.359 * [taylor]: Taking taylor expansion of (* z y) in z
4.359 * [taylor]: Taking taylor expansion of z in z
4.359 * [taylor]: Taking taylor expansion of y in z
4.359 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
4.359 * [taylor]: Taking taylor expansion of 18.0 in y
4.359 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.359 * [taylor]: Taking taylor expansion of x in y
4.359 * [taylor]: Taking taylor expansion of (* z y) in y
4.359 * [taylor]: Taking taylor expansion of z in y
4.359 * [taylor]: Taking taylor expansion of y in y
4.359 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
4.359 * [taylor]: Taking taylor expansion of 18.0 in x
4.359 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.359 * [taylor]: Taking taylor expansion of x in x
4.359 * [taylor]: Taking taylor expansion of (* z y) in x
4.359 * [taylor]: Taking taylor expansion of z in x
4.359 * [taylor]: Taking taylor expansion of y in x
4.359 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
4.359 * [taylor]: Taking taylor expansion of 18.0 in x
4.359 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.359 * [taylor]: Taking taylor expansion of x in x
4.359 * [taylor]: Taking taylor expansion of (* z y) in x
4.359 * [taylor]: Taking taylor expansion of z in x
4.359 * [taylor]: Taking taylor expansion of y in x
4.360 * [taylor]: Taking taylor expansion of 0 in y
4.360 * [taylor]: Taking taylor expansion of 0 in z
4.361 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
4.361 * [taylor]: Taking taylor expansion of 18.0 in y
4.361 * [taylor]: Taking taylor expansion of (* z y) in y
4.361 * [taylor]: Taking taylor expansion of z in y
4.361 * [taylor]: Taking taylor expansion of y in y
4.361 * [taylor]: Taking taylor expansion of 0 in z
4.361 * [taylor]: Taking taylor expansion of 0 in z
4.363 * [taylor]: Taking taylor expansion of 0 in y
4.363 * [taylor]: Taking taylor expansion of 0 in z
4.364 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
4.364 * [taylor]: Taking taylor expansion of 18.0 in z
4.364 * [taylor]: Taking taylor expansion of z in z
4.364 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
4.364 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
4.364 * [taylor]: Taking taylor expansion of 18.0 in z
4.364 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.364 * [taylor]: Taking taylor expansion of x in z
4.364 * [taylor]: Taking taylor expansion of (* z y) in z
4.364 * [taylor]: Taking taylor expansion of z in z
4.364 * [taylor]: Taking taylor expansion of y in z
4.365 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
4.365 * [taylor]: Taking taylor expansion of 18.0 in y
4.365 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.365 * [taylor]: Taking taylor expansion of x in y
4.365 * [taylor]: Taking taylor expansion of (* z y) in y
4.365 * [taylor]: Taking taylor expansion of z in y
4.365 * [taylor]: Taking taylor expansion of y in y
4.366 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
4.366 * [taylor]: Taking taylor expansion of 18.0 in x
4.366 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.366 * [taylor]: Taking taylor expansion of x in x
4.366 * [taylor]: Taking taylor expansion of (* z y) in x
4.366 * [taylor]: Taking taylor expansion of z in x
4.366 * [taylor]: Taking taylor expansion of y in x
4.366 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
4.366 * [taylor]: Taking taylor expansion of 18.0 in x
4.366 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.366 * [taylor]: Taking taylor expansion of x in x
4.366 * [taylor]: Taking taylor expansion of (* z y) in x
4.366 * [taylor]: Taking taylor expansion of z in x
4.366 * [taylor]: Taking taylor expansion of y in x
4.367 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
4.367 * [taylor]: Taking taylor expansion of 18.0 in y
4.367 * [taylor]: Taking taylor expansion of (* z y) in y
4.367 * [taylor]: Taking taylor expansion of z in y
4.367 * [taylor]: Taking taylor expansion of y in y
4.367 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
4.367 * [taylor]: Taking taylor expansion of 18.0 in z
4.367 * [taylor]: Taking taylor expansion of z in z
4.369 * [taylor]: Taking taylor expansion of 0 in y
4.369 * [taylor]: Taking taylor expansion of 0 in z
4.372 * [taylor]: Taking taylor expansion of 0 in y
4.372 * [taylor]: Taking taylor expansion of 0 in z
4.372 * [taylor]: Taking taylor expansion of 0 in z
4.375 * [taylor]: Taking taylor expansion of 0 in y
4.375 * [taylor]: Taking taylor expansion of 0 in z
4.375 * [taylor]: Taking taylor expansion of 0 in z
4.376 * [taylor]: Taking taylor expansion of 0 in z
4.377 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
4.377 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
4.377 * [taylor]: Taking taylor expansion of -18.0 in z
4.377 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.377 * [taylor]: Taking taylor expansion of x in z
4.377 * [taylor]: Taking taylor expansion of (* z y) in z
4.377 * [taylor]: Taking taylor expansion of z in z
4.377 * [taylor]: Taking taylor expansion of y in z
4.378 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
4.378 * [taylor]: Taking taylor expansion of -18.0 in y
4.378 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.378 * [taylor]: Taking taylor expansion of x in y
4.378 * [taylor]: Taking taylor expansion of (* z y) in y
4.378 * [taylor]: Taking taylor expansion of z in y
4.378 * [taylor]: Taking taylor expansion of y in y
4.379 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
4.379 * [taylor]: Taking taylor expansion of -18.0 in x
4.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.379 * [taylor]: Taking taylor expansion of x in x
4.379 * [taylor]: Taking taylor expansion of (* z y) in x
4.379 * [taylor]: Taking taylor expansion of z in x
4.379 * [taylor]: Taking taylor expansion of y in x
4.379 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
4.379 * [taylor]: Taking taylor expansion of -18.0 in x
4.379 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.379 * [taylor]: Taking taylor expansion of x in x
4.379 * [taylor]: Taking taylor expansion of (* z y) in x
4.379 * [taylor]: Taking taylor expansion of z in x
4.379 * [taylor]: Taking taylor expansion of y in x
4.380 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
4.380 * [taylor]: Taking taylor expansion of -18.0 in y
4.380 * [taylor]: Taking taylor expansion of (* z y) in y
4.380 * [taylor]: Taking taylor expansion of z in y
4.380 * [taylor]: Taking taylor expansion of y in y
4.380 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
4.380 * [taylor]: Taking taylor expansion of -18.0 in z
4.380 * [taylor]: Taking taylor expansion of z in z
4.382 * [taylor]: Taking taylor expansion of 0 in y
4.382 * [taylor]: Taking taylor expansion of 0 in z
4.384 * [taylor]: Taking taylor expansion of 0 in y
4.385 * [taylor]: Taking taylor expansion of 0 in z
4.385 * [taylor]: Taking taylor expansion of 0 in z
4.388 * [taylor]: Taking taylor expansion of 0 in y
4.388 * [taylor]: Taking taylor expansion of 0 in z
4.388 * [taylor]: Taking taylor expansion of 0 in z
4.389 * [taylor]: Taking taylor expansion of 0 in z
4.389 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.389 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
4.389 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
4.389 * [taylor]: Taking taylor expansion of 27.0 in k
4.389 * [taylor]: Taking taylor expansion of (* k j) in k
4.389 * [taylor]: Taking taylor expansion of k in k
4.389 * [taylor]: Taking taylor expansion of j in k
4.389 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
4.389 * [taylor]: Taking taylor expansion of 27.0 in j
4.389 * [taylor]: Taking taylor expansion of (* k j) in j
4.389 * [taylor]: Taking taylor expansion of k in j
4.389 * [taylor]: Taking taylor expansion of j in j
4.389 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
4.390 * [taylor]: Taking taylor expansion of 27.0 in j
4.390 * [taylor]: Taking taylor expansion of (* k j) in j
4.390 * [taylor]: Taking taylor expansion of k in j
4.390 * [taylor]: Taking taylor expansion of j in j
4.390 * [taylor]: Taking taylor expansion of 0 in k
4.391 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
4.391 * [taylor]: Taking taylor expansion of 27.0 in k
4.391 * [taylor]: Taking taylor expansion of k in k
4.392 * [taylor]: Taking taylor expansion of 0 in k
4.394 * [taylor]: Taking taylor expansion of 0 in k
4.397 * [taylor]: Taking taylor expansion of 0 in k
4.397 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
4.397 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
4.397 * [taylor]: Taking taylor expansion of 27.0 in k
4.397 * [taylor]: Taking taylor expansion of (* k j) in k
4.397 * [taylor]: Taking taylor expansion of k in k
4.397 * [taylor]: Taking taylor expansion of j in k
4.397 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.397 * [taylor]: Taking taylor expansion of 27.0 in j
4.397 * [taylor]: Taking taylor expansion of (* k j) in j
4.397 * [taylor]: Taking taylor expansion of k in j
4.397 * [taylor]: Taking taylor expansion of j in j
4.398 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.398 * [taylor]: Taking taylor expansion of 27.0 in j
4.398 * [taylor]: Taking taylor expansion of (* k j) in j
4.398 * [taylor]: Taking taylor expansion of k in j
4.398 * [taylor]: Taking taylor expansion of j in j
4.398 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
4.398 * [taylor]: Taking taylor expansion of 27.0 in k
4.398 * [taylor]: Taking taylor expansion of k in k
4.399 * [taylor]: Taking taylor expansion of 0 in k
4.400 * [taylor]: Taking taylor expansion of 0 in k
4.402 * [taylor]: Taking taylor expansion of 0 in k
4.403 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
4.403 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
4.403 * [taylor]: Taking taylor expansion of 27.0 in k
4.403 * [taylor]: Taking taylor expansion of (* k j) in k
4.403 * [taylor]: Taking taylor expansion of k in k
4.403 * [taylor]: Taking taylor expansion of j in k
4.403 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.403 * [taylor]: Taking taylor expansion of 27.0 in j
4.403 * [taylor]: Taking taylor expansion of (* k j) in j
4.403 * [taylor]: Taking taylor expansion of k in j
4.403 * [taylor]: Taking taylor expansion of j in j
4.404 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.404 * [taylor]: Taking taylor expansion of 27.0 in j
4.404 * [taylor]: Taking taylor expansion of (* k j) in j
4.404 * [taylor]: Taking taylor expansion of k in j
4.404 * [taylor]: Taking taylor expansion of j in j
4.404 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
4.404 * [taylor]: Taking taylor expansion of 27.0 in k
4.404 * [taylor]: Taking taylor expansion of k in k
4.405 * [taylor]: Taking taylor expansion of 0 in k
4.406 * [taylor]: Taking taylor expansion of 0 in k
4.408 * [taylor]: Taking taylor expansion of 0 in k
4.409 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
4.409 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
4.409 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
4.409 * [taylor]: Taking taylor expansion of 18.0 in y
4.409 * [taylor]: Taking taylor expansion of (* x y) in y
4.409 * [taylor]: Taking taylor expansion of x in y
4.409 * [taylor]: Taking taylor expansion of y in y
4.409 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
4.409 * [taylor]: Taking taylor expansion of 18.0 in x
4.409 * [taylor]: Taking taylor expansion of (* x y) in x
4.409 * [taylor]: Taking taylor expansion of x in x
4.409 * [taylor]: Taking taylor expansion of y in x
4.409 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
4.409 * [taylor]: Taking taylor expansion of 18.0 in x
4.409 * [taylor]: Taking taylor expansion of (* x y) in x
4.409 * [taylor]: Taking taylor expansion of x in x
4.409 * [taylor]: Taking taylor expansion of y in x
4.410 * [taylor]: Taking taylor expansion of 0 in y
4.410 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
4.411 * [taylor]: Taking taylor expansion of 18.0 in y
4.411 * [taylor]: Taking taylor expansion of y in y
4.412 * [taylor]: Taking taylor expansion of 0 in y
4.415 * [taylor]: Taking taylor expansion of 0 in y
4.417 * [taylor]: Taking taylor expansion of 0 in y
4.417 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
4.417 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
4.417 * [taylor]: Taking taylor expansion of 18.0 in y
4.418 * [taylor]: Taking taylor expansion of (* x y) in y
4.418 * [taylor]: Taking taylor expansion of x in y
4.418 * [taylor]: Taking taylor expansion of y in y
4.418 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.418 * [taylor]: Taking taylor expansion of 18.0 in x
4.418 * [taylor]: Taking taylor expansion of (* x y) in x
4.418 * [taylor]: Taking taylor expansion of x in x
4.418 * [taylor]: Taking taylor expansion of y in x
4.418 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.418 * [taylor]: Taking taylor expansion of 18.0 in x
4.418 * [taylor]: Taking taylor expansion of (* x y) in x
4.418 * [taylor]: Taking taylor expansion of x in x
4.418 * [taylor]: Taking taylor expansion of y in x
4.419 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
4.419 * [taylor]: Taking taylor expansion of 18.0 in y
4.419 * [taylor]: Taking taylor expansion of y in y
4.420 * [taylor]: Taking taylor expansion of 0 in y
4.421 * [taylor]: Taking taylor expansion of 0 in y
4.426 * [taylor]: Taking taylor expansion of 0 in y
4.427 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
4.427 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
4.427 * [taylor]: Taking taylor expansion of 18.0 in y
4.427 * [taylor]: Taking taylor expansion of (* x y) in y
4.427 * [taylor]: Taking taylor expansion of x in y
4.427 * [taylor]: Taking taylor expansion of y in y
4.428 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.428 * [taylor]: Taking taylor expansion of 18.0 in x
4.428 * [taylor]: Taking taylor expansion of (* x y) in x
4.428 * [taylor]: Taking taylor expansion of x in x
4.428 * [taylor]: Taking taylor expansion of y in x
4.428 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.428 * [taylor]: Taking taylor expansion of 18.0 in x
4.428 * [taylor]: Taking taylor expansion of (* x y) in x
4.428 * [taylor]: Taking taylor expansion of x in x
4.428 * [taylor]: Taking taylor expansion of y in x
4.428 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
4.428 * [taylor]: Taking taylor expansion of 18.0 in y
4.428 * [taylor]: Taking taylor expansion of y in y
4.429 * [taylor]: Taking taylor expansion of 0 in y
4.431 * [taylor]: Taking taylor expansion of 0 in y
4.433 * [taylor]: Taking taylor expansion of 0 in y
4.434 * * * [progress]: simplifying candidates
4.435 * [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))
4.439 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
4.463 * * [simplify]: iteration  1 :  366  enodes  (cost  944 )
4.636 * * [simplify]: iteration  2 :  1796  enodes  (cost  738 )
5.261 * * [simplify]: iteration  done :  5001  enodes  (cost  738 )
5.261 * [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)
5.262 * * * [progress]: adding candidates to table
5.621 * * [progress]: iteration 2 / 4
5.621 * * * [progress]: picking best candidate
5.664 * * * * [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))))>
5.664 * * * [progress]: localizing error
5.689 * * * [progress]: generating rewritten candidates
5.689 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
5.767 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
5.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
5.804 * * * [progress]: generating series expansions
5.804 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.804 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.804 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
5.804 * [taylor]: Taking taylor expansion of 18.0 in t
5.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.804 * [taylor]: Taking taylor expansion of t in t
5.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.804 * [taylor]: Taking taylor expansion of x in t
5.804 * [taylor]: Taking taylor expansion of (* z y) in t
5.804 * [taylor]: Taking taylor expansion of z in t
5.804 * [taylor]: Taking taylor expansion of y in t
5.804 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
5.804 * [taylor]: Taking taylor expansion of 18.0 in z
5.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.804 * [taylor]: Taking taylor expansion of t in z
5.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.804 * [taylor]: Taking taylor expansion of x in z
5.804 * [taylor]: Taking taylor expansion of (* z y) in z
5.804 * [taylor]: Taking taylor expansion of z in z
5.804 * [taylor]: Taking taylor expansion of y in z
5.804 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
5.804 * [taylor]: Taking taylor expansion of 18.0 in y
5.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.804 * [taylor]: Taking taylor expansion of t in y
5.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.804 * [taylor]: Taking taylor expansion of x in y
5.804 * [taylor]: Taking taylor expansion of (* z y) in y
5.804 * [taylor]: Taking taylor expansion of z in y
5.804 * [taylor]: Taking taylor expansion of y in y
5.804 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.804 * [taylor]: Taking taylor expansion of 18.0 in x
5.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.804 * [taylor]: Taking taylor expansion of t in x
5.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.805 * [taylor]: Taking taylor expansion of x in x
5.805 * [taylor]: Taking taylor expansion of (* z y) in x
5.805 * [taylor]: Taking taylor expansion of z in x
5.805 * [taylor]: Taking taylor expansion of y in x
5.805 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.805 * [taylor]: Taking taylor expansion of 18.0 in x
5.805 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.805 * [taylor]: Taking taylor expansion of t in x
5.805 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.805 * [taylor]: Taking taylor expansion of x in x
5.805 * [taylor]: Taking taylor expansion of (* z y) in x
5.805 * [taylor]: Taking taylor expansion of z in x
5.805 * [taylor]: Taking taylor expansion of y in x
5.805 * [taylor]: Taking taylor expansion of 0 in y
5.805 * [taylor]: Taking taylor expansion of 0 in z
5.806 * [taylor]: Taking taylor expansion of 0 in t
5.807 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
5.807 * [taylor]: Taking taylor expansion of 18.0 in y
5.807 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.807 * [taylor]: Taking taylor expansion of t in y
5.807 * [taylor]: Taking taylor expansion of (* z y) in y
5.807 * [taylor]: Taking taylor expansion of z in y
5.807 * [taylor]: Taking taylor expansion of y in y
5.807 * [taylor]: Taking taylor expansion of 0 in z
5.807 * [taylor]: Taking taylor expansion of 0 in t
5.807 * [taylor]: Taking taylor expansion of 0 in z
5.807 * [taylor]: Taking taylor expansion of 0 in t
5.807 * [taylor]: Taking taylor expansion of 0 in t
5.809 * [taylor]: Taking taylor expansion of 0 in y
5.809 * [taylor]: Taking taylor expansion of 0 in z
5.809 * [taylor]: Taking taylor expansion of 0 in t
5.809 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.809 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.809 * [taylor]: Taking taylor expansion of 18.0 in t
5.809 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.809 * [taylor]: Taking taylor expansion of t in t
5.809 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.809 * [taylor]: Taking taylor expansion of x in t
5.809 * [taylor]: Taking taylor expansion of (* z y) in t
5.809 * [taylor]: Taking taylor expansion of z in t
5.809 * [taylor]: Taking taylor expansion of y in t
5.810 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.810 * [taylor]: Taking taylor expansion of 18.0 in z
5.810 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.810 * [taylor]: Taking taylor expansion of t in z
5.810 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.810 * [taylor]: Taking taylor expansion of x in z
5.810 * [taylor]: Taking taylor expansion of (* z y) in z
5.810 * [taylor]: Taking taylor expansion of z in z
5.810 * [taylor]: Taking taylor expansion of y in z
5.811 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.811 * [taylor]: Taking taylor expansion of 18.0 in y
5.811 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.811 * [taylor]: Taking taylor expansion of t in y
5.811 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.811 * [taylor]: Taking taylor expansion of x in y
5.811 * [taylor]: Taking taylor expansion of (* z y) in y
5.811 * [taylor]: Taking taylor expansion of z in y
5.811 * [taylor]: Taking taylor expansion of y in y
5.812 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.813 * [taylor]: Taking taylor expansion of 18.0 in x
5.813 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.813 * [taylor]: Taking taylor expansion of t in x
5.813 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.813 * [taylor]: Taking taylor expansion of x in x
5.813 * [taylor]: Taking taylor expansion of (* z y) in x
5.813 * [taylor]: Taking taylor expansion of z in x
5.813 * [taylor]: Taking taylor expansion of y in x
5.813 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.813 * [taylor]: Taking taylor expansion of 18.0 in x
5.814 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.814 * [taylor]: Taking taylor expansion of t in x
5.814 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.814 * [taylor]: Taking taylor expansion of x in x
5.814 * [taylor]: Taking taylor expansion of (* z y) in x
5.814 * [taylor]: Taking taylor expansion of z in x
5.814 * [taylor]: Taking taylor expansion of y in x
5.814 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.815 * [taylor]: Taking taylor expansion of 18.0 in y
5.815 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.815 * [taylor]: Taking taylor expansion of t in y
5.815 * [taylor]: Taking taylor expansion of (* z y) in y
5.815 * [taylor]: Taking taylor expansion of z in y
5.815 * [taylor]: Taking taylor expansion of y in y
5.815 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.815 * [taylor]: Taking taylor expansion of 18.0 in z
5.815 * [taylor]: Taking taylor expansion of (* t z) in z
5.815 * [taylor]: Taking taylor expansion of t in z
5.815 * [taylor]: Taking taylor expansion of z in z
5.816 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.816 * [taylor]: Taking taylor expansion of 18.0 in t
5.816 * [taylor]: Taking taylor expansion of t in t
5.818 * [taylor]: Taking taylor expansion of 0 in y
5.819 * [taylor]: Taking taylor expansion of 0 in z
5.819 * [taylor]: Taking taylor expansion of 0 in t
5.822 * [taylor]: Taking taylor expansion of 0 in y
5.822 * [taylor]: Taking taylor expansion of 0 in z
5.824 * [taylor]: Taking taylor expansion of 0 in z
5.824 * [taylor]: Taking taylor expansion of 0 in t
5.824 * [taylor]: Taking taylor expansion of 0 in t
5.831 * [taylor]: Taking taylor expansion of 0 in y
5.831 * [taylor]: Taking taylor expansion of 0 in z
5.831 * [taylor]: Taking taylor expansion of 0 in z
5.833 * [taylor]: Taking taylor expansion of 0 in z
5.833 * [taylor]: Taking taylor expansion of 0 in t
5.833 * [taylor]: Taking taylor expansion of 0 in t
5.833 * [taylor]: Taking taylor expansion of 0 in t
5.834 * [taylor]: Taking taylor expansion of 0 in t
5.834 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.834 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.834 * [taylor]: Taking taylor expansion of 18.0 in t
5.834 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.834 * [taylor]: Taking taylor expansion of t in t
5.834 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.834 * [taylor]: Taking taylor expansion of x in t
5.834 * [taylor]: Taking taylor expansion of (* z y) in t
5.834 * [taylor]: Taking taylor expansion of z in t
5.834 * [taylor]: Taking taylor expansion of y in t
5.835 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.835 * [taylor]: Taking taylor expansion of 18.0 in z
5.835 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.835 * [taylor]: Taking taylor expansion of t in z
5.835 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.835 * [taylor]: Taking taylor expansion of x in z
5.835 * [taylor]: Taking taylor expansion of (* z y) in z
5.835 * [taylor]: Taking taylor expansion of z in z
5.835 * [taylor]: Taking taylor expansion of y in z
5.836 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.836 * [taylor]: Taking taylor expansion of 18.0 in y
5.836 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.836 * [taylor]: Taking taylor expansion of t in y
5.836 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.836 * [taylor]: Taking taylor expansion of x in y
5.836 * [taylor]: Taking taylor expansion of (* z y) in y
5.836 * [taylor]: Taking taylor expansion of z in y
5.836 * [taylor]: Taking taylor expansion of y in y
5.837 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.837 * [taylor]: Taking taylor expansion of 18.0 in x
5.837 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.837 * [taylor]: Taking taylor expansion of t in x
5.838 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.838 * [taylor]: Taking taylor expansion of x in x
5.838 * [taylor]: Taking taylor expansion of (* z y) in x
5.838 * [taylor]: Taking taylor expansion of z in x
5.838 * [taylor]: Taking taylor expansion of y in x
5.838 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.838 * [taylor]: Taking taylor expansion of 18.0 in x
5.838 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.838 * [taylor]: Taking taylor expansion of t in x
5.838 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.838 * [taylor]: Taking taylor expansion of x in x
5.839 * [taylor]: Taking taylor expansion of (* z y) in x
5.839 * [taylor]: Taking taylor expansion of z in x
5.839 * [taylor]: Taking taylor expansion of y in x
5.839 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.839 * [taylor]: Taking taylor expansion of 18.0 in y
5.839 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.840 * [taylor]: Taking taylor expansion of t in y
5.840 * [taylor]: Taking taylor expansion of (* z y) in y
5.840 * [taylor]: Taking taylor expansion of z in y
5.840 * [taylor]: Taking taylor expansion of y in y
5.840 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.840 * [taylor]: Taking taylor expansion of 18.0 in z
5.840 * [taylor]: Taking taylor expansion of (* t z) in z
5.840 * [taylor]: Taking taylor expansion of t in z
5.840 * [taylor]: Taking taylor expansion of z in z
5.841 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.841 * [taylor]: Taking taylor expansion of 18.0 in t
5.841 * [taylor]: Taking taylor expansion of t in t
5.842 * [taylor]: Taking taylor expansion of 0 in y
5.843 * [taylor]: Taking taylor expansion of 0 in z
5.844 * [taylor]: Taking taylor expansion of 0 in t
5.847 * [taylor]: Taking taylor expansion of 0 in y
5.847 * [taylor]: Taking taylor expansion of 0 in z
5.848 * [taylor]: Taking taylor expansion of 0 in z
5.848 * [taylor]: Taking taylor expansion of 0 in t
5.849 * [taylor]: Taking taylor expansion of 0 in t
5.852 * [taylor]: Taking taylor expansion of 0 in y
5.853 * [taylor]: Taking taylor expansion of 0 in z
5.853 * [taylor]: Taking taylor expansion of 0 in z
5.854 * [taylor]: Taking taylor expansion of 0 in z
5.854 * [taylor]: Taking taylor expansion of 0 in t
5.854 * [taylor]: Taking taylor expansion of 0 in t
5.854 * [taylor]: Taking taylor expansion of 0 in t
5.855 * [taylor]: Taking taylor expansion of 0 in t
5.855 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
5.856 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
5.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
5.856 * [taylor]: Taking taylor expansion of 18.0 in z
5.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.856 * [taylor]: Taking taylor expansion of x in z
5.856 * [taylor]: Taking taylor expansion of (* z y) in z
5.856 * [taylor]: Taking taylor expansion of z in z
5.856 * [taylor]: Taking taylor expansion of y in z
5.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
5.856 * [taylor]: Taking taylor expansion of 18.0 in y
5.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.856 * [taylor]: Taking taylor expansion of x in y
5.856 * [taylor]: Taking taylor expansion of (* z y) in y
5.856 * [taylor]: Taking taylor expansion of z in y
5.856 * [taylor]: Taking taylor expansion of y in y
5.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.856 * [taylor]: Taking taylor expansion of 18.0 in x
5.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.856 * [taylor]: Taking taylor expansion of x in x
5.856 * [taylor]: Taking taylor expansion of (* z y) in x
5.856 * [taylor]: Taking taylor expansion of z in x
5.856 * [taylor]: Taking taylor expansion of y in x
5.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.856 * [taylor]: Taking taylor expansion of 18.0 in x
5.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.856 * [taylor]: Taking taylor expansion of x in x
5.856 * [taylor]: Taking taylor expansion of (* z y) in x
5.856 * [taylor]: Taking taylor expansion of z in x
5.856 * [taylor]: Taking taylor expansion of y in x
5.857 * [taylor]: Taking taylor expansion of 0 in y
5.857 * [taylor]: Taking taylor expansion of 0 in z
5.857 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
5.857 * [taylor]: Taking taylor expansion of 18.0 in y
5.857 * [taylor]: Taking taylor expansion of (* z y) in y
5.857 * [taylor]: Taking taylor expansion of z in y
5.857 * [taylor]: Taking taylor expansion of y in y
5.858 * [taylor]: Taking taylor expansion of 0 in z
5.858 * [taylor]: Taking taylor expansion of 0 in z
5.859 * [taylor]: Taking taylor expansion of 0 in y
5.859 * [taylor]: Taking taylor expansion of 0 in z
5.860 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
5.860 * [taylor]: Taking taylor expansion of 18.0 in z
5.860 * [taylor]: Taking taylor expansion of z in z
5.860 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
5.860 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
5.860 * [taylor]: Taking taylor expansion of 18.0 in z
5.861 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.861 * [taylor]: Taking taylor expansion of x in z
5.861 * [taylor]: Taking taylor expansion of (* z y) in z
5.861 * [taylor]: Taking taylor expansion of z in z
5.861 * [taylor]: Taking taylor expansion of y in z
5.861 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
5.861 * [taylor]: Taking taylor expansion of 18.0 in y
5.861 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.861 * [taylor]: Taking taylor expansion of x in y
5.861 * [taylor]: Taking taylor expansion of (* z y) in y
5.861 * [taylor]: Taking taylor expansion of z in y
5.861 * [taylor]: Taking taylor expansion of y in y
5.862 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.862 * [taylor]: Taking taylor expansion of 18.0 in x
5.862 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.862 * [taylor]: Taking taylor expansion of x in x
5.862 * [taylor]: Taking taylor expansion of (* z y) in x
5.862 * [taylor]: Taking taylor expansion of z in x
5.862 * [taylor]: Taking taylor expansion of y in x
5.863 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.863 * [taylor]: Taking taylor expansion of 18.0 in x
5.863 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.863 * [taylor]: Taking taylor expansion of x in x
5.863 * [taylor]: Taking taylor expansion of (* z y) in x
5.863 * [taylor]: Taking taylor expansion of z in x
5.863 * [taylor]: Taking taylor expansion of y in x
5.863 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
5.863 * [taylor]: Taking taylor expansion of 18.0 in y
5.863 * [taylor]: Taking taylor expansion of (* z y) in y
5.863 * [taylor]: Taking taylor expansion of z in y
5.863 * [taylor]: Taking taylor expansion of y in y
5.864 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
5.864 * [taylor]: Taking taylor expansion of 18.0 in z
5.864 * [taylor]: Taking taylor expansion of z in z
5.865 * [taylor]: Taking taylor expansion of 0 in y
5.866 * [taylor]: Taking taylor expansion of 0 in z
5.868 * [taylor]: Taking taylor expansion of 0 in y
5.868 * [taylor]: Taking taylor expansion of 0 in z
5.869 * [taylor]: Taking taylor expansion of 0 in z
5.873 * [taylor]: Taking taylor expansion of 0 in y
5.873 * [taylor]: Taking taylor expansion of 0 in z
5.873 * [taylor]: Taking taylor expansion of 0 in z
5.874 * [taylor]: Taking taylor expansion of 0 in z
5.874 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
5.874 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
5.874 * [taylor]: Taking taylor expansion of -18.0 in z
5.874 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.874 * [taylor]: Taking taylor expansion of x in z
5.874 * [taylor]: Taking taylor expansion of (* z y) in z
5.874 * [taylor]: Taking taylor expansion of z in z
5.874 * [taylor]: Taking taylor expansion of y in z
5.875 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
5.875 * [taylor]: Taking taylor expansion of -18.0 in y
5.875 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.875 * [taylor]: Taking taylor expansion of x in y
5.875 * [taylor]: Taking taylor expansion of (* z y) in y
5.875 * [taylor]: Taking taylor expansion of z in y
5.875 * [taylor]: Taking taylor expansion of y in y
5.876 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.876 * [taylor]: Taking taylor expansion of -18.0 in x
5.876 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.876 * [taylor]: Taking taylor expansion of x in x
5.876 * [taylor]: Taking taylor expansion of (* z y) in x
5.876 * [taylor]: Taking taylor expansion of z in x
5.876 * [taylor]: Taking taylor expansion of y in x
5.876 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.876 * [taylor]: Taking taylor expansion of -18.0 in x
5.876 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.876 * [taylor]: Taking taylor expansion of x in x
5.876 * [taylor]: Taking taylor expansion of (* z y) in x
5.876 * [taylor]: Taking taylor expansion of z in x
5.876 * [taylor]: Taking taylor expansion of y in x
5.877 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
5.877 * [taylor]: Taking taylor expansion of -18.0 in y
5.877 * [taylor]: Taking taylor expansion of (* z y) in y
5.877 * [taylor]: Taking taylor expansion of z in y
5.877 * [taylor]: Taking taylor expansion of y in y
5.877 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
5.877 * [taylor]: Taking taylor expansion of -18.0 in z
5.878 * [taylor]: Taking taylor expansion of z in z
5.879 * [taylor]: Taking taylor expansion of 0 in y
5.879 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in y
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.882 * [taylor]: Taking taylor expansion of 0 in z
5.885 * [taylor]: Taking taylor expansion of 0 in y
5.885 * [taylor]: Taking taylor expansion of 0 in z
5.885 * [taylor]: Taking taylor expansion of 0 in z
5.886 * [taylor]: Taking taylor expansion of 0 in z
5.886 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.886 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
5.886 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
5.886 * [taylor]: Taking taylor expansion of 27.0 in k
5.886 * [taylor]: Taking taylor expansion of (* k j) in k
5.886 * [taylor]: Taking taylor expansion of k in k
5.886 * [taylor]: Taking taylor expansion of j in k
5.886 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.886 * [taylor]: Taking taylor expansion of 27.0 in j
5.886 * [taylor]: Taking taylor expansion of (* k j) in j
5.886 * [taylor]: Taking taylor expansion of k in j
5.886 * [taylor]: Taking taylor expansion of j in j
5.886 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.887 * [taylor]: Taking taylor expansion of 27.0 in j
5.887 * [taylor]: Taking taylor expansion of (* k j) in j
5.887 * [taylor]: Taking taylor expansion of k in j
5.887 * [taylor]: Taking taylor expansion of j in j
5.887 * [taylor]: Taking taylor expansion of 0 in k
5.888 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
5.888 * [taylor]: Taking taylor expansion of 27.0 in k
5.888 * [taylor]: Taking taylor expansion of k in k
5.889 * [taylor]: Taking taylor expansion of 0 in k
5.891 * [taylor]: Taking taylor expansion of 0 in k
5.894 * [taylor]: Taking taylor expansion of 0 in k
5.894 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.894 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.894 * [taylor]: Taking taylor expansion of 27.0 in k
5.894 * [taylor]: Taking taylor expansion of (* k j) in k
5.894 * [taylor]: Taking taylor expansion of k in k
5.894 * [taylor]: Taking taylor expansion of j in k
5.894 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.894 * [taylor]: Taking taylor expansion of 27.0 in j
5.894 * [taylor]: Taking taylor expansion of (* k j) in j
5.894 * [taylor]: Taking taylor expansion of k in j
5.895 * [taylor]: Taking taylor expansion of j in j
5.895 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.895 * [taylor]: Taking taylor expansion of 27.0 in j
5.895 * [taylor]: Taking taylor expansion of (* k j) in j
5.895 * [taylor]: Taking taylor expansion of k in j
5.895 * [taylor]: Taking taylor expansion of j in j
5.895 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.895 * [taylor]: Taking taylor expansion of 27.0 in k
5.895 * [taylor]: Taking taylor expansion of k in k
5.896 * [taylor]: Taking taylor expansion of 0 in k
5.897 * [taylor]: Taking taylor expansion of 0 in k
5.899 * [taylor]: Taking taylor expansion of 0 in k
5.900 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.900 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.900 * [taylor]: Taking taylor expansion of 27.0 in k
5.900 * [taylor]: Taking taylor expansion of (* k j) in k
5.900 * [taylor]: Taking taylor expansion of k in k
5.900 * [taylor]: Taking taylor expansion of j in k
5.900 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.900 * [taylor]: Taking taylor expansion of 27.0 in j
5.900 * [taylor]: Taking taylor expansion of (* k j) in j
5.900 * [taylor]: Taking taylor expansion of k in j
5.901 * [taylor]: Taking taylor expansion of j in j
5.901 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.901 * [taylor]: Taking taylor expansion of 27.0 in j
5.901 * [taylor]: Taking taylor expansion of (* k j) in j
5.901 * [taylor]: Taking taylor expansion of k in j
5.901 * [taylor]: Taking taylor expansion of j in j
5.901 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.901 * [taylor]: Taking taylor expansion of 27.0 in k
5.901 * [taylor]: Taking taylor expansion of k in k
5.902 * [taylor]: Taking taylor expansion of 0 in k
5.904 * [taylor]: Taking taylor expansion of 0 in k
5.905 * [taylor]: Taking taylor expansion of 0 in k
5.906 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
5.906 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
5.906 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
5.906 * [taylor]: Taking taylor expansion of 18.0 in y
5.906 * [taylor]: Taking taylor expansion of (* x y) in y
5.906 * [taylor]: Taking taylor expansion of x in y
5.906 * [taylor]: Taking taylor expansion of y in y
5.906 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.906 * [taylor]: Taking taylor expansion of 18.0 in x
5.906 * [taylor]: Taking taylor expansion of (* x y) in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of y in x
5.906 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.906 * [taylor]: Taking taylor expansion of 18.0 in x
5.906 * [taylor]: Taking taylor expansion of (* x y) in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of y in x
5.907 * [taylor]: Taking taylor expansion of 0 in y
5.907 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
5.907 * [taylor]: Taking taylor expansion of 18.0 in y
5.907 * [taylor]: Taking taylor expansion of y in y
5.909 * [taylor]: Taking taylor expansion of 0 in y
5.912 * [taylor]: Taking taylor expansion of 0 in y
5.914 * [taylor]: Taking taylor expansion of 0 in y
5.915 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.915 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.915 * [taylor]: Taking taylor expansion of 18.0 in y
5.915 * [taylor]: Taking taylor expansion of (* x y) in y
5.915 * [taylor]: Taking taylor expansion of x in y
5.915 * [taylor]: Taking taylor expansion of y in y
5.915 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.915 * [taylor]: Taking taylor expansion of 18.0 in x
5.915 * [taylor]: Taking taylor expansion of (* x y) in x
5.915 * [taylor]: Taking taylor expansion of x in x
5.915 * [taylor]: Taking taylor expansion of y in x
5.915 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.916 * [taylor]: Taking taylor expansion of 18.0 in x
5.916 * [taylor]: Taking taylor expansion of (* x y) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.916 * [taylor]: Taking taylor expansion of y in x
5.916 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.916 * [taylor]: Taking taylor expansion of 18.0 in y
5.916 * [taylor]: Taking taylor expansion of y in y
5.917 * [taylor]: Taking taylor expansion of 0 in y
5.919 * [taylor]: Taking taylor expansion of 0 in y
5.920 * [taylor]: Taking taylor expansion of 0 in y
5.922 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.922 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.922 * [taylor]: Taking taylor expansion of 18.0 in y
5.922 * [taylor]: Taking taylor expansion of (* x y) in y
5.922 * [taylor]: Taking taylor expansion of x in y
5.922 * [taylor]: Taking taylor expansion of y in y
5.922 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.922 * [taylor]: Taking taylor expansion of 18.0 in x
5.922 * [taylor]: Taking taylor expansion of (* x y) in x
5.922 * [taylor]: Taking taylor expansion of x in x
5.922 * [taylor]: Taking taylor expansion of y in x
5.923 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.923 * [taylor]: Taking taylor expansion of 18.0 in x
5.923 * [taylor]: Taking taylor expansion of (* x y) in x
5.923 * [taylor]: Taking taylor expansion of x in x
5.923 * [taylor]: Taking taylor expansion of y in x
5.923 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.923 * [taylor]: Taking taylor expansion of 18.0 in y
5.923 * [taylor]: Taking taylor expansion of y in y
5.924 * [taylor]: Taking taylor expansion of 0 in y
5.926 * [taylor]: Taking taylor expansion of 0 in y
5.930 * [taylor]: Taking taylor expansion of 0 in y
5.931 * * * [progress]: simplifying candidates
5.933 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
5.936 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
5.959 * * [simplify]: iteration  1 :  358  enodes  (cost  943 )
6.118 * * [simplify]: iteration  2 :  1711  enodes  (cost  737 )
6.735 * * [simplify]: iteration  done :  5001  enodes  (cost  737 )
6.735 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
6.736 * * * [progress]: adding candidates to table
7.078 * * [progress]: iteration 3 / 4
7.078 * * * [progress]: picking best candidate
7.114 * * * * [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))))>
7.114 * * * [progress]: localizing error
7.142 * * * [progress]: generating rewritten candidates
7.142 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.220 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
7.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.247 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
7.257 * * * [progress]: generating series expansions
7.257 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.257 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.257 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
7.257 * [taylor]: Taking taylor expansion of 18.0 in t
7.257 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.257 * [taylor]: Taking taylor expansion of t in t
7.257 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.257 * [taylor]: Taking taylor expansion of x in t
7.257 * [taylor]: Taking taylor expansion of (* z y) in t
7.257 * [taylor]: Taking taylor expansion of z in t
7.257 * [taylor]: Taking taylor expansion of y in t
7.257 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
7.257 * [taylor]: Taking taylor expansion of 18.0 in z
7.257 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.257 * [taylor]: Taking taylor expansion of t in z
7.257 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.257 * [taylor]: Taking taylor expansion of x in z
7.257 * [taylor]: Taking taylor expansion of (* z y) in z
7.257 * [taylor]: Taking taylor expansion of z in z
7.257 * [taylor]: Taking taylor expansion of y in z
7.257 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
7.257 * [taylor]: Taking taylor expansion of 18.0 in y
7.257 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.257 * [taylor]: Taking taylor expansion of t in y
7.257 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.257 * [taylor]: Taking taylor expansion of x in y
7.257 * [taylor]: Taking taylor expansion of (* z y) in y
7.257 * [taylor]: Taking taylor expansion of z in y
7.257 * [taylor]: Taking taylor expansion of y in y
7.257 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
7.257 * [taylor]: Taking taylor expansion of 18.0 in x
7.257 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.257 * [taylor]: Taking taylor expansion of t in x
7.257 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.258 * [taylor]: Taking taylor expansion of x in x
7.258 * [taylor]: Taking taylor expansion of (* z y) in x
7.258 * [taylor]: Taking taylor expansion of z in x
7.258 * [taylor]: Taking taylor expansion of y in x
7.258 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
7.258 * [taylor]: Taking taylor expansion of 18.0 in x
7.258 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.258 * [taylor]: Taking taylor expansion of t in x
7.258 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.258 * [taylor]: Taking taylor expansion of x in x
7.258 * [taylor]: Taking taylor expansion of (* z y) in x
7.258 * [taylor]: Taking taylor expansion of z in x
7.258 * [taylor]: Taking taylor expansion of y in x
7.258 * [taylor]: Taking taylor expansion of 0 in y
7.258 * [taylor]: Taking taylor expansion of 0 in z
7.258 * [taylor]: Taking taylor expansion of 0 in t
7.260 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
7.260 * [taylor]: Taking taylor expansion of 18.0 in y
7.260 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.260 * [taylor]: Taking taylor expansion of t in y
7.260 * [taylor]: Taking taylor expansion of (* z y) in y
7.260 * [taylor]: Taking taylor expansion of z in y
7.260 * [taylor]: Taking taylor expansion of y in y
7.260 * [taylor]: Taking taylor expansion of 0 in z
7.260 * [taylor]: Taking taylor expansion of 0 in t
7.260 * [taylor]: Taking taylor expansion of 0 in z
7.260 * [taylor]: Taking taylor expansion of 0 in t
7.260 * [taylor]: Taking taylor expansion of 0 in t
7.262 * [taylor]: Taking taylor expansion of 0 in y
7.262 * [taylor]: Taking taylor expansion of 0 in z
7.262 * [taylor]: Taking taylor expansion of 0 in t
7.262 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.262 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
7.263 * [taylor]: Taking taylor expansion of 18.0 in t
7.263 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.263 * [taylor]: Taking taylor expansion of t in t
7.263 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.263 * [taylor]: Taking taylor expansion of x in t
7.263 * [taylor]: Taking taylor expansion of (* z y) in t
7.263 * [taylor]: Taking taylor expansion of z in t
7.263 * [taylor]: Taking taylor expansion of y in t
7.263 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
7.263 * [taylor]: Taking taylor expansion of 18.0 in z
7.263 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.263 * [taylor]: Taking taylor expansion of t in z
7.263 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.263 * [taylor]: Taking taylor expansion of x in z
7.263 * [taylor]: Taking taylor expansion of (* z y) in z
7.264 * [taylor]: Taking taylor expansion of z in z
7.264 * [taylor]: Taking taylor expansion of y in z
7.265 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
7.265 * [taylor]: Taking taylor expansion of 18.0 in y
7.265 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.265 * [taylor]: Taking taylor expansion of t in y
7.265 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.265 * [taylor]: Taking taylor expansion of x in y
7.265 * [taylor]: Taking taylor expansion of (* z y) in y
7.265 * [taylor]: Taking taylor expansion of z in y
7.265 * [taylor]: Taking taylor expansion of y in y
7.266 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.266 * [taylor]: Taking taylor expansion of 18.0 in x
7.266 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.266 * [taylor]: Taking taylor expansion of t in x
7.266 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.266 * [taylor]: Taking taylor expansion of x in x
7.266 * [taylor]: Taking taylor expansion of (* z y) in x
7.266 * [taylor]: Taking taylor expansion of z in x
7.266 * [taylor]: Taking taylor expansion of y in x
7.267 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.267 * [taylor]: Taking taylor expansion of 18.0 in x
7.267 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.267 * [taylor]: Taking taylor expansion of t in x
7.267 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.267 * [taylor]: Taking taylor expansion of x in x
7.267 * [taylor]: Taking taylor expansion of (* z y) in x
7.267 * [taylor]: Taking taylor expansion of z in x
7.267 * [taylor]: Taking taylor expansion of y in x
7.268 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
7.268 * [taylor]: Taking taylor expansion of 18.0 in y
7.268 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.268 * [taylor]: Taking taylor expansion of t in y
7.268 * [taylor]: Taking taylor expansion of (* z y) in y
7.268 * [taylor]: Taking taylor expansion of z in y
7.268 * [taylor]: Taking taylor expansion of y in y
7.269 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
7.269 * [taylor]: Taking taylor expansion of 18.0 in z
7.269 * [taylor]: Taking taylor expansion of (* t z) in z
7.269 * [taylor]: Taking taylor expansion of t in z
7.269 * [taylor]: Taking taylor expansion of z in z
7.269 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
7.269 * [taylor]: Taking taylor expansion of 18.0 in t
7.269 * [taylor]: Taking taylor expansion of t in t
7.271 * [taylor]: Taking taylor expansion of 0 in y
7.272 * [taylor]: Taking taylor expansion of 0 in z
7.273 * [taylor]: Taking taylor expansion of 0 in t
7.275 * [taylor]: Taking taylor expansion of 0 in y
7.275 * [taylor]: Taking taylor expansion of 0 in z
7.277 * [taylor]: Taking taylor expansion of 0 in z
7.277 * [taylor]: Taking taylor expansion of 0 in t
7.277 * [taylor]: Taking taylor expansion of 0 in t
7.281 * [taylor]: Taking taylor expansion of 0 in y
7.281 * [taylor]: Taking taylor expansion of 0 in z
7.281 * [taylor]: Taking taylor expansion of 0 in z
7.283 * [taylor]: Taking taylor expansion of 0 in z
7.283 * [taylor]: Taking taylor expansion of 0 in t
7.283 * [taylor]: Taking taylor expansion of 0 in t
7.283 * [taylor]: Taking taylor expansion of 0 in t
7.284 * [taylor]: Taking taylor expansion of 0 in t
7.285 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
7.285 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
7.285 * [taylor]: Taking taylor expansion of 18.0 in t
7.285 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
7.285 * [taylor]: Taking taylor expansion of t in t
7.285 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
7.285 * [taylor]: Taking taylor expansion of x in t
7.285 * [taylor]: Taking taylor expansion of (* z y) in t
7.285 * [taylor]: Taking taylor expansion of z in t
7.285 * [taylor]: Taking taylor expansion of y in t
7.285 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
7.285 * [taylor]: Taking taylor expansion of 18.0 in z
7.285 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
7.285 * [taylor]: Taking taylor expansion of t in z
7.285 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.285 * [taylor]: Taking taylor expansion of x in z
7.286 * [taylor]: Taking taylor expansion of (* z y) in z
7.286 * [taylor]: Taking taylor expansion of z in z
7.286 * [taylor]: Taking taylor expansion of y in z
7.287 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
7.287 * [taylor]: Taking taylor expansion of 18.0 in y
7.287 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
7.287 * [taylor]: Taking taylor expansion of t in y
7.287 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.287 * [taylor]: Taking taylor expansion of x in y
7.287 * [taylor]: Taking taylor expansion of (* z y) in y
7.287 * [taylor]: Taking taylor expansion of z in y
7.287 * [taylor]: Taking taylor expansion of y in y
7.288 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.288 * [taylor]: Taking taylor expansion of 18.0 in x
7.288 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.288 * [taylor]: Taking taylor expansion of t in x
7.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.288 * [taylor]: Taking taylor expansion of x in x
7.288 * [taylor]: Taking taylor expansion of (* z y) in x
7.288 * [taylor]: Taking taylor expansion of z in x
7.288 * [taylor]: Taking taylor expansion of y in x
7.289 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
7.289 * [taylor]: Taking taylor expansion of 18.0 in x
7.289 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
7.289 * [taylor]: Taking taylor expansion of t in x
7.289 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.289 * [taylor]: Taking taylor expansion of x in x
7.289 * [taylor]: Taking taylor expansion of (* z y) in x
7.289 * [taylor]: Taking taylor expansion of z in x
7.289 * [taylor]: Taking taylor expansion of y in x
7.290 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
7.290 * [taylor]: Taking taylor expansion of 18.0 in y
7.290 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
7.290 * [taylor]: Taking taylor expansion of t in y
7.290 * [taylor]: Taking taylor expansion of (* z y) in y
7.290 * [taylor]: Taking taylor expansion of z in y
7.290 * [taylor]: Taking taylor expansion of y in y
7.291 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
7.291 * [taylor]: Taking taylor expansion of 18.0 in z
7.291 * [taylor]: Taking taylor expansion of (* t z) in z
7.291 * [taylor]: Taking taylor expansion of t in z
7.291 * [taylor]: Taking taylor expansion of z in z
7.291 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
7.291 * [taylor]: Taking taylor expansion of 18.0 in t
7.291 * [taylor]: Taking taylor expansion of t in t
7.293 * [taylor]: Taking taylor expansion of 0 in y
7.294 * [taylor]: Taking taylor expansion of 0 in z
7.295 * [taylor]: Taking taylor expansion of 0 in t
7.297 * [taylor]: Taking taylor expansion of 0 in y
7.297 * [taylor]: Taking taylor expansion of 0 in z
7.302 * [taylor]: Taking taylor expansion of 0 in z
7.302 * [taylor]: Taking taylor expansion of 0 in t
7.303 * [taylor]: Taking taylor expansion of 0 in t
7.306 * [taylor]: Taking taylor expansion of 0 in y
7.307 * [taylor]: Taking taylor expansion of 0 in z
7.307 * [taylor]: Taking taylor expansion of 0 in z
7.308 * [taylor]: Taking taylor expansion of 0 in z
7.308 * [taylor]: Taking taylor expansion of 0 in t
7.308 * [taylor]: Taking taylor expansion of 0 in t
7.308 * [taylor]: Taking taylor expansion of 0 in t
7.309 * [taylor]: Taking taylor expansion of 0 in t
7.310 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
7.310 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
7.310 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
7.310 * [taylor]: Taking taylor expansion of 18.0 in z
7.310 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.310 * [taylor]: Taking taylor expansion of x in z
7.310 * [taylor]: Taking taylor expansion of (* z y) in z
7.310 * [taylor]: Taking taylor expansion of z in z
7.310 * [taylor]: Taking taylor expansion of y in z
7.310 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
7.310 * [taylor]: Taking taylor expansion of 18.0 in y
7.310 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.310 * [taylor]: Taking taylor expansion of x in y
7.310 * [taylor]: Taking taylor expansion of (* z y) in y
7.310 * [taylor]: Taking taylor expansion of z in y
7.310 * [taylor]: Taking taylor expansion of y in y
7.310 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.310 * [taylor]: Taking taylor expansion of 18.0 in x
7.310 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.310 * [taylor]: Taking taylor expansion of x in x
7.310 * [taylor]: Taking taylor expansion of (* z y) in x
7.310 * [taylor]: Taking taylor expansion of z in x
7.310 * [taylor]: Taking taylor expansion of y in x
7.310 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.310 * [taylor]: Taking taylor expansion of 18.0 in x
7.310 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.310 * [taylor]: Taking taylor expansion of x in x
7.310 * [taylor]: Taking taylor expansion of (* z y) in x
7.310 * [taylor]: Taking taylor expansion of z in x
7.310 * [taylor]: Taking taylor expansion of y in x
7.311 * [taylor]: Taking taylor expansion of 0 in y
7.311 * [taylor]: Taking taylor expansion of 0 in z
7.312 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
7.312 * [taylor]: Taking taylor expansion of 18.0 in y
7.312 * [taylor]: Taking taylor expansion of (* z y) in y
7.312 * [taylor]: Taking taylor expansion of z in y
7.312 * [taylor]: Taking taylor expansion of y in y
7.312 * [taylor]: Taking taylor expansion of 0 in z
7.312 * [taylor]: Taking taylor expansion of 0 in z
7.314 * [taylor]: Taking taylor expansion of 0 in y
7.314 * [taylor]: Taking taylor expansion of 0 in z
7.314 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
7.314 * [taylor]: Taking taylor expansion of 18.0 in z
7.314 * [taylor]: Taking taylor expansion of z in z
7.315 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
7.315 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
7.315 * [taylor]: Taking taylor expansion of 18.0 in z
7.315 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.315 * [taylor]: Taking taylor expansion of x in z
7.315 * [taylor]: Taking taylor expansion of (* z y) in z
7.315 * [taylor]: Taking taylor expansion of z in z
7.315 * [taylor]: Taking taylor expansion of y in z
7.316 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
7.316 * [taylor]: Taking taylor expansion of 18.0 in y
7.316 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.316 * [taylor]: Taking taylor expansion of x in y
7.316 * [taylor]: Taking taylor expansion of (* z y) in y
7.316 * [taylor]: Taking taylor expansion of z in y
7.316 * [taylor]: Taking taylor expansion of y in y
7.317 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.317 * [taylor]: Taking taylor expansion of 18.0 in x
7.317 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.317 * [taylor]: Taking taylor expansion of x in x
7.317 * [taylor]: Taking taylor expansion of (* z y) in x
7.317 * [taylor]: Taking taylor expansion of z in x
7.317 * [taylor]: Taking taylor expansion of y in x
7.317 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.317 * [taylor]: Taking taylor expansion of 18.0 in x
7.317 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.317 * [taylor]: Taking taylor expansion of x in x
7.317 * [taylor]: Taking taylor expansion of (* z y) in x
7.317 * [taylor]: Taking taylor expansion of z in x
7.317 * [taylor]: Taking taylor expansion of y in x
7.318 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
7.318 * [taylor]: Taking taylor expansion of 18.0 in y
7.318 * [taylor]: Taking taylor expansion of (* z y) in y
7.318 * [taylor]: Taking taylor expansion of z in y
7.318 * [taylor]: Taking taylor expansion of y in y
7.318 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
7.318 * [taylor]: Taking taylor expansion of 18.0 in z
7.318 * [taylor]: Taking taylor expansion of z in z
7.320 * [taylor]: Taking taylor expansion of 0 in y
7.320 * [taylor]: Taking taylor expansion of 0 in z
7.323 * [taylor]: Taking taylor expansion of 0 in y
7.323 * [taylor]: Taking taylor expansion of 0 in z
7.323 * [taylor]: Taking taylor expansion of 0 in z
7.326 * [taylor]: Taking taylor expansion of 0 in y
7.326 * [taylor]: Taking taylor expansion of 0 in z
7.326 * [taylor]: Taking taylor expansion of 0 in z
7.327 * [taylor]: Taking taylor expansion of 0 in z
7.327 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
7.327 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
7.327 * [taylor]: Taking taylor expansion of -18.0 in z
7.327 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.327 * [taylor]: Taking taylor expansion of x in z
7.327 * [taylor]: Taking taylor expansion of (* z y) in z
7.327 * [taylor]: Taking taylor expansion of z in z
7.328 * [taylor]: Taking taylor expansion of y in z
7.328 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
7.328 * [taylor]: Taking taylor expansion of -18.0 in y
7.328 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.328 * [taylor]: Taking taylor expansion of x in y
7.328 * [taylor]: Taking taylor expansion of (* z y) in y
7.328 * [taylor]: Taking taylor expansion of z in y
7.328 * [taylor]: Taking taylor expansion of y in y
7.329 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.329 * [taylor]: Taking taylor expansion of -18.0 in x
7.329 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.329 * [taylor]: Taking taylor expansion of x in x
7.329 * [taylor]: Taking taylor expansion of (* z y) in x
7.329 * [taylor]: Taking taylor expansion of z in x
7.329 * [taylor]: Taking taylor expansion of y in x
7.330 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.330 * [taylor]: Taking taylor expansion of -18.0 in x
7.330 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.330 * [taylor]: Taking taylor expansion of x in x
7.330 * [taylor]: Taking taylor expansion of (* z y) in x
7.330 * [taylor]: Taking taylor expansion of z in x
7.330 * [taylor]: Taking taylor expansion of y in x
7.330 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
7.330 * [taylor]: Taking taylor expansion of -18.0 in y
7.330 * [taylor]: Taking taylor expansion of (* z y) in y
7.330 * [taylor]: Taking taylor expansion of z in y
7.330 * [taylor]: Taking taylor expansion of y in y
7.331 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
7.331 * [taylor]: Taking taylor expansion of -18.0 in z
7.331 * [taylor]: Taking taylor expansion of z in z
7.333 * [taylor]: Taking taylor expansion of 0 in y
7.333 * [taylor]: Taking taylor expansion of 0 in z
7.335 * [taylor]: Taking taylor expansion of 0 in y
7.335 * [taylor]: Taking taylor expansion of 0 in z
7.336 * [taylor]: Taking taylor expansion of 0 in z
7.339 * [taylor]: Taking taylor expansion of 0 in y
7.339 * [taylor]: Taking taylor expansion of 0 in z
7.339 * [taylor]: Taking taylor expansion of 0 in z
7.340 * [taylor]: Taking taylor expansion of 0 in z
7.340 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.340 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
7.340 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
7.340 * [taylor]: Taking taylor expansion of 27.0 in j
7.340 * [taylor]: Taking taylor expansion of (* k j) in j
7.340 * [taylor]: Taking taylor expansion of k in j
7.340 * [taylor]: Taking taylor expansion of j in j
7.340 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.340 * [taylor]: Taking taylor expansion of 27.0 in k
7.340 * [taylor]: Taking taylor expansion of (* k j) in k
7.340 * [taylor]: Taking taylor expansion of k in k
7.340 * [taylor]: Taking taylor expansion of j in k
7.340 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.340 * [taylor]: Taking taylor expansion of 27.0 in k
7.340 * [taylor]: Taking taylor expansion of (* k j) in k
7.340 * [taylor]: Taking taylor expansion of k in k
7.340 * [taylor]: Taking taylor expansion of j in k
7.341 * [taylor]: Taking taylor expansion of 0 in j
7.342 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
7.342 * [taylor]: Taking taylor expansion of 27.0 in j
7.342 * [taylor]: Taking taylor expansion of j in j
7.343 * [taylor]: Taking taylor expansion of 0 in j
7.346 * [taylor]: Taking taylor expansion of 0 in j
7.348 * [taylor]: Taking taylor expansion of 0 in j
7.349 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
7.349 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.349 * [taylor]: Taking taylor expansion of 27.0 in j
7.349 * [taylor]: Taking taylor expansion of (* k j) in j
7.349 * [taylor]: Taking taylor expansion of k in j
7.349 * [taylor]: Taking taylor expansion of j in j
7.349 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.349 * [taylor]: Taking taylor expansion of 27.0 in k
7.349 * [taylor]: Taking taylor expansion of (* k j) in k
7.349 * [taylor]: Taking taylor expansion of k in k
7.349 * [taylor]: Taking taylor expansion of j in k
7.350 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.350 * [taylor]: Taking taylor expansion of 27.0 in k
7.350 * [taylor]: Taking taylor expansion of (* k j) in k
7.350 * [taylor]: Taking taylor expansion of k in k
7.350 * [taylor]: Taking taylor expansion of j in k
7.350 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
7.350 * [taylor]: Taking taylor expansion of 27.0 in j
7.350 * [taylor]: Taking taylor expansion of j in j
7.351 * [taylor]: Taking taylor expansion of 0 in j
7.353 * [taylor]: Taking taylor expansion of 0 in j
7.355 * [taylor]: Taking taylor expansion of 0 in j
7.356 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
7.356 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.356 * [taylor]: Taking taylor expansion of 27.0 in j
7.356 * [taylor]: Taking taylor expansion of (* k j) in j
7.356 * [taylor]: Taking taylor expansion of k in j
7.356 * [taylor]: Taking taylor expansion of j in j
7.356 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.356 * [taylor]: Taking taylor expansion of 27.0 in k
7.356 * [taylor]: Taking taylor expansion of (* k j) in k
7.356 * [taylor]: Taking taylor expansion of k in k
7.356 * [taylor]: Taking taylor expansion of j in k
7.357 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.357 * [taylor]: Taking taylor expansion of 27.0 in k
7.357 * [taylor]: Taking taylor expansion of (* k j) in k
7.357 * [taylor]: Taking taylor expansion of k in k
7.357 * [taylor]: Taking taylor expansion of j in k
7.357 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
7.357 * [taylor]: Taking taylor expansion of 27.0 in j
7.357 * [taylor]: Taking taylor expansion of j in j
7.358 * [taylor]: Taking taylor expansion of 0 in j
7.360 * [taylor]: Taking taylor expansion of 0 in j
7.362 * [taylor]: Taking taylor expansion of 0 in j
7.363 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
7.363 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
7.363 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
7.363 * [taylor]: Taking taylor expansion of 18.0 in y
7.363 * [taylor]: Taking taylor expansion of (* x y) in y
7.363 * [taylor]: Taking taylor expansion of x in y
7.363 * [taylor]: Taking taylor expansion of y in y
7.363 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.363 * [taylor]: Taking taylor expansion of 18.0 in x
7.363 * [taylor]: Taking taylor expansion of (* x y) in x
7.363 * [taylor]: Taking taylor expansion of x in x
7.363 * [taylor]: Taking taylor expansion of y in x
7.363 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.363 * [taylor]: Taking taylor expansion of 18.0 in x
7.363 * [taylor]: Taking taylor expansion of (* x y) in x
7.363 * [taylor]: Taking taylor expansion of x in x
7.363 * [taylor]: Taking taylor expansion of y in x
7.363 * [taylor]: Taking taylor expansion of 0 in y
7.364 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
7.364 * [taylor]: Taking taylor expansion of 18.0 in y
7.364 * [taylor]: Taking taylor expansion of y in y
7.365 * [taylor]: Taking taylor expansion of 0 in y
7.368 * [taylor]: Taking taylor expansion of 0 in y
7.371 * [taylor]: Taking taylor expansion of 0 in y
7.371 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.371 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.371 * [taylor]: Taking taylor expansion of 18.0 in y
7.371 * [taylor]: Taking taylor expansion of (* x y) in y
7.371 * [taylor]: Taking taylor expansion of x in y
7.371 * [taylor]: Taking taylor expansion of y in y
7.372 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.372 * [taylor]: Taking taylor expansion of 18.0 in x
7.372 * [taylor]: Taking taylor expansion of (* x y) in x
7.372 * [taylor]: Taking taylor expansion of x in x
7.372 * [taylor]: Taking taylor expansion of y in x
7.372 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.372 * [taylor]: Taking taylor expansion of 18.0 in x
7.372 * [taylor]: Taking taylor expansion of (* x y) in x
7.372 * [taylor]: Taking taylor expansion of x in x
7.372 * [taylor]: Taking taylor expansion of y in x
7.373 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.373 * [taylor]: Taking taylor expansion of 18.0 in y
7.373 * [taylor]: Taking taylor expansion of y in y
7.374 * [taylor]: Taking taylor expansion of 0 in y
7.375 * [taylor]: Taking taylor expansion of 0 in y
7.377 * [taylor]: Taking taylor expansion of 0 in y
7.378 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.378 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.378 * [taylor]: Taking taylor expansion of 18.0 in y
7.378 * [taylor]: Taking taylor expansion of (* x y) in y
7.378 * [taylor]: Taking taylor expansion of x in y
7.378 * [taylor]: Taking taylor expansion of y in y
7.379 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.379 * [taylor]: Taking taylor expansion of 18.0 in x
7.379 * [taylor]: Taking taylor expansion of (* x y) in x
7.379 * [taylor]: Taking taylor expansion of x in x
7.379 * [taylor]: Taking taylor expansion of y in x
7.379 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.379 * [taylor]: Taking taylor expansion of 18.0 in x
7.379 * [taylor]: Taking taylor expansion of (* x y) in x
7.379 * [taylor]: Taking taylor expansion of x in x
7.379 * [taylor]: Taking taylor expansion of y in x
7.379 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.380 * [taylor]: Taking taylor expansion of 18.0 in y
7.380 * [taylor]: Taking taylor expansion of y in y
7.380 * [taylor]: Taking taylor expansion of 0 in y
7.382 * [taylor]: Taking taylor expansion of 0 in y
7.384 * [taylor]: Taking taylor expansion of 0 in y
7.385 * * * [progress]: simplifying candidates
7.386 * [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))
7.390 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
7.417 * * [simplify]: iteration  1 :  354  enodes  (cost  943 )
7.573 * * [simplify]: iteration  2 :  1700  enodes  (cost  737 )
8.154 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
8.154 * [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)
  (* y z)
  (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)
8.155 * * * [progress]: adding candidates to table
8.503 * * [progress]: iteration 4 / 4
8.504 * * * [progress]: picking best candidate
8.544 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))>
8.544 * * * [progress]: localizing error
8.573 * * * [progress]: generating rewritten candidates
8.573 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.653 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.675 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
8.682 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
8.709 * * * [progress]: generating series expansions
8.709 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.709 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.709 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.709 * [taylor]: Taking taylor expansion of 18.0 in t
8.709 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.709 * [taylor]: Taking taylor expansion of t in t
8.709 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.709 * [taylor]: Taking taylor expansion of x in t
8.709 * [taylor]: Taking taylor expansion of (* z y) in t
8.709 * [taylor]: Taking taylor expansion of z in t
8.709 * [taylor]: Taking taylor expansion of y in t
8.709 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.709 * [taylor]: Taking taylor expansion of 18.0 in z
8.709 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.709 * [taylor]: Taking taylor expansion of t in z
8.709 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.709 * [taylor]: Taking taylor expansion of x in z
8.709 * [taylor]: Taking taylor expansion of (* z y) in z
8.709 * [taylor]: Taking taylor expansion of z in z
8.709 * [taylor]: Taking taylor expansion of y in z
8.709 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.709 * [taylor]: Taking taylor expansion of 18.0 in y
8.709 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.709 * [taylor]: Taking taylor expansion of t in y
8.709 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.709 * [taylor]: Taking taylor expansion of x in y
8.709 * [taylor]: Taking taylor expansion of (* z y) in y
8.710 * [taylor]: Taking taylor expansion of z in y
8.710 * [taylor]: Taking taylor expansion of y in y
8.710 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.710 * [taylor]: Taking taylor expansion of 18.0 in x
8.710 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.710 * [taylor]: Taking taylor expansion of t in x
8.710 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.710 * [taylor]: Taking taylor expansion of x in x
8.710 * [taylor]: Taking taylor expansion of (* z y) in x
8.710 * [taylor]: Taking taylor expansion of z in x
8.710 * [taylor]: Taking taylor expansion of y in x
8.710 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.710 * [taylor]: Taking taylor expansion of 18.0 in x
8.710 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.710 * [taylor]: Taking taylor expansion of t in x
8.710 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.710 * [taylor]: Taking taylor expansion of x in x
8.710 * [taylor]: Taking taylor expansion of (* z y) in x
8.710 * [taylor]: Taking taylor expansion of z in x
8.710 * [taylor]: Taking taylor expansion of y in x
8.711 * [taylor]: Taking taylor expansion of 0 in y
8.711 * [taylor]: Taking taylor expansion of 0 in z
8.711 * [taylor]: Taking taylor expansion of 0 in t
8.712 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.712 * [taylor]: Taking taylor expansion of 18.0 in y
8.712 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.712 * [taylor]: Taking taylor expansion of t in y
8.712 * [taylor]: Taking taylor expansion of (* z y) in y
8.712 * [taylor]: Taking taylor expansion of z in y
8.712 * [taylor]: Taking taylor expansion of y in y
8.712 * [taylor]: Taking taylor expansion of 0 in z
8.712 * [taylor]: Taking taylor expansion of 0 in t
8.712 * [taylor]: Taking taylor expansion of 0 in z
8.712 * [taylor]: Taking taylor expansion of 0 in t
8.712 * [taylor]: Taking taylor expansion of 0 in t
8.714 * [taylor]: Taking taylor expansion of 0 in y
8.714 * [taylor]: Taking taylor expansion of 0 in z
8.714 * [taylor]: Taking taylor expansion of 0 in t
8.714 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.715 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.715 * [taylor]: Taking taylor expansion of 18.0 in t
8.715 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.715 * [taylor]: Taking taylor expansion of t in t
8.715 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.715 * [taylor]: Taking taylor expansion of x in t
8.715 * [taylor]: Taking taylor expansion of (* z y) in t
8.715 * [taylor]: Taking taylor expansion of z in t
8.715 * [taylor]: Taking taylor expansion of y in t
8.715 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.715 * [taylor]: Taking taylor expansion of 18.0 in z
8.715 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.715 * [taylor]: Taking taylor expansion of t in z
8.715 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.715 * [taylor]: Taking taylor expansion of x in z
8.715 * [taylor]: Taking taylor expansion of (* z y) in z
8.715 * [taylor]: Taking taylor expansion of z in z
8.715 * [taylor]: Taking taylor expansion of y in z
8.717 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.717 * [taylor]: Taking taylor expansion of 18.0 in y
8.717 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.717 * [taylor]: Taking taylor expansion of t in y
8.717 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.717 * [taylor]: Taking taylor expansion of x in y
8.717 * [taylor]: Taking taylor expansion of (* z y) in y
8.717 * [taylor]: Taking taylor expansion of z in y
8.717 * [taylor]: Taking taylor expansion of y in y
8.718 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.718 * [taylor]: Taking taylor expansion of 18.0 in x
8.718 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.718 * [taylor]: Taking taylor expansion of t in x
8.718 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.718 * [taylor]: Taking taylor expansion of x in x
8.718 * [taylor]: Taking taylor expansion of (* z y) in x
8.718 * [taylor]: Taking taylor expansion of z in x
8.718 * [taylor]: Taking taylor expansion of y in x
8.719 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.719 * [taylor]: Taking taylor expansion of 18.0 in x
8.719 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.719 * [taylor]: Taking taylor expansion of t in x
8.719 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.719 * [taylor]: Taking taylor expansion of x in x
8.719 * [taylor]: Taking taylor expansion of (* z y) in x
8.719 * [taylor]: Taking taylor expansion of z in x
8.719 * [taylor]: Taking taylor expansion of y in x
8.720 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.720 * [taylor]: Taking taylor expansion of 18.0 in y
8.720 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.720 * [taylor]: Taking taylor expansion of t in y
8.720 * [taylor]: Taking taylor expansion of (* z y) in y
8.720 * [taylor]: Taking taylor expansion of z in y
8.720 * [taylor]: Taking taylor expansion of y in y
8.721 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.721 * [taylor]: Taking taylor expansion of 18.0 in z
8.721 * [taylor]: Taking taylor expansion of (* t z) in z
8.721 * [taylor]: Taking taylor expansion of t in z
8.721 * [taylor]: Taking taylor expansion of z in z
8.721 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.721 * [taylor]: Taking taylor expansion of 18.0 in t
8.721 * [taylor]: Taking taylor expansion of t in t
8.723 * [taylor]: Taking taylor expansion of 0 in y
8.724 * [taylor]: Taking taylor expansion of 0 in z
8.724 * [taylor]: Taking taylor expansion of 0 in t
8.727 * [taylor]: Taking taylor expansion of 0 in y
8.727 * [taylor]: Taking taylor expansion of 0 in z
8.729 * [taylor]: Taking taylor expansion of 0 in z
8.729 * [taylor]: Taking taylor expansion of 0 in t
8.729 * [taylor]: Taking taylor expansion of 0 in t
8.733 * [taylor]: Taking taylor expansion of 0 in y
8.733 * [taylor]: Taking taylor expansion of 0 in z
8.733 * [taylor]: Taking taylor expansion of 0 in z
8.735 * [taylor]: Taking taylor expansion of 0 in z
8.735 * [taylor]: Taking taylor expansion of 0 in t
8.735 * [taylor]: Taking taylor expansion of 0 in t
8.735 * [taylor]: Taking taylor expansion of 0 in t
8.736 * [taylor]: Taking taylor expansion of 0 in t
8.736 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.736 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.736 * [taylor]: Taking taylor expansion of 18.0 in t
8.736 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.736 * [taylor]: Taking taylor expansion of t in t
8.736 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.736 * [taylor]: Taking taylor expansion of x in t
8.736 * [taylor]: Taking taylor expansion of (* z y) in t
8.736 * [taylor]: Taking taylor expansion of z in t
8.736 * [taylor]: Taking taylor expansion of y in t
8.737 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.737 * [taylor]: Taking taylor expansion of 18.0 in z
8.737 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.737 * [taylor]: Taking taylor expansion of t in z
8.737 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.737 * [taylor]: Taking taylor expansion of x in z
8.737 * [taylor]: Taking taylor expansion of (* z y) in z
8.737 * [taylor]: Taking taylor expansion of z in z
8.737 * [taylor]: Taking taylor expansion of y in z
8.738 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.738 * [taylor]: Taking taylor expansion of 18.0 in y
8.738 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.738 * [taylor]: Taking taylor expansion of t in y
8.738 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.738 * [taylor]: Taking taylor expansion of x in y
8.738 * [taylor]: Taking taylor expansion of (* z y) in y
8.738 * [taylor]: Taking taylor expansion of z in y
8.738 * [taylor]: Taking taylor expansion of y in y
8.739 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.740 * [taylor]: Taking taylor expansion of 18.0 in x
8.740 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.740 * [taylor]: Taking taylor expansion of t in x
8.740 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.740 * [taylor]: Taking taylor expansion of x in x
8.740 * [taylor]: Taking taylor expansion of (* z y) in x
8.740 * [taylor]: Taking taylor expansion of z in x
8.740 * [taylor]: Taking taylor expansion of y in x
8.741 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.741 * [taylor]: Taking taylor expansion of 18.0 in x
8.741 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.741 * [taylor]: Taking taylor expansion of t in x
8.741 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.741 * [taylor]: Taking taylor expansion of x in x
8.741 * [taylor]: Taking taylor expansion of (* z y) in x
8.741 * [taylor]: Taking taylor expansion of z in x
8.741 * [taylor]: Taking taylor expansion of y in x
8.742 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.742 * [taylor]: Taking taylor expansion of 18.0 in y
8.742 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.742 * [taylor]: Taking taylor expansion of t in y
8.742 * [taylor]: Taking taylor expansion of (* z y) in y
8.742 * [taylor]: Taking taylor expansion of z in y
8.742 * [taylor]: Taking taylor expansion of y in y
8.743 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.743 * [taylor]: Taking taylor expansion of 18.0 in z
8.743 * [taylor]: Taking taylor expansion of (* t z) in z
8.743 * [taylor]: Taking taylor expansion of t in z
8.743 * [taylor]: Taking taylor expansion of z in z
8.743 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.743 * [taylor]: Taking taylor expansion of 18.0 in t
8.743 * [taylor]: Taking taylor expansion of t in t
8.745 * [taylor]: Taking taylor expansion of 0 in y
8.747 * [taylor]: Taking taylor expansion of 0 in z
8.747 * [taylor]: Taking taylor expansion of 0 in t
8.750 * [taylor]: Taking taylor expansion of 0 in y
8.750 * [taylor]: Taking taylor expansion of 0 in z
8.751 * [taylor]: Taking taylor expansion of 0 in z
8.751 * [taylor]: Taking taylor expansion of 0 in t
8.752 * [taylor]: Taking taylor expansion of 0 in t
8.756 * [taylor]: Taking taylor expansion of 0 in y
8.756 * [taylor]: Taking taylor expansion of 0 in z
8.756 * [taylor]: Taking taylor expansion of 0 in z
8.757 * [taylor]: Taking taylor expansion of 0 in z
8.757 * [taylor]: Taking taylor expansion of 0 in t
8.758 * [taylor]: Taking taylor expansion of 0 in t
8.758 * [taylor]: Taking taylor expansion of 0 in t
8.758 * [taylor]: Taking taylor expansion of 0 in t
8.759 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.759 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.759 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.759 * [taylor]: Taking taylor expansion of 18.0 in z
8.759 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.759 * [taylor]: Taking taylor expansion of x in z
8.759 * [taylor]: Taking taylor expansion of (* z y) in z
8.759 * [taylor]: Taking taylor expansion of z in z
8.759 * [taylor]: Taking taylor expansion of y in z
8.759 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.759 * [taylor]: Taking taylor expansion of 18.0 in y
8.759 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.759 * [taylor]: Taking taylor expansion of x in y
8.759 * [taylor]: Taking taylor expansion of (* z y) in y
8.759 * [taylor]: Taking taylor expansion of z in y
8.759 * [taylor]: Taking taylor expansion of y in y
8.759 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.759 * [taylor]: Taking taylor expansion of 18.0 in x
8.759 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.759 * [taylor]: Taking taylor expansion of x in x
8.759 * [taylor]: Taking taylor expansion of (* z y) in x
8.759 * [taylor]: Taking taylor expansion of z in x
8.759 * [taylor]: Taking taylor expansion of y in x
8.759 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.759 * [taylor]: Taking taylor expansion of 18.0 in x
8.759 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.759 * [taylor]: Taking taylor expansion of x in x
8.759 * [taylor]: Taking taylor expansion of (* z y) in x
8.759 * [taylor]: Taking taylor expansion of z in x
8.759 * [taylor]: Taking taylor expansion of y in x
8.760 * [taylor]: Taking taylor expansion of 0 in y
8.760 * [taylor]: Taking taylor expansion of 0 in z
8.761 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.761 * [taylor]: Taking taylor expansion of 18.0 in y
8.761 * [taylor]: Taking taylor expansion of (* z y) in y
8.761 * [taylor]: Taking taylor expansion of z in y
8.761 * [taylor]: Taking taylor expansion of y in y
8.761 * [taylor]: Taking taylor expansion of 0 in z
8.761 * [taylor]: Taking taylor expansion of 0 in z
8.763 * [taylor]: Taking taylor expansion of 0 in y
8.763 * [taylor]: Taking taylor expansion of 0 in z
8.763 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.763 * [taylor]: Taking taylor expansion of 18.0 in z
8.763 * [taylor]: Taking taylor expansion of z in z
8.764 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.764 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.764 * [taylor]: Taking taylor expansion of 18.0 in z
8.764 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.764 * [taylor]: Taking taylor expansion of x in z
8.764 * [taylor]: Taking taylor expansion of (* z y) in z
8.764 * [taylor]: Taking taylor expansion of z in z
8.764 * [taylor]: Taking taylor expansion of y in z
8.765 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.765 * [taylor]: Taking taylor expansion of 18.0 in y
8.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.765 * [taylor]: Taking taylor expansion of x in y
8.765 * [taylor]: Taking taylor expansion of (* z y) in y
8.765 * [taylor]: Taking taylor expansion of z in y
8.765 * [taylor]: Taking taylor expansion of y in y
8.765 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.765 * [taylor]: Taking taylor expansion of 18.0 in x
8.765 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.765 * [taylor]: Taking taylor expansion of x in x
8.765 * [taylor]: Taking taylor expansion of (* z y) in x
8.765 * [taylor]: Taking taylor expansion of z in x
8.765 * [taylor]: Taking taylor expansion of y in x
8.766 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.766 * [taylor]: Taking taylor expansion of 18.0 in x
8.766 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.766 * [taylor]: Taking taylor expansion of x in x
8.766 * [taylor]: Taking taylor expansion of (* z y) in x
8.766 * [taylor]: Taking taylor expansion of z in x
8.766 * [taylor]: Taking taylor expansion of y in x
8.767 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.767 * [taylor]: Taking taylor expansion of 18.0 in y
8.767 * [taylor]: Taking taylor expansion of (* z y) in y
8.767 * [taylor]: Taking taylor expansion of z in y
8.767 * [taylor]: Taking taylor expansion of y in y
8.767 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.767 * [taylor]: Taking taylor expansion of 18.0 in z
8.767 * [taylor]: Taking taylor expansion of z in z
8.768 * [taylor]: Taking taylor expansion of 0 in y
8.769 * [taylor]: Taking taylor expansion of 0 in z
8.771 * [taylor]: Taking taylor expansion of 0 in y
8.771 * [taylor]: Taking taylor expansion of 0 in z
8.772 * [taylor]: Taking taylor expansion of 0 in z
8.775 * [taylor]: Taking taylor expansion of 0 in y
8.775 * [taylor]: Taking taylor expansion of 0 in z
8.775 * [taylor]: Taking taylor expansion of 0 in z
8.776 * [taylor]: Taking taylor expansion of 0 in z
8.776 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.776 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.776 * [taylor]: Taking taylor expansion of -18.0 in z
8.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.776 * [taylor]: Taking taylor expansion of x in z
8.776 * [taylor]: Taking taylor expansion of (* z y) in z
8.776 * [taylor]: Taking taylor expansion of z in z
8.776 * [taylor]: Taking taylor expansion of y in z
8.777 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.777 * [taylor]: Taking taylor expansion of -18.0 in y
8.777 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.777 * [taylor]: Taking taylor expansion of x in y
8.777 * [taylor]: Taking taylor expansion of (* z y) in y
8.777 * [taylor]: Taking taylor expansion of z in y
8.777 * [taylor]: Taking taylor expansion of y in y
8.778 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.778 * [taylor]: Taking taylor expansion of -18.0 in x
8.778 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.778 * [taylor]: Taking taylor expansion of x in x
8.778 * [taylor]: Taking taylor expansion of (* z y) in x
8.778 * [taylor]: Taking taylor expansion of z in x
8.778 * [taylor]: Taking taylor expansion of y in x
8.778 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.778 * [taylor]: Taking taylor expansion of -18.0 in x
8.778 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.778 * [taylor]: Taking taylor expansion of x in x
8.778 * [taylor]: Taking taylor expansion of (* z y) in x
8.778 * [taylor]: Taking taylor expansion of z in x
8.778 * [taylor]: Taking taylor expansion of y in x
8.779 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.779 * [taylor]: Taking taylor expansion of -18.0 in y
8.779 * [taylor]: Taking taylor expansion of (* z y) in y
8.779 * [taylor]: Taking taylor expansion of z in y
8.779 * [taylor]: Taking taylor expansion of y in y
8.779 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.779 * [taylor]: Taking taylor expansion of -18.0 in z
8.779 * [taylor]: Taking taylor expansion of z in z
8.781 * [taylor]: Taking taylor expansion of 0 in y
8.781 * [taylor]: Taking taylor expansion of 0 in z
8.784 * [taylor]: Taking taylor expansion of 0 in y
8.784 * [taylor]: Taking taylor expansion of 0 in z
8.784 * [taylor]: Taking taylor expansion of 0 in z
8.787 * [taylor]: Taking taylor expansion of 0 in y
8.787 * [taylor]: Taking taylor expansion of 0 in z
8.787 * [taylor]: Taking taylor expansion of 0 in z
8.791 * [taylor]: Taking taylor expansion of 0 in z
8.792 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
8.792 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
8.792 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
8.792 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.792 * [taylor]: Taking taylor expansion of 27.0 in j
8.793 * [taylor]: Taking taylor expansion of (* j k) in j
8.793 * [taylor]: Taking taylor expansion of j in j
8.793 * [taylor]: Taking taylor expansion of k in j
8.793 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.793 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.793 * [taylor]: Taking taylor expansion of 27.0 in k
8.794 * [taylor]: Taking taylor expansion of (* j k) in k
8.794 * [taylor]: Taking taylor expansion of j in k
8.794 * [taylor]: Taking taylor expansion of k in k
8.794 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.794 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.794 * [taylor]: Taking taylor expansion of 27.0 in k
8.795 * [taylor]: Taking taylor expansion of (* j k) in k
8.795 * [taylor]: Taking taylor expansion of j in k
8.795 * [taylor]: Taking taylor expansion of k in k
8.796 * [taylor]: Taking taylor expansion of 0 in j
8.796 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
8.797 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.797 * [taylor]: Taking taylor expansion of 27.0 in j
8.797 * [taylor]: Taking taylor expansion of j in j
8.799 * [taylor]: Taking taylor expansion of 0 in j
8.804 * [taylor]: Taking taylor expansion of 0 in j
8.808 * [taylor]: Taking taylor expansion of 0 in j
8.809 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.809 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.809 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.809 * [taylor]: Taking taylor expansion of 27.0 in j
8.809 * [taylor]: Taking taylor expansion of (* j k) in j
8.810 * [taylor]: Taking taylor expansion of j in j
8.810 * [taylor]: Taking taylor expansion of k in j
8.810 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.810 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.810 * [taylor]: Taking taylor expansion of 27.0 in k
8.811 * [taylor]: Taking taylor expansion of (* j k) in k
8.811 * [taylor]: Taking taylor expansion of j in k
8.811 * [taylor]: Taking taylor expansion of k in k
8.812 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.812 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.812 * [taylor]: Taking taylor expansion of 27.0 in k
8.812 * [taylor]: Taking taylor expansion of (* j k) in k
8.813 * [taylor]: Taking taylor expansion of j in k
8.813 * [taylor]: Taking taylor expansion of k in k
8.813 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.813 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.813 * [taylor]: Taking taylor expansion of 27.0 in j
8.814 * [taylor]: Taking taylor expansion of j in j
8.816 * [taylor]: Taking taylor expansion of 0 in j
8.818 * [taylor]: Taking taylor expansion of 0 in j
8.821 * [taylor]: Taking taylor expansion of 0 in j
8.824 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.824 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.824 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.824 * [taylor]: Taking taylor expansion of 27.0 in j
8.825 * [taylor]: Taking taylor expansion of (* j k) in j
8.825 * [taylor]: Taking taylor expansion of j in j
8.825 * [taylor]: Taking taylor expansion of k in j
8.825 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.826 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.826 * [taylor]: Taking taylor expansion of 27.0 in k
8.826 * [taylor]: Taking taylor expansion of (* j k) in k
8.826 * [taylor]: Taking taylor expansion of j in k
8.826 * [taylor]: Taking taylor expansion of k in k
8.827 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.827 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.827 * [taylor]: Taking taylor expansion of 27.0 in k
8.828 * [taylor]: Taking taylor expansion of (* j k) in k
8.828 * [taylor]: Taking taylor expansion of j in k
8.828 * [taylor]: Taking taylor expansion of k in k
8.829 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.829 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.829 * [taylor]: Taking taylor expansion of 27.0 in j
8.829 * [taylor]: Taking taylor expansion of j in j
8.831 * [taylor]: Taking taylor expansion of 0 in j
8.833 * [taylor]: Taking taylor expansion of 0 in j
8.837 * [taylor]: Taking taylor expansion of 0 in j
8.839 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
8.840 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.840 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
8.840 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.840 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.840 * [taylor]: Taking taylor expansion of 27.0 in j
8.841 * [taylor]: Taking taylor expansion of (* k j) in j
8.841 * [taylor]: Taking taylor expansion of k in j
8.841 * [taylor]: Taking taylor expansion of j in j
8.841 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.841 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.841 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.841 * [taylor]: Taking taylor expansion of 27.0 in k
8.842 * [taylor]: Taking taylor expansion of (* k j) in k
8.842 * [taylor]: Taking taylor expansion of k in k
8.842 * [taylor]: Taking taylor expansion of j in k
8.842 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.842 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.842 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.842 * [taylor]: Taking taylor expansion of 27.0 in k
8.843 * [taylor]: Taking taylor expansion of (* k j) in k
8.843 * [taylor]: Taking taylor expansion of k in k
8.843 * [taylor]: Taking taylor expansion of j in k
8.844 * [taylor]: Taking taylor expansion of 0 in j
8.846 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
8.846 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.846 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.846 * [taylor]: Taking taylor expansion of 27.0 in j
8.847 * [taylor]: Taking taylor expansion of j in j
8.851 * [taylor]: Taking taylor expansion of 0 in j
8.858 * [taylor]: Taking taylor expansion of 0 in j
8.864 * [taylor]: Taking taylor expansion of 0 in j
8.866 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.866 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.866 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.866 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.866 * [taylor]: Taking taylor expansion of 27.0 in j
8.867 * [taylor]: Taking taylor expansion of (* k j) in j
8.867 * [taylor]: Taking taylor expansion of k in j
8.867 * [taylor]: Taking taylor expansion of j in j
8.869 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.869 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.869 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.869 * [taylor]: Taking taylor expansion of 27.0 in k
8.870 * [taylor]: Taking taylor expansion of (* k j) in k
8.870 * [taylor]: Taking taylor expansion of k in k
8.870 * [taylor]: Taking taylor expansion of j in k
8.872 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.872 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.872 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.872 * [taylor]: Taking taylor expansion of 27.0 in k
8.873 * [taylor]: Taking taylor expansion of (* k j) in k
8.873 * [taylor]: Taking taylor expansion of k in k
8.873 * [taylor]: Taking taylor expansion of j in k
8.875 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.875 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.875 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.875 * [taylor]: Taking taylor expansion of 27.0 in j
8.875 * [taylor]: Taking taylor expansion of j in j
8.880 * [taylor]: Taking taylor expansion of 0 in j
8.884 * [taylor]: Taking taylor expansion of 0 in j
8.894 * [taylor]: Taking taylor expansion of 0 in j
8.898 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.898 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.898 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.898 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.898 * [taylor]: Taking taylor expansion of 27.0 in j
8.899 * [taylor]: Taking taylor expansion of (* k j) in j
8.899 * [taylor]: Taking taylor expansion of k in j
8.899 * [taylor]: Taking taylor expansion of j in j
8.901 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.901 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.901 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.901 * [taylor]: Taking taylor expansion of 27.0 in k
8.902 * [taylor]: Taking taylor expansion of (* k j) in k
8.902 * [taylor]: Taking taylor expansion of k in k
8.902 * [taylor]: Taking taylor expansion of j in k
8.904 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.904 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.904 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.904 * [taylor]: Taking taylor expansion of 27.0 in k
8.905 * [taylor]: Taking taylor expansion of (* k j) in k
8.905 * [taylor]: Taking taylor expansion of k in k
8.905 * [taylor]: Taking taylor expansion of j in k
8.907 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.907 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.907 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.907 * [taylor]: Taking taylor expansion of 27.0 in j
8.908 * [taylor]: Taking taylor expansion of j in j
8.913 * [taylor]: Taking taylor expansion of 0 in j
8.917 * [taylor]: Taking taylor expansion of 0 in j
8.923 * [taylor]: Taking taylor expansion of 0 in j
8.926 * * * [progress]: simplifying candidates
8.928 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (+ (log (sqrt 27.0)) (+ (log k) (log j)))
  (+ (log (sqrt 27.0)) (log (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log k) (log j))))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* k j))))
  (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* k j))))
  (log (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (exp (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j))))
  (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
  (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
8.932 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
8.962 * * [simplify]: iteration  1 :  402  enodes  (cost  1050 )
9.101 * * [simplify]: iteration  2 :  1800  enodes  (cost  828 )
9.625 * * [simplify]: iteration  done :  5001  enodes  (cost  828 )
9.625 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (pow (* (sqrt 27.0) (* j k)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (expm1 (* (* j k) 27.0))
  (log1p (* (* j k) 27.0))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (exp (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (* (cbrt (* (* j k) 27.0)) (cbrt (* (* j k) 27.0)))
  (cbrt (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (sqrt (* (* j k) 27.0))
  (sqrt (* (* j k) 27.0))
  27.0
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
9.626 * * * [progress]: adding candidates to table
10.057 * [progress]: [Phase 3 of 3] Extracting.
10.057 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.066 * * * [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)
10.067 * * * * [regimes]: Trying to branch on (* j 27.0) 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.148 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))>)
10.178 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.253 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))>)
10.280 * * * * [regimes]: Trying to branch on (* b c) 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.343 * * * * [regimes]: Trying to branch on (* a 4.0) 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.413 * * * * [regimes]: Trying to branch on (* a 4.0) 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<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)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.481 * * * * [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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.556 * * * * [regimes]: Trying to branch on k 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.618 * * * * [regimes]: Trying to branch on j 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.699 * * * * [regimes]: Trying to branch on 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.776 * * * * [regimes]: Trying to branch on c 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.838 * * * * [regimes]: Trying to branch on b 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.915 * * * * [regimes]: Trying to branch on a 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.985 * * * * [regimes]: Trying to branch on t 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.060 * * * * [regimes]: Trying to branch on z 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.141 * * * * [regimes]: Trying to branch on y 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.217 * * * * [regimes]: Trying to branch on x 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)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.294 * * * [regime]: Found split indices: #<option (#s(si 5 7) #s(si 1 238) #s(si 5 255))>
11.297 * [binary-search]: Only using regimes for bounds on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) and (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.297 * [regimes]: Found splitpoints: (#s(sp 5 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 1 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291) #s(sp 5 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (sqrt z)) (sqrt z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t))) (cbrt (* (* (* (* x 18.0) y) z) t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (pow (* 18.0 (* t (* x (* z y)))) 1) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* k j))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (* x 18.0) y) z) (sqrt t)) (sqrt t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
11.298 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))))
11.299 * * [simplify]: iteration  0 :  46  enodes  (cost  143 )
11.300 * * [simplify]: iteration  1 :  68  enodes  (cost  118 )
11.302 * * [simplify]: iteration  done :  68  enodes  (cost  118 )
11.302 * [simplify]: Simplified to:
   (if (or (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (not (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.132921524968923e+291))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
13.892 * [regime-testing]: Baseline error score: 5.503658843158089
13.892 * [regime-testing]: Oracle error score: 0.03905392141802459
13.894 * [regime-testing]: End program error score: 1.0558528071850732
13.941 * [regime-testing]: Target error score: 1.6488222259628853