43.450 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.113 * * * [progress]: [2/2] Setting up program.
0.118 * [progress]: [Phase 2 of 3] Improving.
0.118 * [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.119 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.123 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.133 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.177 * * [simplify]: iteration  3 :  726  enodes  (cost  27 )
0.425 * * [simplify]: iteration  4 :  2118  enodes  (cost  27 )
1.280 * * [simplify]: iteration  5 :  3880  enodes  (cost  26 )
3.326 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
3.326 * [simplify]: Simplified to:
   (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
3.331 * * [progress]: iteration 1 / 4
3.331 * * * [progress]: picking best candidate
3.339 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
3.339 * * * [progress]: localizing error
3.362 * * * [progress]: generating rewritten candidates
3.362 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
3.438 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
3.461 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
3.467 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
3.476 * * * [progress]: generating series expansions
3.477 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
3.477 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.477 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
3.477 * [taylor]: Taking taylor expansion of 18.0 in t
3.477 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.477 * [taylor]: Taking taylor expansion of t in t
3.477 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.477 * [taylor]: Taking taylor expansion of x in t
3.477 * [taylor]: Taking taylor expansion of (* z y) in t
3.477 * [taylor]: Taking taylor expansion of z in t
3.477 * [taylor]: Taking taylor expansion of y in t
3.477 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
3.477 * [taylor]: Taking taylor expansion of 18.0 in z
3.477 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.477 * [taylor]: Taking taylor expansion of t in z
3.477 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.477 * [taylor]: Taking taylor expansion of x in z
3.477 * [taylor]: Taking taylor expansion of (* z y) in z
3.477 * [taylor]: Taking taylor expansion of z in z
3.477 * [taylor]: Taking taylor expansion of y in z
3.477 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
3.477 * [taylor]: Taking taylor expansion of 18.0 in y
3.477 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.477 * [taylor]: Taking taylor expansion of t in y
3.477 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.477 * [taylor]: Taking taylor expansion of x in y
3.477 * [taylor]: Taking taylor expansion of (* z y) in y
3.477 * [taylor]: Taking taylor expansion of z in y
3.477 * [taylor]: Taking taylor expansion of y in y
3.477 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.477 * [taylor]: Taking taylor expansion of 18.0 in x
3.477 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.477 * [taylor]: Taking taylor expansion of t in x
3.477 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.477 * [taylor]: Taking taylor expansion of x in x
3.477 * [taylor]: Taking taylor expansion of (* z y) in x
3.477 * [taylor]: Taking taylor expansion of z in x
3.477 * [taylor]: Taking taylor expansion of y in x
3.477 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
3.477 * [taylor]: Taking taylor expansion of 18.0 in x
3.477 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.477 * [taylor]: Taking taylor expansion of t in x
3.477 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.477 * [taylor]: Taking taylor expansion of x in x
3.478 * [taylor]: Taking taylor expansion of (* z y) in x
3.478 * [taylor]: Taking taylor expansion of z in x
3.478 * [taylor]: Taking taylor expansion of y in x
3.478 * [taylor]: Taking taylor expansion of 0 in y
3.478 * [taylor]: Taking taylor expansion of 0 in z
3.478 * [taylor]: Taking taylor expansion of 0 in t
3.479 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
3.479 * [taylor]: Taking taylor expansion of 18.0 in y
3.479 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.479 * [taylor]: Taking taylor expansion of t in y
3.479 * [taylor]: Taking taylor expansion of (* z y) in y
3.479 * [taylor]: Taking taylor expansion of z in y
3.479 * [taylor]: Taking taylor expansion of y in y
3.480 * [taylor]: Taking taylor expansion of 0 in z
3.480 * [taylor]: Taking taylor expansion of 0 in t
3.480 * [taylor]: Taking taylor expansion of 0 in z
3.480 * [taylor]: Taking taylor expansion of 0 in t
3.480 * [taylor]: Taking taylor expansion of 0 in t
3.482 * [taylor]: Taking taylor expansion of 0 in y
3.482 * [taylor]: Taking taylor expansion of 0 in z
3.482 * [taylor]: Taking taylor expansion of 0 in t
3.482 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.482 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.482 * [taylor]: Taking taylor expansion of 18.0 in t
3.482 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.482 * [taylor]: Taking taylor expansion of t in t
3.482 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.482 * [taylor]: Taking taylor expansion of x in t
3.482 * [taylor]: Taking taylor expansion of (* z y) in t
3.482 * [taylor]: Taking taylor expansion of z in t
3.482 * [taylor]: Taking taylor expansion of y in t
3.483 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.483 * [taylor]: Taking taylor expansion of 18.0 in z
3.483 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.483 * [taylor]: Taking taylor expansion of t in z
3.483 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.483 * [taylor]: Taking taylor expansion of x in z
3.483 * [taylor]: Taking taylor expansion of (* z y) in z
3.483 * [taylor]: Taking taylor expansion of z in z
3.483 * [taylor]: Taking taylor expansion of y in z
3.484 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.484 * [taylor]: Taking taylor expansion of 18.0 in y
3.484 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.484 * [taylor]: Taking taylor expansion of t in y
3.484 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.484 * [taylor]: Taking taylor expansion of x in y
3.484 * [taylor]: Taking taylor expansion of (* z y) in y
3.484 * [taylor]: Taking taylor expansion of z in y
3.484 * [taylor]: Taking taylor expansion of y in y
3.485 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.485 * [taylor]: Taking taylor expansion of 18.0 in x
3.485 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.485 * [taylor]: Taking taylor expansion of t in x
3.485 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.485 * [taylor]: Taking taylor expansion of x in x
3.485 * [taylor]: Taking taylor expansion of (* z y) in x
3.485 * [taylor]: Taking taylor expansion of z in x
3.485 * [taylor]: Taking taylor expansion of y in x
3.486 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.486 * [taylor]: Taking taylor expansion of 18.0 in x
3.486 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.486 * [taylor]: Taking taylor expansion of t in x
3.486 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.486 * [taylor]: Taking taylor expansion of x in x
3.486 * [taylor]: Taking taylor expansion of (* z y) in x
3.486 * [taylor]: Taking taylor expansion of z in x
3.486 * [taylor]: Taking taylor expansion of y in x
3.487 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.487 * [taylor]: Taking taylor expansion of 18.0 in y
3.487 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.487 * [taylor]: Taking taylor expansion of t in y
3.487 * [taylor]: Taking taylor expansion of (* z y) in y
3.487 * [taylor]: Taking taylor expansion of z in y
3.487 * [taylor]: Taking taylor expansion of y in y
3.488 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.488 * [taylor]: Taking taylor expansion of 18.0 in z
3.488 * [taylor]: Taking taylor expansion of (* t z) in z
3.488 * [taylor]: Taking taylor expansion of t in z
3.488 * [taylor]: Taking taylor expansion of z in z
3.488 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.488 * [taylor]: Taking taylor expansion of 18.0 in t
3.488 * [taylor]: Taking taylor expansion of t in t
3.490 * [taylor]: Taking taylor expansion of 0 in y
3.490 * [taylor]: Taking taylor expansion of 0 in z
3.491 * [taylor]: Taking taylor expansion of 0 in t
3.494 * [taylor]: Taking taylor expansion of 0 in y
3.494 * [taylor]: Taking taylor expansion of 0 in z
3.495 * [taylor]: Taking taylor expansion of 0 in z
3.495 * [taylor]: Taking taylor expansion of 0 in t
3.496 * [taylor]: Taking taylor expansion of 0 in t
3.499 * [taylor]: Taking taylor expansion of 0 in y
3.500 * [taylor]: Taking taylor expansion of 0 in z
3.500 * [taylor]: Taking taylor expansion of 0 in z
3.501 * [taylor]: Taking taylor expansion of 0 in z
3.501 * [taylor]: Taking taylor expansion of 0 in t
3.501 * [taylor]: Taking taylor expansion of 0 in t
3.501 * [taylor]: Taking taylor expansion of 0 in t
3.502 * [taylor]: Taking taylor expansion of 0 in t
3.502 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
3.502 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
3.502 * [taylor]: Taking taylor expansion of 18.0 in t
3.502 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
3.502 * [taylor]: Taking taylor expansion of t in t
3.502 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
3.502 * [taylor]: Taking taylor expansion of x in t
3.502 * [taylor]: Taking taylor expansion of (* z y) in t
3.502 * [taylor]: Taking taylor expansion of z in t
3.502 * [taylor]: Taking taylor expansion of y in t
3.503 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
3.503 * [taylor]: Taking taylor expansion of 18.0 in z
3.503 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
3.503 * [taylor]: Taking taylor expansion of t in z
3.503 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.503 * [taylor]: Taking taylor expansion of x in z
3.503 * [taylor]: Taking taylor expansion of (* z y) in z
3.503 * [taylor]: Taking taylor expansion of z in z
3.503 * [taylor]: Taking taylor expansion of y in z
3.504 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
3.504 * [taylor]: Taking taylor expansion of 18.0 in y
3.504 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
3.504 * [taylor]: Taking taylor expansion of t in y
3.504 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.504 * [taylor]: Taking taylor expansion of x in y
3.504 * [taylor]: Taking taylor expansion of (* z y) in y
3.504 * [taylor]: Taking taylor expansion of z in y
3.504 * [taylor]: Taking taylor expansion of y in y
3.505 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.505 * [taylor]: Taking taylor expansion of 18.0 in x
3.505 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.505 * [taylor]: Taking taylor expansion of t in x
3.505 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.505 * [taylor]: Taking taylor expansion of x in x
3.505 * [taylor]: Taking taylor expansion of (* z y) in x
3.505 * [taylor]: Taking taylor expansion of z in x
3.505 * [taylor]: Taking taylor expansion of y in x
3.506 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
3.506 * [taylor]: Taking taylor expansion of 18.0 in x
3.506 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
3.506 * [taylor]: Taking taylor expansion of t in x
3.506 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.506 * [taylor]: Taking taylor expansion of x in x
3.506 * [taylor]: Taking taylor expansion of (* z y) in x
3.506 * [taylor]: Taking taylor expansion of z in x
3.506 * [taylor]: Taking taylor expansion of y in x
3.507 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
3.507 * [taylor]: Taking taylor expansion of 18.0 in y
3.507 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
3.507 * [taylor]: Taking taylor expansion of t in y
3.507 * [taylor]: Taking taylor expansion of (* z y) in y
3.507 * [taylor]: Taking taylor expansion of z in y
3.507 * [taylor]: Taking taylor expansion of y in y
3.508 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
3.508 * [taylor]: Taking taylor expansion of 18.0 in z
3.508 * [taylor]: Taking taylor expansion of (* t z) in z
3.508 * [taylor]: Taking taylor expansion of t in z
3.508 * [taylor]: Taking taylor expansion of z in z
3.508 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
3.508 * [taylor]: Taking taylor expansion of 18.0 in t
3.508 * [taylor]: Taking taylor expansion of t in t
3.510 * [taylor]: Taking taylor expansion of 0 in y
3.511 * [taylor]: Taking taylor expansion of 0 in z
3.511 * [taylor]: Taking taylor expansion of 0 in t
3.514 * [taylor]: Taking taylor expansion of 0 in y
3.514 * [taylor]: Taking taylor expansion of 0 in z
3.515 * [taylor]: Taking taylor expansion of 0 in z
3.515 * [taylor]: Taking taylor expansion of 0 in t
3.516 * [taylor]: Taking taylor expansion of 0 in t
3.519 * [taylor]: Taking taylor expansion of 0 in y
3.519 * [taylor]: Taking taylor expansion of 0 in z
3.519 * [taylor]: Taking taylor expansion of 0 in z
3.521 * [taylor]: Taking taylor expansion of 0 in z
3.521 * [taylor]: Taking taylor expansion of 0 in t
3.521 * [taylor]: Taking taylor expansion of 0 in t
3.521 * [taylor]: Taking taylor expansion of 0 in t
3.521 * [taylor]: Taking taylor expansion of 0 in t
3.522 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
3.522 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
3.522 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
3.522 * [taylor]: Taking taylor expansion of 18.0 in z
3.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.522 * [taylor]: Taking taylor expansion of x in z
3.522 * [taylor]: Taking taylor expansion of (* z y) in z
3.522 * [taylor]: Taking taylor expansion of z in z
3.522 * [taylor]: Taking taylor expansion of y in z
3.522 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
3.522 * [taylor]: Taking taylor expansion of 18.0 in y
3.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.522 * [taylor]: Taking taylor expansion of x in y
3.522 * [taylor]: Taking taylor expansion of (* z y) in y
3.522 * [taylor]: Taking taylor expansion of z in y
3.522 * [taylor]: Taking taylor expansion of y in y
3.522 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.522 * [taylor]: Taking taylor expansion of 18.0 in x
3.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.522 * [taylor]: Taking taylor expansion of x in x
3.522 * [taylor]: Taking taylor expansion of (* z y) in x
3.522 * [taylor]: Taking taylor expansion of z in x
3.522 * [taylor]: Taking taylor expansion of y in x
3.522 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
3.522 * [taylor]: Taking taylor expansion of 18.0 in x
3.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.522 * [taylor]: Taking taylor expansion of x in x
3.522 * [taylor]: Taking taylor expansion of (* z y) in x
3.522 * [taylor]: Taking taylor expansion of z in x
3.522 * [taylor]: Taking taylor expansion of y in x
3.523 * [taylor]: Taking taylor expansion of 0 in y
3.523 * [taylor]: Taking taylor expansion of 0 in z
3.523 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
3.523 * [taylor]: Taking taylor expansion of 18.0 in y
3.524 * [taylor]: Taking taylor expansion of (* z y) in y
3.524 * [taylor]: Taking taylor expansion of z in y
3.524 * [taylor]: Taking taylor expansion of y in y
3.524 * [taylor]: Taking taylor expansion of 0 in z
3.524 * [taylor]: Taking taylor expansion of 0 in z
3.525 * [taylor]: Taking taylor expansion of 0 in y
3.525 * [taylor]: Taking taylor expansion of 0 in z
3.526 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
3.526 * [taylor]: Taking taylor expansion of 18.0 in z
3.526 * [taylor]: Taking taylor expansion of z in z
3.526 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
3.526 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
3.526 * [taylor]: Taking taylor expansion of 18.0 in z
3.526 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.526 * [taylor]: Taking taylor expansion of x in z
3.526 * [taylor]: Taking taylor expansion of (* z y) in z
3.526 * [taylor]: Taking taylor expansion of z in z
3.527 * [taylor]: Taking taylor expansion of y in z
3.527 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
3.527 * [taylor]: Taking taylor expansion of 18.0 in y
3.527 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.527 * [taylor]: Taking taylor expansion of x in y
3.527 * [taylor]: Taking taylor expansion of (* z y) in y
3.527 * [taylor]: Taking taylor expansion of z in y
3.527 * [taylor]: Taking taylor expansion of y in y
3.528 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.528 * [taylor]: Taking taylor expansion of 18.0 in x
3.528 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.528 * [taylor]: Taking taylor expansion of x in x
3.528 * [taylor]: Taking taylor expansion of (* z y) in x
3.528 * [taylor]: Taking taylor expansion of z in x
3.528 * [taylor]: Taking taylor expansion of y in x
3.528 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
3.528 * [taylor]: Taking taylor expansion of 18.0 in x
3.528 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.529 * [taylor]: Taking taylor expansion of x in x
3.529 * [taylor]: Taking taylor expansion of (* z y) in x
3.529 * [taylor]: Taking taylor expansion of z in x
3.529 * [taylor]: Taking taylor expansion of y in x
3.529 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
3.529 * [taylor]: Taking taylor expansion of 18.0 in y
3.529 * [taylor]: Taking taylor expansion of (* z y) in y
3.529 * [taylor]: Taking taylor expansion of z in y
3.529 * [taylor]: Taking taylor expansion of y in y
3.529 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
3.529 * [taylor]: Taking taylor expansion of 18.0 in z
3.529 * [taylor]: Taking taylor expansion of z in z
3.531 * [taylor]: Taking taylor expansion of 0 in y
3.531 * [taylor]: Taking taylor expansion of 0 in z
3.533 * [taylor]: Taking taylor expansion of 0 in y
3.533 * [taylor]: Taking taylor expansion of 0 in z
3.534 * [taylor]: Taking taylor expansion of 0 in z
3.536 * [taylor]: Taking taylor expansion of 0 in y
3.536 * [taylor]: Taking taylor expansion of 0 in z
3.536 * [taylor]: Taking taylor expansion of 0 in z
3.537 * [taylor]: Taking taylor expansion of 0 in z
3.537 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
3.538 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
3.538 * [taylor]: Taking taylor expansion of -18.0 in z
3.538 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
3.538 * [taylor]: Taking taylor expansion of x in z
3.538 * [taylor]: Taking taylor expansion of (* z y) in z
3.538 * [taylor]: Taking taylor expansion of z in z
3.538 * [taylor]: Taking taylor expansion of y in z
3.538 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
3.538 * [taylor]: Taking taylor expansion of -18.0 in y
3.538 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
3.538 * [taylor]: Taking taylor expansion of x in y
3.538 * [taylor]: Taking taylor expansion of (* z y) in y
3.538 * [taylor]: Taking taylor expansion of z in y
3.538 * [taylor]: Taking taylor expansion of y in y
3.539 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.539 * [taylor]: Taking taylor expansion of -18.0 in x
3.539 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.539 * [taylor]: Taking taylor expansion of x in x
3.539 * [taylor]: Taking taylor expansion of (* z y) in x
3.539 * [taylor]: Taking taylor expansion of z in x
3.539 * [taylor]: Taking taylor expansion of y in x
3.540 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
3.540 * [taylor]: Taking taylor expansion of -18.0 in x
3.540 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
3.540 * [taylor]: Taking taylor expansion of x in x
3.540 * [taylor]: Taking taylor expansion of (* z y) in x
3.540 * [taylor]: Taking taylor expansion of z in x
3.540 * [taylor]: Taking taylor expansion of y in x
3.540 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
3.540 * [taylor]: Taking taylor expansion of -18.0 in y
3.540 * [taylor]: Taking taylor expansion of (* z y) in y
3.540 * [taylor]: Taking taylor expansion of z in y
3.540 * [taylor]: Taking taylor expansion of y in y
3.541 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
3.541 * [taylor]: Taking taylor expansion of -18.0 in z
3.541 * [taylor]: Taking taylor expansion of z in z
3.542 * [taylor]: Taking taylor expansion of 0 in y
3.543 * [taylor]: Taking taylor expansion of 0 in z
3.548 * [taylor]: Taking taylor expansion of 0 in y
3.548 * [taylor]: Taking taylor expansion of 0 in z
3.548 * [taylor]: Taking taylor expansion of 0 in z
3.551 * [taylor]: Taking taylor expansion of 0 in y
3.551 * [taylor]: Taking taylor expansion of 0 in z
3.551 * [taylor]: Taking taylor expansion of 0 in z
3.552 * [taylor]: Taking taylor expansion of 0 in z
3.552 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
3.552 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
3.552 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
3.552 * [taylor]: Taking taylor expansion of 27.0 in k
3.552 * [taylor]: Taking taylor expansion of (* k j) in k
3.552 * [taylor]: Taking taylor expansion of k in k
3.552 * [taylor]: Taking taylor expansion of j in k
3.552 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.552 * [taylor]: Taking taylor expansion of 27.0 in j
3.552 * [taylor]: Taking taylor expansion of (* k j) in j
3.552 * [taylor]: Taking taylor expansion of k in j
3.552 * [taylor]: Taking taylor expansion of j in j
3.552 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
3.552 * [taylor]: Taking taylor expansion of 27.0 in j
3.552 * [taylor]: Taking taylor expansion of (* k j) in j
3.553 * [taylor]: Taking taylor expansion of k in j
3.553 * [taylor]: Taking taylor expansion of j in j
3.553 * [taylor]: Taking taylor expansion of 0 in k
3.553 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
3.554 * [taylor]: Taking taylor expansion of 27.0 in k
3.554 * [taylor]: Taking taylor expansion of k in k
3.555 * [taylor]: Taking taylor expansion of 0 in k
3.557 * [taylor]: Taking taylor expansion of 0 in k
3.559 * [taylor]: Taking taylor expansion of 0 in k
3.559 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.559 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.559 * [taylor]: Taking taylor expansion of 27.0 in k
3.559 * [taylor]: Taking taylor expansion of (* k j) in k
3.559 * [taylor]: Taking taylor expansion of k in k
3.559 * [taylor]: Taking taylor expansion of j in k
3.560 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.560 * [taylor]: Taking taylor expansion of 27.0 in j
3.560 * [taylor]: Taking taylor expansion of (* k j) in j
3.560 * [taylor]: Taking taylor expansion of k in j
3.560 * [taylor]: Taking taylor expansion of j in j
3.560 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.560 * [taylor]: Taking taylor expansion of 27.0 in j
3.560 * [taylor]: Taking taylor expansion of (* k j) in j
3.560 * [taylor]: Taking taylor expansion of k in j
3.560 * [taylor]: Taking taylor expansion of j in j
3.560 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.560 * [taylor]: Taking taylor expansion of 27.0 in k
3.560 * [taylor]: Taking taylor expansion of k in k
3.561 * [taylor]: Taking taylor expansion of 0 in k
3.562 * [taylor]: Taking taylor expansion of 0 in k
3.564 * [taylor]: Taking taylor expansion of 0 in k
3.564 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
3.564 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
3.564 * [taylor]: Taking taylor expansion of 27.0 in k
3.564 * [taylor]: Taking taylor expansion of (* k j) in k
3.564 * [taylor]: Taking taylor expansion of k in k
3.564 * [taylor]: Taking taylor expansion of j in k
3.565 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.565 * [taylor]: Taking taylor expansion of 27.0 in j
3.565 * [taylor]: Taking taylor expansion of (* k j) in j
3.565 * [taylor]: Taking taylor expansion of k in j
3.565 * [taylor]: Taking taylor expansion of j in j
3.565 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
3.565 * [taylor]: Taking taylor expansion of 27.0 in j
3.565 * [taylor]: Taking taylor expansion of (* k j) in j
3.565 * [taylor]: Taking taylor expansion of k in j
3.565 * [taylor]: Taking taylor expansion of j in j
3.566 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
3.566 * [taylor]: Taking taylor expansion of 27.0 in k
3.566 * [taylor]: Taking taylor expansion of k in k
3.566 * [taylor]: Taking taylor expansion of 0 in k
3.568 * [taylor]: Taking taylor expansion of 0 in k
3.569 * [taylor]: Taking taylor expansion of 0 in k
3.569 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
3.570 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
3.570 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
3.570 * [taylor]: Taking taylor expansion of 18.0 in y
3.570 * [taylor]: Taking taylor expansion of (* x y) in y
3.570 * [taylor]: Taking taylor expansion of x in y
3.570 * [taylor]: Taking taylor expansion of y in y
3.570 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
3.570 * [taylor]: Taking taylor expansion of 18.0 in x
3.570 * [taylor]: Taking taylor expansion of (* x y) in x
3.570 * [taylor]: Taking taylor expansion of x in x
3.570 * [taylor]: Taking taylor expansion of y in x
3.570 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
3.570 * [taylor]: Taking taylor expansion of 18.0 in x
3.570 * [taylor]: Taking taylor expansion of (* x y) in x
3.570 * [taylor]: Taking taylor expansion of x in x
3.570 * [taylor]: Taking taylor expansion of y in x
3.570 * [taylor]: Taking taylor expansion of 0 in y
3.571 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
3.571 * [taylor]: Taking taylor expansion of 18.0 in y
3.571 * [taylor]: Taking taylor expansion of y in y
3.572 * [taylor]: Taking taylor expansion of 0 in y
3.575 * [taylor]: Taking taylor expansion of 0 in y
3.577 * [taylor]: Taking taylor expansion of 0 in y
3.577 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
3.577 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
3.577 * [taylor]: Taking taylor expansion of 18.0 in y
3.577 * [taylor]: Taking taylor expansion of (* x y) in y
3.577 * [taylor]: Taking taylor expansion of x in y
3.577 * [taylor]: Taking taylor expansion of y in y
3.578 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.578 * [taylor]: Taking taylor expansion of 18.0 in x
3.578 * [taylor]: Taking taylor expansion of (* x y) in x
3.578 * [taylor]: Taking taylor expansion of x in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.578 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.578 * [taylor]: Taking taylor expansion of 18.0 in x
3.578 * [taylor]: Taking taylor expansion of (* x y) in x
3.578 * [taylor]: Taking taylor expansion of x in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.579 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
3.579 * [taylor]: Taking taylor expansion of 18.0 in y
3.579 * [taylor]: Taking taylor expansion of y in y
3.579 * [taylor]: Taking taylor expansion of 0 in y
3.581 * [taylor]: Taking taylor expansion of 0 in y
3.583 * [taylor]: Taking taylor expansion of 0 in y
3.583 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
3.583 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
3.583 * [taylor]: Taking taylor expansion of 18.0 in y
3.584 * [taylor]: Taking taylor expansion of (* x y) in y
3.584 * [taylor]: Taking taylor expansion of x in y
3.584 * [taylor]: Taking taylor expansion of y in y
3.584 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.584 * [taylor]: Taking taylor expansion of 18.0 in x
3.584 * [taylor]: Taking taylor expansion of (* x y) in x
3.584 * [taylor]: Taking taylor expansion of x in x
3.584 * [taylor]: Taking taylor expansion of y in x
3.584 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
3.584 * [taylor]: Taking taylor expansion of 18.0 in x
3.584 * [taylor]: Taking taylor expansion of (* x y) in x
3.584 * [taylor]: Taking taylor expansion of x in x
3.584 * [taylor]: Taking taylor expansion of y in x
3.585 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
3.585 * [taylor]: Taking taylor expansion of 18.0 in y
3.585 * [taylor]: Taking taylor expansion of y in y
3.586 * [taylor]: Taking taylor expansion of 0 in y
3.587 * [taylor]: Taking taylor expansion of 0 in y
3.589 * [taylor]: Taking taylor expansion of 0 in y
3.590 * * * [progress]: simplifying candidates
3.591 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
3.595 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
3.621 * * [simplify]: iteration  1 :  378  enodes  (cost  944 )
3.727 * * [simplify]: iteration  2 :  1971  enodes  (cost  738 )
4.510 * * [simplify]: iteration  done :  5000  enodes  (cost  738 )
4.510 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
4.511 * * * [progress]: adding candidates to table
4.849 * * [progress]: iteration 2 / 4
4.849 * * * [progress]: picking best candidate
4.890 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>
4.890 * * * [progress]: localizing error
4.911 * * * [progress]: generating rewritten candidates
4.912 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.988 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
5.009 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.014 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
5.024 * * * [progress]: generating series expansions
5.024 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.025 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.025 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
5.025 * [taylor]: Taking taylor expansion of 18.0 in t
5.025 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.025 * [taylor]: Taking taylor expansion of t in t
5.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.025 * [taylor]: Taking taylor expansion of x in t
5.025 * [taylor]: Taking taylor expansion of (* z y) in t
5.025 * [taylor]: Taking taylor expansion of z in t
5.025 * [taylor]: Taking taylor expansion of y in t
5.025 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
5.025 * [taylor]: Taking taylor expansion of 18.0 in z
5.025 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.025 * [taylor]: Taking taylor expansion of t in z
5.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.025 * [taylor]: Taking taylor expansion of x in z
5.025 * [taylor]: Taking taylor expansion of (* z y) in z
5.025 * [taylor]: Taking taylor expansion of z in z
5.025 * [taylor]: Taking taylor expansion of y in z
5.025 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
5.025 * [taylor]: Taking taylor expansion of 18.0 in y
5.025 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.025 * [taylor]: Taking taylor expansion of t in y
5.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.025 * [taylor]: Taking taylor expansion of x in y
5.025 * [taylor]: Taking taylor expansion of (* z y) in y
5.025 * [taylor]: Taking taylor expansion of z in y
5.025 * [taylor]: Taking taylor expansion of y in y
5.025 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.025 * [taylor]: Taking taylor expansion of 18.0 in x
5.025 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.025 * [taylor]: Taking taylor expansion of t in x
5.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.025 * [taylor]: Taking taylor expansion of x in x
5.025 * [taylor]: Taking taylor expansion of (* z y) in x
5.025 * [taylor]: Taking taylor expansion of z in x
5.025 * [taylor]: Taking taylor expansion of y in x
5.025 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.025 * [taylor]: Taking taylor expansion of 18.0 in x
5.025 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.025 * [taylor]: Taking taylor expansion of t in x
5.025 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.025 * [taylor]: Taking taylor expansion of x in x
5.025 * [taylor]: Taking taylor expansion of (* z y) in x
5.025 * [taylor]: Taking taylor expansion of z in x
5.025 * [taylor]: Taking taylor expansion of y in x
5.026 * [taylor]: Taking taylor expansion of 0 in y
5.026 * [taylor]: Taking taylor expansion of 0 in z
5.026 * [taylor]: Taking taylor expansion of 0 in t
5.027 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
5.027 * [taylor]: Taking taylor expansion of 18.0 in y
5.027 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.027 * [taylor]: Taking taylor expansion of t in y
5.027 * [taylor]: Taking taylor expansion of (* z y) in y
5.027 * [taylor]: Taking taylor expansion of z in y
5.027 * [taylor]: Taking taylor expansion of y in y
5.028 * [taylor]: Taking taylor expansion of 0 in z
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.028 * [taylor]: Taking taylor expansion of 0 in z
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.028 * [taylor]: Taking taylor expansion of 0 in t
5.030 * [taylor]: Taking taylor expansion of 0 in y
5.030 * [taylor]: Taking taylor expansion of 0 in z
5.030 * [taylor]: Taking taylor expansion of 0 in t
5.030 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.030 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.030 * [taylor]: Taking taylor expansion of 18.0 in t
5.030 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.030 * [taylor]: Taking taylor expansion of t in t
5.030 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.030 * [taylor]: Taking taylor expansion of x in t
5.030 * [taylor]: Taking taylor expansion of (* z y) in t
5.030 * [taylor]: Taking taylor expansion of z in t
5.030 * [taylor]: Taking taylor expansion of y in t
5.033 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.033 * [taylor]: Taking taylor expansion of 18.0 in z
5.033 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.033 * [taylor]: Taking taylor expansion of t in z
5.033 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.033 * [taylor]: Taking taylor expansion of x in z
5.033 * [taylor]: Taking taylor expansion of (* z y) in z
5.033 * [taylor]: Taking taylor expansion of z in z
5.033 * [taylor]: Taking taylor expansion of y in z
5.034 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.034 * [taylor]: Taking taylor expansion of 18.0 in y
5.035 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.035 * [taylor]: Taking taylor expansion of t in y
5.035 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.035 * [taylor]: Taking taylor expansion of x in y
5.035 * [taylor]: Taking taylor expansion of (* z y) in y
5.035 * [taylor]: Taking taylor expansion of z in y
5.035 * [taylor]: Taking taylor expansion of y in y
5.036 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.036 * [taylor]: Taking taylor expansion of 18.0 in x
5.036 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.036 * [taylor]: Taking taylor expansion of t in x
5.036 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.036 * [taylor]: Taking taylor expansion of (* z y) in x
5.036 * [taylor]: Taking taylor expansion of z in x
5.036 * [taylor]: Taking taylor expansion of y in x
5.036 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.036 * [taylor]: Taking taylor expansion of 18.0 in x
5.037 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.037 * [taylor]: Taking taylor expansion of t in x
5.037 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.037 * [taylor]: Taking taylor expansion of x in x
5.037 * [taylor]: Taking taylor expansion of (* z y) in x
5.037 * [taylor]: Taking taylor expansion of z in x
5.037 * [taylor]: Taking taylor expansion of y in x
5.037 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.037 * [taylor]: Taking taylor expansion of 18.0 in y
5.037 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.037 * [taylor]: Taking taylor expansion of t in y
5.038 * [taylor]: Taking taylor expansion of (* z y) in y
5.038 * [taylor]: Taking taylor expansion of z in y
5.038 * [taylor]: Taking taylor expansion of y in y
5.038 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.038 * [taylor]: Taking taylor expansion of 18.0 in z
5.038 * [taylor]: Taking taylor expansion of (* t z) in z
5.038 * [taylor]: Taking taylor expansion of t in z
5.038 * [taylor]: Taking taylor expansion of z in z
5.039 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.039 * [taylor]: Taking taylor expansion of 18.0 in t
5.039 * [taylor]: Taking taylor expansion of t in t
5.040 * [taylor]: Taking taylor expansion of 0 in y
5.041 * [taylor]: Taking taylor expansion of 0 in z
5.042 * [taylor]: Taking taylor expansion of 0 in t
5.044 * [taylor]: Taking taylor expansion of 0 in y
5.044 * [taylor]: Taking taylor expansion of 0 in z
5.046 * [taylor]: Taking taylor expansion of 0 in z
5.046 * [taylor]: Taking taylor expansion of 0 in t
5.046 * [taylor]: Taking taylor expansion of 0 in t
5.050 * [taylor]: Taking taylor expansion of 0 in y
5.050 * [taylor]: Taking taylor expansion of 0 in z
5.050 * [taylor]: Taking taylor expansion of 0 in z
5.051 * [taylor]: Taking taylor expansion of 0 in z
5.051 * [taylor]: Taking taylor expansion of 0 in t
5.051 * [taylor]: Taking taylor expansion of 0 in t
5.051 * [taylor]: Taking taylor expansion of 0 in t
5.052 * [taylor]: Taking taylor expansion of 0 in t
5.053 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.053 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.053 * [taylor]: Taking taylor expansion of 18.0 in t
5.053 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.053 * [taylor]: Taking taylor expansion of t in t
5.053 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.053 * [taylor]: Taking taylor expansion of x in t
5.053 * [taylor]: Taking taylor expansion of (* z y) in t
5.053 * [taylor]: Taking taylor expansion of z in t
5.053 * [taylor]: Taking taylor expansion of y in t
5.053 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.053 * [taylor]: Taking taylor expansion of 18.0 in z
5.053 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.053 * [taylor]: Taking taylor expansion of t in z
5.053 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.053 * [taylor]: Taking taylor expansion of x in z
5.053 * [taylor]: Taking taylor expansion of (* z y) in z
5.053 * [taylor]: Taking taylor expansion of z in z
5.053 * [taylor]: Taking taylor expansion of y in z
5.054 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.054 * [taylor]: Taking taylor expansion of 18.0 in y
5.054 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.054 * [taylor]: Taking taylor expansion of t in y
5.054 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.054 * [taylor]: Taking taylor expansion of x in y
5.055 * [taylor]: Taking taylor expansion of (* z y) in y
5.055 * [taylor]: Taking taylor expansion of z in y
5.055 * [taylor]: Taking taylor expansion of y in y
5.055 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.056 * [taylor]: Taking taylor expansion of 18.0 in x
5.056 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.056 * [taylor]: Taking taylor expansion of t in x
5.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.056 * [taylor]: Taking taylor expansion of x in x
5.056 * [taylor]: Taking taylor expansion of (* z y) in x
5.056 * [taylor]: Taking taylor expansion of z in x
5.056 * [taylor]: Taking taylor expansion of y in x
5.056 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.056 * [taylor]: Taking taylor expansion of 18.0 in x
5.056 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.056 * [taylor]: Taking taylor expansion of t in x
5.056 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.056 * [taylor]: Taking taylor expansion of x in x
5.056 * [taylor]: Taking taylor expansion of (* z y) in x
5.056 * [taylor]: Taking taylor expansion of z in x
5.057 * [taylor]: Taking taylor expansion of y in x
5.057 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.057 * [taylor]: Taking taylor expansion of 18.0 in y
5.057 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.057 * [taylor]: Taking taylor expansion of t in y
5.057 * [taylor]: Taking taylor expansion of (* z y) in y
5.057 * [taylor]: Taking taylor expansion of z in y
5.057 * [taylor]: Taking taylor expansion of y in y
5.058 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.058 * [taylor]: Taking taylor expansion of 18.0 in z
5.058 * [taylor]: Taking taylor expansion of (* t z) in z
5.058 * [taylor]: Taking taylor expansion of t in z
5.058 * [taylor]: Taking taylor expansion of z in z
5.058 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.058 * [taylor]: Taking taylor expansion of 18.0 in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.060 * [taylor]: Taking taylor expansion of 0 in y
5.061 * [taylor]: Taking taylor expansion of 0 in z
5.061 * [taylor]: Taking taylor expansion of 0 in t
5.064 * [taylor]: Taking taylor expansion of 0 in y
5.064 * [taylor]: Taking taylor expansion of 0 in z
5.065 * [taylor]: Taking taylor expansion of 0 in z
5.065 * [taylor]: Taking taylor expansion of 0 in t
5.066 * [taylor]: Taking taylor expansion of 0 in t
5.070 * [taylor]: Taking taylor expansion of 0 in y
5.070 * [taylor]: Taking taylor expansion of 0 in z
5.070 * [taylor]: Taking taylor expansion of 0 in z
5.071 * [taylor]: Taking taylor expansion of 0 in z
5.071 * [taylor]: Taking taylor expansion of 0 in t
5.071 * [taylor]: Taking taylor expansion of 0 in t
5.071 * [taylor]: Taking taylor expansion of 0 in t
5.072 * [taylor]: Taking taylor expansion of 0 in t
5.072 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
5.073 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
5.073 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
5.073 * [taylor]: Taking taylor expansion of 18.0 in z
5.073 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.073 * [taylor]: Taking taylor expansion of x in z
5.073 * [taylor]: Taking taylor expansion of (* z y) in z
5.073 * [taylor]: Taking taylor expansion of z in z
5.073 * [taylor]: Taking taylor expansion of y in z
5.073 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
5.073 * [taylor]: Taking taylor expansion of 18.0 in y
5.073 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.073 * [taylor]: Taking taylor expansion of x in y
5.073 * [taylor]: Taking taylor expansion of (* z y) in y
5.073 * [taylor]: Taking taylor expansion of z in y
5.073 * [taylor]: Taking taylor expansion of y in y
5.073 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.073 * [taylor]: Taking taylor expansion of 18.0 in x
5.073 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.073 * [taylor]: Taking taylor expansion of x in x
5.073 * [taylor]: Taking taylor expansion of (* z y) in x
5.073 * [taylor]: Taking taylor expansion of z in x
5.073 * [taylor]: Taking taylor expansion of y in x
5.073 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.073 * [taylor]: Taking taylor expansion of 18.0 in x
5.073 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.073 * [taylor]: Taking taylor expansion of x in x
5.073 * [taylor]: Taking taylor expansion of (* z y) in x
5.073 * [taylor]: Taking taylor expansion of z in x
5.073 * [taylor]: Taking taylor expansion of y in x
5.074 * [taylor]: Taking taylor expansion of 0 in y
5.074 * [taylor]: Taking taylor expansion of 0 in z
5.075 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
5.075 * [taylor]: Taking taylor expansion of 18.0 in y
5.075 * [taylor]: Taking taylor expansion of (* z y) in y
5.075 * [taylor]: Taking taylor expansion of z in y
5.075 * [taylor]: Taking taylor expansion of y in y
5.075 * [taylor]: Taking taylor expansion of 0 in z
5.075 * [taylor]: Taking taylor expansion of 0 in z
5.076 * [taylor]: Taking taylor expansion of 0 in y
5.076 * [taylor]: Taking taylor expansion of 0 in z
5.077 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
5.077 * [taylor]: Taking taylor expansion of 18.0 in z
5.077 * [taylor]: Taking taylor expansion of z in z
5.077 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
5.077 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
5.077 * [taylor]: Taking taylor expansion of 18.0 in z
5.077 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.077 * [taylor]: Taking taylor expansion of x in z
5.078 * [taylor]: Taking taylor expansion of (* z y) in z
5.078 * [taylor]: Taking taylor expansion of z in z
5.078 * [taylor]: Taking taylor expansion of y in z
5.078 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
5.078 * [taylor]: Taking taylor expansion of 18.0 in y
5.078 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.078 * [taylor]: Taking taylor expansion of x in y
5.078 * [taylor]: Taking taylor expansion of (* z y) in y
5.078 * [taylor]: Taking taylor expansion of z in y
5.078 * [taylor]: Taking taylor expansion of y in y
5.079 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.079 * [taylor]: Taking taylor expansion of 18.0 in x
5.079 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.079 * [taylor]: Taking taylor expansion of x in x
5.079 * [taylor]: Taking taylor expansion of (* z y) in x
5.079 * [taylor]: Taking taylor expansion of z in x
5.079 * [taylor]: Taking taylor expansion of y in x
5.079 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.079 * [taylor]: Taking taylor expansion of 18.0 in x
5.079 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.080 * [taylor]: Taking taylor expansion of x in x
5.080 * [taylor]: Taking taylor expansion of (* z y) in x
5.080 * [taylor]: Taking taylor expansion of z in x
5.080 * [taylor]: Taking taylor expansion of y in x
5.080 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
5.080 * [taylor]: Taking taylor expansion of 18.0 in y
5.080 * [taylor]: Taking taylor expansion of (* z y) in y
5.080 * [taylor]: Taking taylor expansion of z in y
5.080 * [taylor]: Taking taylor expansion of y in y
5.080 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
5.080 * [taylor]: Taking taylor expansion of 18.0 in z
5.080 * [taylor]: Taking taylor expansion of z in z
5.082 * [taylor]: Taking taylor expansion of 0 in y
5.082 * [taylor]: Taking taylor expansion of 0 in z
5.084 * [taylor]: Taking taylor expansion of 0 in y
5.084 * [taylor]: Taking taylor expansion of 0 in z
5.085 * [taylor]: Taking taylor expansion of 0 in z
5.087 * [taylor]: Taking taylor expansion of 0 in y
5.088 * [taylor]: Taking taylor expansion of 0 in z
5.088 * [taylor]: Taking taylor expansion of 0 in z
5.088 * [taylor]: Taking taylor expansion of 0 in z
5.089 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
5.089 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
5.089 * [taylor]: Taking taylor expansion of -18.0 in z
5.089 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.089 * [taylor]: Taking taylor expansion of x in z
5.089 * [taylor]: Taking taylor expansion of (* z y) in z
5.089 * [taylor]: Taking taylor expansion of z in z
5.089 * [taylor]: Taking taylor expansion of y in z
5.089 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
5.089 * [taylor]: Taking taylor expansion of -18.0 in y
5.089 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.089 * [taylor]: Taking taylor expansion of x in y
5.089 * [taylor]: Taking taylor expansion of (* z y) in y
5.089 * [taylor]: Taking taylor expansion of z in y
5.089 * [taylor]: Taking taylor expansion of y in y
5.090 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.090 * [taylor]: Taking taylor expansion of -18.0 in x
5.090 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.090 * [taylor]: Taking taylor expansion of x in x
5.090 * [taylor]: Taking taylor expansion of (* z y) in x
5.090 * [taylor]: Taking taylor expansion of z in x
5.090 * [taylor]: Taking taylor expansion of y in x
5.091 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.091 * [taylor]: Taking taylor expansion of -18.0 in x
5.091 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.091 * [taylor]: Taking taylor expansion of x in x
5.091 * [taylor]: Taking taylor expansion of (* z y) in x
5.091 * [taylor]: Taking taylor expansion of z in x
5.091 * [taylor]: Taking taylor expansion of y in x
5.091 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
5.091 * [taylor]: Taking taylor expansion of -18.0 in y
5.091 * [taylor]: Taking taylor expansion of (* z y) in y
5.091 * [taylor]: Taking taylor expansion of z in y
5.091 * [taylor]: Taking taylor expansion of y in y
5.092 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
5.092 * [taylor]: Taking taylor expansion of -18.0 in z
5.092 * [taylor]: Taking taylor expansion of z in z
5.093 * [taylor]: Taking taylor expansion of 0 in y
5.094 * [taylor]: Taking taylor expansion of 0 in z
5.096 * [taylor]: Taking taylor expansion of 0 in y
5.096 * [taylor]: Taking taylor expansion of 0 in z
5.097 * [taylor]: Taking taylor expansion of 0 in z
5.099 * [taylor]: Taking taylor expansion of 0 in y
5.099 * [taylor]: Taking taylor expansion of 0 in z
5.099 * [taylor]: Taking taylor expansion of 0 in z
5.100 * [taylor]: Taking taylor expansion of 0 in z
5.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.100 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
5.100 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
5.100 * [taylor]: Taking taylor expansion of 27.0 in k
5.100 * [taylor]: Taking taylor expansion of (* k j) in k
5.100 * [taylor]: Taking taylor expansion of k in k
5.100 * [taylor]: Taking taylor expansion of j in k
5.100 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.100 * [taylor]: Taking taylor expansion of 27.0 in j
5.100 * [taylor]: Taking taylor expansion of (* k j) in j
5.100 * [taylor]: Taking taylor expansion of k in j
5.100 * [taylor]: Taking taylor expansion of j in j
5.100 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.100 * [taylor]: Taking taylor expansion of 27.0 in j
5.100 * [taylor]: Taking taylor expansion of (* k j) in j
5.100 * [taylor]: Taking taylor expansion of k in j
5.100 * [taylor]: Taking taylor expansion of j in j
5.101 * [taylor]: Taking taylor expansion of 0 in k
5.101 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
5.101 * [taylor]: Taking taylor expansion of 27.0 in k
5.101 * [taylor]: Taking taylor expansion of k in k
5.103 * [taylor]: Taking taylor expansion of 0 in k
5.105 * [taylor]: Taking taylor expansion of 0 in k
5.107 * [taylor]: Taking taylor expansion of 0 in k
5.107 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.107 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.107 * [taylor]: Taking taylor expansion of 27.0 in k
5.107 * [taylor]: Taking taylor expansion of (* k j) in k
5.107 * [taylor]: Taking taylor expansion of k in k
5.107 * [taylor]: Taking taylor expansion of j in k
5.108 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.108 * [taylor]: Taking taylor expansion of 27.0 in j
5.108 * [taylor]: Taking taylor expansion of (* k j) in j
5.108 * [taylor]: Taking taylor expansion of k in j
5.108 * [taylor]: Taking taylor expansion of j in j
5.108 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.108 * [taylor]: Taking taylor expansion of 27.0 in j
5.108 * [taylor]: Taking taylor expansion of (* k j) in j
5.108 * [taylor]: Taking taylor expansion of k in j
5.108 * [taylor]: Taking taylor expansion of j in j
5.108 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.108 * [taylor]: Taking taylor expansion of 27.0 in k
5.108 * [taylor]: Taking taylor expansion of k in k
5.109 * [taylor]: Taking taylor expansion of 0 in k
5.110 * [taylor]: Taking taylor expansion of 0 in k
5.112 * [taylor]: Taking taylor expansion of 0 in k
5.112 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.112 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.112 * [taylor]: Taking taylor expansion of 27.0 in k
5.112 * [taylor]: Taking taylor expansion of (* k j) in k
5.112 * [taylor]: Taking taylor expansion of k in k
5.112 * [taylor]: Taking taylor expansion of j in k
5.113 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.113 * [taylor]: Taking taylor expansion of 27.0 in j
5.113 * [taylor]: Taking taylor expansion of (* k j) in j
5.113 * [taylor]: Taking taylor expansion of k in j
5.113 * [taylor]: Taking taylor expansion of j in j
5.113 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.113 * [taylor]: Taking taylor expansion of 27.0 in j
5.113 * [taylor]: Taking taylor expansion of (* k j) in j
5.113 * [taylor]: Taking taylor expansion of k in j
5.113 * [taylor]: Taking taylor expansion of j in j
5.114 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.114 * [taylor]: Taking taylor expansion of 27.0 in k
5.114 * [taylor]: Taking taylor expansion of k in k
5.115 * [taylor]: Taking taylor expansion of 0 in k
5.116 * [taylor]: Taking taylor expansion of 0 in k
5.117 * [taylor]: Taking taylor expansion of 0 in k
5.118 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
5.118 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
5.118 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
5.118 * [taylor]: Taking taylor expansion of 18.0 in y
5.118 * [taylor]: Taking taylor expansion of (* x y) in y
5.118 * [taylor]: Taking taylor expansion of x in y
5.118 * [taylor]: Taking taylor expansion of y in y
5.118 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.118 * [taylor]: Taking taylor expansion of 18.0 in x
5.118 * [taylor]: Taking taylor expansion of (* x y) in x
5.118 * [taylor]: Taking taylor expansion of x in x
5.118 * [taylor]: Taking taylor expansion of y in x
5.118 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.118 * [taylor]: Taking taylor expansion of 18.0 in x
5.118 * [taylor]: Taking taylor expansion of (* x y) in x
5.118 * [taylor]: Taking taylor expansion of x in x
5.118 * [taylor]: Taking taylor expansion of y in x
5.119 * [taylor]: Taking taylor expansion of 0 in y
5.119 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
5.119 * [taylor]: Taking taylor expansion of 18.0 in y
5.119 * [taylor]: Taking taylor expansion of y in y
5.121 * [taylor]: Taking taylor expansion of 0 in y
5.126 * [taylor]: Taking taylor expansion of 0 in y
5.129 * [taylor]: Taking taylor expansion of 0 in y
5.129 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.129 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.129 * [taylor]: Taking taylor expansion of 18.0 in y
5.129 * [taylor]: Taking taylor expansion of (* x y) in y
5.129 * [taylor]: Taking taylor expansion of x in y
5.129 * [taylor]: Taking taylor expansion of y in y
5.130 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.130 * [taylor]: Taking taylor expansion of 18.0 in x
5.130 * [taylor]: Taking taylor expansion of (* x y) in x
5.130 * [taylor]: Taking taylor expansion of x in x
5.130 * [taylor]: Taking taylor expansion of y in x
5.130 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.130 * [taylor]: Taking taylor expansion of 18.0 in x
5.130 * [taylor]: Taking taylor expansion of (* x y) in x
5.130 * [taylor]: Taking taylor expansion of x in x
5.130 * [taylor]: Taking taylor expansion of y in x
5.130 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.130 * [taylor]: Taking taylor expansion of 18.0 in y
5.130 * [taylor]: Taking taylor expansion of y in y
5.131 * [taylor]: Taking taylor expansion of 0 in y
5.133 * [taylor]: Taking taylor expansion of 0 in y
5.134 * [taylor]: Taking taylor expansion of 0 in y
5.135 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.135 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.135 * [taylor]: Taking taylor expansion of 18.0 in y
5.135 * [taylor]: Taking taylor expansion of (* x y) in y
5.135 * [taylor]: Taking taylor expansion of x in y
5.135 * [taylor]: Taking taylor expansion of y in y
5.136 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.136 * [taylor]: Taking taylor expansion of 18.0 in x
5.136 * [taylor]: Taking taylor expansion of (* x y) in x
5.136 * [taylor]: Taking taylor expansion of x in x
5.136 * [taylor]: Taking taylor expansion of y in x
5.136 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.136 * [taylor]: Taking taylor expansion of 18.0 in x
5.136 * [taylor]: Taking taylor expansion of (* x y) in x
5.136 * [taylor]: Taking taylor expansion of x in x
5.136 * [taylor]: Taking taylor expansion of y in x
5.137 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.137 * [taylor]: Taking taylor expansion of 18.0 in y
5.137 * [taylor]: Taking taylor expansion of y in y
5.138 * [taylor]: Taking taylor expansion of 0 in y
5.139 * [taylor]: Taking taylor expansion of 0 in y
5.141 * [taylor]: Taking taylor expansion of 0 in y
5.141 * * * [progress]: simplifying candidates
5.143 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
5.147 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
5.170 * * [simplify]: iteration  1 :  368  enodes  (cost  943 )
5.276 * * [simplify]: iteration  2 :  1865  enodes  (cost  737 )
6.009 * * [simplify]: iteration  done :  5001  enodes  (cost  737 )
6.010 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
6.010 * * * [progress]: adding candidates to table
6.339 * * [progress]: iteration 3 / 4
6.339 * * * [progress]: picking best candidate
6.376 * * * * [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)) (pow (* 27.0 (* k j)) 1)))>
6.376 * * * [progress]: localizing error
6.400 * * * [progress]: generating rewritten candidates
6.400 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.477 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.500 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
6.506 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.515 * * * [progress]: generating series expansions
6.515 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.515 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.515 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.515 * [taylor]: Taking taylor expansion of 18.0 in t
6.515 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.515 * [taylor]: Taking taylor expansion of t in t
6.515 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.515 * [taylor]: Taking taylor expansion of x in t
6.515 * [taylor]: Taking taylor expansion of (* z y) in t
6.515 * [taylor]: Taking taylor expansion of z in t
6.515 * [taylor]: Taking taylor expansion of y in t
6.515 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.515 * [taylor]: Taking taylor expansion of 18.0 in z
6.515 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.515 * [taylor]: Taking taylor expansion of t in z
6.515 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.515 * [taylor]: Taking taylor expansion of x in z
6.515 * [taylor]: Taking taylor expansion of (* z y) in z
6.515 * [taylor]: Taking taylor expansion of z in z
6.515 * [taylor]: Taking taylor expansion of y in z
6.516 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.516 * [taylor]: Taking taylor expansion of 18.0 in y
6.516 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.516 * [taylor]: Taking taylor expansion of t in y
6.516 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.516 * [taylor]: Taking taylor expansion of x in y
6.516 * [taylor]: Taking taylor expansion of (* z y) in y
6.516 * [taylor]: Taking taylor expansion of z in y
6.516 * [taylor]: Taking taylor expansion of y in y
6.516 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.516 * [taylor]: Taking taylor expansion of 18.0 in x
6.516 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.516 * [taylor]: Taking taylor expansion of t in x
6.516 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.516 * [taylor]: Taking taylor expansion of x in x
6.516 * [taylor]: Taking taylor expansion of (* z y) in x
6.516 * [taylor]: Taking taylor expansion of z in x
6.516 * [taylor]: Taking taylor expansion of y in x
6.516 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.516 * [taylor]: Taking taylor expansion of 18.0 in x
6.516 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.516 * [taylor]: Taking taylor expansion of t in x
6.516 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.516 * [taylor]: Taking taylor expansion of x in x
6.516 * [taylor]: Taking taylor expansion of (* z y) in x
6.516 * [taylor]: Taking taylor expansion of z in x
6.516 * [taylor]: Taking taylor expansion of y in x
6.517 * [taylor]: Taking taylor expansion of 0 in y
6.517 * [taylor]: Taking taylor expansion of 0 in z
6.517 * [taylor]: Taking taylor expansion of 0 in t
6.518 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.518 * [taylor]: Taking taylor expansion of 18.0 in y
6.518 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.518 * [taylor]: Taking taylor expansion of t in y
6.518 * [taylor]: Taking taylor expansion of (* z y) in y
6.518 * [taylor]: Taking taylor expansion of z in y
6.518 * [taylor]: Taking taylor expansion of y in y
6.518 * [taylor]: Taking taylor expansion of 0 in z
6.518 * [taylor]: Taking taylor expansion of 0 in t
6.518 * [taylor]: Taking taylor expansion of 0 in z
6.518 * [taylor]: Taking taylor expansion of 0 in t
6.518 * [taylor]: Taking taylor expansion of 0 in t
6.520 * [taylor]: Taking taylor expansion of 0 in y
6.520 * [taylor]: Taking taylor expansion of 0 in z
6.520 * [taylor]: Taking taylor expansion of 0 in t
6.520 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.520 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.520 * [taylor]: Taking taylor expansion of 18.0 in t
6.520 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.520 * [taylor]: Taking taylor expansion of t in t
6.520 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.520 * [taylor]: Taking taylor expansion of x in t
6.520 * [taylor]: Taking taylor expansion of (* z y) in t
6.520 * [taylor]: Taking taylor expansion of z in t
6.520 * [taylor]: Taking taylor expansion of y in t
6.521 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.521 * [taylor]: Taking taylor expansion of 18.0 in z
6.521 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.521 * [taylor]: Taking taylor expansion of t in z
6.521 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.521 * [taylor]: Taking taylor expansion of x in z
6.521 * [taylor]: Taking taylor expansion of (* z y) in z
6.521 * [taylor]: Taking taylor expansion of z in z
6.521 * [taylor]: Taking taylor expansion of y in z
6.522 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.522 * [taylor]: Taking taylor expansion of 18.0 in y
6.522 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.522 * [taylor]: Taking taylor expansion of t in y
6.522 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.522 * [taylor]: Taking taylor expansion of x in y
6.522 * [taylor]: Taking taylor expansion of (* z y) in y
6.522 * [taylor]: Taking taylor expansion of z in y
6.522 * [taylor]: Taking taylor expansion of y in y
6.523 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.523 * [taylor]: Taking taylor expansion of 18.0 in x
6.523 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.523 * [taylor]: Taking taylor expansion of t in x
6.523 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.523 * [taylor]: Taking taylor expansion of x in x
6.523 * [taylor]: Taking taylor expansion of (* z y) in x
6.523 * [taylor]: Taking taylor expansion of z in x
6.523 * [taylor]: Taking taylor expansion of y in x
6.524 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.524 * [taylor]: Taking taylor expansion of 18.0 in x
6.524 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.524 * [taylor]: Taking taylor expansion of t in x
6.524 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.524 * [taylor]: Taking taylor expansion of x in x
6.524 * [taylor]: Taking taylor expansion of (* z y) in x
6.524 * [taylor]: Taking taylor expansion of z in x
6.524 * [taylor]: Taking taylor expansion of y in x
6.525 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.525 * [taylor]: Taking taylor expansion of 18.0 in y
6.525 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.525 * [taylor]: Taking taylor expansion of t in y
6.525 * [taylor]: Taking taylor expansion of (* z y) in y
6.525 * [taylor]: Taking taylor expansion of z in y
6.525 * [taylor]: Taking taylor expansion of y in y
6.526 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.526 * [taylor]: Taking taylor expansion of 18.0 in z
6.526 * [taylor]: Taking taylor expansion of (* t z) in z
6.526 * [taylor]: Taking taylor expansion of t in z
6.526 * [taylor]: Taking taylor expansion of z in z
6.526 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.526 * [taylor]: Taking taylor expansion of 18.0 in t
6.526 * [taylor]: Taking taylor expansion of t in t
6.528 * [taylor]: Taking taylor expansion of 0 in y
6.529 * [taylor]: Taking taylor expansion of 0 in z
6.529 * [taylor]: Taking taylor expansion of 0 in t
6.532 * [taylor]: Taking taylor expansion of 0 in y
6.532 * [taylor]: Taking taylor expansion of 0 in z
6.533 * [taylor]: Taking taylor expansion of 0 in z
6.533 * [taylor]: Taking taylor expansion of 0 in t
6.534 * [taylor]: Taking taylor expansion of 0 in t
6.537 * [taylor]: Taking taylor expansion of 0 in y
6.537 * [taylor]: Taking taylor expansion of 0 in z
6.537 * [taylor]: Taking taylor expansion of 0 in z
6.539 * [taylor]: Taking taylor expansion of 0 in z
6.539 * [taylor]: Taking taylor expansion of 0 in t
6.539 * [taylor]: Taking taylor expansion of 0 in t
6.539 * [taylor]: Taking taylor expansion of 0 in t
6.539 * [taylor]: Taking taylor expansion of 0 in t
6.540 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.540 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.540 * [taylor]: Taking taylor expansion of 18.0 in t
6.540 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.540 * [taylor]: Taking taylor expansion of t in t
6.540 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.540 * [taylor]: Taking taylor expansion of x in t
6.540 * [taylor]: Taking taylor expansion of (* z y) in t
6.540 * [taylor]: Taking taylor expansion of z in t
6.540 * [taylor]: Taking taylor expansion of y in t
6.540 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.541 * [taylor]: Taking taylor expansion of 18.0 in z
6.541 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.541 * [taylor]: Taking taylor expansion of t in z
6.541 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.541 * [taylor]: Taking taylor expansion of x in z
6.541 * [taylor]: Taking taylor expansion of (* z y) in z
6.541 * [taylor]: Taking taylor expansion of z in z
6.541 * [taylor]: Taking taylor expansion of y in z
6.542 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.542 * [taylor]: Taking taylor expansion of 18.0 in y
6.542 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.542 * [taylor]: Taking taylor expansion of t in y
6.542 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.542 * [taylor]: Taking taylor expansion of x in y
6.542 * [taylor]: Taking taylor expansion of (* z y) in y
6.542 * [taylor]: Taking taylor expansion of z in y
6.542 * [taylor]: Taking taylor expansion of y in y
6.543 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.543 * [taylor]: Taking taylor expansion of 18.0 in x
6.543 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.543 * [taylor]: Taking taylor expansion of t in x
6.543 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.543 * [taylor]: Taking taylor expansion of x in x
6.543 * [taylor]: Taking taylor expansion of (* z y) in x
6.543 * [taylor]: Taking taylor expansion of z in x
6.543 * [taylor]: Taking taylor expansion of y in x
6.544 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.544 * [taylor]: Taking taylor expansion of 18.0 in x
6.544 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.544 * [taylor]: Taking taylor expansion of t in x
6.544 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.544 * [taylor]: Taking taylor expansion of x in x
6.544 * [taylor]: Taking taylor expansion of (* z y) in x
6.544 * [taylor]: Taking taylor expansion of z in x
6.544 * [taylor]: Taking taylor expansion of y in x
6.545 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.545 * [taylor]: Taking taylor expansion of 18.0 in y
6.545 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.545 * [taylor]: Taking taylor expansion of t in y
6.545 * [taylor]: Taking taylor expansion of (* z y) in y
6.545 * [taylor]: Taking taylor expansion of z in y
6.545 * [taylor]: Taking taylor expansion of y in y
6.545 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.545 * [taylor]: Taking taylor expansion of 18.0 in z
6.545 * [taylor]: Taking taylor expansion of (* t z) in z
6.545 * [taylor]: Taking taylor expansion of t in z
6.545 * [taylor]: Taking taylor expansion of z in z
6.546 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.546 * [taylor]: Taking taylor expansion of 18.0 in t
6.546 * [taylor]: Taking taylor expansion of t in t
6.548 * [taylor]: Taking taylor expansion of 0 in y
6.548 * [taylor]: Taking taylor expansion of 0 in z
6.549 * [taylor]: Taking taylor expansion of 0 in t
6.552 * [taylor]: Taking taylor expansion of 0 in y
6.552 * [taylor]: Taking taylor expansion of 0 in z
6.553 * [taylor]: Taking taylor expansion of 0 in z
6.553 * [taylor]: Taking taylor expansion of 0 in t
6.554 * [taylor]: Taking taylor expansion of 0 in t
6.557 * [taylor]: Taking taylor expansion of 0 in y
6.557 * [taylor]: Taking taylor expansion of 0 in z
6.557 * [taylor]: Taking taylor expansion of 0 in z
6.558 * [taylor]: Taking taylor expansion of 0 in z
6.559 * [taylor]: Taking taylor expansion of 0 in t
6.559 * [taylor]: Taking taylor expansion of 0 in t
6.559 * [taylor]: Taking taylor expansion of 0 in t
6.559 * [taylor]: Taking taylor expansion of 0 in t
6.560 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
6.560 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
6.560 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
6.560 * [taylor]: Taking taylor expansion of 18.0 in z
6.560 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.560 * [taylor]: Taking taylor expansion of x in z
6.560 * [taylor]: Taking taylor expansion of (* z y) in z
6.560 * [taylor]: Taking taylor expansion of z in z
6.560 * [taylor]: Taking taylor expansion of y in z
6.560 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
6.560 * [taylor]: Taking taylor expansion of 18.0 in y
6.560 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.560 * [taylor]: Taking taylor expansion of x in y
6.560 * [taylor]: Taking taylor expansion of (* z y) in y
6.560 * [taylor]: Taking taylor expansion of z in y
6.560 * [taylor]: Taking taylor expansion of y in y
6.560 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.560 * [taylor]: Taking taylor expansion of 18.0 in x
6.560 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.560 * [taylor]: Taking taylor expansion of x in x
6.560 * [taylor]: Taking taylor expansion of (* z y) in x
6.560 * [taylor]: Taking taylor expansion of z in x
6.560 * [taylor]: Taking taylor expansion of y in x
6.560 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.560 * [taylor]: Taking taylor expansion of 18.0 in x
6.560 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.560 * [taylor]: Taking taylor expansion of x in x
6.560 * [taylor]: Taking taylor expansion of (* z y) in x
6.560 * [taylor]: Taking taylor expansion of z in x
6.560 * [taylor]: Taking taylor expansion of y in x
6.561 * [taylor]: Taking taylor expansion of 0 in y
6.561 * [taylor]: Taking taylor expansion of 0 in z
6.561 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
6.561 * [taylor]: Taking taylor expansion of 18.0 in y
6.561 * [taylor]: Taking taylor expansion of (* z y) in y
6.561 * [taylor]: Taking taylor expansion of z in y
6.561 * [taylor]: Taking taylor expansion of y in y
6.562 * [taylor]: Taking taylor expansion of 0 in z
6.562 * [taylor]: Taking taylor expansion of 0 in z
6.563 * [taylor]: Taking taylor expansion of 0 in y
6.563 * [taylor]: Taking taylor expansion of 0 in z
6.564 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
6.564 * [taylor]: Taking taylor expansion of 18.0 in z
6.564 * [taylor]: Taking taylor expansion of z in z
6.564 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
6.564 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
6.564 * [taylor]: Taking taylor expansion of 18.0 in z
6.564 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.564 * [taylor]: Taking taylor expansion of x in z
6.564 * [taylor]: Taking taylor expansion of (* z y) in z
6.564 * [taylor]: Taking taylor expansion of z in z
6.564 * [taylor]: Taking taylor expansion of y in z
6.565 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
6.565 * [taylor]: Taking taylor expansion of 18.0 in y
6.565 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.565 * [taylor]: Taking taylor expansion of x in y
6.565 * [taylor]: Taking taylor expansion of (* z y) in y
6.565 * [taylor]: Taking taylor expansion of z in y
6.565 * [taylor]: Taking taylor expansion of y in y
6.566 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.566 * [taylor]: Taking taylor expansion of 18.0 in x
6.566 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.566 * [taylor]: Taking taylor expansion of x in x
6.566 * [taylor]: Taking taylor expansion of (* z y) in x
6.566 * [taylor]: Taking taylor expansion of z in x
6.566 * [taylor]: Taking taylor expansion of y in x
6.566 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.566 * [taylor]: Taking taylor expansion of 18.0 in x
6.566 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.566 * [taylor]: Taking taylor expansion of x in x
6.567 * [taylor]: Taking taylor expansion of (* z y) in x
6.567 * [taylor]: Taking taylor expansion of z in x
6.567 * [taylor]: Taking taylor expansion of y in x
6.567 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
6.567 * [taylor]: Taking taylor expansion of 18.0 in y
6.567 * [taylor]: Taking taylor expansion of (* z y) in y
6.567 * [taylor]: Taking taylor expansion of z in y
6.567 * [taylor]: Taking taylor expansion of y in y
6.568 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
6.568 * [taylor]: Taking taylor expansion of 18.0 in z
6.568 * [taylor]: Taking taylor expansion of z in z
6.569 * [taylor]: Taking taylor expansion of 0 in y
6.569 * [taylor]: Taking taylor expansion of 0 in z
6.571 * [taylor]: Taking taylor expansion of 0 in y
6.571 * [taylor]: Taking taylor expansion of 0 in z
6.572 * [taylor]: Taking taylor expansion of 0 in z
6.575 * [taylor]: Taking taylor expansion of 0 in y
6.575 * [taylor]: Taking taylor expansion of 0 in z
6.575 * [taylor]: Taking taylor expansion of 0 in z
6.575 * [taylor]: Taking taylor expansion of 0 in z
6.576 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
6.576 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
6.576 * [taylor]: Taking taylor expansion of -18.0 in z
6.576 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.576 * [taylor]: Taking taylor expansion of x in z
6.576 * [taylor]: Taking taylor expansion of (* z y) in z
6.576 * [taylor]: Taking taylor expansion of z in z
6.576 * [taylor]: Taking taylor expansion of y in z
6.576 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
6.576 * [taylor]: Taking taylor expansion of -18.0 in y
6.576 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.576 * [taylor]: Taking taylor expansion of x in y
6.576 * [taylor]: Taking taylor expansion of (* z y) in y
6.576 * [taylor]: Taking taylor expansion of z in y
6.576 * [taylor]: Taking taylor expansion of y in y
6.577 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.577 * [taylor]: Taking taylor expansion of -18.0 in x
6.577 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.577 * [taylor]: Taking taylor expansion of x in x
6.577 * [taylor]: Taking taylor expansion of (* z y) in x
6.577 * [taylor]: Taking taylor expansion of z in x
6.577 * [taylor]: Taking taylor expansion of y in x
6.578 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.578 * [taylor]: Taking taylor expansion of -18.0 in x
6.578 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.578 * [taylor]: Taking taylor expansion of x in x
6.578 * [taylor]: Taking taylor expansion of (* z y) in x
6.578 * [taylor]: Taking taylor expansion of z in x
6.578 * [taylor]: Taking taylor expansion of y in x
6.578 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
6.578 * [taylor]: Taking taylor expansion of -18.0 in y
6.578 * [taylor]: Taking taylor expansion of (* z y) in y
6.578 * [taylor]: Taking taylor expansion of z in y
6.578 * [taylor]: Taking taylor expansion of y in y
6.579 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
6.579 * [taylor]: Taking taylor expansion of -18.0 in z
6.579 * [taylor]: Taking taylor expansion of z in z
6.580 * [taylor]: Taking taylor expansion of 0 in y
6.580 * [taylor]: Taking taylor expansion of 0 in z
6.582 * [taylor]: Taking taylor expansion of 0 in y
6.582 * [taylor]: Taking taylor expansion of 0 in z
6.583 * [taylor]: Taking taylor expansion of 0 in z
6.588 * [taylor]: Taking taylor expansion of 0 in y
6.588 * [taylor]: Taking taylor expansion of 0 in z
6.588 * [taylor]: Taking taylor expansion of 0 in z
6.589 * [taylor]: Taking taylor expansion of 0 in z
6.589 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
6.589 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
6.589 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.589 * [taylor]: Taking taylor expansion of 27.0 in j
6.589 * [taylor]: Taking taylor expansion of (* k j) in j
6.590 * [taylor]: Taking taylor expansion of k in j
6.590 * [taylor]: Taking taylor expansion of j in j
6.590 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.590 * [taylor]: Taking taylor expansion of 27.0 in k
6.590 * [taylor]: Taking taylor expansion of (* k j) in k
6.590 * [taylor]: Taking taylor expansion of k in k
6.590 * [taylor]: Taking taylor expansion of j in k
6.590 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.590 * [taylor]: Taking taylor expansion of 27.0 in k
6.590 * [taylor]: Taking taylor expansion of (* k j) in k
6.590 * [taylor]: Taking taylor expansion of k in k
6.590 * [taylor]: Taking taylor expansion of j in k
6.590 * [taylor]: Taking taylor expansion of 0 in j
6.591 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
6.591 * [taylor]: Taking taylor expansion of 27.0 in j
6.591 * [taylor]: Taking taylor expansion of j in j
6.592 * [taylor]: Taking taylor expansion of 0 in j
6.594 * [taylor]: Taking taylor expansion of 0 in j
6.597 * [taylor]: Taking taylor expansion of 0 in j
6.597 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
6.597 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.597 * [taylor]: Taking taylor expansion of 27.0 in j
6.597 * [taylor]: Taking taylor expansion of (* k j) in j
6.597 * [taylor]: Taking taylor expansion of k in j
6.597 * [taylor]: Taking taylor expansion of j in j
6.598 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.598 * [taylor]: Taking taylor expansion of 27.0 in k
6.598 * [taylor]: Taking taylor expansion of (* k j) in k
6.598 * [taylor]: Taking taylor expansion of k in k
6.598 * [taylor]: Taking taylor expansion of j in k
6.598 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.598 * [taylor]: Taking taylor expansion of 27.0 in k
6.598 * [taylor]: Taking taylor expansion of (* k j) in k
6.598 * [taylor]: Taking taylor expansion of k in k
6.598 * [taylor]: Taking taylor expansion of j in k
6.598 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
6.598 * [taylor]: Taking taylor expansion of 27.0 in j
6.598 * [taylor]: Taking taylor expansion of j in j
6.599 * [taylor]: Taking taylor expansion of 0 in j
6.601 * [taylor]: Taking taylor expansion of 0 in j
6.602 * [taylor]: Taking taylor expansion of 0 in j
6.604 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
6.604 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.604 * [taylor]: Taking taylor expansion of 27.0 in j
6.604 * [taylor]: Taking taylor expansion of (* k j) in j
6.604 * [taylor]: Taking taylor expansion of k in j
6.604 * [taylor]: Taking taylor expansion of j in j
6.604 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.604 * [taylor]: Taking taylor expansion of 27.0 in k
6.604 * [taylor]: Taking taylor expansion of (* k j) in k
6.604 * [taylor]: Taking taylor expansion of k in k
6.604 * [taylor]: Taking taylor expansion of j in k
6.604 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.604 * [taylor]: Taking taylor expansion of 27.0 in k
6.604 * [taylor]: Taking taylor expansion of (* k j) in k
6.604 * [taylor]: Taking taylor expansion of k in k
6.604 * [taylor]: Taking taylor expansion of j in k
6.605 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
6.605 * [taylor]: Taking taylor expansion of 27.0 in j
6.605 * [taylor]: Taking taylor expansion of j in j
6.606 * [taylor]: Taking taylor expansion of 0 in j
6.607 * [taylor]: Taking taylor expansion of 0 in j
6.609 * [taylor]: Taking taylor expansion of 0 in j
6.610 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
6.610 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
6.610 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
6.610 * [taylor]: Taking taylor expansion of 18.0 in y
6.610 * [taylor]: Taking taylor expansion of (* x y) in y
6.610 * [taylor]: Taking taylor expansion of x in y
6.610 * [taylor]: Taking taylor expansion of y in y
6.610 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.610 * [taylor]: Taking taylor expansion of 18.0 in x
6.610 * [taylor]: Taking taylor expansion of (* x y) in x
6.610 * [taylor]: Taking taylor expansion of x in x
6.610 * [taylor]: Taking taylor expansion of y in x
6.610 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.610 * [taylor]: Taking taylor expansion of 18.0 in x
6.610 * [taylor]: Taking taylor expansion of (* x y) in x
6.610 * [taylor]: Taking taylor expansion of x in x
6.610 * [taylor]: Taking taylor expansion of y in x
6.610 * [taylor]: Taking taylor expansion of 0 in y
6.611 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
6.611 * [taylor]: Taking taylor expansion of 18.0 in y
6.611 * [taylor]: Taking taylor expansion of y in y
6.613 * [taylor]: Taking taylor expansion of 0 in y
6.615 * [taylor]: Taking taylor expansion of 0 in y
6.618 * [taylor]: Taking taylor expansion of 0 in y
6.618 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.618 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.618 * [taylor]: Taking taylor expansion of 18.0 in y
6.618 * [taylor]: Taking taylor expansion of (* x y) in y
6.618 * [taylor]: Taking taylor expansion of x in y
6.618 * [taylor]: Taking taylor expansion of y in y
6.618 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.618 * [taylor]: Taking taylor expansion of 18.0 in x
6.618 * [taylor]: Taking taylor expansion of (* x y) in x
6.618 * [taylor]: Taking taylor expansion of x in x
6.618 * [taylor]: Taking taylor expansion of y in x
6.619 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.619 * [taylor]: Taking taylor expansion of 18.0 in x
6.619 * [taylor]: Taking taylor expansion of (* x y) in x
6.619 * [taylor]: Taking taylor expansion of x in x
6.619 * [taylor]: Taking taylor expansion of y in x
6.619 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.619 * [taylor]: Taking taylor expansion of 18.0 in y
6.619 * [taylor]: Taking taylor expansion of y in y
6.620 * [taylor]: Taking taylor expansion of 0 in y
6.622 * [taylor]: Taking taylor expansion of 0 in y
6.623 * [taylor]: Taking taylor expansion of 0 in y
6.624 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.624 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.624 * [taylor]: Taking taylor expansion of 18.0 in y
6.624 * [taylor]: Taking taylor expansion of (* x y) in y
6.624 * [taylor]: Taking taylor expansion of x in y
6.624 * [taylor]: Taking taylor expansion of y in y
6.625 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.625 * [taylor]: Taking taylor expansion of 18.0 in x
6.625 * [taylor]: Taking taylor expansion of (* x y) in x
6.625 * [taylor]: Taking taylor expansion of x in x
6.625 * [taylor]: Taking taylor expansion of y in x
6.625 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.625 * [taylor]: Taking taylor expansion of 18.0 in x
6.625 * [taylor]: Taking taylor expansion of (* x y) in x
6.625 * [taylor]: Taking taylor expansion of x in x
6.625 * [taylor]: Taking taylor expansion of y in x
6.626 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.626 * [taylor]: Taking taylor expansion of 18.0 in y
6.626 * [taylor]: Taking taylor expansion of y in y
6.627 * [taylor]: Taking taylor expansion of 0 in y
6.628 * [taylor]: Taking taylor expansion of 0 in y
6.630 * [taylor]: Taking taylor expansion of 0 in y
6.630 * * * [progress]: simplifying candidates
6.632 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (+ (log 27.0) (+ (log k) (log j)))
  (+ (log 27.0) (log (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (* (* (* 27.0 (* k j)) (* 27.0 (* k j))) (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
6.635 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
6.660 * * [simplify]: iteration  1 :  364  enodes  (cost  943 )
6.760 * * [simplify]: iteration  2 :  1846  enodes  (cost  737 )
7.502 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
7.502 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
7.503 * * * [progress]: adding candidates to table
7.863 * * [progress]: iteration 4 / 4
7.864 * * * [progress]: picking best candidate
7.903 * * * * [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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))>
7.903 * * * [progress]: localizing error
7.930 * * * [progress]: generating rewritten candidates
7.930 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.007 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.028 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
8.036 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
8.061 * * * [progress]: generating series expansions
8.061 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.061 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.061 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.061 * [taylor]: Taking taylor expansion of 18.0 in t
8.061 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.061 * [taylor]: Taking taylor expansion of t in t
8.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.061 * [taylor]: Taking taylor expansion of x in t
8.061 * [taylor]: Taking taylor expansion of (* z y) in t
8.061 * [taylor]: Taking taylor expansion of z in t
8.061 * [taylor]: Taking taylor expansion of y in t
8.061 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.061 * [taylor]: Taking taylor expansion of 18.0 in z
8.061 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.061 * [taylor]: Taking taylor expansion of t in z
8.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.061 * [taylor]: Taking taylor expansion of x in z
8.061 * [taylor]: Taking taylor expansion of (* z y) in z
8.061 * [taylor]: Taking taylor expansion of z in z
8.061 * [taylor]: Taking taylor expansion of y in z
8.061 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.061 * [taylor]: Taking taylor expansion of 18.0 in y
8.061 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.061 * [taylor]: Taking taylor expansion of t in y
8.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.062 * [taylor]: Taking taylor expansion of x in y
8.062 * [taylor]: Taking taylor expansion of (* z y) in y
8.062 * [taylor]: Taking taylor expansion of z in y
8.062 * [taylor]: Taking taylor expansion of y in y
8.062 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.062 * [taylor]: Taking taylor expansion of 18.0 in x
8.062 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.062 * [taylor]: Taking taylor expansion of t in x
8.062 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.062 * [taylor]: Taking taylor expansion of x in x
8.062 * [taylor]: Taking taylor expansion of (* z y) in x
8.062 * [taylor]: Taking taylor expansion of z in x
8.062 * [taylor]: Taking taylor expansion of y in x
8.062 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.062 * [taylor]: Taking taylor expansion of 18.0 in x
8.062 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.062 * [taylor]: Taking taylor expansion of t in x
8.062 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.062 * [taylor]: Taking taylor expansion of x in x
8.062 * [taylor]: Taking taylor expansion of (* z y) in x
8.062 * [taylor]: Taking taylor expansion of z in x
8.062 * [taylor]: Taking taylor expansion of y in x
8.063 * [taylor]: Taking taylor expansion of 0 in y
8.063 * [taylor]: Taking taylor expansion of 0 in z
8.063 * [taylor]: Taking taylor expansion of 0 in t
8.064 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.064 * [taylor]: Taking taylor expansion of 18.0 in y
8.064 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.064 * [taylor]: Taking taylor expansion of t in y
8.064 * [taylor]: Taking taylor expansion of (* z y) in y
8.064 * [taylor]: Taking taylor expansion of z in y
8.064 * [taylor]: Taking taylor expansion of y in y
8.064 * [taylor]: Taking taylor expansion of 0 in z
8.064 * [taylor]: Taking taylor expansion of 0 in t
8.064 * [taylor]: Taking taylor expansion of 0 in z
8.064 * [taylor]: Taking taylor expansion of 0 in t
8.064 * [taylor]: Taking taylor expansion of 0 in t
8.066 * [taylor]: Taking taylor expansion of 0 in y
8.066 * [taylor]: Taking taylor expansion of 0 in z
8.066 * [taylor]: Taking taylor expansion of 0 in t
8.066 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.066 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.066 * [taylor]: Taking taylor expansion of 18.0 in t
8.066 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.066 * [taylor]: Taking taylor expansion of t in t
8.066 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.066 * [taylor]: Taking taylor expansion of x in t
8.066 * [taylor]: Taking taylor expansion of (* z y) in t
8.066 * [taylor]: Taking taylor expansion of z in t
8.066 * [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.067 * [taylor]: Taking taylor expansion of z in z
8.067 * [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.068 * [taylor]: Taking taylor expansion of t in y
8.068 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.068 * [taylor]: Taking taylor expansion of x in y
8.068 * [taylor]: Taking taylor expansion of (* z y) in y
8.068 * [taylor]: Taking taylor expansion of z in y
8.068 * [taylor]: Taking taylor expansion of y in y
8.069 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.069 * [taylor]: Taking taylor expansion of 18.0 in x
8.069 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.069 * [taylor]: Taking taylor expansion of t in x
8.069 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.069 * [taylor]: Taking taylor expansion of x in x
8.069 * [taylor]: Taking taylor expansion of (* z y) in x
8.069 * [taylor]: Taking taylor expansion of z in x
8.069 * [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.078 * [taylor]: Taking taylor expansion of 0 in y
8.078 * [taylor]: Taking taylor expansion of 0 in z
8.079 * [taylor]: Taking taylor expansion of 0 in z
8.079 * [taylor]: Taking taylor expansion of 0 in t
8.080 * [taylor]: Taking taylor expansion of 0 in t
8.083 * [taylor]: Taking taylor expansion of 0 in y
8.083 * [taylor]: Taking taylor expansion of 0 in z
8.083 * [taylor]: Taking taylor expansion of 0 in z
8.085 * [taylor]: Taking taylor expansion of 0 in z
8.085 * [taylor]: Taking taylor expansion of 0 in t
8.085 * [taylor]: Taking taylor expansion of 0 in t
8.085 * [taylor]: Taking taylor expansion of 0 in t
8.086 * [taylor]: Taking taylor expansion of 0 in t
8.086 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.086 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.086 * [taylor]: Taking taylor expansion of 18.0 in t
8.086 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.086 * [taylor]: Taking taylor expansion of t in t
8.086 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.086 * [taylor]: Taking taylor expansion of x in t
8.086 * [taylor]: Taking taylor expansion of (* z y) in t
8.086 * [taylor]: Taking taylor expansion of z in t
8.086 * [taylor]: Taking taylor expansion of y in t
8.087 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.087 * [taylor]: Taking taylor expansion of 18.0 in z
8.087 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.087 * [taylor]: Taking taylor expansion of t in z
8.087 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.087 * [taylor]: Taking taylor expansion of x in z
8.087 * [taylor]: Taking taylor expansion of (* z y) in z
8.087 * [taylor]: Taking taylor expansion of z in z
8.087 * [taylor]: Taking taylor expansion of y in z
8.088 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.088 * [taylor]: Taking taylor expansion of 18.0 in y
8.088 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.088 * [taylor]: Taking taylor expansion of t in y
8.088 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.088 * [taylor]: Taking taylor expansion of x in y
8.088 * [taylor]: Taking taylor expansion of (* z y) in y
8.088 * [taylor]: Taking taylor expansion of z in y
8.088 * [taylor]: Taking taylor expansion of y in y
8.089 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.089 * [taylor]: Taking taylor expansion of 18.0 in x
8.089 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.089 * [taylor]: Taking taylor expansion of t in x
8.089 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.089 * [taylor]: Taking taylor expansion of x in x
8.089 * [taylor]: Taking taylor expansion of (* z y) in x
8.089 * [taylor]: Taking taylor expansion of z in x
8.089 * [taylor]: Taking taylor expansion of y in x
8.090 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.090 * [taylor]: Taking taylor expansion of 18.0 in x
8.090 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.090 * [taylor]: Taking taylor expansion of t in x
8.090 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.090 * [taylor]: Taking taylor expansion of x in x
8.090 * [taylor]: Taking taylor expansion of (* z y) in x
8.090 * [taylor]: Taking taylor expansion of z in x
8.090 * [taylor]: Taking taylor expansion of y in x
8.091 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.091 * [taylor]: Taking taylor expansion of 18.0 in y
8.091 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.091 * [taylor]: Taking taylor expansion of t in y
8.091 * [taylor]: Taking taylor expansion of (* z y) in y
8.091 * [taylor]: Taking taylor expansion of z in y
8.091 * [taylor]: Taking taylor expansion of y in y
8.092 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.092 * [taylor]: Taking taylor expansion of 18.0 in z
8.092 * [taylor]: Taking taylor expansion of (* t z) in z
8.092 * [taylor]: Taking taylor expansion of t in z
8.092 * [taylor]: Taking taylor expansion of z in z
8.092 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.092 * [taylor]: Taking taylor expansion of 18.0 in t
8.092 * [taylor]: Taking taylor expansion of t in t
8.094 * [taylor]: Taking taylor expansion of 0 in y
8.095 * [taylor]: Taking taylor expansion of 0 in z
8.096 * [taylor]: Taking taylor expansion of 0 in t
8.098 * [taylor]: Taking taylor expansion of 0 in y
8.098 * [taylor]: Taking taylor expansion of 0 in z
8.100 * [taylor]: Taking taylor expansion of 0 in z
8.100 * [taylor]: Taking taylor expansion of 0 in t
8.101 * [taylor]: Taking taylor expansion of 0 in t
8.104 * [taylor]: Taking taylor expansion of 0 in y
8.104 * [taylor]: Taking taylor expansion of 0 in z
8.104 * [taylor]: Taking taylor expansion of 0 in z
8.106 * [taylor]: Taking taylor expansion of 0 in z
8.106 * [taylor]: Taking taylor expansion of 0 in t
8.106 * [taylor]: Taking taylor expansion of 0 in t
8.106 * [taylor]: Taking taylor expansion of 0 in t
8.107 * [taylor]: Taking taylor expansion of 0 in t
8.107 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.107 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.107 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.107 * [taylor]: Taking taylor expansion of 18.0 in z
8.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.107 * [taylor]: Taking taylor expansion of x in z
8.107 * [taylor]: Taking taylor expansion of (* z y) in z
8.107 * [taylor]: Taking taylor expansion of z in z
8.107 * [taylor]: Taking taylor expansion of y in z
8.107 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.107 * [taylor]: Taking taylor expansion of 18.0 in y
8.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.107 * [taylor]: Taking taylor expansion of x in y
8.107 * [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.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.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 0 in y
8.108 * [taylor]: Taking taylor expansion of 0 in z
8.109 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.109 * [taylor]: Taking taylor expansion of 18.0 in y
8.109 * [taylor]: Taking taylor expansion of (* z y) in y
8.109 * [taylor]: Taking taylor expansion of z in y
8.109 * [taylor]: Taking taylor expansion of y in y
8.109 * [taylor]: Taking taylor expansion of 0 in z
8.109 * [taylor]: Taking taylor expansion of 0 in z
8.110 * [taylor]: Taking taylor expansion of 0 in y
8.110 * [taylor]: Taking taylor expansion of 0 in z
8.111 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.111 * [taylor]: Taking taylor expansion of 18.0 in z
8.111 * [taylor]: Taking taylor expansion of z in z
8.112 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.112 * [taylor]: Taking taylor expansion of 18.0 in z
8.112 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.112 * [taylor]: Taking taylor expansion of x in z
8.112 * [taylor]: Taking taylor expansion of (* z y) in z
8.112 * [taylor]: Taking taylor expansion of z in z
8.112 * [taylor]: Taking taylor expansion of y in z
8.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.112 * [taylor]: Taking taylor expansion of 18.0 in y
8.112 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.112 * [taylor]: Taking taylor expansion of x in y
8.112 * [taylor]: Taking taylor expansion of (* z y) in y
8.112 * [taylor]: Taking taylor expansion of z in y
8.112 * [taylor]: Taking taylor expansion of y in y
8.113 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.113 * [taylor]: Taking taylor expansion of 18.0 in x
8.113 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.113 * [taylor]: Taking taylor expansion of x in x
8.113 * [taylor]: Taking taylor expansion of (* z y) in x
8.113 * [taylor]: Taking taylor expansion of z in x
8.113 * [taylor]: Taking taylor expansion of y in x
8.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.114 * [taylor]: Taking taylor expansion of 18.0 in x
8.114 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.114 * [taylor]: Taking taylor expansion of x in x
8.114 * [taylor]: Taking taylor expansion of (* z y) in x
8.114 * [taylor]: Taking taylor expansion of z in x
8.114 * [taylor]: Taking taylor expansion of y in x
8.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.114 * [taylor]: Taking taylor expansion of 18.0 in y
8.114 * [taylor]: Taking taylor expansion of (* z y) in y
8.114 * [taylor]: Taking taylor expansion of z in y
8.114 * [taylor]: Taking taylor expansion of y in y
8.115 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.115 * [taylor]: Taking taylor expansion of 18.0 in z
8.115 * [taylor]: Taking taylor expansion of z in z
8.116 * [taylor]: Taking taylor expansion of 0 in y
8.116 * [taylor]: Taking taylor expansion of 0 in z
8.118 * [taylor]: Taking taylor expansion of 0 in y
8.118 * [taylor]: Taking taylor expansion of 0 in z
8.119 * [taylor]: Taking taylor expansion of 0 in z
8.122 * [taylor]: Taking taylor expansion of 0 in y
8.122 * [taylor]: Taking taylor expansion of 0 in z
8.122 * [taylor]: Taking taylor expansion of 0 in z
8.123 * [taylor]: Taking taylor expansion of 0 in z
8.123 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.123 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.123 * [taylor]: Taking taylor expansion of -18.0 in z
8.123 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.123 * [taylor]: Taking taylor expansion of x in z
8.123 * [taylor]: Taking taylor expansion of (* z y) in z
8.123 * [taylor]: Taking taylor expansion of z in z
8.123 * [taylor]: Taking taylor expansion of y in z
8.124 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.124 * [taylor]: Taking taylor expansion of -18.0 in y
8.124 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.124 * [taylor]: Taking taylor expansion of x in y
8.124 * [taylor]: Taking taylor expansion of (* z y) in y
8.124 * [taylor]: Taking taylor expansion of z in y
8.124 * [taylor]: Taking taylor expansion of y in y
8.125 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.125 * [taylor]: Taking taylor expansion of -18.0 in x
8.125 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.125 * [taylor]: Taking taylor expansion of x in x
8.125 * [taylor]: Taking taylor expansion of (* z y) in x
8.125 * [taylor]: Taking taylor expansion of z in x
8.125 * [taylor]: Taking taylor expansion of y in x
8.125 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.125 * [taylor]: Taking taylor expansion of -18.0 in x
8.125 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.125 * [taylor]: Taking taylor expansion of x in x
8.125 * [taylor]: Taking taylor expansion of (* z y) in x
8.125 * [taylor]: Taking taylor expansion of z in x
8.125 * [taylor]: Taking taylor expansion of y in x
8.126 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.126 * [taylor]: Taking taylor expansion of -18.0 in y
8.126 * [taylor]: Taking taylor expansion of (* z y) in y
8.126 * [taylor]: Taking taylor expansion of z in y
8.126 * [taylor]: Taking taylor expansion of y in y
8.126 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.126 * [taylor]: Taking taylor expansion of -18.0 in z
8.126 * [taylor]: Taking taylor expansion of z in z
8.127 * [taylor]: Taking taylor expansion of 0 in y
8.128 * [taylor]: Taking taylor expansion of 0 in z
8.130 * [taylor]: Taking taylor expansion of 0 in y
8.130 * [taylor]: Taking taylor expansion of 0 in z
8.131 * [taylor]: Taking taylor expansion of 0 in z
8.133 * [taylor]: Taking taylor expansion of 0 in y
8.133 * [taylor]: Taking taylor expansion of 0 in z
8.133 * [taylor]: Taking taylor expansion of 0 in z
8.134 * [taylor]: Taking taylor expansion of 0 in z
8.134 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
8.135 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
8.135 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
8.135 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.135 * [taylor]: Taking taylor expansion of 27.0 in j
8.135 * [taylor]: Taking taylor expansion of (* j k) in j
8.135 * [taylor]: Taking taylor expansion of j in j
8.135 * [taylor]: Taking taylor expansion of k in j
8.136 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.136 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.136 * [taylor]: Taking taylor expansion of 27.0 in k
8.136 * [taylor]: Taking taylor expansion of (* j k) in k
8.136 * [taylor]: Taking taylor expansion of j in k
8.136 * [taylor]: Taking taylor expansion of k in k
8.136 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.136 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.136 * [taylor]: Taking taylor expansion of 27.0 in k
8.137 * [taylor]: Taking taylor expansion of (* j k) in k
8.137 * [taylor]: Taking taylor expansion of j in k
8.137 * [taylor]: Taking taylor expansion of k in k
8.138 * [taylor]: Taking taylor expansion of 0 in j
8.139 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
8.139 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.139 * [taylor]: Taking taylor expansion of 27.0 in j
8.139 * [taylor]: Taking taylor expansion of j in j
8.145 * [taylor]: Taking taylor expansion of 0 in j
8.149 * [taylor]: Taking taylor expansion of 0 in j
8.153 * [taylor]: Taking taylor expansion of 0 in j
8.154 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.154 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.154 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.154 * [taylor]: Taking taylor expansion of 27.0 in j
8.154 * [taylor]: Taking taylor expansion of (* j k) in j
8.154 * [taylor]: Taking taylor expansion of j in j
8.154 * [taylor]: Taking taylor expansion of k in j
8.155 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.155 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.155 * [taylor]: Taking taylor expansion of 27.0 in k
8.156 * [taylor]: Taking taylor expansion of (* j k) in k
8.156 * [taylor]: Taking taylor expansion of j in k
8.156 * [taylor]: Taking taylor expansion of k in k
8.156 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.156 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.156 * [taylor]: Taking taylor expansion of 27.0 in k
8.157 * [taylor]: Taking taylor expansion of (* j k) in k
8.157 * [taylor]: Taking taylor expansion of j in k
8.157 * [taylor]: Taking taylor expansion of k in k
8.158 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.158 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.158 * [taylor]: Taking taylor expansion of 27.0 in j
8.158 * [taylor]: Taking taylor expansion of j in j
8.160 * [taylor]: Taking taylor expansion of 0 in j
8.162 * [taylor]: Taking taylor expansion of 0 in j
8.165 * [taylor]: Taking taylor expansion of 0 in j
8.167 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.167 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.167 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.167 * [taylor]: Taking taylor expansion of 27.0 in j
8.168 * [taylor]: Taking taylor expansion of (* j k) in j
8.168 * [taylor]: Taking taylor expansion of j in j
8.168 * [taylor]: Taking taylor expansion of k in j
8.168 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.168 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.168 * [taylor]: Taking taylor expansion of 27.0 in k
8.169 * [taylor]: Taking taylor expansion of (* j k) in k
8.169 * [taylor]: Taking taylor expansion of j in k
8.169 * [taylor]: Taking taylor expansion of k in k
8.170 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.170 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.170 * [taylor]: Taking taylor expansion of 27.0 in k
8.170 * [taylor]: Taking taylor expansion of (* j k) in k
8.171 * [taylor]: Taking taylor expansion of j in k
8.171 * [taylor]: Taking taylor expansion of k in k
8.171 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.171 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.171 * [taylor]: Taking taylor expansion of 27.0 in j
8.172 * [taylor]: Taking taylor expansion of j in j
8.174 * [taylor]: Taking taylor expansion of 0 in j
8.176 * [taylor]: Taking taylor expansion of 0 in j
8.179 * [taylor]: Taking taylor expansion of 0 in j
8.180 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
8.181 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.181 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
8.181 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.181 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.181 * [taylor]: Taking taylor expansion of 27.0 in j
8.182 * [taylor]: Taking taylor expansion of (* k j) in j
8.182 * [taylor]: Taking taylor expansion of k in j
8.182 * [taylor]: Taking taylor expansion of j in j
8.182 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.182 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.182 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.182 * [taylor]: Taking taylor expansion of 27.0 in k
8.183 * [taylor]: Taking taylor expansion of (* k j) in k
8.183 * [taylor]: Taking taylor expansion of k in k
8.183 * [taylor]: Taking taylor expansion of j in k
8.183 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.183 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.183 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.183 * [taylor]: Taking taylor expansion of 27.0 in k
8.184 * [taylor]: Taking taylor expansion of (* k j) in k
8.184 * [taylor]: Taking taylor expansion of k in k
8.184 * [taylor]: Taking taylor expansion of j in k
8.185 * [taylor]: Taking taylor expansion of 0 in j
8.187 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
8.187 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.187 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.187 * [taylor]: Taking taylor expansion of 27.0 in j
8.187 * [taylor]: Taking taylor expansion of j in j
8.191 * [taylor]: Taking taylor expansion of 0 in j
8.198 * [taylor]: Taking taylor expansion of 0 in j
8.203 * [taylor]: Taking taylor expansion of 0 in j
8.205 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.205 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.205 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.205 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.205 * [taylor]: Taking taylor expansion of 27.0 in j
8.206 * [taylor]: Taking taylor expansion of (* k j) in j
8.206 * [taylor]: Taking taylor expansion of k in j
8.206 * [taylor]: Taking taylor expansion of j in j
8.207 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.207 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.207 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.207 * [taylor]: Taking taylor expansion of 27.0 in k
8.208 * [taylor]: Taking taylor expansion of (* k j) in k
8.208 * [taylor]: Taking taylor expansion of k in k
8.208 * [taylor]: Taking taylor expansion of j in k
8.210 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.210 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.210 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.210 * [taylor]: Taking taylor expansion of 27.0 in k
8.211 * [taylor]: Taking taylor expansion of (* k j) in k
8.211 * [taylor]: Taking taylor expansion of k in k
8.211 * [taylor]: Taking taylor expansion of j in k
8.212 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.213 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.213 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.213 * [taylor]: Taking taylor expansion of 27.0 in j
8.213 * [taylor]: Taking taylor expansion of j in j
8.217 * [taylor]: Taking taylor expansion of 0 in j
8.221 * [taylor]: Taking taylor expansion of 0 in j
8.227 * [taylor]: Taking taylor expansion of 0 in j
8.233 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.233 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.233 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.233 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.233 * [taylor]: Taking taylor expansion of 27.0 in j
8.234 * [taylor]: Taking taylor expansion of (* k j) in j
8.234 * [taylor]: Taking taylor expansion of k in j
8.234 * [taylor]: Taking taylor expansion of j in j
8.236 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.236 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.236 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.236 * [taylor]: Taking taylor expansion of 27.0 in k
8.237 * [taylor]: Taking taylor expansion of (* k j) in k
8.237 * [taylor]: Taking taylor expansion of k in k
8.237 * [taylor]: Taking taylor expansion of j in k
8.238 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.238 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.238 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.238 * [taylor]: Taking taylor expansion of 27.0 in k
8.239 * [taylor]: Taking taylor expansion of (* k j) in k
8.239 * [taylor]: Taking taylor expansion of k in k
8.239 * [taylor]: Taking taylor expansion of j in k
8.241 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.241 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.241 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.241 * [taylor]: Taking taylor expansion of 27.0 in j
8.242 * [taylor]: Taking taylor expansion of j in j
8.246 * [taylor]: Taking taylor expansion of 0 in j
8.250 * [taylor]: Taking taylor expansion of 0 in j
8.255 * [taylor]: Taking taylor expansion of 0 in j
8.258 * * * [progress]: simplifying candidates
8.260 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (+ (log (sqrt 27.0)) (+ (log k) (log j)))
  (+ (log (sqrt 27.0)) (log (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log k) (log j))))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* k j))))
  (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* k j))))
  (log (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (exp (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j))))
  (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
  (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
8.264 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
8.290 * * [simplify]: iteration  1 :  412  enodes  (cost  1050 )
8.409 * * [simplify]: iteration  2 :  2009  enodes  (cost  828 )
9.132 * * [simplify]: iteration  done :  5000  enodes  (cost  828 )
9.133 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (log (* (sqrt 27.0) (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* k j)) 3)
  (pow (* (sqrt 27.0) (* k j)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* k j)) 3)
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (* j k) 27.0))
  (log1p (* (* j k) 27.0))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (exp (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (* (cbrt (* (* j k) 27.0)) (cbrt (* (* j k) 27.0)))
  (cbrt (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (sqrt (* (* j k) 27.0))
  (sqrt (* (* j k) 27.0))
  27.0
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
9.134 * * * [progress]: adding candidates to table
9.551 * [progress]: [Phase 3 of 3] Extracting.
9.551 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
9.560 * * * [regime-changes]: Trying 15 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) k j i c b a t z y x)
9.560 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
9.651 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>)
9.683 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
9.744 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>)
9.777 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
9.835 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
9.920 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<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) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
9.985 * * * * [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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.060 * * * * [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)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<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)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))>)
10.093 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.159 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.250 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.339 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.406 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.476 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.558 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.633 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.708 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.790 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.867 * * * [regime]: Found split indices: #<option (#s(si 1 13) #s(si 0 242) #s(si 1 255))>
10.869 * [binary-search]: Only using regimes for bounds on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) and (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.869 * [regimes]: Found splitpoints: (#s(sp 1 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 0 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300) #s(sp 1 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (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)) (* j (* 27.0 k))))>)
10.870 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))))
10.871 * * [simplify]: iteration  0 :  48  enodes  (cost  145 )
10.873 * * [simplify]: iteration  1 :  72  enodes  (cost  118 )
10.875 * * [simplify]: iteration  done :  72  enodes  (cost  118 )
10.875 * [simplify]: Simplified to:
   (if (or (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (not (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
13.261 * [regime-testing]: Baseline error score: 5.135098724171853
13.261 * [regime-testing]: Oracle error score: 0.04419424615631041
13.262 * [regime-testing]: End program error score: 0.948528251228971
13.309 * [regime-testing]: Target error score: 1.451494829634529