40.514 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.077 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.078 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.082 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.096 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.160 * * [simplify]: iteration  3 :  722  enodes  (cost  27 )
0.747 * * [simplify]: iteration  4 :  1905  enodes  (cost  27 )
2.397 * * [simplify]: iteration  5 :  3091  enodes  (cost  26 )
4.987 * * [simplify]: iteration  6 :  4224  enodes  (cost  26 )
5.881 * * [simplify]: iteration  done :  5001  enodes  (cost  26 )
5.881 * [simplify]: Simplified to:
   (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
5.888 * * [progress]: iteration 1 / 4
5.888 * * * [progress]: picking best candidate
5.898 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
5.898 * * * [progress]: localizing error
5.924 * * * [progress]: generating rewritten candidates
5.924 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.007 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.033 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.040 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.050 * * * [progress]: generating series expansions
6.050 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.050 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.050 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.050 * [taylor]: Taking taylor expansion of 18.0 in t
6.050 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.050 * [taylor]: Taking taylor expansion of t in t
6.050 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.050 * [taylor]: Taking taylor expansion of x in t
6.050 * [taylor]: Taking taylor expansion of (* z y) in t
6.050 * [taylor]: Taking taylor expansion of z in t
6.050 * [taylor]: Taking taylor expansion of y in t
6.050 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.050 * [taylor]: Taking taylor expansion of 18.0 in z
6.050 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.050 * [taylor]: Taking taylor expansion of t in z
6.050 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.050 * [taylor]: Taking taylor expansion of x in z
6.050 * [taylor]: Taking taylor expansion of (* z y) in z
6.050 * [taylor]: Taking taylor expansion of z in z
6.050 * [taylor]: Taking taylor expansion of y in z
6.050 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.050 * [taylor]: Taking taylor expansion of 18.0 in y
6.050 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.050 * [taylor]: Taking taylor expansion of t in y
6.050 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.050 * [taylor]: Taking taylor expansion of x in y
6.050 * [taylor]: Taking taylor expansion of (* z y) in y
6.051 * [taylor]: Taking taylor expansion of z in y
6.051 * [taylor]: Taking taylor expansion of y in y
6.051 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.051 * [taylor]: Taking taylor expansion of 18.0 in x
6.051 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.051 * [taylor]: Taking taylor expansion of t in x
6.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.051 * [taylor]: Taking taylor expansion of x in x
6.051 * [taylor]: Taking taylor expansion of (* z y) in x
6.051 * [taylor]: Taking taylor expansion of z in x
6.051 * [taylor]: Taking taylor expansion of y in x
6.051 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.051 * [taylor]: Taking taylor expansion of 18.0 in x
6.051 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.051 * [taylor]: Taking taylor expansion of t in x
6.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.051 * [taylor]: Taking taylor expansion of x in x
6.051 * [taylor]: Taking taylor expansion of (* z y) in x
6.051 * [taylor]: Taking taylor expansion of z in x
6.051 * [taylor]: Taking taylor expansion of y in x
6.052 * [taylor]: Taking taylor expansion of 0 in y
6.052 * [taylor]: Taking taylor expansion of 0 in z
6.052 * [taylor]: Taking taylor expansion of 0 in t
6.053 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.053 * [taylor]: Taking taylor expansion of 18.0 in y
6.053 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.053 * [taylor]: Taking taylor expansion of t in y
6.053 * [taylor]: Taking taylor expansion of (* z y) in y
6.053 * [taylor]: Taking taylor expansion of z in y
6.053 * [taylor]: Taking taylor expansion of y in y
6.054 * [taylor]: Taking taylor expansion of 0 in z
6.054 * [taylor]: Taking taylor expansion of 0 in t
6.054 * [taylor]: Taking taylor expansion of 0 in z
6.054 * [taylor]: Taking taylor expansion of 0 in t
6.054 * [taylor]: Taking taylor expansion of 0 in t
6.056 * [taylor]: Taking taylor expansion of 0 in y
6.056 * [taylor]: Taking taylor expansion of 0 in z
6.056 * [taylor]: Taking taylor expansion of 0 in t
6.056 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.056 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.056 * [taylor]: Taking taylor expansion of 18.0 in t
6.057 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.057 * [taylor]: Taking taylor expansion of t in t
6.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.057 * [taylor]: Taking taylor expansion of x in t
6.057 * [taylor]: Taking taylor expansion of (* z y) in t
6.057 * [taylor]: Taking taylor expansion of z in t
6.057 * [taylor]: Taking taylor expansion of y in t
6.057 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.057 * [taylor]: Taking taylor expansion of 18.0 in z
6.057 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.057 * [taylor]: Taking taylor expansion of t in z
6.057 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.057 * [taylor]: Taking taylor expansion of x in z
6.057 * [taylor]: Taking taylor expansion of (* z y) in z
6.058 * [taylor]: Taking taylor expansion of z in z
6.058 * [taylor]: Taking taylor expansion of y in z
6.059 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.059 * [taylor]: Taking taylor expansion of 18.0 in y
6.059 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.059 * [taylor]: Taking taylor expansion of t in y
6.059 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.059 * [taylor]: Taking taylor expansion of x in y
6.059 * [taylor]: Taking taylor expansion of (* z y) in y
6.059 * [taylor]: Taking taylor expansion of z in y
6.059 * [taylor]: Taking taylor expansion of y in y
6.060 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.060 * [taylor]: Taking taylor expansion of 18.0 in x
6.060 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.060 * [taylor]: Taking taylor expansion of t in x
6.060 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.060 * [taylor]: Taking taylor expansion of x in x
6.060 * [taylor]: Taking taylor expansion of (* z y) in x
6.060 * [taylor]: Taking taylor expansion of z in x
6.060 * [taylor]: Taking taylor expansion of y in x
6.061 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.061 * [taylor]: Taking taylor expansion of 18.0 in x
6.061 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.061 * [taylor]: Taking taylor expansion of t in x
6.061 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.061 * [taylor]: Taking taylor expansion of x in x
6.061 * [taylor]: Taking taylor expansion of (* z y) in x
6.061 * [taylor]: Taking taylor expansion of z in x
6.061 * [taylor]: Taking taylor expansion of y in x
6.062 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.063 * [taylor]: Taking taylor expansion of 18.0 in y
6.063 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.063 * [taylor]: Taking taylor expansion of t in y
6.063 * [taylor]: Taking taylor expansion of (* z y) in y
6.063 * [taylor]: Taking taylor expansion of z in y
6.063 * [taylor]: Taking taylor expansion of y in y
6.063 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.063 * [taylor]: Taking taylor expansion of 18.0 in z
6.064 * [taylor]: Taking taylor expansion of (* t z) in z
6.064 * [taylor]: Taking taylor expansion of t in z
6.064 * [taylor]: Taking taylor expansion of z in z
6.064 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.064 * [taylor]: Taking taylor expansion of 18.0 in t
6.064 * [taylor]: Taking taylor expansion of t in t
6.066 * [taylor]: Taking taylor expansion of 0 in y
6.067 * [taylor]: Taking taylor expansion of 0 in z
6.068 * [taylor]: Taking taylor expansion of 0 in t
6.071 * [taylor]: Taking taylor expansion of 0 in y
6.071 * [taylor]: Taking taylor expansion of 0 in z
6.072 * [taylor]: Taking taylor expansion of 0 in z
6.073 * [taylor]: Taking taylor expansion of 0 in t
6.073 * [taylor]: Taking taylor expansion of 0 in t
6.077 * [taylor]: Taking taylor expansion of 0 in y
6.078 * [taylor]: Taking taylor expansion of 0 in z
6.078 * [taylor]: Taking taylor expansion of 0 in z
6.079 * [taylor]: Taking taylor expansion of 0 in z
6.080 * [taylor]: Taking taylor expansion of 0 in t
6.080 * [taylor]: Taking taylor expansion of 0 in t
6.080 * [taylor]: Taking taylor expansion of 0 in t
6.081 * [taylor]: Taking taylor expansion of 0 in t
6.081 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.081 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.081 * [taylor]: Taking taylor expansion of 18.0 in t
6.081 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.081 * [taylor]: Taking taylor expansion of t in t
6.081 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.081 * [taylor]: Taking taylor expansion of x in t
6.081 * [taylor]: Taking taylor expansion of (* z y) in t
6.081 * [taylor]: Taking taylor expansion of z in t
6.081 * [taylor]: Taking taylor expansion of y in t
6.082 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.082 * [taylor]: Taking taylor expansion of 18.0 in z
6.082 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.082 * [taylor]: Taking taylor expansion of t in z
6.082 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.083 * [taylor]: Taking taylor expansion of x in z
6.083 * [taylor]: Taking taylor expansion of (* z y) in z
6.083 * [taylor]: Taking taylor expansion of z in z
6.083 * [taylor]: Taking taylor expansion of y in z
6.084 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.084 * [taylor]: Taking taylor expansion of 18.0 in y
6.084 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.084 * [taylor]: Taking taylor expansion of t in y
6.084 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.084 * [taylor]: Taking taylor expansion of x in y
6.084 * [taylor]: Taking taylor expansion of (* z y) in y
6.084 * [taylor]: Taking taylor expansion of z in y
6.084 * [taylor]: Taking taylor expansion of y in y
6.085 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.085 * [taylor]: Taking taylor expansion of 18.0 in x
6.085 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.085 * [taylor]: Taking taylor expansion of t in x
6.085 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.085 * [taylor]: Taking taylor expansion of x in x
6.085 * [taylor]: Taking taylor expansion of (* z y) in x
6.085 * [taylor]: Taking taylor expansion of z in x
6.085 * [taylor]: Taking taylor expansion of y in x
6.086 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.086 * [taylor]: Taking taylor expansion of 18.0 in x
6.086 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.087 * [taylor]: Taking taylor expansion of t in x
6.087 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.087 * [taylor]: Taking taylor expansion of x in x
6.087 * [taylor]: Taking taylor expansion of (* z y) in x
6.087 * [taylor]: Taking taylor expansion of z in x
6.087 * [taylor]: Taking taylor expansion of y in x
6.088 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.088 * [taylor]: Taking taylor expansion of 18.0 in y
6.088 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.088 * [taylor]: Taking taylor expansion of t in y
6.088 * [taylor]: Taking taylor expansion of (* z y) in y
6.088 * [taylor]: Taking taylor expansion of z in y
6.088 * [taylor]: Taking taylor expansion of y in y
6.089 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.089 * [taylor]: Taking taylor expansion of 18.0 in z
6.089 * [taylor]: Taking taylor expansion of (* t z) in z
6.089 * [taylor]: Taking taylor expansion of t in z
6.089 * [taylor]: Taking taylor expansion of z in z
6.089 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.089 * [taylor]: Taking taylor expansion of 18.0 in t
6.089 * [taylor]: Taking taylor expansion of t in t
6.091 * [taylor]: Taking taylor expansion of 0 in y
6.092 * [taylor]: Taking taylor expansion of 0 in z
6.093 * [taylor]: Taking taylor expansion of 0 in t
6.096 * [taylor]: Taking taylor expansion of 0 in y
6.096 * [taylor]: Taking taylor expansion of 0 in z
6.097 * [taylor]: Taking taylor expansion of 0 in z
6.097 * [taylor]: Taking taylor expansion of 0 in t
6.098 * [taylor]: Taking taylor expansion of 0 in t
6.102 * [taylor]: Taking taylor expansion of 0 in y
6.102 * [taylor]: Taking taylor expansion of 0 in z
6.102 * [taylor]: Taking taylor expansion of 0 in z
6.104 * [taylor]: Taking taylor expansion of 0 in z
6.104 * [taylor]: Taking taylor expansion of 0 in t
6.104 * [taylor]: Taking taylor expansion of 0 in t
6.104 * [taylor]: Taking taylor expansion of 0 in t
6.105 * [taylor]: Taking taylor expansion of 0 in t
6.106 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
6.106 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
6.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
6.106 * [taylor]: Taking taylor expansion of 18.0 in z
6.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.106 * [taylor]: Taking taylor expansion of x in z
6.106 * [taylor]: Taking taylor expansion of (* z y) in z
6.106 * [taylor]: Taking taylor expansion of z in z
6.106 * [taylor]: Taking taylor expansion of y in z
6.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
6.106 * [taylor]: Taking taylor expansion of 18.0 in y
6.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.106 * [taylor]: Taking taylor expansion of x in y
6.106 * [taylor]: Taking taylor expansion of (* z y) in y
6.106 * [taylor]: Taking taylor expansion of z in y
6.106 * [taylor]: Taking taylor expansion of y in y
6.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.106 * [taylor]: Taking taylor expansion of 18.0 in x
6.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.106 * [taylor]: Taking taylor expansion of x in x
6.106 * [taylor]: Taking taylor expansion of (* z y) in x
6.106 * [taylor]: Taking taylor expansion of z in x
6.106 * [taylor]: Taking taylor expansion of y in x
6.106 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
6.106 * [taylor]: Taking taylor expansion of 18.0 in x
6.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.106 * [taylor]: Taking taylor expansion of x in x
6.106 * [taylor]: Taking taylor expansion of (* z y) in x
6.106 * [taylor]: Taking taylor expansion of z in x
6.106 * [taylor]: Taking taylor expansion of y in x
6.107 * [taylor]: Taking taylor expansion of 0 in y
6.107 * [taylor]: Taking taylor expansion of 0 in z
6.108 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
6.108 * [taylor]: Taking taylor expansion of 18.0 in y
6.108 * [taylor]: Taking taylor expansion of (* z y) in y
6.108 * [taylor]: Taking taylor expansion of z in y
6.108 * [taylor]: Taking taylor expansion of y in y
6.108 * [taylor]: Taking taylor expansion of 0 in z
6.109 * [taylor]: Taking taylor expansion of 0 in z
6.110 * [taylor]: Taking taylor expansion of 0 in y
6.110 * [taylor]: Taking taylor expansion of 0 in z
6.111 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
6.111 * [taylor]: Taking taylor expansion of 18.0 in z
6.111 * [taylor]: Taking taylor expansion of z in z
6.112 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
6.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
6.112 * [taylor]: Taking taylor expansion of 18.0 in z
6.112 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.112 * [taylor]: Taking taylor expansion of x in z
6.112 * [taylor]: Taking taylor expansion of (* z y) in z
6.112 * [taylor]: Taking taylor expansion of z in z
6.112 * [taylor]: Taking taylor expansion of y in z
6.113 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
6.113 * [taylor]: Taking taylor expansion of 18.0 in y
6.113 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.113 * [taylor]: Taking taylor expansion of x in y
6.113 * [taylor]: Taking taylor expansion of (* z y) in y
6.113 * [taylor]: Taking taylor expansion of z in y
6.113 * [taylor]: Taking taylor expansion of y in y
6.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.114 * [taylor]: Taking taylor expansion of 18.0 in x
6.114 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.114 * [taylor]: Taking taylor expansion of x in x
6.114 * [taylor]: Taking taylor expansion of (* z y) in x
6.114 * [taylor]: Taking taylor expansion of z in x
6.114 * [taylor]: Taking taylor expansion of y in x
6.114 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
6.114 * [taylor]: Taking taylor expansion of 18.0 in x
6.114 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.114 * [taylor]: Taking taylor expansion of x in x
6.114 * [taylor]: Taking taylor expansion of (* z y) in x
6.114 * [taylor]: Taking taylor expansion of z in x
6.114 * [taylor]: Taking taylor expansion of y in x
6.115 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
6.115 * [taylor]: Taking taylor expansion of 18.0 in y
6.115 * [taylor]: Taking taylor expansion of (* z y) in y
6.115 * [taylor]: Taking taylor expansion of z in y
6.115 * [taylor]: Taking taylor expansion of y in y
6.115 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
6.116 * [taylor]: Taking taylor expansion of 18.0 in z
6.116 * [taylor]: Taking taylor expansion of z in z
6.117 * [taylor]: Taking taylor expansion of 0 in y
6.118 * [taylor]: Taking taylor expansion of 0 in z
6.120 * [taylor]: Taking taylor expansion of 0 in y
6.120 * [taylor]: Taking taylor expansion of 0 in z
6.121 * [taylor]: Taking taylor expansion of 0 in z
6.124 * [taylor]: Taking taylor expansion of 0 in y
6.124 * [taylor]: Taking taylor expansion of 0 in z
6.124 * [taylor]: Taking taylor expansion of 0 in z
6.125 * [taylor]: Taking taylor expansion of 0 in z
6.126 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
6.126 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
6.126 * [taylor]: Taking taylor expansion of -18.0 in z
6.126 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.126 * [taylor]: Taking taylor expansion of x in z
6.126 * [taylor]: Taking taylor expansion of (* z y) in z
6.126 * [taylor]: Taking taylor expansion of z in z
6.126 * [taylor]: Taking taylor expansion of y in z
6.127 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
6.127 * [taylor]: Taking taylor expansion of -18.0 in y
6.127 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.127 * [taylor]: Taking taylor expansion of x in y
6.127 * [taylor]: Taking taylor expansion of (* z y) in y
6.127 * [taylor]: Taking taylor expansion of z in y
6.127 * [taylor]: Taking taylor expansion of y in y
6.128 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.128 * [taylor]: Taking taylor expansion of -18.0 in x
6.128 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.128 * [taylor]: Taking taylor expansion of x in x
6.128 * [taylor]: Taking taylor expansion of (* z y) in x
6.128 * [taylor]: Taking taylor expansion of z in x
6.128 * [taylor]: Taking taylor expansion of y in x
6.128 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
6.128 * [taylor]: Taking taylor expansion of -18.0 in x
6.128 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.128 * [taylor]: Taking taylor expansion of x in x
6.128 * [taylor]: Taking taylor expansion of (* z y) in x
6.128 * [taylor]: Taking taylor expansion of z in x
6.128 * [taylor]: Taking taylor expansion of y in x
6.129 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
6.129 * [taylor]: Taking taylor expansion of -18.0 in y
6.129 * [taylor]: Taking taylor expansion of (* z y) in y
6.129 * [taylor]: Taking taylor expansion of z in y
6.129 * [taylor]: Taking taylor expansion of y in y
6.130 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
6.130 * [taylor]: Taking taylor expansion of -18.0 in z
6.130 * [taylor]: Taking taylor expansion of z in z
6.131 * [taylor]: Taking taylor expansion of 0 in y
6.132 * [taylor]: Taking taylor expansion of 0 in z
6.138 * [taylor]: Taking taylor expansion of 0 in y
6.139 * [taylor]: Taking taylor expansion of 0 in z
6.139 * [taylor]: Taking taylor expansion of 0 in z
6.142 * [taylor]: Taking taylor expansion of 0 in y
6.143 * [taylor]: Taking taylor expansion of 0 in z
6.143 * [taylor]: Taking taylor expansion of 0 in z
6.143 * [taylor]: Taking taylor expansion of 0 in z
6.144 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.144 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
6.144 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
6.144 * [taylor]: Taking taylor expansion of 27.0 in k
6.144 * [taylor]: Taking taylor expansion of (* k j) in k
6.144 * [taylor]: Taking taylor expansion of k in k
6.144 * [taylor]: Taking taylor expansion of j in k
6.144 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.144 * [taylor]: Taking taylor expansion of 27.0 in j
6.144 * [taylor]: Taking taylor expansion of (* k j) in j
6.144 * [taylor]: Taking taylor expansion of k in j
6.144 * [taylor]: Taking taylor expansion of j in j
6.144 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
6.144 * [taylor]: Taking taylor expansion of 27.0 in j
6.144 * [taylor]: Taking taylor expansion of (* k j) in j
6.144 * [taylor]: Taking taylor expansion of k in j
6.144 * [taylor]: Taking taylor expansion of j in j
6.145 * [taylor]: Taking taylor expansion of 0 in k
6.146 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
6.146 * [taylor]: Taking taylor expansion of 27.0 in k
6.146 * [taylor]: Taking taylor expansion of k in k
6.147 * [taylor]: Taking taylor expansion of 0 in k
6.150 * [taylor]: Taking taylor expansion of 0 in k
6.152 * [taylor]: Taking taylor expansion of 0 in k
6.153 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
6.153 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.153 * [taylor]: Taking taylor expansion of 27.0 in k
6.153 * [taylor]: Taking taylor expansion of (* k j) in k
6.153 * [taylor]: Taking taylor expansion of k in k
6.153 * [taylor]: Taking taylor expansion of j in k
6.153 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.153 * [taylor]: Taking taylor expansion of 27.0 in j
6.153 * [taylor]: Taking taylor expansion of (* k j) in j
6.153 * [taylor]: Taking taylor expansion of k in j
6.153 * [taylor]: Taking taylor expansion of j in j
6.154 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.154 * [taylor]: Taking taylor expansion of 27.0 in j
6.154 * [taylor]: Taking taylor expansion of (* k j) in j
6.154 * [taylor]: Taking taylor expansion of k in j
6.154 * [taylor]: Taking taylor expansion of j in j
6.154 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
6.154 * [taylor]: Taking taylor expansion of 27.0 in k
6.155 * [taylor]: Taking taylor expansion of k in k
6.155 * [taylor]: Taking taylor expansion of 0 in k
6.157 * [taylor]: Taking taylor expansion of 0 in k
6.158 * [taylor]: Taking taylor expansion of 0 in k
6.159 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
6.159 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
6.159 * [taylor]: Taking taylor expansion of 27.0 in k
6.159 * [taylor]: Taking taylor expansion of (* k j) in k
6.160 * [taylor]: Taking taylor expansion of k in k
6.160 * [taylor]: Taking taylor expansion of j in k
6.160 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.160 * [taylor]: Taking taylor expansion of 27.0 in j
6.160 * [taylor]: Taking taylor expansion of (* k j) in j
6.160 * [taylor]: Taking taylor expansion of k in j
6.160 * [taylor]: Taking taylor expansion of j in j
6.161 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
6.161 * [taylor]: Taking taylor expansion of 27.0 in j
6.161 * [taylor]: Taking taylor expansion of (* k j) in j
6.161 * [taylor]: Taking taylor expansion of k in j
6.161 * [taylor]: Taking taylor expansion of j in j
6.161 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
6.161 * [taylor]: Taking taylor expansion of 27.0 in k
6.161 * [taylor]: Taking taylor expansion of k in k
6.162 * [taylor]: Taking taylor expansion of 0 in k
6.163 * [taylor]: Taking taylor expansion of 0 in k
6.165 * [taylor]: Taking taylor expansion of 0 in k
6.166 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
6.166 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
6.166 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
6.166 * [taylor]: Taking taylor expansion of 18.0 in y
6.166 * [taylor]: Taking taylor expansion of (* x y) in y
6.166 * [taylor]: Taking taylor expansion of x in y
6.166 * [taylor]: Taking taylor expansion of y in y
6.166 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.166 * [taylor]: Taking taylor expansion of 18.0 in x
6.166 * [taylor]: Taking taylor expansion of (* x y) in x
6.166 * [taylor]: Taking taylor expansion of x in x
6.166 * [taylor]: Taking taylor expansion of y in x
6.166 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
6.167 * [taylor]: Taking taylor expansion of 18.0 in x
6.167 * [taylor]: Taking taylor expansion of (* x y) in x
6.167 * [taylor]: Taking taylor expansion of x in x
6.167 * [taylor]: Taking taylor expansion of y in x
6.167 * [taylor]: Taking taylor expansion of 0 in y
6.168 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
6.168 * [taylor]: Taking taylor expansion of 18.0 in y
6.168 * [taylor]: Taking taylor expansion of y in y
6.170 * [taylor]: Taking taylor expansion of 0 in y
6.173 * [taylor]: Taking taylor expansion of 0 in y
6.176 * [taylor]: Taking taylor expansion of 0 in y
6.176 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.176 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.176 * [taylor]: Taking taylor expansion of 18.0 in y
6.176 * [taylor]: Taking taylor expansion of (* x y) in y
6.176 * [taylor]: Taking taylor expansion of x in y
6.176 * [taylor]: Taking taylor expansion of y in y
6.176 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.176 * [taylor]: Taking taylor expansion of 18.0 in x
6.176 * [taylor]: Taking taylor expansion of (* x y) in x
6.176 * [taylor]: Taking taylor expansion of x in x
6.176 * [taylor]: Taking taylor expansion of y in x
6.177 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.177 * [taylor]: Taking taylor expansion of 18.0 in x
6.177 * [taylor]: Taking taylor expansion of (* x y) in x
6.177 * [taylor]: Taking taylor expansion of x in x
6.177 * [taylor]: Taking taylor expansion of y in x
6.177 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.177 * [taylor]: Taking taylor expansion of 18.0 in y
6.177 * [taylor]: Taking taylor expansion of y in y
6.179 * [taylor]: Taking taylor expansion of 0 in y
6.180 * [taylor]: Taking taylor expansion of 0 in y
6.182 * [taylor]: Taking taylor expansion of 0 in y
6.183 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
6.183 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
6.183 * [taylor]: Taking taylor expansion of 18.0 in y
6.184 * [taylor]: Taking taylor expansion of (* x y) in y
6.184 * [taylor]: Taking taylor expansion of x in y
6.184 * [taylor]: Taking taylor expansion of y in y
6.184 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.184 * [taylor]: Taking taylor expansion of 18.0 in x
6.184 * [taylor]: Taking taylor expansion of (* x y) in x
6.184 * [taylor]: Taking taylor expansion of x in x
6.184 * [taylor]: Taking taylor expansion of y in x
6.185 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
6.185 * [taylor]: Taking taylor expansion of 18.0 in x
6.185 * [taylor]: Taking taylor expansion of (* x y) in x
6.185 * [taylor]: Taking taylor expansion of x in x
6.185 * [taylor]: Taking taylor expansion of y in x
6.185 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
6.185 * [taylor]: Taking taylor expansion of 18.0 in y
6.185 * [taylor]: Taking taylor expansion of y in y
6.186 * [taylor]: Taking taylor expansion of 0 in y
6.188 * [taylor]: Taking taylor expansion of 0 in y
6.190 * [taylor]: Taking taylor expansion of 0 in y
6.191 * * * [progress]: simplifying candidates
6.193 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
6.197 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
6.227 * * [simplify]: iteration  1 :  366  enodes  (cost  944 )
6.481 * * [simplify]: iteration  2 :  1796  enodes  (cost  738 )
7.448 * * [simplify]: iteration  done :  5001  enodes  (cost  738 )
7.449 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
7.450 * * * [progress]: adding candidates to table
7.845 * * [progress]: iteration 2 / 4
7.845 * * * [progress]: picking best candidate
7.893 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>
7.893 * * * [progress]: localizing error
7.918 * * * [progress]: generating rewritten candidates
7.918 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.000 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.022 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
8.029 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
8.039 * * * [progress]: generating series expansions
8.039 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.039 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.039 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.039 * [taylor]: Taking taylor expansion of 18.0 in t
8.039 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.039 * [taylor]: Taking taylor expansion of t in t
8.039 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.039 * [taylor]: Taking taylor expansion of x in t
8.039 * [taylor]: Taking taylor expansion of (* z y) in t
8.039 * [taylor]: Taking taylor expansion of z in t
8.039 * [taylor]: Taking taylor expansion of y in t
8.039 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.039 * [taylor]: Taking taylor expansion of 18.0 in z
8.039 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.039 * [taylor]: Taking taylor expansion of t in z
8.039 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.039 * [taylor]: Taking taylor expansion of x in z
8.039 * [taylor]: Taking taylor expansion of (* z y) in z
8.039 * [taylor]: Taking taylor expansion of z in z
8.039 * [taylor]: Taking taylor expansion of y in z
8.039 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.039 * [taylor]: Taking taylor expansion of 18.0 in y
8.039 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.039 * [taylor]: Taking taylor expansion of t in y
8.039 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.039 * [taylor]: Taking taylor expansion of x in y
8.039 * [taylor]: Taking taylor expansion of (* z y) in y
8.039 * [taylor]: Taking taylor expansion of z in y
8.039 * [taylor]: Taking taylor expansion of y in y
8.039 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.039 * [taylor]: Taking taylor expansion of 18.0 in x
8.040 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.040 * [taylor]: Taking taylor expansion of t in x
8.040 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.040 * [taylor]: Taking taylor expansion of x in x
8.040 * [taylor]: Taking taylor expansion of (* z y) in x
8.040 * [taylor]: Taking taylor expansion of z in x
8.040 * [taylor]: Taking taylor expansion of y in x
8.040 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.040 * [taylor]: Taking taylor expansion of 18.0 in x
8.040 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.040 * [taylor]: Taking taylor expansion of t in x
8.040 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.040 * [taylor]: Taking taylor expansion of x in x
8.040 * [taylor]: Taking taylor expansion of (* z y) in x
8.040 * [taylor]: Taking taylor expansion of z in x
8.040 * [taylor]: Taking taylor expansion of y in x
8.041 * [taylor]: Taking taylor expansion of 0 in y
8.041 * [taylor]: Taking taylor expansion of 0 in z
8.041 * [taylor]: Taking taylor expansion of 0 in t
8.042 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.042 * [taylor]: Taking taylor expansion of 18.0 in y
8.042 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.042 * [taylor]: Taking taylor expansion of t in y
8.042 * [taylor]: Taking taylor expansion of (* z y) in y
8.042 * [taylor]: Taking taylor expansion of z in y
8.042 * [taylor]: Taking taylor expansion of y in y
8.043 * [taylor]: Taking taylor expansion of 0 in z
8.043 * [taylor]: Taking taylor expansion of 0 in t
8.043 * [taylor]: Taking taylor expansion of 0 in z
8.043 * [taylor]: Taking taylor expansion of 0 in t
8.043 * [taylor]: Taking taylor expansion of 0 in t
8.045 * [taylor]: Taking taylor expansion of 0 in y
8.045 * [taylor]: Taking taylor expansion of 0 in z
8.045 * [taylor]: Taking taylor expansion of 0 in t
8.045 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.045 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.045 * [taylor]: Taking taylor expansion of 18.0 in t
8.045 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.045 * [taylor]: Taking taylor expansion of t in t
8.045 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.045 * [taylor]: Taking taylor expansion of x in t
8.045 * [taylor]: Taking taylor expansion of (* z y) in t
8.045 * [taylor]: Taking taylor expansion of z in t
8.046 * [taylor]: Taking taylor expansion of y in t
8.046 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.046 * [taylor]: Taking taylor expansion of 18.0 in z
8.046 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.046 * [taylor]: Taking taylor expansion of t in z
8.046 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.046 * [taylor]: Taking taylor expansion of x in z
8.046 * [taylor]: Taking taylor expansion of (* z y) in z
8.046 * [taylor]: Taking taylor expansion of z in z
8.046 * [taylor]: Taking taylor expansion of y in z
8.048 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.048 * [taylor]: Taking taylor expansion of 18.0 in y
8.048 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.048 * [taylor]: Taking taylor expansion of t in y
8.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.048 * [taylor]: Taking taylor expansion of x in y
8.048 * [taylor]: Taking taylor expansion of (* z y) in y
8.048 * [taylor]: Taking taylor expansion of z in y
8.048 * [taylor]: Taking taylor expansion of y in y
8.049 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.049 * [taylor]: Taking taylor expansion of 18.0 in x
8.049 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.049 * [taylor]: Taking taylor expansion of t in x
8.049 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.049 * [taylor]: Taking taylor expansion of x in x
8.049 * [taylor]: Taking taylor expansion of (* z y) in x
8.050 * [taylor]: Taking taylor expansion of z in x
8.050 * [taylor]: Taking taylor expansion of y in x
8.050 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.051 * [taylor]: Taking taylor expansion of 18.0 in x
8.051 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.051 * [taylor]: Taking taylor expansion of t in x
8.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.051 * [taylor]: Taking taylor expansion of x in x
8.051 * [taylor]: Taking taylor expansion of (* z y) in x
8.051 * [taylor]: Taking taylor expansion of z in x
8.051 * [taylor]: Taking taylor expansion of y in x
8.052 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.052 * [taylor]: Taking taylor expansion of 18.0 in y
8.052 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.052 * [taylor]: Taking taylor expansion of t in y
8.052 * [taylor]: Taking taylor expansion of (* z y) in y
8.052 * [taylor]: Taking taylor expansion of z in y
8.052 * [taylor]: Taking taylor expansion of y in y
8.053 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.053 * [taylor]: Taking taylor expansion of 18.0 in z
8.053 * [taylor]: Taking taylor expansion of (* t z) in z
8.053 * [taylor]: Taking taylor expansion of t in z
8.053 * [taylor]: Taking taylor expansion of z in z
8.053 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.053 * [taylor]: Taking taylor expansion of 18.0 in t
8.053 * [taylor]: Taking taylor expansion of t in t
8.055 * [taylor]: Taking taylor expansion of 0 in y
8.056 * [taylor]: Taking taylor expansion of 0 in z
8.057 * [taylor]: Taking taylor expansion of 0 in t
8.060 * [taylor]: Taking taylor expansion of 0 in y
8.060 * [taylor]: Taking taylor expansion of 0 in z
8.061 * [taylor]: Taking taylor expansion of 0 in z
8.062 * [taylor]: Taking taylor expansion of 0 in t
8.062 * [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.067 * [taylor]: Taking taylor expansion of 0 in z
8.068 * [taylor]: Taking taylor expansion of 0 in z
8.068 * [taylor]: Taking taylor expansion of 0 in t
8.068 * [taylor]: Taking taylor expansion of 0 in t
8.069 * [taylor]: Taking taylor expansion of 0 in t
8.069 * [taylor]: Taking taylor expansion of 0 in t
8.070 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.070 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.070 * [taylor]: Taking taylor expansion of 18.0 in t
8.070 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.070 * [taylor]: Taking taylor expansion of t in t
8.070 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.070 * [taylor]: Taking taylor expansion of x in t
8.070 * [taylor]: Taking taylor expansion of (* z y) in t
8.070 * [taylor]: Taking taylor expansion of z in t
8.070 * [taylor]: Taking taylor expansion of y in t
8.071 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.071 * [taylor]: Taking taylor expansion of 18.0 in z
8.071 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.071 * [taylor]: Taking taylor expansion of t in z
8.071 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.071 * [taylor]: Taking taylor expansion of x in z
8.071 * [taylor]: Taking taylor expansion of (* z y) in z
8.071 * [taylor]: Taking taylor expansion of z in z
8.071 * [taylor]: Taking taylor expansion of y in z
8.072 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.072 * [taylor]: Taking taylor expansion of 18.0 in y
8.072 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.072 * [taylor]: Taking taylor expansion of t in y
8.072 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.073 * [taylor]: Taking taylor expansion of x in y
8.073 * [taylor]: Taking taylor expansion of (* z y) in y
8.073 * [taylor]: Taking taylor expansion of z in y
8.073 * [taylor]: Taking taylor expansion of y in y
8.074 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.074 * [taylor]: Taking taylor expansion of 18.0 in x
8.074 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.074 * [taylor]: Taking taylor expansion of t in x
8.074 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.074 * [taylor]: Taking taylor expansion of x in x
8.074 * [taylor]: Taking taylor expansion of (* z y) in x
8.074 * [taylor]: Taking taylor expansion of z in x
8.074 * [taylor]: Taking taylor expansion of y in x
8.075 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.075 * [taylor]: Taking taylor expansion of 18.0 in x
8.075 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.075 * [taylor]: Taking taylor expansion of t in x
8.075 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.075 * [taylor]: Taking taylor expansion of x in x
8.075 * [taylor]: Taking taylor expansion of (* z y) in x
8.075 * [taylor]: Taking taylor expansion of z in x
8.075 * [taylor]: Taking taylor expansion of y in x
8.076 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.076 * [taylor]: Taking taylor expansion of 18.0 in y
8.076 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.076 * [taylor]: Taking taylor expansion of t in y
8.076 * [taylor]: Taking taylor expansion of (* z y) in y
8.076 * [taylor]: Taking taylor expansion of z in y
8.076 * [taylor]: Taking taylor expansion of y in y
8.077 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.077 * [taylor]: Taking taylor expansion of 18.0 in z
8.077 * [taylor]: Taking taylor expansion of (* t z) in z
8.077 * [taylor]: Taking taylor expansion of t in z
8.077 * [taylor]: Taking taylor expansion of z in z
8.078 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.078 * [taylor]: Taking taylor expansion of 18.0 in t
8.078 * [taylor]: Taking taylor expansion of t in t
8.080 * [taylor]: Taking taylor expansion of 0 in y
8.081 * [taylor]: Taking taylor expansion of 0 in z
8.085 * [taylor]: Taking taylor expansion of 0 in t
8.088 * [taylor]: Taking taylor expansion of 0 in y
8.089 * [taylor]: Taking taylor expansion of 0 in z
8.090 * [taylor]: Taking taylor expansion of 0 in z
8.090 * [taylor]: Taking taylor expansion of 0 in t
8.091 * [taylor]: Taking taylor expansion of 0 in t
8.095 * [taylor]: Taking taylor expansion of 0 in y
8.095 * [taylor]: Taking taylor expansion of 0 in z
8.095 * [taylor]: Taking taylor expansion of 0 in z
8.097 * [taylor]: Taking taylor expansion of 0 in z
8.097 * [taylor]: Taking taylor expansion of 0 in t
8.097 * [taylor]: Taking taylor expansion of 0 in t
8.097 * [taylor]: Taking taylor expansion of 0 in t
8.098 * [taylor]: Taking taylor expansion of 0 in t
8.098 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.098 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.098 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.099 * [taylor]: Taking taylor expansion of 18.0 in z
8.099 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.099 * [taylor]: Taking taylor expansion of x in z
8.099 * [taylor]: Taking taylor expansion of (* z y) in z
8.099 * [taylor]: Taking taylor expansion of z in z
8.099 * [taylor]: Taking taylor expansion of y in z
8.099 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.099 * [taylor]: Taking taylor expansion of 18.0 in y
8.099 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.099 * [taylor]: Taking taylor expansion of x in y
8.099 * [taylor]: Taking taylor expansion of (* z y) in y
8.099 * [taylor]: Taking taylor expansion of z in y
8.099 * [taylor]: Taking taylor expansion of y in y
8.099 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.099 * [taylor]: Taking taylor expansion of 18.0 in x
8.099 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.099 * [taylor]: Taking taylor expansion of x in x
8.099 * [taylor]: Taking taylor expansion of (* z y) in x
8.099 * [taylor]: Taking taylor expansion of z in x
8.099 * [taylor]: Taking taylor expansion of y in x
8.099 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.099 * [taylor]: Taking taylor expansion of 18.0 in x
8.099 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.099 * [taylor]: Taking taylor expansion of x in x
8.099 * [taylor]: Taking taylor expansion of (* z y) in x
8.099 * [taylor]: Taking taylor expansion of z in x
8.099 * [taylor]: Taking taylor expansion of y in x
8.100 * [taylor]: Taking taylor expansion of 0 in y
8.100 * [taylor]: Taking taylor expansion of 0 in z
8.101 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.101 * [taylor]: Taking taylor expansion of 18.0 in y
8.101 * [taylor]: Taking taylor expansion of (* z y) in y
8.101 * [taylor]: Taking taylor expansion of z in y
8.101 * [taylor]: Taking taylor expansion of y in y
8.101 * [taylor]: Taking taylor expansion of 0 in z
8.101 * [taylor]: Taking taylor expansion of 0 in z
8.103 * [taylor]: Taking taylor expansion of 0 in y
8.103 * [taylor]: Taking taylor expansion of 0 in z
8.104 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.104 * [taylor]: Taking taylor expansion of 18.0 in z
8.104 * [taylor]: Taking taylor expansion of z in z
8.105 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.105 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.105 * [taylor]: Taking taylor expansion of 18.0 in z
8.105 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.105 * [taylor]: Taking taylor expansion of x in z
8.105 * [taylor]: Taking taylor expansion of (* z y) in z
8.105 * [taylor]: Taking taylor expansion of z in z
8.105 * [taylor]: Taking taylor expansion of y in z
8.105 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.106 * [taylor]: Taking taylor expansion of 18.0 in y
8.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.106 * [taylor]: Taking taylor expansion of x in y
8.106 * [taylor]: Taking taylor expansion of (* z y) in y
8.106 * [taylor]: Taking taylor expansion of z in y
8.106 * [taylor]: Taking taylor expansion of y in y
8.106 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.106 * [taylor]: Taking taylor expansion of 18.0 in x
8.106 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.106 * [taylor]: Taking taylor expansion of x in x
8.106 * [taylor]: Taking taylor expansion of (* z y) in x
8.106 * [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.107 * [taylor]: Taking taylor expansion of x in x
8.107 * [taylor]: Taking taylor expansion of (* z y) in x
8.107 * [taylor]: Taking taylor expansion of z in x
8.107 * [taylor]: Taking taylor expansion of y in x
8.108 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.108 * [taylor]: Taking taylor expansion of 18.0 in y
8.108 * [taylor]: Taking taylor expansion of (* z y) in y
8.108 * [taylor]: Taking taylor expansion of z in y
8.108 * [taylor]: Taking taylor expansion of y in y
8.108 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.108 * [taylor]: Taking taylor expansion of 18.0 in z
8.108 * [taylor]: Taking taylor expansion of z in z
8.110 * [taylor]: Taking taylor expansion of 0 in y
8.110 * [taylor]: Taking taylor expansion of 0 in z
8.113 * [taylor]: Taking taylor expansion of 0 in y
8.113 * [taylor]: Taking taylor expansion of 0 in z
8.114 * [taylor]: Taking taylor expansion of 0 in z
8.117 * [taylor]: Taking taylor expansion of 0 in y
8.117 * [taylor]: Taking taylor expansion of 0 in z
8.117 * [taylor]: Taking taylor expansion of 0 in z
8.118 * [taylor]: Taking taylor expansion of 0 in z
8.118 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.118 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.118 * [taylor]: Taking taylor expansion of -18.0 in z
8.118 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.118 * [taylor]: Taking taylor expansion of x in z
8.118 * [taylor]: Taking taylor expansion of (* z y) in z
8.118 * [taylor]: Taking taylor expansion of z in z
8.118 * [taylor]: Taking taylor expansion of y in z
8.119 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.119 * [taylor]: Taking taylor expansion of -18.0 in y
8.119 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.119 * [taylor]: Taking taylor expansion of x in y
8.119 * [taylor]: Taking taylor expansion of (* z y) in y
8.119 * [taylor]: Taking taylor expansion of z in y
8.119 * [taylor]: Taking taylor expansion of y in y
8.120 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.120 * [taylor]: Taking taylor expansion of -18.0 in x
8.120 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.120 * [taylor]: Taking taylor expansion of x in x
8.120 * [taylor]: Taking taylor expansion of (* z y) in x
8.120 * [taylor]: Taking taylor expansion of z in x
8.120 * [taylor]: Taking taylor expansion of y in x
8.121 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.121 * [taylor]: Taking taylor expansion of -18.0 in x
8.121 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.121 * [taylor]: Taking taylor expansion of x in x
8.121 * [taylor]: Taking taylor expansion of (* z y) in x
8.121 * [taylor]: Taking taylor expansion of z in x
8.121 * [taylor]: Taking taylor expansion of y in x
8.121 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.121 * [taylor]: Taking taylor expansion of -18.0 in y
8.121 * [taylor]: Taking taylor expansion of (* z y) in y
8.121 * [taylor]: Taking taylor expansion of z in y
8.121 * [taylor]: Taking taylor expansion of y in y
8.122 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.122 * [taylor]: Taking taylor expansion of -18.0 in z
8.122 * [taylor]: Taking taylor expansion of z in z
8.123 * [taylor]: Taking taylor expansion of 0 in y
8.124 * [taylor]: Taking taylor expansion of 0 in z
8.126 * [taylor]: Taking taylor expansion of 0 in y
8.126 * [taylor]: Taking taylor expansion of 0 in z
8.127 * [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.131 * [taylor]: Taking taylor expansion of 0 in z
8.132 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
8.132 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
8.132 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
8.132 * [taylor]: Taking taylor expansion of 27.0 in k
8.132 * [taylor]: Taking taylor expansion of (* k j) in k
8.132 * [taylor]: Taking taylor expansion of k in k
8.132 * [taylor]: Taking taylor expansion of j in k
8.132 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
8.132 * [taylor]: Taking taylor expansion of 27.0 in j
8.132 * [taylor]: Taking taylor expansion of (* k j) in j
8.132 * [taylor]: Taking taylor expansion of k in j
8.132 * [taylor]: Taking taylor expansion of j in j
8.132 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
8.132 * [taylor]: Taking taylor expansion of 27.0 in j
8.132 * [taylor]: Taking taylor expansion of (* k j) in j
8.132 * [taylor]: Taking taylor expansion of k in j
8.132 * [taylor]: Taking taylor expansion of j in j
8.133 * [taylor]: Taking taylor expansion of 0 in k
8.134 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
8.134 * [taylor]: Taking taylor expansion of 27.0 in k
8.134 * [taylor]: Taking taylor expansion of k in k
8.135 * [taylor]: Taking taylor expansion of 0 in k
8.138 * [taylor]: Taking taylor expansion of 0 in k
8.140 * [taylor]: Taking taylor expansion of 0 in k
8.141 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
8.141 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
8.141 * [taylor]: Taking taylor expansion of 27.0 in k
8.141 * [taylor]: Taking taylor expansion of (* k j) in k
8.141 * [taylor]: Taking taylor expansion of k in k
8.141 * [taylor]: Taking taylor expansion of j in k
8.141 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.141 * [taylor]: Taking taylor expansion of 27.0 in j
8.141 * [taylor]: Taking taylor expansion of (* k j) in j
8.141 * [taylor]: Taking taylor expansion of k in j
8.141 * [taylor]: Taking taylor expansion of j in j
8.142 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.142 * [taylor]: Taking taylor expansion of 27.0 in j
8.142 * [taylor]: Taking taylor expansion of (* k j) in j
8.142 * [taylor]: Taking taylor expansion of k in j
8.142 * [taylor]: Taking taylor expansion of j in j
8.142 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
8.142 * [taylor]: Taking taylor expansion of 27.0 in k
8.142 * [taylor]: Taking taylor expansion of k in k
8.143 * [taylor]: Taking taylor expansion of 0 in k
8.145 * [taylor]: Taking taylor expansion of 0 in k
8.146 * [taylor]: Taking taylor expansion of 0 in k
8.147 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
8.147 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
8.147 * [taylor]: Taking taylor expansion of 27.0 in k
8.147 * [taylor]: Taking taylor expansion of (* k j) in k
8.147 * [taylor]: Taking taylor expansion of k in k
8.147 * [taylor]: Taking taylor expansion of j in k
8.148 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.148 * [taylor]: Taking taylor expansion of 27.0 in j
8.148 * [taylor]: Taking taylor expansion of (* k j) in j
8.148 * [taylor]: Taking taylor expansion of k in j
8.148 * [taylor]: Taking taylor expansion of j in j
8.148 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
8.148 * [taylor]: Taking taylor expansion of 27.0 in j
8.148 * [taylor]: Taking taylor expansion of (* k j) in j
8.148 * [taylor]: Taking taylor expansion of k in j
8.148 * [taylor]: Taking taylor expansion of j in j
8.149 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
8.149 * [taylor]: Taking taylor expansion of 27.0 in k
8.149 * [taylor]: Taking taylor expansion of k in k
8.150 * [taylor]: Taking taylor expansion of 0 in k
8.151 * [taylor]: Taking taylor expansion of 0 in k
8.153 * [taylor]: Taking taylor expansion of 0 in k
8.154 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
8.154 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
8.154 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
8.154 * [taylor]: Taking taylor expansion of 18.0 in y
8.154 * [taylor]: Taking taylor expansion of (* x y) in y
8.154 * [taylor]: Taking taylor expansion of x in y
8.154 * [taylor]: Taking taylor expansion of y in y
8.154 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
8.154 * [taylor]: Taking taylor expansion of 18.0 in x
8.154 * [taylor]: Taking taylor expansion of (* x y) in x
8.154 * [taylor]: Taking taylor expansion of x in x
8.154 * [taylor]: Taking taylor expansion of y in x
8.154 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
8.154 * [taylor]: Taking taylor expansion of 18.0 in x
8.154 * [taylor]: Taking taylor expansion of (* x y) in x
8.154 * [taylor]: Taking taylor expansion of x in x
8.154 * [taylor]: Taking taylor expansion of y in x
8.155 * [taylor]: Taking taylor expansion of 0 in y
8.156 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
8.156 * [taylor]: Taking taylor expansion of 18.0 in y
8.156 * [taylor]: Taking taylor expansion of y in y
8.157 * [taylor]: Taking taylor expansion of 0 in y
8.160 * [taylor]: Taking taylor expansion of 0 in y
8.163 * [taylor]: Taking taylor expansion of 0 in y
8.163 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
8.164 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
8.164 * [taylor]: Taking taylor expansion of 18.0 in y
8.164 * [taylor]: Taking taylor expansion of (* x y) in y
8.164 * [taylor]: Taking taylor expansion of x in y
8.164 * [taylor]: Taking taylor expansion of y in y
8.164 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.164 * [taylor]: Taking taylor expansion of 18.0 in x
8.164 * [taylor]: Taking taylor expansion of (* x y) in x
8.164 * [taylor]: Taking taylor expansion of x in x
8.164 * [taylor]: Taking taylor expansion of y in x
8.164 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.165 * [taylor]: Taking taylor expansion of 18.0 in x
8.165 * [taylor]: Taking taylor expansion of (* x y) in x
8.165 * [taylor]: Taking taylor expansion of x in x
8.165 * [taylor]: Taking taylor expansion of y in x
8.165 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
8.165 * [taylor]: Taking taylor expansion of 18.0 in y
8.165 * [taylor]: Taking taylor expansion of y in y
8.166 * [taylor]: Taking taylor expansion of 0 in y
8.168 * [taylor]: Taking taylor expansion of 0 in y
8.170 * [taylor]: Taking taylor expansion of 0 in y
8.171 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
8.171 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
8.171 * [taylor]: Taking taylor expansion of 18.0 in y
8.171 * [taylor]: Taking taylor expansion of (* x y) in y
8.171 * [taylor]: Taking taylor expansion of x in y
8.171 * [taylor]: Taking taylor expansion of y in y
8.171 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.172 * [taylor]: Taking taylor expansion of 18.0 in x
8.172 * [taylor]: Taking taylor expansion of (* x y) in x
8.172 * [taylor]: Taking taylor expansion of x in x
8.172 * [taylor]: Taking taylor expansion of y in x
8.172 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
8.172 * [taylor]: Taking taylor expansion of 18.0 in x
8.172 * [taylor]: Taking taylor expansion of (* x y) in x
8.172 * [taylor]: Taking taylor expansion of x in x
8.172 * [taylor]: Taking taylor expansion of y in x
8.173 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
8.173 * [taylor]: Taking taylor expansion of 18.0 in y
8.173 * [taylor]: Taking taylor expansion of y in y
8.174 * [taylor]: Taking taylor expansion of 0 in y
8.175 * [taylor]: Taking taylor expansion of 0 in y
8.177 * [taylor]: Taking taylor expansion of 0 in y
8.178 * * * [progress]: simplifying candidates
8.180 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
8.184 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
8.212 * * [simplify]: iteration  1 :  358  enodes  (cost  943 )
8.450 * * [simplify]: iteration  2 :  1711  enodes  (cost  737 )
9.303 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
9.304 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* y 18.0)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
9.305 * * * [progress]: adding candidates to table
9.703 * * [progress]: iteration 3 / 4
9.703 * * * [progress]: picking best candidate
9.758 * * * * [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)))>
9.758 * * * [progress]: localizing error
9.787 * * * [progress]: generating rewritten candidates
9.787 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
9.869 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
9.891 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
9.897 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
9.907 * * * [progress]: generating series expansions
9.907 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
9.907 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.907 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
9.907 * [taylor]: Taking taylor expansion of 18.0 in t
9.907 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.907 * [taylor]: Taking taylor expansion of t in t
9.907 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.907 * [taylor]: Taking taylor expansion of x in t
9.907 * [taylor]: Taking taylor expansion of (* z y) in t
9.907 * [taylor]: Taking taylor expansion of z in t
9.907 * [taylor]: Taking taylor expansion of y in t
9.907 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
9.907 * [taylor]: Taking taylor expansion of 18.0 in z
9.907 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.907 * [taylor]: Taking taylor expansion of t in z
9.907 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.907 * [taylor]: Taking taylor expansion of x in z
9.907 * [taylor]: Taking taylor expansion of (* z y) in z
9.907 * [taylor]: Taking taylor expansion of z in z
9.907 * [taylor]: Taking taylor expansion of y in z
9.907 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
9.907 * [taylor]: Taking taylor expansion of 18.0 in y
9.907 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.907 * [taylor]: Taking taylor expansion of t in y
9.907 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.907 * [taylor]: Taking taylor expansion of x in y
9.907 * [taylor]: Taking taylor expansion of (* z y) in y
9.908 * [taylor]: Taking taylor expansion of z in y
9.908 * [taylor]: Taking taylor expansion of y in y
9.908 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.908 * [taylor]: Taking taylor expansion of 18.0 in x
9.908 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.908 * [taylor]: Taking taylor expansion of t in x
9.908 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.908 * [taylor]: Taking taylor expansion of x in x
9.908 * [taylor]: Taking taylor expansion of (* z y) in x
9.908 * [taylor]: Taking taylor expansion of z in x
9.908 * [taylor]: Taking taylor expansion of y in x
9.908 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
9.908 * [taylor]: Taking taylor expansion of 18.0 in x
9.908 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.908 * [taylor]: Taking taylor expansion of t in x
9.908 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.908 * [taylor]: Taking taylor expansion of x in x
9.908 * [taylor]: Taking taylor expansion of (* z y) in x
9.908 * [taylor]: Taking taylor expansion of z in x
9.908 * [taylor]: Taking taylor expansion of y in x
9.909 * [taylor]: Taking taylor expansion of 0 in y
9.909 * [taylor]: Taking taylor expansion of 0 in z
9.909 * [taylor]: Taking taylor expansion of 0 in t
9.910 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
9.910 * [taylor]: Taking taylor expansion of 18.0 in y
9.910 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.910 * [taylor]: Taking taylor expansion of t in y
9.910 * [taylor]: Taking taylor expansion of (* z y) in y
9.910 * [taylor]: Taking taylor expansion of z in y
9.910 * [taylor]: Taking taylor expansion of y in y
9.911 * [taylor]: Taking taylor expansion of 0 in z
9.911 * [taylor]: Taking taylor expansion of 0 in t
9.911 * [taylor]: Taking taylor expansion of 0 in z
9.911 * [taylor]: Taking taylor expansion of 0 in t
9.911 * [taylor]: Taking taylor expansion of 0 in t
9.913 * [taylor]: Taking taylor expansion of 0 in y
9.913 * [taylor]: Taking taylor expansion of 0 in z
9.913 * [taylor]: Taking taylor expansion of 0 in t
9.913 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.913 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.913 * [taylor]: Taking taylor expansion of 18.0 in t
9.913 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.913 * [taylor]: Taking taylor expansion of t in t
9.913 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.913 * [taylor]: Taking taylor expansion of x in t
9.913 * [taylor]: Taking taylor expansion of (* z y) in t
9.913 * [taylor]: Taking taylor expansion of z in t
9.913 * [taylor]: Taking taylor expansion of y in t
9.914 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.914 * [taylor]: Taking taylor expansion of 18.0 in z
9.914 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.914 * [taylor]: Taking taylor expansion of t in z
9.914 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.914 * [taylor]: Taking taylor expansion of x in z
9.914 * [taylor]: Taking taylor expansion of (* z y) in z
9.914 * [taylor]: Taking taylor expansion of z in z
9.914 * [taylor]: Taking taylor expansion of y in z
9.915 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.916 * [taylor]: Taking taylor expansion of 18.0 in y
9.916 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.916 * [taylor]: Taking taylor expansion of t in y
9.916 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.916 * [taylor]: Taking taylor expansion of x in y
9.916 * [taylor]: Taking taylor expansion of (* z y) in y
9.916 * [taylor]: Taking taylor expansion of z in y
9.916 * [taylor]: Taking taylor expansion of y in y
9.917 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.917 * [taylor]: Taking taylor expansion of 18.0 in x
9.917 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.917 * [taylor]: Taking taylor expansion of t in x
9.917 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.917 * [taylor]: Taking taylor expansion of x in x
9.917 * [taylor]: Taking taylor expansion of (* z y) in x
9.917 * [taylor]: Taking taylor expansion of z in x
9.917 * [taylor]: Taking taylor expansion of y in x
9.918 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.918 * [taylor]: Taking taylor expansion of 18.0 in x
9.918 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.918 * [taylor]: Taking taylor expansion of t in x
9.918 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.918 * [taylor]: Taking taylor expansion of x in x
9.918 * [taylor]: Taking taylor expansion of (* z y) in x
9.918 * [taylor]: Taking taylor expansion of z in x
9.918 * [taylor]: Taking taylor expansion of y in x
9.919 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.919 * [taylor]: Taking taylor expansion of 18.0 in y
9.919 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.919 * [taylor]: Taking taylor expansion of t in y
9.919 * [taylor]: Taking taylor expansion of (* z y) in y
9.919 * [taylor]: Taking taylor expansion of z in y
9.919 * [taylor]: Taking taylor expansion of y in y
9.920 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.920 * [taylor]: Taking taylor expansion of 18.0 in z
9.920 * [taylor]: Taking taylor expansion of (* t z) in z
9.920 * [taylor]: Taking taylor expansion of t in z
9.920 * [taylor]: Taking taylor expansion of z in z
9.921 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.921 * [taylor]: Taking taylor expansion of 18.0 in t
9.921 * [taylor]: Taking taylor expansion of t in t
9.922 * [taylor]: Taking taylor expansion of 0 in y
9.923 * [taylor]: Taking taylor expansion of 0 in z
9.924 * [taylor]: Taking taylor expansion of 0 in t
9.932 * [taylor]: Taking taylor expansion of 0 in y
9.932 * [taylor]: Taking taylor expansion of 0 in z
9.933 * [taylor]: Taking taylor expansion of 0 in z
9.933 * [taylor]: Taking taylor expansion of 0 in t
9.934 * [taylor]: Taking taylor expansion of 0 in t
9.938 * [taylor]: Taking taylor expansion of 0 in y
9.938 * [taylor]: Taking taylor expansion of 0 in z
9.938 * [taylor]: Taking taylor expansion of 0 in z
9.940 * [taylor]: Taking taylor expansion of 0 in z
9.940 * [taylor]: Taking taylor expansion of 0 in t
9.940 * [taylor]: Taking taylor expansion of 0 in t
9.940 * [taylor]: Taking taylor expansion of 0 in t
9.941 * [taylor]: Taking taylor expansion of 0 in t
9.942 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
9.942 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
9.942 * [taylor]: Taking taylor expansion of 18.0 in t
9.942 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
9.942 * [taylor]: Taking taylor expansion of t in t
9.942 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
9.942 * [taylor]: Taking taylor expansion of x in t
9.942 * [taylor]: Taking taylor expansion of (* z y) in t
9.942 * [taylor]: Taking taylor expansion of z in t
9.942 * [taylor]: Taking taylor expansion of y in t
9.943 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
9.943 * [taylor]: Taking taylor expansion of 18.0 in z
9.943 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
9.943 * [taylor]: Taking taylor expansion of t in z
9.943 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.943 * [taylor]: Taking taylor expansion of x in z
9.943 * [taylor]: Taking taylor expansion of (* z y) in z
9.943 * [taylor]: Taking taylor expansion of z in z
9.943 * [taylor]: Taking taylor expansion of y in z
9.944 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
9.944 * [taylor]: Taking taylor expansion of 18.0 in y
9.944 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
9.944 * [taylor]: Taking taylor expansion of t in y
9.944 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.944 * [taylor]: Taking taylor expansion of x in y
9.944 * [taylor]: Taking taylor expansion of (* z y) in y
9.944 * [taylor]: Taking taylor expansion of z in y
9.944 * [taylor]: Taking taylor expansion of y in y
9.946 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.946 * [taylor]: Taking taylor expansion of 18.0 in x
9.946 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.946 * [taylor]: Taking taylor expansion of t in x
9.946 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.946 * [taylor]: Taking taylor expansion of x in x
9.946 * [taylor]: Taking taylor expansion of (* z y) in x
9.946 * [taylor]: Taking taylor expansion of z in x
9.946 * [taylor]: Taking taylor expansion of y in x
9.947 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
9.947 * [taylor]: Taking taylor expansion of 18.0 in x
9.947 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
9.947 * [taylor]: Taking taylor expansion of t in x
9.947 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.947 * [taylor]: Taking taylor expansion of x in x
9.947 * [taylor]: Taking taylor expansion of (* z y) in x
9.947 * [taylor]: Taking taylor expansion of z in x
9.947 * [taylor]: Taking taylor expansion of y in x
9.948 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
9.948 * [taylor]: Taking taylor expansion of 18.0 in y
9.948 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
9.948 * [taylor]: Taking taylor expansion of t in y
9.948 * [taylor]: Taking taylor expansion of (* z y) in y
9.948 * [taylor]: Taking taylor expansion of z in y
9.948 * [taylor]: Taking taylor expansion of y in y
9.949 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
9.949 * [taylor]: Taking taylor expansion of 18.0 in z
9.949 * [taylor]: Taking taylor expansion of (* t z) in z
9.949 * [taylor]: Taking taylor expansion of t in z
9.949 * [taylor]: Taking taylor expansion of z in z
9.949 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
9.949 * [taylor]: Taking taylor expansion of 18.0 in t
9.949 * [taylor]: Taking taylor expansion of t in t
9.951 * [taylor]: Taking taylor expansion of 0 in y
9.952 * [taylor]: Taking taylor expansion of 0 in z
9.953 * [taylor]: Taking taylor expansion of 0 in t
9.956 * [taylor]: Taking taylor expansion of 0 in y
9.956 * [taylor]: Taking taylor expansion of 0 in z
9.958 * [taylor]: Taking taylor expansion of 0 in z
9.958 * [taylor]: Taking taylor expansion of 0 in t
9.958 * [taylor]: Taking taylor expansion of 0 in t
9.962 * [taylor]: Taking taylor expansion of 0 in y
9.963 * [taylor]: Taking taylor expansion of 0 in z
9.963 * [taylor]: Taking taylor expansion of 0 in z
9.964 * [taylor]: Taking taylor expansion of 0 in z
9.965 * [taylor]: Taking taylor expansion of 0 in t
9.965 * [taylor]: Taking taylor expansion of 0 in t
9.965 * [taylor]: Taking taylor expansion of 0 in t
9.965 * [taylor]: Taking taylor expansion of 0 in t
9.966 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
9.966 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
9.966 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
9.966 * [taylor]: Taking taylor expansion of 18.0 in z
9.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.966 * [taylor]: Taking taylor expansion of x in z
9.966 * [taylor]: Taking taylor expansion of (* z y) in z
9.966 * [taylor]: Taking taylor expansion of z in z
9.966 * [taylor]: Taking taylor expansion of y in z
9.966 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
9.966 * [taylor]: Taking taylor expansion of 18.0 in y
9.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.966 * [taylor]: Taking taylor expansion of x in y
9.966 * [taylor]: Taking taylor expansion of (* z y) in y
9.966 * [taylor]: Taking taylor expansion of z in y
9.966 * [taylor]: Taking taylor expansion of y in y
9.966 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.966 * [taylor]: Taking taylor expansion of 18.0 in x
9.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.966 * [taylor]: Taking taylor expansion of x in x
9.966 * [taylor]: Taking taylor expansion of (* z y) in x
9.966 * [taylor]: Taking taylor expansion of z in x
9.966 * [taylor]: Taking taylor expansion of y in x
9.966 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
9.966 * [taylor]: Taking taylor expansion of 18.0 in x
9.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.966 * [taylor]: Taking taylor expansion of x in x
9.966 * [taylor]: Taking taylor expansion of (* z y) in x
9.966 * [taylor]: Taking taylor expansion of z in x
9.966 * [taylor]: Taking taylor expansion of y in x
9.967 * [taylor]: Taking taylor expansion of 0 in y
9.967 * [taylor]: Taking taylor expansion of 0 in z
9.968 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
9.968 * [taylor]: Taking taylor expansion of 18.0 in y
9.968 * [taylor]: Taking taylor expansion of (* z y) in y
9.968 * [taylor]: Taking taylor expansion of z in y
9.968 * [taylor]: Taking taylor expansion of y in y
9.969 * [taylor]: Taking taylor expansion of 0 in z
9.969 * [taylor]: Taking taylor expansion of 0 in z
9.970 * [taylor]: Taking taylor expansion of 0 in y
9.970 * [taylor]: Taking taylor expansion of 0 in z
9.971 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
9.971 * [taylor]: Taking taylor expansion of 18.0 in z
9.971 * [taylor]: Taking taylor expansion of z in z
9.972 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
9.972 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
9.972 * [taylor]: Taking taylor expansion of 18.0 in z
9.972 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.972 * [taylor]: Taking taylor expansion of x in z
9.972 * [taylor]: Taking taylor expansion of (* z y) in z
9.972 * [taylor]: Taking taylor expansion of z in z
9.972 * [taylor]: Taking taylor expansion of y in z
9.973 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
9.973 * [taylor]: Taking taylor expansion of 18.0 in y
9.973 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.973 * [taylor]: Taking taylor expansion of x in y
9.973 * [taylor]: Taking taylor expansion of (* z y) in y
9.973 * [taylor]: Taking taylor expansion of z in y
9.973 * [taylor]: Taking taylor expansion of y in y
9.974 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.974 * [taylor]: Taking taylor expansion of 18.0 in x
9.974 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.974 * [taylor]: Taking taylor expansion of x in x
9.974 * [taylor]: Taking taylor expansion of (* z y) in x
9.974 * [taylor]: Taking taylor expansion of z in x
9.974 * [taylor]: Taking taylor expansion of y in x
9.974 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
9.974 * [taylor]: Taking taylor expansion of 18.0 in x
9.974 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.974 * [taylor]: Taking taylor expansion of x in x
9.974 * [taylor]: Taking taylor expansion of (* z y) in x
9.974 * [taylor]: Taking taylor expansion of z in x
9.974 * [taylor]: Taking taylor expansion of y in x
9.975 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
9.975 * [taylor]: Taking taylor expansion of 18.0 in y
9.975 * [taylor]: Taking taylor expansion of (* z y) in y
9.975 * [taylor]: Taking taylor expansion of z in y
9.975 * [taylor]: Taking taylor expansion of y in y
9.975 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
9.976 * [taylor]: Taking taylor expansion of 18.0 in z
9.976 * [taylor]: Taking taylor expansion of z in z
9.977 * [taylor]: Taking taylor expansion of 0 in y
9.978 * [taylor]: Taking taylor expansion of 0 in z
9.980 * [taylor]: Taking taylor expansion of 0 in y
9.980 * [taylor]: Taking taylor expansion of 0 in z
9.981 * [taylor]: Taking taylor expansion of 0 in z
9.984 * [taylor]: Taking taylor expansion of 0 in y
9.984 * [taylor]: Taking taylor expansion of 0 in z
9.984 * [taylor]: Taking taylor expansion of 0 in z
9.985 * [taylor]: Taking taylor expansion of 0 in z
9.985 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
9.986 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
9.986 * [taylor]: Taking taylor expansion of -18.0 in z
9.986 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
9.986 * [taylor]: Taking taylor expansion of x in z
9.986 * [taylor]: Taking taylor expansion of (* z y) in z
9.986 * [taylor]: Taking taylor expansion of z in z
9.986 * [taylor]: Taking taylor expansion of y in z
9.987 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
9.987 * [taylor]: Taking taylor expansion of -18.0 in y
9.987 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
9.987 * [taylor]: Taking taylor expansion of x in y
9.987 * [taylor]: Taking taylor expansion of (* z y) in y
9.987 * [taylor]: Taking taylor expansion of z in y
9.987 * [taylor]: Taking taylor expansion of y in y
9.988 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.988 * [taylor]: Taking taylor expansion of -18.0 in x
9.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.988 * [taylor]: Taking taylor expansion of x in x
9.988 * [taylor]: Taking taylor expansion of (* z y) in x
9.988 * [taylor]: Taking taylor expansion of z in x
9.988 * [taylor]: Taking taylor expansion of y in x
9.988 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
9.988 * [taylor]: Taking taylor expansion of -18.0 in x
9.988 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
9.988 * [taylor]: Taking taylor expansion of x in x
9.988 * [taylor]: Taking taylor expansion of (* z y) in x
9.988 * [taylor]: Taking taylor expansion of z in x
9.988 * [taylor]: Taking taylor expansion of y in x
9.989 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
9.989 * [taylor]: Taking taylor expansion of -18.0 in y
9.989 * [taylor]: Taking taylor expansion of (* z y) in y
9.989 * [taylor]: Taking taylor expansion of z in y
9.989 * [taylor]: Taking taylor expansion of y in y
9.990 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
9.990 * [taylor]: Taking taylor expansion of -18.0 in z
9.990 * [taylor]: Taking taylor expansion of z in z
9.991 * [taylor]: Taking taylor expansion of 0 in y
9.992 * [taylor]: Taking taylor expansion of 0 in z
9.994 * [taylor]: Taking taylor expansion of 0 in y
9.994 * [taylor]: Taking taylor expansion of 0 in z
9.995 * [taylor]: Taking taylor expansion of 0 in z
9.998 * [taylor]: Taking taylor expansion of 0 in y
9.998 * [taylor]: Taking taylor expansion of 0 in z
9.998 * [taylor]: Taking taylor expansion of 0 in z
9.999 * [taylor]: Taking taylor expansion of 0 in z
10.000 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
10.000 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
10.000 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
10.000 * [taylor]: Taking taylor expansion of 27.0 in j
10.000 * [taylor]: Taking taylor expansion of (* k j) in j
10.000 * [taylor]: Taking taylor expansion of k in j
10.000 * [taylor]: Taking taylor expansion of j in j
10.000 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
10.000 * [taylor]: Taking taylor expansion of 27.0 in k
10.000 * [taylor]: Taking taylor expansion of (* k j) in k
10.000 * [taylor]: Taking taylor expansion of k in k
10.000 * [taylor]: Taking taylor expansion of j in k
10.000 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
10.000 * [taylor]: Taking taylor expansion of 27.0 in k
10.000 * [taylor]: Taking taylor expansion of (* k j) in k
10.000 * [taylor]: Taking taylor expansion of k in k
10.000 * [taylor]: Taking taylor expansion of j in k
10.001 * [taylor]: Taking taylor expansion of 0 in j
10.001 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
10.001 * [taylor]: Taking taylor expansion of 27.0 in j
10.001 * [taylor]: Taking taylor expansion of j in j
10.003 * [taylor]: Taking taylor expansion of 0 in j
10.006 * [taylor]: Taking taylor expansion of 0 in j
10.009 * [taylor]: Taking taylor expansion of 0 in j
10.009 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
10.009 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
10.009 * [taylor]: Taking taylor expansion of 27.0 in j
10.009 * [taylor]: Taking taylor expansion of (* k j) in j
10.009 * [taylor]: Taking taylor expansion of k in j
10.009 * [taylor]: Taking taylor expansion of j in j
10.010 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
10.010 * [taylor]: Taking taylor expansion of 27.0 in k
10.010 * [taylor]: Taking taylor expansion of (* k j) in k
10.010 * [taylor]: Taking taylor expansion of k in k
10.010 * [taylor]: Taking taylor expansion of j in k
10.010 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
10.010 * [taylor]: Taking taylor expansion of 27.0 in k
10.010 * [taylor]: Taking taylor expansion of (* k j) in k
10.010 * [taylor]: Taking taylor expansion of k in k
10.010 * [taylor]: Taking taylor expansion of j in k
10.011 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
10.011 * [taylor]: Taking taylor expansion of 27.0 in j
10.011 * [taylor]: Taking taylor expansion of j in j
10.012 * [taylor]: Taking taylor expansion of 0 in j
10.014 * [taylor]: Taking taylor expansion of 0 in j
10.016 * [taylor]: Taking taylor expansion of 0 in j
10.017 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
10.017 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
10.017 * [taylor]: Taking taylor expansion of 27.0 in j
10.017 * [taylor]: Taking taylor expansion of (* k j) in j
10.017 * [taylor]: Taking taylor expansion of k in j
10.017 * [taylor]: Taking taylor expansion of j in j
10.017 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
10.017 * [taylor]: Taking taylor expansion of 27.0 in k
10.017 * [taylor]: Taking taylor expansion of (* k j) in k
10.018 * [taylor]: Taking taylor expansion of k in k
10.018 * [taylor]: Taking taylor expansion of j in k
10.018 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
10.018 * [taylor]: Taking taylor expansion of 27.0 in k
10.018 * [taylor]: Taking taylor expansion of (* k j) in k
10.018 * [taylor]: Taking taylor expansion of k in k
10.018 * [taylor]: Taking taylor expansion of j in k
10.018 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
10.019 * [taylor]: Taking taylor expansion of 27.0 in j
10.019 * [taylor]: Taking taylor expansion of j in j
10.020 * [taylor]: Taking taylor expansion of 0 in j
10.021 * [taylor]: Taking taylor expansion of 0 in j
10.023 * [taylor]: Taking taylor expansion of 0 in j
10.024 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
10.024 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
10.024 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
10.024 * [taylor]: Taking taylor expansion of 18.0 in y
10.025 * [taylor]: Taking taylor expansion of (* x y) in y
10.025 * [taylor]: Taking taylor expansion of x in y
10.025 * [taylor]: Taking taylor expansion of y in y
10.025 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
10.025 * [taylor]: Taking taylor expansion of 18.0 in x
10.025 * [taylor]: Taking taylor expansion of (* x y) in x
10.025 * [taylor]: Taking taylor expansion of x in x
10.025 * [taylor]: Taking taylor expansion of y in x
10.025 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
10.025 * [taylor]: Taking taylor expansion of 18.0 in x
10.025 * [taylor]: Taking taylor expansion of (* x y) in x
10.025 * [taylor]: Taking taylor expansion of x in x
10.025 * [taylor]: Taking taylor expansion of y in x
10.025 * [taylor]: Taking taylor expansion of 0 in y
10.026 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
10.026 * [taylor]: Taking taylor expansion of 18.0 in y
10.026 * [taylor]: Taking taylor expansion of y in y
10.028 * [taylor]: Taking taylor expansion of 0 in y
10.031 * [taylor]: Taking taylor expansion of 0 in y
10.034 * [taylor]: Taking taylor expansion of 0 in y
10.034 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
10.034 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
10.034 * [taylor]: Taking taylor expansion of 18.0 in y
10.034 * [taylor]: Taking taylor expansion of (* x y) in y
10.034 * [taylor]: Taking taylor expansion of x in y
10.034 * [taylor]: Taking taylor expansion of y in y
10.034 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.034 * [taylor]: Taking taylor expansion of 18.0 in x
10.034 * [taylor]: Taking taylor expansion of (* x y) in x
10.034 * [taylor]: Taking taylor expansion of x in x
10.034 * [taylor]: Taking taylor expansion of y in x
10.035 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.035 * [taylor]: Taking taylor expansion of 18.0 in x
10.035 * [taylor]: Taking taylor expansion of (* x y) in x
10.035 * [taylor]: Taking taylor expansion of x in x
10.035 * [taylor]: Taking taylor expansion of y in x
10.035 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
10.035 * [taylor]: Taking taylor expansion of 18.0 in y
10.035 * [taylor]: Taking taylor expansion of y in y
10.040 * [taylor]: Taking taylor expansion of 0 in y
10.042 * [taylor]: Taking taylor expansion of 0 in y
10.044 * [taylor]: Taking taylor expansion of 0 in y
10.045 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
10.045 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
10.045 * [taylor]: Taking taylor expansion of 18.0 in y
10.045 * [taylor]: Taking taylor expansion of (* x y) in y
10.045 * [taylor]: Taking taylor expansion of x in y
10.045 * [taylor]: Taking taylor expansion of y in y
10.046 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.046 * [taylor]: Taking taylor expansion of 18.0 in x
10.046 * [taylor]: Taking taylor expansion of (* x y) in x
10.046 * [taylor]: Taking taylor expansion of x in x
10.046 * [taylor]: Taking taylor expansion of y in x
10.046 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
10.046 * [taylor]: Taking taylor expansion of 18.0 in x
10.046 * [taylor]: Taking taylor expansion of (* x y) in x
10.046 * [taylor]: Taking taylor expansion of x in x
10.047 * [taylor]: Taking taylor expansion of y in x
10.047 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
10.047 * [taylor]: Taking taylor expansion of 18.0 in y
10.047 * [taylor]: Taking taylor expansion of y in y
10.048 * [taylor]: Taking taylor expansion of 0 in y
10.050 * [taylor]: Taking taylor expansion of 0 in y
10.052 * [taylor]: Taking taylor expansion of 0 in y
10.053 * * * [progress]: simplifying candidates
10.054 * [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))
10.058 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
10.082 * * [simplify]: iteration  1 :  354  enodes  (cost  943 )
10.315 * * [simplify]: iteration  2 :  1700  enodes  (cost  737 )
11.326 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
11.327 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
11.328 * * * [progress]: adding candidates to table
11.758 * * [progress]: iteration 4 / 4
11.758 * * * [progress]: picking best candidate
11.804 * * * * [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)))>
11.804 * * * [progress]: localizing error
11.835 * * * [progress]: generating rewritten candidates
11.835 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
11.916 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
11.937 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
11.945 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
11.970 * * * [progress]: generating series expansions
11.970 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
11.970 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.970 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
11.970 * [taylor]: Taking taylor expansion of 18.0 in t
11.970 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.970 * [taylor]: Taking taylor expansion of t in t
11.970 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.970 * [taylor]: Taking taylor expansion of x in t
11.970 * [taylor]: Taking taylor expansion of (* z y) in t
11.970 * [taylor]: Taking taylor expansion of z in t
11.971 * [taylor]: Taking taylor expansion of y in t
11.971 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
11.971 * [taylor]: Taking taylor expansion of 18.0 in z
11.971 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.971 * [taylor]: Taking taylor expansion of t in z
11.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.971 * [taylor]: Taking taylor expansion of x in z
11.971 * [taylor]: Taking taylor expansion of (* z y) in z
11.971 * [taylor]: Taking taylor expansion of z in z
11.971 * [taylor]: Taking taylor expansion of y in z
11.971 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
11.971 * [taylor]: Taking taylor expansion of 18.0 in y
11.971 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.971 * [taylor]: Taking taylor expansion of t in y
11.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.971 * [taylor]: Taking taylor expansion of x in y
11.971 * [taylor]: Taking taylor expansion of (* z y) in y
11.971 * [taylor]: Taking taylor expansion of z in y
11.971 * [taylor]: Taking taylor expansion of y in y
11.971 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
11.971 * [taylor]: Taking taylor expansion of 18.0 in x
11.971 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.971 * [taylor]: Taking taylor expansion of t in x
11.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.971 * [taylor]: Taking taylor expansion of x in x
11.971 * [taylor]: Taking taylor expansion of (* z y) in x
11.971 * [taylor]: Taking taylor expansion of z in x
11.971 * [taylor]: Taking taylor expansion of y in x
11.971 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
11.971 * [taylor]: Taking taylor expansion of 18.0 in x
11.971 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.971 * [taylor]: Taking taylor expansion of t in x
11.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.971 * [taylor]: Taking taylor expansion of x in x
11.971 * [taylor]: Taking taylor expansion of (* z y) in x
11.971 * [taylor]: Taking taylor expansion of z in x
11.971 * [taylor]: Taking taylor expansion of y in x
11.972 * [taylor]: Taking taylor expansion of 0 in y
11.972 * [taylor]: Taking taylor expansion of 0 in z
11.972 * [taylor]: Taking taylor expansion of 0 in t
11.974 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
11.974 * [taylor]: Taking taylor expansion of 18.0 in y
11.974 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.974 * [taylor]: Taking taylor expansion of t in y
11.974 * [taylor]: Taking taylor expansion of (* z y) in y
11.974 * [taylor]: Taking taylor expansion of z in y
11.974 * [taylor]: Taking taylor expansion of y in y
11.974 * [taylor]: Taking taylor expansion of 0 in z
11.974 * [taylor]: Taking taylor expansion of 0 in t
11.974 * [taylor]: Taking taylor expansion of 0 in z
11.974 * [taylor]: Taking taylor expansion of 0 in t
11.974 * [taylor]: Taking taylor expansion of 0 in t
11.977 * [taylor]: Taking taylor expansion of 0 in y
11.977 * [taylor]: Taking taylor expansion of 0 in z
11.977 * [taylor]: Taking taylor expansion of 0 in t
11.977 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
11.977 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
11.977 * [taylor]: Taking taylor expansion of 18.0 in t
11.977 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
11.977 * [taylor]: Taking taylor expansion of t in t
11.977 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
11.977 * [taylor]: Taking taylor expansion of x in t
11.977 * [taylor]: Taking taylor expansion of (* z y) in t
11.977 * [taylor]: Taking taylor expansion of z in t
11.977 * [taylor]: Taking taylor expansion of y in t
11.978 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
11.978 * [taylor]: Taking taylor expansion of 18.0 in z
11.978 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
11.978 * [taylor]: Taking taylor expansion of t in z
11.978 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
11.978 * [taylor]: Taking taylor expansion of x in z
11.978 * [taylor]: Taking taylor expansion of (* z y) in z
11.978 * [taylor]: Taking taylor expansion of z in z
11.978 * [taylor]: Taking taylor expansion of y in z
11.979 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
11.980 * [taylor]: Taking taylor expansion of 18.0 in y
11.980 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
11.980 * [taylor]: Taking taylor expansion of t in y
11.980 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
11.980 * [taylor]: Taking taylor expansion of x in y
11.980 * [taylor]: Taking taylor expansion of (* z y) in y
11.980 * [taylor]: Taking taylor expansion of z in y
11.980 * [taylor]: Taking taylor expansion of y in y
11.981 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.981 * [taylor]: Taking taylor expansion of 18.0 in x
11.981 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.981 * [taylor]: Taking taylor expansion of t in x
11.981 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.981 * [taylor]: Taking taylor expansion of x in x
11.981 * [taylor]: Taking taylor expansion of (* z y) in x
11.981 * [taylor]: Taking taylor expansion of z in x
11.981 * [taylor]: Taking taylor expansion of y in x
11.982 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
11.982 * [taylor]: Taking taylor expansion of 18.0 in x
11.982 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
11.982 * [taylor]: Taking taylor expansion of t in x
11.982 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
11.982 * [taylor]: Taking taylor expansion of x in x
11.982 * [taylor]: Taking taylor expansion of (* z y) in x
11.983 * [taylor]: Taking taylor expansion of z in x
11.983 * [taylor]: Taking taylor expansion of y in x
11.983 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
11.984 * [taylor]: Taking taylor expansion of 18.0 in y
11.984 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
11.984 * [taylor]: Taking taylor expansion of t in y
11.984 * [taylor]: Taking taylor expansion of (* z y) in y
11.984 * [taylor]: Taking taylor expansion of z in y
11.984 * [taylor]: Taking taylor expansion of y in y
11.984 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
11.984 * [taylor]: Taking taylor expansion of 18.0 in z
11.984 * [taylor]: Taking taylor expansion of (* t z) in z
11.984 * [taylor]: Taking taylor expansion of t in z
11.984 * [taylor]: Taking taylor expansion of z in z
11.985 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
11.985 * [taylor]: Taking taylor expansion of 18.0 in t
11.985 * [taylor]: Taking taylor expansion of t in t
11.987 * [taylor]: Taking taylor expansion of 0 in y
11.988 * [taylor]: Taking taylor expansion of 0 in z
11.992 * [taylor]: Taking taylor expansion of 0 in t
11.996 * [taylor]: Taking taylor expansion of 0 in y
11.996 * [taylor]: Taking taylor expansion of 0 in z
11.997 * [taylor]: Taking taylor expansion of 0 in z
11.997 * [taylor]: Taking taylor expansion of 0 in t
11.998 * [taylor]: Taking taylor expansion of 0 in t
12.002 * [taylor]: Taking taylor expansion of 0 in y
12.003 * [taylor]: Taking taylor expansion of 0 in z
12.003 * [taylor]: Taking taylor expansion of 0 in z
12.005 * [taylor]: Taking taylor expansion of 0 in z
12.005 * [taylor]: Taking taylor expansion of 0 in t
12.005 * [taylor]: Taking taylor expansion of 0 in t
12.005 * [taylor]: Taking taylor expansion of 0 in t
12.006 * [taylor]: Taking taylor expansion of 0 in t
12.006 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
12.006 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
12.007 * [taylor]: Taking taylor expansion of 18.0 in t
12.007 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
12.007 * [taylor]: Taking taylor expansion of t in t
12.007 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
12.007 * [taylor]: Taking taylor expansion of x in t
12.007 * [taylor]: Taking taylor expansion of (* z y) in t
12.007 * [taylor]: Taking taylor expansion of z in t
12.007 * [taylor]: Taking taylor expansion of y in t
12.008 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
12.008 * [taylor]: Taking taylor expansion of 18.0 in z
12.008 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
12.008 * [taylor]: Taking taylor expansion of t in z
12.008 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.008 * [taylor]: Taking taylor expansion of x in z
12.008 * [taylor]: Taking taylor expansion of (* z y) in z
12.008 * [taylor]: Taking taylor expansion of z in z
12.008 * [taylor]: Taking taylor expansion of y in z
12.009 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
12.010 * [taylor]: Taking taylor expansion of 18.0 in y
12.010 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
12.010 * [taylor]: Taking taylor expansion of t in y
12.010 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.010 * [taylor]: Taking taylor expansion of x in y
12.010 * [taylor]: Taking taylor expansion of (* z y) in y
12.010 * [taylor]: Taking taylor expansion of z in y
12.010 * [taylor]: Taking taylor expansion of y in y
12.011 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
12.011 * [taylor]: Taking taylor expansion of 18.0 in x
12.011 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
12.011 * [taylor]: Taking taylor expansion of t in x
12.011 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.011 * [taylor]: Taking taylor expansion of x in x
12.011 * [taylor]: Taking taylor expansion of (* z y) in x
12.011 * [taylor]: Taking taylor expansion of z in x
12.011 * [taylor]: Taking taylor expansion of y in x
12.012 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
12.012 * [taylor]: Taking taylor expansion of 18.0 in x
12.012 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
12.012 * [taylor]: Taking taylor expansion of t in x
12.012 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.012 * [taylor]: Taking taylor expansion of x in x
12.012 * [taylor]: Taking taylor expansion of (* z y) in x
12.012 * [taylor]: Taking taylor expansion of z in x
12.012 * [taylor]: Taking taylor expansion of y in x
12.013 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
12.013 * [taylor]: Taking taylor expansion of 18.0 in y
12.013 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
12.013 * [taylor]: Taking taylor expansion of t in y
12.013 * [taylor]: Taking taylor expansion of (* z y) in y
12.013 * [taylor]: Taking taylor expansion of z in y
12.013 * [taylor]: Taking taylor expansion of y in y
12.014 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
12.014 * [taylor]: Taking taylor expansion of 18.0 in z
12.014 * [taylor]: Taking taylor expansion of (* t z) in z
12.014 * [taylor]: Taking taylor expansion of t in z
12.014 * [taylor]: Taking taylor expansion of z in z
12.015 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
12.015 * [taylor]: Taking taylor expansion of 18.0 in t
12.015 * [taylor]: Taking taylor expansion of t in t
12.016 * [taylor]: Taking taylor expansion of 0 in y
12.017 * [taylor]: Taking taylor expansion of 0 in z
12.018 * [taylor]: Taking taylor expansion of 0 in t
12.021 * [taylor]: Taking taylor expansion of 0 in y
12.021 * [taylor]: Taking taylor expansion of 0 in z
12.023 * [taylor]: Taking taylor expansion of 0 in z
12.023 * [taylor]: Taking taylor expansion of 0 in t
12.024 * [taylor]: Taking taylor expansion of 0 in t
12.028 * [taylor]: Taking taylor expansion of 0 in y
12.028 * [taylor]: Taking taylor expansion of 0 in z
12.028 * [taylor]: Taking taylor expansion of 0 in z
12.030 * [taylor]: Taking taylor expansion of 0 in z
12.030 * [taylor]: Taking taylor expansion of 0 in t
12.030 * [taylor]: Taking taylor expansion of 0 in t
12.030 * [taylor]: Taking taylor expansion of 0 in t
12.031 * [taylor]: Taking taylor expansion of 0 in t
12.032 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
12.032 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
12.032 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
12.032 * [taylor]: Taking taylor expansion of 18.0 in z
12.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.032 * [taylor]: Taking taylor expansion of x in z
12.032 * [taylor]: Taking taylor expansion of (* z y) in z
12.032 * [taylor]: Taking taylor expansion of z in z
12.032 * [taylor]: Taking taylor expansion of y in z
12.032 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
12.032 * [taylor]: Taking taylor expansion of 18.0 in y
12.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.032 * [taylor]: Taking taylor expansion of x in y
12.032 * [taylor]: Taking taylor expansion of (* z y) in y
12.032 * [taylor]: Taking taylor expansion of z in y
12.032 * [taylor]: Taking taylor expansion of y in y
12.032 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
12.032 * [taylor]: Taking taylor expansion of 18.0 in x
12.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.032 * [taylor]: Taking taylor expansion of x in x
12.032 * [taylor]: Taking taylor expansion of (* z y) in x
12.032 * [taylor]: Taking taylor expansion of z in x
12.032 * [taylor]: Taking taylor expansion of y in x
12.032 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
12.032 * [taylor]: Taking taylor expansion of 18.0 in x
12.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.032 * [taylor]: Taking taylor expansion of x in x
12.032 * [taylor]: Taking taylor expansion of (* z y) in x
12.032 * [taylor]: Taking taylor expansion of z in x
12.032 * [taylor]: Taking taylor expansion of y in x
12.033 * [taylor]: Taking taylor expansion of 0 in y
12.033 * [taylor]: Taking taylor expansion of 0 in z
12.034 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
12.034 * [taylor]: Taking taylor expansion of 18.0 in y
12.034 * [taylor]: Taking taylor expansion of (* z y) in y
12.034 * [taylor]: Taking taylor expansion of z in y
12.034 * [taylor]: Taking taylor expansion of y in y
12.034 * [taylor]: Taking taylor expansion of 0 in z
12.034 * [taylor]: Taking taylor expansion of 0 in z
12.036 * [taylor]: Taking taylor expansion of 0 in y
12.036 * [taylor]: Taking taylor expansion of 0 in z
12.037 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
12.037 * [taylor]: Taking taylor expansion of 18.0 in z
12.037 * [taylor]: Taking taylor expansion of z in z
12.037 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
12.037 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
12.037 * [taylor]: Taking taylor expansion of 18.0 in z
12.037 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.037 * [taylor]: Taking taylor expansion of x in z
12.038 * [taylor]: Taking taylor expansion of (* z y) in z
12.038 * [taylor]: Taking taylor expansion of z in z
12.038 * [taylor]: Taking taylor expansion of y in z
12.038 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
12.038 * [taylor]: Taking taylor expansion of 18.0 in y
12.038 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.038 * [taylor]: Taking taylor expansion of x in y
12.038 * [taylor]: Taking taylor expansion of (* z y) in y
12.038 * [taylor]: Taking taylor expansion of z in y
12.038 * [taylor]: Taking taylor expansion of y in y
12.039 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
12.039 * [taylor]: Taking taylor expansion of 18.0 in x
12.039 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.039 * [taylor]: Taking taylor expansion of x in x
12.039 * [taylor]: Taking taylor expansion of (* z y) in x
12.039 * [taylor]: Taking taylor expansion of z in x
12.039 * [taylor]: Taking taylor expansion of y in x
12.040 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
12.040 * [taylor]: Taking taylor expansion of 18.0 in x
12.040 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.040 * [taylor]: Taking taylor expansion of x in x
12.040 * [taylor]: Taking taylor expansion of (* z y) in x
12.040 * [taylor]: Taking taylor expansion of z in x
12.040 * [taylor]: Taking taylor expansion of y in x
12.041 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
12.041 * [taylor]: Taking taylor expansion of 18.0 in y
12.041 * [taylor]: Taking taylor expansion of (* z y) in y
12.041 * [taylor]: Taking taylor expansion of z in y
12.041 * [taylor]: Taking taylor expansion of y in y
12.041 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
12.041 * [taylor]: Taking taylor expansion of 18.0 in z
12.041 * [taylor]: Taking taylor expansion of z in z
12.043 * [taylor]: Taking taylor expansion of 0 in y
12.043 * [taylor]: Taking taylor expansion of 0 in z
12.046 * [taylor]: Taking taylor expansion of 0 in y
12.046 * [taylor]: Taking taylor expansion of 0 in z
12.046 * [taylor]: Taking taylor expansion of 0 in z
12.049 * [taylor]: Taking taylor expansion of 0 in y
12.050 * [taylor]: Taking taylor expansion of 0 in z
12.050 * [taylor]: Taking taylor expansion of 0 in z
12.050 * [taylor]: Taking taylor expansion of 0 in z
12.051 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
12.051 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
12.051 * [taylor]: Taking taylor expansion of -18.0 in z
12.051 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
12.051 * [taylor]: Taking taylor expansion of x in z
12.051 * [taylor]: Taking taylor expansion of (* z y) in z
12.051 * [taylor]: Taking taylor expansion of z in z
12.051 * [taylor]: Taking taylor expansion of y in z
12.052 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
12.052 * [taylor]: Taking taylor expansion of -18.0 in y
12.052 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
12.052 * [taylor]: Taking taylor expansion of x in y
12.052 * [taylor]: Taking taylor expansion of (* z y) in y
12.052 * [taylor]: Taking taylor expansion of z in y
12.052 * [taylor]: Taking taylor expansion of y in y
12.053 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
12.053 * [taylor]: Taking taylor expansion of -18.0 in x
12.053 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.053 * [taylor]: Taking taylor expansion of x in x
12.053 * [taylor]: Taking taylor expansion of (* z y) in x
12.053 * [taylor]: Taking taylor expansion of z in x
12.053 * [taylor]: Taking taylor expansion of y in x
12.054 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
12.054 * [taylor]: Taking taylor expansion of -18.0 in x
12.054 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
12.054 * [taylor]: Taking taylor expansion of x in x
12.054 * [taylor]: Taking taylor expansion of (* z y) in x
12.054 * [taylor]: Taking taylor expansion of z in x
12.054 * [taylor]: Taking taylor expansion of y in x
12.054 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
12.054 * [taylor]: Taking taylor expansion of -18.0 in y
12.055 * [taylor]: Taking taylor expansion of (* z y) in y
12.055 * [taylor]: Taking taylor expansion of z in y
12.055 * [taylor]: Taking taylor expansion of y in y
12.055 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
12.055 * [taylor]: Taking taylor expansion of -18.0 in z
12.055 * [taylor]: Taking taylor expansion of z in z
12.057 * [taylor]: Taking taylor expansion of 0 in y
12.058 * [taylor]: Taking taylor expansion of 0 in z
12.060 * [taylor]: Taking taylor expansion of 0 in y
12.060 * [taylor]: Taking taylor expansion of 0 in z
12.061 * [taylor]: Taking taylor expansion of 0 in z
12.064 * [taylor]: Taking taylor expansion of 0 in y
12.064 * [taylor]: Taking taylor expansion of 0 in z
12.064 * [taylor]: Taking taylor expansion of 0 in z
12.065 * [taylor]: Taking taylor expansion of 0 in z
12.065 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
12.066 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
12.066 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
12.066 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.066 * [taylor]: Taking taylor expansion of 27.0 in j
12.067 * [taylor]: Taking taylor expansion of (* j k) in j
12.067 * [taylor]: Taking taylor expansion of j in j
12.067 * [taylor]: Taking taylor expansion of k in j
12.067 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
12.067 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.067 * [taylor]: Taking taylor expansion of 27.0 in k
12.068 * [taylor]: Taking taylor expansion of (* j k) in k
12.068 * [taylor]: Taking taylor expansion of j in k
12.068 * [taylor]: Taking taylor expansion of k in k
12.068 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
12.068 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.068 * [taylor]: Taking taylor expansion of 27.0 in k
12.069 * [taylor]: Taking taylor expansion of (* j k) in k
12.069 * [taylor]: Taking taylor expansion of j in k
12.069 * [taylor]: Taking taylor expansion of k in k
12.069 * [taylor]: Taking taylor expansion of 0 in j
12.071 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
12.071 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.071 * [taylor]: Taking taylor expansion of 27.0 in j
12.072 * [taylor]: Taking taylor expansion of j in j
12.074 * [taylor]: Taking taylor expansion of 0 in j
12.079 * [taylor]: Taking taylor expansion of 0 in j
12.083 * [taylor]: Taking taylor expansion of 0 in j
12.084 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
12.084 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
12.084 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.084 * [taylor]: Taking taylor expansion of 27.0 in j
12.085 * [taylor]: Taking taylor expansion of (* j k) in j
12.085 * [taylor]: Taking taylor expansion of j in j
12.085 * [taylor]: Taking taylor expansion of k in j
12.086 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
12.086 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.086 * [taylor]: Taking taylor expansion of 27.0 in k
12.086 * [taylor]: Taking taylor expansion of (* j k) in k
12.087 * [taylor]: Taking taylor expansion of j in k
12.087 * [taylor]: Taking taylor expansion of k in k
12.087 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
12.087 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.087 * [taylor]: Taking taylor expansion of 27.0 in k
12.088 * [taylor]: Taking taylor expansion of (* j k) in k
12.088 * [taylor]: Taking taylor expansion of j in k
12.088 * [taylor]: Taking taylor expansion of k in k
12.089 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
12.089 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.089 * [taylor]: Taking taylor expansion of 27.0 in j
12.090 * [taylor]: Taking taylor expansion of j in j
12.092 * [taylor]: Taking taylor expansion of 0 in j
12.094 * [taylor]: Taking taylor expansion of 0 in j
12.098 * [taylor]: Taking taylor expansion of 0 in j
12.107 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
12.107 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
12.107 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.107 * [taylor]: Taking taylor expansion of 27.0 in j
12.108 * [taylor]: Taking taylor expansion of (* j k) in j
12.108 * [taylor]: Taking taylor expansion of j in j
12.108 * [taylor]: Taking taylor expansion of k in j
12.109 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
12.109 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.109 * [taylor]: Taking taylor expansion of 27.0 in k
12.110 * [taylor]: Taking taylor expansion of (* j k) in k
12.110 * [taylor]: Taking taylor expansion of j in k
12.110 * [taylor]: Taking taylor expansion of k in k
12.111 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
12.111 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.111 * [taylor]: Taking taylor expansion of 27.0 in k
12.112 * [taylor]: Taking taylor expansion of (* j k) in k
12.112 * [taylor]: Taking taylor expansion of j in k
12.112 * [taylor]: Taking taylor expansion of k in k
12.113 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
12.113 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.113 * [taylor]: Taking taylor expansion of 27.0 in j
12.114 * [taylor]: Taking taylor expansion of j in j
12.116 * [taylor]: Taking taylor expansion of 0 in j
12.118 * [taylor]: Taking taylor expansion of 0 in j
12.122 * [taylor]: Taking taylor expansion of 0 in j
12.124 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
12.125 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
12.125 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
12.125 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
12.125 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.125 * [taylor]: Taking taylor expansion of 27.0 in j
12.126 * [taylor]: Taking taylor expansion of (* k j) in j
12.126 * [taylor]: Taking taylor expansion of k in j
12.126 * [taylor]: Taking taylor expansion of j in j
12.126 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
12.126 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
12.126 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.126 * [taylor]: Taking taylor expansion of 27.0 in k
12.127 * [taylor]: Taking taylor expansion of (* k j) in k
12.127 * [taylor]: Taking taylor expansion of k in k
12.127 * [taylor]: Taking taylor expansion of j in k
12.127 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
12.127 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
12.127 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.127 * [taylor]: Taking taylor expansion of 27.0 in k
12.128 * [taylor]: Taking taylor expansion of (* k j) in k
12.128 * [taylor]: Taking taylor expansion of k in k
12.128 * [taylor]: Taking taylor expansion of j in k
12.130 * [taylor]: Taking taylor expansion of 0 in j
12.132 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
12.132 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
12.132 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.132 * [taylor]: Taking taylor expansion of 27.0 in j
12.133 * [taylor]: Taking taylor expansion of j in j
12.137 * [taylor]: Taking taylor expansion of 0 in j
12.144 * [taylor]: Taking taylor expansion of 0 in j
12.151 * [taylor]: Taking taylor expansion of 0 in j
12.153 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
12.153 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
12.153 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
12.153 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.153 * [taylor]: Taking taylor expansion of 27.0 in j
12.154 * [taylor]: Taking taylor expansion of (* k j) in j
12.154 * [taylor]: Taking taylor expansion of k in j
12.154 * [taylor]: Taking taylor expansion of j in j
12.156 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
12.156 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
12.156 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.156 * [taylor]: Taking taylor expansion of 27.0 in k
12.157 * [taylor]: Taking taylor expansion of (* k j) in k
12.157 * [taylor]: Taking taylor expansion of k in k
12.157 * [taylor]: Taking taylor expansion of j in k
12.159 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
12.159 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
12.159 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.159 * [taylor]: Taking taylor expansion of 27.0 in k
12.160 * [taylor]: Taking taylor expansion of (* k j) in k
12.160 * [taylor]: Taking taylor expansion of k in k
12.160 * [taylor]: Taking taylor expansion of j in k
12.163 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
12.163 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
12.163 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.163 * [taylor]: Taking taylor expansion of 27.0 in j
12.164 * [taylor]: Taking taylor expansion of j in j
12.169 * [taylor]: Taking taylor expansion of 0 in j
12.173 * [taylor]: Taking taylor expansion of 0 in j
12.180 * [taylor]: Taking taylor expansion of 0 in j
12.184 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
12.184 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
12.184 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
12.184 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.184 * [taylor]: Taking taylor expansion of 27.0 in j
12.185 * [taylor]: Taking taylor expansion of (* k j) in j
12.185 * [taylor]: Taking taylor expansion of k in j
12.185 * [taylor]: Taking taylor expansion of j in j
12.187 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
12.188 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
12.188 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.188 * [taylor]: Taking taylor expansion of 27.0 in k
12.188 * [taylor]: Taking taylor expansion of (* k j) in k
12.188 * [taylor]: Taking taylor expansion of k in k
12.189 * [taylor]: Taking taylor expansion of j in k
12.191 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
12.191 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
12.191 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
12.191 * [taylor]: Taking taylor expansion of 27.0 in k
12.192 * [taylor]: Taking taylor expansion of (* k j) in k
12.192 * [taylor]: Taking taylor expansion of k in k
12.192 * [taylor]: Taking taylor expansion of j in k
12.194 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
12.194 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
12.194 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
12.194 * [taylor]: Taking taylor expansion of 27.0 in j
12.195 * [taylor]: Taking taylor expansion of j in j
12.200 * [taylor]: Taking taylor expansion of 0 in j
12.205 * [taylor]: Taking taylor expansion of 0 in j
12.211 * [taylor]: Taking taylor expansion of 0 in j
12.222 * * * [progress]: simplifying candidates
12.224 * [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))
12.229 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
12.257 * * [simplify]: iteration  1 :  402  enodes  (cost  1050 )
12.437 * * [simplify]: iteration  2 :  1756  enodes  (cost  828 )
13.589 * * [simplify]: iteration  done :  5001  enodes  (cost  828 )
13.589 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (pow (* (sqrt 27.0) (* j k)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (expm1 (* (* k j) 27.0))
  (log1p (* (* k j) 27.0))
  (* (* k j) 27.0)
  (* (* k j) 27.0)
  (* (* k j) 27.0)
  (log (* (* k j) 27.0))
  (log (* (* k j) 27.0))
  (log (* (* k j) 27.0))
  (log (* (* k j) 27.0))
  (exp (* (* k j) 27.0))
  (pow (* (* k j) 27.0) 3)
  (pow (* (* k j) 27.0) 3)
  (pow (* (* k j) 27.0) 3)
  (* (cbrt (* (* k j) 27.0)) (cbrt (* (* k j) 27.0)))
  (cbrt (* (* k j) 27.0))
  (pow (* (* k j) 27.0) 3)
  (sqrt (* (* k j) 27.0))
  (sqrt (* (* k j) 27.0))
  27.0
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* k j) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* k j) 27.0)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (* k j) 27.0)
  (* (* k j) 27.0)
  (* (* k j) 27.0)
