24.546 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.016 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- 1.0 (* (- 1.0 y) z)))
0.019 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.020 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.022 * * [simplify]: iteration  2 :  34  enodes  (cost  9 )
0.027 * * [simplify]: iteration  3 :  77  enodes  (cost  9 )
0.042 * * [simplify]: iteration  4 :  174  enodes  (cost  9 )
0.080 * * [simplify]: iteration  5 :  258  enodes  (cost  9 )
0.146 * * [simplify]: iteration  6 :  351  enodes  (cost  9 )
0.220 * * [simplify]: iteration  7 :  413  enodes  (cost  9 )
0.336 * * [simplify]: iteration  8 :  585  enodes  (cost  9 )
0.464 * * [simplify]: iteration  9 :  664  enodes  (cost  9 )
0.632 * * [simplify]: iteration  10 :  775  enodes  (cost  9 )
0.900 * * [simplify]: iteration  11 :  1052  enodes  (cost  9 )
1.794 * * [simplify]: iteration  12 :  1867  enodes  (cost  9 )
2.216 * * [simplify]: iteration  13 :  2105  enodes  (cost  9 )
2.695 * * [simplify]: iteration  14 :  2264  enodes  (cost  9 )
3.102 * * [simplify]: iteration  done :  2264  enodes  (cost  9 )
3.102 * [simplify]: Simplified to:
   (* x (- 1.0 (* (- 1.0 y) z)))
