32.912 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.073 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.079 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.083 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.099 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.168 * * [simplify]: iteration  3 :  722  enodes  (cost  27 )
0.792 * * [simplify]: iteration  4 :  1905  enodes  (cost  27 )
2.542 * * [simplify]: iteration  5 :  3091  enodes  (cost  26 )
5.239 * * [simplify]: iteration  6 :  4224  enodes  (cost  26 )
6.101 * * [simplify]: iteration  done :  5001  enodes  (cost  26 )
6.101 * [simplify]: Simplified to:
   (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
6.107 * * [progress]: iteration 1 / 4
6.107 * * * [progress]: picking best candidate
6.116 * * * * [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)))>
6.116 * * * [progress]: localizing error
6.139 * * * [progress]: generating rewritten candidates
6.139 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.218 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.248 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.258 * * * [progress]: generating series expansions
6.258 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.258 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.258 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.258 * [taylor]: Taking taylor expansion of 18.0 in t
6.258 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.258 * [taylor]: Taking taylor expansion of t in t
6.258 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.258 * [taylor]: Taking taylor expansion of x in t
6.258 * [taylor]: Taking taylor expansion of (* z y) in t
6.258 * [taylor]: Taking taylor expansion of z in t
6.259 * [taylor]: Taking taylor expansion of y in t
6.259 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.259 * [taylor]: Taking taylor expansion of 18.0 in z
6.259 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.259 * [taylor]: Taking taylor expansion of t in z
6.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.259 * [taylor]: Taking taylor expansion of x in z
6.259 * [taylor]: Taking taylor expansion of (* z y) in z
6.259 * [taylor]: Taking taylor expansion of z in z
6.259 * [taylor]: Taking taylor expansion of y in z
6.259 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.259 * [taylor]: Taking taylor expansion of 18.0 in y
6.259 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.259 * [taylor]: Taking taylor expansion of t in y
6.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.259 * [taylor]: Taking taylor expansion of x in y
6.259 * [taylor]: Taking taylor expansion of (* z y) in y
6.259 * [taylor]: Taking taylor expansion of z in y
6.259 * [taylor]: Taking taylor expansion of y in y
6.259 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.259 * [taylor]: Taking taylor expansion of 18.0 in x
6.259 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.259 * [taylor]: Taking taylor expansion of t in x
6.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.259 * [taylor]: Taking taylor expansion of x in x
6.259 * [taylor]: Taking taylor expansion of (* z y) in x
6.259 * [taylor]: Taking taylor expansion of z in x
6.259 * [taylor]: Taking taylor expansion of y in x
6.259 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.259 * [taylor]: Taking taylor expansion of 18.0 in x
6.259 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.259 * [taylor]: Taking taylor expansion of t in x
6.259 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.259 * [taylor]: Taking taylor expansion of x in x
6.259 * [taylor]: Taking taylor expansion of (* z y) in x
6.259 * [taylor]: Taking taylor expansion of z in x
6.259 * [taylor]: Taking taylor expansion of y in x
6.260 * [taylor]: Taking taylor expansion of 0 in y
6.260 * [taylor]: Taking taylor expansion of 0 in z
6.260 * [taylor]: Taking taylor expansion of 0 in t
6.261 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.261 * [taylor]: Taking taylor expansion of 18.0 in y
6.261 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.261 * [taylor]: Taking taylor expansion of t in y
6.261 * [taylor]: Taking taylor expansion of (* z y) in y
6.261 * [taylor]: Taking taylor expansion of z in y
6.261 * [taylor]: Taking taylor expansion of y in y
6.262 * [taylor]: Taking taylor expansion of 0 in z
6.262 * [taylor]: Taking taylor expansion of 0 in t
6.262 * [taylor]: Taking taylor expansion of 0 in z
6.262 * [taylor]: Taking taylor expansion of 0 in t
6.262 * [taylor]: Taking taylor expansion of 0 in t
6.264 * [taylor]: Taking taylor expansion of 0 in y
6.264 * [taylor]: Taking taylor expansion of 0 in z
6.264 * [taylor]: Taking taylor expansion of 0 in t
6.264 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.264 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.264 * [taylor]: Taking taylor expansion of 18.0 in t
6.264 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.264 * [taylor]: Taking taylor expansion of t in t
6.264 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.264 * [taylor]: Taking taylor expansion of x in t
6.264 * [taylor]: Taking taylor expansion of (* z y) in t
6.264 * [taylor]: Taking taylor expansion of z in t
6.264 * [taylor]: Taking taylor expansion of y in t
6.265 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.265 * [taylor]: Taking taylor expansion of 18.0 in z
6.265 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.265 * [taylor]: Taking taylor expansion of t in z
6.265 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.265 * [taylor]: Taking taylor expansion of x in z
6.265 * [taylor]: Taking taylor expansion of (* z y) in z
6.265 * [taylor]: Taking taylor expansion of z in z
6.265 * [taylor]: Taking taylor expansion of y in z
6.266 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.266 * [taylor]: Taking taylor expansion of 18.0 in y
6.266 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.266 * [taylor]: Taking taylor expansion of t in y
6.266 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.266 * [taylor]: Taking taylor expansion of x in y
6.266 * [taylor]: Taking taylor expansion of (* z y) in y
6.266 * [taylor]: Taking taylor expansion of z in y
6.266 * [taylor]: Taking taylor expansion of y in y
6.268 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.268 * [taylor]: Taking taylor expansion of 18.0 in x
6.268 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.268 * [taylor]: Taking taylor expansion of t in x
6.268 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.268 * [taylor]: Taking taylor expansion of x in x
6.268 * [taylor]: Taking taylor expansion of (* z y) in x
6.268 * [taylor]: Taking taylor expansion of z in x
6.268 * [taylor]: Taking taylor expansion of y in x
6.268 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.269 * [taylor]: Taking taylor expansion of 18.0 in x
6.269 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.269 * [taylor]: Taking taylor expansion of t in x
6.269 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.269 * [taylor]: Taking taylor expansion of x in x
6.269 * [taylor]: Taking taylor expansion of (* z y) in x
6.269 * [taylor]: Taking taylor expansion of z in x
6.269 * [taylor]: Taking taylor expansion of y in x
6.270 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.270 * [taylor]: Taking taylor expansion of 18.0 in y
6.270 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.270 * [taylor]: Taking taylor expansion of t in y
6.270 * [taylor]: Taking taylor expansion of (* z y) in y
6.270 * [taylor]: Taking taylor expansion of z in y
6.270 * [taylor]: Taking taylor expansion of y in y
6.270 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.270 * [taylor]: Taking taylor expansion of 18.0 in z
6.270 * [taylor]: Taking taylor expansion of (* t z) in z
6.270 * [taylor]: Taking taylor expansion of t in z
6.270 * [taylor]: Taking taylor expansion of z in z
6.271 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.271 * [taylor]: Taking taylor expansion of 18.0 in t
6.271 * [taylor]: Taking taylor expansion of t in t
6.272 * [taylor]: Taking taylor expansion of 0 in y
6.273 * [taylor]: Taking taylor expansion of 0 in z
6.274 * [taylor]: Taking taylor expansion of 0 in t
6.277 * [taylor]: Taking taylor expansion of 0 in y
6.277 * [taylor]: Taking taylor expansion of 0 in z
6.278 * [taylor]: Taking taylor expansion of 0 in z
6.278 * [taylor]: Taking taylor expansion of 0 in t
6.279 * [taylor]: Taking taylor expansion of 0 in t
6.282 * [taylor]: Taking taylor expansion of 0 in y
6.282 * [taylor]: Taking taylor expansion of 0 in z
6.282 * [taylor]: Taking taylor expansion of 0 in z
6.284 * [taylor]: Taking taylor expansion of 0 in z
6.284 * [taylor]: Taking taylor expansion of 0 in t
6.284 * [taylor]: Taking taylor expansion of 0 in t
6.284 * [taylor]: Taking taylor expansion of 0 in t
6.285 * [taylor]: Taking taylor expansion of 0 in t
6.285 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.285 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.285 * [taylor]: Taking taylor expansion of 18.0 in t
6.285 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.286 * [taylor]: Taking taylor expansion of t in t
6.286 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.286 * [taylor]: Taking taylor expansion of x in t
6.286 * [taylor]: Taking taylor expansion of (* z y) in t
6.286 * [taylor]: Taking taylor expansion of z in t
6.286 * [taylor]: Taking taylor expansion of y in t
6.286 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.286 * [taylor]: Taking taylor expansion of 18.0 in z
6.286 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.286 * [taylor]: Taking taylor expansion of t in z
6.286 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.286 * [taylor]: Taking taylor expansion of x in z
6.286 * [taylor]: Taking taylor expansion of (* z y) in z
6.286 * [taylor]: Taking taylor expansion of z in z
6.286 * [taylor]: Taking taylor expansion of y in z
6.287 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.287 * [taylor]: Taking taylor expansion of 18.0 in y
6.287 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.288 * [taylor]: Taking taylor expansion of t in y
6.288 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.288 * [taylor]: Taking taylor expansion of x in y
6.288 * [taylor]: Taking taylor expansion of (* z y) in y
6.288 * [taylor]: Taking taylor expansion of z in y
6.288 * [taylor]: Taking taylor expansion of y in y
6.289 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.289 * [taylor]: Taking taylor expansion of 18.0 in x
6.289 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.289 * [taylor]: Taking taylor expansion of t in x
6.289 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.289 * [taylor]: Taking taylor expansion of x in x
6.289 * [taylor]: Taking taylor expansion of (* z y) in x
6.289 * [taylor]: Taking taylor expansion of z in x
6.289 * [taylor]: Taking taylor expansion of y in x
6.290 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.290 * [taylor]: Taking taylor expansion of 18.0 in x
6.290 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.290 * [taylor]: Taking taylor expansion of t in x
6.290 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.290 * [taylor]: Taking taylor expansion of x in x
6.290 * [taylor]: Taking taylor expansion of (* z y) in x
6.290 * [taylor]: Taking taylor expansion of z in x
6.290 * [taylor]: Taking taylor expansion of y in x
6.291 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.291 * [taylor]: Taking taylor expansion of 18.0 in y
6.291 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.291 * [taylor]: Taking taylor expansion of t in y
6.291 * [taylor]: Taking taylor expansion of (* z y) in y
6.291 * [taylor]: Taking taylor expansion of z in y
6.291 * [taylor]: Taking taylor expansion of y in y
6.291 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.291 * [taylor]: Taking taylor expansion of 18.0 in z
6.291 * [taylor]: Taking taylor expansion of (* t z) in z
6.291 * [taylor]: Taking taylor expansion of t in z
6.291 * [taylor]: Taking taylor expansion of z in z
6.292 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.292 * [taylor]: Taking taylor expansion of 18.0 in t
6.292 * [taylor]: Taking taylor expansion of t in t
6.294 * [taylor]: Taking taylor expansion of 0 in y
6.294 * [taylor]: Taking taylor expansion of 0 in z
6.295 * [taylor]: Taking taylor expansion of 0 in t
6.298 * [taylor]: Taking taylor expansion of 0 in y
6.298 * [taylor]: Taking taylor expansion of 0 in z
6.299 * [taylor]: Taking taylor expansion of 0 in z
6.299 * [taylor]: Taking taylor expansion of 0 in t
6.300 * [taylor]: Taking taylor expansion of 0 in t
6.304 * [taylor]: Taking taylor expansion of 0 in y
6.304 * [taylor]: Taking taylor expansion of 0 in z
6.304 * [taylor]: Taking taylor expansion of 0 in z
6.306 * [taylor]: Taking taylor expansion of 0 in z
6.306 * [taylor]: Taking taylor expansion of 0 in t
6.306 * [taylor]: Taking taylor expansion of 0 in t
6.306 * [taylor]: Taking taylor expansion of 0 in t
6.307 * [taylor]: Taking taylor expansion of 0 in t
6.307 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
6.307 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
6.307 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
6.307 * [taylor]: Taking taylor expansion of 18.0 in z
6.307 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.307 * [taylor]: Taking taylor expansion of x in z
6.307 * [taylor]: Taking taylor expansion of (* z y) in z
6.308 * [taylor]: Taking taylor expansion of z in z
6.308 * [taylor]: Taking taylor expansion of y in z
6.308 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
6.308 * [taylor]: Taking taylor expansion of 18.0 in y
6.308 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.308 * [taylor]: Taking taylor expansion of x in y
6.308 * [taylor]: Taking taylor expansion of (* z y) in y
6.308 * [taylor]: Taking taylor expansion of z in y
6.308 * [taylor]: Taking taylor expansion of y in y
6.308 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.308 * [taylor]: Taking taylor expansion of 18.0 in x
6.308 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.308 * [taylor]: Taking taylor expansion of x in x
6.308 * [taylor]: Taking taylor expansion of (* z y) in x
6.308 * [taylor]: Taking taylor expansion of z in x
6.308 * [taylor]: Taking taylor expansion of y in x
6.308 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.308 * [taylor]: Taking taylor expansion of 18.0 in x
6.308 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.308 * [taylor]: Taking taylor expansion of x in x
6.308 * [taylor]: Taking taylor expansion of (* z y) in x
6.308 * [taylor]: Taking taylor expansion of z in x
6.308 * [taylor]: Taking taylor expansion of y in x
6.308 * [taylor]: Taking taylor expansion of 0 in y
6.308 * [taylor]: Taking taylor expansion of 0 in z
6.309 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
6.309 * [taylor]: Taking taylor expansion of 18.0 in y
6.309 * [taylor]: Taking taylor expansion of (* z y) in y
6.309 * [taylor]: Taking taylor expansion of z in y
6.309 * [taylor]: Taking taylor expansion of y in y
6.310 * [taylor]: Taking taylor expansion of 0 in z
6.310 * [taylor]: Taking taylor expansion of 0 in z
6.311 * [taylor]: Taking taylor expansion of 0 in y
6.311 * [taylor]: Taking taylor expansion of 0 in z
6.312 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
6.312 * [taylor]: Taking taylor expansion of 18.0 in z
6.312 * [taylor]: Taking taylor expansion of z in z
6.312 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
6.312 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
6.312 * [taylor]: Taking taylor expansion of 18.0 in z
6.312 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.312 * [taylor]: Taking taylor expansion of x in z
6.312 * [taylor]: Taking taylor expansion of (* z y) in z
6.312 * [taylor]: Taking taylor expansion of z in z
6.312 * [taylor]: Taking taylor expansion of y in z
6.313 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
6.313 * [taylor]: Taking taylor expansion of 18.0 in y
6.313 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.313 * [taylor]: Taking taylor expansion of x in y
6.313 * [taylor]: Taking taylor expansion of (* z y) in y
6.313 * [taylor]: Taking taylor expansion of z in y
6.313 * [taylor]: Taking taylor expansion of y in y
6.314 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.314 * [taylor]: Taking taylor expansion of 18.0 in x
6.314 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.314 * [taylor]: Taking taylor expansion of x in x
6.314 * [taylor]: Taking taylor expansion of (* z y) in x
6.314 * [taylor]: Taking taylor expansion of z in x
6.314 * [taylor]: Taking taylor expansion of y in x
6.314 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.315 * [taylor]: Taking taylor expansion of 18.0 in x
6.315 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.315 * [taylor]: Taking taylor expansion of x in x
6.315 * [taylor]: Taking taylor expansion of (* z y) in x
6.315 * [taylor]: Taking taylor expansion of z in x
6.315 * [taylor]: Taking taylor expansion of y in x
6.315 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
6.315 * [taylor]: Taking taylor expansion of 18.0 in y
6.315 * [taylor]: Taking taylor expansion of (* z y) in y
6.315 * [taylor]: Taking taylor expansion of z in y
6.315 * [taylor]: Taking taylor expansion of y in y
6.315 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
6.316 * [taylor]: Taking taylor expansion of 18.0 in z
6.316 * [taylor]: Taking taylor expansion of z in z
6.317 * [taylor]: Taking taylor expansion of 0 in y
6.317 * [taylor]: Taking taylor expansion of 0 in z
6.319 * [taylor]: Taking taylor expansion of 0 in y
6.320 * [taylor]: Taking taylor expansion of 0 in z
6.320 * [taylor]: Taking taylor expansion of 0 in z
6.323 * [taylor]: Taking taylor expansion of 0 in y
6.323 * [taylor]: Taking taylor expansion of 0 in z
6.323 * [taylor]: Taking taylor expansion of 0 in z
6.324 * [taylor]: Taking taylor expansion of 0 in z
6.324 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
6.324 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
6.324 * [taylor]: Taking taylor expansion of -18.0 in z
6.324 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.324 * [taylor]: Taking taylor expansion of x in z
6.324 * [taylor]: Taking taylor expansion of (* z y) in z
6.324 * [taylor]: Taking taylor expansion of z in z
6.324 * [taylor]: Taking taylor expansion of y in z
6.325 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
6.325 * [taylor]: Taking taylor expansion of -18.0 in y
6.325 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.325 * [taylor]: Taking taylor expansion of x in y
6.325 * [taylor]: Taking taylor expansion of (* z y) in y
6.325 * [taylor]: Taking taylor expansion of z in y
6.325 * [taylor]: Taking taylor expansion of y in y
6.326 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.326 * [taylor]: Taking taylor expansion of -18.0 in x
6.326 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.326 * [taylor]: Taking taylor expansion of x in x
6.326 * [taylor]: Taking taylor expansion of (* z y) in x
6.326 * [taylor]: Taking taylor expansion of z in x
6.326 * [taylor]: Taking taylor expansion of y in x
6.326 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.326 * [taylor]: Taking taylor expansion of -18.0 in x
6.326 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.326 * [taylor]: Taking taylor expansion of x in x
6.326 * [taylor]: Taking taylor expansion of (* z y) in x
6.326 * [taylor]: Taking taylor expansion of z in x
6.326 * [taylor]: Taking taylor expansion of y in x
6.327 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
6.327 * [taylor]: Taking taylor expansion of -18.0 in y
6.327 * [taylor]: Taking taylor expansion of (* z y) in y
6.327 * [taylor]: Taking taylor expansion of z in y
6.327 * [taylor]: Taking taylor expansion of y in y
6.327 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
6.327 * [taylor]: Taking taylor expansion of -18.0 in z
6.327 * [taylor]: Taking taylor expansion of z in z
6.329 * [taylor]: Taking taylor expansion of 0 in y
6.329 * [taylor]: Taking taylor expansion of 0 in z
6.331 * [taylor]: Taking taylor expansion of 0 in y
6.331 * [taylor]: Taking taylor expansion of 0 in z
6.332 * [taylor]: Taking taylor expansion of 0 in z
6.338 * [taylor]: Taking taylor expansion of 0 in y
6.339 * [taylor]: Taking taylor expansion of 0 in z
6.339 * [taylor]: Taking taylor expansion of 0 in z
6.339 * [taylor]: Taking taylor expansion of 0 in z
6.340 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.340 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
6.340 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.340 * [taylor]: Taking taylor expansion of 27.0 in k
6.340 * [taylor]: Taking taylor expansion of (* k j) in k
6.340 * [taylor]: Taking taylor expansion of k in k
6.340 * [taylor]: Taking taylor expansion of j in k
6.340 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.340 * [taylor]: Taking taylor expansion of 27.0 in j
6.340 * [taylor]: Taking taylor expansion of (* k j) in j
6.340 * [taylor]: Taking taylor expansion of k in j
6.340 * [taylor]: Taking taylor expansion of j in j
6.340 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.340 * [taylor]: Taking taylor expansion of 27.0 in j
6.340 * [taylor]: Taking taylor expansion of (* k j) in j
6.340 * [taylor]: Taking taylor expansion of k in j
6.340 * [taylor]: Taking taylor expansion of j in j
6.340 * [taylor]: Taking taylor expansion of 0 in k
6.341 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
6.341 * [taylor]: Taking taylor expansion of 27.0 in k
6.341 * [taylor]: Taking taylor expansion of k in k
6.342 * [taylor]: Taking taylor expansion of 0 in k
6.345 * [taylor]: Taking taylor expansion of 0 in k
6.347 * [taylor]: Taking taylor expansion of 0 in k
6.348 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
6.348 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.348 * [taylor]: Taking taylor expansion of 27.0 in k
6.348 * [taylor]: Taking taylor expansion of (* k j) in k
6.348 * [taylor]: Taking taylor expansion of k in k
6.348 * [taylor]: Taking taylor expansion of j in k
6.348 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.348 * [taylor]: Taking taylor expansion of 27.0 in j
6.348 * [taylor]: Taking taylor expansion of (* k j) in j
6.348 * [taylor]: Taking taylor expansion of k in j
6.348 * [taylor]: Taking taylor expansion of j in j
6.348 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.348 * [taylor]: Taking taylor expansion of 27.0 in j
6.349 * [taylor]: Taking taylor expansion of (* k j) in j
6.349 * [taylor]: Taking taylor expansion of k in j
6.349 * [taylor]: Taking taylor expansion of j in j
6.349 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
6.349 * [taylor]: Taking taylor expansion of 27.0 in k
6.349 * [taylor]: Taking taylor expansion of k in k
6.350 * [taylor]: Taking taylor expansion of 0 in k
6.351 * [taylor]: Taking taylor expansion of 0 in k
6.353 * [taylor]: Taking taylor expansion of 0 in k
6.354 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
6.354 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.354 * [taylor]: Taking taylor expansion of 27.0 in k
6.354 * [taylor]: Taking taylor expansion of (* k j) in k
6.354 * [taylor]: Taking taylor expansion of k in k
6.354 * [taylor]: Taking taylor expansion of j in k
6.354 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.354 * [taylor]: Taking taylor expansion of 27.0 in j
6.354 * [taylor]: Taking taylor expansion of (* k j) in j
6.354 * [taylor]: Taking taylor expansion of k in j
6.354 * [taylor]: Taking taylor expansion of j in j
6.355 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.355 * [taylor]: Taking taylor expansion of 27.0 in j
6.355 * [taylor]: Taking taylor expansion of (* k j) in j
6.355 * [taylor]: Taking taylor expansion of k in j
6.355 * [taylor]: Taking taylor expansion of j in j
6.355 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
6.355 * [taylor]: Taking taylor expansion of 27.0 in k
6.355 * [taylor]: Taking taylor expansion of k in k
6.356 * [taylor]: Taking taylor expansion of 0 in k
6.357 * [taylor]: Taking taylor expansion of 0 in k
6.358 * [taylor]: Taking taylor expansion of 0 in k
6.359 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
6.359 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
6.359 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
6.359 * [taylor]: Taking taylor expansion of 18.0 in y
6.359 * [taylor]: Taking taylor expansion of (* x y) in y
6.359 * [taylor]: Taking taylor expansion of x in y
6.359 * [taylor]: Taking taylor expansion of y in y
6.359 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.359 * [taylor]: Taking taylor expansion of 18.0 in x
6.359 * [taylor]: Taking taylor expansion of (* x y) in x
6.359 * [taylor]: Taking taylor expansion of x in x
6.360 * [taylor]: Taking taylor expansion of y in x
6.360 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.360 * [taylor]: Taking taylor expansion of 18.0 in x
6.360 * [taylor]: Taking taylor expansion of (* x y) in x
6.360 * [taylor]: Taking taylor expansion of x in x
6.360 * [taylor]: Taking taylor expansion of y in x
6.360 * [taylor]: Taking taylor expansion of 0 in y
6.361 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
6.361 * [taylor]: Taking taylor expansion of 18.0 in y
6.361 * [taylor]: Taking taylor expansion of y in y
6.362 * [taylor]: Taking taylor expansion of 0 in y
6.365 * [taylor]: Taking taylor expansion of 0 in y
6.368 * [taylor]: Taking taylor expansion of 0 in y
6.368 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.368 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.368 * [taylor]: Taking taylor expansion of 18.0 in y
6.368 * [taylor]: Taking taylor expansion of (* x y) in y
6.368 * [taylor]: Taking taylor expansion of x in y
6.368 * [taylor]: Taking taylor expansion of y in y
6.368 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.368 * [taylor]: Taking taylor expansion of 18.0 in x
6.368 * [taylor]: Taking taylor expansion of (* x y) in x
6.368 * [taylor]: Taking taylor expansion of x in x
6.368 * [taylor]: Taking taylor expansion of y in x
6.369 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.369 * [taylor]: Taking taylor expansion of 18.0 in x
6.369 * [taylor]: Taking taylor expansion of (* x y) in x
6.369 * [taylor]: Taking taylor expansion of x in x
6.369 * [taylor]: Taking taylor expansion of y in x
6.369 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.369 * [taylor]: Taking taylor expansion of 18.0 in y
6.369 * [taylor]: Taking taylor expansion of y in y
6.370 * [taylor]: Taking taylor expansion of 0 in y
6.372 * [taylor]: Taking taylor expansion of 0 in y
6.373 * [taylor]: Taking taylor expansion of 0 in y
6.374 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.374 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.374 * [taylor]: Taking taylor expansion of 18.0 in y
6.374 * [taylor]: Taking taylor expansion of (* x y) in y
6.374 * [taylor]: Taking taylor expansion of x in y
6.374 * [taylor]: Taking taylor expansion of y in y
6.374 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.375 * [taylor]: Taking taylor expansion of 18.0 in x
6.375 * [taylor]: Taking taylor expansion of (* x y) in x
6.375 * [taylor]: Taking taylor expansion of x in x
6.375 * [taylor]: Taking taylor expansion of y in x
6.375 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.375 * [taylor]: Taking taylor expansion of 18.0 in x
6.375 * [taylor]: Taking taylor expansion of (* x y) in x
6.375 * [taylor]: Taking taylor expansion of x in x
6.375 * [taylor]: Taking taylor expansion of y in x
6.375 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.375 * [taylor]: Taking taylor expansion of 18.0 in y
6.375 * [taylor]: Taking taylor expansion of y in y
6.376 * [taylor]: Taking taylor expansion of 0 in y
6.378 * [taylor]: Taking taylor expansion of 0 in y
6.379 * [taylor]: Taking taylor expansion of 0 in y
6.380 * * * [progress]: simplifying candidates
6.382 * [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))
6.385 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
6.414 * * [simplify]: iteration  1 :  366  enodes  (cost  944 )
6.652 * * [simplify]: iteration  2 :  1796  enodes  (cost  738 )
7.531 * * [simplify]: iteration  done :  5001  enodes  (cost  738 )
7.532 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (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)
7.532 * * * [progress]: adding candidates to table
7.871 * * [progress]: iteration 2 / 4
7.871 * * * [progress]: picking best candidate
7.910 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>
7.910 * * * [progress]: localizing error
7.931 * * * [progress]: generating rewritten candidates
7.932 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.027 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.033 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
8.042 * * * [progress]: generating series expansions
8.042 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.042 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.043 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.043 * [taylor]: Taking taylor expansion of 18.0 in t
8.043 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.043 * [taylor]: Taking taylor expansion of t in t
8.043 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.043 * [taylor]: Taking taylor expansion of x in t
8.043 * [taylor]: Taking taylor expansion of (* z y) in t
8.043 * [taylor]: Taking taylor expansion of z in t
8.043 * [taylor]: Taking taylor expansion of y in t
8.043 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.043 * [taylor]: Taking taylor expansion of 18.0 in z
8.043 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.043 * [taylor]: Taking taylor expansion of t in z
8.043 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.043 * [taylor]: Taking taylor expansion of x in z
8.043 * [taylor]: Taking taylor expansion of (* z y) in z
8.043 * [taylor]: Taking taylor expansion of z in z
8.043 * [taylor]: Taking taylor expansion of y in z
8.043 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.043 * [taylor]: Taking taylor expansion of 18.0 in y
8.043 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.043 * [taylor]: Taking taylor expansion of t in y
8.043 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.043 * [taylor]: Taking taylor expansion of x in y
8.043 * [taylor]: Taking taylor expansion of (* z y) in y
8.043 * [taylor]: Taking taylor expansion of z in y
8.043 * [taylor]: Taking taylor expansion of y in y
8.043 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.043 * [taylor]: Taking taylor expansion of 18.0 in x
8.043 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.043 * [taylor]: Taking taylor expansion of t in x
8.043 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.043 * [taylor]: Taking taylor expansion of x in x
8.043 * [taylor]: Taking taylor expansion of (* z y) in x
8.043 * [taylor]: Taking taylor expansion of z in x
8.043 * [taylor]: Taking taylor expansion of y in x
8.043 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.043 * [taylor]: Taking taylor expansion of 18.0 in x
8.043 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.043 * [taylor]: Taking taylor expansion of t in x
8.043 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.043 * [taylor]: Taking taylor expansion of x in x
8.043 * [taylor]: Taking taylor expansion of (* z y) in x
8.043 * [taylor]: Taking taylor expansion of z in x
8.043 * [taylor]: Taking taylor expansion of y in x
8.044 * [taylor]: Taking taylor expansion of 0 in y
8.044 * [taylor]: Taking taylor expansion of 0 in z
8.044 * [taylor]: Taking taylor expansion of 0 in t
8.045 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.045 * [taylor]: Taking taylor expansion of 18.0 in y
8.045 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.045 * [taylor]: Taking taylor expansion of t in y
8.045 * [taylor]: Taking taylor expansion of (* z y) in y
8.045 * [taylor]: Taking taylor expansion of z in y
8.045 * [taylor]: Taking taylor expansion of y in y
8.045 * [taylor]: Taking taylor expansion of 0 in z
8.045 * [taylor]: Taking taylor expansion of 0 in t
8.045 * [taylor]: Taking taylor expansion of 0 in z
8.045 * [taylor]: Taking taylor expansion of 0 in t
8.045 * [taylor]: Taking taylor expansion of 0 in t
8.047 * [taylor]: Taking taylor expansion of 0 in y
8.047 * [taylor]: Taking taylor expansion of 0 in z
8.047 * [taylor]: Taking taylor expansion of 0 in t
8.047 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.047 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.047 * [taylor]: Taking taylor expansion of 18.0 in t
8.047 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.047 * [taylor]: Taking taylor expansion of t in t
8.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.048 * [taylor]: Taking taylor expansion of x in t
8.048 * [taylor]: Taking taylor expansion of (* z y) in t
8.048 * [taylor]: Taking taylor expansion of z in t
8.048 * [taylor]: Taking taylor expansion of y in t
8.048 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.048 * [taylor]: Taking taylor expansion of 18.0 in z
8.048 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.048 * [taylor]: Taking taylor expansion of t in z
8.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.048 * [taylor]: Taking taylor expansion of x in z
8.048 * [taylor]: Taking taylor expansion of (* z y) in z
8.048 * [taylor]: Taking taylor expansion of z in z
8.048 * [taylor]: Taking taylor expansion of y in z
8.049 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.049 * [taylor]: Taking taylor expansion of 18.0 in y
8.049 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.049 * [taylor]: Taking taylor expansion of t in y
8.049 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.049 * [taylor]: Taking taylor expansion of x in y
8.049 * [taylor]: Taking taylor expansion of (* z y) in y
8.049 * [taylor]: Taking taylor expansion of z in y
8.049 * [taylor]: Taking taylor expansion of y in y
8.050 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.050 * [taylor]: Taking taylor expansion of 18.0 in x
8.050 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.050 * [taylor]: Taking taylor expansion of t in x
8.050 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.050 * [taylor]: Taking taylor expansion of x in x
8.050 * [taylor]: Taking taylor expansion of (* z y) in x
8.050 * [taylor]: Taking taylor expansion of z in x
8.050 * [taylor]: Taking taylor expansion of y in x
8.051 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.051 * [taylor]: Taking taylor expansion of 18.0 in x
8.051 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.051 * [taylor]: Taking taylor expansion of t in x
8.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.051 * [taylor]: Taking taylor expansion of x in x
8.051 * [taylor]: Taking taylor expansion of (* z y) in x
8.051 * [taylor]: Taking taylor expansion of z in x
8.051 * [taylor]: Taking taylor expansion of y in x
8.052 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.052 * [taylor]: Taking taylor expansion of 18.0 in y
8.052 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.052 * [taylor]: Taking taylor expansion of t in y
8.052 * [taylor]: Taking taylor expansion of (* z y) in y
8.052 * [taylor]: Taking taylor expansion of z in y
8.052 * [taylor]: Taking taylor expansion of y in y
8.053 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.053 * [taylor]: Taking taylor expansion of 18.0 in z
8.053 * [taylor]: Taking taylor expansion of (* t z) in z
8.053 * [taylor]: Taking taylor expansion of t in z
8.053 * [taylor]: Taking taylor expansion of z in z
8.053 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.053 * [taylor]: Taking taylor expansion of 18.0 in t
8.053 * [taylor]: Taking taylor expansion of t in t
8.055 * [taylor]: Taking taylor expansion of 0 in y
8.056 * [taylor]: Taking taylor expansion of 0 in z
8.056 * [taylor]: Taking taylor expansion of 0 in t
8.059 * [taylor]: Taking taylor expansion of 0 in y
8.059 * [taylor]: Taking taylor expansion of 0 in z
8.060 * [taylor]: Taking taylor expansion of 0 in z
8.060 * [taylor]: Taking taylor expansion of 0 in t
8.060 * [taylor]: Taking taylor expansion of 0 in t
8.064 * [taylor]: Taking taylor expansion of 0 in y
8.064 * [taylor]: Taking taylor expansion of 0 in z
8.064 * [taylor]: Taking taylor expansion of 0 in z
8.065 * [taylor]: Taking taylor expansion of 0 in z
8.065 * [taylor]: Taking taylor expansion of 0 in t
8.065 * [taylor]: Taking taylor expansion of 0 in t
8.066 * [taylor]: Taking taylor expansion of 0 in t
8.066 * [taylor]: Taking taylor expansion of 0 in t
8.067 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.067 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.067 * [taylor]: Taking taylor expansion of 18.0 in t
8.067 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.067 * [taylor]: Taking taylor expansion of t in t
8.067 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.067 * [taylor]: Taking taylor expansion of x in t
8.067 * [taylor]: Taking taylor expansion of (* z y) in t
8.067 * [taylor]: Taking taylor expansion of z in t
8.067 * [taylor]: Taking taylor expansion of y in t
8.067 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.067 * [taylor]: Taking taylor expansion of 18.0 in z
8.067 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.067 * [taylor]: Taking taylor expansion of t in z
8.067 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.067 * [taylor]: Taking taylor expansion of x in z
8.067 * [taylor]: Taking taylor expansion of (* z y) in z
8.068 * [taylor]: Taking taylor expansion of z in z
8.068 * [taylor]: Taking taylor expansion of y in z
8.068 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.068 * [taylor]: Taking taylor expansion of 18.0 in y
8.068 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.069 * [taylor]: Taking taylor expansion of t in y
8.069 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.069 * [taylor]: Taking taylor expansion of x in y
8.069 * [taylor]: Taking taylor expansion of (* z y) in y
8.069 * [taylor]: Taking taylor expansion of z in y
8.069 * [taylor]: Taking taylor expansion of y in y
8.069 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.070 * [taylor]: Taking taylor expansion of 18.0 in x
8.070 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.070 * [taylor]: Taking taylor expansion of t in x
8.070 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.070 * [taylor]: Taking taylor expansion of x in x
8.070 * [taylor]: Taking taylor expansion of (* z y) in x
8.070 * [taylor]: Taking taylor expansion of z in x
8.070 * [taylor]: Taking taylor expansion of y in x
8.070 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.070 * [taylor]: Taking taylor expansion of 18.0 in x
8.070 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.070 * [taylor]: Taking taylor expansion of t in x
8.070 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.070 * [taylor]: Taking taylor expansion of x in x
8.070 * [taylor]: Taking taylor expansion of (* z y) in x
8.070 * [taylor]: Taking taylor expansion of z in x
8.070 * [taylor]: Taking taylor expansion of y in x
8.071 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.071 * [taylor]: Taking taylor expansion of 18.0 in y
8.071 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.071 * [taylor]: Taking taylor expansion of t in y
8.071 * [taylor]: Taking taylor expansion of (* z y) in y
8.071 * [taylor]: Taking taylor expansion of z in y
8.071 * [taylor]: Taking taylor expansion of y in y
8.072 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.072 * [taylor]: Taking taylor expansion of 18.0 in z
8.072 * [taylor]: Taking taylor expansion of (* t z) in z
8.072 * [taylor]: Taking taylor expansion of t in z
8.072 * [taylor]: Taking taylor expansion of z in z
8.072 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.072 * [taylor]: Taking taylor expansion of 18.0 in t
8.072 * [taylor]: Taking taylor expansion of t in t
8.074 * [taylor]: Taking taylor expansion of 0 in y
8.075 * [taylor]: Taking taylor expansion of 0 in z
8.075 * [taylor]: Taking taylor expansion of 0 in t
8.081 * [taylor]: Taking taylor expansion of 0 in y
8.081 * [taylor]: Taking taylor expansion of 0 in z
8.083 * [taylor]: Taking taylor expansion of 0 in z
8.083 * [taylor]: Taking taylor expansion of 0 in t
8.084 * [taylor]: Taking taylor expansion of 0 in t
8.087 * [taylor]: Taking taylor expansion of 0 in y
8.088 * [taylor]: Taking taylor expansion of 0 in z
8.088 * [taylor]: Taking taylor expansion of 0 in z
8.089 * [taylor]: Taking taylor expansion of 0 in z
8.089 * [taylor]: Taking taylor expansion of 0 in t
8.089 * [taylor]: Taking taylor expansion of 0 in t
8.089 * [taylor]: Taking taylor expansion of 0 in t
8.090 * [taylor]: Taking taylor expansion of 0 in t
8.090 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.090 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.090 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.090 * [taylor]: Taking taylor expansion of 18.0 in z
8.090 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.090 * [taylor]: Taking taylor expansion of x in z
8.090 * [taylor]: Taking taylor expansion of (* z y) in z
8.090 * [taylor]: Taking taylor expansion of z in z
8.090 * [taylor]: Taking taylor expansion of y in z
8.090 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.090 * [taylor]: Taking taylor expansion of 18.0 in y
8.090 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.090 * [taylor]: Taking taylor expansion of x in y
8.090 * [taylor]: Taking taylor expansion of (* z y) in y
8.090 * [taylor]: Taking taylor expansion of z in y
8.091 * [taylor]: Taking taylor expansion of y in y
8.091 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.091 * [taylor]: Taking taylor expansion of 18.0 in x
8.091 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.091 * [taylor]: Taking taylor expansion of x in x
8.091 * [taylor]: Taking taylor expansion of (* z y) in x
8.091 * [taylor]: Taking taylor expansion of z in x
8.091 * [taylor]: Taking taylor expansion of y in x
8.091 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.091 * [taylor]: Taking taylor expansion of 18.0 in x
8.091 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.091 * [taylor]: Taking taylor expansion of x in x
8.091 * [taylor]: Taking taylor expansion of (* z y) in x
8.091 * [taylor]: Taking taylor expansion of z in x
8.091 * [taylor]: Taking taylor expansion of y in x
8.091 * [taylor]: Taking taylor expansion of 0 in y
8.091 * [taylor]: Taking taylor expansion of 0 in z
8.092 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.092 * [taylor]: Taking taylor expansion of 18.0 in y
8.092 * [taylor]: Taking taylor expansion of (* z y) in y
8.092 * [taylor]: Taking taylor expansion of z in y
8.092 * [taylor]: Taking taylor expansion of y in y
8.092 * [taylor]: Taking taylor expansion of 0 in z
8.092 * [taylor]: Taking taylor expansion of 0 in z
8.094 * [taylor]: Taking taylor expansion of 0 in y
8.094 * [taylor]: Taking taylor expansion of 0 in z
8.094 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.094 * [taylor]: Taking taylor expansion of 18.0 in z
8.094 * [taylor]: Taking taylor expansion of z in z
8.095 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.095 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.095 * [taylor]: Taking taylor expansion of 18.0 in z
8.095 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.095 * [taylor]: Taking taylor expansion of x in z
8.095 * [taylor]: Taking taylor expansion of (* z y) in z
8.095 * [taylor]: Taking taylor expansion of z in z
8.095 * [taylor]: Taking taylor expansion of y in z
8.096 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.096 * [taylor]: Taking taylor expansion of 18.0 in y
8.096 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.096 * [taylor]: Taking taylor expansion of x in y
8.096 * [taylor]: Taking taylor expansion of (* z y) in y
8.096 * [taylor]: Taking taylor expansion of z in y
8.096 * [taylor]: Taking taylor expansion of y in y
8.096 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.096 * [taylor]: Taking taylor expansion of 18.0 in x
8.096 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.096 * [taylor]: Taking taylor expansion of x in x
8.096 * [taylor]: Taking taylor expansion of (* z y) in x
8.096 * [taylor]: Taking taylor expansion of z in x
8.096 * [taylor]: Taking taylor expansion of y in x
8.097 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.097 * [taylor]: Taking taylor expansion of 18.0 in x
8.097 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.097 * [taylor]: Taking taylor expansion of x in x
8.097 * [taylor]: Taking taylor expansion of (* z y) in x
8.097 * [taylor]: Taking taylor expansion of z in x
8.097 * [taylor]: Taking taylor expansion of y in x
8.097 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.097 * [taylor]: Taking taylor expansion of 18.0 in y
8.097 * [taylor]: Taking taylor expansion of (* z y) in y
8.097 * [taylor]: Taking taylor expansion of z in y
8.097 * [taylor]: Taking taylor expansion of y in y
8.098 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.098 * [taylor]: Taking taylor expansion of 18.0 in z
8.098 * [taylor]: Taking taylor expansion of z in z
8.099 * [taylor]: Taking taylor expansion of 0 in y
8.099 * [taylor]: Taking taylor expansion of 0 in z
8.101 * [taylor]: Taking taylor expansion of 0 in y
8.101 * [taylor]: Taking taylor expansion of 0 in z
8.102 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in y
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.105 * [taylor]: Taking taylor expansion of 0 in z
8.106 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.106 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.106 * [taylor]: Taking taylor expansion of -18.0 in z
8.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.106 * [taylor]: Taking taylor expansion of x in z
8.106 * [taylor]: Taking taylor expansion of (* z y) in z
8.106 * [taylor]: Taking taylor expansion of z in z
8.106 * [taylor]: Taking taylor expansion of y in z
8.106 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.106 * [taylor]: Taking taylor expansion of -18.0 in y
8.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.106 * [taylor]: Taking taylor expansion of x in y
8.106 * [taylor]: Taking taylor expansion of (* z y) in y
8.107 * [taylor]: Taking taylor expansion of z in y
8.107 * [taylor]: Taking taylor expansion of y in y
8.107 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.107 * [taylor]: Taking taylor expansion of -18.0 in x
8.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.107 * [taylor]: Taking taylor expansion of x in x
8.107 * [taylor]: Taking taylor expansion of (* z y) in x
8.107 * [taylor]: Taking taylor expansion of z in x
8.107 * [taylor]: Taking taylor expansion of y in x
8.108 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.108 * [taylor]: Taking taylor expansion of -18.0 in x
8.108 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.108 * [taylor]: Taking taylor expansion of x in x
8.108 * [taylor]: Taking taylor expansion of (* z y) in x
8.108 * [taylor]: Taking taylor expansion of z in x
8.108 * [taylor]: Taking taylor expansion of y in x
8.108 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.108 * [taylor]: Taking taylor expansion of -18.0 in y
8.108 * [taylor]: Taking taylor expansion of (* z y) in y
8.108 * [taylor]: Taking taylor expansion of z in y
8.108 * [taylor]: Taking taylor expansion of y in y
8.109 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.109 * [taylor]: Taking taylor expansion of -18.0 in z
8.109 * [taylor]: Taking taylor expansion of z in z
8.110 * [taylor]: Taking taylor expansion of 0 in y
8.110 * [taylor]: Taking taylor expansion of 0 in z
8.112 * [taylor]: Taking taylor expansion of 0 in y
8.112 * [taylor]: Taking taylor expansion of 0 in z
8.113 * [taylor]: Taking taylor expansion of 0 in z
8.115 * [taylor]: Taking taylor expansion of 0 in y
8.115 * [taylor]: Taking taylor expansion of 0 in z
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.116 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.116 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
8.116 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
8.117 * [taylor]: Taking taylor expansion of 27.0 in k
8.117 * [taylor]: Taking taylor expansion of (* k j) in k
8.117 * [taylor]: Taking taylor expansion of k in k
8.117 * [taylor]: Taking taylor expansion of j in k
8.117 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
8.117 * [taylor]: Taking taylor expansion of 27.0 in j
8.117 * [taylor]: Taking taylor expansion of (* k j) in j
8.117 * [taylor]: Taking taylor expansion of k in j
8.117 * [taylor]: Taking taylor expansion of j in j
8.117 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
8.117 * [taylor]: Taking taylor expansion of 27.0 in j
8.117 * [taylor]: Taking taylor expansion of (* k j) in j
8.117 * [taylor]: Taking taylor expansion of k in j
8.117 * [taylor]: Taking taylor expansion of j in j
8.117 * [taylor]: Taking taylor expansion of 0 in k
8.118 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
8.118 * [taylor]: Taking taylor expansion of 27.0 in k
8.118 * [taylor]: Taking taylor expansion of k in k
8.119 * [taylor]: Taking taylor expansion of 0 in k
8.121 * [taylor]: Taking taylor expansion of 0 in k
8.123 * [taylor]: Taking taylor expansion of 0 in k
8.124 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
8.124 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
8.124 * [taylor]: Taking taylor expansion of 27.0 in k
8.124 * [taylor]: Taking taylor expansion of (* k j) in k
8.124 * [taylor]: Taking taylor expansion of k in k
8.124 * [taylor]: Taking taylor expansion of j in k
8.124 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.124 * [taylor]: Taking taylor expansion of 27.0 in j
8.124 * [taylor]: Taking taylor expansion of (* k j) in j
8.124 * [taylor]: Taking taylor expansion of k in j
8.124 * [taylor]: Taking taylor expansion of j in j
8.124 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.124 * [taylor]: Taking taylor expansion of 27.0 in j
8.124 * [taylor]: Taking taylor expansion of (* k j) in j
8.125 * [taylor]: Taking taylor expansion of k in j
8.125 * [taylor]: Taking taylor expansion of j in j
8.125 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
8.125 * [taylor]: Taking taylor expansion of 27.0 in k
8.125 * [taylor]: Taking taylor expansion of k in k
8.126 * [taylor]: Taking taylor expansion of 0 in k
8.127 * [taylor]: Taking taylor expansion of 0 in k
8.128 * [taylor]: Taking taylor expansion of 0 in k
8.129 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
8.129 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
8.129 * [taylor]: Taking taylor expansion of 27.0 in k
8.129 * [taylor]: Taking taylor expansion of (* k j) in k
8.129 * [taylor]: Taking taylor expansion of k in k
8.129 * [taylor]: Taking taylor expansion of j in k
8.130 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.130 * [taylor]: Taking taylor expansion of 27.0 in j
8.130 * [taylor]: Taking taylor expansion of (* k j) in j
8.130 * [taylor]: Taking taylor expansion of k in j
8.130 * [taylor]: Taking taylor expansion of j in j
8.130 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.130 * [taylor]: Taking taylor expansion of 27.0 in j
8.130 * [taylor]: Taking taylor expansion of (* k j) in j
8.130 * [taylor]: Taking taylor expansion of k in j
8.130 * [taylor]: Taking taylor expansion of j in j
8.130 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
8.130 * [taylor]: Taking taylor expansion of 27.0 in k
8.131 * [taylor]: Taking taylor expansion of k in k
8.132 * [taylor]: Taking taylor expansion of 0 in k
8.133 * [taylor]: Taking taylor expansion of 0 in k
8.134 * [taylor]: Taking taylor expansion of 0 in k
8.135 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
8.135 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
8.135 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
8.135 * [taylor]: Taking taylor expansion of 18.0 in y
8.135 * [taylor]: Taking taylor expansion of (* x y) in y
8.135 * [taylor]: Taking taylor expansion of x in y
8.135 * [taylor]: Taking taylor expansion of y in y
8.135 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
8.135 * [taylor]: Taking taylor expansion of 18.0 in x
8.135 * [taylor]: Taking taylor expansion of (* x y) in x
8.135 * [taylor]: Taking taylor expansion of x in x
8.135 * [taylor]: Taking taylor expansion of y in x
8.135 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
8.135 * [taylor]: Taking taylor expansion of 18.0 in x
8.135 * [taylor]: Taking taylor expansion of (* x y) in x
8.135 * [taylor]: Taking taylor expansion of x in x
8.135 * [taylor]: Taking taylor expansion of y in x
8.136 * [taylor]: Taking taylor expansion of 0 in y
8.137 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
8.137 * [taylor]: Taking taylor expansion of 18.0 in y
8.137 * [taylor]: Taking taylor expansion of y in y
8.138 * [taylor]: Taking taylor expansion of 0 in y
8.141 * [taylor]: Taking taylor expansion of 0 in y
8.143 * [taylor]: Taking taylor expansion of 0 in y
8.143 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
8.144 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
8.144 * [taylor]: Taking taylor expansion of 18.0 in y
8.144 * [taylor]: Taking taylor expansion of (* x y) in y
8.144 * [taylor]: Taking taylor expansion of x in y
8.144 * [taylor]: Taking taylor expansion of y in y
8.144 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.144 * [taylor]: Taking taylor expansion of 18.0 in x
8.144 * [taylor]: Taking taylor expansion of (* x y) in x
8.144 * [taylor]: Taking taylor expansion of x in x
8.144 * [taylor]: Taking taylor expansion of y in x
8.144 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.144 * [taylor]: Taking taylor expansion of 18.0 in x
8.144 * [taylor]: Taking taylor expansion of (* x y) in x
8.144 * [taylor]: Taking taylor expansion of x in x
8.145 * [taylor]: Taking taylor expansion of y in x
8.145 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
8.145 * [taylor]: Taking taylor expansion of 18.0 in y
8.145 * [taylor]: Taking taylor expansion of y in y
8.146 * [taylor]: Taking taylor expansion of 0 in y
8.147 * [taylor]: Taking taylor expansion of 0 in y
8.149 * [taylor]: Taking taylor expansion of 0 in y
8.150 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
8.150 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
8.150 * [taylor]: Taking taylor expansion of 18.0 in y
8.150 * [taylor]: Taking taylor expansion of (* x y) in y
8.150 * [taylor]: Taking taylor expansion of x in y
8.150 * [taylor]: Taking taylor expansion of y in y
8.151 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.151 * [taylor]: Taking taylor expansion of 18.0 in x
8.151 * [taylor]: Taking taylor expansion of (* x y) in x
8.151 * [taylor]: Taking taylor expansion of x in x
8.151 * [taylor]: Taking taylor expansion of y in x
8.151 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.151 * [taylor]: Taking taylor expansion of 18.0 in x
8.151 * [taylor]: Taking taylor expansion of (* x y) in x
8.151 * [taylor]: Taking taylor expansion of x in x
8.151 * [taylor]: Taking taylor expansion of y in x
8.151 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
8.152 * [taylor]: Taking taylor expansion of 18.0 in y
8.152 * [taylor]: Taking taylor expansion of y in y
8.153 * [taylor]: Taking taylor expansion of 0 in y
8.154 * [taylor]: Taking taylor expansion of 0 in y
8.156 * [taylor]: Taking taylor expansion of 0 in y
8.157 * * * [progress]: simplifying candidates
8.158 * [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))
8.162 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
8.189 * * [simplify]: iteration  1 :  358  enodes  (cost  943 )
8.420 * * [simplify]: iteration  2 :  1711  enodes  (cost  737 )
9.252 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
9.253 * [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 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* y 18.0)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
9.253 * * * [progress]: adding candidates to table
9.623 * * [progress]: iteration 3 / 4
9.623 * * * [progress]: picking best candidate
9.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)) (* 27.0 (* k j))))>
9.664 * * * [progress]: localizing error
9.688 * * * [progress]: generating rewritten candidates
9.688 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.766 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
9.788 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
9.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
9.803 * * * [progress]: generating series expansions
9.803 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.803 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.803 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
9.803 * [taylor]: Taking taylor expansion of 18.0 in t
9.803 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.803 * [taylor]: Taking taylor expansion of t in t
9.803 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.803 * [taylor]: Taking taylor expansion of x in t
9.803 * [taylor]: Taking taylor expansion of (* z y) in t
9.803 * [taylor]: Taking taylor expansion of z in t
9.803 * [taylor]: Taking taylor expansion of y in t
9.803 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
9.803 * [taylor]: Taking taylor expansion of 18.0 in z
9.803 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.803 * [taylor]: Taking taylor expansion of t in z
9.803 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.803 * [taylor]: Taking taylor expansion of x in z
9.803 * [taylor]: Taking taylor expansion of (* z y) in z
9.803 * [taylor]: Taking taylor expansion of z in z
9.803 * [taylor]: Taking taylor expansion of y in z
9.803 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
9.804 * [taylor]: Taking taylor expansion of 18.0 in y
9.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.804 * [taylor]: Taking taylor expansion of t in y
9.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.804 * [taylor]: Taking taylor expansion of x in y
9.804 * [taylor]: Taking taylor expansion of (* z y) in y
9.804 * [taylor]: Taking taylor expansion of z in y
9.804 * [taylor]: Taking taylor expansion of y in y
9.804 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.804 * [taylor]: Taking taylor expansion of 18.0 in x
9.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.804 * [taylor]: Taking taylor expansion of t in x
9.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.804 * [taylor]: Taking taylor expansion of x in x
9.804 * [taylor]: Taking taylor expansion of (* z y) in x
9.804 * [taylor]: Taking taylor expansion of z in x
9.804 * [taylor]: Taking taylor expansion of y in x
9.804 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.804 * [taylor]: Taking taylor expansion of 18.0 in x
9.804 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.804 * [taylor]: Taking taylor expansion of t in x
9.804 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.804 * [taylor]: Taking taylor expansion of x in x
9.804 * [taylor]: Taking taylor expansion of (* z y) in x
9.804 * [taylor]: Taking taylor expansion of z in x
9.804 * [taylor]: Taking taylor expansion of y in x
9.805 * [taylor]: Taking taylor expansion of 0 in y
9.805 * [taylor]: Taking taylor expansion of 0 in z
9.805 * [taylor]: Taking taylor expansion of 0 in t
9.806 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
9.806 * [taylor]: Taking taylor expansion of 18.0 in y
9.806 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.806 * [taylor]: Taking taylor expansion of t in y
9.806 * [taylor]: Taking taylor expansion of (* z y) in y
9.806 * [taylor]: Taking taylor expansion of z in y
9.806 * [taylor]: Taking taylor expansion of y in y
9.807 * [taylor]: Taking taylor expansion of 0 in z
9.807 * [taylor]: Taking taylor expansion of 0 in t
9.807 * [taylor]: Taking taylor expansion of 0 in z
9.807 * [taylor]: Taking taylor expansion of 0 in t
9.807 * [taylor]: Taking taylor expansion of 0 in t
9.808 * [taylor]: Taking taylor expansion of 0 in y
9.809 * [taylor]: Taking taylor expansion of 0 in z
9.809 * [taylor]: Taking taylor expansion of 0 in t
9.809 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.809 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.809 * [taylor]: Taking taylor expansion of 18.0 in t
9.809 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.809 * [taylor]: Taking taylor expansion of t in t
9.809 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.809 * [taylor]: Taking taylor expansion of x in t
9.809 * [taylor]: Taking taylor expansion of (* z y) in t
9.809 * [taylor]: Taking taylor expansion of z in t
9.809 * [taylor]: Taking taylor expansion of y in t
9.810 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.810 * [taylor]: Taking taylor expansion of 18.0 in z
9.810 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.810 * [taylor]: Taking taylor expansion of t in z
9.810 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.810 * [taylor]: Taking taylor expansion of x in z
9.810 * [taylor]: Taking taylor expansion of (* z y) in z
9.810 * [taylor]: Taking taylor expansion of z in z
9.810 * [taylor]: Taking taylor expansion of y in z
9.811 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.811 * [taylor]: Taking taylor expansion of 18.0 in y
9.811 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.811 * [taylor]: Taking taylor expansion of t in y
9.811 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.811 * [taylor]: Taking taylor expansion of x in y
9.811 * [taylor]: Taking taylor expansion of (* z y) in y
9.811 * [taylor]: Taking taylor expansion of z in y
9.811 * [taylor]: Taking taylor expansion of y in y
9.812 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.812 * [taylor]: Taking taylor expansion of 18.0 in x
9.812 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.812 * [taylor]: Taking taylor expansion of t in x
9.812 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.812 * [taylor]: Taking taylor expansion of x in x
9.812 * [taylor]: Taking taylor expansion of (* z y) in x
9.812 * [taylor]: Taking taylor expansion of z in x
9.812 * [taylor]: Taking taylor expansion of y in x
9.813 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.813 * [taylor]: Taking taylor expansion of 18.0 in x
9.813 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.813 * [taylor]: Taking taylor expansion of t in x
9.813 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.813 * [taylor]: Taking taylor expansion of x in x
9.813 * [taylor]: Taking taylor expansion of (* z y) in x
9.813 * [taylor]: Taking taylor expansion of z in x
9.813 * [taylor]: Taking taylor expansion of y in x
9.814 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.814 * [taylor]: Taking taylor expansion of 18.0 in y
9.814 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.814 * [taylor]: Taking taylor expansion of t in y
9.814 * [taylor]: Taking taylor expansion of (* z y) in y
9.814 * [taylor]: Taking taylor expansion of z in y
9.814 * [taylor]: Taking taylor expansion of y in y
9.815 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.815 * [taylor]: Taking taylor expansion of 18.0 in z
9.815 * [taylor]: Taking taylor expansion of (* t z) in z
9.815 * [taylor]: Taking taylor expansion of t in z
9.815 * [taylor]: Taking taylor expansion of z in z
9.815 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.815 * [taylor]: Taking taylor expansion of 18.0 in t
9.815 * [taylor]: Taking taylor expansion of t in t
9.817 * [taylor]: Taking taylor expansion of 0 in y
9.818 * [taylor]: Taking taylor expansion of 0 in z
9.818 * [taylor]: Taking taylor expansion of 0 in t
9.821 * [taylor]: Taking taylor expansion of 0 in y
9.821 * [taylor]: Taking taylor expansion of 0 in z
9.823 * [taylor]: Taking taylor expansion of 0 in z
9.823 * [taylor]: Taking taylor expansion of 0 in t
9.824 * [taylor]: Taking taylor expansion of 0 in t
9.827 * [taylor]: Taking taylor expansion of 0 in y
9.828 * [taylor]: Taking taylor expansion of 0 in z
9.828 * [taylor]: Taking taylor expansion of 0 in z
9.833 * [taylor]: Taking taylor expansion of 0 in z
9.833 * [taylor]: Taking taylor expansion of 0 in t
9.833 * [taylor]: Taking taylor expansion of 0 in t
9.833 * [taylor]: Taking taylor expansion of 0 in t
9.834 * [taylor]: Taking taylor expansion of 0 in t
9.835 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.835 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.835 * [taylor]: Taking taylor expansion of 18.0 in t
9.835 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.835 * [taylor]: Taking taylor expansion of t in t
9.835 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.835 * [taylor]: Taking taylor expansion of x in t
9.835 * [taylor]: Taking taylor expansion of (* z y) in t
9.835 * [taylor]: Taking taylor expansion of z in t
9.835 * [taylor]: Taking taylor expansion of y in t
9.836 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.836 * [taylor]: Taking taylor expansion of 18.0 in z
9.836 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.836 * [taylor]: Taking taylor expansion of t in z
9.836 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.836 * [taylor]: Taking taylor expansion of x in z
9.836 * [taylor]: Taking taylor expansion of (* z y) in z
9.836 * [taylor]: Taking taylor expansion of z in z
9.836 * [taylor]: Taking taylor expansion of y in z
9.837 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.837 * [taylor]: Taking taylor expansion of 18.0 in y
9.837 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.837 * [taylor]: Taking taylor expansion of t in y
9.837 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.837 * [taylor]: Taking taylor expansion of x in y
9.837 * [taylor]: Taking taylor expansion of (* z y) in y
9.837 * [taylor]: Taking taylor expansion of z in y
9.837 * [taylor]: Taking taylor expansion of y in y
9.838 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.838 * [taylor]: Taking taylor expansion of 18.0 in x
9.838 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.838 * [taylor]: Taking taylor expansion of t in x
9.838 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.838 * [taylor]: Taking taylor expansion of x in x
9.838 * [taylor]: Taking taylor expansion of (* z y) in x
9.838 * [taylor]: Taking taylor expansion of z in x
9.838 * [taylor]: Taking taylor expansion of y in x
9.839 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.839 * [taylor]: Taking taylor expansion of 18.0 in x
9.839 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.839 * [taylor]: Taking taylor expansion of t in x
9.839 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.839 * [taylor]: Taking taylor expansion of x in x
9.839 * [taylor]: Taking taylor expansion of (* z y) in x
9.839 * [taylor]: Taking taylor expansion of z in x
9.839 * [taylor]: Taking taylor expansion of y in x
9.840 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.840 * [taylor]: Taking taylor expansion of 18.0 in y
9.840 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.840 * [taylor]: Taking taylor expansion of t in y
9.840 * [taylor]: Taking taylor expansion of (* z y) in y
9.840 * [taylor]: Taking taylor expansion of z in y
9.840 * [taylor]: Taking taylor expansion of y in y
9.841 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.841 * [taylor]: Taking taylor expansion of 18.0 in z
9.841 * [taylor]: Taking taylor expansion of (* t z) in z
9.841 * [taylor]: Taking taylor expansion of t in z
9.841 * [taylor]: Taking taylor expansion of z in z
9.841 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.841 * [taylor]: Taking taylor expansion of 18.0 in t
9.841 * [taylor]: Taking taylor expansion of t in t
9.843 * [taylor]: Taking taylor expansion of 0 in y
9.844 * [taylor]: Taking taylor expansion of 0 in z
9.845 * [taylor]: Taking taylor expansion of 0 in t
9.847 * [taylor]: Taking taylor expansion of 0 in y
9.847 * [taylor]: Taking taylor expansion of 0 in z
9.849 * [taylor]: Taking taylor expansion of 0 in z
9.849 * [taylor]: Taking taylor expansion of 0 in t
9.849 * [taylor]: Taking taylor expansion of 0 in t
9.853 * [taylor]: Taking taylor expansion of 0 in y
9.853 * [taylor]: Taking taylor expansion of 0 in z
9.853 * [taylor]: Taking taylor expansion of 0 in z
9.855 * [taylor]: Taking taylor expansion of 0 in z
9.855 * [taylor]: Taking taylor expansion of 0 in t
9.855 * [taylor]: Taking taylor expansion of 0 in t
9.855 * [taylor]: Taking taylor expansion of 0 in t
9.856 * [taylor]: Taking taylor expansion of 0 in t
9.856 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
9.856 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
9.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
9.856 * [taylor]: Taking taylor expansion of 18.0 in z
9.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.856 * [taylor]: Taking taylor expansion of x in z
9.856 * [taylor]: Taking taylor expansion of (* z y) in z
9.856 * [taylor]: Taking taylor expansion of z in z
9.856 * [taylor]: Taking taylor expansion of y in z
9.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
9.856 * [taylor]: Taking taylor expansion of 18.0 in y
9.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.856 * [taylor]: Taking taylor expansion of x in y
9.856 * [taylor]: Taking taylor expansion of (* z y) in y
9.856 * [taylor]: Taking taylor expansion of z in y
9.856 * [taylor]: Taking taylor expansion of y in y
9.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.856 * [taylor]: Taking taylor expansion of 18.0 in x
9.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.856 * [taylor]: Taking taylor expansion of x in x
9.856 * [taylor]: Taking taylor expansion of (* z y) in x
9.856 * [taylor]: Taking taylor expansion of z in x
9.856 * [taylor]: Taking taylor expansion of y in x
9.856 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.856 * [taylor]: Taking taylor expansion of 18.0 in x
9.856 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.856 * [taylor]: Taking taylor expansion of x in x
9.856 * [taylor]: Taking taylor expansion of (* z y) in x
9.856 * [taylor]: Taking taylor expansion of z in x
9.856 * [taylor]: Taking taylor expansion of y in x
9.857 * [taylor]: Taking taylor expansion of 0 in y
9.857 * [taylor]: Taking taylor expansion of 0 in z
9.858 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
9.858 * [taylor]: Taking taylor expansion of 18.0 in y
9.858 * [taylor]: Taking taylor expansion of (* z y) in y
9.858 * [taylor]: Taking taylor expansion of z in y
9.858 * [taylor]: Taking taylor expansion of y in y
9.858 * [taylor]: Taking taylor expansion of 0 in z
9.858 * [taylor]: Taking taylor expansion of 0 in z
9.860 * [taylor]: Taking taylor expansion of 0 in y
9.860 * [taylor]: Taking taylor expansion of 0 in z
9.860 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
9.860 * [taylor]: Taking taylor expansion of 18.0 in z
9.861 * [taylor]: Taking taylor expansion of z in z
9.861 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
9.861 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
9.861 * [taylor]: Taking taylor expansion of 18.0 in z
9.861 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.861 * [taylor]: Taking taylor expansion of x in z
9.861 * [taylor]: Taking taylor expansion of (* z y) in z
9.861 * [taylor]: Taking taylor expansion of z in z
9.861 * [taylor]: Taking taylor expansion of y in z
9.862 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
9.862 * [taylor]: Taking taylor expansion of 18.0 in y
9.862 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.862 * [taylor]: Taking taylor expansion of x in y
9.862 * [taylor]: Taking taylor expansion of (* z y) in y
9.862 * [taylor]: Taking taylor expansion of z in y
9.862 * [taylor]: Taking taylor expansion of y in y
9.863 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.863 * [taylor]: Taking taylor expansion of 18.0 in x
9.863 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.863 * [taylor]: Taking taylor expansion of x in x
9.863 * [taylor]: Taking taylor expansion of (* z y) in x
9.863 * [taylor]: Taking taylor expansion of z in x
9.863 * [taylor]: Taking taylor expansion of y in x
9.863 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.863 * [taylor]: Taking taylor expansion of 18.0 in x
9.863 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.863 * [taylor]: Taking taylor expansion of x in x
9.863 * [taylor]: Taking taylor expansion of (* z y) in x
9.863 * [taylor]: Taking taylor expansion of z in x
9.863 * [taylor]: Taking taylor expansion of y in x
9.864 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
9.864 * [taylor]: Taking taylor expansion of 18.0 in y
9.864 * [taylor]: Taking taylor expansion of (* z y) in y
9.864 * [taylor]: Taking taylor expansion of z in y
9.864 * [taylor]: Taking taylor expansion of y in y
9.864 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
9.864 * [taylor]: Taking taylor expansion of 18.0 in z
9.864 * [taylor]: Taking taylor expansion of z in z
9.866 * [taylor]: Taking taylor expansion of 0 in y
9.866 * [taylor]: Taking taylor expansion of 0 in z
9.868 * [taylor]: Taking taylor expansion of 0 in y
9.869 * [taylor]: Taking taylor expansion of 0 in z
9.869 * [taylor]: Taking taylor expansion of 0 in z
9.872 * [taylor]: Taking taylor expansion of 0 in y
9.872 * [taylor]: Taking taylor expansion of 0 in z
9.872 * [taylor]: Taking taylor expansion of 0 in z
9.873 * [taylor]: Taking taylor expansion of 0 in z
9.873 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
9.873 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
9.873 * [taylor]: Taking taylor expansion of -18.0 in z
9.873 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.873 * [taylor]: Taking taylor expansion of x in z
9.873 * [taylor]: Taking taylor expansion of (* z y) in z
9.873 * [taylor]: Taking taylor expansion of z in z
9.873 * [taylor]: Taking taylor expansion of y in z
9.874 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
9.874 * [taylor]: Taking taylor expansion of -18.0 in y
9.874 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.874 * [taylor]: Taking taylor expansion of x in y
9.874 * [taylor]: Taking taylor expansion of (* z y) in y
9.874 * [taylor]: Taking taylor expansion of z in y
9.874 * [taylor]: Taking taylor expansion of y in y
9.875 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.875 * [taylor]: Taking taylor expansion of -18.0 in x
9.875 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.875 * [taylor]: Taking taylor expansion of x in x
9.875 * [taylor]: Taking taylor expansion of (* z y) in x
9.875 * [taylor]: Taking taylor expansion of z in x
9.875 * [taylor]: Taking taylor expansion of y in x
9.876 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.876 * [taylor]: Taking taylor expansion of -18.0 in x
9.876 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.876 * [taylor]: Taking taylor expansion of x in x
9.876 * [taylor]: Taking taylor expansion of (* z y) in x
9.876 * [taylor]: Taking taylor expansion of z in x
9.876 * [taylor]: Taking taylor expansion of y in x
9.876 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
9.876 * [taylor]: Taking taylor expansion of -18.0 in y
9.876 * [taylor]: Taking taylor expansion of (* z y) in y
9.876 * [taylor]: Taking taylor expansion of z in y
9.876 * [taylor]: Taking taylor expansion of y in y
9.877 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
9.877 * [taylor]: Taking taylor expansion of -18.0 in z
9.877 * [taylor]: Taking taylor expansion of z in z
9.878 * [taylor]: Taking taylor expansion of 0 in y
9.879 * [taylor]: Taking taylor expansion of 0 in z
9.881 * [taylor]: Taking taylor expansion of 0 in y
9.881 * [taylor]: Taking taylor expansion of 0 in z
9.882 * [taylor]: Taking taylor expansion of 0 in z
9.884 * [taylor]: Taking taylor expansion of 0 in y
9.884 * [taylor]: Taking taylor expansion of 0 in z
9.884 * [taylor]: Taking taylor expansion of 0 in z
9.885 * [taylor]: Taking taylor expansion of 0 in z
9.885 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
9.885 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
9.885 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
9.886 * [taylor]: Taking taylor expansion of 27.0 in j
9.886 * [taylor]: Taking taylor expansion of (* k j) in j
9.886 * [taylor]: Taking taylor expansion of k in j
9.886 * [taylor]: Taking taylor expansion of j in j
9.886 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
9.886 * [taylor]: Taking taylor expansion of 27.0 in k
9.886 * [taylor]: Taking taylor expansion of (* k j) in k
9.886 * [taylor]: Taking taylor expansion of k in k
9.886 * [taylor]: Taking taylor expansion of j in k
9.886 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
9.886 * [taylor]: Taking taylor expansion of 27.0 in k
9.886 * [taylor]: Taking taylor expansion of (* k j) in k
9.886 * [taylor]: Taking taylor expansion of k in k
9.886 * [taylor]: Taking taylor expansion of j in k
9.886 * [taylor]: Taking taylor expansion of 0 in j
9.887 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
9.887 * [taylor]: Taking taylor expansion of 27.0 in j
9.887 * [taylor]: Taking taylor expansion of j in j
9.888 * [taylor]: Taking taylor expansion of 0 in j
9.891 * [taylor]: Taking taylor expansion of 0 in j
9.894 * [taylor]: Taking taylor expansion of 0 in j
9.894 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
9.894 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
9.894 * [taylor]: Taking taylor expansion of 27.0 in j
9.894 * [taylor]: Taking taylor expansion of (* k j) in j
9.894 * [taylor]: Taking taylor expansion of k in j
9.894 * [taylor]: Taking taylor expansion of j in j
9.894 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
9.894 * [taylor]: Taking taylor expansion of 27.0 in k
9.894 * [taylor]: Taking taylor expansion of (* k j) in k
9.894 * [taylor]: Taking taylor expansion of k in k
9.894 * [taylor]: Taking taylor expansion of j in k
9.895 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
9.895 * [taylor]: Taking taylor expansion of 27.0 in k
9.895 * [taylor]: Taking taylor expansion of (* k j) in k
9.895 * [taylor]: Taking taylor expansion of k in k
9.895 * [taylor]: Taking taylor expansion of j in k
9.895 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
9.895 * [taylor]: Taking taylor expansion of 27.0 in j
9.895 * [taylor]: Taking taylor expansion of j in j
9.896 * [taylor]: Taking taylor expansion of 0 in j
9.898 * [taylor]: Taking taylor expansion of 0 in j
9.900 * [taylor]: Taking taylor expansion of 0 in j
9.900 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
9.900 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
9.900 * [taylor]: Taking taylor expansion of 27.0 in j
9.901 * [taylor]: Taking taylor expansion of (* k j) in j
9.901 * [taylor]: Taking taylor expansion of k in j
9.901 * [taylor]: Taking taylor expansion of j in j
9.901 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
9.901 * [taylor]: Taking taylor expansion of 27.0 in k
9.901 * [taylor]: Taking taylor expansion of (* k j) in k
9.901 * [taylor]: Taking taylor expansion of k in k
9.901 * [taylor]: Taking taylor expansion of j in k
9.901 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
9.901 * [taylor]: Taking taylor expansion of 27.0 in k
9.901 * [taylor]: Taking taylor expansion of (* k j) in k
9.901 * [taylor]: Taking taylor expansion of k in k
9.901 * [taylor]: Taking taylor expansion of j in k
9.902 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
9.902 * [taylor]: Taking taylor expansion of 27.0 in j
9.902 * [taylor]: Taking taylor expansion of j in j
9.903 * [taylor]: Taking taylor expansion of 0 in j
9.904 * [taylor]: Taking taylor expansion of 0 in j
9.906 * [taylor]: Taking taylor expansion of 0 in j
9.907 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
9.907 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
9.907 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
9.907 * [taylor]: Taking taylor expansion of 18.0 in y
9.907 * [taylor]: Taking taylor expansion of (* x y) in y
9.907 * [taylor]: Taking taylor expansion of x in y
9.907 * [taylor]: Taking taylor expansion of y in y
9.907 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
9.907 * [taylor]: Taking taylor expansion of 18.0 in x
9.907 * [taylor]: Taking taylor expansion of (* x y) in x
9.907 * [taylor]: Taking taylor expansion of x in x
9.907 * [taylor]: Taking taylor expansion of y in x
9.907 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
9.907 * [taylor]: Taking taylor expansion of 18.0 in x
9.907 * [taylor]: Taking taylor expansion of (* x y) in x
9.907 * [taylor]: Taking taylor expansion of x in x
9.907 * [taylor]: Taking taylor expansion of y in x
9.908 * [taylor]: Taking taylor expansion of 0 in y
9.908 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
9.909 * [taylor]: Taking taylor expansion of 18.0 in y
9.909 * [taylor]: Taking taylor expansion of y in y
9.910 * [taylor]: Taking taylor expansion of 0 in y
9.913 * [taylor]: Taking taylor expansion of 0 in y
9.916 * [taylor]: Taking taylor expansion of 0 in y
9.916 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
9.916 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
9.916 * [taylor]: Taking taylor expansion of 18.0 in y
9.916 * [taylor]: Taking taylor expansion of (* x y) in y
9.916 * [taylor]: Taking taylor expansion of x in y
9.916 * [taylor]: Taking taylor expansion of y in y
9.916 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.916 * [taylor]: Taking taylor expansion of 18.0 in x
9.916 * [taylor]: Taking taylor expansion of (* x y) in x
9.916 * [taylor]: Taking taylor expansion of x in x
9.916 * [taylor]: Taking taylor expansion of y in x
9.917 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.917 * [taylor]: Taking taylor expansion of 18.0 in x
9.917 * [taylor]: Taking taylor expansion of (* x y) in x
9.917 * [taylor]: Taking taylor expansion of x in x
9.917 * [taylor]: Taking taylor expansion of y in x
9.917 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
9.917 * [taylor]: Taking taylor expansion of 18.0 in y
9.917 * [taylor]: Taking taylor expansion of y in y
9.918 * [taylor]: Taking taylor expansion of 0 in y
9.920 * [taylor]: Taking taylor expansion of 0 in y
9.921 * [taylor]: Taking taylor expansion of 0 in y
9.922 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
9.922 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
9.922 * [taylor]: Taking taylor expansion of 18.0 in y
9.922 * [taylor]: Taking taylor expansion of (* x y) in y
9.922 * [taylor]: Taking taylor expansion of x in y
9.923 * [taylor]: Taking taylor expansion of y in y
9.923 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.923 * [taylor]: Taking taylor expansion of 18.0 in x
9.923 * [taylor]: Taking taylor expansion of (* x y) in x
9.923 * [taylor]: Taking taylor expansion of x in x
9.923 * [taylor]: Taking taylor expansion of y in x
9.924 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
9.924 * [taylor]: Taking taylor expansion of 18.0 in x
9.924 * [taylor]: Taking taylor expansion of (* x y) in x
9.924 * [taylor]: Taking taylor expansion of x in x
9.924 * [taylor]: Taking taylor expansion of y in x
9.924 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
9.924 * [taylor]: Taking taylor expansion of 18.0 in y
9.924 * [taylor]: Taking taylor expansion of y in y
9.925 * [taylor]: Taking taylor expansion of 0 in y
9.927 * [taylor]: Taking taylor expansion of 0 in y
9.934 * [taylor]: Taking taylor expansion of 0 in y
9.935 * * * [progress]: simplifying candidates
9.937 * [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))
9.941 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
9.964 * * [simplify]: iteration  1 :  354  enodes  (cost  943 )
10.197 * * [simplify]: iteration  2 :  1700  enodes  (cost  737 )
11.187 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
11.188 * [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)
11.189 * * * [progress]: adding candidates to table
11.574 * * [progress]: iteration 4 / 4
11.574 * * * [progress]: picking best candidate
11.615 * * * * [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)))))>
11.615 * * * [progress]: localizing error
11.641 * * * [progress]: generating rewritten candidates
11.642 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
11.721 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
11.742 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
11.752 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
11.775 * * * [progress]: generating series expansions
11.776 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
11.776 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.776 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
11.776 * [taylor]: Taking taylor expansion of 18.0 in t
11.776 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.776 * [taylor]: Taking taylor expansion of t in t
11.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.776 * [taylor]: Taking taylor expansion of x in t
11.776 * [taylor]: Taking taylor expansion of (* z y) in t
11.776 * [taylor]: Taking taylor expansion of z in t
11.776 * [taylor]: Taking taylor expansion of y in t
11.776 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
11.776 * [taylor]: Taking taylor expansion of 18.0 in z
11.776 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.776 * [taylor]: Taking taylor expansion of t in z
11.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.776 * [taylor]: Taking taylor expansion of x in z
11.776 * [taylor]: Taking taylor expansion of (* z y) in z
11.776 * [taylor]: Taking taylor expansion of z in z
11.776 * [taylor]: Taking taylor expansion of y in z
11.776 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
11.776 * [taylor]: Taking taylor expansion of 18.0 in y
11.776 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.776 * [taylor]: Taking taylor expansion of t in y
11.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.776 * [taylor]: Taking taylor expansion of x in y
11.776 * [taylor]: Taking taylor expansion of (* z y) in y
11.776 * [taylor]: Taking taylor expansion of z in y
11.776 * [taylor]: Taking taylor expansion of y in y
11.776 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
11.776 * [taylor]: Taking taylor expansion of 18.0 in x
11.776 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.776 * [taylor]: Taking taylor expansion of t in x
11.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.776 * [taylor]: Taking taylor expansion of x in x
11.776 * [taylor]: Taking taylor expansion of (* z y) in x
11.776 * [taylor]: Taking taylor expansion of z in x
11.776 * [taylor]: Taking taylor expansion of y in x
11.776 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
11.776 * [taylor]: Taking taylor expansion of 18.0 in x
11.776 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.776 * [taylor]: Taking taylor expansion of t in x
11.776 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.776 * [taylor]: Taking taylor expansion of x in x
11.777 * [taylor]: Taking taylor expansion of (* z y) in x
11.777 * [taylor]: Taking taylor expansion of z in x
11.777 * [taylor]: Taking taylor expansion of y in x
11.777 * [taylor]: Taking taylor expansion of 0 in y
11.777 * [taylor]: Taking taylor expansion of 0 in z
11.777 * [taylor]: Taking taylor expansion of 0 in t
11.779 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
11.779 * [taylor]: Taking taylor expansion of 18.0 in y
11.779 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.779 * [taylor]: Taking taylor expansion of t in y
11.779 * [taylor]: Taking taylor expansion of (* z y) in y
11.779 * [taylor]: Taking taylor expansion of z in y
11.779 * [taylor]: Taking taylor expansion of y in y
11.779 * [taylor]: Taking taylor expansion of 0 in z
11.779 * [taylor]: Taking taylor expansion of 0 in t
11.779 * [taylor]: Taking taylor expansion of 0 in z
11.779 * [taylor]: Taking taylor expansion of 0 in t
11.779 * [taylor]: Taking taylor expansion of 0 in t
11.781 * [taylor]: Taking taylor expansion of 0 in y
11.781 * [taylor]: Taking taylor expansion of 0 in z
11.781 * [taylor]: Taking taylor expansion of 0 in t
11.781 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.781 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
11.781 * [taylor]: Taking taylor expansion of 18.0 in t
11.782 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.782 * [taylor]: Taking taylor expansion of t in t
11.782 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.782 * [taylor]: Taking taylor expansion of x in t
11.782 * [taylor]: Taking taylor expansion of (* z y) in t
11.782 * [taylor]: Taking taylor expansion of z in t
11.782 * [taylor]: Taking taylor expansion of y in t
11.782 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
11.782 * [taylor]: Taking taylor expansion of 18.0 in z
11.782 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.782 * [taylor]: Taking taylor expansion of t in z
11.782 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.782 * [taylor]: Taking taylor expansion of x in z
11.782 * [taylor]: Taking taylor expansion of (* z y) in z
11.782 * [taylor]: Taking taylor expansion of z in z
11.782 * [taylor]: Taking taylor expansion of y in z
11.783 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
11.783 * [taylor]: Taking taylor expansion of 18.0 in y
11.783 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.783 * [taylor]: Taking taylor expansion of t in y
11.783 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.783 * [taylor]: Taking taylor expansion of x in y
11.784 * [taylor]: Taking taylor expansion of (* z y) in y
11.784 * [taylor]: Taking taylor expansion of z in y
11.784 * [taylor]: Taking taylor expansion of y in y
11.784 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.785 * [taylor]: Taking taylor expansion of 18.0 in x
11.785 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.785 * [taylor]: Taking taylor expansion of t in x
11.785 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.785 * [taylor]: Taking taylor expansion of x in x
11.785 * [taylor]: Taking taylor expansion of (* z y) in x
11.785 * [taylor]: Taking taylor expansion of z in x
11.785 * [taylor]: Taking taylor expansion of y in x
11.785 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.785 * [taylor]: Taking taylor expansion of 18.0 in x
11.786 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.786 * [taylor]: Taking taylor expansion of t in x
11.786 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.786 * [taylor]: Taking taylor expansion of x in x
11.786 * [taylor]: Taking taylor expansion of (* z y) in x
11.786 * [taylor]: Taking taylor expansion of z in x
11.786 * [taylor]: Taking taylor expansion of y in x
11.786 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
11.786 * [taylor]: Taking taylor expansion of 18.0 in y
11.787 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.787 * [taylor]: Taking taylor expansion of t in y
11.787 * [taylor]: Taking taylor expansion of (* z y) in y
11.787 * [taylor]: Taking taylor expansion of z in y
11.787 * [taylor]: Taking taylor expansion of y in y
11.787 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
11.787 * [taylor]: Taking taylor expansion of 18.0 in z
11.787 * [taylor]: Taking taylor expansion of (* t z) in z
11.787 * [taylor]: Taking taylor expansion of t in z
11.787 * [taylor]: Taking taylor expansion of z in z
11.788 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
11.788 * [taylor]: Taking taylor expansion of 18.0 in t
11.788 * [taylor]: Taking taylor expansion of t in t
11.789 * [taylor]: Taking taylor expansion of 0 in y
11.790 * [taylor]: Taking taylor expansion of 0 in z
11.791 * [taylor]: Taking taylor expansion of 0 in t
11.794 * [taylor]: Taking taylor expansion of 0 in y
11.794 * [taylor]: Taking taylor expansion of 0 in z
11.795 * [taylor]: Taking taylor expansion of 0 in z
11.795 * [taylor]: Taking taylor expansion of 0 in t
11.796 * [taylor]: Taking taylor expansion of 0 in t
11.799 * [taylor]: Taking taylor expansion of 0 in y
11.800 * [taylor]: Taking taylor expansion of 0 in z
11.800 * [taylor]: Taking taylor expansion of 0 in z
11.801 * [taylor]: Taking taylor expansion of 0 in z
11.801 * [taylor]: Taking taylor expansion of 0 in t
11.801 * [taylor]: Taking taylor expansion of 0 in t
11.801 * [taylor]: Taking taylor expansion of 0 in t
11.802 * [taylor]: Taking taylor expansion of 0 in t
11.803 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.803 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
11.803 * [taylor]: Taking taylor expansion of 18.0 in t
11.803 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.803 * [taylor]: Taking taylor expansion of t in t
11.803 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.803 * [taylor]: Taking taylor expansion of x in t
11.803 * [taylor]: Taking taylor expansion of (* z y) in t
11.803 * [taylor]: Taking taylor expansion of z in t
11.803 * [taylor]: Taking taylor expansion of y in t
11.803 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
11.803 * [taylor]: Taking taylor expansion of 18.0 in z
11.803 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.803 * [taylor]: Taking taylor expansion of t in z
11.803 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.803 * [taylor]: Taking taylor expansion of x in z
11.803 * [taylor]: Taking taylor expansion of (* z y) in z
11.803 * [taylor]: Taking taylor expansion of z in z
11.803 * [taylor]: Taking taylor expansion of y in z
11.804 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
11.805 * [taylor]: Taking taylor expansion of 18.0 in y
11.805 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.805 * [taylor]: Taking taylor expansion of t in y
11.805 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.805 * [taylor]: Taking taylor expansion of x in y
11.805 * [taylor]: Taking taylor expansion of (* z y) in y
11.805 * [taylor]: Taking taylor expansion of z in y
11.805 * [taylor]: Taking taylor expansion of y in y
11.806 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.806 * [taylor]: Taking taylor expansion of 18.0 in x
11.806 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.806 * [taylor]: Taking taylor expansion of t in x
11.806 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.806 * [taylor]: Taking taylor expansion of x in x
11.806 * [taylor]: Taking taylor expansion of (* z y) in x
11.806 * [taylor]: Taking taylor expansion of z in x
11.806 * [taylor]: Taking taylor expansion of y in x
11.807 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.807 * [taylor]: Taking taylor expansion of 18.0 in x
11.807 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.807 * [taylor]: Taking taylor expansion of t in x
11.807 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.807 * [taylor]: Taking taylor expansion of x in x
11.807 * [taylor]: Taking taylor expansion of (* z y) in x
11.807 * [taylor]: Taking taylor expansion of z in x
11.807 * [taylor]: Taking taylor expansion of y in x
11.808 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
11.808 * [taylor]: Taking taylor expansion of 18.0 in y
11.808 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.808 * [taylor]: Taking taylor expansion of t in y
11.808 * [taylor]: Taking taylor expansion of (* z y) in y
11.808 * [taylor]: Taking taylor expansion of z in y
11.808 * [taylor]: Taking taylor expansion of y in y
11.808 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
11.808 * [taylor]: Taking taylor expansion of 18.0 in z
11.808 * [taylor]: Taking taylor expansion of (* t z) in z
11.808 * [taylor]: Taking taylor expansion of t in z
11.808 * [taylor]: Taking taylor expansion of z in z
11.809 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
11.809 * [taylor]: Taking taylor expansion of 18.0 in t
11.809 * [taylor]: Taking taylor expansion of t in t
11.811 * [taylor]: Taking taylor expansion of 0 in y
11.811 * [taylor]: Taking taylor expansion of 0 in z
11.812 * [taylor]: Taking taylor expansion of 0 in t
11.815 * [taylor]: Taking taylor expansion of 0 in y
11.815 * [taylor]: Taking taylor expansion of 0 in z
11.816 * [taylor]: Taking taylor expansion of 0 in z
11.816 * [taylor]: Taking taylor expansion of 0 in t
11.817 * [taylor]: Taking taylor expansion of 0 in t
11.820 * [taylor]: Taking taylor expansion of 0 in y
11.821 * [taylor]: Taking taylor expansion of 0 in z
11.821 * [taylor]: Taking taylor expansion of 0 in z
11.822 * [taylor]: Taking taylor expansion of 0 in z
11.822 * [taylor]: Taking taylor expansion of 0 in t
11.822 * [taylor]: Taking taylor expansion of 0 in t
11.822 * [taylor]: Taking taylor expansion of 0 in t
11.823 * [taylor]: Taking taylor expansion of 0 in t
11.823 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
11.823 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
11.824 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
11.824 * [taylor]: Taking taylor expansion of 18.0 in z
11.824 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.824 * [taylor]: Taking taylor expansion of x in z
11.824 * [taylor]: Taking taylor expansion of (* z y) in z
11.824 * [taylor]: Taking taylor expansion of z in z
11.824 * [taylor]: Taking taylor expansion of y in z
11.824 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
11.824 * [taylor]: Taking taylor expansion of 18.0 in y
11.824 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.824 * [taylor]: Taking taylor expansion of x in y
11.824 * [taylor]: Taking taylor expansion of (* z y) in y
11.824 * [taylor]: Taking taylor expansion of z in y
11.824 * [taylor]: Taking taylor expansion of y in y
11.824 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.824 * [taylor]: Taking taylor expansion of 18.0 in x
11.824 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.824 * [taylor]: Taking taylor expansion of x in x
11.824 * [taylor]: Taking taylor expansion of (* z y) in x
11.824 * [taylor]: Taking taylor expansion of z in x
11.824 * [taylor]: Taking taylor expansion of y in x
11.824 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
11.824 * [taylor]: Taking taylor expansion of 18.0 in x
11.824 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.824 * [taylor]: Taking taylor expansion of x in x
11.824 * [taylor]: Taking taylor expansion of (* z y) in x
11.824 * [taylor]: Taking taylor expansion of z in x
11.824 * [taylor]: Taking taylor expansion of y in x
11.825 * [taylor]: Taking taylor expansion of 0 in y
11.825 * [taylor]: Taking taylor expansion of 0 in z
11.826 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
11.826 * [taylor]: Taking taylor expansion of 18.0 in y
11.826 * [taylor]: Taking taylor expansion of (* z y) in y
11.826 * [taylor]: Taking taylor expansion of z in y
11.826 * [taylor]: Taking taylor expansion of y in y
11.826 * [taylor]: Taking taylor expansion of 0 in z
11.826 * [taylor]: Taking taylor expansion of 0 in z
11.828 * [taylor]: Taking taylor expansion of 0 in y
11.828 * [taylor]: Taking taylor expansion of 0 in z
11.828 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
11.828 * [taylor]: Taking taylor expansion of 18.0 in z
11.828 * [taylor]: Taking taylor expansion of z in z
11.829 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
11.829 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
11.829 * [taylor]: Taking taylor expansion of 18.0 in z
11.829 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.829 * [taylor]: Taking taylor expansion of x in z
11.829 * [taylor]: Taking taylor expansion of (* z y) in z
11.829 * [taylor]: Taking taylor expansion of z in z
11.829 * [taylor]: Taking taylor expansion of y in z
11.830 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
11.830 * [taylor]: Taking taylor expansion of 18.0 in y
11.830 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.830 * [taylor]: Taking taylor expansion of x in y
11.830 * [taylor]: Taking taylor expansion of (* z y) in y
11.830 * [taylor]: Taking taylor expansion of z in y
11.830 * [taylor]: Taking taylor expansion of y in y
11.830 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
11.830 * [taylor]: Taking taylor expansion of 18.0 in x
11.831 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.831 * [taylor]: Taking taylor expansion of x in x
11.831 * [taylor]: Taking taylor expansion of (* z y) in x
11.831 * [taylor]: Taking taylor expansion of z in x
11.831 * [taylor]: Taking taylor expansion of y in x
11.831 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
11.831 * [taylor]: Taking taylor expansion of 18.0 in x
11.831 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.831 * [taylor]: Taking taylor expansion of x in x
11.831 * [taylor]: Taking taylor expansion of (* z y) in x
11.831 * [taylor]: Taking taylor expansion of z in x
11.831 * [taylor]: Taking taylor expansion of y in x
11.832 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
11.832 * [taylor]: Taking taylor expansion of 18.0 in y
11.832 * [taylor]: Taking taylor expansion of (* z y) in y
11.832 * [taylor]: Taking taylor expansion of z in y
11.832 * [taylor]: Taking taylor expansion of y in y
11.832 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
11.832 * [taylor]: Taking taylor expansion of 18.0 in z
11.832 * [taylor]: Taking taylor expansion of z in z
11.833 * [taylor]: Taking taylor expansion of 0 in y
11.834 * [taylor]: Taking taylor expansion of 0 in z
11.836 * [taylor]: Taking taylor expansion of 0 in y
11.836 * [taylor]: Taking taylor expansion of 0 in z
11.837 * [taylor]: Taking taylor expansion of 0 in z
11.839 * [taylor]: Taking taylor expansion of 0 in y
11.840 * [taylor]: Taking taylor expansion of 0 in z
11.840 * [taylor]: Taking taylor expansion of 0 in z
11.840 * [taylor]: Taking taylor expansion of 0 in z
11.841 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
11.841 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
11.841 * [taylor]: Taking taylor expansion of -18.0 in z
11.841 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.841 * [taylor]: Taking taylor expansion of x in z
11.841 * [taylor]: Taking taylor expansion of (* z y) in z
11.841 * [taylor]: Taking taylor expansion of z in z
11.841 * [taylor]: Taking taylor expansion of y in z
11.842 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
11.842 * [taylor]: Taking taylor expansion of -18.0 in y
11.842 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.842 * [taylor]: Taking taylor expansion of x in y
11.842 * [taylor]: Taking taylor expansion of (* z y) in y
11.842 * [taylor]: Taking taylor expansion of z in y
11.842 * [taylor]: Taking taylor expansion of y in y
11.847 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
11.847 * [taylor]: Taking taylor expansion of -18.0 in x
11.847 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.847 * [taylor]: Taking taylor expansion of x in x
11.847 * [taylor]: Taking taylor expansion of (* z y) in x
11.847 * [taylor]: Taking taylor expansion of z in x
11.847 * [taylor]: Taking taylor expansion of y in x
11.848 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
11.848 * [taylor]: Taking taylor expansion of -18.0 in x
11.848 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.848 * [taylor]: Taking taylor expansion of x in x
11.848 * [taylor]: Taking taylor expansion of (* z y) in x
11.848 * [taylor]: Taking taylor expansion of z in x
11.848 * [taylor]: Taking taylor expansion of y in x
11.849 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
11.849 * [taylor]: Taking taylor expansion of -18.0 in y
11.849 * [taylor]: Taking taylor expansion of (* z y) in y
11.849 * [taylor]: Taking taylor expansion of z in y
11.849 * [taylor]: Taking taylor expansion of y in y
11.849 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
11.849 * [taylor]: Taking taylor expansion of -18.0 in z
11.849 * [taylor]: Taking taylor expansion of z in z
11.851 * [taylor]: Taking taylor expansion of 0 in y
11.851 * [taylor]: Taking taylor expansion of 0 in z
11.853 * [taylor]: Taking taylor expansion of 0 in y
11.854 * [taylor]: Taking taylor expansion of 0 in z
11.854 * [taylor]: Taking taylor expansion of 0 in z
11.858 * [taylor]: Taking taylor expansion of 0 in y
11.858 * [taylor]: Taking taylor expansion of 0 in z
11.858 * [taylor]: Taking taylor expansion of 0 in z
11.858 * [taylor]: Taking taylor expansion of 0 in z
11.859 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
11.859 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
11.859 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
11.859 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.859 * [taylor]: Taking taylor expansion of 27.0 in j
11.860 * [taylor]: Taking taylor expansion of (* j k) in j
11.860 * [taylor]: Taking taylor expansion of j in j
11.860 * [taylor]: Taking taylor expansion of k in j
11.860 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
11.860 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.860 * [taylor]: Taking taylor expansion of 27.0 in k
11.861 * [taylor]: Taking taylor expansion of (* j k) in k
11.861 * [taylor]: Taking taylor expansion of j in k
11.861 * [taylor]: Taking taylor expansion of k in k
11.861 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
11.861 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.861 * [taylor]: Taking taylor expansion of 27.0 in k
11.862 * [taylor]: Taking taylor expansion of (* j k) in k
11.862 * [taylor]: Taking taylor expansion of j in k
11.862 * [taylor]: Taking taylor expansion of k in k
11.863 * [taylor]: Taking taylor expansion of 0 in j
11.863 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
11.863 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.864 * [taylor]: Taking taylor expansion of 27.0 in j
11.864 * [taylor]: Taking taylor expansion of j in j
11.866 * [taylor]: Taking taylor expansion of 0 in j
11.870 * [taylor]: Taking taylor expansion of 0 in j
11.874 * [taylor]: Taking taylor expansion of 0 in j
11.875 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
11.875 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
11.875 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.875 * [taylor]: Taking taylor expansion of 27.0 in j
11.876 * [taylor]: Taking taylor expansion of (* j k) in j
11.876 * [taylor]: Taking taylor expansion of j in j
11.876 * [taylor]: Taking taylor expansion of k in j
11.877 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
11.877 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.877 * [taylor]: Taking taylor expansion of 27.0 in k
11.877 * [taylor]: Taking taylor expansion of (* j k) in k
11.877 * [taylor]: Taking taylor expansion of j in k
11.877 * [taylor]: Taking taylor expansion of k in k
11.878 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
11.878 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.878 * [taylor]: Taking taylor expansion of 27.0 in k
11.879 * [taylor]: Taking taylor expansion of (* j k) in k
11.879 * [taylor]: Taking taylor expansion of j in k
11.879 * [taylor]: Taking taylor expansion of k in k
11.880 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
11.880 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.880 * [taylor]: Taking taylor expansion of 27.0 in j
11.880 * [taylor]: Taking taylor expansion of j in j
11.882 * [taylor]: Taking taylor expansion of 0 in j
11.884 * [taylor]: Taking taylor expansion of 0 in j
11.888 * [taylor]: Taking taylor expansion of 0 in j
11.890 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
11.890 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
11.890 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.890 * [taylor]: Taking taylor expansion of 27.0 in j
11.891 * [taylor]: Taking taylor expansion of (* j k) in j
11.891 * [taylor]: Taking taylor expansion of j in j
11.891 * [taylor]: Taking taylor expansion of k in j
11.891 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
11.892 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.892 * [taylor]: Taking taylor expansion of 27.0 in k
11.892 * [taylor]: Taking taylor expansion of (* j k) in k
11.892 * [taylor]: Taking taylor expansion of j in k
11.892 * [taylor]: Taking taylor expansion of k in k
11.893 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
11.893 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.893 * [taylor]: Taking taylor expansion of 27.0 in k
11.894 * [taylor]: Taking taylor expansion of (* j k) in k
11.894 * [taylor]: Taking taylor expansion of j in k
11.894 * [taylor]: Taking taylor expansion of k in k
11.894 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
11.894 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.894 * [taylor]: Taking taylor expansion of 27.0 in j
11.895 * [taylor]: Taking taylor expansion of j in j
11.897 * [taylor]: Taking taylor expansion of 0 in j
11.899 * [taylor]: Taking taylor expansion of 0 in j
11.902 * [taylor]: Taking taylor expansion of 0 in j
11.904 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
11.905 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
11.905 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
11.905 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
11.905 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.905 * [taylor]: Taking taylor expansion of 27.0 in j
11.906 * [taylor]: Taking taylor expansion of (* k j) in j
11.906 * [taylor]: Taking taylor expansion of k in j
11.906 * [taylor]: Taking taylor expansion of j in j
11.906 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
11.906 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
11.906 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.906 * [taylor]: Taking taylor expansion of 27.0 in k
11.907 * [taylor]: Taking taylor expansion of (* k j) in k
11.907 * [taylor]: Taking taylor expansion of k in k
11.907 * [taylor]: Taking taylor expansion of j in k
11.907 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
11.907 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
11.907 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.907 * [taylor]: Taking taylor expansion of 27.0 in k
11.907 * [taylor]: Taking taylor expansion of (* k j) in k
11.908 * [taylor]: Taking taylor expansion of k in k
11.908 * [taylor]: Taking taylor expansion of j in k
11.909 * [taylor]: Taking taylor expansion of 0 in j
11.911 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
11.911 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
11.911 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.911 * [taylor]: Taking taylor expansion of 27.0 in j
11.912 * [taylor]: Taking taylor expansion of j in j
11.916 * [taylor]: Taking taylor expansion of 0 in j
11.922 * [taylor]: Taking taylor expansion of 0 in j
11.929 * [taylor]: Taking taylor expansion of 0 in j
11.930 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
11.930 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
11.930 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
11.930 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.930 * [taylor]: Taking taylor expansion of 27.0 in j
11.931 * [taylor]: Taking taylor expansion of (* k j) in j
11.931 * [taylor]: Taking taylor expansion of k in j
11.931 * [taylor]: Taking taylor expansion of j in j
11.933 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
11.933 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
11.933 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.933 * [taylor]: Taking taylor expansion of 27.0 in k
11.934 * [taylor]: Taking taylor expansion of (* k j) in k
11.934 * [taylor]: Taking taylor expansion of k in k
11.934 * [taylor]: Taking taylor expansion of j in k
11.936 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
11.936 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
11.936 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.936 * [taylor]: Taking taylor expansion of 27.0 in k
11.937 * [taylor]: Taking taylor expansion of (* k j) in k
11.937 * [taylor]: Taking taylor expansion of k in k
11.937 * [taylor]: Taking taylor expansion of j in k
11.939 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
11.939 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
11.939 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.939 * [taylor]: Taking taylor expansion of 27.0 in j
11.940 * [taylor]: Taking taylor expansion of j in j
11.951 * [taylor]: Taking taylor expansion of 0 in j
11.956 * [taylor]: Taking taylor expansion of 0 in j
11.962 * [taylor]: Taking taylor expansion of 0 in j
11.966 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
11.966 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
11.966 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
11.966 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.966 * [taylor]: Taking taylor expansion of 27.0 in j
11.967 * [taylor]: Taking taylor expansion of (* k j) in j
11.967 * [taylor]: Taking taylor expansion of k in j
11.967 * [taylor]: Taking taylor expansion of j in j
11.969 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
11.969 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
11.969 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.969 * [taylor]: Taking taylor expansion of 27.0 in k
11.970 * [taylor]: Taking taylor expansion of (* k j) in k
11.970 * [taylor]: Taking taylor expansion of k in k
11.970 * [taylor]: Taking taylor expansion of j in k
11.972 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
11.972 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
11.972 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
11.972 * [taylor]: Taking taylor expansion of 27.0 in k
11.973 * [taylor]: Taking taylor expansion of (* k j) in k
11.973 * [taylor]: Taking taylor expansion of k in k
11.973 * [taylor]: Taking taylor expansion of j in k
11.974 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
11.975 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
11.975 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
11.975 * [taylor]: Taking taylor expansion of 27.0 in j
11.975 * [taylor]: Taking taylor expansion of j in j
11.980 * [taylor]: Taking taylor expansion of 0 in j
11.984 * [taylor]: Taking taylor expansion of 0 in j
11.990 * [taylor]: Taking taylor expansion of 0 in j
11.993 * * * [progress]: simplifying candidates
11.995 * [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))
11.999 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
12.034 * * [simplify]: iteration  1 :  402  enodes  (cost  1050 )
12.209 * * [simplify]: iteration  2 :  1756  enodes  (cost  828 )
13.066 * * [simplify]: iteration  done :  5001  enodes  (cost  828 )
13.066 * [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 (* (* k j) 27.0))
  (log1p (* (* k j) 27.0))
  (* (* k j) 27.0)
  (* (* k j) 27.0)
  (* (* k j) 27.0)
  (log (* (* k j) 27.0))
  (log (* (* k j) 27.0))
  (log (* (* k j) 27.0))
  (log (* (* k j) 27.0))
  (exp (* (* k j) 27.0))
  (pow (* (* k j) 27.0) 3)
  (pow (* (* k j) 27.0) 3)
  (pow (* (* k j) 27.0) 3)
  (* (cbrt (* (* k j) 27.0)) (cbrt (* (* k j) 27.0)))
  (cbrt (* (* k j) 27.0))
  (pow (* (* k j) 27.0) 3)
  (sqrt (* (* k j) 27.0))
  (sqrt (* (* k j) 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)))
  (* (* k j) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* k j) 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))
  (* (* k j) 27.0)
  (* (* k j) 27.0)
  (* (* k j) 27.0)
