48.269 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.114 * * * [progress]: [2/2] Setting up program.
0.119 * [progress]: [Phase 2 of 3] Improving.
0.119 * [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.120 * * [simplify]: iteration  0 :  28  enodes  (cost  31 )
0.124 * * [simplify]: iteration  1 :  67  enodes  (cost  29 )
0.137 * * [simplify]: iteration  2 :  218  enodes  (cost  27 )
0.179 * * [simplify]: iteration  3 :  722  enodes  (cost  27 )
0.457 * * [simplify]: iteration  4 :  1905  enodes  (cost  27 )
1.302 * * [simplify]: iteration  5 :  3091  enodes  (cost  26 )
2.629 * * [simplify]: iteration  6 :  4267  enodes  (cost  26 )
3.939 * * [simplify]: iteration  done :  5000  enodes  (cost  26 )
3.939 * [simplify]: Simplified to:
   (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))
3.950 * * [progress]: iteration 1 / 4
3.950 * * * [progress]: picking best candidate
3.958 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))>
3.958 * * * [progress]: localizing error
3.982 * * * [progress]: generating rewritten candidates
3.982 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
4.063 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
4.086 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
4.093 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
4.102 * * * [progress]: generating series expansions
4.102 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
4.102 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.102 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
4.102 * [taylor]: Taking taylor expansion of 18.0 in t
4.102 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.102 * [taylor]: Taking taylor expansion of t in t
4.103 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.103 * [taylor]: Taking taylor expansion of x in t
4.103 * [taylor]: Taking taylor expansion of (* z y) in t
4.103 * [taylor]: Taking taylor expansion of z in t
4.103 * [taylor]: Taking taylor expansion of y in t
4.103 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
4.103 * [taylor]: Taking taylor expansion of 18.0 in z
4.103 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.103 * [taylor]: Taking taylor expansion of t in z
4.103 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.103 * [taylor]: Taking taylor expansion of x in z
4.103 * [taylor]: Taking taylor expansion of (* z y) in z
4.103 * [taylor]: Taking taylor expansion of z in z
4.103 * [taylor]: Taking taylor expansion of y in z
4.103 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
4.103 * [taylor]: Taking taylor expansion of 18.0 in y
4.103 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.103 * [taylor]: Taking taylor expansion of t in y
4.103 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.103 * [taylor]: Taking taylor expansion of x in y
4.103 * [taylor]: Taking taylor expansion of (* z y) in y
4.103 * [taylor]: Taking taylor expansion of z in y
4.103 * [taylor]: Taking taylor expansion of y in y
4.103 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.103 * [taylor]: Taking taylor expansion of 18.0 in x
4.103 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.103 * [taylor]: Taking taylor expansion of t in x
4.103 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.103 * [taylor]: Taking taylor expansion of x in x
4.103 * [taylor]: Taking taylor expansion of (* z y) in x
4.103 * [taylor]: Taking taylor expansion of z in x
4.103 * [taylor]: Taking taylor expansion of y in x
4.103 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
4.103 * [taylor]: Taking taylor expansion of 18.0 in x
4.103 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.103 * [taylor]: Taking taylor expansion of t in x
4.103 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.103 * [taylor]: Taking taylor expansion of x in x
4.103 * [taylor]: Taking taylor expansion of (* z y) in x
4.103 * [taylor]: Taking taylor expansion of z in x
4.103 * [taylor]: Taking taylor expansion of y in x
4.104 * [taylor]: Taking taylor expansion of 0 in y
4.104 * [taylor]: Taking taylor expansion of 0 in z
4.104 * [taylor]: Taking taylor expansion of 0 in t
4.105 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
4.105 * [taylor]: Taking taylor expansion of 18.0 in y
4.105 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.105 * [taylor]: Taking taylor expansion of t in y
4.105 * [taylor]: Taking taylor expansion of (* z y) in y
4.105 * [taylor]: Taking taylor expansion of z in y
4.105 * [taylor]: Taking taylor expansion of y in y
4.105 * [taylor]: Taking taylor expansion of 0 in z
4.105 * [taylor]: Taking taylor expansion of 0 in t
4.105 * [taylor]: Taking taylor expansion of 0 in z
4.105 * [taylor]: Taking taylor expansion of 0 in t
4.105 * [taylor]: Taking taylor expansion of 0 in t
4.107 * [taylor]: Taking taylor expansion of 0 in y
4.107 * [taylor]: Taking taylor expansion of 0 in z
4.107 * [taylor]: Taking taylor expansion of 0 in t
4.107 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.107 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.107 * [taylor]: Taking taylor expansion of 18.0 in t
4.107 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.107 * [taylor]: Taking taylor expansion of t in t
4.107 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.107 * [taylor]: Taking taylor expansion of x in t
4.107 * [taylor]: Taking taylor expansion of (* z y) in t
4.108 * [taylor]: Taking taylor expansion of z in t
4.108 * [taylor]: Taking taylor expansion of y in t
4.108 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.108 * [taylor]: Taking taylor expansion of 18.0 in z
4.108 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.108 * [taylor]: Taking taylor expansion of t in z
4.108 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.108 * [taylor]: Taking taylor expansion of x in z
4.108 * [taylor]: Taking taylor expansion of (* z y) in z
4.108 * [taylor]: Taking taylor expansion of z in z
4.108 * [taylor]: Taking taylor expansion of y in z
4.109 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.109 * [taylor]: Taking taylor expansion of 18.0 in y
4.109 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.109 * [taylor]: Taking taylor expansion of t in y
4.109 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.109 * [taylor]: Taking taylor expansion of x in y
4.109 * [taylor]: Taking taylor expansion of (* z y) in y
4.109 * [taylor]: Taking taylor expansion of z in y
4.109 * [taylor]: Taking taylor expansion of y in y
4.110 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.110 * [taylor]: Taking taylor expansion of 18.0 in x
4.110 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.110 * [taylor]: Taking taylor expansion of t in x
4.110 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.110 * [taylor]: Taking taylor expansion of x in x
4.110 * [taylor]: Taking taylor expansion of (* z y) in x
4.110 * [taylor]: Taking taylor expansion of z in x
4.110 * [taylor]: Taking taylor expansion of y in x
4.111 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.111 * [taylor]: Taking taylor expansion of 18.0 in x
4.111 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.111 * [taylor]: Taking taylor expansion of t in x
4.111 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.111 * [taylor]: Taking taylor expansion of x in x
4.111 * [taylor]: Taking taylor expansion of (* z y) in x
4.111 * [taylor]: Taking taylor expansion of z in x
4.111 * [taylor]: Taking taylor expansion of y in x
4.112 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.112 * [taylor]: Taking taylor expansion of 18.0 in y
4.112 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.112 * [taylor]: Taking taylor expansion of t in y
4.112 * [taylor]: Taking taylor expansion of (* z y) in y
4.112 * [taylor]: Taking taylor expansion of z in y
4.112 * [taylor]: Taking taylor expansion of y in y
4.113 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.113 * [taylor]: Taking taylor expansion of 18.0 in z
4.113 * [taylor]: Taking taylor expansion of (* t z) in z
4.113 * [taylor]: Taking taylor expansion of t in z
4.113 * [taylor]: Taking taylor expansion of z in z
4.113 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
4.113 * [taylor]: Taking taylor expansion of 18.0 in t
4.113 * [taylor]: Taking taylor expansion of t in t
4.115 * [taylor]: Taking taylor expansion of 0 in y
4.115 * [taylor]: Taking taylor expansion of 0 in z
4.116 * [taylor]: Taking taylor expansion of 0 in t
4.118 * [taylor]: Taking taylor expansion of 0 in y
4.118 * [taylor]: Taking taylor expansion of 0 in z
4.120 * [taylor]: Taking taylor expansion of 0 in z
4.120 * [taylor]: Taking taylor expansion of 0 in t
4.120 * [taylor]: Taking taylor expansion of 0 in t
4.126 * [taylor]: Taking taylor expansion of 0 in y
4.126 * [taylor]: Taking taylor expansion of 0 in z
4.126 * [taylor]: Taking taylor expansion of 0 in z
4.128 * [taylor]: Taking taylor expansion of 0 in z
4.128 * [taylor]: Taking taylor expansion of 0 in t
4.128 * [taylor]: Taking taylor expansion of 0 in t
4.128 * [taylor]: Taking taylor expansion of 0 in t
4.129 * [taylor]: Taking taylor expansion of 0 in t
4.129 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
4.129 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
4.129 * [taylor]: Taking taylor expansion of 18.0 in t
4.129 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
4.129 * [taylor]: Taking taylor expansion of t in t
4.129 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
4.129 * [taylor]: Taking taylor expansion of x in t
4.129 * [taylor]: Taking taylor expansion of (* z y) in t
4.129 * [taylor]: Taking taylor expansion of z in t
4.129 * [taylor]: Taking taylor expansion of y in t
4.130 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
4.130 * [taylor]: Taking taylor expansion of 18.0 in z
4.130 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
4.130 * [taylor]: Taking taylor expansion of t in z
4.130 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.130 * [taylor]: Taking taylor expansion of x in z
4.130 * [taylor]: Taking taylor expansion of (* z y) in z
4.130 * [taylor]: Taking taylor expansion of z in z
4.130 * [taylor]: Taking taylor expansion of y in z
4.131 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
4.131 * [taylor]: Taking taylor expansion of 18.0 in y
4.131 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
4.131 * [taylor]: Taking taylor expansion of t in y
4.131 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.131 * [taylor]: Taking taylor expansion of x in y
4.131 * [taylor]: Taking taylor expansion of (* z y) in y
4.131 * [taylor]: Taking taylor expansion of z in y
4.131 * [taylor]: Taking taylor expansion of y in y
4.132 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.132 * [taylor]: Taking taylor expansion of 18.0 in x
4.132 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.132 * [taylor]: Taking taylor expansion of t in x
4.132 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.132 * [taylor]: Taking taylor expansion of x in x
4.132 * [taylor]: Taking taylor expansion of (* z y) in x
4.132 * [taylor]: Taking taylor expansion of z in x
4.132 * [taylor]: Taking taylor expansion of y in x
4.133 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
4.133 * [taylor]: Taking taylor expansion of 18.0 in x
4.133 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
4.133 * [taylor]: Taking taylor expansion of t in x
4.133 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.133 * [taylor]: Taking taylor expansion of x in x
4.133 * [taylor]: Taking taylor expansion of (* z y) in x
4.133 * [taylor]: Taking taylor expansion of z in x
4.133 * [taylor]: Taking taylor expansion of y in x
4.134 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
4.134 * [taylor]: Taking taylor expansion of 18.0 in y
4.134 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
4.134 * [taylor]: Taking taylor expansion of t in y
4.134 * [taylor]: Taking taylor expansion of (* z y) in y
4.134 * [taylor]: Taking taylor expansion of z in y
4.134 * [taylor]: Taking taylor expansion of y in y
4.134 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
4.135 * [taylor]: Taking taylor expansion of 18.0 in z
4.135 * [taylor]: Taking taylor expansion of (* t z) in z
4.135 * [taylor]: Taking taylor expansion of t in z
4.135 * [taylor]: Taking taylor expansion of z in z
4.135 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
4.135 * [taylor]: Taking taylor expansion of 18.0 in t
4.135 * [taylor]: Taking taylor expansion of t in t
4.136 * [taylor]: Taking taylor expansion of 0 in y
4.137 * [taylor]: Taking taylor expansion of 0 in z
4.138 * [taylor]: Taking taylor expansion of 0 in t
4.140 * [taylor]: Taking taylor expansion of 0 in y
4.140 * [taylor]: Taking taylor expansion of 0 in z
4.142 * [taylor]: Taking taylor expansion of 0 in z
4.142 * [taylor]: Taking taylor expansion of 0 in t
4.143 * [taylor]: Taking taylor expansion of 0 in t
4.146 * [taylor]: Taking taylor expansion of 0 in y
4.146 * [taylor]: Taking taylor expansion of 0 in z
4.146 * [taylor]: Taking taylor expansion of 0 in z
4.148 * [taylor]: Taking taylor expansion of 0 in z
4.148 * [taylor]: Taking taylor expansion of 0 in t
4.148 * [taylor]: Taking taylor expansion of 0 in t
4.148 * [taylor]: Taking taylor expansion of 0 in t
4.149 * [taylor]: Taking taylor expansion of 0 in t
4.149 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
4.149 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
4.149 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
4.149 * [taylor]: Taking taylor expansion of 18.0 in z
4.149 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.149 * [taylor]: Taking taylor expansion of x in z
4.149 * [taylor]: Taking taylor expansion of (* z y) in z
4.149 * [taylor]: Taking taylor expansion of z in z
4.149 * [taylor]: Taking taylor expansion of y in z
4.149 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
4.149 * [taylor]: Taking taylor expansion of 18.0 in y
4.149 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.149 * [taylor]: Taking taylor expansion of x in y
4.149 * [taylor]: Taking taylor expansion of (* z y) in y
4.150 * [taylor]: Taking taylor expansion of z in y
4.150 * [taylor]: Taking taylor expansion of y in y
4.150 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
4.150 * [taylor]: Taking taylor expansion of 18.0 in x
4.150 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.150 * [taylor]: Taking taylor expansion of x in x
4.150 * [taylor]: Taking taylor expansion of (* z y) in x
4.150 * [taylor]: Taking taylor expansion of z in x
4.150 * [taylor]: Taking taylor expansion of y in x
4.150 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
4.150 * [taylor]: Taking taylor expansion of 18.0 in x
4.150 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.150 * [taylor]: Taking taylor expansion of x in x
4.150 * [taylor]: Taking taylor expansion of (* z y) in x
4.150 * [taylor]: Taking taylor expansion of z in x
4.150 * [taylor]: Taking taylor expansion of y in x
4.150 * [taylor]: Taking taylor expansion of 0 in y
4.150 * [taylor]: Taking taylor expansion of 0 in z
4.151 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
4.151 * [taylor]: Taking taylor expansion of 18.0 in y
4.151 * [taylor]: Taking taylor expansion of (* z y) in y
4.151 * [taylor]: Taking taylor expansion of z in y
4.151 * [taylor]: Taking taylor expansion of y in y
4.151 * [taylor]: Taking taylor expansion of 0 in z
4.151 * [taylor]: Taking taylor expansion of 0 in z
4.153 * [taylor]: Taking taylor expansion of 0 in y
4.153 * [taylor]: Taking taylor expansion of 0 in z
4.154 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
4.154 * [taylor]: Taking taylor expansion of 18.0 in z
4.154 * [taylor]: Taking taylor expansion of z in z
4.154 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
4.154 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
4.154 * [taylor]: Taking taylor expansion of 18.0 in z
4.154 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.154 * [taylor]: Taking taylor expansion of x in z
4.154 * [taylor]: Taking taylor expansion of (* z y) in z
4.154 * [taylor]: Taking taylor expansion of z in z
4.154 * [taylor]: Taking taylor expansion of y in z
4.155 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
4.155 * [taylor]: Taking taylor expansion of 18.0 in y
4.155 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.155 * [taylor]: Taking taylor expansion of x in y
4.155 * [taylor]: Taking taylor expansion of (* z y) in y
4.155 * [taylor]: Taking taylor expansion of z in y
4.155 * [taylor]: Taking taylor expansion of y in y
4.156 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
4.156 * [taylor]: Taking taylor expansion of 18.0 in x
4.156 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.156 * [taylor]: Taking taylor expansion of x in x
4.156 * [taylor]: Taking taylor expansion of (* z y) in x
4.156 * [taylor]: Taking taylor expansion of z in x
4.156 * [taylor]: Taking taylor expansion of y in x
4.156 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
4.156 * [taylor]: Taking taylor expansion of 18.0 in x
4.156 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.156 * [taylor]: Taking taylor expansion of x in x
4.156 * [taylor]: Taking taylor expansion of (* z y) in x
4.156 * [taylor]: Taking taylor expansion of z in x
4.156 * [taylor]: Taking taylor expansion of y in x
4.157 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
4.157 * [taylor]: Taking taylor expansion of 18.0 in y
4.157 * [taylor]: Taking taylor expansion of (* z y) in y
4.157 * [taylor]: Taking taylor expansion of z in y
4.157 * [taylor]: Taking taylor expansion of y in y
4.157 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
4.157 * [taylor]: Taking taylor expansion of 18.0 in z
4.157 * [taylor]: Taking taylor expansion of z in z
4.158 * [taylor]: Taking taylor expansion of 0 in y
4.159 * [taylor]: Taking taylor expansion of 0 in z
4.161 * [taylor]: Taking taylor expansion of 0 in y
4.161 * [taylor]: Taking taylor expansion of 0 in z
4.161 * [taylor]: Taking taylor expansion of 0 in z
4.164 * [taylor]: Taking taylor expansion of 0 in y
4.164 * [taylor]: Taking taylor expansion of 0 in z
4.164 * [taylor]: Taking taylor expansion of 0 in z
4.165 * [taylor]: Taking taylor expansion of 0 in z
4.165 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
4.165 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
4.165 * [taylor]: Taking taylor expansion of -18.0 in z
4.165 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
4.165 * [taylor]: Taking taylor expansion of x in z
4.165 * [taylor]: Taking taylor expansion of (* z y) in z
4.165 * [taylor]: Taking taylor expansion of z in z
4.165 * [taylor]: Taking taylor expansion of y in z
4.166 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
4.166 * [taylor]: Taking taylor expansion of -18.0 in y
4.166 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
4.166 * [taylor]: Taking taylor expansion of x in y
4.166 * [taylor]: Taking taylor expansion of (* z y) in y
4.166 * [taylor]: Taking taylor expansion of z in y
4.166 * [taylor]: Taking taylor expansion of y in y
4.166 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
4.166 * [taylor]: Taking taylor expansion of -18.0 in x
4.166 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.166 * [taylor]: Taking taylor expansion of x in x
4.166 * [taylor]: Taking taylor expansion of (* z y) in x
4.166 * [taylor]: Taking taylor expansion of z in x
4.166 * [taylor]: Taking taylor expansion of y in x
4.167 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
4.167 * [taylor]: Taking taylor expansion of -18.0 in x
4.167 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
4.167 * [taylor]: Taking taylor expansion of x in x
4.167 * [taylor]: Taking taylor expansion of (* z y) in x
4.167 * [taylor]: Taking taylor expansion of z in x
4.167 * [taylor]: Taking taylor expansion of y in x
4.167 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
4.167 * [taylor]: Taking taylor expansion of -18.0 in y
4.168 * [taylor]: Taking taylor expansion of (* z y) in y
4.168 * [taylor]: Taking taylor expansion of z in y
4.168 * [taylor]: Taking taylor expansion of y in y
4.168 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
4.168 * [taylor]: Taking taylor expansion of -18.0 in z
4.168 * [taylor]: Taking taylor expansion of z in z
4.169 * [taylor]: Taking taylor expansion of 0 in y
4.170 * [taylor]: Taking taylor expansion of 0 in z
4.172 * [taylor]: Taking taylor expansion of 0 in y
4.172 * [taylor]: Taking taylor expansion of 0 in z
4.172 * [taylor]: Taking taylor expansion of 0 in z
4.175 * [taylor]: Taking taylor expansion of 0 in y
4.175 * [taylor]: Taking taylor expansion of 0 in z
4.175 * [taylor]: Taking taylor expansion of 0 in z
4.175 * [taylor]: Taking taylor expansion of 0 in z
4.176 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
4.176 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
4.176 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
4.176 * [taylor]: Taking taylor expansion of 27.0 in k
4.176 * [taylor]: Taking taylor expansion of (* k j) in k
4.176 * [taylor]: Taking taylor expansion of k in k
4.176 * [taylor]: Taking taylor expansion of j in k
4.176 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
4.176 * [taylor]: Taking taylor expansion of 27.0 in j
4.176 * [taylor]: Taking taylor expansion of (* k j) in j
4.176 * [taylor]: Taking taylor expansion of k in j
4.176 * [taylor]: Taking taylor expansion of j in j
4.176 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
4.176 * [taylor]: Taking taylor expansion of 27.0 in j
4.176 * [taylor]: Taking taylor expansion of (* k j) in j
4.176 * [taylor]: Taking taylor expansion of k in j
4.176 * [taylor]: Taking taylor expansion of j in j
4.176 * [taylor]: Taking taylor expansion of 0 in k
4.177 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
4.177 * [taylor]: Taking taylor expansion of 27.0 in k
4.177 * [taylor]: Taking taylor expansion of k in k
4.178 * [taylor]: Taking taylor expansion of 0 in k
4.180 * [taylor]: Taking taylor expansion of 0 in k
4.182 * [taylor]: Taking taylor expansion of 0 in k
4.182 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
4.182 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
4.182 * [taylor]: Taking taylor expansion of 27.0 in k
4.182 * [taylor]: Taking taylor expansion of (* k j) in k
4.183 * [taylor]: Taking taylor expansion of k in k
4.183 * [taylor]: Taking taylor expansion of j in k
4.183 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.183 * [taylor]: Taking taylor expansion of 27.0 in j
4.183 * [taylor]: Taking taylor expansion of (* k j) in j
4.183 * [taylor]: Taking taylor expansion of k in j
4.183 * [taylor]: Taking taylor expansion of j in j
4.183 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.183 * [taylor]: Taking taylor expansion of 27.0 in j
4.183 * [taylor]: Taking taylor expansion of (* k j) in j
4.184 * [taylor]: Taking taylor expansion of k in j
4.184 * [taylor]: Taking taylor expansion of j in j
4.184 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
4.184 * [taylor]: Taking taylor expansion of 27.0 in k
4.184 * [taylor]: Taking taylor expansion of k in k
4.185 * [taylor]: Taking taylor expansion of 0 in k
4.186 * [taylor]: Taking taylor expansion of 0 in k
4.187 * [taylor]: Taking taylor expansion of 0 in k
4.188 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
4.188 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
4.188 * [taylor]: Taking taylor expansion of 27.0 in k
4.188 * [taylor]: Taking taylor expansion of (* k j) in k
4.188 * [taylor]: Taking taylor expansion of k in k
4.188 * [taylor]: Taking taylor expansion of j in k
4.188 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.188 * [taylor]: Taking taylor expansion of 27.0 in j
4.188 * [taylor]: Taking taylor expansion of (* k j) in j
4.188 * [taylor]: Taking taylor expansion of k in j
4.188 * [taylor]: Taking taylor expansion of j in j
4.189 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
4.189 * [taylor]: Taking taylor expansion of 27.0 in j
4.189 * [taylor]: Taking taylor expansion of (* k j) in j
4.189 * [taylor]: Taking taylor expansion of k in j
4.189 * [taylor]: Taking taylor expansion of j in j
4.189 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
4.189 * [taylor]: Taking taylor expansion of 27.0 in k
4.189 * [taylor]: Taking taylor expansion of k in k
4.190 * [taylor]: Taking taylor expansion of 0 in k
4.191 * [taylor]: Taking taylor expansion of 0 in k
4.192 * [taylor]: Taking taylor expansion of 0 in k
4.193 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
4.193 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
4.193 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
4.193 * [taylor]: Taking taylor expansion of 18.0 in y
4.193 * [taylor]: Taking taylor expansion of (* x y) in y
4.193 * [taylor]: Taking taylor expansion of x in y
4.193 * [taylor]: Taking taylor expansion of y in y
4.193 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
4.193 * [taylor]: Taking taylor expansion of 18.0 in x
4.193 * [taylor]: Taking taylor expansion of (* x y) in x
4.193 * [taylor]: Taking taylor expansion of x in x
4.193 * [taylor]: Taking taylor expansion of y in x
4.193 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
4.193 * [taylor]: Taking taylor expansion of 18.0 in x
4.193 * [taylor]: Taking taylor expansion of (* x y) in x
4.193 * [taylor]: Taking taylor expansion of x in x
4.193 * [taylor]: Taking taylor expansion of y in x
4.193 * [taylor]: Taking taylor expansion of 0 in y
4.194 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
4.194 * [taylor]: Taking taylor expansion of 18.0 in y
4.194 * [taylor]: Taking taylor expansion of y in y
4.195 * [taylor]: Taking taylor expansion of 0 in y
4.198 * [taylor]: Taking taylor expansion of 0 in y
4.201 * [taylor]: Taking taylor expansion of 0 in y
4.201 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
4.201 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
4.201 * [taylor]: Taking taylor expansion of 18.0 in y
4.201 * [taylor]: Taking taylor expansion of (* x y) in y
4.201 * [taylor]: Taking taylor expansion of x in y
4.201 * [taylor]: Taking taylor expansion of y in y
4.202 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.202 * [taylor]: Taking taylor expansion of 18.0 in x
4.202 * [taylor]: Taking taylor expansion of (* x y) in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.202 * [taylor]: Taking taylor expansion of y in x
4.202 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.202 * [taylor]: Taking taylor expansion of 18.0 in x
4.202 * [taylor]: Taking taylor expansion of (* x y) in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.202 * [taylor]: Taking taylor expansion of y in x
4.203 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
4.203 * [taylor]: Taking taylor expansion of 18.0 in y
4.203 * [taylor]: Taking taylor expansion of y in y
4.204 * [taylor]: Taking taylor expansion of 0 in y
4.205 * [taylor]: Taking taylor expansion of 0 in y
4.207 * [taylor]: Taking taylor expansion of 0 in y
4.208 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
4.208 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
4.208 * [taylor]: Taking taylor expansion of 18.0 in y
4.208 * [taylor]: Taking taylor expansion of (* x y) in y
4.208 * [taylor]: Taking taylor expansion of x in y
4.208 * [taylor]: Taking taylor expansion of y in y
4.208 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.208 * [taylor]: Taking taylor expansion of 18.0 in x
4.208 * [taylor]: Taking taylor expansion of (* x y) in x
4.208 * [taylor]: Taking taylor expansion of x in x
4.208 * [taylor]: Taking taylor expansion of y in x
4.209 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
4.209 * [taylor]: Taking taylor expansion of 18.0 in x
4.209 * [taylor]: Taking taylor expansion of (* x y) in x
4.209 * [taylor]: Taking taylor expansion of x in x
4.209 * [taylor]: Taking taylor expansion of y in x
4.209 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
4.209 * [taylor]: Taking taylor expansion of 18.0 in y
4.209 * [taylor]: Taking taylor expansion of y in y
4.210 * [taylor]: Taking taylor expansion of 0 in y
4.211 * [taylor]: Taking taylor expansion of 0 in y
4.213 * [taylor]: Taking taylor expansion of 0 in y
4.216 * * * [progress]: simplifying candidates
4.217 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* (* j 27.0) k)
  (* (* j 27.0) k)
  (+ (+ (log j) (log 27.0)) (log k))
  (+ (log (* j 27.0)) (log k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
  (* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (* (* (* (* j 27.0) k) (* (* j 27.0) k)) (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* (* j 27.0) 1)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
4.221 * * [simplify]: iteration  0 :  145  enodes  (cost  974 )
4.245 * * [simplify]: iteration  1 :  366  enodes  (cost  944 )
4.413 * * [simplify]: iteration  2 :  1796  enodes  (cost  738 )
5.031 * * [simplify]: iteration  done :  5001  enodes  (cost  738 )
5.031 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* (* j 27.0) k))
  (log1p (* (* j 27.0) k))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (log (* (* j 27.0) k))
  (exp (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (pow (* 27.0 (* k j)) 3)
  (* (cbrt (* (* j 27.0) k)) (cbrt (* (* j 27.0) k)))
  (cbrt (* (* j 27.0) k))
  (pow (* 27.0 (* k j)) 3)
  (sqrt (* (* j 27.0) k))
  (sqrt (* (* j 27.0) k))
  (* (* j 27.0) (* (cbrt k) (cbrt k)))
  (* (* j 27.0) (sqrt k))
  (* j 27.0)
  (* 27.0 k)
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
5.032 * * * [progress]: adding candidates to table
5.373 * * [progress]: iteration 2 / 4
5.373 * * * [progress]: picking best candidate
5.414 * * * * [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.414 * * * [progress]: localizing error
5.438 * * * [progress]: generating rewritten candidates
5.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
5.519 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
5.541 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.547 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
5.557 * * * [progress]: generating series expansions
5.557 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
5.557 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.557 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
5.557 * [taylor]: Taking taylor expansion of 18.0 in t
5.557 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.557 * [taylor]: Taking taylor expansion of t in t
5.557 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.557 * [taylor]: Taking taylor expansion of x in t
5.557 * [taylor]: Taking taylor expansion of (* z y) in t
5.557 * [taylor]: Taking taylor expansion of z in t
5.557 * [taylor]: Taking taylor expansion of y in t
5.557 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
5.557 * [taylor]: Taking taylor expansion of 18.0 in z
5.557 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.558 * [taylor]: Taking taylor expansion of t in z
5.558 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.558 * [taylor]: Taking taylor expansion of x in z
5.558 * [taylor]: Taking taylor expansion of (* z y) in z
5.558 * [taylor]: Taking taylor expansion of z in z
5.558 * [taylor]: Taking taylor expansion of y in z
5.558 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
5.558 * [taylor]: Taking taylor expansion of 18.0 in y
5.558 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.558 * [taylor]: Taking taylor expansion of t in y
5.558 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.558 * [taylor]: Taking taylor expansion of x in y
5.558 * [taylor]: Taking taylor expansion of (* z y) in y
5.558 * [taylor]: Taking taylor expansion of z in y
5.558 * [taylor]: Taking taylor expansion of y in y
5.558 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.558 * [taylor]: Taking taylor expansion of 18.0 in x
5.558 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.558 * [taylor]: Taking taylor expansion of t in x
5.558 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.558 * [taylor]: Taking taylor expansion of x in x
5.558 * [taylor]: Taking taylor expansion of (* z y) in x
5.558 * [taylor]: Taking taylor expansion of z in x
5.558 * [taylor]: Taking taylor expansion of y in x
5.558 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
5.558 * [taylor]: Taking taylor expansion of 18.0 in x
5.558 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.558 * [taylor]: Taking taylor expansion of t in x
5.558 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.558 * [taylor]: Taking taylor expansion of x in x
5.558 * [taylor]: Taking taylor expansion of (* z y) in x
5.558 * [taylor]: Taking taylor expansion of z in x
5.558 * [taylor]: Taking taylor expansion of y in x
5.559 * [taylor]: Taking taylor expansion of 0 in y
5.559 * [taylor]: Taking taylor expansion of 0 in z
5.559 * [taylor]: Taking taylor expansion of 0 in t
5.560 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
5.560 * [taylor]: Taking taylor expansion of 18.0 in y
5.560 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.560 * [taylor]: Taking taylor expansion of t in y
5.560 * [taylor]: Taking taylor expansion of (* z y) in y
5.560 * [taylor]: Taking taylor expansion of z in y
5.560 * [taylor]: Taking taylor expansion of y in y
5.560 * [taylor]: Taking taylor expansion of 0 in z
5.560 * [taylor]: Taking taylor expansion of 0 in t
5.560 * [taylor]: Taking taylor expansion of 0 in z
5.560 * [taylor]: Taking taylor expansion of 0 in t
5.560 * [taylor]: Taking taylor expansion of 0 in t
5.562 * [taylor]: Taking taylor expansion of 0 in y
5.562 * [taylor]: Taking taylor expansion of 0 in z
5.562 * [taylor]: Taking taylor expansion of 0 in t
5.562 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.562 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.562 * [taylor]: Taking taylor expansion of 18.0 in t
5.562 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.562 * [taylor]: Taking taylor expansion of t in t
5.562 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.562 * [taylor]: Taking taylor expansion of x in t
5.562 * [taylor]: Taking taylor expansion of (* z y) in t
5.562 * [taylor]: Taking taylor expansion of z in t
5.562 * [taylor]: Taking taylor expansion of y in t
5.563 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.563 * [taylor]: Taking taylor expansion of 18.0 in z
5.563 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.563 * [taylor]: Taking taylor expansion of t in z
5.563 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.563 * [taylor]: Taking taylor expansion of x in z
5.563 * [taylor]: Taking taylor expansion of (* z y) in z
5.563 * [taylor]: Taking taylor expansion of z in z
5.563 * [taylor]: Taking taylor expansion of y in z
5.564 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.564 * [taylor]: Taking taylor expansion of 18.0 in y
5.564 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.564 * [taylor]: Taking taylor expansion of t in y
5.564 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.564 * [taylor]: Taking taylor expansion of x in y
5.564 * [taylor]: Taking taylor expansion of (* z y) in y
5.564 * [taylor]: Taking taylor expansion of z in y
5.564 * [taylor]: Taking taylor expansion of y in y
5.565 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.565 * [taylor]: Taking taylor expansion of 18.0 in x
5.565 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.565 * [taylor]: Taking taylor expansion of t in x
5.565 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.565 * [taylor]: Taking taylor expansion of x in x
5.565 * [taylor]: Taking taylor expansion of (* z y) in x
5.565 * [taylor]: Taking taylor expansion of z in x
5.565 * [taylor]: Taking taylor expansion of y in x
5.566 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.566 * [taylor]: Taking taylor expansion of 18.0 in x
5.566 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.566 * [taylor]: Taking taylor expansion of t in x
5.566 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.566 * [taylor]: Taking taylor expansion of x in x
5.566 * [taylor]: Taking taylor expansion of (* z y) in x
5.566 * [taylor]: Taking taylor expansion of z in x
5.566 * [taylor]: Taking taylor expansion of y in x
5.567 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.567 * [taylor]: Taking taylor expansion of 18.0 in y
5.567 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.567 * [taylor]: Taking taylor expansion of t in y
5.567 * [taylor]: Taking taylor expansion of (* z y) in y
5.567 * [taylor]: Taking taylor expansion of z in y
5.567 * [taylor]: Taking taylor expansion of y in y
5.567 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.567 * [taylor]: Taking taylor expansion of 18.0 in z
5.567 * [taylor]: Taking taylor expansion of (* t z) in z
5.567 * [taylor]: Taking taylor expansion of t in z
5.567 * [taylor]: Taking taylor expansion of z in z
5.568 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.568 * [taylor]: Taking taylor expansion of 18.0 in t
5.568 * [taylor]: Taking taylor expansion of t in t
5.569 * [taylor]: Taking taylor expansion of 0 in y
5.570 * [taylor]: Taking taylor expansion of 0 in z
5.571 * [taylor]: Taking taylor expansion of 0 in t
5.573 * [taylor]: Taking taylor expansion of 0 in y
5.573 * [taylor]: Taking taylor expansion of 0 in z
5.574 * [taylor]: Taking taylor expansion of 0 in z
5.574 * [taylor]: Taking taylor expansion of 0 in t
5.575 * [taylor]: Taking taylor expansion of 0 in t
5.578 * [taylor]: Taking taylor expansion of 0 in y
5.578 * [taylor]: Taking taylor expansion of 0 in z
5.578 * [taylor]: Taking taylor expansion of 0 in z
5.580 * [taylor]: Taking taylor expansion of 0 in z
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.580 * [taylor]: Taking taylor expansion of 0 in t
5.581 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
5.581 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
5.581 * [taylor]: Taking taylor expansion of 18.0 in t
5.581 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
5.581 * [taylor]: Taking taylor expansion of t in t
5.581 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
5.581 * [taylor]: Taking taylor expansion of x in t
5.581 * [taylor]: Taking taylor expansion of (* z y) in t
5.581 * [taylor]: Taking taylor expansion of z in t
5.581 * [taylor]: Taking taylor expansion of y in t
5.582 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
5.582 * [taylor]: Taking taylor expansion of 18.0 in z
5.582 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
5.582 * [taylor]: Taking taylor expansion of t in z
5.582 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.582 * [taylor]: Taking taylor expansion of x in z
5.582 * [taylor]: Taking taylor expansion of (* z y) in z
5.582 * [taylor]: Taking taylor expansion of z in z
5.582 * [taylor]: Taking taylor expansion of y in z
5.583 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
5.583 * [taylor]: Taking taylor expansion of 18.0 in y
5.583 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
5.583 * [taylor]: Taking taylor expansion of t in y
5.583 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.583 * [taylor]: Taking taylor expansion of x in y
5.583 * [taylor]: Taking taylor expansion of (* z y) in y
5.583 * [taylor]: Taking taylor expansion of z in y
5.583 * [taylor]: Taking taylor expansion of y in y
5.584 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.584 * [taylor]: Taking taylor expansion of 18.0 in x
5.584 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.584 * [taylor]: Taking taylor expansion of t in x
5.584 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.584 * [taylor]: Taking taylor expansion of x in x
5.584 * [taylor]: Taking taylor expansion of (* z y) in x
5.584 * [taylor]: Taking taylor expansion of z in x
5.584 * [taylor]: Taking taylor expansion of y in x
5.585 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
5.585 * [taylor]: Taking taylor expansion of 18.0 in x
5.585 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
5.585 * [taylor]: Taking taylor expansion of t in x
5.585 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.585 * [taylor]: Taking taylor expansion of x in x
5.585 * [taylor]: Taking taylor expansion of (* z y) in x
5.585 * [taylor]: Taking taylor expansion of z in x
5.585 * [taylor]: Taking taylor expansion of y in x
5.589 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
5.589 * [taylor]: Taking taylor expansion of 18.0 in y
5.589 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
5.589 * [taylor]: Taking taylor expansion of t in y
5.589 * [taylor]: Taking taylor expansion of (* z y) in y
5.589 * [taylor]: Taking taylor expansion of z in y
5.589 * [taylor]: Taking taylor expansion of y in y
5.590 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
5.590 * [taylor]: Taking taylor expansion of 18.0 in z
5.590 * [taylor]: Taking taylor expansion of (* t z) in z
5.590 * [taylor]: Taking taylor expansion of t in z
5.590 * [taylor]: Taking taylor expansion of z in z
5.590 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
5.590 * [taylor]: Taking taylor expansion of 18.0 in t
5.590 * [taylor]: Taking taylor expansion of t in t
5.592 * [taylor]: Taking taylor expansion of 0 in y
5.593 * [taylor]: Taking taylor expansion of 0 in z
5.593 * [taylor]: Taking taylor expansion of 0 in t
5.596 * [taylor]: Taking taylor expansion of 0 in y
5.596 * [taylor]: Taking taylor expansion of 0 in z
5.597 * [taylor]: Taking taylor expansion of 0 in z
5.597 * [taylor]: Taking taylor expansion of 0 in t
5.597 * [taylor]: Taking taylor expansion of 0 in t
5.601 * [taylor]: Taking taylor expansion of 0 in y
5.601 * [taylor]: Taking taylor expansion of 0 in z
5.601 * [taylor]: Taking taylor expansion of 0 in z
5.603 * [taylor]: Taking taylor expansion of 0 in z
5.603 * [taylor]: Taking taylor expansion of 0 in t
5.603 * [taylor]: Taking taylor expansion of 0 in t
5.603 * [taylor]: Taking taylor expansion of 0 in t
5.604 * [taylor]: Taking taylor expansion of 0 in t
5.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
5.604 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
5.604 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
5.604 * [taylor]: Taking taylor expansion of 18.0 in z
5.604 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.604 * [taylor]: Taking taylor expansion of x in z
5.604 * [taylor]: Taking taylor expansion of (* z y) in z
5.604 * [taylor]: Taking taylor expansion of z in z
5.604 * [taylor]: Taking taylor expansion of y in z
5.604 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
5.604 * [taylor]: Taking taylor expansion of 18.0 in y
5.604 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.604 * [taylor]: Taking taylor expansion of x in y
5.604 * [taylor]: Taking taylor expansion of (* z y) in y
5.604 * [taylor]: Taking taylor expansion of z in y
5.604 * [taylor]: Taking taylor expansion of y in y
5.604 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.604 * [taylor]: Taking taylor expansion of 18.0 in x
5.604 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.604 * [taylor]: Taking taylor expansion of x in x
5.604 * [taylor]: Taking taylor expansion of (* z y) in x
5.604 * [taylor]: Taking taylor expansion of z in x
5.604 * [taylor]: Taking taylor expansion of y in x
5.604 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
5.604 * [taylor]: Taking taylor expansion of 18.0 in x
5.604 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.604 * [taylor]: Taking taylor expansion of x in x
5.604 * [taylor]: Taking taylor expansion of (* z y) in x
5.604 * [taylor]: Taking taylor expansion of z in x
5.604 * [taylor]: Taking taylor expansion of y in x
5.605 * [taylor]: Taking taylor expansion of 0 in y
5.605 * [taylor]: Taking taylor expansion of 0 in z
5.605 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
5.606 * [taylor]: Taking taylor expansion of 18.0 in y
5.606 * [taylor]: Taking taylor expansion of (* z y) in y
5.606 * [taylor]: Taking taylor expansion of z in y
5.606 * [taylor]: Taking taylor expansion of y in y
5.606 * [taylor]: Taking taylor expansion of 0 in z
5.606 * [taylor]: Taking taylor expansion of 0 in z
5.607 * [taylor]: Taking taylor expansion of 0 in y
5.607 * [taylor]: Taking taylor expansion of 0 in z
5.608 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
5.608 * [taylor]: Taking taylor expansion of 18.0 in z
5.608 * [taylor]: Taking taylor expansion of z in z
5.608 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
5.608 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
5.608 * [taylor]: Taking taylor expansion of 18.0 in z
5.608 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.608 * [taylor]: Taking taylor expansion of x in z
5.608 * [taylor]: Taking taylor expansion of (* z y) in z
5.608 * [taylor]: Taking taylor expansion of z in z
5.608 * [taylor]: Taking taylor expansion of y in z
5.609 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
5.609 * [taylor]: Taking taylor expansion of 18.0 in y
5.609 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.609 * [taylor]: Taking taylor expansion of x in y
5.609 * [taylor]: Taking taylor expansion of (* z y) in y
5.609 * [taylor]: Taking taylor expansion of z in y
5.609 * [taylor]: Taking taylor expansion of y in y
5.610 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.610 * [taylor]: Taking taylor expansion of 18.0 in x
5.610 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.610 * [taylor]: Taking taylor expansion of x in x
5.610 * [taylor]: Taking taylor expansion of (* z y) in x
5.610 * [taylor]: Taking taylor expansion of z in x
5.610 * [taylor]: Taking taylor expansion of y in x
5.610 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
5.610 * [taylor]: Taking taylor expansion of 18.0 in x
5.610 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.610 * [taylor]: Taking taylor expansion of x in x
5.610 * [taylor]: Taking taylor expansion of (* z y) in x
5.610 * [taylor]: Taking taylor expansion of z in x
5.610 * [taylor]: Taking taylor expansion of y in x
5.611 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
5.611 * [taylor]: Taking taylor expansion of 18.0 in y
5.611 * [taylor]: Taking taylor expansion of (* z y) in y
5.611 * [taylor]: Taking taylor expansion of z in y
5.611 * [taylor]: Taking taylor expansion of y in y
5.611 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
5.611 * [taylor]: Taking taylor expansion of 18.0 in z
5.611 * [taylor]: Taking taylor expansion of z in z
5.612 * [taylor]: Taking taylor expansion of 0 in y
5.613 * [taylor]: Taking taylor expansion of 0 in z
5.615 * [taylor]: Taking taylor expansion of 0 in y
5.615 * [taylor]: Taking taylor expansion of 0 in z
5.616 * [taylor]: Taking taylor expansion of 0 in z
5.618 * [taylor]: Taking taylor expansion of 0 in y
5.618 * [taylor]: Taking taylor expansion of 0 in z
5.618 * [taylor]: Taking taylor expansion of 0 in z
5.619 * [taylor]: Taking taylor expansion of 0 in z
5.619 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
5.619 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
5.619 * [taylor]: Taking taylor expansion of -18.0 in z
5.619 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.619 * [taylor]: Taking taylor expansion of x in z
5.619 * [taylor]: Taking taylor expansion of (* z y) in z
5.619 * [taylor]: Taking taylor expansion of z in z
5.619 * [taylor]: Taking taylor expansion of y in z
5.620 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
5.620 * [taylor]: Taking taylor expansion of -18.0 in y
5.620 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.620 * [taylor]: Taking taylor expansion of x in y
5.620 * [taylor]: Taking taylor expansion of (* z y) in y
5.620 * [taylor]: Taking taylor expansion of z in y
5.620 * [taylor]: Taking taylor expansion of y in y
5.620 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.620 * [taylor]: Taking taylor expansion of -18.0 in x
5.620 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.620 * [taylor]: Taking taylor expansion of x in x
5.620 * [taylor]: Taking taylor expansion of (* z y) in x
5.621 * [taylor]: Taking taylor expansion of z in x
5.621 * [taylor]: Taking taylor expansion of y in x
5.621 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
5.621 * [taylor]: Taking taylor expansion of -18.0 in x
5.621 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.621 * [taylor]: Taking taylor expansion of x in x
5.621 * [taylor]: Taking taylor expansion of (* z y) in x
5.621 * [taylor]: Taking taylor expansion of z in x
5.621 * [taylor]: Taking taylor expansion of y in x
5.621 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
5.622 * [taylor]: Taking taylor expansion of -18.0 in y
5.622 * [taylor]: Taking taylor expansion of (* z y) in y
5.622 * [taylor]: Taking taylor expansion of z in y
5.622 * [taylor]: Taking taylor expansion of y in y
5.622 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
5.622 * [taylor]: Taking taylor expansion of -18.0 in z
5.622 * [taylor]: Taking taylor expansion of z in z
5.623 * [taylor]: Taking taylor expansion of 0 in y
5.624 * [taylor]: Taking taylor expansion of 0 in z
5.626 * [taylor]: Taking taylor expansion of 0 in y
5.626 * [taylor]: Taking taylor expansion of 0 in z
5.626 * [taylor]: Taking taylor expansion of 0 in z
5.629 * [taylor]: Taking taylor expansion of 0 in y
5.629 * [taylor]: Taking taylor expansion of 0 in z
5.629 * [taylor]: Taking taylor expansion of 0 in z
5.629 * [taylor]: Taking taylor expansion of 0 in z
5.630 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
5.630 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (j k) around 0
5.630 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
5.630 * [taylor]: Taking taylor expansion of 27.0 in k
5.630 * [taylor]: Taking taylor expansion of (* k j) in k
5.630 * [taylor]: Taking taylor expansion of k in k
5.630 * [taylor]: Taking taylor expansion of j in k
5.630 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.630 * [taylor]: Taking taylor expansion of 27.0 in j
5.630 * [taylor]: Taking taylor expansion of (* k j) in j
5.630 * [taylor]: Taking taylor expansion of k in j
5.630 * [taylor]: Taking taylor expansion of j in j
5.630 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
5.630 * [taylor]: Taking taylor expansion of 27.0 in j
5.630 * [taylor]: Taking taylor expansion of (* k j) in j
5.630 * [taylor]: Taking taylor expansion of k in j
5.630 * [taylor]: Taking taylor expansion of j in j
5.630 * [taylor]: Taking taylor expansion of 0 in k
5.631 * [taylor]: Taking taylor expansion of (* 27.0 k) in k
5.631 * [taylor]: Taking taylor expansion of 27.0 in k
5.631 * [taylor]: Taking taylor expansion of k in k
5.632 * [taylor]: Taking taylor expansion of 0 in k
5.634 * [taylor]: Taking taylor expansion of 0 in k
5.637 * [taylor]: Taking taylor expansion of 0 in k
5.637 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.637 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.637 * [taylor]: Taking taylor expansion of 27.0 in k
5.637 * [taylor]: Taking taylor expansion of (* k j) in k
5.637 * [taylor]: Taking taylor expansion of k in k
5.637 * [taylor]: Taking taylor expansion of j in k
5.637 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.637 * [taylor]: Taking taylor expansion of 27.0 in j
5.637 * [taylor]: Taking taylor expansion of (* k j) in j
5.637 * [taylor]: Taking taylor expansion of k in j
5.637 * [taylor]: Taking taylor expansion of j in j
5.638 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.638 * [taylor]: Taking taylor expansion of 27.0 in j
5.638 * [taylor]: Taking taylor expansion of (* k j) in j
5.638 * [taylor]: Taking taylor expansion of k in j
5.638 * [taylor]: Taking taylor expansion of j in j
5.638 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.638 * [taylor]: Taking taylor expansion of 27.0 in k
5.638 * [taylor]: Taking taylor expansion of k in k
5.639 * [taylor]: Taking taylor expansion of 0 in k
5.640 * [taylor]: Taking taylor expansion of 0 in k
5.641 * [taylor]: Taking taylor expansion of 0 in k
5.642 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (j k) around 0
5.642 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
5.642 * [taylor]: Taking taylor expansion of 27.0 in k
5.642 * [taylor]: Taking taylor expansion of (* k j) in k
5.642 * [taylor]: Taking taylor expansion of k in k
5.642 * [taylor]: Taking taylor expansion of j in k
5.643 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.643 * [taylor]: Taking taylor expansion of 27.0 in j
5.643 * [taylor]: Taking taylor expansion of (* k j) in j
5.643 * [taylor]: Taking taylor expansion of k in j
5.643 * [taylor]: Taking taylor expansion of j in j
5.643 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
5.643 * [taylor]: Taking taylor expansion of 27.0 in j
5.643 * [taylor]: Taking taylor expansion of (* k j) in j
5.643 * [taylor]: Taking taylor expansion of k in j
5.643 * [taylor]: Taking taylor expansion of j in j
5.643 * [taylor]: Taking taylor expansion of (/ 27.0 k) in k
5.643 * [taylor]: Taking taylor expansion of 27.0 in k
5.643 * [taylor]: Taking taylor expansion of k in k
5.644 * [taylor]: Taking taylor expansion of 0 in k
5.645 * [taylor]: Taking taylor expansion of 0 in k
5.646 * [taylor]: Taking taylor expansion of 0 in k
5.647 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
5.647 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
5.647 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
5.647 * [taylor]: Taking taylor expansion of 18.0 in y
5.647 * [taylor]: Taking taylor expansion of (* x y) in y
5.647 * [taylor]: Taking taylor expansion of x in y
5.647 * [taylor]: Taking taylor expansion of y in y
5.647 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.647 * [taylor]: Taking taylor expansion of 18.0 in x
5.647 * [taylor]: Taking taylor expansion of (* x y) in x
5.647 * [taylor]: Taking taylor expansion of x in x
5.647 * [taylor]: Taking taylor expansion of y in x
5.647 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
5.647 * [taylor]: Taking taylor expansion of 18.0 in x
5.647 * [taylor]: Taking taylor expansion of (* x y) in x
5.647 * [taylor]: Taking taylor expansion of x in x
5.648 * [taylor]: Taking taylor expansion of y in x
5.648 * [taylor]: Taking taylor expansion of 0 in y
5.648 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
5.648 * [taylor]: Taking taylor expansion of 18.0 in y
5.648 * [taylor]: Taking taylor expansion of y in y
5.650 * [taylor]: Taking taylor expansion of 0 in y
5.652 * [taylor]: Taking taylor expansion of 0 in y
5.655 * [taylor]: Taking taylor expansion of 0 in y
5.655 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.655 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.655 * [taylor]: Taking taylor expansion of 18.0 in y
5.655 * [taylor]: Taking taylor expansion of (* x y) in y
5.655 * [taylor]: Taking taylor expansion of x in y
5.655 * [taylor]: Taking taylor expansion of y in y
5.655 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.655 * [taylor]: Taking taylor expansion of 18.0 in x
5.655 * [taylor]: Taking taylor expansion of (* x y) in x
5.655 * [taylor]: Taking taylor expansion of x in x
5.655 * [taylor]: Taking taylor expansion of y in x
5.655 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.655 * [taylor]: Taking taylor expansion of 18.0 in x
5.656 * [taylor]: Taking taylor expansion of (* x y) in x
5.656 * [taylor]: Taking taylor expansion of x in x
5.656 * [taylor]: Taking taylor expansion of y in x
5.656 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.656 * [taylor]: Taking taylor expansion of 18.0 in y
5.656 * [taylor]: Taking taylor expansion of y in y
5.657 * [taylor]: Taking taylor expansion of 0 in y
5.658 * [taylor]: Taking taylor expansion of 0 in y
5.660 * [taylor]: Taking taylor expansion of 0 in y
5.661 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
5.661 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
5.661 * [taylor]: Taking taylor expansion of 18.0 in y
5.661 * [taylor]: Taking taylor expansion of (* x y) in y
5.661 * [taylor]: Taking taylor expansion of x in y
5.661 * [taylor]: Taking taylor expansion of y in y
5.661 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.661 * [taylor]: Taking taylor expansion of 18.0 in x
5.661 * [taylor]: Taking taylor expansion of (* x y) in x
5.661 * [taylor]: Taking taylor expansion of x in x
5.661 * [taylor]: Taking taylor expansion of y in x
5.662 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
5.662 * [taylor]: Taking taylor expansion of 18.0 in x
5.662 * [taylor]: Taking taylor expansion of (* x y) in x
5.662 * [taylor]: Taking taylor expansion of x in x
5.662 * [taylor]: Taking taylor expansion of y in x
5.662 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
5.662 * [taylor]: Taking taylor expansion of 18.0 in y
5.662 * [taylor]: Taking taylor expansion of y in y
5.663 * [taylor]: Taking taylor expansion of 0 in y
5.665 * [taylor]: Taking taylor expansion of 0 in y
5.666 * [taylor]: Taking taylor expansion of 0 in y
5.667 * * * [progress]: simplifying candidates
5.668 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (+ (log j) (+ (log 27.0) (log k)))
  (+ (log j) (log (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (* (* (* j j) j) (* (* (* 27.0 27.0) 27.0) (* (* k k) k)))
  (* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (* (* (* j (* 27.0 k)) (* j (* 27.0 k))) (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
5.674 * * [simplify]: iteration  0 :  143  enodes  (cost  971 )
5.697 * * [simplify]: iteration  1 :  358  enodes  (cost  943 )
5.847 * * [simplify]: iteration  2 :  1711  enodes  (cost  737 )
6.446 * * [simplify]: iteration  done :  5001  enodes  (cost  737 )
6.446 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* 18.0 (* t (* x (* z y)))) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* z y)
  (expm1 (* j (* 27.0 k)))
  (log1p (* j (* 27.0 k)))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (log (* j (* 27.0 k)))
  (exp (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (pow (* j (* 27.0 k)) 3)
  (* (cbrt (* j (* 27.0 k))) (cbrt (* j (* 27.0 k))))
  (cbrt (* j (* 27.0 k)))
  (pow (* j (* 27.0 k)) 3)
  (sqrt (* j (* 27.0 k)))
  (sqrt (* j (* 27.0 k)))
  (* j 27.0)
  (* (cbrt j) (* 27.0 k))
  (* (sqrt j) (* 27.0 k))
  (* j (* 27.0 k))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (pow (* (* x 18.0) y) 3)
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (pow (* (* x 18.0) y) 3)
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* x 18.0)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* j (* 27.0 k))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (* (* x 18.0) y)
6.447 * * * [progress]: adding candidates to table
6.779 * * [progress]: iteration 3 / 4
6.780 * * * [progress]: picking best candidate
6.814 * * * * [pick]: Picked  #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* 27.0 (* k j)) 1)))>
6.815 * * * [progress]: localizing error
6.844 * * * [progress]: generating rewritten candidates
6.844 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
6.928 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
6.949 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
6.956 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
6.965 * * * [progress]: generating series expansions
6.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
6.966 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.966 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
6.966 * [taylor]: Taking taylor expansion of 18.0 in t
6.966 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.966 * [taylor]: Taking taylor expansion of t in t
6.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.966 * [taylor]: Taking taylor expansion of x in t
6.966 * [taylor]: Taking taylor expansion of (* z y) in t
6.966 * [taylor]: Taking taylor expansion of z in t
6.966 * [taylor]: Taking taylor expansion of y in t
6.966 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
6.966 * [taylor]: Taking taylor expansion of 18.0 in z
6.966 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.966 * [taylor]: Taking taylor expansion of t in z
6.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.966 * [taylor]: Taking taylor expansion of x in z
6.966 * [taylor]: Taking taylor expansion of (* z y) in z
6.966 * [taylor]: Taking taylor expansion of z in z
6.966 * [taylor]: Taking taylor expansion of y in z
6.966 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
6.966 * [taylor]: Taking taylor expansion of 18.0 in y
6.966 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.966 * [taylor]: Taking taylor expansion of t in y
6.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.966 * [taylor]: Taking taylor expansion of x in y
6.966 * [taylor]: Taking taylor expansion of (* z y) in y
6.966 * [taylor]: Taking taylor expansion of z in y
6.966 * [taylor]: Taking taylor expansion of y in y
6.966 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.966 * [taylor]: Taking taylor expansion of 18.0 in x
6.966 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.966 * [taylor]: Taking taylor expansion of t in x
6.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.966 * [taylor]: Taking taylor expansion of x in x
6.966 * [taylor]: Taking taylor expansion of (* z y) in x
6.966 * [taylor]: Taking taylor expansion of z in x
6.966 * [taylor]: Taking taylor expansion of y in x
6.966 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
6.966 * [taylor]: Taking taylor expansion of 18.0 in x
6.966 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.966 * [taylor]: Taking taylor expansion of t in x
6.966 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.966 * [taylor]: Taking taylor expansion of x in x
6.966 * [taylor]: Taking taylor expansion of (* z y) in x
6.966 * [taylor]: Taking taylor expansion of z in x
6.966 * [taylor]: Taking taylor expansion of y in x
6.967 * [taylor]: Taking taylor expansion of 0 in y
6.967 * [taylor]: Taking taylor expansion of 0 in z
6.967 * [taylor]: Taking taylor expansion of 0 in t
6.968 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
6.968 * [taylor]: Taking taylor expansion of 18.0 in y
6.968 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.968 * [taylor]: Taking taylor expansion of t in y
6.968 * [taylor]: Taking taylor expansion of (* z y) in y
6.968 * [taylor]: Taking taylor expansion of z in y
6.968 * [taylor]: Taking taylor expansion of y in y
6.968 * [taylor]: Taking taylor expansion of 0 in z
6.968 * [taylor]: Taking taylor expansion of 0 in t
6.969 * [taylor]: Taking taylor expansion of 0 in z
6.969 * [taylor]: Taking taylor expansion of 0 in t
6.969 * [taylor]: Taking taylor expansion of 0 in t
6.970 * [taylor]: Taking taylor expansion of 0 in y
6.971 * [taylor]: Taking taylor expansion of 0 in z
6.971 * [taylor]: Taking taylor expansion of 0 in t
6.971 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.971 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.971 * [taylor]: Taking taylor expansion of 18.0 in t
6.971 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.971 * [taylor]: Taking taylor expansion of t in t
6.971 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.971 * [taylor]: Taking taylor expansion of x in t
6.971 * [taylor]: Taking taylor expansion of (* z y) in t
6.971 * [taylor]: Taking taylor expansion of z in t
6.971 * [taylor]: Taking taylor expansion of y in t
6.971 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.971 * [taylor]: Taking taylor expansion of 18.0 in z
6.972 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.972 * [taylor]: Taking taylor expansion of t in z
6.972 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.972 * [taylor]: Taking taylor expansion of x in z
6.972 * [taylor]: Taking taylor expansion of (* z y) in z
6.972 * [taylor]: Taking taylor expansion of z in z
6.972 * [taylor]: Taking taylor expansion of y in z
6.973 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.973 * [taylor]: Taking taylor expansion of 18.0 in y
6.973 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.973 * [taylor]: Taking taylor expansion of t in y
6.973 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.973 * [taylor]: Taking taylor expansion of x in y
6.973 * [taylor]: Taking taylor expansion of (* z y) in y
6.973 * [taylor]: Taking taylor expansion of z in y
6.973 * [taylor]: Taking taylor expansion of y in y
6.974 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.974 * [taylor]: Taking taylor expansion of 18.0 in x
6.974 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.974 * [taylor]: Taking taylor expansion of t in x
6.974 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.974 * [taylor]: Taking taylor expansion of x in x
6.974 * [taylor]: Taking taylor expansion of (* z y) in x
6.974 * [taylor]: Taking taylor expansion of z in x
6.974 * [taylor]: Taking taylor expansion of y in x
6.974 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.974 * [taylor]: Taking taylor expansion of 18.0 in x
6.974 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.974 * [taylor]: Taking taylor expansion of t in x
6.974 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.974 * [taylor]: Taking taylor expansion of x in x
6.975 * [taylor]: Taking taylor expansion of (* z y) in x
6.975 * [taylor]: Taking taylor expansion of z in x
6.975 * [taylor]: Taking taylor expansion of y in x
6.975 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.975 * [taylor]: Taking taylor expansion of 18.0 in y
6.975 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.975 * [taylor]: Taking taylor expansion of t in y
6.975 * [taylor]: Taking taylor expansion of (* z y) in y
6.975 * [taylor]: Taking taylor expansion of z in y
6.975 * [taylor]: Taking taylor expansion of y in y
6.976 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.976 * [taylor]: Taking taylor expansion of 18.0 in z
6.976 * [taylor]: Taking taylor expansion of (* t z) in z
6.976 * [taylor]: Taking taylor expansion of t in z
6.976 * [taylor]: Taking taylor expansion of z in z
6.977 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.977 * [taylor]: Taking taylor expansion of 18.0 in t
6.977 * [taylor]: Taking taylor expansion of t in t
6.978 * [taylor]: Taking taylor expansion of 0 in y
6.979 * [taylor]: Taking taylor expansion of 0 in z
6.980 * [taylor]: Taking taylor expansion of 0 in t
6.982 * [taylor]: Taking taylor expansion of 0 in y
6.982 * [taylor]: Taking taylor expansion of 0 in z
6.983 * [taylor]: Taking taylor expansion of 0 in z
6.984 * [taylor]: Taking taylor expansion of 0 in t
6.984 * [taylor]: Taking taylor expansion of 0 in t
6.987 * [taylor]: Taking taylor expansion of 0 in y
6.988 * [taylor]: Taking taylor expansion of 0 in z
6.988 * [taylor]: Taking taylor expansion of 0 in z
6.989 * [taylor]: Taking taylor expansion of 0 in z
6.989 * [taylor]: Taking taylor expansion of 0 in t
6.989 * [taylor]: Taking taylor expansion of 0 in t
6.989 * [taylor]: Taking taylor expansion of 0 in t
6.990 * [taylor]: Taking taylor expansion of 0 in t
6.990 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
6.990 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
6.990 * [taylor]: Taking taylor expansion of 18.0 in t
6.990 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
6.990 * [taylor]: Taking taylor expansion of t in t
6.990 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
6.990 * [taylor]: Taking taylor expansion of x in t
6.990 * [taylor]: Taking taylor expansion of (* z y) in t
6.990 * [taylor]: Taking taylor expansion of z in t
6.990 * [taylor]: Taking taylor expansion of y in t
6.991 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
6.991 * [taylor]: Taking taylor expansion of 18.0 in z
6.991 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
6.991 * [taylor]: Taking taylor expansion of t in z
6.991 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
6.991 * [taylor]: Taking taylor expansion of x in z
6.991 * [taylor]: Taking taylor expansion of (* z y) in z
6.991 * [taylor]: Taking taylor expansion of z in z
6.991 * [taylor]: Taking taylor expansion of y in z
6.992 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
6.992 * [taylor]: Taking taylor expansion of 18.0 in y
6.992 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
6.992 * [taylor]: Taking taylor expansion of t in y
6.992 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
6.992 * [taylor]: Taking taylor expansion of x in y
6.992 * [taylor]: Taking taylor expansion of (* z y) in y
6.992 * [taylor]: Taking taylor expansion of z in y
6.992 * [taylor]: Taking taylor expansion of y in y
6.993 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.993 * [taylor]: Taking taylor expansion of 18.0 in x
6.993 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.993 * [taylor]: Taking taylor expansion of t in x
6.993 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.993 * [taylor]: Taking taylor expansion of x in x
6.993 * [taylor]: Taking taylor expansion of (* z y) in x
6.993 * [taylor]: Taking taylor expansion of z in x
6.993 * [taylor]: Taking taylor expansion of y in x
6.994 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
6.994 * [taylor]: Taking taylor expansion of 18.0 in x
6.994 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
6.994 * [taylor]: Taking taylor expansion of t in x
6.994 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
6.994 * [taylor]: Taking taylor expansion of x in x
6.994 * [taylor]: Taking taylor expansion of (* z y) in x
6.994 * [taylor]: Taking taylor expansion of z in x
6.994 * [taylor]: Taking taylor expansion of y in x
6.995 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
6.995 * [taylor]: Taking taylor expansion of 18.0 in y
6.995 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
6.995 * [taylor]: Taking taylor expansion of t in y
6.995 * [taylor]: Taking taylor expansion of (* z y) in y
6.995 * [taylor]: Taking taylor expansion of z in y
6.995 * [taylor]: Taking taylor expansion of y in y
6.996 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
6.996 * [taylor]: Taking taylor expansion of 18.0 in z
6.996 * [taylor]: Taking taylor expansion of (* t z) in z
6.996 * [taylor]: Taking taylor expansion of t in z
6.996 * [taylor]: Taking taylor expansion of z in z
6.996 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
6.996 * [taylor]: Taking taylor expansion of 18.0 in t
6.996 * [taylor]: Taking taylor expansion of t in t
6.998 * [taylor]: Taking taylor expansion of 0 in y
6.998 * [taylor]: Taking taylor expansion of 0 in z
6.999 * [taylor]: Taking taylor expansion of 0 in t
7.001 * [taylor]: Taking taylor expansion of 0 in y
7.001 * [taylor]: Taking taylor expansion of 0 in z
7.007 * [taylor]: Taking taylor expansion of 0 in z
7.007 * [taylor]: Taking taylor expansion of 0 in t
7.008 * [taylor]: Taking taylor expansion of 0 in t
7.011 * [taylor]: Taking taylor expansion of 0 in y
7.012 * [taylor]: Taking taylor expansion of 0 in z
7.012 * [taylor]: Taking taylor expansion of 0 in z
7.013 * [taylor]: Taking taylor expansion of 0 in z
7.013 * [taylor]: Taking taylor expansion of 0 in t
7.013 * [taylor]: Taking taylor expansion of 0 in t
7.013 * [taylor]: Taking taylor expansion of 0 in t
7.014 * [taylor]: Taking taylor expansion of 0 in t
7.014 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
7.014 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
7.014 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
7.014 * [taylor]: Taking taylor expansion of 18.0 in z
7.014 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.014 * [taylor]: Taking taylor expansion of x in z
7.014 * [taylor]: Taking taylor expansion of (* z y) in z
7.014 * [taylor]: Taking taylor expansion of z in z
7.014 * [taylor]: Taking taylor expansion of y in z
7.014 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
7.014 * [taylor]: Taking taylor expansion of 18.0 in y
7.015 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.015 * [taylor]: Taking taylor expansion of x in y
7.015 * [taylor]: Taking taylor expansion of (* z y) in y
7.015 * [taylor]: Taking taylor expansion of z in y
7.015 * [taylor]: Taking taylor expansion of y in y
7.015 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.015 * [taylor]: Taking taylor expansion of 18.0 in x
7.015 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.015 * [taylor]: Taking taylor expansion of x in x
7.015 * [taylor]: Taking taylor expansion of (* z y) in x
7.015 * [taylor]: Taking taylor expansion of z in x
7.015 * [taylor]: Taking taylor expansion of y in x
7.015 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
7.015 * [taylor]: Taking taylor expansion of 18.0 in x
7.015 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.015 * [taylor]: Taking taylor expansion of x in x
7.015 * [taylor]: Taking taylor expansion of (* z y) in x
7.015 * [taylor]: Taking taylor expansion of z in x
7.015 * [taylor]: Taking taylor expansion of y in x
7.015 * [taylor]: Taking taylor expansion of 0 in y
7.015 * [taylor]: Taking taylor expansion of 0 in z
7.016 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
7.016 * [taylor]: Taking taylor expansion of 18.0 in y
7.016 * [taylor]: Taking taylor expansion of (* z y) in y
7.016 * [taylor]: Taking taylor expansion of z in y
7.016 * [taylor]: Taking taylor expansion of y in y
7.016 * [taylor]: Taking taylor expansion of 0 in z
7.016 * [taylor]: Taking taylor expansion of 0 in z
7.018 * [taylor]: Taking taylor expansion of 0 in y
7.018 * [taylor]: Taking taylor expansion of 0 in z
7.018 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
7.018 * [taylor]: Taking taylor expansion of 18.0 in z
7.018 * [taylor]: Taking taylor expansion of z in z
7.019 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
7.019 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
7.019 * [taylor]: Taking taylor expansion of 18.0 in z
7.019 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.019 * [taylor]: Taking taylor expansion of x in z
7.019 * [taylor]: Taking taylor expansion of (* z y) in z
7.019 * [taylor]: Taking taylor expansion of z in z
7.019 * [taylor]: Taking taylor expansion of y in z
7.019 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
7.019 * [taylor]: Taking taylor expansion of 18.0 in y
7.019 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.020 * [taylor]: Taking taylor expansion of x in y
7.020 * [taylor]: Taking taylor expansion of (* z y) in y
7.020 * [taylor]: Taking taylor expansion of z in y
7.020 * [taylor]: Taking taylor expansion of y in y
7.020 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.020 * [taylor]: Taking taylor expansion of 18.0 in x
7.020 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.020 * [taylor]: Taking taylor expansion of x in x
7.020 * [taylor]: Taking taylor expansion of (* z y) in x
7.020 * [taylor]: Taking taylor expansion of z in x
7.020 * [taylor]: Taking taylor expansion of y in x
7.021 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
7.021 * [taylor]: Taking taylor expansion of 18.0 in x
7.021 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.021 * [taylor]: Taking taylor expansion of x in x
7.021 * [taylor]: Taking taylor expansion of (* z y) in x
7.021 * [taylor]: Taking taylor expansion of z in x
7.021 * [taylor]: Taking taylor expansion of y in x
7.022 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
7.022 * [taylor]: Taking taylor expansion of 18.0 in y
7.022 * [taylor]: Taking taylor expansion of (* z y) in y
7.022 * [taylor]: Taking taylor expansion of z in y
7.022 * [taylor]: Taking taylor expansion of y in y
7.022 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
7.022 * [taylor]: Taking taylor expansion of 18.0 in z
7.022 * [taylor]: Taking taylor expansion of z in z
7.023 * [taylor]: Taking taylor expansion of 0 in y
7.024 * [taylor]: Taking taylor expansion of 0 in z
7.026 * [taylor]: Taking taylor expansion of 0 in y
7.026 * [taylor]: Taking taylor expansion of 0 in z
7.026 * [taylor]: Taking taylor expansion of 0 in z
7.029 * [taylor]: Taking taylor expansion of 0 in y
7.029 * [taylor]: Taking taylor expansion of 0 in z
7.029 * [taylor]: Taking taylor expansion of 0 in z
7.029 * [taylor]: Taking taylor expansion of 0 in z
7.030 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
7.030 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
7.030 * [taylor]: Taking taylor expansion of -18.0 in z
7.030 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
7.030 * [taylor]: Taking taylor expansion of x in z
7.030 * [taylor]: Taking taylor expansion of (* z y) in z
7.030 * [taylor]: Taking taylor expansion of z in z
7.030 * [taylor]: Taking taylor expansion of y in z
7.031 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
7.031 * [taylor]: Taking taylor expansion of -18.0 in y
7.031 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
7.031 * [taylor]: Taking taylor expansion of x in y
7.031 * [taylor]: Taking taylor expansion of (* z y) in y
7.031 * [taylor]: Taking taylor expansion of z in y
7.031 * [taylor]: Taking taylor expansion of y in y
7.031 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.031 * [taylor]: Taking taylor expansion of -18.0 in x
7.031 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.031 * [taylor]: Taking taylor expansion of x in x
7.031 * [taylor]: Taking taylor expansion of (* z y) in x
7.031 * [taylor]: Taking taylor expansion of z in x
7.031 * [taylor]: Taking taylor expansion of y in x
7.032 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
7.032 * [taylor]: Taking taylor expansion of -18.0 in x
7.032 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
7.032 * [taylor]: Taking taylor expansion of x in x
7.032 * [taylor]: Taking taylor expansion of (* z y) in x
7.032 * [taylor]: Taking taylor expansion of z in x
7.032 * [taylor]: Taking taylor expansion of y in x
7.032 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
7.032 * [taylor]: Taking taylor expansion of -18.0 in y
7.032 * [taylor]: Taking taylor expansion of (* z y) in y
7.032 * [taylor]: Taking taylor expansion of z in y
7.032 * [taylor]: Taking taylor expansion of y in y
7.033 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
7.033 * [taylor]: Taking taylor expansion of -18.0 in z
7.033 * [taylor]: Taking taylor expansion of z in z
7.034 * [taylor]: Taking taylor expansion of 0 in y
7.035 * [taylor]: Taking taylor expansion of 0 in z
7.036 * [taylor]: Taking taylor expansion of 0 in y
7.036 * [taylor]: Taking taylor expansion of 0 in z
7.037 * [taylor]: Taking taylor expansion of 0 in z
7.040 * [taylor]: Taking taylor expansion of 0 in y
7.040 * [taylor]: Taking taylor expansion of 0 in z
7.040 * [taylor]: Taking taylor expansion of 0 in z
7.040 * [taylor]: Taking taylor expansion of 0 in z
7.041 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
7.041 * [approximate]: Taking taylor expansion of (* 27.0 (* k j)) in (k j) around 0
7.041 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in j
7.041 * [taylor]: Taking taylor expansion of 27.0 in j
7.041 * [taylor]: Taking taylor expansion of (* k j) in j
7.041 * [taylor]: Taking taylor expansion of k in j
7.041 * [taylor]: Taking taylor expansion of j in j
7.041 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.041 * [taylor]: Taking taylor expansion of 27.0 in k
7.041 * [taylor]: Taking taylor expansion of (* k j) in k
7.041 * [taylor]: Taking taylor expansion of k in k
7.041 * [taylor]: Taking taylor expansion of j in k
7.041 * [taylor]: Taking taylor expansion of (* 27.0 (* k j)) in k
7.041 * [taylor]: Taking taylor expansion of 27.0 in k
7.041 * [taylor]: Taking taylor expansion of (* k j) in k
7.041 * [taylor]: Taking taylor expansion of k in k
7.041 * [taylor]: Taking taylor expansion of j in k
7.041 * [taylor]: Taking taylor expansion of 0 in j
7.042 * [taylor]: Taking taylor expansion of (* 27.0 j) in j
7.042 * [taylor]: Taking taylor expansion of 27.0 in j
7.042 * [taylor]: Taking taylor expansion of j in j
7.043 * [taylor]: Taking taylor expansion of 0 in j
7.046 * [taylor]: Taking taylor expansion of 0 in j
7.048 * [taylor]: Taking taylor expansion of 0 in j
7.048 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
7.048 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.048 * [taylor]: Taking taylor expansion of 27.0 in j
7.048 * [taylor]: Taking taylor expansion of (* k j) in j
7.048 * [taylor]: Taking taylor expansion of k in j
7.048 * [taylor]: Taking taylor expansion of j in j
7.049 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.049 * [taylor]: Taking taylor expansion of 27.0 in k
7.049 * [taylor]: Taking taylor expansion of (* k j) in k
7.049 * [taylor]: Taking taylor expansion of k in k
7.049 * [taylor]: Taking taylor expansion of j in k
7.049 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.049 * [taylor]: Taking taylor expansion of 27.0 in k
7.049 * [taylor]: Taking taylor expansion of (* k j) in k
7.049 * [taylor]: Taking taylor expansion of k in k
7.049 * [taylor]: Taking taylor expansion of j in k
7.050 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
7.050 * [taylor]: Taking taylor expansion of 27.0 in j
7.050 * [taylor]: Taking taylor expansion of j in j
7.050 * [taylor]: Taking taylor expansion of 0 in j
7.052 * [taylor]: Taking taylor expansion of 0 in j
7.053 * [taylor]: Taking taylor expansion of 0 in j
7.054 * [approximate]: Taking taylor expansion of (/ 27.0 (* k j)) in (k j) around 0
7.054 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in j
7.055 * [taylor]: Taking taylor expansion of 27.0 in j
7.055 * [taylor]: Taking taylor expansion of (* k j) in j
7.055 * [taylor]: Taking taylor expansion of k in j
7.055 * [taylor]: Taking taylor expansion of j in j
7.055 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.055 * [taylor]: Taking taylor expansion of 27.0 in k
7.055 * [taylor]: Taking taylor expansion of (* k j) in k
7.055 * [taylor]: Taking taylor expansion of k in k
7.055 * [taylor]: Taking taylor expansion of j in k
7.055 * [taylor]: Taking taylor expansion of (/ 27.0 (* k j)) in k
7.055 * [taylor]: Taking taylor expansion of 27.0 in k
7.055 * [taylor]: Taking taylor expansion of (* k j) in k
7.055 * [taylor]: Taking taylor expansion of k in k
7.055 * [taylor]: Taking taylor expansion of j in k
7.056 * [taylor]: Taking taylor expansion of (/ 27.0 j) in j
7.056 * [taylor]: Taking taylor expansion of 27.0 in j
7.056 * [taylor]: Taking taylor expansion of j in j
7.057 * [taylor]: Taking taylor expansion of 0 in j
7.058 * [taylor]: Taking taylor expansion of 0 in j
7.060 * [taylor]: Taking taylor expansion of 0 in j
7.060 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
7.060 * [approximate]: Taking taylor expansion of (* 18.0 (* x y)) in (x y) around 0
7.060 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in y
7.061 * [taylor]: Taking taylor expansion of 18.0 in y
7.061 * [taylor]: Taking taylor expansion of (* x y) in y
7.061 * [taylor]: Taking taylor expansion of x in y
7.061 * [taylor]: Taking taylor expansion of y in y
7.061 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.061 * [taylor]: Taking taylor expansion of 18.0 in x
7.061 * [taylor]: Taking taylor expansion of (* x y) in x
7.061 * [taylor]: Taking taylor expansion of x in x
7.061 * [taylor]: Taking taylor expansion of y in x
7.061 * [taylor]: Taking taylor expansion of (* 18.0 (* x y)) in x
7.061 * [taylor]: Taking taylor expansion of 18.0 in x
7.061 * [taylor]: Taking taylor expansion of (* x y) in x
7.061 * [taylor]: Taking taylor expansion of x in x
7.061 * [taylor]: Taking taylor expansion of y in x
7.061 * [taylor]: Taking taylor expansion of 0 in y
7.062 * [taylor]: Taking taylor expansion of (* 18.0 y) in y
7.062 * [taylor]: Taking taylor expansion of 18.0 in y
7.062 * [taylor]: Taking taylor expansion of y in y
7.063 * [taylor]: Taking taylor expansion of 0 in y
7.065 * [taylor]: Taking taylor expansion of 0 in y
7.068 * [taylor]: Taking taylor expansion of 0 in y
7.068 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.068 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.068 * [taylor]: Taking taylor expansion of 18.0 in y
7.068 * [taylor]: Taking taylor expansion of (* x y) in y
7.068 * [taylor]: Taking taylor expansion of x in y
7.068 * [taylor]: Taking taylor expansion of y in y
7.069 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.069 * [taylor]: Taking taylor expansion of 18.0 in x
7.069 * [taylor]: Taking taylor expansion of (* x y) in x
7.069 * [taylor]: Taking taylor expansion of x in x
7.069 * [taylor]: Taking taylor expansion of y in x
7.069 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.069 * [taylor]: Taking taylor expansion of 18.0 in x
7.069 * [taylor]: Taking taylor expansion of (* x y) in x
7.069 * [taylor]: Taking taylor expansion of x in x
7.069 * [taylor]: Taking taylor expansion of y in x
7.069 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.069 * [taylor]: Taking taylor expansion of 18.0 in y
7.069 * [taylor]: Taking taylor expansion of y in y
7.070 * [taylor]: Taking taylor expansion of 0 in y
7.072 * [taylor]: Taking taylor expansion of 0 in y
7.073 * [taylor]: Taking taylor expansion of 0 in y
7.074 * [approximate]: Taking taylor expansion of (/ 18.0 (* x y)) in (x y) around 0
7.074 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in y
7.074 * [taylor]: Taking taylor expansion of 18.0 in y
7.074 * [taylor]: Taking taylor expansion of (* x y) in y
7.074 * [taylor]: Taking taylor expansion of x in y
7.074 * [taylor]: Taking taylor expansion of y in y
7.075 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.075 * [taylor]: Taking taylor expansion of 18.0 in x
7.075 * [taylor]: Taking taylor expansion of (* x y) in x
7.075 * [taylor]: Taking taylor expansion of x in x
7.075 * [taylor]: Taking taylor expansion of y in x
7.075 * [taylor]: Taking taylor expansion of (/ 18.0 (* x y)) in x
7.075 * [taylor]: Taking taylor expansion of 18.0 in x
7.075 * [taylor]: Taking taylor expansion of (* x y) in x
7.075 * [taylor]: Taking taylor expansion of x in x
7.075 * [taylor]: Taking taylor expansion of y in x
7.075 * [taylor]: Taking taylor expansion of (/ 18.0 y) in y
7.075 * [taylor]: Taking taylor expansion of 18.0 in y
7.075 * [taylor]: Taking taylor expansion of y in y
7.076 * [taylor]: Taking taylor expansion of 0 in y
7.078 * [taylor]: Taking taylor expansion of 0 in y
7.079 * [taylor]: Taking taylor expansion of 0 in y
7.080 * * * [progress]: simplifying candidates
7.082 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* 27.0 (* k j)))
  (log1p (* 27.0 (* k j)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (+ (log 27.0) (+ (log k) (log j)))
  (+ (log 27.0) (log (* k j)))
  (log (* 27.0 (* k j)))
  (exp (* 27.0 (* k j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* 27.0 27.0) 27.0) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* 27.0 (* k j))) (cbrt (* 27.0 (* k j))))
  (cbrt (* 27.0 (* k j)))
  (* (* (* 27.0 (* k j)) (* 27.0 (* k j))) (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (sqrt (* 27.0 (* k j)))
  (* 27.0 k)
  (* (cbrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (* 27.0 (* k j))
  (expm1 (* (* x 18.0) y))
  (log1p (* (* x 18.0) y))
  (* (* x 18.0) y)
  (* (* x 18.0) y)
  (+ (+ (log x) (log 18.0)) (log y))
  (+ (log (* x 18.0)) (log y))
  (log (* (* x 18.0) y))
  (exp (* (* x 18.0) y))
  (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
  (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
  (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y)))
  (cbrt (* (* x 18.0) y))
  (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (sqrt (* (* x 18.0) y))
  (* (* x 18.0) (* (cbrt y) (cbrt y)))
  (* (* x 18.0) (sqrt y))
  (* (* x 18.0) 1)
  (* 18.0 y)
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 27.0 (* k j))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
  (* 18.0 (* x y))
7.085 * * [simplify]: iteration  0 :  141  enodes  (cost  971 )
7.113 * * [simplify]: iteration  1 :  354  enodes  (cost  943 )
7.263 * * [simplify]: iteration  2 :  1700  enodes  (cost  737 )
7.832 * * [simplify]: iteration  done :  5000  enodes  (cost  737 )
7.833 * [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)
7.834 * * * [progress]: adding candidates to table
8.210 * * [progress]: iteration 4 / 4
8.210 * * * [progress]: picking best candidate
8.246 * * * * [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)))>
8.246 * * * [progress]: localizing error
8.280 * * * [progress]: generating rewritten candidates
8.280 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
8.362 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
8.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
8.391 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
8.415 * * * [progress]: generating series expansions
8.415 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
8.415 * [approximate]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.415 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in t
8.415 * [taylor]: Taking taylor expansion of 18.0 in t
8.415 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.415 * [taylor]: Taking taylor expansion of t in t
8.415 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.415 * [taylor]: Taking taylor expansion of x in t
8.415 * [taylor]: Taking taylor expansion of (* z y) in t
8.415 * [taylor]: Taking taylor expansion of z in t
8.415 * [taylor]: Taking taylor expansion of y in t
8.415 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in z
8.415 * [taylor]: Taking taylor expansion of 18.0 in z
8.415 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.415 * [taylor]: Taking taylor expansion of t in z
8.415 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.415 * [taylor]: Taking taylor expansion of x in z
8.415 * [taylor]: Taking taylor expansion of (* z y) in z
8.415 * [taylor]: Taking taylor expansion of z in z
8.415 * [taylor]: Taking taylor expansion of y in z
8.415 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in y
8.415 * [taylor]: Taking taylor expansion of 18.0 in y
8.415 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.415 * [taylor]: Taking taylor expansion of t in y
8.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.416 * [taylor]: Taking taylor expansion of x in y
8.416 * [taylor]: Taking taylor expansion of (* z y) in y
8.416 * [taylor]: Taking taylor expansion of z in y
8.416 * [taylor]: Taking taylor expansion of y in y
8.416 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.416 * [taylor]: Taking taylor expansion of 18.0 in x
8.416 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.416 * [taylor]: Taking taylor expansion of t in x
8.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.416 * [taylor]: Taking taylor expansion of x in x
8.416 * [taylor]: Taking taylor expansion of (* z y) in x
8.416 * [taylor]: Taking taylor expansion of z in x
8.416 * [taylor]: Taking taylor expansion of y in x
8.416 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* x (* z y)))) in x
8.416 * [taylor]: Taking taylor expansion of 18.0 in x
8.416 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.416 * [taylor]: Taking taylor expansion of t in x
8.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.416 * [taylor]: Taking taylor expansion of x in x
8.416 * [taylor]: Taking taylor expansion of (* z y) in x
8.416 * [taylor]: Taking taylor expansion of z in x
8.416 * [taylor]: Taking taylor expansion of y in x
8.417 * [taylor]: Taking taylor expansion of 0 in y
8.417 * [taylor]: Taking taylor expansion of 0 in z
8.417 * [taylor]: Taking taylor expansion of 0 in t
8.418 * [taylor]: Taking taylor expansion of (* 18.0 (* t (* z y))) in y
8.418 * [taylor]: Taking taylor expansion of 18.0 in y
8.418 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.418 * [taylor]: Taking taylor expansion of t in y
8.418 * [taylor]: Taking taylor expansion of (* z y) in y
8.418 * [taylor]: Taking taylor expansion of z in y
8.418 * [taylor]: Taking taylor expansion of y in y
8.418 * [taylor]: Taking taylor expansion of 0 in z
8.418 * [taylor]: Taking taylor expansion of 0 in t
8.418 * [taylor]: Taking taylor expansion of 0 in z
8.418 * [taylor]: Taking taylor expansion of 0 in t
8.418 * [taylor]: Taking taylor expansion of 0 in t
8.420 * [taylor]: Taking taylor expansion of 0 in y
8.420 * [taylor]: Taking taylor expansion of 0 in z
8.420 * [taylor]: Taking taylor expansion of 0 in t
8.420 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.420 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.420 * [taylor]: Taking taylor expansion of 18.0 in t
8.420 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.420 * [taylor]: Taking taylor expansion of t in t
8.420 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.420 * [taylor]: Taking taylor expansion of x in t
8.421 * [taylor]: Taking taylor expansion of (* z y) in t
8.421 * [taylor]: Taking taylor expansion of z in t
8.421 * [taylor]: Taking taylor expansion of y in t
8.421 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.421 * [taylor]: Taking taylor expansion of 18.0 in z
8.421 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.421 * [taylor]: Taking taylor expansion of t in z
8.421 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.421 * [taylor]: Taking taylor expansion of x in z
8.421 * [taylor]: Taking taylor expansion of (* z y) in z
8.421 * [taylor]: Taking taylor expansion of z in z
8.421 * [taylor]: Taking taylor expansion of y in z
8.422 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.422 * [taylor]: Taking taylor expansion of 18.0 in y
8.422 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.422 * [taylor]: Taking taylor expansion of t in y
8.422 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.422 * [taylor]: Taking taylor expansion of x in y
8.422 * [taylor]: Taking taylor expansion of (* z y) in y
8.422 * [taylor]: Taking taylor expansion of z in y
8.422 * [taylor]: Taking taylor expansion of y in y
8.423 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.423 * [taylor]: Taking taylor expansion of 18.0 in x
8.423 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.423 * [taylor]: Taking taylor expansion of t in x
8.423 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.423 * [taylor]: Taking taylor expansion of x in x
8.423 * [taylor]: Taking taylor expansion of (* z y) in x
8.423 * [taylor]: Taking taylor expansion of z in x
8.423 * [taylor]: Taking taylor expansion of y in x
8.424 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.424 * [taylor]: Taking taylor expansion of 18.0 in x
8.424 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.424 * [taylor]: Taking taylor expansion of t in x
8.424 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.424 * [taylor]: Taking taylor expansion of x in x
8.424 * [taylor]: Taking taylor expansion of (* z y) in x
8.424 * [taylor]: Taking taylor expansion of z in x
8.424 * [taylor]: Taking taylor expansion of y in x
8.425 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.425 * [taylor]: Taking taylor expansion of 18.0 in y
8.425 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.425 * [taylor]: Taking taylor expansion of t in y
8.425 * [taylor]: Taking taylor expansion of (* z y) in y
8.425 * [taylor]: Taking taylor expansion of z in y
8.425 * [taylor]: Taking taylor expansion of y in y
8.426 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.426 * [taylor]: Taking taylor expansion of 18.0 in z
8.426 * [taylor]: Taking taylor expansion of (* t z) in z
8.426 * [taylor]: Taking taylor expansion of t in z
8.426 * [taylor]: Taking taylor expansion of z in z
8.426 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.426 * [taylor]: Taking taylor expansion of 18.0 in t
8.426 * [taylor]: Taking taylor expansion of t in t
8.428 * [taylor]: Taking taylor expansion of 0 in y
8.428 * [taylor]: Taking taylor expansion of 0 in z
8.429 * [taylor]: Taking taylor expansion of 0 in t
8.431 * [taylor]: Taking taylor expansion of 0 in y
8.431 * [taylor]: Taking taylor expansion of 0 in z
8.433 * [taylor]: Taking taylor expansion of 0 in z
8.433 * [taylor]: Taking taylor expansion of 0 in t
8.433 * [taylor]: Taking taylor expansion of 0 in t
8.436 * [taylor]: Taking taylor expansion of 0 in y
8.437 * [taylor]: Taking taylor expansion of 0 in z
8.437 * [taylor]: Taking taylor expansion of 0 in z
8.438 * [taylor]: Taking taylor expansion of 0 in z
8.438 * [taylor]: Taking taylor expansion of 0 in t
8.438 * [taylor]: Taking taylor expansion of 0 in t
8.438 * [taylor]: Taking taylor expansion of 0 in t
8.439 * [taylor]: Taking taylor expansion of 0 in t
8.439 * [approximate]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in (x y z t) around 0
8.439 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in t
8.439 * [taylor]: Taking taylor expansion of 18.0 in t
8.439 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in t
8.439 * [taylor]: Taking taylor expansion of t in t
8.439 * [taylor]: Taking taylor expansion of (* x (* z y)) in t
8.439 * [taylor]: Taking taylor expansion of x in t
8.439 * [taylor]: Taking taylor expansion of (* z y) in t
8.439 * [taylor]: Taking taylor expansion of z in t
8.439 * [taylor]: Taking taylor expansion of y in t
8.440 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in z
8.440 * [taylor]: Taking taylor expansion of 18.0 in z
8.440 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in z
8.440 * [taylor]: Taking taylor expansion of t in z
8.440 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.440 * [taylor]: Taking taylor expansion of x in z
8.440 * [taylor]: Taking taylor expansion of (* z y) in z
8.440 * [taylor]: Taking taylor expansion of z in z
8.440 * [taylor]: Taking taylor expansion of y in z
8.441 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in y
8.441 * [taylor]: Taking taylor expansion of 18.0 in y
8.441 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in y
8.441 * [taylor]: Taking taylor expansion of t in y
8.441 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.441 * [taylor]: Taking taylor expansion of x in y
8.441 * [taylor]: Taking taylor expansion of (* z y) in y
8.441 * [taylor]: Taking taylor expansion of z in y
8.441 * [taylor]: Taking taylor expansion of y in y
8.442 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.442 * [taylor]: Taking taylor expansion of 18.0 in x
8.442 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.442 * [taylor]: Taking taylor expansion of t in x
8.442 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.442 * [taylor]: Taking taylor expansion of x in x
8.442 * [taylor]: Taking taylor expansion of (* z y) in x
8.442 * [taylor]: Taking taylor expansion of z in x
8.442 * [taylor]: Taking taylor expansion of y in x
8.443 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* x (* z y)))) in x
8.443 * [taylor]: Taking taylor expansion of 18.0 in x
8.443 * [taylor]: Taking taylor expansion of (* t (* x (* z y))) in x
8.443 * [taylor]: Taking taylor expansion of t in x
8.443 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.443 * [taylor]: Taking taylor expansion of x in x
8.443 * [taylor]: Taking taylor expansion of (* z y) in x
8.443 * [taylor]: Taking taylor expansion of z in x
8.443 * [taylor]: Taking taylor expansion of y in x
8.444 * [taylor]: Taking taylor expansion of (/ 18.0 (* t (* z y))) in y
8.444 * [taylor]: Taking taylor expansion of 18.0 in y
8.444 * [taylor]: Taking taylor expansion of (* t (* z y)) in y
8.444 * [taylor]: Taking taylor expansion of t in y
8.444 * [taylor]: Taking taylor expansion of (* z y) in y
8.444 * [taylor]: Taking taylor expansion of z in y
8.444 * [taylor]: Taking taylor expansion of y in y
8.444 * [taylor]: Taking taylor expansion of (/ 18.0 (* t z)) in z
8.444 * [taylor]: Taking taylor expansion of 18.0 in z
8.445 * [taylor]: Taking taylor expansion of (* t z) in z
8.445 * [taylor]: Taking taylor expansion of t in z
8.445 * [taylor]: Taking taylor expansion of z in z
8.445 * [taylor]: Taking taylor expansion of (/ 18.0 t) in t
8.445 * [taylor]: Taking taylor expansion of 18.0 in t
8.445 * [taylor]: Taking taylor expansion of t in t
8.447 * [taylor]: Taking taylor expansion of 0 in y
8.447 * [taylor]: Taking taylor expansion of 0 in z
8.452 * [taylor]: Taking taylor expansion of 0 in t
8.455 * [taylor]: Taking taylor expansion of 0 in y
8.455 * [taylor]: Taking taylor expansion of 0 in z
8.456 * [taylor]: Taking taylor expansion of 0 in z
8.456 * [taylor]: Taking taylor expansion of 0 in t
8.456 * [taylor]: Taking taylor expansion of 0 in t
8.460 * [taylor]: Taking taylor expansion of 0 in y
8.460 * [taylor]: Taking taylor expansion of 0 in z
8.460 * [taylor]: Taking taylor expansion of 0 in z
8.461 * [taylor]: Taking taylor expansion of 0 in z
8.461 * [taylor]: Taking taylor expansion of 0 in t
8.461 * [taylor]: Taking taylor expansion of 0 in t
8.461 * [taylor]: Taking taylor expansion of 0 in t
8.462 * [taylor]: Taking taylor expansion of 0 in t
8.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
8.462 * [approximate]: Taking taylor expansion of (* 18.0 (* x (* z y))) in (x y z) around 0
8.462 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in z
8.463 * [taylor]: Taking taylor expansion of 18.0 in z
8.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.463 * [taylor]: Taking taylor expansion of x in z
8.463 * [taylor]: Taking taylor expansion of (* z y) in z
8.463 * [taylor]: Taking taylor expansion of z in z
8.463 * [taylor]: Taking taylor expansion of y in z
8.463 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in y
8.463 * [taylor]: Taking taylor expansion of 18.0 in y
8.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.463 * [taylor]: Taking taylor expansion of x in y
8.463 * [taylor]: Taking taylor expansion of (* z y) in y
8.463 * [taylor]: Taking taylor expansion of z in y
8.463 * [taylor]: Taking taylor expansion of y in y
8.463 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.463 * [taylor]: Taking taylor expansion of 18.0 in x
8.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.463 * [taylor]: Taking taylor expansion of x in x
8.463 * [taylor]: Taking taylor expansion of (* z y) in x
8.463 * [taylor]: Taking taylor expansion of z in x
8.463 * [taylor]: Taking taylor expansion of y in x
8.463 * [taylor]: Taking taylor expansion of (* 18.0 (* x (* z y))) in x
8.463 * [taylor]: Taking taylor expansion of 18.0 in x
8.463 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.463 * [taylor]: Taking taylor expansion of x in x
8.463 * [taylor]: Taking taylor expansion of (* z y) in x
8.463 * [taylor]: Taking taylor expansion of z in x
8.463 * [taylor]: Taking taylor expansion of y in x
8.463 * [taylor]: Taking taylor expansion of 0 in y
8.463 * [taylor]: Taking taylor expansion of 0 in z
8.464 * [taylor]: Taking taylor expansion of (* 18.0 (* z y)) in y
8.464 * [taylor]: Taking taylor expansion of 18.0 in y
8.464 * [taylor]: Taking taylor expansion of (* z y) in y
8.464 * [taylor]: Taking taylor expansion of z in y
8.464 * [taylor]: Taking taylor expansion of y in y
8.464 * [taylor]: Taking taylor expansion of 0 in z
8.465 * [taylor]: Taking taylor expansion of 0 in z
8.466 * [taylor]: Taking taylor expansion of 0 in y
8.466 * [taylor]: Taking taylor expansion of 0 in z
8.467 * [taylor]: Taking taylor expansion of (* 18.0 z) in z
8.467 * [taylor]: Taking taylor expansion of 18.0 in z
8.467 * [taylor]: Taking taylor expansion of z in z
8.467 * [approximate]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in (x y z) around 0
8.467 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in z
8.467 * [taylor]: Taking taylor expansion of 18.0 in z
8.467 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.467 * [taylor]: Taking taylor expansion of x in z
8.467 * [taylor]: Taking taylor expansion of (* z y) in z
8.467 * [taylor]: Taking taylor expansion of z in z
8.467 * [taylor]: Taking taylor expansion of y in z
8.468 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in y
8.468 * [taylor]: Taking taylor expansion of 18.0 in y
8.468 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.468 * [taylor]: Taking taylor expansion of x in y
8.468 * [taylor]: Taking taylor expansion of (* z y) in y
8.468 * [taylor]: Taking taylor expansion of z in y
8.468 * [taylor]: Taking taylor expansion of y in y
8.468 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.468 * [taylor]: Taking taylor expansion of 18.0 in x
8.468 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.468 * [taylor]: Taking taylor expansion of x in x
8.469 * [taylor]: Taking taylor expansion of (* z y) in x
8.469 * [taylor]: Taking taylor expansion of z in x
8.469 * [taylor]: Taking taylor expansion of y in x
8.469 * [taylor]: Taking taylor expansion of (/ 18.0 (* x (* z y))) in x
8.469 * [taylor]: Taking taylor expansion of 18.0 in x
8.469 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.469 * [taylor]: Taking taylor expansion of x in x
8.469 * [taylor]: Taking taylor expansion of (* z y) in x
8.469 * [taylor]: Taking taylor expansion of z in x
8.469 * [taylor]: Taking taylor expansion of y in x
8.469 * [taylor]: Taking taylor expansion of (/ 18.0 (* z y)) in y
8.470 * [taylor]: Taking taylor expansion of 18.0 in y
8.470 * [taylor]: Taking taylor expansion of (* z y) in y
8.470 * [taylor]: Taking taylor expansion of z in y
8.470 * [taylor]: Taking taylor expansion of y in y
8.470 * [taylor]: Taking taylor expansion of (/ 18.0 z) in z
8.470 * [taylor]: Taking taylor expansion of 18.0 in z
8.470 * [taylor]: Taking taylor expansion of z in z
8.471 * [taylor]: Taking taylor expansion of 0 in y
8.472 * [taylor]: Taking taylor expansion of 0 in z
8.474 * [taylor]: Taking taylor expansion of 0 in y
8.474 * [taylor]: Taking taylor expansion of 0 in z
8.474 * [taylor]: Taking taylor expansion of 0 in z
8.477 * [taylor]: Taking taylor expansion of 0 in y
8.477 * [taylor]: Taking taylor expansion of 0 in z
8.477 * [taylor]: Taking taylor expansion of 0 in z
8.477 * [taylor]: Taking taylor expansion of 0 in z
8.478 * [approximate]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in (x y z) around 0
8.478 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in z
8.478 * [taylor]: Taking taylor expansion of -18.0 in z
8.478 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.478 * [taylor]: Taking taylor expansion of x in z
8.478 * [taylor]: Taking taylor expansion of (* z y) in z
8.478 * [taylor]: Taking taylor expansion of z in z
8.478 * [taylor]: Taking taylor expansion of y in z
8.478 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in y
8.478 * [taylor]: Taking taylor expansion of -18.0 in y
8.479 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.479 * [taylor]: Taking taylor expansion of x in y
8.479 * [taylor]: Taking taylor expansion of (* z y) in y
8.479 * [taylor]: Taking taylor expansion of z in y
8.479 * [taylor]: Taking taylor expansion of y in y
8.479 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.479 * [taylor]: Taking taylor expansion of -18.0 in x
8.479 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.479 * [taylor]: Taking taylor expansion of x in x
8.479 * [taylor]: Taking taylor expansion of (* z y) in x
8.479 * [taylor]: Taking taylor expansion of z in x
8.479 * [taylor]: Taking taylor expansion of y in x
8.480 * [taylor]: Taking taylor expansion of (/ -18.0 (* x (* z y))) in x
8.480 * [taylor]: Taking taylor expansion of -18.0 in x
8.480 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.480 * [taylor]: Taking taylor expansion of x in x
8.480 * [taylor]: Taking taylor expansion of (* z y) in x
8.480 * [taylor]: Taking taylor expansion of z in x
8.480 * [taylor]: Taking taylor expansion of y in x
8.480 * [taylor]: Taking taylor expansion of (/ -18.0 (* z y)) in y
8.480 * [taylor]: Taking taylor expansion of -18.0 in y
8.480 * [taylor]: Taking taylor expansion of (* z y) in y
8.480 * [taylor]: Taking taylor expansion of z in y
8.480 * [taylor]: Taking taylor expansion of y in y
8.481 * [taylor]: Taking taylor expansion of (/ -18.0 z) in z
8.481 * [taylor]: Taking taylor expansion of -18.0 in z
8.481 * [taylor]: Taking taylor expansion of z in z
8.482 * [taylor]: Taking taylor expansion of 0 in y
8.482 * [taylor]: Taking taylor expansion of 0 in z
8.484 * [taylor]: Taking taylor expansion of 0 in y
8.484 * [taylor]: Taking taylor expansion of 0 in z
8.485 * [taylor]: Taking taylor expansion of 0 in z
8.487 * [taylor]: Taking taylor expansion of 0 in y
8.487 * [taylor]: Taking taylor expansion of 0 in z
8.487 * [taylor]: Taking taylor expansion of 0 in z
8.488 * [taylor]: Taking taylor expansion of 0 in z
8.488 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
8.489 * [approximate]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in (k j) around 0
8.489 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in j
8.489 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.489 * [taylor]: Taking taylor expansion of 27.0 in j
8.489 * [taylor]: Taking taylor expansion of (* j k) in j
8.489 * [taylor]: Taking taylor expansion of j in j
8.490 * [taylor]: Taking taylor expansion of k in j
8.490 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.490 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.490 * [taylor]: Taking taylor expansion of 27.0 in k
8.490 * [taylor]: Taking taylor expansion of (* j k) in k
8.490 * [taylor]: Taking taylor expansion of j in k
8.490 * [taylor]: Taking taylor expansion of k in k
8.490 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) (* j k)) in k
8.490 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.490 * [taylor]: Taking taylor expansion of 27.0 in k
8.491 * [taylor]: Taking taylor expansion of (* j k) in k
8.491 * [taylor]: Taking taylor expansion of j in k
8.491 * [taylor]: Taking taylor expansion of k in k
8.492 * [taylor]: Taking taylor expansion of 0 in j
8.492 * [taylor]: Taking taylor expansion of (* (sqrt 27.0) j) in j
8.492 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.492 * [taylor]: Taking taylor expansion of 27.0 in j
8.493 * [taylor]: Taking taylor expansion of j in j
8.495 * [taylor]: Taking taylor expansion of 0 in j
8.499 * [taylor]: Taking taylor expansion of 0 in j
8.502 * [taylor]: Taking taylor expansion of 0 in j
8.503 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.503 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.503 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.503 * [taylor]: Taking taylor expansion of 27.0 in j
8.504 * [taylor]: Taking taylor expansion of (* j k) in j
8.504 * [taylor]: Taking taylor expansion of j in j
8.504 * [taylor]: Taking taylor expansion of k in j
8.504 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.504 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.504 * [taylor]: Taking taylor expansion of 27.0 in k
8.505 * [taylor]: Taking taylor expansion of (* j k) in k
8.505 * [taylor]: Taking taylor expansion of j in k
8.505 * [taylor]: Taking taylor expansion of k in k
8.506 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.506 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.506 * [taylor]: Taking taylor expansion of 27.0 in k
8.506 * [taylor]: Taking taylor expansion of (* j k) in k
8.506 * [taylor]: Taking taylor expansion of j in k
8.506 * [taylor]: Taking taylor expansion of k in k
8.507 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.507 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.507 * [taylor]: Taking taylor expansion of 27.0 in j
8.508 * [taylor]: Taking taylor expansion of j in j
8.509 * [taylor]: Taking taylor expansion of 0 in j
8.512 * [taylor]: Taking taylor expansion of 0 in j
8.514 * [taylor]: Taking taylor expansion of 0 in j
8.516 * [approximate]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in (k j) around 0
8.516 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in j
8.517 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.517 * [taylor]: Taking taylor expansion of 27.0 in j
8.517 * [taylor]: Taking taylor expansion of (* j k) in j
8.517 * [taylor]: Taking taylor expansion of j in j
8.517 * [taylor]: Taking taylor expansion of k in j
8.518 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.518 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.518 * [taylor]: Taking taylor expansion of 27.0 in k
8.519 * [taylor]: Taking taylor expansion of (* j k) in k
8.519 * [taylor]: Taking taylor expansion of j in k
8.519 * [taylor]: Taking taylor expansion of k in k
8.519 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) (* j k)) in k
8.519 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.519 * [taylor]: Taking taylor expansion of 27.0 in k
8.520 * [taylor]: Taking taylor expansion of (* j k) in k
8.520 * [taylor]: Taking taylor expansion of j in k
8.520 * [taylor]: Taking taylor expansion of k in k
8.521 * [taylor]: Taking taylor expansion of (/ (sqrt 27.0) j) in j
8.521 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.521 * [taylor]: Taking taylor expansion of 27.0 in j
8.521 * [taylor]: Taking taylor expansion of j in j
8.523 * [taylor]: Taking taylor expansion of 0 in j
8.525 * [taylor]: Taking taylor expansion of 0 in j
8.528 * [taylor]: Taking taylor expansion of 0 in j
8.530 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
8.530 * [approximate]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.530 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in j
8.530 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.530 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.531 * [taylor]: Taking taylor expansion of 27.0 in j
8.531 * [taylor]: Taking taylor expansion of (* k j) in j
8.531 * [taylor]: Taking taylor expansion of k in j
8.531 * [taylor]: Taking taylor expansion of j in j
8.531 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.531 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.531 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.531 * [taylor]: Taking taylor expansion of 27.0 in k
8.532 * [taylor]: Taking taylor expansion of (* k j) in k
8.532 * [taylor]: Taking taylor expansion of k in k
8.532 * [taylor]: Taking taylor expansion of j in k
8.532 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) (* k j)) in k
8.532 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.532 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.532 * [taylor]: Taking taylor expansion of 27.0 in k
8.533 * [taylor]: Taking taylor expansion of (* k j) in k
8.533 * [taylor]: Taking taylor expansion of k in k
8.533 * [taylor]: Taking taylor expansion of j in k
8.534 * [taylor]: Taking taylor expansion of 0 in j
8.536 * [taylor]: Taking taylor expansion of (* (pow (sqrt 27.0) 2) j) in j
8.536 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.536 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.536 * [taylor]: Taking taylor expansion of 27.0 in j
8.542 * [taylor]: Taking taylor expansion of j in j
8.546 * [taylor]: Taking taylor expansion of 0 in j
8.552 * [taylor]: Taking taylor expansion of 0 in j
8.558 * [taylor]: Taking taylor expansion of 0 in j
8.559 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.559 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.559 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.559 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.559 * [taylor]: Taking taylor expansion of 27.0 in j
8.560 * [taylor]: Taking taylor expansion of (* k j) in j
8.560 * [taylor]: Taking taylor expansion of k in j
8.560 * [taylor]: Taking taylor expansion of j in j
8.562 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.562 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.562 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.562 * [taylor]: Taking taylor expansion of 27.0 in k
8.563 * [taylor]: Taking taylor expansion of (* k j) in k
8.563 * [taylor]: Taking taylor expansion of k in k
8.563 * [taylor]: Taking taylor expansion of j in k
8.564 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.564 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.564 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.564 * [taylor]: Taking taylor expansion of 27.0 in k
8.565 * [taylor]: Taking taylor expansion of (* k j) in k
8.565 * [taylor]: Taking taylor expansion of k in k
8.565 * [taylor]: Taking taylor expansion of j in k
8.567 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.567 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.567 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.567 * [taylor]: Taking taylor expansion of 27.0 in j
8.568 * [taylor]: Taking taylor expansion of j in j
8.572 * [taylor]: Taking taylor expansion of 0 in j
8.576 * [taylor]: Taking taylor expansion of 0 in j
8.581 * [taylor]: Taking taylor expansion of 0 in j
8.584 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in (k j) around 0
8.584 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in j
8.584 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.584 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.584 * [taylor]: Taking taylor expansion of 27.0 in j
8.585 * [taylor]: Taking taylor expansion of (* k j) in j
8.585 * [taylor]: Taking taylor expansion of k in j
8.585 * [taylor]: Taking taylor expansion of j in j
8.587 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.587 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.587 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.587 * [taylor]: Taking taylor expansion of 27.0 in k
8.587 * [taylor]: Taking taylor expansion of (* k j) in k
8.587 * [taylor]: Taking taylor expansion of k in k
8.587 * [taylor]: Taking taylor expansion of j in k
8.589 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) (* k j)) in k
8.589 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in k
8.589 * [taylor]: Taking taylor expansion of (sqrt 27.0) in k
8.589 * [taylor]: Taking taylor expansion of 27.0 in k
8.590 * [taylor]: Taking taylor expansion of (* k j) in k
8.590 * [taylor]: Taking taylor expansion of k in k
8.590 * [taylor]: Taking taylor expansion of j in k
8.592 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 27.0) 2) j) in j
8.592 * [taylor]: Taking taylor expansion of (pow (sqrt 27.0) 2) in j
8.592 * [taylor]: Taking taylor expansion of (sqrt 27.0) in j
8.592 * [taylor]: Taking taylor expansion of 27.0 in j
8.592 * [taylor]: Taking taylor expansion of j in j
8.597 * [taylor]: Taking taylor expansion of 0 in j
8.601 * [taylor]: Taking taylor expansion of 0 in j
8.605 * [taylor]: Taking taylor expansion of 0 in j
8.608 * * * [progress]: simplifying candidates
8.610 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
  (+ (+ (+ (log (* x 18.0)) (log y)) (log z)) (log t))
  (+ (+ (log (* (* x 18.0) y)) (log z)) (log t))
  (+ (log (* (* (* x 18.0) y) z)) (log t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z)) (* (* t t) t))
  (* (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z)) (* (* t t) t))
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* (* (* x 18.0) y) z) t) (* (* (* (* x 18.0) y) z) t)) (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* (* x 18.0) y) z) 1)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (+ (+ (+ (log x) (log 18.0)) (log y)) (log z))
  (+ (+ (log (* x 18.0)) (log y)) (log z))
  (+ (log (* (* x 18.0) y)) (log z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (* (* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y)) (* (* z z) z))
  (* (* (* (* (* x 18.0) y) (* (* x 18.0) y)) (* (* x 18.0) y)) (* (* z z) z))
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (* (* (* (* (* x 18.0) y) z) (* (* (* x 18.0) y) z)) (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* (* x 18.0) y) 1)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* k j))
  (* (sqrt 27.0) (* k j))
  (+ (log (sqrt 27.0)) (+ (log k) (log j)))
  (+ (log (sqrt 27.0)) (log (* k j)))
  (log (* (sqrt 27.0) (* k j)))
  (exp (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j)))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j)))
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* k j))
  (expm1 (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (log1p (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (+ (log k) (log j))))
  (+ (log (sqrt 27.0)) (+ (log (sqrt 27.0)) (log (* k j))))
  (+ (log (sqrt 27.0)) (log (* (sqrt 27.0) (* k j))))
  (log (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (exp (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k k) k) (* (* j j) j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* k j) (* k j)) (* k j))))
  (* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* (sqrt 27.0) (* k j)) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* k j))))
  (* (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
  (cbrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (* (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))) (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (sqrt (* (sqrt 27.0) (* (sqrt 27.0) (* k j))))
  (* (sqrt 27.0) (sqrt 27.0))
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
  0
  (* 18.0 (* t (* x (* z y))))
  (* 18.0 (* t (* x (* z y))))
  0
  (* 18.0 (* x (* z y)))
  (* 18.0 (* x (* z y)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
  (* (pow (sqrt 27.0) 2) (* j k))
8.614 * * [simplify]: iteration  0 :  154  enodes  (cost  1208 )
8.646 * * [simplify]: iteration  1 :  402  enodes  (cost  1050 )
8.787 * * [simplify]: iteration  2 :  1800  enodes  (cost  828 )
9.299 * * [simplify]: iteration  done :  5001  enodes  (cost  828 )
9.299 * [simplify]: Simplified to:
   (expm1 (* (* (* (* x 18.0) y) z) t))
  (log1p (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (log (* (* (* (* x 18.0) y) z) t))
  (exp (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (* (cbrt (* (* (* (* x 18.0) y) z) t)) (cbrt (* (* (* (* x 18.0) y) z) t)))
  (cbrt (* (* (* (* x 18.0) y) z) t))
  (pow (* (* (* (* x 18.0) y) z) t) 3)
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (sqrt (* (* (* (* x 18.0) y) z) t))
  (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t)))
  (* (* (* (* x 18.0) y) z) (sqrt t))
  (* (* (* x 18.0) y) z)
  (* z t)
  (expm1 (* (* (* x 18.0) y) z))
  (log1p (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (log (* (* (* x 18.0) y) z))
  (exp (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (pow (* (* (* x 18.0) y) z) 3)
  (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z)))
  (cbrt (* (* (* x 18.0) y) z))
  (pow (* (* (* x 18.0) y) z) 3)
  (sqrt (* (* (* x 18.0) y) z))
  (sqrt (* (* (* x 18.0) y) z))
  (* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))
  (* (* (* x 18.0) y) (sqrt z))
  (* (* x 18.0) y)
  (* y z)
  (expm1 (* (sqrt 27.0) (* k j)))
  (log1p (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (log (* (sqrt 27.0) (* j k)))
  (exp (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (pow (* (sqrt 27.0) (* j k)) 3)
  (* (cbrt (* (sqrt 27.0) (* k j))) (cbrt (* (sqrt 27.0) (* k j))))
  (cbrt (* (sqrt 27.0) (* k j)))
  (pow (* (sqrt 27.0) (* j k)) 3)
  (sqrt (* (sqrt 27.0) (* k j)))
  (sqrt (* (sqrt 27.0) (* k j)))
  (* (sqrt 27.0) k)
  (* (cbrt (sqrt 27.0)) (* k j))
  (* (sqrt (cbrt 27.0)) (* k j))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (* (sqrt (sqrt 27.0)) (* k j))
  (* (sqrt 27.0) (* j k))
  (expm1 (* (* j k) 27.0))
  (log1p (* (* j k) 27.0))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (log (* (* j k) 27.0))
  (exp (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (pow (* (* j k) 27.0) 3)
  (* (cbrt (* (* j k) 27.0)) (cbrt (* (* j k) 27.0)))
  (cbrt (* (* j k) 27.0))
  (pow (* (* j k) 27.0) 3)
  (sqrt (* (* j k) 27.0))
  (sqrt (* (* j k) 27.0))
  27.0
  (* (cbrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (cbrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  (* (sqrt (sqrt 27.0)) (* (sqrt 27.0) (* k j)))
  (* (* j k) 27.0)
  0
  (* (* (* (* x 18.0) y) z) t)
  (* (* (* (* x 18.0) y) z) t)
  0
  (* (* (* x 18.0) y) z)
  (* (* (* x 18.0) y) z)
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (sqrt 27.0) (* j k))
  (* (* j k) 27.0)
  (* (* j k) 27.0)
  (* (* j k) 27.0)
9.300 * * * [progress]: adding candidates to table
9.743 * [progress]: [Phase 3 of 3] Extracting.
9.743 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
9.755 * * * [regime-changes]: Trying 15 branch expressions: ((* j 27.0) (* (* j 27.0) k) (* b c) (* a 4.0) (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) k j i c b a t z y x)
9.755 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
9.838 * * * * [regimes]: Trying to branch on (* j 27.0) from (#<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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))>)
9.864 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
9.923 * * * * [regimes]: Trying to branch on (* (* j 27.0) k) from (#<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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))>)
9.952 * * * * [regimes]: Trying to branch on (* b c) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.011 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.091 * * * * [regimes]: Trying to branch on (* a 4.0) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.150 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.223 * * * * [regimes]: Trying to branch on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))>)
10.255 * * * * [regimes]: Trying to branch on k from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.322 * * * * [regimes]: Trying to branch on j from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.406 * * * * [regimes]: Trying to branch on i from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.490 * * * * [regimes]: Trying to branch on c from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.556 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.618 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.697 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.768 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.837 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.914 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.985 * * * [regime]: Found split indices: #<option (#s(si 5 13) #s(si 1 242) #s(si 5 255))>
10.988 * [binary-search]: Only using regimes for bounds on (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) and (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.988 * [regimes]: Found splitpoints: (#s(sp 5 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) #s(sp 1 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300) #s(sp 5 (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) +nan.0)) , with alts (#<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt (sqrt 27.0)) (* (sqrt (sqrt 27.0)) (* k j)))) 1)))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x 18.0) (* z y)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (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) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* x (* 18.0 y)) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))> #<alt (λ (x y z t a b c i j k) (- (- (+ (- (* (* (* (* (cbrt (* (* x 18.0) y)) (cbrt (* (* x 18.0) y))) (cbrt (* (* x 18.0) y))) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k))))>)
10.988 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (if (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (pow (* (sqrt 27.0) (* (sqrt 27.0) (* k j))) 1)) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k))))))
10.989 * * [simplify]: iteration  0 :  48  enodes  (cost  145 )
10.991 * * [simplify]: iteration  1 :  72  enodes  (cost  118 )
10.993 * * [simplify]: iteration  done :  72  enodes  (cost  118 )
10.993 * [simplify]: Simplified to:
   (if (or (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) -inf.0) (not (<= (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) 2.530535503433688e+300))) (fma (* (* t y) (* z 18.0)) x (- (* b c) (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))) (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (sqrt 27.0) (* (sqrt 27.0) (* k j)))))
13.447 * [regime-testing]: Baseline error score: 5.135098724171853
13.448 * [regime-testing]: Oracle error score: 0.04419424615631041
13.449 * [regime-testing]: End program error score: 0.948528251228971
13.499 * [regime-testing]: Target error score: 1.451494829634529