3.103 * * [progress]: iteration 1 / 4
3.103 * * * [progress]: picking best candidate
3.104 * * * * [pick]: Picked  #<alt (λ (x y z) (* x (- 1.0 (* (- 1.0 y) z))))>
3.104 * * * [progress]: localizing error
3.110 * * * [progress]: generating rewritten candidates
3.111 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.118 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
3.129 * * * [progress]: generating series expansions
3.129 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.129 * [approximate]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in (x y z) around 0
3.129 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in z
3.129 * [taylor]: Taking taylor expansion of x in z
3.129 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z
3.129 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
3.129 * [taylor]: Taking taylor expansion of (* z y) in z
3.129 * [taylor]: Taking taylor expansion of z in z
3.129 * [taylor]: Taking taylor expansion of y in z
3.129 * [taylor]: Taking taylor expansion of 1.0 in z
3.129 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.129 * [taylor]: Taking taylor expansion of 1.0 in z
3.129 * [taylor]: Taking taylor expansion of z in z
3.129 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in y
3.129 * [taylor]: Taking taylor expansion of x in y
3.129 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
3.129 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
3.129 * [taylor]: Taking taylor expansion of (* z y) in y
3.129 * [taylor]: Taking taylor expansion of z in y
3.129 * [taylor]: Taking taylor expansion of y in y
3.130 * [taylor]: Taking taylor expansion of 1.0 in y
3.130 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
3.130 * [taylor]: Taking taylor expansion of 1.0 in y
3.130 * [taylor]: Taking taylor expansion of z in y
3.130 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x
3.130 * [taylor]: Taking taylor expansion of x in x
3.130 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x
3.130 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
3.130 * [taylor]: Taking taylor expansion of (* z y) in x
3.130 * [taylor]: Taking taylor expansion of z in x
3.130 * [taylor]: Taking taylor expansion of y in x
3.130 * [taylor]: Taking taylor expansion of 1.0 in x
3.130 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
3.130 * [taylor]: Taking taylor expansion of 1.0 in x
3.130 * [taylor]: Taking taylor expansion of z in x
3.130 * [taylor]: Taking taylor expansion of (* x (- (+ (* z y) 1.0) (* 1.0 z))) in x
3.130 * [taylor]: Taking taylor expansion of x in x
3.130 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in x
3.130 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
3.130 * [taylor]: Taking taylor expansion of (* z y) in x
3.130 * [taylor]: Taking taylor expansion of z in x
3.130 * [taylor]: Taking taylor expansion of y in x
3.130 * [taylor]: Taking taylor expansion of 1.0 in x
3.130 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
3.130 * [taylor]: Taking taylor expansion of 1.0 in x
3.130 * [taylor]: Taking taylor expansion of z in x
3.130 * [taylor]: Taking taylor expansion of 0 in y
3.130 * [taylor]: Taking taylor expansion of 0 in z
3.132 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in y
3.132 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
3.132 * [taylor]: Taking taylor expansion of (* z y) in y
3.132 * [taylor]: Taking taylor expansion of z in y
3.132 * [taylor]: Taking taylor expansion of y in y
3.132 * [taylor]: Taking taylor expansion of 1.0 in y
3.132 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
3.132 * [taylor]: Taking taylor expansion of 1.0 in y
3.132 * [taylor]: Taking taylor expansion of z in y
3.132 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z
3.132 * [taylor]: Taking taylor expansion of 1.0 in z
3.132 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.132 * [taylor]: Taking taylor expansion of 1.0 in z
3.132 * [taylor]: Taking taylor expansion of z in z
3.133 * [taylor]: Taking taylor expansion of 0 in z
3.135 * [taylor]: Taking taylor expansion of 0 in y
3.135 * [taylor]: Taking taylor expansion of 0 in z
3.136 * [taylor]: Taking taylor expansion of z in z
3.136 * [taylor]: Taking taylor expansion of 0 in z
3.141 * [taylor]: Taking taylor expansion of 0 in y
3.141 * [taylor]: Taking taylor expansion of 0 in z
3.141 * [taylor]: Taking taylor expansion of 0 in z
3.142 * [taylor]: Taking taylor expansion of 0 in z
3.142 * [taylor]: Taking taylor expansion of 0 in z
3.143 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in (x y z) around 0
3.143 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in z
3.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z
3.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
3.143 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.143 * [taylor]: Taking taylor expansion of (* z y) in z
3.143 * [taylor]: Taking taylor expansion of z in z
3.143 * [taylor]: Taking taylor expansion of y in z
3.143 * [taylor]: Taking taylor expansion of 1.0 in z
3.143 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.143 * [taylor]: Taking taylor expansion of 1.0 in z
3.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.143 * [taylor]: Taking taylor expansion of z in z
3.144 * [taylor]: Taking taylor expansion of x in z
3.145 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in y
3.145 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
3.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
3.145 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.145 * [taylor]: Taking taylor expansion of (* z y) in y
3.145 * [taylor]: Taking taylor expansion of z in y
3.145 * [taylor]: Taking taylor expansion of y in y
3.145 * [taylor]: Taking taylor expansion of 1.0 in y
3.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.145 * [taylor]: Taking taylor expansion of 1.0 in y
3.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.145 * [taylor]: Taking taylor expansion of z in y
3.145 * [taylor]: Taking taylor expansion of x in y
3.145 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x
3.145 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x
3.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
3.145 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.145 * [taylor]: Taking taylor expansion of (* z y) in x
3.145 * [taylor]: Taking taylor expansion of z in x
3.145 * [taylor]: Taking taylor expansion of y in x
3.145 * [taylor]: Taking taylor expansion of 1.0 in x
3.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.145 * [taylor]: Taking taylor expansion of 1.0 in x
3.145 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.145 * [taylor]: Taking taylor expansion of z in x
3.145 * [taylor]: Taking taylor expansion of x in x
3.146 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) x) in x
3.146 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in x
3.146 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
3.146 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.146 * [taylor]: Taking taylor expansion of (* z y) in x
3.146 * [taylor]: Taking taylor expansion of z in x
3.146 * [taylor]: Taking taylor expansion of y in x
3.146 * [taylor]: Taking taylor expansion of 1.0 in x
3.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.146 * [taylor]: Taking taylor expansion of 1.0 in x
3.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.146 * [taylor]: Taking taylor expansion of z in x
3.146 * [taylor]: Taking taylor expansion of x in x
3.146 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in y
3.146 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
3.146 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.146 * [taylor]: Taking taylor expansion of (* z y) in y
3.146 * [taylor]: Taking taylor expansion of z in y
3.146 * [taylor]: Taking taylor expansion of y in y
3.147 * [taylor]: Taking taylor expansion of 1.0 in y
3.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.147 * [taylor]: Taking taylor expansion of 1.0 in y
3.147 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.147 * [taylor]: Taking taylor expansion of z in y
3.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.147 * [taylor]: Taking taylor expansion of z in z
3.149 * [taylor]: Taking taylor expansion of 0 in y
3.150 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z
3.150 * [taylor]: Taking taylor expansion of 1.0 in z
3.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.150 * [taylor]: Taking taylor expansion of 1.0 in z
3.150 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.150 * [taylor]: Taking taylor expansion of z in z
3.155 * [taylor]: Taking taylor expansion of 0 in y
3.155 * [taylor]: Taking taylor expansion of 0 in z
3.156 * [taylor]: Taking taylor expansion of 0 in z
3.163 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in (x y z) around 0
3.164 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in z
3.164 * [taylor]: Taking taylor expansion of -1 in z
3.164 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in z
3.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z
3.164 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
3.164 * [taylor]: Taking taylor expansion of (* z y) in z
3.164 * [taylor]: Taking taylor expansion of z in z
3.164 * [taylor]: Taking taylor expansion of y in z
3.164 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
3.164 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.164 * [taylor]: Taking taylor expansion of 1.0 in z
3.164 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.164 * [taylor]: Taking taylor expansion of z in z
3.164 * [taylor]: Taking taylor expansion of 1.0 in z
3.164 * [taylor]: Taking taylor expansion of x in z
3.165 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in y
3.165 * [taylor]: Taking taylor expansion of -1 in y
3.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in y
3.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
3.165 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.165 * [taylor]: Taking taylor expansion of (* z y) in y
3.165 * [taylor]: Taking taylor expansion of z in y
3.165 * [taylor]: Taking taylor expansion of y in y
3.165 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
3.165 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.165 * [taylor]: Taking taylor expansion of 1.0 in y
3.165 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.165 * [taylor]: Taking taylor expansion of z in y
3.166 * [taylor]: Taking taylor expansion of 1.0 in y
3.166 * [taylor]: Taking taylor expansion of x in y
3.166 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x
3.166 * [taylor]: Taking taylor expansion of -1 in x
3.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x
3.166 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x
3.166 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.166 * [taylor]: Taking taylor expansion of (* z y) in x
3.166 * [taylor]: Taking taylor expansion of z in x
3.166 * [taylor]: Taking taylor expansion of y in x
3.166 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x
3.166 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.166 * [taylor]: Taking taylor expansion of 1.0 in x
3.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.166 * [taylor]: Taking taylor expansion of z in x
3.166 * [taylor]: Taking taylor expansion of 1.0 in x
3.166 * [taylor]: Taking taylor expansion of x in x
3.166 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x)) in x
3.166 * [taylor]: Taking taylor expansion of -1 in x
3.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) x) in x
3.166 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in x
3.166 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
3.166 * [taylor]: Taking taylor expansion of (* z y) in x
3.166 * [taylor]: Taking taylor expansion of z in x
3.166 * [taylor]: Taking taylor expansion of y in x
3.166 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in x
3.166 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
3.166 * [taylor]: Taking taylor expansion of 1.0 in x
3.166 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.166 * [taylor]: Taking taylor expansion of z in x
3.166 * [taylor]: Taking taylor expansion of 1.0 in x
3.167 * [taylor]: Taking taylor expansion of x in x
3.167 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in y
3.167 * [taylor]: Taking taylor expansion of -1 in y
3.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in y
3.167 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
3.167 * [taylor]: Taking taylor expansion of (* z y) in y
3.167 * [taylor]: Taking taylor expansion of z in y
3.167 * [taylor]: Taking taylor expansion of y in y
3.167 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in y
3.167 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
3.167 * [taylor]: Taking taylor expansion of 1.0 in y
3.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.167 * [taylor]: Taking taylor expansion of z in y
3.168 * [taylor]: Taking taylor expansion of 1.0 in y
3.168 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.168 * [taylor]: Taking taylor expansion of -1 in z
3.168 * [taylor]: Taking taylor expansion of z in z
3.170 * [taylor]: Taking taylor expansion of 0 in y
3.171 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z
3.171 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
3.171 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.171 * [taylor]: Taking taylor expansion of 1.0 in z
3.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.171 * [taylor]: Taking taylor expansion of z in z
3.171 * [taylor]: Taking taylor expansion of 1.0 in z
3.176 * [taylor]: Taking taylor expansion of 0 in y
3.176 * [taylor]: Taking taylor expansion of 0 in z
3.177 * [taylor]: Taking taylor expansion of 0 in z
3.180 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
3.180 * [approximate]: Taking taylor expansion of (* (- 1.0 y) z) in (y z) around 0
3.180 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z
3.180 * [taylor]: Taking taylor expansion of (- 1.0 y) in z
3.180 * [taylor]: Taking taylor expansion of 1.0 in z
3.180 * [taylor]: Taking taylor expansion of y in z
3.180 * [taylor]: Taking taylor expansion of z in z
3.180 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
3.180 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.180 * [taylor]: Taking taylor expansion of 1.0 in y
3.180 * [taylor]: Taking taylor expansion of y in y
3.180 * [taylor]: Taking taylor expansion of z in y
3.180 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y
3.180 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.180 * [taylor]: Taking taylor expansion of 1.0 in y
3.180 * [taylor]: Taking taylor expansion of y in y
3.180 * [taylor]: Taking taylor expansion of z in y
3.181 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
3.181 * [taylor]: Taking taylor expansion of 1.0 in z
3.181 * [taylor]: Taking taylor expansion of z in z
3.182 * [taylor]: Taking taylor expansion of (- z) in z
3.182 * [taylor]: Taking taylor expansion of z in z
3.184 * [taylor]: Taking taylor expansion of 0 in z
3.186 * [taylor]: Taking taylor expansion of 0 in z
3.188 * [taylor]: Taking taylor expansion of 0 in z
3.188 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in (y z) around 0
3.188 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in z
3.188 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z
3.188 * [taylor]: Taking taylor expansion of 1.0 in z
3.188 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.189 * [taylor]: Taking taylor expansion of y in z
3.189 * [taylor]: Taking taylor expansion of z in z
3.189 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
3.189 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.189 * [taylor]: Taking taylor expansion of 1.0 in y
3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.189 * [taylor]: Taking taylor expansion of y in y
3.189 * [taylor]: Taking taylor expansion of z in y
3.190 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) z) in y
3.190 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.190 * [taylor]: Taking taylor expansion of 1.0 in y
3.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.190 * [taylor]: Taking taylor expansion of y in y
3.190 * [taylor]: Taking taylor expansion of z in y
3.190 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.190 * [taylor]: Taking taylor expansion of -1 in z
3.190 * [taylor]: Taking taylor expansion of z in z
3.192 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.192 * [taylor]: Taking taylor expansion of 1.0 in z
3.192 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.192 * [taylor]: Taking taylor expansion of z in z
3.194 * [taylor]: Taking taylor expansion of 0 in z
3.196 * [taylor]: Taking taylor expansion of 0 in z
3.198 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in (y z) around 0
3.198 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z
3.198 * [taylor]: Taking taylor expansion of -1 in z
3.198 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
3.198 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
3.198 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.198 * [taylor]: Taking taylor expansion of y in z
3.198 * [taylor]: Taking taylor expansion of 1.0 in z
3.198 * [taylor]: Taking taylor expansion of z in z
3.198 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y
3.198 * [taylor]: Taking taylor expansion of -1 in y
3.198 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
3.198 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.198 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.198 * [taylor]: Taking taylor expansion of y in y
3.199 * [taylor]: Taking taylor expansion of 1.0 in y
3.199 * [taylor]: Taking taylor expansion of z in y
3.199 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in y
3.199 * [taylor]: Taking taylor expansion of -1 in y
3.199 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y
3.199 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
3.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.199 * [taylor]: Taking taylor expansion of y in y
3.199 * [taylor]: Taking taylor expansion of 1.0 in y
3.199 * [taylor]: Taking taylor expansion of z in y
3.200 * [taylor]: Taking taylor expansion of (/ -1 z) in z
3.200 * [taylor]: Taking taylor expansion of -1 in z
3.200 * [taylor]: Taking taylor expansion of z in z
3.201 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
3.201 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
3.201 * [taylor]: Taking taylor expansion of 1.0 in z
3.201 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.201 * [taylor]: Taking taylor expansion of z in z
3.204 * [taylor]: Taking taylor expansion of 0 in z
3.207 * [taylor]: Taking taylor expansion of 0 in z
3.209 * * * [progress]: simplifying candidates
3.210 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- 1.0 (* (- 1.0 y) z)))
  (+ (log x) (log (- 1.0 (* (- 1.0 y) z))))
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (exp (* x (- 1.0 (* (- 1.0 y) z))))
  (* (* (* x x) x) (* (* (- 1.0 (* (- 1.0 y) z)) (- 1.0 (* (- 1.0 y) z))) (- 1.0 (* (- 1.0 y) z))))
  (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))))
  (cbrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (* (* x (- 1.0 (* (- 1.0 y) z))) (* x (- 1.0 (* (- 1.0 y) z)))) (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1.0)
  (* x (- (* (- 1.0 y) z)))
  (* x 1.0)
  (* x (- (* (- 1.0 y) z)))
  (* 1.0 x)
  (* (- (* (- 1.0 y) z)) x)
  (* 1.0 x)
  (* (- (* (- 1.0 y) z)) x)
  (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
  (* x (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1)
  (* (cbrt x) (- 1.0 (* (- 1.0 y) z)))
  (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))
  (* x (- 1.0 (* (- 1.0 y) z)))
  (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)))
  (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))))
  (* (- 1.0 y) z)
  (+ (log (- 1.0 y)) (log z))
  (log (* (- 1.0 y) z))
  (exp (* (- 1.0 y) z))
  (* (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y)) (* (* z z) z))
  (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z)))
  (cbrt (* (- 1.0 y) z))
  (* (* (* (- 1.0 y) z) (* (- 1.0 y) z)) (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (- 1.0 y) (* (cbrt z) (cbrt z)))
  (* (- 1.0 y) (sqrt z))
  (* (- 1.0 y) 1)
  (* (cbrt (- 1.0 y)) z)
  (* (sqrt (- 1.0 y)) z)
  (* (- 1.0 y) z)
  (* (- (sqrt 1.0) (sqrt y)) z)
  (* (- 1.0 y) z)
  (* (- (pow 1.0 3) (pow y 3)) z)
  (* (- (* 1.0 1.0) (* y y)) z)
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
  (- (* 1.0 z) (* z y))
3.212 * * [simplify]: iteration  0 :  93  enodes  (cost  536 )
3.229 * * [simplify]: iteration  1 :  212  enodes  (cost  518 )
3.278 * * [simplify]: iteration  2 :  638  enodes  (cost  458 )
3.941 * * [simplify]: iteration  3 :  2416  enodes  (cost  450 )
4.936 * * [simplify]: iteration  done :  5000  enodes  (cost  450 )
4.937 * [simplify]: Simplified to:
   (* (- 1.0 (* (- 1.0 y) z)) x)
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (log (* x (- 1.0 (* (- 1.0 y) z))))
  (exp (* x (- 1.0 (* (- 1.0 y) z))))
  (pow (* x (- 1.0 (* (- 1.0 y) z))) 3)
  (* (cbrt (* x (- 1.0 (* (- 1.0 y) z)))) (cbrt (* x (- 1.0 (* (- 1.0 y) z)))))
  (cbrt (* x (- 1.0 (* (- 1.0 y) z))))
  (pow (* x (- 1.0 (* (- 1.0 y) z))) 3)
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (sqrt (* x (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* (sqrt x) (sqrt (- 1.0 (* (- 1.0 y) z))))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x 1.0)
  (* (* x z) (- y 1.0))
  (* x (* (cbrt (- 1.0 (* (- 1.0 y) z))) (cbrt (- 1.0 (* (- 1.0 y) z)))))
  (* x (sqrt (- 1.0 (* (- 1.0 y) z))))
  x
  (* (cbrt x) (- 1.0 (* (- 1.0 y) z)))
  (* (sqrt x) (- 1.0 (* (- 1.0 y) z)))
  (* (- 1.0 (* (- 1.0 y) z)) x)
  (* x (- (pow 1.0 3) (pow (* (- 1.0 y) z) 3)))
  (* x (- (* 1.0 1.0) (* (* (- 1.0 y) z) (* (- 1.0 y) z))))
  (* (- 1.0 y) z)
  (log (* (- 1.0 y) z))
  (log (* (- 1.0 y) z))
  (exp (* (- 1.0 y) z))
  (pow (* (- 1.0 y) z) 3)
  (* (cbrt (* (- 1.0 y) z)) (cbrt (* (- 1.0 y) z)))
  (cbrt (* (- 1.0 y) z))
  (pow (* (- 1.0 y) z) 3)
  (sqrt (* (- 1.0 y) z))
  (sqrt (* (- 1.0 y) z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (sqrt (- 1.0 y)) (sqrt z))
  (* (- 1.0 y) (* (cbrt z) (cbrt z)))
  (* (- 1.0 y) (sqrt z))
  (- 1.0 y)
  (* (cbrt (- 1.0 y)) z)
  (* (sqrt (- 1.0 y)) z)
  (* (- 1.0 y) z)
  (* (- (sqrt 1.0) (sqrt y)) z)
  (* (- 1.0 y) z)
  (* (- (pow 1.0 3) (pow y 3)) z)
  (* (- (* 1.0 1.0) (* y y)) z)
  (* 1.0 (- x (* x z)))
  (* (- 1.0 (* (- 1.0 y) z)) x)
  (* (- 1.0 (* (- 1.0 y) z)) x)
  (* (- 1.0 y) z)
  (* (- 1.0 y) z)
  (* (- 1.0 y) z)
4.937 * * * [progress]: adding candidates to table
5.029 * * [progress]: iteration 2 / 4
5.029 * * * [progress]: picking best candidate
5.037 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))>
5.037 * * * [progress]: localizing error
5.044 * * * [progress]: generating rewritten candidates
5.044 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.056 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.060 * * * [progress]: generating series expansions
5.060 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.060 * [approximate]: Taking taylor expansion of (* x (* z (- y 1.0))) in (x z y) around 0
5.060 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in y
5.060 * [taylor]: Taking taylor expansion of x in y
5.060 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y
5.060 * [taylor]: Taking taylor expansion of z in y
5.060 * [taylor]: Taking taylor expansion of (- y 1.0) in y
5.061 * [taylor]: Taking taylor expansion of y in y
5.061 * [taylor]: Taking taylor expansion of 1.0 in y
5.061 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in z
5.061 * [taylor]: Taking taylor expansion of x in z
5.061 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z
5.061 * [taylor]: Taking taylor expansion of z in z
5.061 * [taylor]: Taking taylor expansion of (- y 1.0) in z
5.061 * [taylor]: Taking taylor expansion of y in z
5.061 * [taylor]: Taking taylor expansion of 1.0 in z
5.061 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x
5.061 * [taylor]: Taking taylor expansion of x in x
5.061 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x
5.061 * [taylor]: Taking taylor expansion of z in x
5.061 * [taylor]: Taking taylor expansion of (- y 1.0) in x
5.061 * [taylor]: Taking taylor expansion of y in x
5.061 * [taylor]: Taking taylor expansion of 1.0 in x
5.061 * [taylor]: Taking taylor expansion of (* x (* z (- y 1.0))) in x
5.061 * [taylor]: Taking taylor expansion of x in x
5.061 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in x
5.061 * [taylor]: Taking taylor expansion of z in x
5.061 * [taylor]: Taking taylor expansion of (- y 1.0) in x
5.061 * [taylor]: Taking taylor expansion of y in x
5.061 * [taylor]: Taking taylor expansion of 1.0 in x
5.062 * [taylor]: Taking taylor expansion of 0 in z
5.062 * [taylor]: Taking taylor expansion of 0 in y
5.062 * [taylor]: Taking taylor expansion of (- (* z y) (* 1.0 z)) in z
5.063 * [taylor]: Taking taylor expansion of (* z y) in z
5.063 * [taylor]: Taking taylor expansion of z in z
5.063 * [taylor]: Taking taylor expansion of y in z
5.063 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.063 * [taylor]: Taking taylor expansion of 1.0 in z
5.063 * [taylor]: Taking taylor expansion of z in z
5.063 * [taylor]: Taking taylor expansion of 0 in y
5.063 * [taylor]: Taking taylor expansion of 0 in y
5.065 * [taylor]: Taking taylor expansion of 0 in z
5.065 * [taylor]: Taking taylor expansion of 0 in y
5.066 * [taylor]: Taking taylor expansion of (- y 1.0) in y
5.066 * [taylor]: Taking taylor expansion of y in y
5.066 * [taylor]: Taking taylor expansion of 1.0 in y
5.067 * [taylor]: Taking taylor expansion of 0 in y
5.069 * [taylor]: Taking taylor expansion of 0 in z
5.069 * [taylor]: Taking taylor expansion of 0 in y
5.069 * [taylor]: Taking taylor expansion of 0 in y
5.070 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in (x z y) around 0
5.070 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in y
5.070 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
5.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.070 * [taylor]: Taking taylor expansion of y in y
5.070 * [taylor]: Taking taylor expansion of 1.0 in y
5.070 * [taylor]: Taking taylor expansion of (* x z) in y
5.070 * [taylor]: Taking taylor expansion of x in y
5.070 * [taylor]: Taking taylor expansion of z in y
5.070 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in z
5.070 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
5.070 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.070 * [taylor]: Taking taylor expansion of y in z
5.070 * [taylor]: Taking taylor expansion of 1.0 in z
5.070 * [taylor]: Taking taylor expansion of (* x z) in z
5.070 * [taylor]: Taking taylor expansion of x in z
5.070 * [taylor]: Taking taylor expansion of z in z
5.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x
5.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
5.071 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.071 * [taylor]: Taking taylor expansion of y in x
5.071 * [taylor]: Taking taylor expansion of 1.0 in x
5.071 * [taylor]: Taking taylor expansion of (* x z) in x
5.071 * [taylor]: Taking taylor expansion of x in x
5.071 * [taylor]: Taking taylor expansion of z in x
5.072 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) (* x z)) in x
5.072 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x
5.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.072 * [taylor]: Taking taylor expansion of y in x
5.073 * [taylor]: Taking taylor expansion of 1.0 in x
5.073 * [taylor]: Taking taylor expansion of (* x z) in x
5.073 * [taylor]: Taking taylor expansion of x in x
5.073 * [taylor]: Taking taylor expansion of z in x
5.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z
5.074 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z
5.074 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.074 * [taylor]: Taking taylor expansion of y in z
5.074 * [taylor]: Taking taylor expansion of 1.0 in z
5.074 * [taylor]: Taking taylor expansion of z in z
5.074 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
5.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.074 * [taylor]: Taking taylor expansion of y in y
5.074 * [taylor]: Taking taylor expansion of 1.0 in y
5.076 * [taylor]: Taking taylor expansion of 0 in z
5.077 * [taylor]: Taking taylor expansion of 0 in y
5.080 * [taylor]: Taking taylor expansion of 0 in z
5.080 * [taylor]: Taking taylor expansion of 0 in y
5.081 * [taylor]: Taking taylor expansion of 0 in y
5.086 * [taylor]: Taking taylor expansion of 0 in z
5.086 * [taylor]: Taking taylor expansion of 0 in y
5.086 * [taylor]: Taking taylor expansion of 0 in y
5.088 * [taylor]: Taking taylor expansion of 0 in y
5.090 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in (x z y) around 0
5.090 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in y
5.090 * [taylor]: Taking taylor expansion of -1 in y
5.090 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in y
5.090 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
5.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.090 * [taylor]: Taking taylor expansion of y in y
5.090 * [taylor]: Taking taylor expansion of 1.0 in y
5.090 * [taylor]: Taking taylor expansion of (* x z) in y
5.090 * [taylor]: Taking taylor expansion of x in y
5.090 * [taylor]: Taking taylor expansion of z in y
5.090 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in z
5.090 * [taylor]: Taking taylor expansion of -1 in z
5.090 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in z
5.090 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
5.090 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.090 * [taylor]: Taking taylor expansion of y in z
5.091 * [taylor]: Taking taylor expansion of 1.0 in z
5.091 * [taylor]: Taking taylor expansion of (* x z) in z
5.091 * [taylor]: Taking taylor expansion of x in z
5.091 * [taylor]: Taking taylor expansion of z in z
5.091 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x
5.091 * [taylor]: Taking taylor expansion of -1 in x
5.091 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x
5.091 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
5.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.091 * [taylor]: Taking taylor expansion of y in x
5.091 * [taylor]: Taking taylor expansion of 1.0 in x
5.091 * [taylor]: Taking taylor expansion of (* x z) in x
5.091 * [taylor]: Taking taylor expansion of x in x
5.091 * [taylor]: Taking taylor expansion of z in x
5.091 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) (* x z))) in x
5.092 * [taylor]: Taking taylor expansion of -1 in x
5.092 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x z)) in x
5.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
5.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.092 * [taylor]: Taking taylor expansion of y in x
5.092 * [taylor]: Taking taylor expansion of 1.0 in x
5.092 * [taylor]: Taking taylor expansion of (* x z) in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.092 * [taylor]: Taking taylor expansion of z in x
5.092 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) z)) in z
5.092 * [taylor]: Taking taylor expansion of -1 in z
5.092 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z
5.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z
5.092 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.092 * [taylor]: Taking taylor expansion of y in z
5.092 * [taylor]: Taking taylor expansion of 1.0 in z
5.092 * [taylor]: Taking taylor expansion of z in z
5.092 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 y) 1.0)) in y
5.092 * [taylor]: Taking taylor expansion of -1 in y
5.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
5.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.093 * [taylor]: Taking taylor expansion of y in y
5.093 * [taylor]: Taking taylor expansion of 1.0 in y
5.094 * [taylor]: Taking taylor expansion of 0 in z
5.096 * [taylor]: Taking taylor expansion of 0 in y
5.099 * [taylor]: Taking taylor expansion of 0 in z
5.099 * [taylor]: Taking taylor expansion of 0 in y
5.101 * [taylor]: Taking taylor expansion of 0 in y
5.104 * [taylor]: Taking taylor expansion of 0 in z
5.105 * [taylor]: Taking taylor expansion of 0 in y
5.105 * [taylor]: Taking taylor expansion of 0 in y
5.107 * [taylor]: Taking taylor expansion of 0 in y
5.109 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.109 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x z y) around 0
5.109 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
5.109 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in y
5.109 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
5.109 * [taylor]: Taking taylor expansion of 1.0 in y
5.109 * [taylor]: Taking taylor expansion of x in y
5.109 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.109 * [taylor]: Taking taylor expansion of x in y
5.109 * [taylor]: Taking taylor expansion of (* z y) in y
5.109 * [taylor]: Taking taylor expansion of z in y
5.109 * [taylor]: Taking taylor expansion of y in y
5.109 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y
5.109 * [taylor]: Taking taylor expansion of 1.0 in y
5.109 * [taylor]: Taking taylor expansion of (* x z) in y
5.109 * [taylor]: Taking taylor expansion of x in y
5.109 * [taylor]: Taking taylor expansion of z in y
5.109 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z
5.109 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in z
5.109 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
5.109 * [taylor]: Taking taylor expansion of 1.0 in z
5.109 * [taylor]: Taking taylor expansion of x in z
5.109 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.109 * [taylor]: Taking taylor expansion of x in z
5.109 * [taylor]: Taking taylor expansion of (* z y) in z
5.109 * [taylor]: Taking taylor expansion of z in z
5.109 * [taylor]: Taking taylor expansion of y in z
5.109 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z
5.109 * [taylor]: Taking taylor expansion of 1.0 in z
5.110 * [taylor]: Taking taylor expansion of (* x z) in z
5.110 * [taylor]: Taking taylor expansion of x in z
5.110 * [taylor]: Taking taylor expansion of z in z
5.110 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x
5.110 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x
5.110 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.110 * [taylor]: Taking taylor expansion of 1.0 in x
5.110 * [taylor]: Taking taylor expansion of x in x
5.110 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.110 * [taylor]: Taking taylor expansion of x in x
5.110 * [taylor]: Taking taylor expansion of (* z y) in x
5.110 * [taylor]: Taking taylor expansion of z in x
5.110 * [taylor]: Taking taylor expansion of y in x
5.110 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x
5.110 * [taylor]: Taking taylor expansion of 1.0 in x
5.110 * [taylor]: Taking taylor expansion of (* x z) in x
5.110 * [taylor]: Taking taylor expansion of x in x
5.110 * [taylor]: Taking taylor expansion of z in x
5.110 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x
5.110 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x
5.110 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
5.110 * [taylor]: Taking taylor expansion of 1.0 in x
5.110 * [taylor]: Taking taylor expansion of x in x
5.110 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.110 * [taylor]: Taking taylor expansion of x in x
5.110 * [taylor]: Taking taylor expansion of (* z y) in x
5.110 * [taylor]: Taking taylor expansion of z in x
5.110 * [taylor]: Taking taylor expansion of y in x
5.110 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x
5.110 * [taylor]: Taking taylor expansion of 1.0 in x
5.110 * [taylor]: Taking taylor expansion of (* x z) in x
5.110 * [taylor]: Taking taylor expansion of x in x
5.110 * [taylor]: Taking taylor expansion of z in x
5.111 * [taylor]: Taking taylor expansion of 0 in z
5.111 * [taylor]: Taking taylor expansion of 0 in y
5.113 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z
5.113 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
5.113 * [taylor]: Taking taylor expansion of (* z y) in z
5.113 * [taylor]: Taking taylor expansion of z in z
5.113 * [taylor]: Taking taylor expansion of y in z
5.113 * [taylor]: Taking taylor expansion of 1.0 in z
5.113 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
5.113 * [taylor]: Taking taylor expansion of 1.0 in z
5.113 * [taylor]: Taking taylor expansion of z in z
5.114 * [taylor]: Taking taylor expansion of 1.0 in y
5.114 * [taylor]: Taking taylor expansion of 0 in y
5.118 * [taylor]: Taking taylor expansion of 0 in z
5.118 * [taylor]: Taking taylor expansion of 0 in y
5.119 * [taylor]: Taking taylor expansion of (- y 1.0) in y
5.119 * [taylor]: Taking taylor expansion of y in y
5.119 * [taylor]: Taking taylor expansion of 1.0 in y
5.120 * [taylor]: Taking taylor expansion of 0 in y
5.124 * [taylor]: Taking taylor expansion of 0 in z
5.124 * [taylor]: Taking taylor expansion of 0 in y
5.124 * [taylor]: Taking taylor expansion of 0 in y
5.125 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x z y) around 0
5.125 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y
5.125 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
5.125 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
5.125 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.125 * [taylor]: Taking taylor expansion of x in y
5.125 * [taylor]: Taking taylor expansion of (* z y) in y
5.125 * [taylor]: Taking taylor expansion of z in y
5.125 * [taylor]: Taking taylor expansion of y in y
5.126 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
5.126 * [taylor]: Taking taylor expansion of 1.0 in y
5.126 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.126 * [taylor]: Taking taylor expansion of x in y
5.126 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y
5.126 * [taylor]: Taking taylor expansion of 1.0 in y
5.126 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
5.126 * [taylor]: Taking taylor expansion of (* x z) in y
5.126 * [taylor]: Taking taylor expansion of x in y
5.126 * [taylor]: Taking taylor expansion of z in y
5.126 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z
5.126 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
5.126 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
5.126 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.126 * [taylor]: Taking taylor expansion of x in z
5.126 * [taylor]: Taking taylor expansion of (* z y) in z
5.126 * [taylor]: Taking taylor expansion of z in z
5.126 * [taylor]: Taking taylor expansion of y in z
5.127 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
5.127 * [taylor]: Taking taylor expansion of 1.0 in z
5.127 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.127 * [taylor]: Taking taylor expansion of x in z
5.127 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z
5.127 * [taylor]: Taking taylor expansion of 1.0 in z
5.127 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
5.127 * [taylor]: Taking taylor expansion of (* x z) in z
5.127 * [taylor]: Taking taylor expansion of x in z
5.127 * [taylor]: Taking taylor expansion of z in z
5.127 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x
5.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
5.127 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
5.127 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.127 * [taylor]: Taking taylor expansion of x in x
5.127 * [taylor]: Taking taylor expansion of (* z y) in x
5.127 * [taylor]: Taking taylor expansion of z in x
5.127 * [taylor]: Taking taylor expansion of y in x
5.128 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.128 * [taylor]: Taking taylor expansion of 1.0 in x
5.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.128 * [taylor]: Taking taylor expansion of x in x
5.128 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
5.128 * [taylor]: Taking taylor expansion of 1.0 in x
5.128 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.128 * [taylor]: Taking taylor expansion of (* x z) in x
5.128 * [taylor]: Taking taylor expansion of x in x
5.128 * [taylor]: Taking taylor expansion of z in x
5.128 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x
5.128 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
5.128 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
5.128 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.128 * [taylor]: Taking taylor expansion of x in x
5.128 * [taylor]: Taking taylor expansion of (* z y) in x
5.128 * [taylor]: Taking taylor expansion of z in x
5.128 * [taylor]: Taking taylor expansion of y in x
5.129 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.129 * [taylor]: Taking taylor expansion of 1.0 in x
5.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.129 * [taylor]: Taking taylor expansion of x in x
5.129 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
5.129 * [taylor]: Taking taylor expansion of 1.0 in x
5.129 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.129 * [taylor]: Taking taylor expansion of (* x z) in x
5.129 * [taylor]: Taking taylor expansion of x in x
5.129 * [taylor]: Taking taylor expansion of z in x
5.130 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z
5.130 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
5.130 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.130 * [taylor]: Taking taylor expansion of (* z y) in z
5.130 * [taylor]: Taking taylor expansion of z in z
5.130 * [taylor]: Taking taylor expansion of y in z
5.130 * [taylor]: Taking taylor expansion of 1.0 in z
5.131 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
5.131 * [taylor]: Taking taylor expansion of 1.0 in z
5.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.131 * [taylor]: Taking taylor expansion of z in z
5.132 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
5.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.132 * [taylor]: Taking taylor expansion of y in y
5.132 * [taylor]: Taking taylor expansion of 1.0 in y
5.135 * [taylor]: Taking taylor expansion of 0 in z
5.137 * [taylor]: Taking taylor expansion of 1.0 in y
5.143 * [taylor]: Taking taylor expansion of 0 in z
5.143 * [taylor]: Taking taylor expansion of 0 in y
5.145 * [taylor]: Taking taylor expansion of 0 in y
5.146 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x z y) around 0
5.146 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y
5.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in y
5.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y
5.146 * [taylor]: Taking taylor expansion of 1.0 in y
5.146 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
5.146 * [taylor]: Taking taylor expansion of (* x z) in y
5.146 * [taylor]: Taking taylor expansion of x in y
5.146 * [taylor]: Taking taylor expansion of z in y
5.147 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
5.147 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
5.147 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
5.147 * [taylor]: Taking taylor expansion of x in y
5.147 * [taylor]: Taking taylor expansion of (* z y) in y
5.147 * [taylor]: Taking taylor expansion of z in y
5.147 * [taylor]: Taking taylor expansion of y in y
5.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
5.147 * [taylor]: Taking taylor expansion of 1.0 in y
5.147 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.147 * [taylor]: Taking taylor expansion of x in y
5.147 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z
5.147 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in z
5.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z
5.147 * [taylor]: Taking taylor expansion of 1.0 in z
5.147 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
5.147 * [taylor]: Taking taylor expansion of (* x z) in z
5.147 * [taylor]: Taking taylor expansion of x in z
5.147 * [taylor]: Taking taylor expansion of z in z
5.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
5.148 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
5.148 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
5.148 * [taylor]: Taking taylor expansion of x in z
5.148 * [taylor]: Taking taylor expansion of (* z y) in z
5.148 * [taylor]: Taking taylor expansion of z in z
5.148 * [taylor]: Taking taylor expansion of y in z
5.148 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
5.149 * [taylor]: Taking taylor expansion of 1.0 in z
5.149 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.149 * [taylor]: Taking taylor expansion of x in z
5.149 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x
5.149 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x
5.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
5.149 * [taylor]: Taking taylor expansion of 1.0 in x
5.149 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.149 * [taylor]: Taking taylor expansion of (* x z) in x
5.149 * [taylor]: Taking taylor expansion of x in x
5.149 * [taylor]: Taking taylor expansion of z in x
5.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
5.149 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
5.149 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.149 * [taylor]: Taking taylor expansion of x in x
5.149 * [taylor]: Taking taylor expansion of (* z y) in x
5.149 * [taylor]: Taking taylor expansion of z in x
5.149 * [taylor]: Taking taylor expansion of y in x
5.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.150 * [taylor]: Taking taylor expansion of 1.0 in x
5.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.150 * [taylor]: Taking taylor expansion of x in x
5.150 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x
5.150 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x
5.150 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
5.150 * [taylor]: Taking taylor expansion of 1.0 in x
5.150 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
5.150 * [taylor]: Taking taylor expansion of (* x z) in x
5.150 * [taylor]: Taking taylor expansion of x in x
5.150 * [taylor]: Taking taylor expansion of z in x
5.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
5.150 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
5.150 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
5.150 * [taylor]: Taking taylor expansion of x in x
5.150 * [taylor]: Taking taylor expansion of (* z y) in x
5.150 * [taylor]: Taking taylor expansion of z in x
5.150 * [taylor]: Taking taylor expansion of y in x
5.151 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
5.151 * [taylor]: Taking taylor expansion of 1.0 in x
5.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.151 * [taylor]: Taking taylor expansion of x in x
5.152 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in z
5.152 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z
5.152 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
5.152 * [taylor]: Taking taylor expansion of (* z y) in z
5.152 * [taylor]: Taking taylor expansion of z in z
5.152 * [taylor]: Taking taylor expansion of y in z
5.152 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
5.152 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
5.152 * [taylor]: Taking taylor expansion of 1.0 in z
5.152 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.152 * [taylor]: Taking taylor expansion of z in z
5.152 * [taylor]: Taking taylor expansion of 1.0 in z
5.153 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y
5.153 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
5.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.153 * [taylor]: Taking taylor expansion of y in y
5.153 * [taylor]: Taking taylor expansion of 1.0 in y
5.157 * [taylor]: Taking taylor expansion of 0 in z
5.159 * [taylor]: Taking taylor expansion of (- 1.0) in y
5.159 * [taylor]: Taking taylor expansion of 1.0 in y
5.165 * [taylor]: Taking taylor expansion of 0 in z
5.165 * [taylor]: Taking taylor expansion of 0 in y
5.170 * [taylor]: Taking taylor expansion of 0 in y
5.171 * * * [progress]: simplifying candidates
5.172 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (+ (+ (log x) (log z)) (log (- y 1.0)))
  (+ (log (* x z)) (log (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (* (* (* (* x x) x) (* (* z z) z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (* (* (* x z) (* x z)) (* x z)) (* (* (- y 1.0) (- y 1.0)) (- y 1.0)))
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (* (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* (* x z) y)
  (* (* x z) (- 1.0))
  (* (* x z) y)
  (* (* x z) (- 1.0))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* (* x z) 1)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* (* x z) 1)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (* (exp (* x 1.0)) (exp (* (* x z) (- y 1.0))))
  (log (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (exp (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (* (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))) (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0)))))
  (cbrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (* (* (+ (* x 1.0) (* (* x z) (- y 1.0))) (+ (* x 1.0) (* (* x z) (- y 1.0)))) (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (sqrt (+ (* x 1.0) (* (* x z) (- y 1.0))))
  (+ (pow (* x 1.0) 3) (pow (* (* x z) (- y 1.0)) 3))
  (+ (* (* x 1.0) (* x 1.0)) (- (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))) (* (* x 1.0) (* (* x z) (- y 1.0)))))
  (- (* (* x 1.0) (* x 1.0)) (* (* (* x z) (- y 1.0)) (* (* x z) (- y 1.0))))
  (- (* x 1.0) (* (* x z) (- y 1.0)))
  (+ (* x 1.0) (* (* x z) y))
  (+ (* x 1.0) (* (* x z) y))
  (+ (* x 1.0) (* y (* x z)))
  (+ (* x 1.0) (* y (* x z)))
  (* -1.0 (* x z))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* x (* z y)) (* 1.0 (* x z)))
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
5.175 * * [simplify]: iteration  0 :  90  enodes  (cost  589 )
5.192 * * [simplify]: iteration  1 :  255  enodes  (cost  557 )
5.303 * * [simplify]: iteration  2 :  1009  enodes  (cost  453 )
6.837 * * [simplify]: iteration  3 :  4848  enodes  (cost  451 )
8.033 * * [simplify]: iteration  done :  5000  enodes  (cost  451 )
8.033 * [simplify]: Simplified to:
   (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (log (* (* x z) (- y 1.0)))
  (exp (* (* x z) (- y 1.0)))
  (pow (* (* x z) (- y 1.0)) 3)
  (pow (* (* x z) (- y 1.0)) 3)
  (* (cbrt (* (* x z) (- y 1.0))) (cbrt (* (* x z) (- y 1.0))))
  (cbrt (* (* x z) (- y 1.0)))
  (pow (* (* x z) (- y 1.0)) 3)
  (sqrt (* (* x z) (- y 1.0)))
  (sqrt (* (* x z) (- y 1.0)))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* y (* x z))
  (* (- 1.0) (* x z))
  (* (* x z) (* (cbrt (- y 1.0)) (cbrt (- y 1.0))))
  (* (* x z) (sqrt (- y 1.0)))
  (* x z)
  (* (* x z) (+ (sqrt y) (sqrt 1.0)))
  (* x z)
  (* z (- y 1.0))
  (* (* x z) (- (pow y 3) (pow 1.0 3)))
  (* (* x z) (- (* y y) (* 1.0 1.0)))
  (exp (* x (+ (* z (- y 1.0)) 1.0)))
  (log (* x (+ (* z (- y 1.0)) 1.0)))
  (exp (* x (+ (* z (- y 1.0)) 1.0)))
  (* (cbrt (* x (+ (* z (- y 1.0)) 1.0))) (cbrt (* x (+ (* z (- y 1.0)) 1.0))))
  (cbrt (* x (+ (* z (- y 1.0)) 1.0)))
  (pow (* x (+ (* z (- y 1.0)) 1.0)) 3)
  (sqrt (* x (+ (* z (- y 1.0)) 1.0)))
  (sqrt (* x (+ (* z (- y 1.0)) 1.0)))
  (+ (pow (* x 1.0) 3) (pow (* (* x z) (- y 1.0)) 3))
  (* x (+ (* x (* 1.0 1.0)) (* (* z (- y 1.0)) (* x (- (* z (- y 1.0)) 1.0)))))
  (* (* x (+ (* z (- y 1.0)) 1.0)) (* x (- 1.0 (* z (- y 1.0)))))
  (* x (- 1.0 (* z (- y 1.0))))
  (* x (+ 1.0 (* z y)))
  (* x (+ 1.0 (* z y)))
  (* x (+ 1.0 (* z y)))
  (* x (+ 1.0 (* z y)))
  (* -1.0 (* x z))
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (* 1.0 (- x (* x z)))
  (* x (+ (* z (- y 1.0)) 1.0))
  (* x (+ (* z (- y 1.0)) 1.0))
8.033 * * * [progress]: adding candidates to table
8.109 * * [progress]: iteration 3 / 4
8.109 * * * [progress]: picking best candidate
8.120 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))>
8.120 * * * [progress]: localizing error
8.128 * * * [progress]: generating rewritten candidates
8.128 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
8.137 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
8.143 * * * [progress]: generating series expansions
8.143 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
8.143 * [approximate]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in (x z y) around 0
8.143 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in y
8.143 * [taylor]: Taking taylor expansion of x in y
8.143 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
8.143 * [taylor]: Taking taylor expansion of (* z y) in y
8.143 * [taylor]: Taking taylor expansion of z in y
8.143 * [taylor]: Taking taylor expansion of y in y
8.143 * [taylor]: Taking taylor expansion of 1.0 in y
8.143 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in z
8.143 * [taylor]: Taking taylor expansion of x in z
8.143 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
8.143 * [taylor]: Taking taylor expansion of (* z y) in z
8.143 * [taylor]: Taking taylor expansion of z in z
8.143 * [taylor]: Taking taylor expansion of y in z
8.143 * [taylor]: Taking taylor expansion of 1.0 in z
8.143 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in x
8.143 * [taylor]: Taking taylor expansion of x in x
8.143 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
8.143 * [taylor]: Taking taylor expansion of (* z y) in x
8.143 * [taylor]: Taking taylor expansion of z in x
8.143 * [taylor]: Taking taylor expansion of y in x
8.143 * [taylor]: Taking taylor expansion of 1.0 in x
8.144 * [taylor]: Taking taylor expansion of (* x (+ (* z y) 1.0)) in x
8.144 * [taylor]: Taking taylor expansion of x in x
8.144 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
8.144 * [taylor]: Taking taylor expansion of (* z y) in x
8.144 * [taylor]: Taking taylor expansion of z in x
8.144 * [taylor]: Taking taylor expansion of y in x
8.144 * [taylor]: Taking taylor expansion of 1.0 in x
8.144 * [taylor]: Taking taylor expansion of 0 in z
8.144 * [taylor]: Taking taylor expansion of 0 in y
8.145 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
8.145 * [taylor]: Taking taylor expansion of (* z y) in z
8.145 * [taylor]: Taking taylor expansion of z in z
8.145 * [taylor]: Taking taylor expansion of y in z
8.145 * [taylor]: Taking taylor expansion of 1.0 in z
8.145 * [taylor]: Taking taylor expansion of 1.0 in y
8.145 * [taylor]: Taking taylor expansion of 0 in y
8.146 * [taylor]: Taking taylor expansion of 0 in z
8.146 * [taylor]: Taking taylor expansion of 0 in y
8.147 * [taylor]: Taking taylor expansion of y in y
8.147 * [taylor]: Taking taylor expansion of 0 in y
8.147 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in (x z y) around 0
8.147 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in y
8.147 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
8.147 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.147 * [taylor]: Taking taylor expansion of (* z y) in y
8.147 * [taylor]: Taking taylor expansion of z in y
8.147 * [taylor]: Taking taylor expansion of y in y
8.147 * [taylor]: Taking taylor expansion of 1.0 in y
8.147 * [taylor]: Taking taylor expansion of x in y
8.147 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in z
8.147 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
8.147 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.147 * [taylor]: Taking taylor expansion of (* z y) in z
8.147 * [taylor]: Taking taylor expansion of z in z
8.148 * [taylor]: Taking taylor expansion of y in z
8.148 * [taylor]: Taking taylor expansion of 1.0 in z
8.148 * [taylor]: Taking taylor expansion of x in z
8.148 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x
8.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
8.148 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.148 * [taylor]: Taking taylor expansion of (* z y) in x
8.148 * [taylor]: Taking taylor expansion of z in x
8.148 * [taylor]: Taking taylor expansion of y in x
8.148 * [taylor]: Taking taylor expansion of 1.0 in x
8.148 * [taylor]: Taking taylor expansion of x in x
8.148 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x
8.148 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
8.148 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.148 * [taylor]: Taking taylor expansion of (* z y) in x
8.148 * [taylor]: Taking taylor expansion of z in x
8.148 * [taylor]: Taking taylor expansion of y in x
8.148 * [taylor]: Taking taylor expansion of 1.0 in x
8.148 * [taylor]: Taking taylor expansion of x in x
8.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
8.149 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.149 * [taylor]: Taking taylor expansion of (* z y) in z
8.149 * [taylor]: Taking taylor expansion of z in z
8.149 * [taylor]: Taking taylor expansion of y in z
8.149 * [taylor]: Taking taylor expansion of 1.0 in z
8.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.149 * [taylor]: Taking taylor expansion of y in y
8.150 * [taylor]: Taking taylor expansion of 0 in z
8.151 * [taylor]: Taking taylor expansion of 1.0 in y
8.153 * [taylor]: Taking taylor expansion of 0 in z
8.153 * [taylor]: Taking taylor expansion of 0 in y
8.154 * [taylor]: Taking taylor expansion of 0 in y
8.157 * [taylor]: Taking taylor expansion of 0 in z
8.157 * [taylor]: Taking taylor expansion of 0 in y
8.157 * [taylor]: Taking taylor expansion of 0 in y
8.158 * [taylor]: Taking taylor expansion of 0 in y
8.161 * [taylor]: Taking taylor expansion of 0 in z
8.161 * [taylor]: Taking taylor expansion of 0 in y
8.161 * [taylor]: Taking taylor expansion of 0 in y
8.161 * [taylor]: Taking taylor expansion of 0 in y
8.163 * [taylor]: Taking taylor expansion of 0 in y
8.163 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in (x z y) around 0
8.163 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in y
8.163 * [taylor]: Taking taylor expansion of -1 in y
8.163 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in y
8.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
8.163 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.163 * [taylor]: Taking taylor expansion of (* z y) in y
8.163 * [taylor]: Taking taylor expansion of z in y
8.163 * [taylor]: Taking taylor expansion of y in y
8.164 * [taylor]: Taking taylor expansion of 1.0 in y
8.164 * [taylor]: Taking taylor expansion of x in y
8.164 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in z
8.164 * [taylor]: Taking taylor expansion of -1 in z
8.164 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in z
8.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
8.164 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.164 * [taylor]: Taking taylor expansion of (* z y) in z
8.164 * [taylor]: Taking taylor expansion of z in z
8.164 * [taylor]: Taking taylor expansion of y in z
8.164 * [taylor]: Taking taylor expansion of 1.0 in z
8.164 * [taylor]: Taking taylor expansion of x in z
8.164 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in x
8.164 * [taylor]: Taking taylor expansion of -1 in x
8.164 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x
8.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
8.165 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.165 * [taylor]: Taking taylor expansion of (* z y) in x
8.165 * [taylor]: Taking taylor expansion of z in x
8.165 * [taylor]: Taking taylor expansion of y in x
8.165 * [taylor]: Taking taylor expansion of 1.0 in x
8.165 * [taylor]: Taking taylor expansion of x in x
8.165 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (* z y)) 1.0) x)) in x
8.165 * [taylor]: Taking taylor expansion of -1 in x
8.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (* z y)) 1.0) x) in x
8.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
8.165 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
8.165 * [taylor]: Taking taylor expansion of (* z y) in x
8.165 * [taylor]: Taking taylor expansion of z in x
8.165 * [taylor]: Taking taylor expansion of y in x
8.165 * [taylor]: Taking taylor expansion of 1.0 in x
8.165 * [taylor]: Taking taylor expansion of x in x
8.165 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (* z y)) 1.0)) in z
8.165 * [taylor]: Taking taylor expansion of -1 in z
8.165 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
8.165 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.165 * [taylor]: Taking taylor expansion of (* z y) in z
8.165 * [taylor]: Taking taylor expansion of z in z
8.165 * [taylor]: Taking taylor expansion of y in z
8.166 * [taylor]: Taking taylor expansion of 1.0 in z
8.166 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.166 * [taylor]: Taking taylor expansion of -1 in y
8.166 * [taylor]: Taking taylor expansion of y in y
8.167 * [taylor]: Taking taylor expansion of 0 in z
8.168 * [taylor]: Taking taylor expansion of (- 1.0) in y
8.168 * [taylor]: Taking taylor expansion of 1.0 in y
8.171 * [taylor]: Taking taylor expansion of 0 in z
8.171 * [taylor]: Taking taylor expansion of 0 in y
8.173 * [taylor]: Taking taylor expansion of 0 in y
8.176 * [taylor]: Taking taylor expansion of 0 in z
8.176 * [taylor]: Taking taylor expansion of 0 in y
8.177 * [taylor]: Taking taylor expansion of 0 in y
8.179 * [taylor]: Taking taylor expansion of 0 in y
8.183 * [taylor]: Taking taylor expansion of 0 in z
8.183 * [taylor]: Taking taylor expansion of 0 in y
8.183 * [taylor]: Taking taylor expansion of 0 in y
8.183 * [taylor]: Taking taylor expansion of 0 in y
8.186 * [taylor]: Taking taylor expansion of 0 in y
8.186 * * * * [progress]: [ 2 / 2 ] generating series at (2)
8.187 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in (x z y) around 0
8.187 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in y
8.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in y
8.187 * [taylor]: Taking taylor expansion of (* 1.0 x) in y
8.187 * [taylor]: Taking taylor expansion of 1.0 in y
8.187 * [taylor]: Taking taylor expansion of x in y
8.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.187 * [taylor]: Taking taylor expansion of x in y
8.187 * [taylor]: Taking taylor expansion of (* z y) in y
8.187 * [taylor]: Taking taylor expansion of z in y
8.187 * [taylor]: Taking taylor expansion of y in y
8.187 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in y
8.187 * [taylor]: Taking taylor expansion of 1.0 in y
8.187 * [taylor]: Taking taylor expansion of (* x z) in y
8.187 * [taylor]: Taking taylor expansion of x in y
8.187 * [taylor]: Taking taylor expansion of z in y
8.187 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in z
8.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in z
8.187 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
8.187 * [taylor]: Taking taylor expansion of 1.0 in z
8.187 * [taylor]: Taking taylor expansion of x in z
8.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.187 * [taylor]: Taking taylor expansion of x in z
8.187 * [taylor]: Taking taylor expansion of (* z y) in z
8.187 * [taylor]: Taking taylor expansion of z in z
8.187 * [taylor]: Taking taylor expansion of y in z
8.187 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in z
8.187 * [taylor]: Taking taylor expansion of 1.0 in z
8.187 * [taylor]: Taking taylor expansion of (* x z) in z
8.187 * [taylor]: Taking taylor expansion of x in z
8.187 * [taylor]: Taking taylor expansion of z in z
8.187 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x
8.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x
8.187 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
8.187 * [taylor]: Taking taylor expansion of 1.0 in x
8.187 * [taylor]: Taking taylor expansion of x in x
8.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.187 * [taylor]: Taking taylor expansion of x in x
8.187 * [taylor]: Taking taylor expansion of (* z y) in x
8.187 * [taylor]: Taking taylor expansion of z in x
8.187 * [taylor]: Taking taylor expansion of y in x
8.187 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x
8.187 * [taylor]: Taking taylor expansion of 1.0 in x
8.187 * [taylor]: Taking taylor expansion of (* x z) in x
8.187 * [taylor]: Taking taylor expansion of x in x
8.187 * [taylor]: Taking taylor expansion of z in x
8.187 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z))) in x
8.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (* z y))) in x
8.187 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
8.187 * [taylor]: Taking taylor expansion of 1.0 in x
8.187 * [taylor]: Taking taylor expansion of x in x
8.187 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.188 * [taylor]: Taking taylor expansion of x in x
8.188 * [taylor]: Taking taylor expansion of (* z y) in x
8.188 * [taylor]: Taking taylor expansion of z in x
8.188 * [taylor]: Taking taylor expansion of y in x
8.188 * [taylor]: Taking taylor expansion of (* 1.0 (* x z)) in x
8.188 * [taylor]: Taking taylor expansion of 1.0 in x
8.188 * [taylor]: Taking taylor expansion of (* x z) in x
8.188 * [taylor]: Taking taylor expansion of x in x
8.188 * [taylor]: Taking taylor expansion of z in x
8.189 * [taylor]: Taking taylor expansion of 0 in z
8.189 * [taylor]: Taking taylor expansion of 0 in y
8.191 * [taylor]: Taking taylor expansion of (- (+ (* z y) 1.0) (* 1.0 z)) in z
8.191 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
8.191 * [taylor]: Taking taylor expansion of (* z y) in z
8.191 * [taylor]: Taking taylor expansion of z in z
8.191 * [taylor]: Taking taylor expansion of y in z
8.191 * [taylor]: Taking taylor expansion of 1.0 in z
8.191 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
8.191 * [taylor]: Taking taylor expansion of 1.0 in z
8.191 * [taylor]: Taking taylor expansion of z in z
8.192 * [taylor]: Taking taylor expansion of 1.0 in y
8.192 * [taylor]: Taking taylor expansion of 0 in y
8.195 * [taylor]: Taking taylor expansion of 0 in z
8.195 * [taylor]: Taking taylor expansion of 0 in y
8.197 * [taylor]: Taking taylor expansion of (- y 1.0) in y
8.197 * [taylor]: Taking taylor expansion of y in y
8.197 * [taylor]: Taking taylor expansion of 1.0 in y
8.198 * [taylor]: Taking taylor expansion of 0 in y
8.202 * [taylor]: Taking taylor expansion of 0 in z
8.202 * [taylor]: Taking taylor expansion of 0 in y
8.202 * [taylor]: Taking taylor expansion of 0 in y
8.202 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in (x z y) around 0
8.202 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in y
8.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
8.203 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
8.203 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.203 * [taylor]: Taking taylor expansion of x in y
8.203 * [taylor]: Taking taylor expansion of (* z y) in y
8.203 * [taylor]: Taking taylor expansion of z in y
8.203 * [taylor]: Taking taylor expansion of y in y
8.203 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
8.203 * [taylor]: Taking taylor expansion of 1.0 in y
8.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.203 * [taylor]: Taking taylor expansion of x in y
8.203 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y
8.203 * [taylor]: Taking taylor expansion of 1.0 in y
8.203 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
8.203 * [taylor]: Taking taylor expansion of (* x z) in y
8.203 * [taylor]: Taking taylor expansion of x in y
8.203 * [taylor]: Taking taylor expansion of z in y
8.203 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in z
8.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
8.203 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
8.203 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.204 * [taylor]: Taking taylor expansion of x in z
8.204 * [taylor]: Taking taylor expansion of (* z y) in z
8.204 * [taylor]: Taking taylor expansion of z in z
8.204 * [taylor]: Taking taylor expansion of y in z
8.204 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
8.204 * [taylor]: Taking taylor expansion of 1.0 in z
8.204 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.204 * [taylor]: Taking taylor expansion of x in z
8.204 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z
8.204 * [taylor]: Taking taylor expansion of 1.0 in z
8.204 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
8.204 * [taylor]: Taking taylor expansion of (* x z) in z
8.204 * [taylor]: Taking taylor expansion of x in z
8.204 * [taylor]: Taking taylor expansion of z in z
8.205 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x
8.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
8.205 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
8.205 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.205 * [taylor]: Taking taylor expansion of x in x
8.205 * [taylor]: Taking taylor expansion of (* z y) in x
8.205 * [taylor]: Taking taylor expansion of z in x
8.205 * [taylor]: Taking taylor expansion of y in x
8.205 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
8.205 * [taylor]: Taking taylor expansion of 1.0 in x
8.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.205 * [taylor]: Taking taylor expansion of x in x
8.205 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
8.205 * [taylor]: Taking taylor expansion of 1.0 in x
8.206 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.206 * [taylor]: Taking taylor expansion of (* x z) in x
8.206 * [taylor]: Taking taylor expansion of x in x
8.206 * [taylor]: Taking taylor expansion of z in x
8.206 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) (* 1.0 (/ 1 (* x z)))) in x
8.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
8.206 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
8.206 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.206 * [taylor]: Taking taylor expansion of x in x
8.206 * [taylor]: Taking taylor expansion of (* z y) in x
8.206 * [taylor]: Taking taylor expansion of z in x
8.206 * [taylor]: Taking taylor expansion of y in x
8.206 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
8.206 * [taylor]: Taking taylor expansion of 1.0 in x
8.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.206 * [taylor]: Taking taylor expansion of x in x
8.207 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
8.207 * [taylor]: Taking taylor expansion of 1.0 in x
8.207 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.207 * [taylor]: Taking taylor expansion of (* x z) in x
8.207 * [taylor]: Taking taylor expansion of x in x
8.207 * [taylor]: Taking taylor expansion of z in x
8.208 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) 1.0) (* 1.0 (/ 1 z))) in z
8.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
8.208 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.208 * [taylor]: Taking taylor expansion of (* z y) in z
8.208 * [taylor]: Taking taylor expansion of z in z
8.208 * [taylor]: Taking taylor expansion of y in z
8.208 * [taylor]: Taking taylor expansion of 1.0 in z
8.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
8.208 * [taylor]: Taking taylor expansion of 1.0 in z
8.208 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.208 * [taylor]: Taking taylor expansion of z in z
8.209 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y
8.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.209 * [taylor]: Taking taylor expansion of y in y
8.209 * [taylor]: Taking taylor expansion of 1.0 in y
8.213 * [taylor]: Taking taylor expansion of 0 in z
8.215 * [taylor]: Taking taylor expansion of 1.0 in y
8.223 * [taylor]: Taking taylor expansion of 0 in z
8.223 * [taylor]: Taking taylor expansion of 0 in y
8.226 * [taylor]: Taking taylor expansion of 0 in y
8.227 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in (x z y) around 0
8.227 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in y
8.227 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in y
8.227 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in y
8.227 * [taylor]: Taking taylor expansion of 1.0 in y
8.227 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
8.227 * [taylor]: Taking taylor expansion of (* x z) in y
8.227 * [taylor]: Taking taylor expansion of x in y
8.227 * [taylor]: Taking taylor expansion of z in y
8.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in y
8.227 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y
8.227 * [taylor]: Taking taylor expansion of (* x (* z y)) in y
8.227 * [taylor]: Taking taylor expansion of x in y
8.227 * [taylor]: Taking taylor expansion of (* z y) in y
8.227 * [taylor]: Taking taylor expansion of z in y
8.227 * [taylor]: Taking taylor expansion of y in y
8.228 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y
8.228 * [taylor]: Taking taylor expansion of 1.0 in y
8.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.228 * [taylor]: Taking taylor expansion of x in y
8.228 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in z
8.228 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in z
8.228 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in z
8.228 * [taylor]: Taking taylor expansion of 1.0 in z
8.228 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
8.228 * [taylor]: Taking taylor expansion of (* x z) in z
8.228 * [taylor]: Taking taylor expansion of x in z
8.228 * [taylor]: Taking taylor expansion of z in z
8.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in z
8.228 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z
8.228 * [taylor]: Taking taylor expansion of (* x (* z y)) in z
8.229 * [taylor]: Taking taylor expansion of x in z
8.229 * [taylor]: Taking taylor expansion of (* z y) in z
8.229 * [taylor]: Taking taylor expansion of z in z
8.229 * [taylor]: Taking taylor expansion of y in z
8.229 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in z
8.229 * [taylor]: Taking taylor expansion of 1.0 in z
8.229 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.229 * [taylor]: Taking taylor expansion of x in z
8.229 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x
8.229 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x
8.229 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
8.229 * [taylor]: Taking taylor expansion of 1.0 in x
8.229 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.229 * [taylor]: Taking taylor expansion of (* x z) in x
8.229 * [taylor]: Taking taylor expansion of x in x
8.229 * [taylor]: Taking taylor expansion of z in x
8.230 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
8.230 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
8.230 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.230 * [taylor]: Taking taylor expansion of x in x
8.230 * [taylor]: Taking taylor expansion of (* z y) in x
8.230 * [taylor]: Taking taylor expansion of z in x
8.230 * [taylor]: Taking taylor expansion of y in x
8.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
8.230 * [taylor]: Taking taylor expansion of 1.0 in x
8.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.230 * [taylor]: Taking taylor expansion of x in x
8.230 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))))) in x
8.231 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* x z))) (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x)))) in x
8.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x z))) in x
8.231 * [taylor]: Taking taylor expansion of 1.0 in x
8.231 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.231 * [taylor]: Taking taylor expansion of (* x z) in x
8.231 * [taylor]: Taking taylor expansion of x in x
8.231 * [taylor]: Taking taylor expansion of z in x
8.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* z y))) (* 1.0 (/ 1 x))) in x
8.231 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x
8.231 * [taylor]: Taking taylor expansion of (* x (* z y)) in x
8.231 * [taylor]: Taking taylor expansion of x in x
8.231 * [taylor]: Taking taylor expansion of (* z y) in x
8.231 * [taylor]: Taking taylor expansion of z in x
8.231 * [taylor]: Taking taylor expansion of y in x
8.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
8.231 * [taylor]: Taking taylor expansion of 1.0 in x
8.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.231 * [taylor]: Taking taylor expansion of x in x
8.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0))) in z
8.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) 1.0)) in z
8.232 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
8.232 * [taylor]: Taking taylor expansion of (* z y) in z
8.232 * [taylor]: Taking taylor expansion of z in z
8.232 * [taylor]: Taking taylor expansion of y in z
8.233 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z
8.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
8.233 * [taylor]: Taking taylor expansion of 1.0 in z
8.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.233 * [taylor]: Taking taylor expansion of z in z
8.233 * [taylor]: Taking taylor expansion of 1.0 in z
8.234 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1.0)) in y
8.234 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
8.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.234 * [taylor]: Taking taylor expansion of y in y
8.234 * [taylor]: Taking taylor expansion of 1.0 in y
8.238 * [taylor]: Taking taylor expansion of 0 in z
8.240 * [taylor]: Taking taylor expansion of (- 1.0) in y
8.240 * [taylor]: Taking taylor expansion of 1.0 in y
8.245 * [taylor]: Taking taylor expansion of 0 in z
8.245 * [taylor]: Taking taylor expansion of 0 in y
8.248 * [taylor]: Taking taylor expansion of 0 in y
8.249 * * * [progress]: simplifying candidates
8.250 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (+ 1.0 (* z y)))
  (+ (log x) (log (+ 1.0 (* z y))))
  (log (* x (+ 1.0 (* z y))))
  (exp (* x (+ 1.0 (* z y))))
  (* (* (* x x) x) (* (* (+ 1.0 (* z y)) (+ 1.0 (* z y))) (+ 1.0 (* z y))))
  (* (cbrt (* x (+ 1.0 (* z y)))) (cbrt (* x (+ 1.0 (* z y)))))
  (cbrt (* x (+ 1.0 (* z y))))
  (* (* (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y)))) (* x (+ 1.0 (* z y))))
  (sqrt (* x (+ 1.0 (* z y))))
  (sqrt (* x (+ 1.0 (* z y))))
  (* (sqrt x) (sqrt (+ 1.0 (* z y))))
  (* (sqrt x) (sqrt (+ 1.0 (* z y))))
  (* x 1.0)
  (* x (* z y))
  (* 1.0 x)
  (* (* z y) x)
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (sqrt (+ 1.0 (* z y))))
  (* x 1)
  (* (cbrt x) (+ 1.0 (* z y)))
  (* (sqrt x) (+ 1.0 (* z y)))
  (* x (+ 1.0 (* z y)))
  (* x (+ (pow 1.0 3) (pow (* z y) 3)))
  (* x (- (* 1.0 1.0) (* (* z y) (* z y))))
  (* (exp (* x (+ 1.0 (* z y)))) (exp (* (* x z) (- 1.0))))
  (log (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
  (exp (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
  (* (cbrt (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0)))) (cbrt (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0)))))
  (cbrt (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
  (* (* (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0)))) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
  (sqrt (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
  (sqrt (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
  (+ (pow (* x (+ 1.0 (* z y))) 3) (pow (* (* x z) (- 1.0)) 3))
  (+ (* (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y)))) (- (* (* (* x z) (- 1.0)) (* (* x z) (- 1.0))) (* (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0)))))
  (- (* (* x (+ 1.0 (* z y))) (* x (+ 1.0 (* z y)))) (* (* (* x z) (- 1.0)) (* (* x z) (- 1.0))))
  (- (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0)))
  (+ (* x (* z y)) (* (* x z) (- 1.0)))
  (+ (* (* z y) x) (* (* x z) (- 1.0)))
  (* 1.0 x)
  (+ (* 1.0 x) (* x (* z y)))
  (+ (* 1.0 x) (* x (* z y)))
  (- (* 1.0 x) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
  (- (+ (* 1.0 x) (* x (* z y))) (* 1.0 (* x z)))
8.252 * * [simplify]: iteration  0 :  75  enodes  (cost  581 )
8.267 * * [simplify]: iteration  1 :  236  enodes  (cost  534 )
8.326 * * [simplify]: iteration  2 :  893  enodes  (cost  454 )
9.041 * * [simplify]: iteration  3 :  4494  enodes  (cost  423 )
10.568 * * [simplify]: iteration  done :  5000  enodes  (cost  423 )
10.568 * [simplify]: Simplified to:
   (* (+ 1.0 (* z y)) x)
  (log (* x (+ 1.0 (* z y))))
  (log (* x (+ 1.0 (* z y))))
  (exp (* x (+ 1.0 (* z y))))
  (pow (* (+ 1.0 (* z y)) x) 3)
  (* (cbrt (* x (+ 1.0 (* z y)))) (cbrt (* x (+ 1.0 (* z y)))))
  (cbrt (* x (+ 1.0 (* z y))))
  (pow (* (+ 1.0 (* z y)) x) 3)
  (sqrt (* x (+ 1.0 (* z y))))
  (sqrt (* x (+ 1.0 (* z y))))
  (* (sqrt x) (sqrt (+ 1.0 (* z y))))
  (* (sqrt x) (sqrt (+ 1.0 (* z y))))
  (* 1.0 x)
  (* x (* z y))
  (* 1.0 x)
  (* x (* z y))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (sqrt (+ 1.0 (* z y))))
  x
  (* (cbrt x) (+ 1.0 (* z y)))
  (* (sqrt x) (+ 1.0 (* z y)))
  (* (+ 1.0 (* z y)) x)
  (* x (+ (pow 1.0 3) (pow (* z y) 3)))
  (* x (- (* 1.0 1.0) (* (* z y) (* z y))))
  (pow (exp x) (+ (* z (- y 1.0)) 1.0))
  (log (* x (+ (* z (- y 1.0)) 1.0)))
  (pow (exp x) (+ (* z (- y 1.0)) 1.0))
  (* (cbrt (* x (+ (* z (- y 1.0)) 1.0))) (cbrt (* x (+ (* z (- y 1.0)) 1.0))))
  (cbrt (* x (+ (* z (- y 1.0)) 1.0)))
  (pow (* x (+ (* z (- y 1.0)) 1.0)) 3)
  (sqrt (* x (+ (* z (- y 1.0)) 1.0)))
  (sqrt (* x (+ (* z (- y 1.0)) 1.0)))
  (- (pow (* (+ 1.0 (* z y)) x) 3) (pow (* 1.0 (* x z)) 3))
  (+ (* (* 1.0 (* x z)) (* 1.0 (* x z))) (* (* (+ 1.0 (* z y)) x) (* (+ (+ 1.0 (* z y)) (* z 1.0)) x)))
  (* (* (* (+ (+ 1.0 (* z y)) (* z 1.0)) x) x) (+ (* z (- y 1.0)) 1.0))
  (* (+ (+ 1.0 (* z y)) (* z 1.0)) x)
  (* (* x z) (- y 1.0))
  (* (* x z) (- y 1.0))
  (* 1.0 x)
  (* (+ 1.0 (* z y)) x)
  (* (+ 1.0 (* z y)) x)
  (* 1.0 (- x (* x z)))
  (* x (+ (* z (- y 1.0)) 1.0))
  (* x (+ (* z (- y 1.0)) 1.0))
10.569 * * * [progress]: adding candidates to table
10.658 * * [progress]: iteration 4 / 4
10.658 * * * [progress]: picking best candidate
10.668 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))>
10.668 * * * [progress]: localizing error
10.681 * * * [progress]: generating rewritten candidates
10.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
10.683 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2)
10.684 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
10.686 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
10.707 * * * [progress]: generating series expansions
10.708 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
10.708 * [approximate]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in (z y) around 0
10.708 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in y
10.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in y
10.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in y
10.708 * [taylor]: Taking taylor expansion of 1/3 in y
10.708 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in y
10.708 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
10.708 * [taylor]: Taking taylor expansion of (* z y) in y
10.708 * [taylor]: Taking taylor expansion of z in y
10.708 * [taylor]: Taking taylor expansion of y in y
10.708 * [taylor]: Taking taylor expansion of 1.0 in y
10.711 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z
10.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z
10.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z
10.711 * [taylor]: Taking taylor expansion of 1/3 in z
10.711 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z
10.711 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
10.711 * [taylor]: Taking taylor expansion of (* z y) in z
10.711 * [taylor]: Taking taylor expansion of z in z
10.711 * [taylor]: Taking taylor expansion of y in z
10.711 * [taylor]: Taking taylor expansion of 1.0 in z
10.713 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z
10.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z
10.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z
10.713 * [taylor]: Taking taylor expansion of 1/3 in z
10.713 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z
10.713 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
10.713 * [taylor]: Taking taylor expansion of (* z y) in z
10.713 * [taylor]: Taking taylor expansion of z in z
10.713 * [taylor]: Taking taylor expansion of y in z
10.713 * [taylor]: Taking taylor expansion of 1.0 in z
10.715 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.715 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.715 * [taylor]: Taking taylor expansion of 1/3 in y
10.715 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.715 * [taylor]: Taking taylor expansion of 1.0 in y
10.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* y (pow 1.0 1/3))) in y
10.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
10.720 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y
10.720 * [taylor]: Taking taylor expansion of y in y
10.720 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.720 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.720 * [taylor]: Taking taylor expansion of 1/3 in y
10.720 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.720 * [taylor]: Taking taylor expansion of 1.0 in y
10.732 * [taylor]: Taking taylor expansion of (* (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) (pow 1.0 1/3)) in y
10.732 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) in y
10.732 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (pow y 2)) in y
10.732 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
10.732 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.732 * [taylor]: Taking taylor expansion of y in y
10.732 * [taylor]: Taking taylor expansion of (* 1/6 (/ (pow y 2) (pow 1.0 2))) in y
10.732 * [taylor]: Taking taylor expansion of 1/6 in y
10.732 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y
10.732 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.733 * [taylor]: Taking taylor expansion of y in y
10.733 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
10.733 * [taylor]: Taking taylor expansion of 1.0 in y
10.733 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.733 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.733 * [taylor]: Taking taylor expansion of 1/3 in y
10.733 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.733 * [taylor]: Taking taylor expansion of 1.0 in y
10.750 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) (pow 1.0 1/3)) in y
10.750 * [taylor]: Taking taylor expansion of (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) in y
10.750 * [taylor]: Taking taylor expansion of (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) in y
10.750 * [taylor]: Taking taylor expansion of (* 0.006172839506172839 (pow y 3)) in y
10.750 * [taylor]: Taking taylor expansion of 0.006172839506172839 in y
10.750 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.750 * [taylor]: Taking taylor expansion of y in y
10.750 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow y 3) (pow 1.0 3))) in y
10.750 * [taylor]: Taking taylor expansion of 1/9 in y
10.750 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 3)) in y
10.750 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.750 * [taylor]: Taking taylor expansion of y in y
10.751 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y
10.751 * [taylor]: Taking taylor expansion of 1.0 in y
10.752 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2))) in y
10.752 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
10.752 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 2)) in y
10.752 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.752 * [taylor]: Taking taylor expansion of y in y
10.752 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
10.752 * [taylor]: Taking taylor expansion of 1.0 in y
10.753 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.753 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.753 * [taylor]: Taking taylor expansion of 1/3 in y
10.753 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.753 * [taylor]: Taking taylor expansion of 1.0 in y
10.774 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) (pow 1.0 1/3)) in y
10.774 * [taylor]: Taking taylor expansion of (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) in y
10.774 * [taylor]: Taking taylor expansion of (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) in y
10.774 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) in y
10.774 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
10.774 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 3)) in y
10.774 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.774 * [taylor]: Taking taylor expansion of y in y
10.774 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y
10.774 * [taylor]: Taking taylor expansion of 1.0 in y
10.775 * [taylor]: Taking taylor expansion of (* 0.0005144032921810699 (pow y 4)) in y
10.775 * [taylor]: Taking taylor expansion of 0.0005144032921810699 in y
10.775 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.775 * [taylor]: Taking taylor expansion of y in y
10.775 * [taylor]: Taking taylor expansion of (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2)))) in y
10.775 * [taylor]: Taking taylor expansion of (* 5/72 (/ (pow y 4) (pow 1.0 4))) in y
10.775 * [taylor]: Taking taylor expansion of 5/72 in y
10.775 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 4)) in y
10.775 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.775 * [taylor]: Taking taylor expansion of y in y
10.775 * [taylor]: Taking taylor expansion of (pow 1.0 4) in y
10.775 * [taylor]: Taking taylor expansion of 1.0 in y
10.777 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))) in y
10.777 * [taylor]: Taking taylor expansion of 0.009259259259259259 in y
10.777 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 2)) in y
10.777 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.777 * [taylor]: Taking taylor expansion of y in y
10.777 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
10.777 * [taylor]: Taking taylor expansion of 1.0 in y
10.778 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.778 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.778 * [taylor]: Taking taylor expansion of 1/3 in y
10.778 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.778 * [taylor]: Taking taylor expansion of 1.0 in y
10.784 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0
10.785 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y
10.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y
10.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y
10.785 * [taylor]: Taking taylor expansion of 1/3 in y
10.785 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y
10.785 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
10.785 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.785 * [taylor]: Taking taylor expansion of (* z y) in y
10.785 * [taylor]: Taking taylor expansion of z in y
10.785 * [taylor]: Taking taylor expansion of y in y
10.785 * [taylor]: Taking taylor expansion of 1.0 in y
10.786 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
10.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
10.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
10.786 * [taylor]: Taking taylor expansion of 1/3 in z
10.786 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
10.786 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
10.786 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.786 * [taylor]: Taking taylor expansion of (* z y) in z
10.786 * [taylor]: Taking taylor expansion of z in z
10.786 * [taylor]: Taking taylor expansion of y in z
10.786 * [taylor]: Taking taylor expansion of 1.0 in z
10.787 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
10.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
10.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
10.787 * [taylor]: Taking taylor expansion of 1/3 in z
10.787 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
10.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
10.787 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.787 * [taylor]: Taking taylor expansion of (* z y) in z
10.787 * [taylor]: Taking taylor expansion of z in z
10.787 * [taylor]: Taking taylor expansion of y in z
10.787 * [taylor]: Taking taylor expansion of 1.0 in z
10.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.788 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.788 * [taylor]: Taking taylor expansion of 1/3 in y
10.788 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.788 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.788 * [taylor]: Taking taylor expansion of y in y
10.788 * [taylor]: Taking taylor expansion of (log z) in y
10.788 * [taylor]: Taking taylor expansion of z in y
10.791 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y
10.791 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
10.791 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y
10.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.791 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.791 * [taylor]: Taking taylor expansion of 1/3 in y
10.791 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.791 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.791 * [taylor]: Taking taylor expansion of y in y
10.792 * [taylor]: Taking taylor expansion of (log z) in y
10.792 * [taylor]: Taking taylor expansion of z in y
10.792 * [taylor]: Taking taylor expansion of y in y
10.799 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y
10.799 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
10.799 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y
10.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.799 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.799 * [taylor]: Taking taylor expansion of 1/3 in y
10.799 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.799 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.799 * [taylor]: Taking taylor expansion of y in y
10.800 * [taylor]: Taking taylor expansion of (log z) in y
10.800 * [taylor]: Taking taylor expansion of z in y
10.800 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.800 * [taylor]: Taking taylor expansion of y in y
10.817 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y
10.818 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y
10.818 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y
10.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.818 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.818 * [taylor]: Taking taylor expansion of 1/3 in y
10.818 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.818 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.818 * [taylor]: Taking taylor expansion of y in y
10.818 * [taylor]: Taking taylor expansion of (log z) in y
10.818 * [taylor]: Taking taylor expansion of z in y
10.819 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.819 * [taylor]: Taking taylor expansion of y in y
10.838 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y
10.838 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y
10.838 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y
10.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.838 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.838 * [taylor]: Taking taylor expansion of 1/3 in y
10.838 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.838 * [taylor]: Taking taylor expansion of y in y
10.838 * [taylor]: Taking taylor expansion of (log z) in y
10.838 * [taylor]: Taking taylor expansion of z in y
10.839 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.839 * [taylor]: Taking taylor expansion of y in y
10.840 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0
10.840 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y
10.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y
10.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y
10.840 * [taylor]: Taking taylor expansion of 1/3 in y
10.840 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y
10.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
10.840 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.840 * [taylor]: Taking taylor expansion of (* z y) in y
10.840 * [taylor]: Taking taylor expansion of z in y
10.840 * [taylor]: Taking taylor expansion of y in y
10.841 * [taylor]: Taking taylor expansion of 1.0 in y
10.841 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
10.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
10.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
10.841 * [taylor]: Taking taylor expansion of 1/3 in z
10.841 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
10.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
10.841 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.841 * [taylor]: Taking taylor expansion of (* z y) in z
10.841 * [taylor]: Taking taylor expansion of z in z
10.841 * [taylor]: Taking taylor expansion of y in z
10.842 * [taylor]: Taking taylor expansion of 1.0 in z
10.842 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
10.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
10.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
10.842 * [taylor]: Taking taylor expansion of 1/3 in z
10.842 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
10.842 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
10.842 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.842 * [taylor]: Taking taylor expansion of (* z y) in z
10.842 * [taylor]: Taking taylor expansion of z in z
10.842 * [taylor]: Taking taylor expansion of y in z
10.843 * [taylor]: Taking taylor expansion of 1.0 in z
10.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.843 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.843 * [taylor]: Taking taylor expansion of 1/3 in y
10.843 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.843 * [taylor]: Taking taylor expansion of y in y
10.844 * [taylor]: Taking taylor expansion of (log z) in y
10.844 * [taylor]: Taking taylor expansion of z in y
10.847 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y
10.847 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
10.847 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y
10.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.847 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.847 * [taylor]: Taking taylor expansion of 1/3 in y
10.847 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.847 * [taylor]: Taking taylor expansion of y in y
10.847 * [taylor]: Taking taylor expansion of (log z) in y
10.847 * [taylor]: Taking taylor expansion of z in y
10.848 * [taylor]: Taking taylor expansion of y in y
10.855 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y
10.855 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
10.855 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y
10.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.855 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.855 * [taylor]: Taking taylor expansion of 1/3 in y
10.855 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.855 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.855 * [taylor]: Taking taylor expansion of y in y
10.856 * [taylor]: Taking taylor expansion of (log z) in y
10.856 * [taylor]: Taking taylor expansion of z in y
10.856 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.856 * [taylor]: Taking taylor expansion of y in y
10.869 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y
10.870 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y
10.870 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y
10.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.870 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.870 * [taylor]: Taking taylor expansion of 1/3 in y
10.870 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.870 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.870 * [taylor]: Taking taylor expansion of y in y
10.870 * [taylor]: Taking taylor expansion of (log z) in y
10.870 * [taylor]: Taking taylor expansion of z in y
10.871 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.871 * [taylor]: Taking taylor expansion of y in y
10.889 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y
10.889 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y
10.889 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y
10.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.889 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.889 * [taylor]: Taking taylor expansion of 1/3 in y
10.889 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.889 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.890 * [taylor]: Taking taylor expansion of y in y
10.890 * [taylor]: Taking taylor expansion of (log z) in y
10.890 * [taylor]: Taking taylor expansion of z in y
10.891 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.891 * [taylor]: Taking taylor expansion of y in y
10.892 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2)
10.892 * [approximate]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in (z y) around 0
10.892 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in y
10.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in y
10.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in y
10.892 * [taylor]: Taking taylor expansion of 1/3 in y
10.892 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in y
10.892 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
10.892 * [taylor]: Taking taylor expansion of (* z y) in y
10.892 * [taylor]: Taking taylor expansion of z in y
10.892 * [taylor]: Taking taylor expansion of y in y
10.892 * [taylor]: Taking taylor expansion of 1.0 in y
10.894 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z
10.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z
10.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z
10.894 * [taylor]: Taking taylor expansion of 1/3 in z
10.894 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z
10.894 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
10.894 * [taylor]: Taking taylor expansion of (* z y) in z
10.894 * [taylor]: Taking taylor expansion of z in z
10.894 * [taylor]: Taking taylor expansion of y in z
10.894 * [taylor]: Taking taylor expansion of 1.0 in z
10.896 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z
10.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z
10.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z
10.896 * [taylor]: Taking taylor expansion of 1/3 in z
10.896 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z
10.897 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
10.897 * [taylor]: Taking taylor expansion of (* z y) in z
10.897 * [taylor]: Taking taylor expansion of z in z
10.897 * [taylor]: Taking taylor expansion of y in z
10.897 * [taylor]: Taking taylor expansion of 1.0 in z
10.901 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.901 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.901 * [taylor]: Taking taylor expansion of 1/3 in y
10.901 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.901 * [taylor]: Taking taylor expansion of 1.0 in y
10.905 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* y (pow 1.0 1/3))) in y
10.905 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
10.905 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y
10.905 * [taylor]: Taking taylor expansion of y in y
10.905 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.906 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.906 * [taylor]: Taking taylor expansion of 1/3 in y
10.906 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.906 * [taylor]: Taking taylor expansion of 1.0 in y
10.914 * [taylor]: Taking taylor expansion of (* (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) (pow 1.0 1/3)) in y
10.914 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) in y
10.914 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (pow y 2)) in y
10.914 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
10.914 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.914 * [taylor]: Taking taylor expansion of y in y
10.914 * [taylor]: Taking taylor expansion of (* 1/6 (/ (pow y 2) (pow 1.0 2))) in y
10.914 * [taylor]: Taking taylor expansion of 1/6 in y
10.914 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y
10.914 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.914 * [taylor]: Taking taylor expansion of y in y
10.914 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
10.915 * [taylor]: Taking taylor expansion of 1.0 in y
10.915 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.915 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.915 * [taylor]: Taking taylor expansion of 1/3 in y
10.915 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.915 * [taylor]: Taking taylor expansion of 1.0 in y
10.932 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) (pow 1.0 1/3)) in y
10.932 * [taylor]: Taking taylor expansion of (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) in y
10.932 * [taylor]: Taking taylor expansion of (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) in y
10.932 * [taylor]: Taking taylor expansion of (* 0.006172839506172839 (pow y 3)) in y
10.932 * [taylor]: Taking taylor expansion of 0.006172839506172839 in y
10.932 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.932 * [taylor]: Taking taylor expansion of y in y
10.932 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow y 3) (pow 1.0 3))) in y
10.932 * [taylor]: Taking taylor expansion of 1/9 in y
10.932 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 3)) in y
10.932 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.932 * [taylor]: Taking taylor expansion of y in y
10.932 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y
10.932 * [taylor]: Taking taylor expansion of 1.0 in y
10.933 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2))) in y
10.933 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
10.933 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 2)) in y
10.933 * [taylor]: Taking taylor expansion of (pow y 3) in y
10.933 * [taylor]: Taking taylor expansion of y in y
10.933 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
10.933 * [taylor]: Taking taylor expansion of 1.0 in y
10.934 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.934 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.934 * [taylor]: Taking taylor expansion of 1/3 in y
10.934 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.934 * [taylor]: Taking taylor expansion of 1.0 in y
10.955 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) (pow 1.0 1/3)) in y
10.955 * [taylor]: Taking taylor expansion of (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) in y
10.955 * [taylor]: Taking taylor expansion of (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) in y
10.955 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) in y
10.955 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
10.955 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 3)) in y
10.955 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.955 * [taylor]: Taking taylor expansion of y in y
10.955 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y
10.955 * [taylor]: Taking taylor expansion of 1.0 in y
10.956 * [taylor]: Taking taylor expansion of (* 0.0005144032921810699 (pow y 4)) in y
10.956 * [taylor]: Taking taylor expansion of 0.0005144032921810699 in y
10.956 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.956 * [taylor]: Taking taylor expansion of y in y
10.956 * [taylor]: Taking taylor expansion of (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2)))) in y
10.956 * [taylor]: Taking taylor expansion of (* 5/72 (/ (pow y 4) (pow 1.0 4))) in y
10.956 * [taylor]: Taking taylor expansion of 5/72 in y
10.956 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 4)) in y
10.956 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.956 * [taylor]: Taking taylor expansion of y in y
10.956 * [taylor]: Taking taylor expansion of (pow 1.0 4) in y
10.956 * [taylor]: Taking taylor expansion of 1.0 in y
10.958 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))) in y
10.958 * [taylor]: Taking taylor expansion of 0.009259259259259259 in y
10.958 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 2)) in y
10.958 * [taylor]: Taking taylor expansion of (pow y 4) in y
10.958 * [taylor]: Taking taylor expansion of y in y
10.958 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
10.958 * [taylor]: Taking taylor expansion of 1.0 in y
10.959 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
10.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
10.959 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
10.959 * [taylor]: Taking taylor expansion of 1/3 in y
10.959 * [taylor]: Taking taylor expansion of (log 1.0) in y
10.959 * [taylor]: Taking taylor expansion of 1.0 in y
10.966 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0
10.966 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y
10.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y
10.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y
10.966 * [taylor]: Taking taylor expansion of 1/3 in y
10.966 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y
10.966 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
10.966 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
10.966 * [taylor]: Taking taylor expansion of (* z y) in y
10.966 * [taylor]: Taking taylor expansion of z in y
10.966 * [taylor]: Taking taylor expansion of y in y
10.967 * [taylor]: Taking taylor expansion of 1.0 in y
10.967 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
10.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
10.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
10.967 * [taylor]: Taking taylor expansion of 1/3 in z
10.967 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
10.967 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
10.967 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.967 * [taylor]: Taking taylor expansion of (* z y) in z
10.967 * [taylor]: Taking taylor expansion of z in z
10.967 * [taylor]: Taking taylor expansion of y in z
10.968 * [taylor]: Taking taylor expansion of 1.0 in z
10.968 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
10.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
10.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
10.968 * [taylor]: Taking taylor expansion of 1/3 in z
10.968 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
10.968 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
10.968 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
10.968 * [taylor]: Taking taylor expansion of (* z y) in z
10.968 * [taylor]: Taking taylor expansion of z in z
10.968 * [taylor]: Taking taylor expansion of y in z
10.969 * [taylor]: Taking taylor expansion of 1.0 in z
10.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.969 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.969 * [taylor]: Taking taylor expansion of 1/3 in y
10.969 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.969 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.969 * [taylor]: Taking taylor expansion of y in y
10.970 * [taylor]: Taking taylor expansion of (log z) in y
10.970 * [taylor]: Taking taylor expansion of z in y
10.973 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y
10.973 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
10.973 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y
10.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.973 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.973 * [taylor]: Taking taylor expansion of 1/3 in y
10.973 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.973 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.973 * [taylor]: Taking taylor expansion of y in y
10.974 * [taylor]: Taking taylor expansion of (log z) in y
10.974 * [taylor]: Taking taylor expansion of z in y
10.974 * [taylor]: Taking taylor expansion of y in y
10.981 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y
10.981 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
10.981 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y
10.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.981 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.981 * [taylor]: Taking taylor expansion of 1/3 in y
10.981 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.981 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.981 * [taylor]: Taking taylor expansion of y in y
10.985 * [taylor]: Taking taylor expansion of (log z) in y
10.985 * [taylor]: Taking taylor expansion of z in y
10.986 * [taylor]: Taking taylor expansion of (pow y 2) in y
10.986 * [taylor]: Taking taylor expansion of y in y
10.999 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y
10.999 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y
10.999 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y
10.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
10.999 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
10.999 * [taylor]: Taking taylor expansion of 1/3 in y
10.999 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
10.999 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
10.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.999 * [taylor]: Taking taylor expansion of y in y
11.000 * [taylor]: Taking taylor expansion of (log z) in y
11.000 * [taylor]: Taking taylor expansion of z in y
11.000 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.000 * [taylor]: Taking taylor expansion of y in y
11.019 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y
11.020 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y
11.020 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y
11.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.020 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.020 * [taylor]: Taking taylor expansion of 1/3 in y
11.020 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.020 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.020 * [taylor]: Taking taylor expansion of y in y
11.020 * [taylor]: Taking taylor expansion of (log z) in y
11.020 * [taylor]: Taking taylor expansion of z in y
11.021 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.021 * [taylor]: Taking taylor expansion of y in y
11.022 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0
11.022 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y
11.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y
11.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y
11.022 * [taylor]: Taking taylor expansion of 1/3 in y
11.022 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y
11.022 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
11.022 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.022 * [taylor]: Taking taylor expansion of (* z y) in y
11.022 * [taylor]: Taking taylor expansion of z in y
11.022 * [taylor]: Taking taylor expansion of y in y
11.022 * [taylor]: Taking taylor expansion of 1.0 in y
11.023 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
11.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
11.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
11.023 * [taylor]: Taking taylor expansion of 1/3 in z
11.023 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
11.023 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.023 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.023 * [taylor]: Taking taylor expansion of (* z y) in z
11.023 * [taylor]: Taking taylor expansion of z in z
11.023 * [taylor]: Taking taylor expansion of y in z
11.024 * [taylor]: Taking taylor expansion of 1.0 in z
11.024 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
11.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
11.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
11.024 * [taylor]: Taking taylor expansion of 1/3 in z
11.024 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
11.024 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.024 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.024 * [taylor]: Taking taylor expansion of (* z y) in z
11.024 * [taylor]: Taking taylor expansion of z in z
11.024 * [taylor]: Taking taylor expansion of y in z
11.024 * [taylor]: Taking taylor expansion of 1.0 in z
11.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.025 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.025 * [taylor]: Taking taylor expansion of 1/3 in y
11.025 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.025 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.025 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.025 * [taylor]: Taking taylor expansion of y in y
11.026 * [taylor]: Taking taylor expansion of (log z) in y
11.026 * [taylor]: Taking taylor expansion of z in y
11.029 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y
11.029 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
11.029 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y
11.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.029 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.029 * [taylor]: Taking taylor expansion of 1/3 in y
11.029 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.029 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.029 * [taylor]: Taking taylor expansion of y in y
11.029 * [taylor]: Taking taylor expansion of (log z) in y
11.029 * [taylor]: Taking taylor expansion of z in y
11.030 * [taylor]: Taking taylor expansion of y in y
11.037 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y
11.037 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
11.037 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y
11.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.037 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.037 * [taylor]: Taking taylor expansion of 1/3 in y
11.037 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.037 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.037 * [taylor]: Taking taylor expansion of y in y
11.038 * [taylor]: Taking taylor expansion of (log z) in y
11.038 * [taylor]: Taking taylor expansion of z in y
11.038 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.038 * [taylor]: Taking taylor expansion of y in y
11.051 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y
11.051 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y
11.051 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y
11.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.051 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.051 * [taylor]: Taking taylor expansion of 1/3 in y
11.051 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.051 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.051 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.051 * [taylor]: Taking taylor expansion of y in y
11.052 * [taylor]: Taking taylor expansion of (log z) in y
11.052 * [taylor]: Taking taylor expansion of z in y
11.052 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.052 * [taylor]: Taking taylor expansion of y in y
11.075 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y
11.075 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y
11.075 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y
11.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.075 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.075 * [taylor]: Taking taylor expansion of 1/3 in y
11.075 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.075 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.075 * [taylor]: Taking taylor expansion of y in y
11.076 * [taylor]: Taking taylor expansion of (log z) in y
11.076 * [taylor]: Taking taylor expansion of z in y
11.076 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.076 * [taylor]: Taking taylor expansion of y in y
11.077 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
11.077 * [approximate]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in (z y) around 0
11.077 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in y
11.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in y
11.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in y
11.077 * [taylor]: Taking taylor expansion of 1/3 in y
11.078 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in y
11.078 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
11.078 * [taylor]: Taking taylor expansion of (* z y) in y
11.078 * [taylor]: Taking taylor expansion of z in y
11.078 * [taylor]: Taking taylor expansion of y in y
11.078 * [taylor]: Taking taylor expansion of 1.0 in y
11.080 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z
11.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z
11.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z
11.080 * [taylor]: Taking taylor expansion of 1/3 in z
11.080 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z
11.080 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
11.080 * [taylor]: Taking taylor expansion of (* z y) in z
11.080 * [taylor]: Taking taylor expansion of z in z
11.080 * [taylor]: Taking taylor expansion of y in z
11.080 * [taylor]: Taking taylor expansion of 1.0 in z
11.082 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 1/3) in z
11.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* z y) 1.0)))) in z
11.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* z y) 1.0))) in z
11.082 * [taylor]: Taking taylor expansion of 1/3 in z
11.082 * [taylor]: Taking taylor expansion of (log (+ (* z y) 1.0)) in z
11.082 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
11.082 * [taylor]: Taking taylor expansion of (* z y) in z
11.082 * [taylor]: Taking taylor expansion of z in z
11.082 * [taylor]: Taking taylor expansion of y in z
11.082 * [taylor]: Taking taylor expansion of 1.0 in z
11.084 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.084 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.084 * [taylor]: Taking taylor expansion of 1/3 in y
11.084 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.084 * [taylor]: Taking taylor expansion of 1.0 in y
11.088 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* y (pow 1.0 1/3))) in y
11.088 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
11.088 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y
11.088 * [taylor]: Taking taylor expansion of y in y
11.088 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.089 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.089 * [taylor]: Taking taylor expansion of 1/3 in y
11.089 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.089 * [taylor]: Taking taylor expansion of 1.0 in y
11.097 * [taylor]: Taking taylor expansion of (* (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) (pow 1.0 1/3)) in y
11.097 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (pow y 2)) (* 1/6 (/ (pow y 2) (pow 1.0 2)))) in y
11.097 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (pow y 2)) in y
11.097 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
11.097 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.097 * [taylor]: Taking taylor expansion of y in y
11.097 * [taylor]: Taking taylor expansion of (* 1/6 (/ (pow y 2) (pow 1.0 2))) in y
11.097 * [taylor]: Taking taylor expansion of 1/6 in y
11.097 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y
11.097 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.097 * [taylor]: Taking taylor expansion of y in y
11.097 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
11.097 * [taylor]: Taking taylor expansion of 1.0 in y
11.098 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.098 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.098 * [taylor]: Taking taylor expansion of 1/3 in y
11.098 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.098 * [taylor]: Taking taylor expansion of 1.0 in y
11.115 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) (pow 1.0 1/3)) in y
11.115 * [taylor]: Taking taylor expansion of (- (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2)))) in y
11.115 * [taylor]: Taking taylor expansion of (+ (* 0.006172839506172839 (pow y 3)) (* 1/9 (/ (pow y 3) (pow 1.0 3)))) in y
11.115 * [taylor]: Taking taylor expansion of (* 0.006172839506172839 (pow y 3)) in y
11.115 * [taylor]: Taking taylor expansion of 0.006172839506172839 in y
11.115 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.115 * [taylor]: Taking taylor expansion of y in y
11.115 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow y 3) (pow 1.0 3))) in y
11.115 * [taylor]: Taking taylor expansion of 1/9 in y
11.115 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 3)) in y
11.116 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.116 * [taylor]: Taking taylor expansion of y in y
11.116 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y
11.116 * [taylor]: Taking taylor expansion of 1.0 in y
11.117 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (pow y 3) (pow 1.0 2))) in y
11.117 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y
11.117 * [taylor]: Taking taylor expansion of (/ (pow y 3) (pow 1.0 2)) in y
11.117 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.117 * [taylor]: Taking taylor expansion of y in y
11.117 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
11.117 * [taylor]: Taking taylor expansion of 1.0 in y
11.118 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.118 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.118 * [taylor]: Taking taylor expansion of 1/3 in y
11.118 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.118 * [taylor]: Taking taylor expansion of 1.0 in y
11.140 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) (pow 1.0 1/3)) in y
11.140 * [taylor]: Taking taylor expansion of (- (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))))) in y
11.140 * [taylor]: Taking taylor expansion of (+ (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) (* 0.0005144032921810699 (pow y 4))) in y
11.140 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ (pow y 4) (pow 1.0 3))) in y
11.140 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y
11.140 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 3)) in y
11.140 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.140 * [taylor]: Taking taylor expansion of y in y
11.140 * [taylor]: Taking taylor expansion of (pow 1.0 3) in y
11.140 * [taylor]: Taking taylor expansion of 1.0 in y
11.142 * [taylor]: Taking taylor expansion of (* 0.0005144032921810699 (pow y 4)) in y
11.142 * [taylor]: Taking taylor expansion of 0.0005144032921810699 in y
11.142 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.142 * [taylor]: Taking taylor expansion of y in y
11.142 * [taylor]: Taking taylor expansion of (+ (* 5/72 (/ (pow y 4) (pow 1.0 4))) (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2)))) in y
11.142 * [taylor]: Taking taylor expansion of (* 5/72 (/ (pow y 4) (pow 1.0 4))) in y
11.142 * [taylor]: Taking taylor expansion of 5/72 in y
11.142 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 4)) in y
11.142 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.142 * [taylor]: Taking taylor expansion of y in y
11.142 * [taylor]: Taking taylor expansion of (pow 1.0 4) in y
11.142 * [taylor]: Taking taylor expansion of 1.0 in y
11.143 * [taylor]: Taking taylor expansion of (* 0.009259259259259259 (/ (pow y 4) (pow 1.0 2))) in y
11.143 * [taylor]: Taking taylor expansion of 0.009259259259259259 in y
11.143 * [taylor]: Taking taylor expansion of (/ (pow y 4) (pow 1.0 2)) in y
11.143 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.143 * [taylor]: Taking taylor expansion of y in y
11.143 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y
11.143 * [taylor]: Taking taylor expansion of 1.0 in y
11.144 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.144 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.144 * [taylor]: Taking taylor expansion of 1/3 in y
11.144 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.144 * [taylor]: Taking taylor expansion of 1.0 in y
11.151 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0
11.151 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y
11.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y
11.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y
11.151 * [taylor]: Taking taylor expansion of 1/3 in y
11.151 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y
11.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
11.151 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.151 * [taylor]: Taking taylor expansion of (* z y) in y
11.151 * [taylor]: Taking taylor expansion of z in y
11.151 * [taylor]: Taking taylor expansion of y in y
11.152 * [taylor]: Taking taylor expansion of 1.0 in y
11.152 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
11.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
11.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
11.152 * [taylor]: Taking taylor expansion of 1/3 in z
11.152 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
11.152 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.152 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.152 * [taylor]: Taking taylor expansion of (* z y) in z
11.152 * [taylor]: Taking taylor expansion of z in z
11.152 * [taylor]: Taking taylor expansion of y in z
11.153 * [taylor]: Taking taylor expansion of 1.0 in z
11.153 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
11.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
11.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
11.153 * [taylor]: Taking taylor expansion of 1/3 in z
11.153 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
11.153 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.153 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.153 * [taylor]: Taking taylor expansion of (* z y) in z
11.153 * [taylor]: Taking taylor expansion of z in z
11.153 * [taylor]: Taking taylor expansion of y in z
11.154 * [taylor]: Taking taylor expansion of 1.0 in z
11.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.158 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.158 * [taylor]: Taking taylor expansion of 1/3 in y
11.158 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.158 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.158 * [taylor]: Taking taylor expansion of y in y
11.159 * [taylor]: Taking taylor expansion of (log z) in y
11.159 * [taylor]: Taking taylor expansion of z in y
11.162 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y
11.163 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
11.163 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y
11.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.163 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.163 * [taylor]: Taking taylor expansion of 1/3 in y
11.163 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.163 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.163 * [taylor]: Taking taylor expansion of y in y
11.163 * [taylor]: Taking taylor expansion of (log z) in y
11.164 * [taylor]: Taking taylor expansion of z in y
11.164 * [taylor]: Taking taylor expansion of y in y
11.171 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y
11.171 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
11.171 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y
11.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.171 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.171 * [taylor]: Taking taylor expansion of 1/3 in y
11.171 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.172 * [taylor]: Taking taylor expansion of y in y
11.172 * [taylor]: Taking taylor expansion of (log z) in y
11.172 * [taylor]: Taking taylor expansion of z in y
11.173 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.173 * [taylor]: Taking taylor expansion of y in y
11.186 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y
11.186 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y
11.186 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y
11.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.186 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.186 * [taylor]: Taking taylor expansion of 1/3 in y
11.186 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.186 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.186 * [taylor]: Taking taylor expansion of y in y
11.186 * [taylor]: Taking taylor expansion of (log z) in y
11.186 * [taylor]: Taking taylor expansion of z in y
11.187 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.187 * [taylor]: Taking taylor expansion of y in y
11.206 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y
11.206 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y
11.206 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y
11.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.206 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.206 * [taylor]: Taking taylor expansion of 1/3 in y
11.206 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.206 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.206 * [taylor]: Taking taylor expansion of y in y
11.207 * [taylor]: Taking taylor expansion of (log z) in y
11.207 * [taylor]: Taking taylor expansion of z in y
11.207 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.207 * [taylor]: Taking taylor expansion of y in y
11.208 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in (z y) around 0
11.208 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in y
11.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in y
11.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in y
11.208 * [taylor]: Taking taylor expansion of 1/3 in y
11.208 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in y
11.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
11.209 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.209 * [taylor]: Taking taylor expansion of (* z y) in y
11.209 * [taylor]: Taking taylor expansion of z in y
11.209 * [taylor]: Taking taylor expansion of y in y
11.209 * [taylor]: Taking taylor expansion of 1.0 in y
11.209 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
11.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
11.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
11.209 * [taylor]: Taking taylor expansion of 1/3 in z
11.209 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
11.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.210 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.210 * [taylor]: Taking taylor expansion of (* z y) in z
11.210 * [taylor]: Taking taylor expansion of z in z
11.210 * [taylor]: Taking taylor expansion of y in z
11.210 * [taylor]: Taking taylor expansion of 1.0 in z
11.210 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 1/3) in z
11.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 (* z y)) 1.0)))) in z
11.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 (* z y)) 1.0))) in z
11.210 * [taylor]: Taking taylor expansion of 1/3 in z
11.210 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (* z y)) 1.0)) in z
11.210 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.211 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.211 * [taylor]: Taking taylor expansion of (* z y) in z
11.211 * [taylor]: Taking taylor expansion of z in z
11.211 * [taylor]: Taking taylor expansion of y in z
11.211 * [taylor]: Taking taylor expansion of 1.0 in z
11.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.212 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.212 * [taylor]: Taking taylor expansion of 1/3 in y
11.212 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.212 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.212 * [taylor]: Taking taylor expansion of y in y
11.212 * [taylor]: Taking taylor expansion of (log z) in y
11.212 * [taylor]: Taking taylor expansion of z in y
11.216 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y)) in y
11.216 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
11.216 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) y) in y
11.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.216 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.216 * [taylor]: Taking taylor expansion of 1/3 in y
11.216 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.216 * [taylor]: Taking taylor expansion of y in y
11.216 * [taylor]: Taking taylor expansion of (log z) in y
11.216 * [taylor]: Taking taylor expansion of z in y
11.217 * [taylor]: Taking taylor expansion of y in y
11.224 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2))) in y
11.224 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
11.224 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 2)) in y
11.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.224 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.224 * [taylor]: Taking taylor expansion of 1/3 in y
11.224 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.224 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.224 * [taylor]: Taking taylor expansion of y in y
11.224 * [taylor]: Taking taylor expansion of (log z) in y
11.224 * [taylor]: Taking taylor expansion of z in y
11.225 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.225 * [taylor]: Taking taylor expansion of y in y
11.238 * [taylor]: Taking taylor expansion of (* 0.06172839506172839 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3))) in y
11.238 * [taylor]: Taking taylor expansion of 0.06172839506172839 in y
11.238 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 3)) in y
11.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.238 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.238 * [taylor]: Taking taylor expansion of 1/3 in y
11.238 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.238 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.238 * [taylor]: Taking taylor expansion of y in y
11.239 * [taylor]: Taking taylor expansion of (log z) in y
11.239 * [taylor]: Taking taylor expansion of z in y
11.239 * [taylor]: Taking taylor expansion of (pow y 3) in y
11.239 * [taylor]: Taking taylor expansion of y in y
11.262 * [taylor]: Taking taylor expansion of (* -0.0411522633744856 (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4))) in y
11.262 * [taylor]: Taking taylor expansion of -0.0411522633744856 in y
11.262 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 y)) (log z)))) (pow y 4)) in y
11.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 y)) (log z)))) in y
11.262 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 y)) (log z))) in y
11.262 * [taylor]: Taking taylor expansion of 1/3 in y
11.262 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log z)) in y
11.262 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
11.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y
11.262 * [taylor]: Taking taylor expansion of y in y
11.263 * [taylor]: Taking taylor expansion of (log z) in y
11.263 * [taylor]: Taking taylor expansion of z in y
11.263 * [taylor]: Taking taylor expansion of (pow y 4) in y
11.263 * [taylor]: Taking taylor expansion of y in y
11.265 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
11.265 * [approximate]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in (x z y) around 0
11.265 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in y
11.265 * [taylor]: Taking taylor expansion of x in y
11.265 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in y
11.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in y
11.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in y
11.265 * [taylor]: Taking taylor expansion of 1/3 in y
11.265 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in y
11.265 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in y
11.265 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in y
11.265 * [taylor]: Taking taylor expansion of (* z y) in y
11.265 * [taylor]: Taking taylor expansion of z in y
11.265 * [taylor]: Taking taylor expansion of y in y
11.265 * [taylor]: Taking taylor expansion of 1.0 in y
11.267 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in z
11.267 * [taylor]: Taking taylor expansion of x in z
11.267 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in z
11.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in z
11.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in z
11.267 * [taylor]: Taking taylor expansion of 1/3 in z
11.267 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in z
11.267 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in z
11.267 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
11.267 * [taylor]: Taking taylor expansion of (* z y) in z
11.268 * [taylor]: Taking taylor expansion of z in z
11.268 * [taylor]: Taking taylor expansion of y in z
11.268 * [taylor]: Taking taylor expansion of 1.0 in z
11.270 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in x
11.270 * [taylor]: Taking taylor expansion of x in x
11.270 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in x
11.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in x
11.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in x
11.270 * [taylor]: Taking taylor expansion of 1/3 in x
11.270 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in x
11.270 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in x
11.270 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
11.270 * [taylor]: Taking taylor expansion of (* z y) in x
11.270 * [taylor]: Taking taylor expansion of z in x
11.270 * [taylor]: Taking taylor expansion of y in x
11.270 * [taylor]: Taking taylor expansion of 1.0 in x
11.271 * [taylor]: Taking taylor expansion of (* x (pow (pow (+ (* z y) 1.0) 2) 1/3)) in x
11.271 * [taylor]: Taking taylor expansion of x in x
11.271 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in x
11.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in x
11.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in x
11.271 * [taylor]: Taking taylor expansion of 1/3 in x
11.271 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in x
11.271 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in x
11.271 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in x
11.271 * [taylor]: Taking taylor expansion of (* z y) in x
11.271 * [taylor]: Taking taylor expansion of z in x
11.271 * [taylor]: Taking taylor expansion of y in x
11.271 * [taylor]: Taking taylor expansion of 1.0 in x
11.271 * [taylor]: Taking taylor expansion of 0 in z
11.271 * [taylor]: Taking taylor expansion of 0 in y
11.274 * [taylor]: Taking taylor expansion of (pow (pow (+ (* z y) 1.0) 2) 1/3) in z
11.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* z y) 1.0) 2)))) in z
11.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* z y) 1.0) 2))) in z
11.274 * [taylor]: Taking taylor expansion of 1/3 in z
11.274 * [taylor]: Taking taylor expansion of (log (pow (+ (* z y) 1.0) 2)) in z
11.274 * [taylor]: Taking taylor expansion of (pow (+ (* z y) 1.0) 2) in z
11.274 * [taylor]: Taking taylor expansion of (+ (* z y) 1.0) in z
11.274 * [taylor]: Taking taylor expansion of (* z y) in z
11.274 * [taylor]: Taking taylor expansion of z in z
11.274 * [taylor]: Taking taylor expansion of y in z
11.274 * [taylor]: Taking taylor expansion of 1.0 in z
11.276 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.276 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.276 * [taylor]: Taking taylor expansion of 1/3 in y
11.276 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.276 * [taylor]: Taking taylor expansion of 1.0 in y
11.278 * [taylor]: Taking taylor expansion of 0 in y
11.282 * [taylor]: Taking taylor expansion of 0 in z
11.282 * [taylor]: Taking taylor expansion of 0 in y
11.284 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* y (pow 1.0 1/3))) in y
11.284 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
11.284 * [taylor]: Taking taylor expansion of (* y (pow 1.0 1/3)) in y
11.284 * [taylor]: Taking taylor expansion of y in y
11.285 * [taylor]: Taking taylor expansion of (pow 1.0 1/3) in y
11.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log 1.0))) in y
11.285 * [taylor]: Taking taylor expansion of (* 1/3 (log 1.0)) in y
11.285 * [taylor]: Taking taylor expansion of 1/3 in y
11.285 * [taylor]: Taking taylor expansion of (log 1.0) in y
11.285 * [taylor]: Taking taylor expansion of 1.0 in y
11.287 * [taylor]: Taking taylor expansion of 0 in y
11.290 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in (x z y) around 0
11.290 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in y
11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.290 * [taylor]: Taking taylor expansion of x in y
11.290 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in y
11.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in y
11.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in y
11.290 * [taylor]: Taking taylor expansion of 1/3 in y
11.290 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in y
11.290 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in y
11.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
11.290 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.290 * [taylor]: Taking taylor expansion of (* z y) in y
11.290 * [taylor]: Taking taylor expansion of z in y
11.290 * [taylor]: Taking taylor expansion of y in y
11.290 * [taylor]: Taking taylor expansion of 1.0 in y
11.291 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in z
11.291 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.291 * [taylor]: Taking taylor expansion of x in z
11.291 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z
11.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z
11.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z
11.291 * [taylor]: Taking taylor expansion of 1/3 in z
11.291 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z
11.291 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z
11.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.291 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.291 * [taylor]: Taking taylor expansion of (* z y) in z
11.291 * [taylor]: Taking taylor expansion of z in z
11.291 * [taylor]: Taking taylor expansion of y in z
11.292 * [taylor]: Taking taylor expansion of 1.0 in z
11.292 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x
11.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.293 * [taylor]: Taking taylor expansion of x in x
11.293 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x
11.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x
11.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x
11.293 * [taylor]: Taking taylor expansion of 1/3 in x
11.293 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x
11.293 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x
11.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
11.293 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.293 * [taylor]: Taking taylor expansion of (* z y) in x
11.293 * [taylor]: Taking taylor expansion of z in x
11.293 * [taylor]: Taking taylor expansion of y in x
11.293 * [taylor]: Taking taylor expansion of 1.0 in x
11.294 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x
11.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.294 * [taylor]: Taking taylor expansion of x in x
11.294 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x
11.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x
11.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x
11.294 * [taylor]: Taking taylor expansion of 1/3 in x
11.294 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x
11.294 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x
11.294 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
11.294 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.294 * [taylor]: Taking taylor expansion of (* z y) in x
11.294 * [taylor]: Taking taylor expansion of z in x
11.294 * [taylor]: Taking taylor expansion of y in x
11.294 * [taylor]: Taking taylor expansion of 1.0 in x
11.295 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z
11.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z
11.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z
11.295 * [taylor]: Taking taylor expansion of 1/3 in z
11.295 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z
11.295 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z
11.295 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.295 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.295 * [taylor]: Taking taylor expansion of (* z y) in z
11.295 * [taylor]: Taking taylor expansion of z in z
11.295 * [taylor]: Taking taylor expansion of y in z
11.295 * [taylor]: Taking taylor expansion of 1.0 in z
11.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y
11.296 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y
11.296 * [taylor]: Taking taylor expansion of 1/3 in y
11.296 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y
11.296 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
11.296 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.296 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.296 * [taylor]: Taking taylor expansion of y in y
11.297 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
11.297 * [taylor]: Taking taylor expansion of 2 in y
11.297 * [taylor]: Taking taylor expansion of (log z) in y
11.297 * [taylor]: Taking taylor expansion of z in y
11.301 * [taylor]: Taking taylor expansion of 0 in z
11.301 * [taylor]: Taking taylor expansion of 0 in y
11.302 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y)) in y
11.303 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
11.303 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y) in y
11.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y
11.303 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y
11.303 * [taylor]: Taking taylor expansion of 1/3 in y
11.303 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y
11.303 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
11.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.303 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.303 * [taylor]: Taking taylor expansion of y in y
11.303 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
11.303 * [taylor]: Taking taylor expansion of 2 in y
11.303 * [taylor]: Taking taylor expansion of (log z) in y
11.303 * [taylor]: Taking taylor expansion of z in y
11.304 * [taylor]: Taking taylor expansion of y in y
11.313 * [taylor]: Taking taylor expansion of 0 in z
11.313 * [taylor]: Taking taylor expansion of 0 in y
11.313 * [taylor]: Taking taylor expansion of 0 in y
11.317 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2))) in y
11.317 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
11.317 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2)) in y
11.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y
11.317 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y
11.317 * [taylor]: Taking taylor expansion of 1/3 in y
11.317 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y
11.317 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
11.317 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.317 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.317 * [taylor]: Taking taylor expansion of y in y
11.318 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
11.318 * [taylor]: Taking taylor expansion of 2 in y
11.318 * [taylor]: Taking taylor expansion of (log z) in y
11.318 * [taylor]: Taking taylor expansion of z in y
11.319 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.319 * [taylor]: Taking taylor expansion of y in y
11.319 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in (x z y) around 0
11.319 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in y
11.319 * [taylor]: Taking taylor expansion of -1 in y
11.319 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in y
11.319 * [taylor]: Taking taylor expansion of (/ 1 x) in y
11.319 * [taylor]: Taking taylor expansion of x in y
11.319 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in y
11.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in y
11.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in y
11.319 * [taylor]: Taking taylor expansion of 1/3 in y
11.319 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in y
11.320 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in y
11.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in y
11.320 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
11.320 * [taylor]: Taking taylor expansion of (* z y) in y
11.320 * [taylor]: Taking taylor expansion of z in y
11.320 * [taylor]: Taking taylor expansion of y in y
11.320 * [taylor]: Taking taylor expansion of 1.0 in y
11.321 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in z
11.321 * [taylor]: Taking taylor expansion of -1 in z
11.321 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in z
11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in z
11.321 * [taylor]: Taking taylor expansion of x in z
11.321 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z
11.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z
11.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z
11.321 * [taylor]: Taking taylor expansion of 1/3 in z
11.321 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z
11.321 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z
11.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.321 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.321 * [taylor]: Taking taylor expansion of (* z y) in z
11.321 * [taylor]: Taking taylor expansion of z in z
11.321 * [taylor]: Taking taylor expansion of y in z
11.321 * [taylor]: Taking taylor expansion of 1.0 in z
11.322 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in x
11.322 * [taylor]: Taking taylor expansion of -1 in x
11.322 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x
11.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.322 * [taylor]: Taking taylor expansion of x in x
11.322 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x
11.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x
11.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x
11.323 * [taylor]: Taking taylor expansion of 1/3 in x
11.323 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x
11.323 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x
11.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
11.323 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.323 * [taylor]: Taking taylor expansion of (* z y) in x
11.323 * [taylor]: Taking taylor expansion of z in x
11.323 * [taylor]: Taking taylor expansion of y in x
11.323 * [taylor]: Taking taylor expansion of 1.0 in x
11.323 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3))) in x
11.323 * [taylor]: Taking taylor expansion of -1 in x
11.323 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in x
11.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.323 * [taylor]: Taking taylor expansion of x in x
11.324 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in x
11.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in x
11.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in x
11.324 * [taylor]: Taking taylor expansion of 1/3 in x
11.324 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in x
11.324 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in x
11.324 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in x
11.324 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
11.324 * [taylor]: Taking taylor expansion of (* z y) in x
11.324 * [taylor]: Taking taylor expansion of z in x
11.324 * [taylor]: Taking taylor expansion of y in x
11.324 * [taylor]: Taking taylor expansion of 1.0 in x
11.325 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3)) in z
11.325 * [taylor]: Taking taylor expansion of -1 in z
11.325 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (* z y)) 1.0) 2) 1/3) in z
11.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2)))) in z
11.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (* z y)) 1.0) 2))) in z
11.325 * [taylor]: Taking taylor expansion of 1/3 in z
11.325 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (* z y)) 1.0) 2)) in z
11.325 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* z y)) 1.0) 2) in z
11.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) 1.0) in z
11.325 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
11.325 * [taylor]: Taking taylor expansion of (* z y) in z
11.325 * [taylor]: Taking taylor expansion of z in z
11.325 * [taylor]: Taking taylor expansion of y in z
11.325 * [taylor]: Taking taylor expansion of 1.0 in z
11.326 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))))) in y
11.326 * [taylor]: Taking taylor expansion of -1 in y
11.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y
11.326 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y
11.326 * [taylor]: Taking taylor expansion of 1/3 in y
11.326 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y
11.326 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
11.326 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.327 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.327 * [taylor]: Taking taylor expansion of y in y
11.327 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
11.327 * [taylor]: Taking taylor expansion of 2 in y
11.327 * [taylor]: Taking taylor expansion of (log z) in y
11.327 * [taylor]: Taking taylor expansion of z in y
11.331 * [taylor]: Taking taylor expansion of 0 in z
11.331 * [taylor]: Taking taylor expansion of 0 in y
11.338 * [taylor]: Taking taylor expansion of (- (* 0.6666666666666666 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y))) in y
11.339 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y)) in y
11.339 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
11.339 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) y) in y
11.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y
11.339 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y
11.339 * [taylor]: Taking taylor expansion of 1/3 in y
11.339 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y
11.339 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
11.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.339 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.339 * [taylor]: Taking taylor expansion of y in y
11.339 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
11.339 * [taylor]: Taking taylor expansion of 2 in y
11.339 * [taylor]: Taking taylor expansion of (log z) in y
11.340 * [taylor]: Taking taylor expansion of z in y
11.340 * [taylor]: Taking taylor expansion of y in y
11.351 * [taylor]: Taking taylor expansion of 0 in z
11.351 * [taylor]: Taking taylor expansion of 0 in y
11.351 * [taylor]: Taking taylor expansion of 0 in y
11.355 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2))) in y
11.355 * [taylor]: Taking taylor expansion of 0.1111111111111111 in y
11.355 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) (pow y 2)) in y
11.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z))))) in y
11.355 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow y 2))) (* 2 (log z)))) in y
11.355 * [taylor]: Taking taylor expansion of 1/3 in y
11.356 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow y 2))) (* 2 (log z))) in y
11.356 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
11.356 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
11.356 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.356 * [taylor]: Taking taylor expansion of y in y
11.356 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
11.356 * [taylor]: Taking taylor expansion of 2 in y
11.356 * [taylor]: Taking taylor expansion of (log z) in y
11.356 * [taylor]: Taking taylor expansion of z in y
11.357 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.357 * [taylor]: Taking taylor expansion of y in y
11.357 * * * [progress]: simplifying candidates
11.358 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (+ 1.0 (* z y))))
  (exp (cbrt (+ 1.0 (* z y))))
  (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt 1)
  (cbrt (+ 1.0 (* z y)))
  (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))
  (cbrt (+ (* 1.0 1.0) (- (* (* z y) (* z y)) (* 1.0 (* z y)))))
  (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))
  (cbrt (- 1.0 (* z y)))
  (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (log (cbrt (+ 1.0 (* z y))))
  (exp (cbrt (+ 1.0 (* z y))))
  (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt 1)
  (cbrt (+ 1.0 (* z y)))
  (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))
  (cbrt (+ (* 1.0 1.0) (- (* (* z y) (* z y)) (* 1.0 (* z y)))))
  (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))
  (cbrt (- 1.0 (* z y)))
  (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (log (cbrt (+ 1.0 (* z y))))
  (exp (cbrt (+ 1.0 (* z y))))
  (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt 1)
  (cbrt (+ 1.0 (* z y)))
  (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))
  (cbrt (+ (* 1.0 1.0) (- (* (* z y) (* z y)) (* 1.0 (* z y)))))
  (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))
  (cbrt (- 1.0 (* z y)))
  (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (+ (log x) (+ (log (cbrt (+ 1.0 (* z y)))) (log (cbrt (+ 1.0 (* z y))))))
  (+ (log x) (log (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (log (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (exp (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (* (* x x) x) (* (+ 1.0 (* z y)) (+ 1.0 (* z y))))
  (* (* (* x x) x) (* (* (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))))
  (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (sqrt x) (cbrt (+ 1.0 (* z y))))
  (* (sqrt x) (cbrt (+ 1.0 (* z y))))
  (* x (cbrt (+ 1.0 (* z y))))
  (* (cbrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* (sqrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))))
  (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))))
  (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ 1.0 (* z y)))))
  (- (+ (* 0.3333333333333333 (* (* z y) (pow 1.0 1/3))) (pow 1.0 1/3)) (* 0.1111111111111111 (* (* (pow z 2) (pow y 2)) (pow 1.0 1/3))))
  (- (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* y z))) (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* (pow y 2) (pow z 2)))))
  (- (+ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* z y)))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* (pow z 2) (pow y 2)))))
  (- (+ (* 0.3333333333333333 (* (* z y) (pow 1.0 1/3))) (pow 1.0 1/3)) (* 0.1111111111111111 (* (* (pow z 2) (pow y 2)) (pow 1.0 1/3))))
  (- (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* y z))) (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* (pow y 2) (pow z 2)))))
  (- (+ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* z y)))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* (pow z 2) (pow y 2)))))
  (- (+ (* 0.3333333333333333 (* (* z y) (pow 1.0 1/3))) (pow 1.0 1/3)) (* 0.1111111111111111 (* (* (pow z 2) (pow y 2)) (pow 1.0 1/3))))
  (- (+ (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* y z))) (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y)))))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ 1 z)) (log (/ 1 y))))) (* (pow y 2) (pow z 2)))))
  (- (+ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* 0.3333333333333333 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* z y)))) (* 0.1111111111111111 (/ (exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y))))) (* (pow z 2) (pow y 2)))))
  (* x (pow 1.0 1/3))
  (* x (exp (* -1/3 (+ (* 2 (log (/ 1 z))) (* 2 (log (/ 1 y)))))))
  (* x (exp (* -1/3 (+ (* 2 (log (/ -1 z))) (* 2 (log (/ -1 y)))))))
