12.670 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))
0.025 * * [simplify]: iteration  0 :  8  enodes  (cost  15 )
0.026 * * [simplify]: iteration  1 :  16  enodes  (cost  14 )
0.028 * * [simplify]: iteration  2 :  33  enodes  (cost  11 )
0.033 * * [simplify]: iteration  3 :  55  enodes  (cost  8 )
0.040 * * [simplify]: iteration  4 :  73  enodes  (cost  8 )
0.049 * * [simplify]: iteration  5 :  83  enodes  (cost  8 )
0.061 * * [simplify]: iteration  6 :  130  enodes  (cost  8 )
0.092 * * [simplify]: iteration  7 :  205  enodes  (cost  8 )
0.174 * * [simplify]: iteration  8 :  243  enodes  (cost  8 )
0.271 * * [simplify]: iteration  9 :  257  enodes  (cost  8 )
0.390 * * [simplify]: iteration  10 :  418  enodes  (cost  8 )
0.753 * * [simplify]: iteration  11 :  855  enodes  (cost  8 )
3.519 * * [simplify]: iteration  12 :  3229  enodes  (cost  8 )
23.121 * * [simplify]: iteration  done :  5000  enodes  (cost  8 )
23.121 * [simplify]: Simplified to:
   (fma y x (* 3 (* z z)))