13.590 * * * [progress]: adding candidates to table
14.078 * [progress]: [Phase 3 of 3] Extracting.
14.079 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.087 * * * [regime-changes]: Trying 15 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) k j i c b a t z y x)
14.087 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.175 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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)))>)
14.207 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.298 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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)))>)
14.338 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.443 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.524 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.594 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.676 * * * * [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 (sqrt 27.0)) (* (sqrt (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 27.0) (* k j))) 1)))>)
14.712 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.785 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.871 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
14.957 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.043 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.116 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.198 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.279 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.360 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.447 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
15.527 * * * [regime]: Found split indices: #<option (#s(si 7 31) #s(si 3 65) #s(si 0 82) #s(si 4 158) #s(si 6 201) #s(si 0 218) #s(si 3 255))>
15.529 * [binary-search]: Improving bounds with binary search for (* b c) and (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
16.212 * [regimes]: Found splitpoints: (#s(sp 7 (* b c) -7.786974238903873e+161) #s(sp 3 (* b c) -4.728969445617458e+44) #s(sp 0 (* b c) -1.6071174332412006e-10) #s(sp 4 (* b c) 1.2368022860888e-314) #s(sp 6 (* b c) 7.832862067016947e-40) #s(sp 0 (* b c) 1.7946900526051252e+23) #s(sp 3 (* b c) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* y 18.0)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) 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) (- (- (+ (- (* (* (* (* 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) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
16.213 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (* b c) -7.786974238903873e+161) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -4.728969445617458e+44) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -1.6071174332412006e-10) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (* b c) 1.2368022860888e-314) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) 7.832862067016947e-40) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)) (if (<= (* b c) 1.7946900526051252e+23) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))))))))
16.215 * * [simplify]: iteration  0 :  80  enodes  (cost  243 )
16.223 * * [simplify]: iteration  1 :  110  enodes  (cost  241 )
16.227 * * [simplify]: iteration  done :  110  enodes  (cost  241 )
16.227 * [simplify]: Simplified to:
   (if (<= (* b c) -7.786974238903873e+161) (- (- (+ (- (* 0 t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -4.728969445617458e+44) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) -1.6071174332412006e-10) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (* b c) 1.2368022860888e-314) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))) (if (<= (* b c) 7.832862067016947e-40) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* (sqrt 27.0) (* k j)) (sqrt 27.0))) (if (<= (* b c) 1.7946900526051252e+23) (fma (* z (* x 18.0)) (* t y) (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))))))))
18.820 * [regime-testing]: Baseline error score: 5.135098724171853
18.820 * [regime-testing]: Oracle error score: 0.1524405035531745
18.822 * [regime-testing]: End program error score: 5.703214376942758
18.873 * [regime-testing]: Target error score: 1.451494829634529