11.363 * * [simplify]: iteration  0 :  133  enodes  (cost  1465 )
11.387 * * [simplify]: iteration  1 :  348  enodes  (cost  1401 )
11.463 * * [simplify]: iteration  2 :  1003  enodes  (cost  1286 )
11.866 * * [simplify]: iteration  3 :  3995  enodes  (cost  1155 )
12.777 * * [simplify]: iteration  done :  5000  enodes  (cost  1155 )
12.778 * [simplify]: Simplified to:
   (log (cbrt (+ 1.0 (* z y))))
  (exp (cbrt (+ 1.0 (* z y))))
  (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  1
  (cbrt (+ 1.0 (* z y)))
  (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))
  (cbrt (+ (* 1.0 1.0) (* (* z y) (- (* z y) 1.0))))
  (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))
  (cbrt (- 1.0 (* z y)))
  (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (+ 1.0 (* z y))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (log (cbrt (+ 1.0 (* z y))))
  (exp (cbrt (+ 1.0 (* z y))))
  (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  1
  (cbrt (+ 1.0 (* z y)))
  (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))
  (cbrt (+ (* 1.0 1.0) (* (* z y) (- (* z y) 1.0))))
  (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))
  (cbrt (- 1.0 (* z y)))
  (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (+ 1.0 (* z y))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (log (cbrt (+ 1.0 (* z y))))
  (exp (cbrt (+ 1.0 (* z y))))
  (cbrt (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  (cbrt (sqrt (+ 1.0 (* z y))))
  1
  (cbrt (+ 1.0 (* z y)))
  (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))
  (cbrt (+ (* 1.0 1.0) (* (* z y) (- (* z y) 1.0))))
  (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))
  (cbrt (- 1.0 (* z y)))
  (* (cbrt (cbrt (+ 1.0 (* z y)))) (cbrt (cbrt (+ 1.0 (* z y)))))
  (cbrt (cbrt (+ 1.0 (* z y))))
  (+ 1.0 (* z y))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (sqrt (cbrt (+ 1.0 (* z y))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (+ (* 2 (log (cbrt (+ 1.0 (* z y))))) (log x))
  (+ (* 2 (log (cbrt (+ 1.0 (* z y))))) (log x))
  (+ (* 2 (log (cbrt (+ 1.0 (* z y))))) (log x))
  (exp (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (pow (cbrt (+ 1.0 (* z y))) 6) (pow x 3))
  (* (pow (cbrt (+ 1.0 (* z y))) 6) (pow x 3))
  (* (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))) (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))))
  (cbrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (pow (cbrt (+ 1.0 (* z y))) 6) (pow x 3))
  (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (sqrt (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))))
  (* (sqrt x) (cbrt (+ 1.0 (* z y))))
  (* (sqrt x) (cbrt (+ 1.0 (* z y))))
  (* x (cbrt (+ 1.0 (* z y))))
  (* (cbrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* (sqrt x) (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ (pow 1.0 3) (pow (* z y) 3)))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))))
  (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (- (* 1.0 1.0) (* (* z y) (* z y))))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (+ (pow 1.0 3) (pow (* z y) 3))) (cbrt (+ 1.0 (* z y)))))
  (* x (* (cbrt (- (* 1.0 1.0) (* (* z y) (* z y)))) (cbrt (+ 1.0 (* z y)))))
  (* (cbrt 1.0) (- (+ (* 0.3333333333333333 (* z y)) 1) (* 0.1111111111111111 (* (* z y) (* z y)))))
  (+ (pow (exp -1/3) (- (- (log z)) (log y))) (* (/ (/ (pow (exp -1/3) (- (- (log z)) (log y))) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))))
  (+ (* (pow (/ -1 z) -1/3) (pow (/ -1 y) -1/3)) (* (/ (/ (* (pow (/ -1 z) -1/3) (pow (/ -1 y) -1/3)) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))))
  (* (cbrt 1.0) (- (+ (* 0.3333333333333333 (* z y)) 1) (* 0.1111111111111111 (* (* z y) (* z y)))))
  (+ (pow (exp -1/3) (- (- (log z)) (log y))) (* (/ (/ (pow (exp -1/3) (- (- (log z)) (log y))) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))))
  (+ (* (pow (/ -1 z) -1/3) (pow (/ -1 y) -1/3)) (* (/ (/ (* (pow (/ -1 z) -1/3) (pow (/ -1 y) -1/3)) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))))
  (* (cbrt 1.0) (- (+ (* 0.3333333333333333 (* z y)) 1) (* 0.1111111111111111 (* (* z y) (* z y)))))
  (+ (pow (exp -1/3) (- (- (log z)) (log y))) (* (/ (/ (pow (exp -1/3) (- (- (log z)) (log y))) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))))
  (+ (* (pow (/ -1 z) -1/3) (pow (/ -1 y) -1/3)) (* (/ (/ (* (pow (/ -1 z) -1/3) (pow (/ -1 y) -1/3)) y) z) (- 0.3333333333333333 (/ 0.1111111111111111 (* z y)))))
  (* (cbrt 1.0) x)
  (* x (exp (* -2/3 (- (- (log z)) (log y)))))
  (* (* x (pow (/ -1 z) -2/3)) (pow (/ -1 y) -2/3))