13.067 * * * [progress]: adding candidates to table
13.537 * [progress]: [Phase 3 of 3] Extracting.
13.537 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
13.544 * * * [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)
13.544 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
13.629 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
13.716 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
13.817 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
13.892 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
13.957 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.036 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))>)
14.072 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.140 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.223 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.307 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.390 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.461 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.540 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.618 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.696 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.781 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.860 * * * [regime]: Found split indices: #<option (#s(si 1 31) #s(si 6 65) #s(si 0 82) #s(si 4 158) #s(si 3 201) #s(si 0 218) #s(si 6 255))>
14.862 * [binary-search]: Improving bounds with binary search for (* b c) and (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.787 * [regimes]: Found splitpoints: (#s(sp 1 (* b c) -7.786974238903873e+161) #s(sp 6 (* b c) -4.728969445617458e+44) #s(sp 0 (* b c) -1.6071174332412006e-10) #s(sp 4 (* b c) 1.2368022860888e-314) #s(sp 3 (* b c) 7.832862067016947e-40) #s(sp 0 (* b c) 1.7946900526051252e+23) #s(sp 6 (* b c) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (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)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 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 (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j))))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.787 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* b c) -7.786974238903873e+161) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -4.728969445617458e+44) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -1.6071174332412006e-10) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (* b c) 1.2368022860888e-314) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) 7.832862067016947e-40) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (if (<= (* b c) 1.7946900526051252e+23) (fma (* z (* x 18.0)) (* t y) (- (* 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)) (* j (* 27.0 k)))))))))
15.789 * * [simplify]: iteration  0 :  78  enodes  (cost  241 )
15.792 * * [simplify]: iteration  1 :  107  enodes  (cost  241 )
15.794 * * [simplify]: iteration  done :  107  enodes  (cost  241 )
15.795 * [simplify]: Simplified to:
   (if (<= (* b c) -7.786974238903873e+161) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -4.728969445617458e+44) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -1.6071174332412006e-10) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (* b c) 1.2368022860888e-314) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) 7.832862067016947e-40) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (if (<= (* b c) 1.7946900526051252e+23) (fma (* z (* x 18.0)) (* t y) (- (* 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)) (* j (* 27.0 k)))))))))
18.256 * [regime-testing]: Baseline error score: 5.135098724171853
18.257 * [regime-testing]: Oracle error score: 0.15281555043403464
18.258 * [regime-testing]: End program error score: 5.703214376942758