23.124 * * [progress]: iteration 1 / 4
23.124 * * * [progress]: picking best candidate
23.127 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))>
23.127 * * * [progress]: localizing error
23.134 * * * [progress]: generating rewritten candidates
23.134 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
23.187 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
23.190 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
23.203 * * * [progress]: generating series expansions
23.203 * * * * [progress]: [ 1 / 3 ] generating series at (2)
23.204 * [approximate]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in (x y z) around 0
23.204 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in z
23.204 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
23.204 * [taylor]: Taking taylor expansion of 3 in z
23.204 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.204 * [taylor]: Taking taylor expansion of z in z
23.204 * [taylor]: Taking taylor expansion of (* x y) in z
23.204 * [taylor]: Taking taylor expansion of x in z
23.204 * [taylor]: Taking taylor expansion of y in z
23.204 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in y
23.204 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
23.204 * [taylor]: Taking taylor expansion of 3 in y
23.204 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.204 * [taylor]: Taking taylor expansion of z in y
23.204 * [taylor]: Taking taylor expansion of (* x y) in y
23.204 * [taylor]: Taking taylor expansion of x in y
23.204 * [taylor]: Taking taylor expansion of y in y
23.204 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
23.204 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
23.204 * [taylor]: Taking taylor expansion of 3 in x
23.204 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.204 * [taylor]: Taking taylor expansion of z in x
23.204 * [taylor]: Taking taylor expansion of (* x y) in x
23.204 * [taylor]: Taking taylor expansion of x in x
23.204 * [taylor]: Taking taylor expansion of y in x
23.204 * [taylor]: Taking taylor expansion of (+ (* 3 (pow z 2)) (* x y)) in x
23.204 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
23.204 * [taylor]: Taking taylor expansion of 3 in x
23.204 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.204 * [taylor]: Taking taylor expansion of z in x
23.204 * [taylor]: Taking taylor expansion of (* x y) in x
23.204 * [taylor]: Taking taylor expansion of x in x
23.204 * [taylor]: Taking taylor expansion of y in x
23.205 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
23.205 * [taylor]: Taking taylor expansion of 3 in y
23.205 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.205 * [taylor]: Taking taylor expansion of z in y
23.205 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
23.205 * [taylor]: Taking taylor expansion of 3 in z
23.205 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.205 * [taylor]: Taking taylor expansion of z in z
23.206 * [taylor]: Taking taylor expansion of y in y
23.206 * [taylor]: Taking taylor expansion of 0 in z
23.206 * [taylor]: Taking taylor expansion of 0 in z
23.208 * [taylor]: Taking taylor expansion of 0 in y
23.208 * [taylor]: Taking taylor expansion of 0 in z
23.208 * [taylor]: Taking taylor expansion of 1 in z
23.209 * [taylor]: Taking taylor expansion of 0 in z
23.212 * [taylor]: Taking taylor expansion of 0 in y
23.212 * [taylor]: Taking taylor expansion of 0 in z
23.212 * [taylor]: Taking taylor expansion of 0 in z
23.212 * [taylor]: Taking taylor expansion of 0 in z
23.214 * [taylor]: Taking taylor expansion of 0 in z
23.215 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0
23.215 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
23.215 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
23.215 * [taylor]: Taking taylor expansion of 3 in z
23.215 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.215 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.215 * [taylor]: Taking taylor expansion of z in z
23.215 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
23.215 * [taylor]: Taking taylor expansion of (* x y) in z
23.215 * [taylor]: Taking taylor expansion of x in z
23.215 * [taylor]: Taking taylor expansion of y in z
23.215 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
23.215 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
23.215 * [taylor]: Taking taylor expansion of 3 in y
23.216 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.216 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.216 * [taylor]: Taking taylor expansion of z in y
23.216 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
23.216 * [taylor]: Taking taylor expansion of (* x y) in y
23.216 * [taylor]: Taking taylor expansion of x in y
23.216 * [taylor]: Taking taylor expansion of y in y
23.216 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.216 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
23.216 * [taylor]: Taking taylor expansion of 3 in x
23.216 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.216 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.216 * [taylor]: Taking taylor expansion of z in x
23.216 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.216 * [taylor]: Taking taylor expansion of (* x y) in x
23.216 * [taylor]: Taking taylor expansion of x in x
23.216 * [taylor]: Taking taylor expansion of y in x
23.217 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.217 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
23.217 * [taylor]: Taking taylor expansion of 3 in x
23.217 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.217 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.217 * [taylor]: Taking taylor expansion of z in x
23.217 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.217 * [taylor]: Taking taylor expansion of (* x y) in x
23.217 * [taylor]: Taking taylor expansion of x in x
23.217 * [taylor]: Taking taylor expansion of y in x
23.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.217 * [taylor]: Taking taylor expansion of y in y
23.218 * [taylor]: Taking taylor expansion of 1 in z
23.218 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
23.218 * [taylor]: Taking taylor expansion of 3 in y
23.219 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.219 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.219 * [taylor]: Taking taylor expansion of z in y
23.219 * [taylor]: Taking taylor expansion of 0 in z
23.221 * [taylor]: Taking taylor expansion of 0 in y
23.221 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
23.221 * [taylor]: Taking taylor expansion of 3 in z
23.221 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.221 * [taylor]: Taking taylor expansion of z in z
23.222 * [taylor]: Taking taylor expansion of 0 in z
23.225 * [taylor]: Taking taylor expansion of 0 in y
23.225 * [taylor]: Taking taylor expansion of 0 in z
23.225 * [taylor]: Taking taylor expansion of 0 in z
23.226 * [taylor]: Taking taylor expansion of 0 in z
23.230 * [taylor]: Taking taylor expansion of 0 in y
23.230 * [taylor]: Taking taylor expansion of 0 in z
23.231 * [taylor]: Taking taylor expansion of 0 in z
23.232 * [taylor]: Taking taylor expansion of 0 in z
23.232 * [taylor]: Taking taylor expansion of 0 in z
23.234 * [approximate]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0
23.234 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
23.234 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
23.234 * [taylor]: Taking taylor expansion of 3 in z
23.234 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.235 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.235 * [taylor]: Taking taylor expansion of z in z
23.235 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
23.235 * [taylor]: Taking taylor expansion of (* x y) in z
23.235 * [taylor]: Taking taylor expansion of x in z
23.235 * [taylor]: Taking taylor expansion of y in z
23.235 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
23.235 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
23.235 * [taylor]: Taking taylor expansion of 3 in y
23.235 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.235 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.235 * [taylor]: Taking taylor expansion of z in y
23.235 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
23.235 * [taylor]: Taking taylor expansion of (* x y) in y
23.235 * [taylor]: Taking taylor expansion of x in y
23.235 * [taylor]: Taking taylor expansion of y in y
23.236 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.236 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
23.236 * [taylor]: Taking taylor expansion of 3 in x
23.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.236 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.236 * [taylor]: Taking taylor expansion of z in x
23.236 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.236 * [taylor]: Taking taylor expansion of (* x y) in x
23.236 * [taylor]: Taking taylor expansion of x in x
23.236 * [taylor]: Taking taylor expansion of y in x
23.236 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.236 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
23.236 * [taylor]: Taking taylor expansion of 3 in x
23.236 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.237 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.237 * [taylor]: Taking taylor expansion of z in x
23.237 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.237 * [taylor]: Taking taylor expansion of (* x y) in x
23.237 * [taylor]: Taking taylor expansion of x in x
23.237 * [taylor]: Taking taylor expansion of y in x
23.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.237 * [taylor]: Taking taylor expansion of y in y
23.237 * [taylor]: Taking taylor expansion of 1 in z
23.238 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
23.238 * [taylor]: Taking taylor expansion of 3 in y
23.238 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.238 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.238 * [taylor]: Taking taylor expansion of z in y
23.239 * [taylor]: Taking taylor expansion of 0 in z
23.241 * [taylor]: Taking taylor expansion of 0 in y
23.241 * [taylor]: Taking taylor expansion of (/ 3 (pow z 2)) in z
23.241 * [taylor]: Taking taylor expansion of 3 in z
23.241 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.241 * [taylor]: Taking taylor expansion of z in z
23.242 * [taylor]: Taking taylor expansion of 0 in z
23.244 * [taylor]: Taking taylor expansion of 0 in y
23.245 * [taylor]: Taking taylor expansion of 0 in z
23.245 * [taylor]: Taking taylor expansion of 0 in z
23.246 * [taylor]: Taking taylor expansion of 0 in z
23.250 * [taylor]: Taking taylor expansion of 0 in y
23.250 * [taylor]: Taking taylor expansion of 0 in z
23.250 * [taylor]: Taking taylor expansion of 0 in z
23.251 * [taylor]: Taking taylor expansion of 0 in z
23.252 * [taylor]: Taking taylor expansion of 0 in z
23.253 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
23.254 * [approximate]: Taking taylor expansion of (+ (pow z 2) (* x y)) in (x y z) around 0
23.254 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in z
23.254 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.254 * [taylor]: Taking taylor expansion of z in z
23.254 * [taylor]: Taking taylor expansion of (* x y) in z
23.254 * [taylor]: Taking taylor expansion of x in z
23.254 * [taylor]: Taking taylor expansion of y in z
23.254 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in y
23.254 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.254 * [taylor]: Taking taylor expansion of z in y
23.254 * [taylor]: Taking taylor expansion of (* x y) in y
23.254 * [taylor]: Taking taylor expansion of x in y
23.254 * [taylor]: Taking taylor expansion of y in y
23.254 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in x
23.254 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.254 * [taylor]: Taking taylor expansion of z in x
23.254 * [taylor]: Taking taylor expansion of (* x y) in x
23.254 * [taylor]: Taking taylor expansion of x in x
23.254 * [taylor]: Taking taylor expansion of y in x
23.254 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in x
23.254 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.254 * [taylor]: Taking taylor expansion of z in x
23.254 * [taylor]: Taking taylor expansion of (* x y) in x
23.254 * [taylor]: Taking taylor expansion of x in x
23.254 * [taylor]: Taking taylor expansion of y in x
23.254 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.254 * [taylor]: Taking taylor expansion of z in y
23.254 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.254 * [taylor]: Taking taylor expansion of z in z
23.255 * [taylor]: Taking taylor expansion of y in y
23.255 * [taylor]: Taking taylor expansion of 0 in z
23.255 * [taylor]: Taking taylor expansion of 0 in z
23.256 * [taylor]: Taking taylor expansion of 0 in y
23.256 * [taylor]: Taking taylor expansion of 0 in z
23.256 * [taylor]: Taking taylor expansion of 1 in z
23.256 * [taylor]: Taking taylor expansion of 0 in z
23.258 * [taylor]: Taking taylor expansion of 0 in y
23.258 * [taylor]: Taking taylor expansion of 0 in z
23.258 * [taylor]: Taking taylor expansion of 0 in z
23.258 * [taylor]: Taking taylor expansion of 0 in z
23.259 * [taylor]: Taking taylor expansion of 0 in z
23.259 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in (x y z) around 0
23.259 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in z
23.259 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.260 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.260 * [taylor]: Taking taylor expansion of z in z
23.260 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
23.260 * [taylor]: Taking taylor expansion of (* x y) in z
23.260 * [taylor]: Taking taylor expansion of x in z
23.260 * [taylor]: Taking taylor expansion of y in z
23.260 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in y
23.260 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.260 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.260 * [taylor]: Taking taylor expansion of z in y
23.260 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
23.260 * [taylor]: Taking taylor expansion of (* x y) in y
23.260 * [taylor]: Taking taylor expansion of x in y
23.260 * [taylor]: Taking taylor expansion of y in y
23.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
23.261 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.261 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.261 * [taylor]: Taking taylor expansion of z in x
23.263 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.264 * [taylor]: Taking taylor expansion of (* x y) in x
23.264 * [taylor]: Taking taylor expansion of x in x
23.264 * [taylor]: Taking taylor expansion of y in x
23.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
23.264 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.264 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.264 * [taylor]: Taking taylor expansion of z in x
23.264 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.264 * [taylor]: Taking taylor expansion of (* x y) in x
23.264 * [taylor]: Taking taylor expansion of x in x
23.264 * [taylor]: Taking taylor expansion of y in x
23.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.265 * [taylor]: Taking taylor expansion of y in y
23.265 * [taylor]: Taking taylor expansion of 1 in z
23.266 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.266 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.266 * [taylor]: Taking taylor expansion of z in y
23.266 * [taylor]: Taking taylor expansion of 0 in z
23.268 * [taylor]: Taking taylor expansion of 0 in y
23.268 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.268 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.268 * [taylor]: Taking taylor expansion of z in z
23.269 * [taylor]: Taking taylor expansion of 0 in z
23.271 * [taylor]: Taking taylor expansion of 0 in y
23.271 * [taylor]: Taking taylor expansion of 0 in z
23.271 * [taylor]: Taking taylor expansion of 0 in z
23.272 * [taylor]: Taking taylor expansion of 0 in z
23.275 * [taylor]: Taking taylor expansion of 0 in y
23.275 * [taylor]: Taking taylor expansion of 0 in z
23.275 * [taylor]: Taking taylor expansion of 0 in z
23.276 * [taylor]: Taking taylor expansion of 0 in z
23.276 * [taylor]: Taking taylor expansion of 0 in z
23.278 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in (x y z) around 0
23.278 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in z
23.278 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.278 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.278 * [taylor]: Taking taylor expansion of z in z
23.279 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
23.279 * [taylor]: Taking taylor expansion of (* x y) in z
23.279 * [taylor]: Taking taylor expansion of x in z
23.279 * [taylor]: Taking taylor expansion of y in z
23.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in y
23.279 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.279 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.279 * [taylor]: Taking taylor expansion of z in y
23.279 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
23.279 * [taylor]: Taking taylor expansion of (* x y) in y
23.279 * [taylor]: Taking taylor expansion of x in y
23.279 * [taylor]: Taking taylor expansion of y in y
23.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
23.279 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.279 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.279 * [taylor]: Taking taylor expansion of z in x
23.280 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.280 * [taylor]: Taking taylor expansion of (* x y) in x
23.280 * [taylor]: Taking taylor expansion of x in x
23.280 * [taylor]: Taking taylor expansion of y in x
23.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
23.280 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.280 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.280 * [taylor]: Taking taylor expansion of z in x
23.280 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.280 * [taylor]: Taking taylor expansion of (* x y) in x
23.280 * [taylor]: Taking taylor expansion of x in x
23.280 * [taylor]: Taking taylor expansion of y in x
23.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.281 * [taylor]: Taking taylor expansion of y in y
23.281 * [taylor]: Taking taylor expansion of 1 in z
23.282 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.282 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.282 * [taylor]: Taking taylor expansion of z in y
23.282 * [taylor]: Taking taylor expansion of 0 in z
23.284 * [taylor]: Taking taylor expansion of 0 in y
23.284 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.284 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.284 * [taylor]: Taking taylor expansion of z in z
23.285 * [taylor]: Taking taylor expansion of 0 in z
23.287 * [taylor]: Taking taylor expansion of 0 in y
23.287 * [taylor]: Taking taylor expansion of 0 in z
23.287 * [taylor]: Taking taylor expansion of 0 in z
23.288 * [taylor]: Taking taylor expansion of 0 in z
23.291 * [taylor]: Taking taylor expansion of 0 in y
23.291 * [taylor]: Taking taylor expansion of 0 in z
23.291 * [taylor]: Taking taylor expansion of 0 in z
23.292 * [taylor]: Taking taylor expansion of 0 in z
23.292 * [taylor]: Taking taylor expansion of 0 in z
23.294 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
23.294 * [approximate]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in (x y z) around 0
23.294 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in z
23.294 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in z
23.294 * [taylor]: Taking taylor expansion of 2 in z
23.294 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.294 * [taylor]: Taking taylor expansion of z in z
23.294 * [taylor]: Taking taylor expansion of (* x y) in z
23.294 * [taylor]: Taking taylor expansion of x in z
23.294 * [taylor]: Taking taylor expansion of y in z
23.294 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in y
23.294 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in y
23.294 * [taylor]: Taking taylor expansion of 2 in y
23.294 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.294 * [taylor]: Taking taylor expansion of z in y
23.294 * [taylor]: Taking taylor expansion of (* x y) in y
23.294 * [taylor]: Taking taylor expansion of x in y
23.294 * [taylor]: Taking taylor expansion of y in y
23.294 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
23.294 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
23.294 * [taylor]: Taking taylor expansion of 2 in x
23.294 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.294 * [taylor]: Taking taylor expansion of z in x
23.295 * [taylor]: Taking taylor expansion of (* x y) in x
23.295 * [taylor]: Taking taylor expansion of x in x
23.295 * [taylor]: Taking taylor expansion of y in x
23.295 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
23.295 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
23.295 * [taylor]: Taking taylor expansion of 2 in x
23.295 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.295 * [taylor]: Taking taylor expansion of z in x
23.295 * [taylor]: Taking taylor expansion of (* x y) in x
23.295 * [taylor]: Taking taylor expansion of x in x
23.295 * [taylor]: Taking taylor expansion of y in x
23.295 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in y
23.295 * [taylor]: Taking taylor expansion of 2 in y
23.295 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.295 * [taylor]: Taking taylor expansion of z in y
23.295 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in z
23.295 * [taylor]: Taking taylor expansion of 2 in z
23.295 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.295 * [taylor]: Taking taylor expansion of z in z
23.296 * [taylor]: Taking taylor expansion of y in y
23.296 * [taylor]: Taking taylor expansion of 0 in z
23.296 * [taylor]: Taking taylor expansion of 0 in z
23.298 * [taylor]: Taking taylor expansion of 0 in y
23.298 * [taylor]: Taking taylor expansion of 0 in z
23.298 * [taylor]: Taking taylor expansion of 1 in z
23.299 * [taylor]: Taking taylor expansion of 0 in z
23.302 * [taylor]: Taking taylor expansion of 0 in y
23.302 * [taylor]: Taking taylor expansion of 0 in z
23.302 * [taylor]: Taking taylor expansion of 0 in z
23.302 * [taylor]: Taking taylor expansion of 0 in z
23.303 * [taylor]: Taking taylor expansion of 0 in z
23.304 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0
23.304 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
23.304 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
23.304 * [taylor]: Taking taylor expansion of 2 in z
23.304 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.304 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.304 * [taylor]: Taking taylor expansion of z in z
23.305 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
23.305 * [taylor]: Taking taylor expansion of (* x y) in z
23.305 * [taylor]: Taking taylor expansion of x in z
23.305 * [taylor]: Taking taylor expansion of y in z
23.305 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
23.305 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
23.305 * [taylor]: Taking taylor expansion of 2 in y
23.305 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.305 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.305 * [taylor]: Taking taylor expansion of z in y
23.305 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
23.305 * [taylor]: Taking taylor expansion of (* x y) in y
23.305 * [taylor]: Taking taylor expansion of x in y
23.305 * [taylor]: Taking taylor expansion of y in y
23.305 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.305 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
23.306 * [taylor]: Taking taylor expansion of 2 in x
23.306 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.306 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.306 * [taylor]: Taking taylor expansion of z in x
23.306 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.306 * [taylor]: Taking taylor expansion of (* x y) in x
23.306 * [taylor]: Taking taylor expansion of x in x
23.306 * [taylor]: Taking taylor expansion of y in x
23.306 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.306 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
23.306 * [taylor]: Taking taylor expansion of 2 in x
23.306 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.306 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.306 * [taylor]: Taking taylor expansion of z in x
23.306 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.306 * [taylor]: Taking taylor expansion of (* x y) in x
23.306 * [taylor]: Taking taylor expansion of x in x
23.306 * [taylor]: Taking taylor expansion of y in x
23.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.307 * [taylor]: Taking taylor expansion of y in y
23.307 * [taylor]: Taking taylor expansion of 1 in z
23.308 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
23.308 * [taylor]: Taking taylor expansion of 2 in y
23.308 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.308 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.308 * [taylor]: Taking taylor expansion of z in y
23.308 * [taylor]: Taking taylor expansion of 0 in z
23.310 * [taylor]: Taking taylor expansion of 0 in y
23.310 * [taylor]: Taking taylor expansion of (/ 2 (pow z 2)) in z
23.310 * [taylor]: Taking taylor expansion of 2 in z
23.310 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.310 * [taylor]: Taking taylor expansion of z in z
23.311 * [taylor]: Taking taylor expansion of 0 in z
23.314 * [taylor]: Taking taylor expansion of 0 in y
23.314 * [taylor]: Taking taylor expansion of 0 in z
23.315 * [taylor]: Taking taylor expansion of 0 in z
23.315 * [taylor]: Taking taylor expansion of 0 in z
23.320 * [taylor]: Taking taylor expansion of 0 in y
23.320 * [taylor]: Taking taylor expansion of 0 in z
23.320 * [taylor]: Taking taylor expansion of 0 in z
23.321 * [taylor]: Taking taylor expansion of 0 in z
23.321 * [taylor]: Taking taylor expansion of 0 in z
23.323 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in (x y z) around 0
23.324 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
23.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
23.324 * [taylor]: Taking taylor expansion of 2 in z
23.324 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
23.324 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.324 * [taylor]: Taking taylor expansion of z in z
23.324 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
23.324 * [taylor]: Taking taylor expansion of (* x y) in z
23.324 * [taylor]: Taking taylor expansion of x in z
23.324 * [taylor]: Taking taylor expansion of y in z
23.324 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
23.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
23.324 * [taylor]: Taking taylor expansion of 2 in y
23.324 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.324 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.324 * [taylor]: Taking taylor expansion of z in y
23.325 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
23.325 * [taylor]: Taking taylor expansion of (* x y) in y
23.325 * [taylor]: Taking taylor expansion of x in y
23.325 * [taylor]: Taking taylor expansion of y in y
23.325 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
23.325 * [taylor]: Taking taylor expansion of 2 in x
23.325 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.325 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.325 * [taylor]: Taking taylor expansion of z in x
23.325 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.325 * [taylor]: Taking taylor expansion of (* x y) in x
23.325 * [taylor]: Taking taylor expansion of x in x
23.325 * [taylor]: Taking taylor expansion of y in x
23.325 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
23.326 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
23.326 * [taylor]: Taking taylor expansion of 2 in x
23.326 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
23.326 * [taylor]: Taking taylor expansion of (pow z 2) in x
23.326 * [taylor]: Taking taylor expansion of z in x
23.326 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
23.326 * [taylor]: Taking taylor expansion of (* x y) in x
23.326 * [taylor]: Taking taylor expansion of x in x
23.326 * [taylor]: Taking taylor expansion of y in x
23.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.326 * [taylor]: Taking taylor expansion of y in y
23.326 * [taylor]: Taking taylor expansion of 1 in z
23.327 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
23.327 * [taylor]: Taking taylor expansion of 2 in y
23.327 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
23.327 * [taylor]: Taking taylor expansion of (pow z 2) in y
23.327 * [taylor]: Taking taylor expansion of z in y
23.328 * [taylor]: Taking taylor expansion of 0 in z
23.330 * [taylor]: Taking taylor expansion of 0 in y
23.330 * [taylor]: Taking taylor expansion of (/ 2 (pow z 2)) in z
23.330 * [taylor]: Taking taylor expansion of 2 in z
23.330 * [taylor]: Taking taylor expansion of (pow z 2) in z
23.330 * [taylor]: Taking taylor expansion of z in z
23.331 * [taylor]: Taking taylor expansion of 0 in z
23.334 * [taylor]: Taking taylor expansion of 0 in y
23.334 * [taylor]: Taking taylor expansion of 0 in z
23.334 * [taylor]: Taking taylor expansion of 0 in z
23.335 * [taylor]: Taking taylor expansion of 0 in z
23.339 * [taylor]: Taking taylor expansion of 0 in y
23.339 * [taylor]: Taking taylor expansion of 0 in z
23.339 * [taylor]: Taking taylor expansion of 0 in z
23.341 * [taylor]: Taking taylor expansion of 0 in z
23.341 * [taylor]: Taking taylor expansion of 0 in z
23.343 * * * [progress]: simplifying candidates
23.344 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (log1p (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (* (* (* (exp (* x y)) (exp (* z z))) (exp (* z z))) (exp (* z z)))
  (* (* (exp (+ (* x y) (* z z))) (exp (* z z))) (exp (* z z)))
  (* (exp (+ (+ (* x y) (* z z)) (* z z))) (exp (* z z)))
  (log (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (exp (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (* (cbrt (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))) (cbrt (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))))
  (cbrt (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (* (* (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (sqrt (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (sqrt (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))
  (+ (pow (+ (+ (* x y) (* z z)) (* z z)) 3) (pow (* z z) 3))
  (+ (* (+ (+ (* x y) (* z z)) (* z z)) (+ (+ (* x y) (* z z)) (* z z))) (- (* (* z z) (* z z)) (* (+ (+ (* x y) (* z z)) (* z z)) (* z z))))
  (- (* (+ (+ (* x y) (* z z)) (* z z)) (+ (+ (* x y) (* z z)) (* z z))) (* (* z z) (* z z)))
  (- (+ (+ (* x y) (* z z)) (* z z)) (* z z))
  (+ (* z z) (* z z))
  (expm1 (+ (* x y) (* z z)))
  (log1p (+ (* x y) (* z z)))
  (* (exp (* x y)) (exp (* z z)))
  (log (+ (* x y) (* z z)))
  (exp (+ (* x y) (* z z)))
  (* (cbrt (+ (* x y) (* z z))) (cbrt (+ (* x y) (* z z))))
  (cbrt (+ (* x y) (* z z)))
  (* (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (+ (* x y) (* z z)))
  (sqrt (+ (* x y) (* z z)))
  (sqrt (+ (* x y) (* z z)))
  (+ (pow (* x y) 3) (pow (* z z) 3))
  (+ (* (* x y) (* x y)) (- (* (* z z) (* z z)) (* (* x y) (* z z))))
  (- (* (* x y) (* x y)) (* (* z z) (* z z)))
  (- (* x y) (* z z))
  (expm1 (+ (+ (* x y) (* z z)) (* z z)))
  (log1p (+ (+ (* x y) (* z z)) (* z z)))
  (* (* (exp (* x y)) (exp (* z z))) (exp (* z z)))
  (* (exp (+ (* x y) (* z z))) (exp (* z z)))
  (log (+ (+ (* x y) (* z z)) (* z z)))
  (exp (+ (+ (* x y) (* z z)) (* z z)))
  (* (cbrt (+ (+ (* x y) (* z z)) (* z z))) (cbrt (+ (+ (* x y) (* z z)) (* z z))))
  (cbrt (+ (+ (* x y) (* z z)) (* z z)))
  (* (* (+ (+ (* x y) (* z z)) (* z z)) (+ (+ (* x y) (* z z)) (* z z))) (+ (+ (* x y) (* z z)) (* z z)))
  (sqrt (+ (+ (* x y) (* z z)) (* z z)))
  (sqrt (+ (+ (* x y) (* z z)) (* z z)))
  (+ (pow (+ (* x y) (* z z)) 3) (pow (* z z) 3))
  (+ (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (- (* (* z z) (* z z)) (* (+ (* x y) (* z z)) (* z z))))
  (- (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (* (* z z) (* z z)))
  (- (+ (* x y) (* z z)) (* z z))
  (+ (* z z) (* z z))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (pow z 2) (* x y))
  (+ (pow z 2) (* x y))
  (+ (pow z 2) (* x y))
  (+ (* 2 (pow z 2)) (* x y))
  (+ (* 2 (pow z 2)) (* x y))
  (+ (* 2 (pow z 2)) (* x y))
23.347 * * [simplify]: iteration  0 :  76  enodes  (cost  863 )
23.363 * * [simplify]: iteration  1 :  237  enodes  (cost  666 )
23.419 * * [simplify]: iteration  2 :  930  enodes  (cost  590 )
23.748 * * [simplify]: iteration  3 :  3683  enodes  (cost  521 )
25.444 * * [simplify]: iteration  done :  5000  enodes  (cost  521 )
25.444 * [simplify]: Simplified to:
   (expm1 (fma (* z 3) z (* x y)))
  (log1p (fma (* z 3) z (* x y)))
  (exp (fma (* z 3) z (* x y)))
  (exp (fma (* z 3) z (* x y)))
  (exp (fma (* z 3) z (* x y)))
  (log (fma (* z 3) z (* x y)))
  (exp (fma (* z 3) z (* x y)))
  (* (cbrt (fma 3 (* z z) (* x y))) (cbrt (fma 3 (* z z) (* x y))))
  (cbrt (fma 3 (* z z) (* x y)))
  (pow (fma (* z 3) z (* x y)) 3)
  (sqrt (fma 3 (* z z) (* x y)))
  (sqrt (fma 3 (* z z) (* x y)))
  (+ (pow z 6) (pow (fma 2 (* z z) (* x y)) 3))
  (+ (pow z 4) (* (fma x y (* z z)) (fma 2 (* z z) (* x y))))
  (* (fma (* z 3) z (* x y)) (fma x y (* z z)))
  (fma x y (* z z))
  (* 2 (pow z 2))
  (expm1 (fma x y (* z z)))
  (log1p (fma x y (* z z)))
  (exp (fma x y (* z z)))
  (log (fma x y (* z z)))
  (exp (fma x y (* z z)))
  (* (cbrt (fma x y (* z z))) (cbrt (fma x y (* z z))))
  (cbrt (fma x y (* z z)))
  (pow (fma x y (* z z)) 3)
  (sqrt (fma x y (* z z)))
  (sqrt (fma x y (* z z)))
  (+ (pow z 6) (pow (* x y) 3))
  (- (pow z 4) (* (* x y) (- (* z z) (* x y))))
  (fma (* x x) (* y y) (- (pow z 4)))
  (- (* x y) (* z z))
  (expm1 (fma 2 (* z z) (* x y)))
  (log1p (fma 2 (* z z) (* x y)))
  (exp (fma 2 (* z z) (* x y)))
  (exp (fma 2 (* z z) (* x y)))
  (log (fma 2 (* z z) (* x y)))
  (exp (fma 2 (* z z) (* x y)))
  (* (cbrt (fma 2 (* z z) (* x y))) (cbrt (fma 2 (* z z) (* x y))))
  (cbrt (fma 2 (* z z) (* x y)))
  (pow (fma 2 (* z z) (* x y)) 3)
  (sqrt (fma 2 (* z z) (* x y)))
  (sqrt (fma 2 (* z z) (* x y)))
  (+ (pow z 6) (pow (fma x y (* z z)) 3))
  (+ (* (* x y) (fma x y (* z z))) (pow z 4))
  (* (* x y) (fma 2 (* z z) (* x y)))
  (* x y)
  (* 2 (pow z 2))
  (fma (* z 3) z (* x y))
  (fma (* z 3) z (* x y))
  (fma (* z 3) z (* x y))
  (fma x y (* z z))
  (fma x y (* z z))
  (fma x y (* z z))
  (fma 2 (* z z) (* x y))
  (fma 2 (* z z) (* x y))
  (fma 2 (* z z) (* x y))
25.445 * * * [progress]: adding candidates to table
25.572 * * [progress]: iteration 2 / 4
25.573 * * * [progress]: picking best candidate
25.580 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (* z 3) z (* x y)))>
25.580 * * * [progress]: localizing error
25.585 * * * [progress]: generating rewritten candidates
25.585 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
25.586 * * * [progress]: generating series expansions
25.586 * * * * [progress]: [ 1 / 1 ] generating series at (2)
25.586 * [approximate]: Taking taylor expansion of (fma (* 3 z) z (* x y)) in (z x y) around 0
25.586 * [taylor]: Taking taylor expansion of (fma (* 3 z) z (* x y)) in y
25.586 * [taylor]: Rewrote expression to (+ (* (* 3 z) z) (* x y))
25.586 * [taylor]: Taking taylor expansion of (* (* 3 z) z) in y
25.587 * [taylor]: Taking taylor expansion of (* 3 z) in y
25.587 * [taylor]: Taking taylor expansion of 3 in y
25.587 * [taylor]: Taking taylor expansion of z in y
25.587 * [taylor]: Taking taylor expansion of z in y
25.587 * [taylor]: Taking taylor expansion of (* x y) in y
25.587 * [taylor]: Taking taylor expansion of x in y
25.587 * [taylor]: Taking taylor expansion of y in y
25.587 * [taylor]: Taking taylor expansion of (fma (* 3 z) z (* x y)) in x
25.587 * [taylor]: Rewrote expression to (+ (* (* 3 z) z) (* x y))
25.587 * [taylor]: Taking taylor expansion of (* (* 3 z) z) in x
25.587 * [taylor]: Taking taylor expansion of (* 3 z) in x
25.587 * [taylor]: Taking taylor expansion of 3 in x
25.587 * [taylor]: Taking taylor expansion of z in x
25.587 * [taylor]: Taking taylor expansion of z in x
25.587 * [taylor]: Taking taylor expansion of (* x y) in x
25.587 * [taylor]: Taking taylor expansion of x in x
25.587 * [taylor]: Taking taylor expansion of y in x
25.587 * [taylor]: Taking taylor expansion of (fma (* 3 z) z (* x y)) in z
25.587 * [taylor]: Rewrote expression to (+ (* (* 3 z) z) (* x y))
25.587 * [taylor]: Taking taylor expansion of (* (* 3 z) z) in z
25.587 * [taylor]: Taking taylor expansion of (* 3 z) in z
25.587 * [taylor]: Taking taylor expansion of 3 in z
25.587 * [taylor]: Taking taylor expansion of z in z
25.587 * [taylor]: Taking taylor expansion of z in z
25.587 * [taylor]: Taking taylor expansion of (* x y) in z
25.587 * [taylor]: Taking taylor expansion of x in z
25.587 * [taylor]: Taking taylor expansion of y in z
25.587 * [taylor]: Taking taylor expansion of (fma (* 3 z) z (* x y)) in z
25.587 * [taylor]: Rewrote expression to (+ (* (* 3 z) z) (* x y))
25.587 * [taylor]: Taking taylor expansion of (* (* 3 z) z) in z
25.587 * [taylor]: Taking taylor expansion of (* 3 z) in z
25.587 * [taylor]: Taking taylor expansion of 3 in z
25.587 * [taylor]: Taking taylor expansion of z in z
25.587 * [taylor]: Taking taylor expansion of z in z
25.587 * [taylor]: Taking taylor expansion of (* x y) in z
25.587 * [taylor]: Taking taylor expansion of x in z
25.587 * [taylor]: Taking taylor expansion of y in z
25.590 * [taylor]: Taking taylor expansion of (* x y) in x
25.591 * [taylor]: Taking taylor expansion of x in x
25.591 * [taylor]: Taking taylor expansion of y in x
25.591 * [taylor]: Taking taylor expansion of 0 in y
25.592 * [taylor]: Taking taylor expansion of 0 in x
25.592 * [taylor]: Taking taylor expansion of 0 in y
25.592 * [taylor]: Taking taylor expansion of y in y
25.594 * [taylor]: Taking taylor expansion of 3 in x
25.594 * [taylor]: Taking taylor expansion of 3 in y
25.594 * [taylor]: Taking taylor expansion of 0 in y
25.594 * [taylor]: Taking taylor expansion of 0 in y
25.596 * [taylor]: Taking taylor expansion of 0 in x
25.596 * [taylor]: Taking taylor expansion of 0 in y
25.597 * [taylor]: Taking taylor expansion of 0 in y
25.597 * [taylor]: Taking taylor expansion of 0 in y
25.597 * [taylor]: Taking taylor expansion of 0 in y
25.598 * [approximate]: Taking taylor expansion of (fma (/ 3 z) (/ 1 z) (/ 1 (* x y))) in (z x y) around 0
25.598 * [taylor]: Taking taylor expansion of (fma (/ 3 z) (/ 1 z) (/ 1 (* x y))) in y
25.598 * [taylor]: Rewrote expression to (+ (* (/ 3 z) (/ 1 z)) (/ 1 (* x y)))
25.598 * [taylor]: Taking taylor expansion of (* (/ 3 z) (/ 1 z)) in y
25.598 * [taylor]: Taking taylor expansion of (/ 3 z) in y
25.598 * [taylor]: Taking taylor expansion of 3 in y
25.598 * [taylor]: Taking taylor expansion of z in y
25.598 * [taylor]: Taking taylor expansion of (/ 1 z) in y
25.598 * [taylor]: Taking taylor expansion of z in y
25.598 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
25.598 * [taylor]: Taking taylor expansion of (* x y) in y
25.598 * [taylor]: Taking taylor expansion of x in y
25.598 * [taylor]: Taking taylor expansion of y in y
25.598 * [taylor]: Taking taylor expansion of (fma (/ 3 z) (/ 1 z) (/ 1 (* x y))) in x
25.599 * [taylor]: Rewrote expression to (+ (* (/ 3 z) (/ 1 z)) (/ 1 (* x y)))
25.599 * [taylor]: Taking taylor expansion of (* (/ 3 z) (/ 1 z)) in x
25.599 * [taylor]: Taking taylor expansion of (/ 3 z) in x
25.599 * [taylor]: Taking taylor expansion of 3 in x
25.599 * [taylor]: Taking taylor expansion of z in x
25.599 * [taylor]: Taking taylor expansion of (/ 1 z) in x
25.599 * [taylor]: Taking taylor expansion of z in x
25.599 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
25.599 * [taylor]: Taking taylor expansion of (* x y) in x
25.599 * [taylor]: Taking taylor expansion of x in x
25.599 * [taylor]: Taking taylor expansion of y in x
25.599 * [taylor]: Taking taylor expansion of (fma (/ 3 z) (/ 1 z) (/ 1 (* x y))) in z
25.599 * [taylor]: Rewrote expression to (+ (* (/ 3 z) (/ 1 z)) (/ 1 (* x y)))
25.599 * [taylor]: Taking taylor expansion of (* (/ 3 z) (/ 1 z)) in z
25.599 * [taylor]: Taking taylor expansion of (/ 3 z) in z
25.599 * [taylor]: Taking taylor expansion of 3 in z
25.599 * [taylor]: Taking taylor expansion of z in z
25.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z
25.600 * [taylor]: Taking taylor expansion of z in z
25.600 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
25.600 * [taylor]: Taking taylor expansion of (* x y) in z
25.600 * [taylor]: Taking taylor expansion of x in z
25.600 * [taylor]: Taking taylor expansion of y in z
25.600 * [taylor]: Taking taylor expansion of (fma (/ 3 z) (/ 1 z) (/ 1 (* x y))) in z
25.600 * [taylor]: Rewrote expression to (+ (* (/ 3 z) (/ 1 z)) (/ 1 (* x y)))
25.600 * [taylor]: Taking taylor expansion of (* (/ 3 z) (/ 1 z)) in z
25.600 * [taylor]: Taking taylor expansion of (/ 3 z) in z
25.600 * [taylor]: Taking taylor expansion of 3 in z
25.600 * [taylor]: Taking taylor expansion of z in z
25.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z
25.601 * [taylor]: Taking taylor expansion of z in z
25.601 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
25.601 * [taylor]: Taking taylor expansion of (* x y) in z
25.601 * [taylor]: Taking taylor expansion of x in z
25.601 * [taylor]: Taking taylor expansion of y in z
25.601 * [taylor]: Taking taylor expansion of 3 in x
25.603 * [taylor]: Taking taylor expansion of 0 in x
25.603 * [taylor]: Taking taylor expansion of 3 in y
25.605 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
25.605 * [taylor]: Taking taylor expansion of (* x y) in x
25.605 * [taylor]: Taking taylor expansion of x in x
25.605 * [taylor]: Taking taylor expansion of y in x
25.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
25.605 * [taylor]: Taking taylor expansion of y in y
25.605 * [taylor]: Taking taylor expansion of 0 in y
25.605 * [taylor]: Taking taylor expansion of 0 in y
25.608 * [taylor]: Taking taylor expansion of 0 in x
25.609 * [taylor]: Taking taylor expansion of 0 in y
25.609 * [taylor]: Taking taylor expansion of 0 in y
25.609 * [taylor]: Taking taylor expansion of 0 in y
25.612 * [taylor]: Taking taylor expansion of 0 in x
25.612 * [taylor]: Taking taylor expansion of 0 in y
25.612 * [taylor]: Taking taylor expansion of 0 in y
25.612 * [taylor]: Taking taylor expansion of 0 in y
25.613 * [taylor]: Taking taylor expansion of 0 in y
25.613 * [approximate]: Taking taylor expansion of (fma (/ -3 z) (/ -1 z) (/ 1 (* x y))) in (z x y) around 0
25.613 * [taylor]: Taking taylor expansion of (fma (/ -3 z) (/ -1 z) (/ 1 (* x y))) in y
25.613 * [taylor]: Rewrote expression to (+ (* (/ -3 z) (/ -1 z)) (/ 1 (* x y)))
25.613 * [taylor]: Taking taylor expansion of (* (/ -3 z) (/ -1 z)) in y
25.613 * [taylor]: Taking taylor expansion of (/ -3 z) in y
25.613 * [taylor]: Taking taylor expansion of -3 in y
25.613 * [taylor]: Taking taylor expansion of z in y
25.613 * [taylor]: Taking taylor expansion of (/ -1 z) in y
25.613 * [taylor]: Taking taylor expansion of -1 in y
25.613 * [taylor]: Taking taylor expansion of z in y
25.613 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
25.613 * [taylor]: Taking taylor expansion of (* x y) in y
25.613 * [taylor]: Taking taylor expansion of x in y
25.613 * [taylor]: Taking taylor expansion of y in y
25.614 * [taylor]: Taking taylor expansion of (fma (/ -3 z) (/ -1 z) (/ 1 (* x y))) in x
25.614 * [taylor]: Rewrote expression to (+ (* (/ -3 z) (/ -1 z)) (/ 1 (* x y)))
25.614 * [taylor]: Taking taylor expansion of (* (/ -3 z) (/ -1 z)) in x
25.614 * [taylor]: Taking taylor expansion of (/ -3 z) in x
25.614 * [taylor]: Taking taylor expansion of -3 in x
25.614 * [taylor]: Taking taylor expansion of z in x
25.614 * [taylor]: Taking taylor expansion of (/ -1 z) in x
25.614 * [taylor]: Taking taylor expansion of -1 in x
25.614 * [taylor]: Taking taylor expansion of z in x
25.614 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
25.614 * [taylor]: Taking taylor expansion of (* x y) in x
25.614 * [taylor]: Taking taylor expansion of x in x
25.614 * [taylor]: Taking taylor expansion of y in x
25.614 * [taylor]: Taking taylor expansion of (fma (/ -3 z) (/ -1 z) (/ 1 (* x y))) in z
25.615 * [taylor]: Rewrote expression to (+ (* (/ -3 z) (/ -1 z)) (/ 1 (* x y)))
25.615 * [taylor]: Taking taylor expansion of (* (/ -3 z) (/ -1 z)) in z
25.615 * [taylor]: Taking taylor expansion of (/ -3 z) in z
25.615 * [taylor]: Taking taylor expansion of -3 in z
25.615 * [taylor]: Taking taylor expansion of z in z
25.615 * [taylor]: Taking taylor expansion of (/ -1 z) in z
25.615 * [taylor]: Taking taylor expansion of -1 in z
25.615 * [taylor]: Taking taylor expansion of z in z
25.615 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
25.615 * [taylor]: Taking taylor expansion of (* x y) in z
25.615 * [taylor]: Taking taylor expansion of x in z
25.615 * [taylor]: Taking taylor expansion of y in z
25.615 * [taylor]: Taking taylor expansion of (fma (/ -3 z) (/ -1 z) (/ 1 (* x y))) in z
25.616 * [taylor]: Rewrote expression to (+ (* (/ -3 z) (/ -1 z)) (/ 1 (* x y)))
25.616 * [taylor]: Taking taylor expansion of (* (/ -3 z) (/ -1 z)) in z
25.616 * [taylor]: Taking taylor expansion of (/ -3 z) in z
25.616 * [taylor]: Taking taylor expansion of -3 in z
25.616 * [taylor]: Taking taylor expansion of z in z
25.616 * [taylor]: Taking taylor expansion of (/ -1 z) in z
25.616 * [taylor]: Taking taylor expansion of -1 in z
25.616 * [taylor]: Taking taylor expansion of z in z
25.616 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
25.616 * [taylor]: Taking taylor expansion of (* x y) in z
25.616 * [taylor]: Taking taylor expansion of x in z
25.616 * [taylor]: Taking taylor expansion of y in z
25.617 * [taylor]: Taking taylor expansion of 3 in x
25.619 * [taylor]: Taking taylor expansion of 0 in x
25.619 * [taylor]: Taking taylor expansion of 3 in y
25.620 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
25.621 * [taylor]: Taking taylor expansion of (* x y) in x
25.621 * [taylor]: Taking taylor expansion of x in x
25.621 * [taylor]: Taking taylor expansion of y in x
25.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y
25.621 * [taylor]: Taking taylor expansion of y in y
25.621 * [taylor]: Taking taylor expansion of 0 in y
25.621 * [taylor]: Taking taylor expansion of 0 in y
25.624 * [taylor]: Taking taylor expansion of 0 in x
25.624 * [taylor]: Taking taylor expansion of 0 in y
25.624 * [taylor]: Taking taylor expansion of 0 in y
25.624 * [taylor]: Taking taylor expansion of 0 in y
25.627 * [taylor]: Taking taylor expansion of 0 in x
25.627 * [taylor]: Taking taylor expansion of 0 in y
25.628 * [taylor]: Taking taylor expansion of 0 in y
25.628 * [taylor]: Taking taylor expansion of 0 in y
25.628 * [taylor]: Taking taylor expansion of 0 in y
25.629 * * * [progress]: simplifying candidates
25.629 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (* z 3) z (* x y)))
  (log1p (fma (* z 3) z (* x y)))
  (* (* z 3) z)
  (log (fma (* z 3) z (* x y)))
  (exp (fma (* z 3) z (* x y)))
  (* (cbrt (fma (* z 3) z (* x y))) (cbrt (fma (* z 3) z (* x y))))
  (cbrt (fma (* z 3) z (* x y)))
  (* (* (fma (* z 3) z (* x y)) (fma (* z 3) z (* x y))) (fma (* z 3) z (* x y)))
  (sqrt (fma (* z 3) z (* x y)))
  (sqrt (fma (* z 3) z (* x y)))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
25.630 * * [simplify]: iteration  0 :  21  enodes  (cost  140 )
25.633 * * [simplify]: iteration  1 :  34  enodes  (cost  137 )
25.638 * * [simplify]: iteration  2 :  70  enodes  (cost  121 )
25.657 * * [simplify]: iteration  3 :  240  enodes  (cost  121 )
25.749 * * [simplify]: iteration  4 :  910  enodes  (cost  121 )
26.247 * * [simplify]: iteration  done :  5000  enodes  (cost  121 )
26.248 * [simplify]: Simplified to:
   (expm1 (fma (* z 3) z (* x y)))
  (log1p (fma (* z 3) z (* x y)))
  (* 3 (pow z 2))
  (log (fma (* z 3) z (* x y)))
  (exp (fma (* z 3) z (* x y)))
  (* (cbrt (fma (* z 3) z (* x y))) (cbrt (fma (* z 3) z (* x y))))
  (cbrt (fma (* z 3) z (* x y)))
  (pow (fma (* z 3) z (* x y)) 3)
  (sqrt (fma (* z 3) z (* x y)))
  (sqrt (fma (* z 3) z (* x y)))
  (fma (* z 3) z (* x y))
  (fma (* z 3) z (* x y))
  (fma (* z 3) z (* x y))
26.248 * * * [progress]: adding candidates to table
26.278 * * [progress]: iteration 3 / 4
26.278 * * * [progress]: picking best candidate
26.283 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>
26.284 * * * [progress]: localizing error
26.293 * * * [progress]: generating rewritten candidates
26.293 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
26.306 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
26.320 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
26.321 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
26.324 * * * [progress]: generating series expansions
26.324 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
26.324 * [approximate]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in (x y z) around 0
26.325 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in z
26.325 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in z
26.325 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in z
26.325 * [taylor]: Taking taylor expansion of 2 in z
26.325 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.325 * [taylor]: Taking taylor expansion of z in z
26.325 * [taylor]: Taking taylor expansion of (* x y) in z
26.325 * [taylor]: Taking taylor expansion of x in z
26.325 * [taylor]: Taking taylor expansion of y in z
26.325 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in y
26.325 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in y
26.325 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in y
26.325 * [taylor]: Taking taylor expansion of 2 in y
26.325 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.325 * [taylor]: Taking taylor expansion of z in y
26.325 * [taylor]: Taking taylor expansion of (* x y) in y
26.325 * [taylor]: Taking taylor expansion of x in y
26.326 * [taylor]: Taking taylor expansion of y in y
26.327 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.327 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.327 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.327 * [taylor]: Taking taylor expansion of 2 in x
26.327 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.327 * [taylor]: Taking taylor expansion of z in x
26.327 * [taylor]: Taking taylor expansion of (* x y) in x
26.327 * [taylor]: Taking taylor expansion of x in x
26.327 * [taylor]: Taking taylor expansion of y in x
26.328 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.328 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.328 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.328 * [taylor]: Taking taylor expansion of 2 in x
26.328 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.328 * [taylor]: Taking taylor expansion of z in x
26.328 * [taylor]: Taking taylor expansion of (* x y) in x
26.328 * [taylor]: Taking taylor expansion of x in x
26.328 * [taylor]: Taking taylor expansion of y in x
26.329 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in y
26.329 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.329 * [taylor]: Taking taylor expansion of 2 in y
26.330 * [taylor]: Taking taylor expansion of z in y
26.330 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in z
26.331 * [taylor]: Taking taylor expansion of (sqrt 2) in z
26.331 * [taylor]: Taking taylor expansion of 2 in z
26.331 * [taylor]: Taking taylor expansion of z in z
26.332 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (* (sqrt 2) z))) in y
26.332 * [taylor]: Taking taylor expansion of 1/2 in y
26.332 * [taylor]: Taking taylor expansion of (/ y (* (sqrt 2) z)) in y
26.332 * [taylor]: Taking taylor expansion of y in y
26.332 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in y
26.332 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.332 * [taylor]: Taking taylor expansion of 2 in y
26.332 * [taylor]: Taking taylor expansion of z in y
26.333 * [taylor]: Taking taylor expansion of 0 in z
26.338 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow y 2) (* (pow (sqrt 2) 3) (pow z 3)))) in y
26.338 * [taylor]: Taking taylor expansion of -1/8 in y
26.338 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow (sqrt 2) 3) (pow z 3))) in y
26.338 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.338 * [taylor]: Taking taylor expansion of y in y
26.338 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2) 3) (pow z 3)) in y
26.338 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 3) in y
26.338 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.338 * [taylor]: Taking taylor expansion of 2 in y
26.339 * [taylor]: Taking taylor expansion of (pow z 3) in y
26.339 * [taylor]: Taking taylor expansion of z in y
26.343 * [taylor]: Taking taylor expansion of (/ 1/2 (* (sqrt 2) z)) in z
26.343 * [taylor]: Taking taylor expansion of 1/2 in z
26.343 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in z
26.343 * [taylor]: Taking taylor expansion of (sqrt 2) in z
26.343 * [taylor]: Taking taylor expansion of 2 in z
26.343 * [taylor]: Taking taylor expansion of z in z
26.349 * [taylor]: Taking taylor expansion of 0 in z
26.357 * [taylor]: Taking taylor expansion of (* 1/16 (/ (pow y 3) (* (pow (sqrt 2) 5) (pow z 5)))) in y
26.357 * [taylor]: Taking taylor expansion of 1/16 in y
26.357 * [taylor]: Taking taylor expansion of (/ (pow y 3) (* (pow (sqrt 2) 5) (pow z 5))) in y
26.357 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.357 * [taylor]: Taking taylor expansion of y in y
26.357 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2) 5) (pow z 5)) in y
26.358 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 5) in y
26.358 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.358 * [taylor]: Taking taylor expansion of 2 in y
26.358 * [taylor]: Taking taylor expansion of (pow z 5) in y
26.358 * [taylor]: Taking taylor expansion of z in y
26.366 * [taylor]: Taking taylor expansion of 0 in z
26.367 * [taylor]: Taking taylor expansion of 0 in z
26.368 * [approximate]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in (x y z) around 0
26.368 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.368 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.368 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.368 * [taylor]: Taking taylor expansion of 2 in z
26.368 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.368 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.368 * [taylor]: Taking taylor expansion of z in z
26.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.369 * [taylor]: Taking taylor expansion of (* x y) in z
26.369 * [taylor]: Taking taylor expansion of x in z
26.369 * [taylor]: Taking taylor expansion of y in z
26.372 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.372 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.372 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.372 * [taylor]: Taking taylor expansion of 2 in y
26.372 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.372 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.372 * [taylor]: Taking taylor expansion of z in y
26.372 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.372 * [taylor]: Taking taylor expansion of (* x y) in y
26.372 * [taylor]: Taking taylor expansion of x in y
26.372 * [taylor]: Taking taylor expansion of y in y
26.373 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.373 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.373 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.373 * [taylor]: Taking taylor expansion of 2 in x
26.373 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.373 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.373 * [taylor]: Taking taylor expansion of z in x
26.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.373 * [taylor]: Taking taylor expansion of (* x y) in x
26.373 * [taylor]: Taking taylor expansion of x in x
26.373 * [taylor]: Taking taylor expansion of y in x
26.374 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.374 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.374 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.374 * [taylor]: Taking taylor expansion of 2 in x
26.374 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.374 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.374 * [taylor]: Taking taylor expansion of z in x
26.375 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.375 * [taylor]: Taking taylor expansion of (* x y) in x
26.375 * [taylor]: Taking taylor expansion of x in x
26.375 * [taylor]: Taking taylor expansion of y in x
26.376 * [taylor]: Taking taylor expansion of 0 in y
26.376 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
26.376 * [taylor]: Taking taylor expansion of +nan.0 in y
26.376 * [taylor]: Taking taylor expansion of y in y
26.376 * [taylor]: Taking taylor expansion of +nan.0 in z
26.376 * [taylor]: Taking taylor expansion of 0 in z
26.378 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2))))) in y
26.378 * [taylor]: Taking taylor expansion of +nan.0 in y
26.378 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2)))) in y
26.378 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.378 * [taylor]: Taking taylor expansion of 2 in y
26.378 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.378 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.378 * [taylor]: Taking taylor expansion of z in y
26.378 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
26.378 * [taylor]: Taking taylor expansion of +nan.0 in y
26.378 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
26.378 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.378 * [taylor]: Taking taylor expansion of y in y
26.382 * [taylor]: Taking taylor expansion of 0 in z
26.382 * [taylor]: Taking taylor expansion of 0 in z
26.382 * [taylor]: Taking taylor expansion of 0 in z
26.385 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y)))))) in y
26.385 * [taylor]: Taking taylor expansion of +nan.0 in y
26.385 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y))))) in y
26.385 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
26.385 * [taylor]: Taking taylor expansion of +nan.0 in y
26.385 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
26.385 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.385 * [taylor]: Taking taylor expansion of y in y
26.386 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow z 2) y)))) in y
26.386 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) y))) in y
26.386 * [taylor]: Taking taylor expansion of +nan.0 in y
26.386 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
26.386 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
26.386 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.386 * [taylor]: Taking taylor expansion of z in y
26.386 * [taylor]: Taking taylor expansion of y in y
26.392 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.392 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.392 * [taylor]: Taking taylor expansion of +nan.0 in z
26.392 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.392 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.392 * [taylor]: Taking taylor expansion of z in z
26.396 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.396 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.396 * [taylor]: Taking taylor expansion of +nan.0 in z
26.396 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.396 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.396 * [taylor]: Taking taylor expansion of z in z
26.399 * [taylor]: Taking taylor expansion of 0 in z
26.399 * [taylor]: Taking taylor expansion of 0 in z
26.399 * [approximate]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in (x y z) around 0
26.399 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.400 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.400 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.400 * [taylor]: Taking taylor expansion of 2 in z
26.400 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.400 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.400 * [taylor]: Taking taylor expansion of z in z
26.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.400 * [taylor]: Taking taylor expansion of (* x y) in z
26.400 * [taylor]: Taking taylor expansion of x in z
26.400 * [taylor]: Taking taylor expansion of y in z
26.403 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.403 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.403 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.403 * [taylor]: Taking taylor expansion of 2 in y
26.403 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.403 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.403 * [taylor]: Taking taylor expansion of z in y
26.403 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.403 * [taylor]: Taking taylor expansion of (* x y) in y
26.403 * [taylor]: Taking taylor expansion of x in y
26.403 * [taylor]: Taking taylor expansion of y in y
26.404 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.404 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.404 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.404 * [taylor]: Taking taylor expansion of 2 in x
26.404 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.404 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.404 * [taylor]: Taking taylor expansion of z in x
26.405 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.405 * [taylor]: Taking taylor expansion of (* x y) in x
26.405 * [taylor]: Taking taylor expansion of x in x
26.405 * [taylor]: Taking taylor expansion of y in x
26.406 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.406 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.406 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.406 * [taylor]: Taking taylor expansion of 2 in x
26.406 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.406 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.406 * [taylor]: Taking taylor expansion of z in x
26.406 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.406 * [taylor]: Taking taylor expansion of (* x y) in x
26.406 * [taylor]: Taking taylor expansion of x in x
26.406 * [taylor]: Taking taylor expansion of y in x
26.407 * [taylor]: Taking taylor expansion of 0 in y
26.407 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
26.407 * [taylor]: Taking taylor expansion of +nan.0 in y
26.407 * [taylor]: Taking taylor expansion of y in y
26.407 * [taylor]: Taking taylor expansion of +nan.0 in z
26.407 * [taylor]: Taking taylor expansion of 0 in z
26.409 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2))))) in y
26.409 * [taylor]: Taking taylor expansion of +nan.0 in y
26.409 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2)))) in y
26.409 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.409 * [taylor]: Taking taylor expansion of 2 in y
26.409 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.409 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.409 * [taylor]: Taking taylor expansion of z in y
26.409 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
26.409 * [taylor]: Taking taylor expansion of +nan.0 in y
26.409 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
26.409 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.409 * [taylor]: Taking taylor expansion of y in y
26.413 * [taylor]: Taking taylor expansion of 0 in z
26.413 * [taylor]: Taking taylor expansion of 0 in z
26.413 * [taylor]: Taking taylor expansion of 0 in z
26.416 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y)))))) in y
26.416 * [taylor]: Taking taylor expansion of +nan.0 in y
26.416 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y))))) in y
26.416 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
26.416 * [taylor]: Taking taylor expansion of +nan.0 in y
26.416 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
26.416 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.416 * [taylor]: Taking taylor expansion of y in y
26.417 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow z 2) y)))) in y
26.417 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) y))) in y
26.417 * [taylor]: Taking taylor expansion of +nan.0 in y
26.417 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
26.417 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
26.417 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.417 * [taylor]: Taking taylor expansion of z in y
26.417 * [taylor]: Taking taylor expansion of y in y
26.423 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.423 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.423 * [taylor]: Taking taylor expansion of +nan.0 in z
26.423 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.423 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.423 * [taylor]: Taking taylor expansion of z in z
26.428 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.428 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.428 * [taylor]: Taking taylor expansion of +nan.0 in z
26.428 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.428 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.428 * [taylor]: Taking taylor expansion of z in z
26.431 * [taylor]: Taking taylor expansion of 0 in z
26.431 * [taylor]: Taking taylor expansion of 0 in z
26.431 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
26.431 * [approximate]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in (x y z) around 0
26.431 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in z
26.431 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in z
26.431 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in z
26.431 * [taylor]: Taking taylor expansion of 2 in z
26.431 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.431 * [taylor]: Taking taylor expansion of z in z
26.431 * [taylor]: Taking taylor expansion of (* x y) in z
26.431 * [taylor]: Taking taylor expansion of x in z
26.431 * [taylor]: Taking taylor expansion of y in z
26.432 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in y
26.432 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in y
26.432 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in y
26.432 * [taylor]: Taking taylor expansion of 2 in y
26.432 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.432 * [taylor]: Taking taylor expansion of z in y
26.432 * [taylor]: Taking taylor expansion of (* x y) in y
26.432 * [taylor]: Taking taylor expansion of x in y
26.432 * [taylor]: Taking taylor expansion of y in y
26.433 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.433 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.433 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.433 * [taylor]: Taking taylor expansion of 2 in x
26.433 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.433 * [taylor]: Taking taylor expansion of z in x
26.433 * [taylor]: Taking taylor expansion of (* x y) in x
26.433 * [taylor]: Taking taylor expansion of x in x
26.433 * [taylor]: Taking taylor expansion of y in x
26.434 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.434 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.434 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.434 * [taylor]: Taking taylor expansion of 2 in x
26.434 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.434 * [taylor]: Taking taylor expansion of z in x
26.434 * [taylor]: Taking taylor expansion of (* x y) in x
26.434 * [taylor]: Taking taylor expansion of x in x
26.434 * [taylor]: Taking taylor expansion of y in x
26.436 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in y
26.436 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.436 * [taylor]: Taking taylor expansion of 2 in y
26.436 * [taylor]: Taking taylor expansion of z in y
26.437 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in z
26.437 * [taylor]: Taking taylor expansion of (sqrt 2) in z
26.437 * [taylor]: Taking taylor expansion of 2 in z
26.437 * [taylor]: Taking taylor expansion of z in z
26.438 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (* (sqrt 2) z))) in y
26.438 * [taylor]: Taking taylor expansion of 1/2 in y
26.438 * [taylor]: Taking taylor expansion of (/ y (* (sqrt 2) z)) in y
26.438 * [taylor]: Taking taylor expansion of y in y
26.438 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in y
26.438 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.438 * [taylor]: Taking taylor expansion of 2 in y
26.439 * [taylor]: Taking taylor expansion of z in y
26.439 * [taylor]: Taking taylor expansion of 0 in z
26.444 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow y 2) (* (pow (sqrt 2) 3) (pow z 3)))) in y
26.444 * [taylor]: Taking taylor expansion of -1/8 in y
26.444 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow (sqrt 2) 3) (pow z 3))) in y
26.444 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.444 * [taylor]: Taking taylor expansion of y in y
26.444 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2) 3) (pow z 3)) in y
26.444 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 3) in y
26.444 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.444 * [taylor]: Taking taylor expansion of 2 in y
26.444 * [taylor]: Taking taylor expansion of (pow z 3) in y
26.445 * [taylor]: Taking taylor expansion of z in y
26.452 * [taylor]: Taking taylor expansion of (/ 1/2 (* (sqrt 2) z)) in z
26.452 * [taylor]: Taking taylor expansion of 1/2 in z
26.452 * [taylor]: Taking taylor expansion of (* (sqrt 2) z) in z
26.452 * [taylor]: Taking taylor expansion of (sqrt 2) in z
26.452 * [taylor]: Taking taylor expansion of 2 in z
26.453 * [taylor]: Taking taylor expansion of z in z
26.458 * [taylor]: Taking taylor expansion of 0 in z
26.463 * [taylor]: Taking taylor expansion of (* 1/16 (/ (pow y 3) (* (pow (sqrt 2) 5) (pow z 5)))) in y
26.463 * [taylor]: Taking taylor expansion of 1/16 in y
26.463 * [taylor]: Taking taylor expansion of (/ (pow y 3) (* (pow (sqrt 2) 5) (pow z 5))) in y
26.463 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.463 * [taylor]: Taking taylor expansion of y in y
26.463 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2) 5) (pow z 5)) in y
26.463 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 5) in y
26.463 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.463 * [taylor]: Taking taylor expansion of 2 in y
26.464 * [taylor]: Taking taylor expansion of (pow z 5) in y
26.464 * [taylor]: Taking taylor expansion of z in y
26.472 * [taylor]: Taking taylor expansion of 0 in z
26.473 * [taylor]: Taking taylor expansion of 0 in z
26.474 * [approximate]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in (x y z) around 0
26.474 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.474 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.474 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.474 * [taylor]: Taking taylor expansion of 2 in z
26.474 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.474 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.474 * [taylor]: Taking taylor expansion of z in z
26.475 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.475 * [taylor]: Taking taylor expansion of (* x y) in z
26.475 * [taylor]: Taking taylor expansion of x in z
26.475 * [taylor]: Taking taylor expansion of y in z
26.478 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.478 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.478 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.478 * [taylor]: Taking taylor expansion of 2 in y
26.478 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.478 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.478 * [taylor]: Taking taylor expansion of z in y
26.478 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.478 * [taylor]: Taking taylor expansion of (* x y) in y
26.478 * [taylor]: Taking taylor expansion of x in y
26.478 * [taylor]: Taking taylor expansion of y in y
26.479 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.479 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.479 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.479 * [taylor]: Taking taylor expansion of 2 in x
26.479 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.479 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.479 * [taylor]: Taking taylor expansion of z in x
26.479 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.479 * [taylor]: Taking taylor expansion of (* x y) in x
26.479 * [taylor]: Taking taylor expansion of x in x
26.479 * [taylor]: Taking taylor expansion of y in x
26.480 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.480 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.480 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.480 * [taylor]: Taking taylor expansion of 2 in x
26.481 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.481 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.481 * [taylor]: Taking taylor expansion of z in x
26.481 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.481 * [taylor]: Taking taylor expansion of (* x y) in x
26.481 * [taylor]: Taking taylor expansion of x in x
26.481 * [taylor]: Taking taylor expansion of y in x
26.482 * [taylor]: Taking taylor expansion of 0 in y
26.482 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
26.482 * [taylor]: Taking taylor expansion of +nan.0 in y
26.482 * [taylor]: Taking taylor expansion of y in y
26.482 * [taylor]: Taking taylor expansion of +nan.0 in z
26.482 * [taylor]: Taking taylor expansion of 0 in z
26.484 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2))))) in y
26.484 * [taylor]: Taking taylor expansion of +nan.0 in y
26.484 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2)))) in y
26.484 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.484 * [taylor]: Taking taylor expansion of 2 in y
26.484 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.484 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.484 * [taylor]: Taking taylor expansion of z in y
26.484 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
26.484 * [taylor]: Taking taylor expansion of +nan.0 in y
26.484 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
26.484 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.484 * [taylor]: Taking taylor expansion of y in y
26.488 * [taylor]: Taking taylor expansion of 0 in z
26.489 * [taylor]: Taking taylor expansion of 0 in z
26.489 * [taylor]: Taking taylor expansion of 0 in z
26.491 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y)))))) in y
26.491 * [taylor]: Taking taylor expansion of +nan.0 in y
26.491 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y))))) in y
26.491 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
26.491 * [taylor]: Taking taylor expansion of +nan.0 in y
26.491 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
26.491 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.491 * [taylor]: Taking taylor expansion of y in y
26.492 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow z 2) y)))) in y
26.492 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) y))) in y
26.492 * [taylor]: Taking taylor expansion of +nan.0 in y
26.492 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
26.492 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
26.492 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.492 * [taylor]: Taking taylor expansion of z in y
26.492 * [taylor]: Taking taylor expansion of y in y
26.498 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.498 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.498 * [taylor]: Taking taylor expansion of +nan.0 in z
26.498 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.498 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.498 * [taylor]: Taking taylor expansion of z in z
26.503 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.503 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.503 * [taylor]: Taking taylor expansion of +nan.0 in z
26.503 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.503 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.503 * [taylor]: Taking taylor expansion of z in z
26.505 * [taylor]: Taking taylor expansion of 0 in z
26.506 * [taylor]: Taking taylor expansion of 0 in z
26.506 * [approximate]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in (x y z) around 0
26.506 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.506 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.506 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.506 * [taylor]: Taking taylor expansion of 2 in z
26.506 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.506 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.506 * [taylor]: Taking taylor expansion of z in z
26.507 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.507 * [taylor]: Taking taylor expansion of (* x y) in z
26.507 * [taylor]: Taking taylor expansion of x in z
26.507 * [taylor]: Taking taylor expansion of y in z
26.509 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.509 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.509 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.509 * [taylor]: Taking taylor expansion of 2 in y
26.509 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.510 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.510 * [taylor]: Taking taylor expansion of z in y
26.510 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.510 * [taylor]: Taking taylor expansion of (* x y) in y
26.510 * [taylor]: Taking taylor expansion of x in y
26.510 * [taylor]: Taking taylor expansion of y in y
26.511 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.511 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.511 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.511 * [taylor]: Taking taylor expansion of 2 in x
26.511 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.511 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.511 * [taylor]: Taking taylor expansion of z in x
26.511 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.511 * [taylor]: Taking taylor expansion of (* x y) in x
26.511 * [taylor]: Taking taylor expansion of x in x
26.511 * [taylor]: Taking taylor expansion of y in x
26.512 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.512 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.512 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.512 * [taylor]: Taking taylor expansion of 2 in x
26.512 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.512 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.512 * [taylor]: Taking taylor expansion of z in x
26.512 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.512 * [taylor]: Taking taylor expansion of (* x y) in x
26.512 * [taylor]: Taking taylor expansion of x in x
26.512 * [taylor]: Taking taylor expansion of y in x
26.513 * [taylor]: Taking taylor expansion of 0 in y
26.513 * [taylor]: Taking taylor expansion of (/ +nan.0 y) in y
26.513 * [taylor]: Taking taylor expansion of +nan.0 in y
26.513 * [taylor]: Taking taylor expansion of y in y
26.514 * [taylor]: Taking taylor expansion of +nan.0 in z
26.514 * [taylor]: Taking taylor expansion of 0 in z
26.515 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2))))) in y
26.515 * [taylor]: Taking taylor expansion of +nan.0 in y
26.515 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow z 2))) (* +nan.0 (/ 1 (pow y 2)))) in y
26.515 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.515 * [taylor]: Taking taylor expansion of 2 in y
26.515 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.516 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.516 * [taylor]: Taking taylor expansion of z in y
26.516 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
26.516 * [taylor]: Taking taylor expansion of +nan.0 in y
26.516 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
26.516 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.516 * [taylor]: Taking taylor expansion of y in y
26.519 * [taylor]: Taking taylor expansion of 0 in z
26.520 * [taylor]: Taking taylor expansion of 0 in z
26.520 * [taylor]: Taking taylor expansion of 0 in z
26.523 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y)))))) in y
26.523 * [taylor]: Taking taylor expansion of +nan.0 in y
26.523 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y))))) in y
26.523 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
26.523 * [taylor]: Taking taylor expansion of +nan.0 in y
26.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
26.523 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.523 * [taylor]: Taking taylor expansion of y in y
26.524 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow z 2) y)))) in y
26.524 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) y))) in y
26.524 * [taylor]: Taking taylor expansion of +nan.0 in y
26.524 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
26.524 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
26.524 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.524 * [taylor]: Taking taylor expansion of z in y
26.524 * [taylor]: Taking taylor expansion of y in y
26.530 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.530 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.530 * [taylor]: Taking taylor expansion of +nan.0 in z
26.530 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.530 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.530 * [taylor]: Taking taylor expansion of z in z
26.535 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.535 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.535 * [taylor]: Taking taylor expansion of +nan.0 in z
26.535 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.535 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.535 * [taylor]: Taking taylor expansion of z in z
26.537 * [taylor]: Taking taylor expansion of 0 in z
26.537 * [taylor]: Taking taylor expansion of 0 in z
26.538 * * * * [progress]: [ 3 / 4 ] generating series at (2)
26.538 * [approximate]: Taking taylor expansion of (fma (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y))) (pow z 2)) in (x y z) around 0
26.538 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y))) (pow z 2)) in z
26.538 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) (pow z 2))
26.538 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) in z
26.538 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in z
26.538 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in z
26.538 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in z
26.538 * [taylor]: Taking taylor expansion of 2 in z
26.538 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.538 * [taylor]: Taking taylor expansion of z in z
26.538 * [taylor]: Taking taylor expansion of (* x y) in z
26.538 * [taylor]: Taking taylor expansion of x in z
26.538 * [taylor]: Taking taylor expansion of y in z
26.539 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in z
26.539 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in z
26.539 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in z
26.539 * [taylor]: Taking taylor expansion of 2 in z
26.539 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.539 * [taylor]: Taking taylor expansion of z in z
26.539 * [taylor]: Taking taylor expansion of (* x y) in z
26.539 * [taylor]: Taking taylor expansion of x in z
26.539 * [taylor]: Taking taylor expansion of y in z
26.542 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.542 * [taylor]: Taking taylor expansion of z in z
26.542 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y))) (pow z 2)) in y
26.543 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) (pow z 2))
26.543 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) in y
26.543 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in y
26.543 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in y
26.543 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in y
26.543 * [taylor]: Taking taylor expansion of 2 in y
26.543 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.543 * [taylor]: Taking taylor expansion of z in y
26.543 * [taylor]: Taking taylor expansion of (* x y) in y
26.543 * [taylor]: Taking taylor expansion of x in y
26.543 * [taylor]: Taking taylor expansion of y in y
26.544 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in y
26.544 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in y
26.544 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in y
26.544 * [taylor]: Taking taylor expansion of 2 in y
26.544 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.544 * [taylor]: Taking taylor expansion of z in y
26.544 * [taylor]: Taking taylor expansion of (* x y) in y
26.544 * [taylor]: Taking taylor expansion of x in y
26.544 * [taylor]: Taking taylor expansion of y in y
26.545 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.545 * [taylor]: Taking taylor expansion of z in y
26.545 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y))) (pow z 2)) in x
26.545 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) (pow z 2))
26.545 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) in x
26.545 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.545 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.545 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.545 * [taylor]: Taking taylor expansion of 2 in x
26.545 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.545 * [taylor]: Taking taylor expansion of z in x
26.546 * [taylor]: Taking taylor expansion of (* x y) in x
26.546 * [taylor]: Taking taylor expansion of x in x
26.546 * [taylor]: Taking taylor expansion of y in x
26.547 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.547 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.547 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.547 * [taylor]: Taking taylor expansion of 2 in x
26.547 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.547 * [taylor]: Taking taylor expansion of z in x
26.547 * [taylor]: Taking taylor expansion of (* x y) in x
26.547 * [taylor]: Taking taylor expansion of x in x
26.547 * [taylor]: Taking taylor expansion of y in x
26.548 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.548 * [taylor]: Taking taylor expansion of z in x
26.548 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y))) (pow z 2)) in x
26.548 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) (pow z 2))
26.548 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (pow z 2)) (* x y))) (sqrt (+ (* 2 (pow z 2)) (* x y)))) in x
26.548 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.548 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.548 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.548 * [taylor]: Taking taylor expansion of 2 in x
26.548 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.548 * [taylor]: Taking taylor expansion of z in x
26.548 * [taylor]: Taking taylor expansion of (* x y) in x
26.548 * [taylor]: Taking taylor expansion of x in x
26.548 * [taylor]: Taking taylor expansion of y in x
26.549 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (pow z 2)) (* x y))) in x
26.549 * [taylor]: Taking taylor expansion of (+ (* 2 (pow z 2)) (* x y)) in x
26.549 * [taylor]: Taking taylor expansion of (* 2 (pow z 2)) in x
26.549 * [taylor]: Taking taylor expansion of 2 in x
26.549 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.549 * [taylor]: Taking taylor expansion of z in x
26.549 * [taylor]: Taking taylor expansion of (* x y) in x
26.549 * [taylor]: Taking taylor expansion of x in x
26.549 * [taylor]: Taking taylor expansion of y in x
26.550 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.550 * [taylor]: Taking taylor expansion of z in x
26.552 * [taylor]: Taking taylor expansion of (+ (* (pow (sqrt 2) 2) (pow z 2)) (pow z 2)) in y
26.552 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2) 2) (pow z 2)) in y
26.552 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 2) in y
26.552 * [taylor]: Taking taylor expansion of (sqrt 2) in y
26.552 * [taylor]: Taking taylor expansion of 2 in y
26.553 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.553 * [taylor]: Taking taylor expansion of z in y
26.553 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.553 * [taylor]: Taking taylor expansion of z in y
26.555 * [taylor]: Taking taylor expansion of (+ (* (pow (sqrt 2) 2) (pow z 2)) (pow z 2)) in z
26.555 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2) 2) (pow z 2)) in z
26.555 * [taylor]: Taking taylor expansion of (pow (sqrt 2) 2) in z
26.555 * [taylor]: Taking taylor expansion of (sqrt 2) in z
26.555 * [taylor]: Taking taylor expansion of 2 in z
26.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.556 * [taylor]: Taking taylor expansion of z in z
26.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.556 * [taylor]: Taking taylor expansion of z in z
26.557 * [taylor]: Taking taylor expansion of y in y
26.557 * [taylor]: Taking taylor expansion of 0 in z
26.558 * [taylor]: Taking taylor expansion of 0 in z
26.567 * [taylor]: Taking taylor expansion of 0 in y
26.567 * [taylor]: Taking taylor expansion of 0 in z
26.567 * [taylor]: Taking taylor expansion of 1 in z
26.570 * [taylor]: Taking taylor expansion of 0 in z
26.588 * [taylor]: Taking taylor expansion of 0 in y
26.588 * [taylor]: Taking taylor expansion of 0 in z
26.588 * [taylor]: Taking taylor expansion of 0 in z
26.588 * [taylor]: Taking taylor expansion of 0 in z
26.592 * [taylor]: Taking taylor expansion of 0 in z
26.594 * [approximate]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in (x y z) around 0
26.594 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in z
26.594 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.594 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in z
26.594 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.594 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.594 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.594 * [taylor]: Taking taylor expansion of 2 in z
26.594 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.594 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.594 * [taylor]: Taking taylor expansion of z in z
26.595 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.595 * [taylor]: Taking taylor expansion of (* x y) in z
26.595 * [taylor]: Taking taylor expansion of x in z
26.595 * [taylor]: Taking taylor expansion of y in z
26.597 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.597 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.597 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.597 * [taylor]: Taking taylor expansion of 2 in z
26.598 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.598 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.598 * [taylor]: Taking taylor expansion of z in z
26.598 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.598 * [taylor]: Taking taylor expansion of (* x y) in z
26.598 * [taylor]: Taking taylor expansion of x in z
26.598 * [taylor]: Taking taylor expansion of y in z
26.601 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.601 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.601 * [taylor]: Taking taylor expansion of z in z
26.601 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in y
26.602 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.602 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in y
26.602 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.602 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.602 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.602 * [taylor]: Taking taylor expansion of 2 in y
26.602 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.602 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.602 * [taylor]: Taking taylor expansion of z in y
26.602 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.602 * [taylor]: Taking taylor expansion of (* x y) in y
26.602 * [taylor]: Taking taylor expansion of x in y
26.602 * [taylor]: Taking taylor expansion of y in y
26.603 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.603 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.603 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.603 * [taylor]: Taking taylor expansion of 2 in y
26.603 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.603 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.603 * [taylor]: Taking taylor expansion of z in y
26.603 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.603 * [taylor]: Taking taylor expansion of (* x y) in y
26.603 * [taylor]: Taking taylor expansion of x in y
26.603 * [taylor]: Taking taylor expansion of y in y
26.604 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.604 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.604 * [taylor]: Taking taylor expansion of z in y
26.604 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in x
26.604 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.604 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in x
26.604 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.604 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.604 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.604 * [taylor]: Taking taylor expansion of 2 in x
26.605 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.605 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.605 * [taylor]: Taking taylor expansion of z in x
26.605 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.605 * [taylor]: Taking taylor expansion of (* x y) in x
26.605 * [taylor]: Taking taylor expansion of x in x
26.605 * [taylor]: Taking taylor expansion of y in x
26.606 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.606 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.606 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.606 * [taylor]: Taking taylor expansion of 2 in x
26.606 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.606 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.606 * [taylor]: Taking taylor expansion of z in x
26.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.606 * [taylor]: Taking taylor expansion of (* x y) in x
26.606 * [taylor]: Taking taylor expansion of x in x
26.606 * [taylor]: Taking taylor expansion of y in x
26.607 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.607 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.607 * [taylor]: Taking taylor expansion of z in x
26.607 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in x
26.607 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.607 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in x
26.607 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.607 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.607 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.607 * [taylor]: Taking taylor expansion of 2 in x
26.607 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.607 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.607 * [taylor]: Taking taylor expansion of z in x
26.607 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.608 * [taylor]: Taking taylor expansion of (* x y) in x
26.608 * [taylor]: Taking taylor expansion of x in x
26.608 * [taylor]: Taking taylor expansion of y in x
26.608 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.609 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.609 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.609 * [taylor]: Taking taylor expansion of 2 in x
26.609 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.609 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.609 * [taylor]: Taking taylor expansion of z in x
26.609 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.609 * [taylor]: Taking taylor expansion of (* x y) in x
26.609 * [taylor]: Taking taylor expansion of x in x
26.609 * [taylor]: Taking taylor expansion of y in x
26.610 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.610 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.610 * [taylor]: Taking taylor expansion of z in x
26.610 * [taylor]: Taking taylor expansion of 0 in y
26.611 * [taylor]: Taking taylor expansion of 0 in y
26.614 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (* +nan.0 (/ 1 (pow y 2)))) in y
26.614 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.614 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.614 * [taylor]: Taking taylor expansion of z in y
26.615 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
26.615 * [taylor]: Taking taylor expansion of +nan.0 in y
26.615 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
26.615 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.615 * [taylor]: Taking taylor expansion of y in y
26.616 * [taylor]: Taking taylor expansion of (- +nan.0) in z
26.616 * [taylor]: Taking taylor expansion of +nan.0 in z
26.616 * [taylor]: Taking taylor expansion of 0 in z
26.623 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y)))))) in y
26.623 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y))))) in y
26.623 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
26.623 * [taylor]: Taking taylor expansion of +nan.0 in y
26.623 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
26.623 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.623 * [taylor]: Taking taylor expansion of y in y
26.624 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow z 2) y)))) in y
26.624 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) y))) in y
26.624 * [taylor]: Taking taylor expansion of +nan.0 in y
26.624 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
26.624 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
26.624 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.624 * [taylor]: Taking taylor expansion of z in y
26.624 * [taylor]: Taking taylor expansion of y in y
26.627 * [taylor]: Taking taylor expansion of 0 in z
26.628 * [taylor]: Taking taylor expansion of 0 in z
26.628 * [taylor]: Taking taylor expansion of 0 in z
26.628 * [taylor]: Taking taylor expansion of 0 in z
26.643 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow z 2) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4)))))))) in y
26.643 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow z 2) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4))))))) in y
26.643 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) (pow y 2)))) in y
26.643 * [taylor]: Taking taylor expansion of +nan.0 in y
26.643 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y
26.643 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y
26.643 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.643 * [taylor]: Taking taylor expansion of z in y
26.643 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.643 * [taylor]: Taking taylor expansion of y in y
26.644 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4)))))) in y
26.644 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4))))) in y
26.644 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 4))) in y
26.644 * [taylor]: Taking taylor expansion of +nan.0 in y
26.644 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in y
26.644 * [taylor]: Taking taylor expansion of (pow z 4) in y
26.644 * [taylor]: Taking taylor expansion of z in y
26.644 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 4)))) in y
26.644 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 4))) in y
26.644 * [taylor]: Taking taylor expansion of +nan.0 in y
26.644 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
26.644 * [taylor]: Taking taylor expansion of (pow y 4) in y
26.644 * [taylor]: Taking taylor expansion of y in y
26.649 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.649 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.649 * [taylor]: Taking taylor expansion of +nan.0 in z
26.649 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.649 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.649 * [taylor]: Taking taylor expansion of z in z
26.653 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.653 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.653 * [taylor]: Taking taylor expansion of +nan.0 in z
26.653 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.653 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.653 * [taylor]: Taking taylor expansion of z in z
26.656 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.656 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.656 * [taylor]: Taking taylor expansion of z in z
26.659 * [approximate]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in (x y z) around 0
26.659 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in z
26.659 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.659 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in z
26.659 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.659 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.659 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.659 * [taylor]: Taking taylor expansion of 2 in z
26.659 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.659 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.659 * [taylor]: Taking taylor expansion of z in z
26.660 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.660 * [taylor]: Taking taylor expansion of (* x y) in z
26.660 * [taylor]: Taking taylor expansion of x in z
26.660 * [taylor]: Taking taylor expansion of y in z
26.662 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in z
26.662 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in z
26.662 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in z
26.663 * [taylor]: Taking taylor expansion of 2 in z
26.663 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.663 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.663 * [taylor]: Taking taylor expansion of z in z
26.663 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.663 * [taylor]: Taking taylor expansion of (* x y) in z
26.663 * [taylor]: Taking taylor expansion of x in z
26.663 * [taylor]: Taking taylor expansion of y in z
26.666 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.666 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.666 * [taylor]: Taking taylor expansion of z in z
26.666 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in y
26.666 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.666 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in y
26.667 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.667 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.667 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.667 * [taylor]: Taking taylor expansion of 2 in y
26.667 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.667 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.667 * [taylor]: Taking taylor expansion of z in y
26.667 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.667 * [taylor]: Taking taylor expansion of (* x y) in y
26.667 * [taylor]: Taking taylor expansion of x in y
26.667 * [taylor]: Taking taylor expansion of y in y
26.668 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in y
26.668 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in y
26.668 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in y
26.668 * [taylor]: Taking taylor expansion of 2 in y
26.668 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.668 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.668 * [taylor]: Taking taylor expansion of z in y
26.668 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.668 * [taylor]: Taking taylor expansion of (* x y) in y
26.668 * [taylor]: Taking taylor expansion of x in y
26.668 * [taylor]: Taking taylor expansion of y in y
26.669 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.669 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.669 * [taylor]: Taking taylor expansion of z in y
26.669 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in x
26.669 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.669 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in x
26.669 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.669 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.669 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.669 * [taylor]: Taking taylor expansion of 2 in x
26.669 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.669 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.669 * [taylor]: Taking taylor expansion of z in x
26.670 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.670 * [taylor]: Taking taylor expansion of (* x y) in x
26.670 * [taylor]: Taking taylor expansion of x in x
26.670 * [taylor]: Taking taylor expansion of y in x
26.671 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.671 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.671 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.671 * [taylor]: Taking taylor expansion of 2 in x
26.671 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.671 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.671 * [taylor]: Taking taylor expansion of z in x
26.671 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.671 * [taylor]: Taking taylor expansion of (* x y) in x
26.671 * [taylor]: Taking taylor expansion of x in x
26.671 * [taylor]: Taking taylor expansion of y in x
26.672 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.672 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.672 * [taylor]: Taking taylor expansion of z in x
26.672 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (/ 1 (pow z 2))) in x
26.672 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) (/ 1 (pow z 2)))
26.672 * [taylor]: Taking taylor expansion of (* (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))))) in x
26.672 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.672 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.672 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.672 * [taylor]: Taking taylor expansion of 2 in x
26.672 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.672 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.672 * [taylor]: Taking taylor expansion of z in x
26.672 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.672 * [taylor]: Taking taylor expansion of (* x y) in x
26.672 * [taylor]: Taking taylor expansion of x in x
26.672 * [taylor]: Taking taylor expansion of y in x
26.673 * [taylor]: Taking taylor expansion of (sqrt (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y)))) in x
26.673 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow z 2))) (/ 1 (* x y))) in x
26.673 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow z 2))) in x
26.673 * [taylor]: Taking taylor expansion of 2 in x
26.673 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.673 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.674 * [taylor]: Taking taylor expansion of z in x
26.674 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.674 * [taylor]: Taking taylor expansion of (* x y) in x
26.674 * [taylor]: Taking taylor expansion of x in x
26.674 * [taylor]: Taking taylor expansion of y in x
26.675 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.675 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.675 * [taylor]: Taking taylor expansion of z in x
26.675 * [taylor]: Taking taylor expansion of 0 in y
26.676 * [taylor]: Taking taylor expansion of 0 in y
26.679 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (* +nan.0 (/ 1 (pow y 2)))) in y
26.679 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.679 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.679 * [taylor]: Taking taylor expansion of z in y
26.679 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
26.679 * [taylor]: Taking taylor expansion of +nan.0 in y
26.679 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
26.680 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.680 * [taylor]: Taking taylor expansion of y in y
26.681 * [taylor]: Taking taylor expansion of (- +nan.0) in z
26.681 * [taylor]: Taking taylor expansion of +nan.0 in z
26.681 * [taylor]: Taking taylor expansion of 0 in z
26.688 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y)))))) in y
26.688 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (* +nan.0 (/ 1 (* (pow z 2) y))))) in y
26.688 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
26.688 * [taylor]: Taking taylor expansion of +nan.0 in y
26.688 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
26.688 * [taylor]: Taking taylor expansion of (pow y 3) in y
26.688 * [taylor]: Taking taylor expansion of y in y
26.689 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* (pow z 2) y)))) in y
26.689 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) y))) in y
26.689 * [taylor]: Taking taylor expansion of +nan.0 in y
26.689 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y
26.689 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
26.689 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.689 * [taylor]: Taking taylor expansion of z in y
26.689 * [taylor]: Taking taylor expansion of y in y
26.692 * [taylor]: Taking taylor expansion of 0 in z
26.693 * [taylor]: Taking taylor expansion of 0 in z
26.693 * [taylor]: Taking taylor expansion of 0 in z
26.694 * [taylor]: Taking taylor expansion of 0 in z
26.705 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (* (pow z 2) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4)))))))) in y
26.705 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (* (pow z 2) (pow y 2)))) (- (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4))))))) in y
26.705 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* (pow z 2) (pow y 2)))) in y
26.705 * [taylor]: Taking taylor expansion of +nan.0 in y
26.705 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y
26.705 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y
26.705 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.705 * [taylor]: Taking taylor expansion of z in y
26.705 * [taylor]: Taking taylor expansion of (pow y 2) in y
26.705 * [taylor]: Taking taylor expansion of y in y
26.705 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4)))))) in y
26.705 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow z 4))) (- (* +nan.0 (/ 1 (pow y 4))))) in y
26.705 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 4))) in y
26.705 * [taylor]: Taking taylor expansion of +nan.0 in y
26.705 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in y
26.705 * [taylor]: Taking taylor expansion of (pow z 4) in y
26.705 * [taylor]: Taking taylor expansion of z in y
26.705 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow y 4)))) in y
26.706 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 4))) in y
26.706 * [taylor]: Taking taylor expansion of +nan.0 in y
26.706 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
26.706 * [taylor]: Taking taylor expansion of (pow y 4) in y
26.706 * [taylor]: Taking taylor expansion of y in y
26.710 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.711 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.711 * [taylor]: Taking taylor expansion of +nan.0 in z
26.711 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.711 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.711 * [taylor]: Taking taylor expansion of z in z
26.714 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow z 2)))) in z
26.715 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow z 2))) in z
26.715 * [taylor]: Taking taylor expansion of +nan.0 in z
26.715 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.715 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.715 * [taylor]: Taking taylor expansion of z in z
26.718 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.718 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.718 * [taylor]: Taking taylor expansion of z in z
26.720 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
26.720 * [approximate]: Taking taylor expansion of (+ (pow z 2) (* x y)) in (x y z) around 0
26.720 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in z
26.720 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.720 * [taylor]: Taking taylor expansion of z in z
26.720 * [taylor]: Taking taylor expansion of (* x y) in z
26.720 * [taylor]: Taking taylor expansion of x in z
26.720 * [taylor]: Taking taylor expansion of y in z
26.720 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in y
26.720 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.720 * [taylor]: Taking taylor expansion of z in y
26.720 * [taylor]: Taking taylor expansion of (* x y) in y
26.720 * [taylor]: Taking taylor expansion of x in y
26.720 * [taylor]: Taking taylor expansion of y in y
26.720 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in x
26.720 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.720 * [taylor]: Taking taylor expansion of z in x
26.720 * [taylor]: Taking taylor expansion of (* x y) in x
26.720 * [taylor]: Taking taylor expansion of x in x
26.720 * [taylor]: Taking taylor expansion of y in x
26.720 * [taylor]: Taking taylor expansion of (+ (pow z 2) (* x y)) in x
26.720 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.720 * [taylor]: Taking taylor expansion of z in x
26.720 * [taylor]: Taking taylor expansion of (* x y) in x
26.720 * [taylor]: Taking taylor expansion of x in x
26.720 * [taylor]: Taking taylor expansion of y in x
26.721 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.721 * [taylor]: Taking taylor expansion of z in y
26.721 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.721 * [taylor]: Taking taylor expansion of z in z
26.721 * [taylor]: Taking taylor expansion of y in y
26.721 * [taylor]: Taking taylor expansion of 0 in z
26.721 * [taylor]: Taking taylor expansion of 0 in z
26.722 * [taylor]: Taking taylor expansion of 0 in y
26.722 * [taylor]: Taking taylor expansion of 0 in z
26.722 * [taylor]: Taking taylor expansion of 1 in z
26.723 * [taylor]: Taking taylor expansion of 0 in z
26.724 * [taylor]: Taking taylor expansion of 0 in y
26.725 * [taylor]: Taking taylor expansion of 0 in z
26.725 * [taylor]: Taking taylor expansion of 0 in z
26.725 * [taylor]: Taking taylor expansion of 0 in z
26.728 * [taylor]: Taking taylor expansion of 0 in z
26.729 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in (x y z) around 0
26.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in z
26.729 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.729 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.729 * [taylor]: Taking taylor expansion of z in z
26.729 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.729 * [taylor]: Taking taylor expansion of (* x y) in z
26.730 * [taylor]: Taking taylor expansion of x in z
26.730 * [taylor]: Taking taylor expansion of y in z
26.730 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in y
26.730 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.730 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.730 * [taylor]: Taking taylor expansion of z in y
26.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.730 * [taylor]: Taking taylor expansion of (* x y) in y
26.730 * [taylor]: Taking taylor expansion of x in y
26.730 * [taylor]: Taking taylor expansion of y in y
26.730 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
26.730 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.730 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.730 * [taylor]: Taking taylor expansion of z in x
26.731 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.731 * [taylor]: Taking taylor expansion of (* x y) in x
26.731 * [taylor]: Taking taylor expansion of x in x
26.731 * [taylor]: Taking taylor expansion of y in x
26.731 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
26.731 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.731 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.731 * [taylor]: Taking taylor expansion of z in x
26.731 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.731 * [taylor]: Taking taylor expansion of (* x y) in x
26.731 * [taylor]: Taking taylor expansion of x in x
26.731 * [taylor]: Taking taylor expansion of y in x
26.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y
26.732 * [taylor]: Taking taylor expansion of y in y
26.732 * [taylor]: Taking taylor expansion of 1 in z
26.733 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.733 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.733 * [taylor]: Taking taylor expansion of z in y
26.733 * [taylor]: Taking taylor expansion of 0 in z
26.735 * [taylor]: Taking taylor expansion of 0 in y
26.735 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.735 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.735 * [taylor]: Taking taylor expansion of z in z
26.736 * [taylor]: Taking taylor expansion of 0 in z
26.738 * [taylor]: Taking taylor expansion of 0 in y
26.738 * [taylor]: Taking taylor expansion of 0 in z
26.738 * [taylor]: Taking taylor expansion of 0 in z
26.739 * [taylor]: Taking taylor expansion of 0 in z
26.742 * [taylor]: Taking taylor expansion of 0 in y
26.742 * [taylor]: Taking taylor expansion of 0 in z
26.742 * [taylor]: Taking taylor expansion of 0 in z
26.743 * [taylor]: Taking taylor expansion of 0 in z
26.743 * [taylor]: Taking taylor expansion of 0 in z
26.745 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in (x y z) around 0
26.745 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in z
26.745 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.745 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.745 * [taylor]: Taking taylor expansion of z in z
26.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
26.746 * [taylor]: Taking taylor expansion of (* x y) in z
26.746 * [taylor]: Taking taylor expansion of x in z
26.746 * [taylor]: Taking taylor expansion of y in z
26.746 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in y
26.746 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.746 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.746 * [taylor]: Taking taylor expansion of z in y
26.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
26.746 * [taylor]: Taking taylor expansion of (* x y) in y
26.746 * [taylor]: Taking taylor expansion of x in y
26.746 * [taylor]: Taking taylor expansion of y in y
26.746 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
26.746 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.746 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.746 * [taylor]: Taking taylor expansion of z in x
26.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.746 * [taylor]: Taking taylor expansion of (* x y) in x
26.747 * [taylor]: Taking taylor expansion of x in x
26.747 * [taylor]: Taking taylor expansion of y in x
26.747 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) (/ 1 (* x y))) in x
26.747 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
26.747 * [taylor]: Taking taylor expansion of (pow z 2) in x
26.747 * [taylor]: Taking taylor expansion of z in x
26.747 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
26.747 * [taylor]: Taking taylor expansion of (* x y) in x
26.747 * [taylor]: Taking taylor expansion of x in x
26.747 * [taylor]: Taking taylor expansion of y in x
26.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y
26.748 * [taylor]: Taking taylor expansion of y in y
26.748 * [taylor]: Taking taylor expansion of 1 in z
26.749 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
26.749 * [taylor]: Taking taylor expansion of (pow z 2) in y
26.749 * [taylor]: Taking taylor expansion of z in y
26.749 * [taylor]: Taking taylor expansion of 0 in z
26.750 * [taylor]: Taking taylor expansion of 0 in y
26.751 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
26.751 * [taylor]: Taking taylor expansion of (pow z 2) in z
26.751 * [taylor]: Taking taylor expansion of z in z
26.752 * [taylor]: Taking taylor expansion of 0 in z
26.754 * [taylor]: Taking taylor expansion of 0 in y
26.754 * [taylor]: Taking taylor expansion of 0 in z
26.754 * [taylor]: Taking taylor expansion of 0 in z
26.754 * [taylor]: Taking taylor expansion of 0 in z
26.758 * [taylor]: Taking taylor expansion of 0 in y
26.758 * [taylor]: Taking taylor expansion of 0 in z
26.758 * [taylor]: Taking taylor expansion of 0 in z
26.758 * [taylor]: Taking taylor expansion of 0 in z
26.759 * [taylor]: Taking taylor expansion of 0 in z
26.761 * * * [progress]: simplifying candidates
26.762 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (log1p (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (log (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (exp (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (* (cbrt (sqrt (+ (+ (* x y) (* z z)) (* z z)))) (cbrt (sqrt (+ (+ (* x y) (* z z)) (* z z)))))
  (cbrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (* (* (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z)))) (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (* (cbrt (+ (+ (* x y) (* z z)) (* z z))) (cbrt (+ (+ (* x y) (* z z)) (* z z)))))
  (sqrt (cbrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt 1)
  (sqrt (+ (+ (* x y) (* z z)) (* z z)))
  (sqrt (+ (pow (+ (* x y) (* z z)) 3) (pow (* z z) 3)))
  (sqrt (+ (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (- (* (* z z) (* z z)) (* (+ (* x y) (* z z)) (* z z)))))
  (sqrt (- (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (* (* z z) (* z z))))
  (sqrt (- (+ (* x y) (* z z)) (* z z)))
  (/ 1 2)
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (expm1 (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (log1p (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (log (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (exp (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (* (cbrt (sqrt (+ (+ (* x y) (* z z)) (* z z)))) (cbrt (sqrt (+ (+ (* x y) (* z z)) (* z z)))))
  (cbrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (* (* (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z)))) (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (* (cbrt (+ (+ (* x y) (* z z)) (* z z))) (cbrt (+ (+ (* x y) (* z z)) (* z z)))))
  (sqrt (cbrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt 1)
  (sqrt (+ (+ (* x y) (* z z)) (* z z)))
  (sqrt (+ (pow (+ (* x y) (* z z)) 3) (pow (* z z) 3)))
  (sqrt (+ (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (- (* (* z z) (* z z)) (* (+ (* x y) (* z z)) (* z z)))))
  (sqrt (- (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (* (* z z) (* z z))))
  (sqrt (- (+ (* x y) (* z z)) (* z z)))
  (/ 1 2)
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (sqrt (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (expm1 (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (log1p (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (* (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))))
  (log (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (exp (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (* (cbrt (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z))) (cbrt (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z))))
  (cbrt (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (* (* (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z))) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (sqrt (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (sqrt (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))
  (expm1 (+ (* x y) (* z z)))
  (log1p (+ (* x y) (* z z)))
  (* (exp (* x y)) (exp (* z z)))
  (log (+ (* x y) (* z z)))
  (exp (+ (* x y) (* z z)))
  (* (cbrt (+ (* x y) (* z z))) (cbrt (+ (* x y) (* z z))))
  (cbrt (+ (* x y) (* z z)))
  (* (* (+ (* x y) (* z z)) (+ (* x y) (* z z))) (+ (* x y) (* z z)))
  (sqrt (+ (* x y) (* z z)))
  (sqrt (+ (* x y) (* z z)))
  (+ (pow (* x y) 3) (pow (* z z) 3))
  (+ (* (* x y) (* x y)) (- (* (* z z) (* z z)) (* (* x y) (* z z))))
  (- (* (* x y) (* x y)) (* (* z z) (* z z)))
  (- (* x y) (* z z))
  (* (sqrt 2) z)
  (* +nan.0 y)
  (* +nan.0 y)
  (* (sqrt 2) z)
  (* +nan.0 y)
  (* +nan.0 y)
  (+ (* (pow (sqrt 2) 2) (pow z 2)) (+ (pow z 2) (* x y)))
  (- (pow z 2) (+ (* +nan.0 (/ (* (pow z 2) (pow y 2)) (pow x 2))) (- (* +nan.0 (/ (* (pow z 2) y) x)))))
  (- (pow z 2) (+ (* +nan.0 (/ (* (pow z 2) (pow y 2)) (pow x 2))) (- (* +nan.0 (/ (* (pow z 2) y) x)))))
  (+ (pow z 2) (* x y))
  (+ (pow z 2) (* x y))
  (+ (pow z 2) (* x y))
26.765 * * [simplify]: iteration  0 :  89  enodes  (cost  1299 )
26.780 * * [simplify]: iteration  1 :  229  enodes  (cost  961 )
26.833 * * [simplify]: iteration  2 :  863  enodes  (cost  745 )
27.117 * * [simplify]: iteration  3 :  3755  enodes  (cost  699 )
28.696 * * [simplify]: iteration  done :  5000  enodes  (cost  699 )
28.697 * [simplify]: Simplified to:
   (expm1 (sqrt (fma x y (* (* z z) 2))))
  (log1p (sqrt (fma x y (* (* z z) 2))))
  (log (sqrt (fma x y (* (* z z) 2))))
  (exp (sqrt (fma x y (* (* z z) 2))))
  (* (cbrt (sqrt (fma x y (* (* z z) 2)))) (cbrt (sqrt (fma x y (* (* z z) 2)))))
  (cbrt (sqrt (fma x y (* (* z z) 2))))
  (pow (sqrt (fma x y (* (* z z) 2))) 3)
  (fabs (cbrt (fma x y (* (* z z) 2))))
  (sqrt (cbrt (fma x y (* (* z z) 2))))
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  1
  (sqrt (fma x y (* (* z z) 2)))
  (hypot (pow (fma x y (* z z)) 3/2) (pow z 3))
  (sqrt (+ (* (fma x y (* z z)) (* x y)) (pow z 4)))
  (sqrt (* (fma x y (* (* z z) 2)) (* x y)))
  (sqrt (* y x))
  1/2
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  (expm1 (sqrt (fma x y (* (* z z) 2))))
  (log1p (sqrt (fma x y (* (* z z) 2))))
  (log (sqrt (fma x y (* (* z z) 2))))
  (exp (sqrt (fma x y (* (* z z) 2))))
  (* (cbrt (sqrt (fma x y (* (* z z) 2)))) (cbrt (sqrt (fma x y (* (* z z) 2)))))
  (cbrt (sqrt (fma x y (* (* z z) 2))))
  (pow (sqrt (fma x y (* (* z z) 2))) 3)
  (fabs (cbrt (fma x y (* (* z z) 2))))
  (sqrt (cbrt (fma x y (* (* z z) 2))))
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  1
  (sqrt (fma x y (* (* z z) 2)))
  (hypot (pow (fma x y (* z z)) 3/2) (pow z 3))
  (sqrt (+ (* (fma x y (* z z)) (* x y)) (pow z 4)))
  (sqrt (* (fma x y (* (* z z) 2)) (* x y)))
  (sqrt (* y x))
  1/2
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  (sqrt (sqrt (fma x y (* (* z z) 2))))
  (expm1 (fma 3 (* z z) (* y x)))
  (log1p (fma 3 (* z z) (* y x)))
  (fma x y (* (* z z) 2))
  (log (fma 3 (* z z) (* y x)))
  (exp (fma 3 (* z z) (* y x)))
  (* (cbrt (fma 3 (* z z) (* y x))) (cbrt (fma 3 (* z z) (* y x))))
  (cbrt (fma 3 (* z z) (* y x)))
  (pow (fma 3 (* z z) (* y x)) 3)
  (sqrt (fma 3 (* z z) (* y x)))
  (sqrt (fma 3 (* z z) (* y x)))
  (expm1 (fma x y (* z z)))
  (log1p (fma x y (* z z)))
  (exp (fma x y (* z z)))
  (log (fma x y (* z z)))
  (exp (fma x y (* z z)))
  (* (cbrt (fma x y (* z z))) (cbrt (fma x y (* z z))))
  (cbrt (fma x y (* z z)))
  (pow (fma x y (* z z)) 3)
  (sqrt (fma x y (* z z)))
  (sqrt (fma x y (* z z)))
  (+ (pow (* x y) 3) (pow z 6))
  (+ (pow z 4) (* (* x y) (- (* x y) (* z z))))
  (- (* (* x y) (* x y)) (pow z 4))
  (- (* x y) (* z z))
  (* (sqrt 2) z)
  (* +nan.0 y)
  (* +nan.0 y)
  (* (sqrt 2) z)
  (* +nan.0 y)
  (* +nan.0 y)
  (fma 3 (* z z) (* y x))
  (- (* z z) (* +nan.0 (* (/ (* z z) x) (- (/ (pow y 2) x) y))))
  (- (* z z) (* +nan.0 (* (/ (* z z) x) (- (/ (pow y 2) x) y))))
  (fma x y (* z z))
  (fma x y (* z z))
  (fma x y (* z z))
28.697 * * * [progress]: adding candidates to table
28.910 * * [progress]: iteration 4 / 4
28.910 * * * [progress]: picking best candidate
28.917 * * * * [pick]: Picked  #<alt (λ (x y z) (fma 3 (* z z) (* y x)))>
28.917 * * * [progress]: localizing error
28.923 * * * [progress]: generating rewritten candidates
28.923 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
28.924 * * * [progress]: generating series expansions
28.924 * * * * [progress]: [ 1 / 1 ] generating series at (2)
28.924 * [approximate]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in (z y x) around 0
28.924 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in x
28.924 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y))
28.924 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in x
28.924 * [taylor]: Taking taylor expansion of 3 in x
28.924 * [taylor]: Taking taylor expansion of (pow z 2) in x
28.924 * [taylor]: Taking taylor expansion of z in x
28.924 * [taylor]: Taking taylor expansion of (* x y) in x
28.924 * [taylor]: Taking taylor expansion of x in x
28.924 * [taylor]: Taking taylor expansion of y in x
28.924 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in y
28.924 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y))
28.925 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in y
28.925 * [taylor]: Taking taylor expansion of 3 in y
28.925 * [taylor]: Taking taylor expansion of (pow z 2) in y
28.925 * [taylor]: Taking taylor expansion of z in y
28.925 * [taylor]: Taking taylor expansion of (* x y) in y
28.925 * [taylor]: Taking taylor expansion of x in y
28.925 * [taylor]: Taking taylor expansion of y in y
28.925 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in z
28.925 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y))
28.925 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
28.925 * [taylor]: Taking taylor expansion of 3 in z
28.925 * [taylor]: Taking taylor expansion of (pow z 2) in z
28.925 * [taylor]: Taking taylor expansion of z in z
28.925 * [taylor]: Taking taylor expansion of (* x y) in z
28.925 * [taylor]: Taking taylor expansion of x in z
28.925 * [taylor]: Taking taylor expansion of y in z
28.925 * [taylor]: Taking taylor expansion of (fma 3 (pow z 2) (* x y)) in z
28.925 * [taylor]: Rewrote expression to (+ (* 3 (pow z 2)) (* x y))
28.925 * [taylor]: Taking taylor expansion of (* 3 (pow z 2)) in z
28.925 * [taylor]: Taking taylor expansion of 3 in z
28.925 * [taylor]: Taking taylor expansion of (pow z 2) in z
28.925 * [taylor]: Taking taylor expansion of z in z
28.925 * [taylor]: Taking taylor expansion of (* x y) in z
28.925 * [taylor]: Taking taylor expansion of x in z
28.925 * [taylor]: Taking taylor expansion of y in z
28.925 * [taylor]: Taking taylor expansion of (* x y) in y
28.925 * [taylor]: Taking taylor expansion of x in y
28.925 * [taylor]: Taking taylor expansion of y in y
28.925 * [taylor]: Taking taylor expansion of 0 in x
28.926 * [taylor]: Taking taylor expansion of 0 in y
28.926 * [taylor]: Taking taylor expansion of 0 in x
28.926 * [taylor]: Taking taylor expansion of x in x
28.927 * [taylor]: Taking taylor expansion of 3 in y
28.927 * [taylor]: Taking taylor expansion of 3 in x
28.928 * [taylor]: Taking taylor expansion of 0 in x
28.928 * [taylor]: Taking taylor expansion of 0 in x
28.930 * [taylor]: Taking taylor expansion of 0 in y
28.930 * [taylor]: Taking taylor expansion of 0 in x
28.930 * [taylor]: Taking taylor expansion of 0 in x
28.930 * [taylor]: Taking taylor expansion of 0 in x
28.930 * [taylor]: Taking taylor expansion of 0 in x
28.931 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in (z y x) around 0
28.931 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in x
28.931 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.931 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
28.931 * [taylor]: Taking taylor expansion of 3 in x
28.931 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
28.931 * [taylor]: Taking taylor expansion of (pow z 2) in x
28.931 * [taylor]: Taking taylor expansion of z in x
28.931 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
28.931 * [taylor]: Taking taylor expansion of (* x y) in x
28.931 * [taylor]: Taking taylor expansion of x in x
28.931 * [taylor]: Taking taylor expansion of y in x
28.931 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in y
28.931 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.931 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
28.931 * [taylor]: Taking taylor expansion of 3 in y
28.931 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
28.932 * [taylor]: Taking taylor expansion of (pow z 2) in y
28.932 * [taylor]: Taking taylor expansion of z in y
28.932 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
28.932 * [taylor]: Taking taylor expansion of (* x y) in y
28.932 * [taylor]: Taking taylor expansion of x in y
28.932 * [taylor]: Taking taylor expansion of y in y
28.932 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in z
28.932 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.932 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
28.932 * [taylor]: Taking taylor expansion of 3 in z
28.932 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
28.932 * [taylor]: Taking taylor expansion of (pow z 2) in z
28.932 * [taylor]: Taking taylor expansion of z in z
28.933 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
28.933 * [taylor]: Taking taylor expansion of (* x y) in z
28.933 * [taylor]: Taking taylor expansion of x in z
28.933 * [taylor]: Taking taylor expansion of y in z
28.933 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in z
28.933 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.933 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
28.933 * [taylor]: Taking taylor expansion of 3 in z
28.933 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
28.933 * [taylor]: Taking taylor expansion of (pow z 2) in z
28.933 * [taylor]: Taking taylor expansion of z in z
28.934 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
28.934 * [taylor]: Taking taylor expansion of (* x y) in z
28.934 * [taylor]: Taking taylor expansion of x in z
28.934 * [taylor]: Taking taylor expansion of y in z
28.934 * [taylor]: Taking taylor expansion of 3 in y
28.936 * [taylor]: Taking taylor expansion of 0 in y
28.936 * [taylor]: Taking taylor expansion of 3 in x
28.937 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
28.938 * [taylor]: Taking taylor expansion of (* x y) in y
28.938 * [taylor]: Taking taylor expansion of x in y
28.938 * [taylor]: Taking taylor expansion of y in y
28.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.938 * [taylor]: Taking taylor expansion of x in x
28.938 * [taylor]: Taking taylor expansion of 0 in x
28.938 * [taylor]: Taking taylor expansion of 0 in x
28.940 * [taylor]: Taking taylor expansion of 0 in y
28.941 * [taylor]: Taking taylor expansion of 0 in x
28.941 * [taylor]: Taking taylor expansion of 0 in x
28.941 * [taylor]: Taking taylor expansion of 0 in x
28.944 * [taylor]: Taking taylor expansion of 0 in y
28.944 * [taylor]: Taking taylor expansion of 0 in x
28.945 * [taylor]: Taking taylor expansion of 0 in x
28.945 * [taylor]: Taking taylor expansion of 0 in x
28.945 * [taylor]: Taking taylor expansion of 0 in x
28.945 * [approximate]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in (z y x) around 0
28.945 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in x
28.946 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.946 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in x
28.946 * [taylor]: Taking taylor expansion of 3 in x
28.946 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
28.946 * [taylor]: Taking taylor expansion of (pow z 2) in x
28.946 * [taylor]: Taking taylor expansion of z in x
28.946 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
28.946 * [taylor]: Taking taylor expansion of (* x y) in x
28.946 * [taylor]: Taking taylor expansion of x in x
28.946 * [taylor]: Taking taylor expansion of y in x
28.946 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in y
28.946 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.946 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in y
28.946 * [taylor]: Taking taylor expansion of 3 in y
28.946 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
28.946 * [taylor]: Taking taylor expansion of (pow z 2) in y
28.946 * [taylor]: Taking taylor expansion of z in y
28.946 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
28.946 * [taylor]: Taking taylor expansion of (* x y) in y
28.946 * [taylor]: Taking taylor expansion of x in y
28.946 * [taylor]: Taking taylor expansion of y in y
28.947 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in z
28.947 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.947 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
28.947 * [taylor]: Taking taylor expansion of 3 in z
28.947 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
28.947 * [taylor]: Taking taylor expansion of (pow z 2) in z
28.947 * [taylor]: Taking taylor expansion of z in z
28.948 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
28.948 * [taylor]: Taking taylor expansion of (* x y) in z
28.948 * [taylor]: Taking taylor expansion of x in z
28.948 * [taylor]: Taking taylor expansion of y in z
28.948 * [taylor]: Taking taylor expansion of (fma 3 (/ 1 (pow z 2)) (/ 1 (* x y))) in z
28.948 * [taylor]: Rewrote expression to (+ (* 3 (/ 1 (pow z 2))) (/ 1 (* x y)))
28.948 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z
28.948 * [taylor]: Taking taylor expansion of 3 in z
28.948 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
28.948 * [taylor]: Taking taylor expansion of (pow z 2) in z
28.948 * [taylor]: Taking taylor expansion of z in z
28.948 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
28.948 * [taylor]: Taking taylor expansion of (* x y) in z
28.948 * [taylor]: Taking taylor expansion of x in z
28.949 * [taylor]: Taking taylor expansion of y in z
28.949 * [taylor]: Taking taylor expansion of 3 in y
28.951 * [taylor]: Taking taylor expansion of 0 in y
28.951 * [taylor]: Taking taylor expansion of 3 in x
28.952 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
28.952 * [taylor]: Taking taylor expansion of (* x y) in y
28.952 * [taylor]: Taking taylor expansion of x in y
28.952 * [taylor]: Taking taylor expansion of y in y
28.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
28.953 * [taylor]: Taking taylor expansion of x in x
28.953 * [taylor]: Taking taylor expansion of 0 in x
28.953 * [taylor]: Taking taylor expansion of 0 in x
28.958 * [taylor]: Taking taylor expansion of 0 in y
28.959 * [taylor]: Taking taylor expansion of 0 in x
28.959 * [taylor]: Taking taylor expansion of 0 in x
28.959 * [taylor]: Taking taylor expansion of 0 in x
28.962 * [taylor]: Taking taylor expansion of 0 in y
28.962 * [taylor]: Taking taylor expansion of 0 in x
28.962 * [taylor]: Taking taylor expansion of 0 in x
28.962 * [taylor]: Taking taylor expansion of 0 in x
28.962 * [taylor]: Taking taylor expansion of 0 in x
28.963 * * * [progress]: simplifying candidates
28.963 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma 3 (* z z) (* y x)))
  (log1p (fma 3 (* z z) (* y x)))
  (* 3 (* z z))
  (log (fma 3 (* z z) (* y x)))
  (exp (fma 3 (* z z) (* y x)))
  (* (cbrt (fma 3 (* z z) (* y x))) (cbrt (fma 3 (* z z) (* y x))))
  (cbrt (fma 3 (* z z) (* y x)))
  (* (* (fma 3 (* z z) (* y x)) (fma 3 (* z z) (* y x))) (fma 3 (* z z) (* y x)))
  (sqrt (fma 3 (* z z) (* y x)))
  (sqrt (fma 3 (* z z) (* y x)))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
  (+ (* 3 (pow z 2)) (* x y))
28.964 * * [simplify]: iteration  0 :  22  enodes  (cost  140 )
28.968 * * [simplify]: iteration  1 :  34  enodes  (cost  137 )
28.974 * * [simplify]: iteration  2 :  73  enodes  (cost  121 )
28.993 * * [simplify]: iteration  3 :  224  enodes  (cost  121 )
29.079 * * [simplify]: iteration  4 :  908  enodes  (cost  121 )
29.578 * * [simplify]: iteration  done :  5000  enodes  (cost  121 )
29.578 * [simplify]: Simplified to:
   (expm1 (fma 3 (* z z) (* y x)))
  (log1p (fma 3 (* z z) (* y x)))
  (* 3 (* z z))
  (log (fma 3 (* z z) (* y x)))
  (exp (fma 3 (* z z) (* y x)))
  (* (cbrt (fma 3 (* z z) (* y x))) (cbrt (fma 3 (* z z) (* y x))))
  (cbrt (fma 3 (* z z) (* y x)))
  (pow (fma 3 (pow z 2) (* y x)) 3)
  (sqrt (fma 3 (* z z) (* y x)))
  (sqrt (fma 3 (* z z) (* y x)))
  (fma 3 (pow z 2) (* y x))
  (fma 3 (pow z 2) (* y x))
  (fma 3 (pow z 2) (* y x))
29.578 * * * [progress]: adding candidates to table
29.610 * [progress]: [Phase 3 of 3] Extracting.
29.610 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.611 * * * [regime-changes]: Trying 6 branch expressions: ((* z z) (* x y) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)) z y x)
29.611 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.636 * * * * [regimes]: Trying to branch on (* z z) from (#<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.650 * * * * [regimes]: Trying to branch on (* x y) from (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.676 * * * * [regimes]: Trying to branch on (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)) from (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.702 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.727 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.752 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ (+ (/ (+ (pow z 6) (pow (* x y) 3)) (- (pow z 4) (* (* x y) (- (* z z) (* x y))))) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (* z 3) z (* x y)))> #<alt (λ (x y z) (fma 3 (* z z) (* y x)))> #<alt (λ (x y z) (+ (+ (+ (* x y) (* z z)) (* z z)) (* z z)))> #<alt (λ (x y z) (fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))> #<alt (λ (x y z) (fma (* (sqrt 2) z) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z)))>)
29.777 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
29.778 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* z 3) z (* x y))
29.778 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
29.778 * * [simplify]: iteration  1 :  9  enodes  (cost  8 )
29.778 * * [simplify]: iteration  done :  9  enodes  (cost  8 )
29.778 * [simplify]: Simplified to:
   (fma (* z 3) z (* x y))
30.536 * [regime-testing]: Baseline error score: 0.10421114670592839
30.536 * [regime-testing]: Oracle error score: 0.015251906488311038
30.537 * [regime-testing]: End program error score: 0.10421114670592839
30.559 * [regime-testing]: Target error score: 0.10588823602950369