12.779 * * * [progress]: adding candidates to table
13.034 * [progress]: [Phase 3 of 3] Extracting.
13.034 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.036 * * * [regime-changes]: Trying 4 branch expressions: ((- 1.0 y) z y x)
13.036 * * * * [regimes]: Trying to branch on (- 1.0 y) from (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.059 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.097 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.123 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.151 * * * [regime]: Found split indices: #<option (#s(si 1 42) #s(si 3 210) #s(si 1 255))>
13.151 * [binary-search]: Improving bounds with binary search for z and (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.228 * [regimes]: Found splitpoints: (#s(sp 1 z -3.5627093803727213e+52) #s(sp 3 z 56035482213991.22) #s(sp 1 z +nan.0)) , with alts (#<alt (λ (x y z) (* x (- 1.0 (* (sqrt (- 1.0 y)) (* (sqrt (- 1.0 y)) z)))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* x z) (- y 1.0))))> #<alt (λ (x y z) (+ (cbrt (pow (* (+ 1.0 (* z y)) x) 3)) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (/ (* x (- (* 1.0 1.0) (* (* z y) (* z y)))) (- 1.0 (* z y))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* (* x (* (cbrt (+ 1.0 (* z y))) (cbrt (+ 1.0 (* z y))))) (cbrt (+ 1.0 (* z y)))) (* (* x z) (- 1.0))))> #<alt (λ (x y z) (+ (* x 1.0) (* (* (* x z) (+ (sqrt y) (sqrt 1.0))) (- (sqrt y) (sqrt 1.0)))))>)
13.229 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= z -3.5627093803727213e+52) (+ (* x 1.0) (* (* x z) (- y 1.0))) (if (<= z 56035482213991.22) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))) (+ (* x 1.0) (* (* x z) (- y 1.0)))))
13.229 * * [simplify]: iteration  0 :  21  enodes  (cost  44 )
13.230 * * [simplify]: iteration  1 :  35  enodes  (cost  34 )
13.231 * * [simplify]: iteration  2 :  38  enodes  (cost  34 )
13.233 * * [simplify]: iteration  3 :  45  enodes  (cost  34 )
13.234 * * [simplify]: iteration  done :  45  enodes  (cost  34 )
13.234 * [simplify]: Simplified to:
   (if (or (<= z -3.5627093803727213e+52) (not (<= z 56035482213991.22))) (+ (* x 1.0) (* (* x z) (- y 1.0))) (+ (* x (+ 1.0 (* z y))) (* (* x z) (- 1.0))))
13.891 * [regime-testing]: Baseline error score: 1.6062609996353092
13.891 * [regime-testing]: Oracle error score: 0.026628328541067635
13.892 * [regime-testing]: End program error score: 0.13521502219036396
13.917 * [regime-testing]: Target error score: 0.2634810554445207