43.217 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.257 * * * [progress]: [2/2] Setting up program.
0.260 * [progress]: [Phase 2 of 3] Improving.
0.261 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))
0.266 * * [simplify]: iteration  0 :  82  enodes  (cost  11 )
0.266 * * [simplify]: iteration  1 :  82  enodes  (cost  11 )
0.266 * [simplify]: Simplified to:
   (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))
0.269 * * [progress]: iteration 1 / 4
0.269 * * * [progress]: picking best candidate
0.272 * * * * [pick]: Picked  #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))>
0.272 * * * [progress]: localizing error
0.282 * * * [progress]: generating rewritten candidates
0.282 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.288 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.298 * * * [progress]: generating series expansions
0.298 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.298 * [approximate]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in (y z) around 0
0.298 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.298 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.298 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.299 * [taylor]: Taking taylor expansion of z in z
0.299 * [taylor]: Taking taylor expansion of 1.0 in z
0.299 * [taylor]: Taking taylor expansion of y in z
0.299 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.299 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.299 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.299 * [taylor]: Taking taylor expansion of z in y
0.299 * [taylor]: Taking taylor expansion of 1.0 in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.299 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.299 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.299 * [taylor]: Taking taylor expansion of z in y
0.299 * [taylor]: Taking taylor expansion of 1.0 in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of 0 in z
0.299 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.299 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.299 * [taylor]: Taking taylor expansion of z in z
0.299 * [taylor]: Taking taylor expansion of 1.0 in z
0.300 * [taylor]: Taking taylor expansion of 0 in z
0.300 * [taylor]: Taking taylor expansion of 0 in z
0.300 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in (y z) around 0
0.300 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.300 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.300 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.300 * [taylor]: Taking taylor expansion of z in z
0.300 * [taylor]: Taking taylor expansion of 1.0 in z
0.300 * [taylor]: Taking taylor expansion of y in z
0.300 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.300 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.300 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.300 * [taylor]: Taking taylor expansion of z in y
0.301 * [taylor]: Taking taylor expansion of 1.0 in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.301 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.301 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.301 * [taylor]: Taking taylor expansion of z in y
0.301 * [taylor]: Taking taylor expansion of 1.0 in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.301 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.301 * [taylor]: Taking taylor expansion of z in z
0.301 * [taylor]: Taking taylor expansion of 1.0 in z
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of 0 in z
0.304 * [taylor]: Taking taylor expansion of 0 in z
0.305 * [taylor]: Taking taylor expansion of 0 in z
0.305 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in (y z) around 0
0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in z
0.305 * [taylor]: Taking taylor expansion of -1 in z
0.305 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.305 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.305 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.305 * [taylor]: Taking taylor expansion of z in z
0.305 * [taylor]: Taking taylor expansion of 1.0 in z
0.305 * [taylor]: Taking taylor expansion of y in z
0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
0.305 * [taylor]: Taking taylor expansion of -1 in y
0.305 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.305 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.305 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.306 * [taylor]: Taking taylor expansion of z in y
0.306 * [taylor]: Taking taylor expansion of 1.0 in y
0.306 * [taylor]: Taking taylor expansion of y in y
0.306 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
0.306 * [taylor]: Taking taylor expansion of -1 in y
0.306 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.306 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.306 * [taylor]: Taking taylor expansion of z in y
0.306 * [taylor]: Taking taylor expansion of 1.0 in y
0.306 * [taylor]: Taking taylor expansion of y in y
0.306 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow z 2)) 1.0)) in z
0.306 * [taylor]: Taking taylor expansion of -1 in z
0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.306 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.306 * [taylor]: Taking taylor expansion of z in z
0.307 * [taylor]: Taking taylor expansion of 1.0 in z
0.307 * [taylor]: Taking taylor expansion of 0 in z
0.308 * [taylor]: Taking taylor expansion of 0 in z
0.309 * [taylor]: Taking taylor expansion of 0 in z
0.310 * [taylor]: Taking taylor expansion of 0 in z
0.311 * [taylor]: Taking taylor expansion of 0 in z
0.311 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.311 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in (x y z) around 0
0.311 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in z
0.311 * [taylor]: Taking taylor expansion of 1.0 in z
0.311 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in z
0.311 * [taylor]: Taking taylor expansion of x in z
0.311 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.312 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.312 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.312 * [taylor]: Taking taylor expansion of z in z
0.312 * [taylor]: Taking taylor expansion of 1.0 in z
0.312 * [taylor]: Taking taylor expansion of y in z
0.312 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in y
0.312 * [taylor]: Taking taylor expansion of 1.0 in y
0.312 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in y
0.312 * [taylor]: Taking taylor expansion of x in y
0.312 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.312 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.312 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.312 * [taylor]: Taking taylor expansion of z in y
0.312 * [taylor]: Taking taylor expansion of 1.0 in y
0.312 * [taylor]: Taking taylor expansion of y in y
0.313 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in x
0.313 * [taylor]: Taking taylor expansion of 1.0 in x
0.313 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in x
0.313 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
0.313 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.313 * [taylor]: Taking taylor expansion of z in x
0.313 * [taylor]: Taking taylor expansion of 1.0 in x
0.313 * [taylor]: Taking taylor expansion of y in x
0.313 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in x
0.313 * [taylor]: Taking taylor expansion of 1.0 in x
0.313 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in x
0.313 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
0.313 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.314 * [taylor]: Taking taylor expansion of z in x
0.314 * [taylor]: Taking taylor expansion of 1.0 in x
0.314 * [taylor]: Taking taylor expansion of y in x
0.314 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* (pow z 2) y) (* 1.0 y))) in y
0.314 * [taylor]: Taking taylor expansion of 1.0 in y
0.314 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (* 1.0 y)) in y
0.314 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.314 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.314 * [taylor]: Taking taylor expansion of z in y
0.314 * [taylor]: Taking taylor expansion of y in y
0.314 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
0.314 * [taylor]: Taking taylor expansion of 1.0 in y
0.314 * [taylor]: Taking taylor expansion of y in y
0.315 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow z 2) 1.0)) in z
0.315 * [taylor]: Taking taylor expansion of 1.0 in z
0.315 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.315 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.315 * [taylor]: Taking taylor expansion of z in z
0.315 * [taylor]: Taking taylor expansion of 1.0 in z
0.316 * [taylor]: Taking taylor expansion of 0 in y
0.316 * [taylor]: Taking taylor expansion of 0 in z
0.317 * [taylor]: Taking taylor expansion of 0 in y
0.317 * [taylor]: Taking taylor expansion of 0 in z
0.318 * [taylor]: Taking taylor expansion of 0 in z
0.319 * [taylor]: Taking taylor expansion of 0 in y
0.319 * [taylor]: Taking taylor expansion of 0 in z
0.319 * [taylor]: Taking taylor expansion of 0 in z
0.320 * [taylor]: Taking taylor expansion of 0 in z
0.321 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in (x y z) around 0
0.321 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in z
0.321 * [taylor]: Taking taylor expansion of 1.0 in z
0.321 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in z
0.321 * [taylor]: Taking taylor expansion of (* x y) in z
0.321 * [taylor]: Taking taylor expansion of x in z
0.321 * [taylor]: Taking taylor expansion of y in z
0.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.321 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.321 * [taylor]: Taking taylor expansion of z in z
0.321 * [taylor]: Taking taylor expansion of 1.0 in z
0.321 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in y
0.321 * [taylor]: Taking taylor expansion of 1.0 in y
0.321 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in y
0.321 * [taylor]: Taking taylor expansion of (* x y) in y
0.321 * [taylor]: Taking taylor expansion of x in y
0.321 * [taylor]: Taking taylor expansion of y in y
0.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.321 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.321 * [taylor]: Taking taylor expansion of z in y
0.321 * [taylor]: Taking taylor expansion of 1.0 in y
0.322 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.322 * [taylor]: Taking taylor expansion of 1.0 in x
0.322 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.322 * [taylor]: Taking taylor expansion of (* x y) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of y in x
0.322 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.322 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.322 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.322 * [taylor]: Taking taylor expansion of z in x
0.322 * [taylor]: Taking taylor expansion of 1.0 in x
0.322 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.322 * [taylor]: Taking taylor expansion of 1.0 in x
0.322 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.322 * [taylor]: Taking taylor expansion of (* x y) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of y in x
0.322 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.322 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.322 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.322 * [taylor]: Taking taylor expansion of z in x
0.322 * [taylor]: Taking taylor expansion of 1.0 in x
0.323 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.323 * [taylor]: Taking taylor expansion of 1.0 in y
0.323 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.323 * [taylor]: Taking taylor expansion of y in y
0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.323 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.323 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.323 * [taylor]: Taking taylor expansion of z in y
0.323 * [taylor]: Taking taylor expansion of 1.0 in y
0.323 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (/ 1 (pow z 2)) 1.0)) in z
0.323 * [taylor]: Taking taylor expansion of 1.0 in z
0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.323 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.323 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.323 * [taylor]: Taking taylor expansion of z in z
0.323 * [taylor]: Taking taylor expansion of 1.0 in z
0.324 * [taylor]: Taking taylor expansion of 0 in y
0.324 * [taylor]: Taking taylor expansion of 0 in z
0.325 * [taylor]: Taking taylor expansion of 0 in z
0.326 * [taylor]: Taking taylor expansion of 0 in y
0.326 * [taylor]: Taking taylor expansion of 0 in z
0.326 * [taylor]: Taking taylor expansion of 0 in z
0.327 * [taylor]: Taking taylor expansion of 0 in z
0.327 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in (x y z) around 0
0.327 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in z
0.327 * [taylor]: Taking taylor expansion of 1.0 in z
0.327 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in z
0.327 * [taylor]: Taking taylor expansion of (* x y) in z
0.327 * [taylor]: Taking taylor expansion of x in z
0.327 * [taylor]: Taking taylor expansion of y in z
0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.327 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.327 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.328 * [taylor]: Taking taylor expansion of z in z
0.328 * [taylor]: Taking taylor expansion of 1.0 in z
0.328 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in y
0.328 * [taylor]: Taking taylor expansion of 1.0 in y
0.328 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in y
0.328 * [taylor]: Taking taylor expansion of (* x y) in y
0.328 * [taylor]: Taking taylor expansion of x in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.328 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.328 * [taylor]: Taking taylor expansion of z in y
0.328 * [taylor]: Taking taylor expansion of 1.0 in y
0.328 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.328 * [taylor]: Taking taylor expansion of 1.0 in x
0.328 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.328 * [taylor]: Taking taylor expansion of (* x y) in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of y in x
0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.328 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.328 * [taylor]: Taking taylor expansion of z in x
0.328 * [taylor]: Taking taylor expansion of 1.0 in x
0.329 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.329 * [taylor]: Taking taylor expansion of 1.0 in x
0.329 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.329 * [taylor]: Taking taylor expansion of (* x y) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.329 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.329 * [taylor]: Taking taylor expansion of z in x
0.329 * [taylor]: Taking taylor expansion of 1.0 in x
0.329 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.329 * [taylor]: Taking taylor expansion of 1.0 in y
0.329 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.329 * [taylor]: Taking taylor expansion of y in y
0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.330 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.330 * [taylor]: Taking taylor expansion of z in y
0.330 * [taylor]: Taking taylor expansion of 1.0 in y
0.330 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (/ 1 (pow z 2)) 1.0)) in z
0.330 * [taylor]: Taking taylor expansion of 1.0 in z
0.330 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.330 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.330 * [taylor]: Taking taylor expansion of z in z
0.330 * [taylor]: Taking taylor expansion of 1.0 in z
0.331 * [taylor]: Taking taylor expansion of 0 in y
0.331 * [taylor]: Taking taylor expansion of 0 in z
0.332 * [taylor]: Taking taylor expansion of 0 in z
0.333 * [taylor]: Taking taylor expansion of 0 in y
0.333 * [taylor]: Taking taylor expansion of 0 in z
0.333 * [taylor]: Taking taylor expansion of 0 in z
0.334 * [taylor]: Taking taylor expansion of 0 in z
0.334 * * * [progress]: simplifying candidates
0.335 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 1.0 y)
  (*.f64 (*.f64 z z) y)
  (*.f64 y (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (+.f64 1.0 (*.f64 z z)))
  (*.f64 (sqrt.f64 y) (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))
  (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))
  (-.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))))
  (-.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (-.f64 (log.f64 (/.f64 1.0 x)) (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))))
  (-.f64 (log.f64 (/.f64 1.0 x)) (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (exp.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))) (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (/.f64 1.0 x))
  (neg.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y)
  (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) y)
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) y)
  (/.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 x)) y)
  (/.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) y)
  (/.f64 (/.f64 (cbrt.f64 1.0) x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) y)
  (/.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) y)
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (sqrt.f64 1.0) 1) y)
  (/.f64 (/.f64 (sqrt.f64 1.0) x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) y)
  (/.f64 (/.f64 1.0 (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 1 (sqrt.f64 x)) y)
  (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 1 1) y)
  (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1.0 y)
  (/.f64 (/.f64 1 x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 x))
  (/.f64 (/.f64 1.0 x) y)
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (/.f64 1.0 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (/.f64 1.0 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (cbrt.f64 1.0) x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (sqrt.f64 1.0) x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 (cbrt.f64 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 (sqrt.f64 x)))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1 x))
  (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))))
  (/.f64 (/.f64 1.0 x) (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 1.0 y)
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  (-.f64 (*.f64 1.0 (/.f64 1 (*.f64 x y))) (*.f64 1.0 (/.f64 (pow.f64 z 2) (*.f64 x y))))
  (/.f64 1.0 (*.f64 x (*.f64 (pow.f64 z 2) y)))
  (/.f64 1.0 (*.f64 x (*.f64 (pow.f64 z 2) y)))
0.376 * * [simplify]: iteration  0 :  4985  enodes  (cost  885 )
0.377 * * [simplify]: iteration  1 :  4985  enodes  (cost  885 )
0.380 * [simplify]: Simplified to:
   (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 3)
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 y (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  y
  (*.f64 (+.f64 1.0 (*.f64 z z)) (cbrt.f64 y))
  (*.f64 (+.f64 1.0 (*.f64 z z)) (sqrt.f64 y))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)))
  (*.f64 y (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (exp.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (/.f64 1.0 x))
  (neg.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y)
  (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) y)
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) y)
  (/.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 x)) y)
  (/.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) y)
  (/.f64 (/.f64 (cbrt.f64 1.0) x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) y)
  (/.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) y)
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (sqrt.f64 1.0) y)
  (/.f64 (/.f64 (sqrt.f64 1.0) x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) y)
  (/.f64 (/.f64 1.0 (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (/.f64 1 (sqrt.f64 x)) y)
  (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1.0 y)
  (/.f64 (/.f64 1 x) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1.0 x) y)
  (/.f64 y (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (sqrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 (cbrt.f64 1.0) x) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 (sqrt.f64 1.0) x) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 1.0 (cbrt.f64 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z))))
  (/.f64 y (/.f64 (/.f64 1.0 x) (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))))
  (/.f64 (/.f64 1.0 x) (*.f64 y (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 y 1.0)
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 (/.f64 1.0 x) (-.f64 (/.f64 1 y) (/.f64 (*.f64 z z) y)))
  (/.f64 1.0 (*.f64 (*.f64 z z) (*.f64 y x)))
  (/.f64 1.0 (*.f64 (*.f64 z z) (*.f64 y x)))
0.381 * * * [progress]: adding candidates to table
0.484 * * [progress]: iteration 2 / 4
0.484 * * * [progress]: picking best candidate
0.505 * * * * [pick]: Picked  #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))>
0.506 * * * [progress]: localizing error
0.515 * * * [progress]: generating rewritten candidates
0.515 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.518 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.521 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.535 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.550 * * * [progress]: generating series expansions
0.550 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.551 * [approximate]: Taking taylor expansion of (sqrt (+ (pow z 2) 1.0)) in (z) around 0
0.551 * [taylor]: Taking taylor expansion of (sqrt (+ (pow z 2) 1.0)) in z
0.551 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.551 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.551 * [taylor]: Taking taylor expansion of z in z
0.551 * [taylor]: Taking taylor expansion of 1.0 in z
0.551 * [taylor]: Taking taylor expansion of (sqrt (+ (pow z 2) 1.0)) in z
0.551 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.551 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.551 * [taylor]: Taking taylor expansion of z in z
0.551 * [taylor]: Taking taylor expansion of 1.0 in z
0.552 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in (z) around 0
0.552 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.552 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.552 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.552 * [taylor]: Taking taylor expansion of z in z
0.553 * [taylor]: Taking taylor expansion of 1.0 in z
0.553 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.553 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.553 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.553 * [taylor]: Taking taylor expansion of z in z
0.553 * [taylor]: Taking taylor expansion of 1.0 in z
0.554 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in (z) around 0
0.554 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.554 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.554 * [taylor]: Taking taylor expansion of z in z
0.554 * [taylor]: Taking taylor expansion of 1.0 in z
0.554 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.554 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.554 * [taylor]: Taking taylor expansion of z in z
0.554 * [taylor]: Taking taylor expansion of 1.0 in z
0.556 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.556 * [approximate]: Taking taylor expansion of (sqrt (+ (pow z 2) 1.0)) in (z) around 0
0.556 * [taylor]: Taking taylor expansion of (sqrt (+ (pow z 2) 1.0)) in z
0.556 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.556 * [taylor]: Taking taylor expansion of z in z
0.556 * [taylor]: Taking taylor expansion of 1.0 in z
0.556 * [taylor]: Taking taylor expansion of (sqrt (+ (pow z 2) 1.0)) in z
0.556 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.556 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.556 * [taylor]: Taking taylor expansion of z in z
0.556 * [taylor]: Taking taylor expansion of 1.0 in z
0.557 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in (z) around 0
0.557 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.557 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.557 * [taylor]: Taking taylor expansion of z in z
0.557 * [taylor]: Taking taylor expansion of 1.0 in z
0.558 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.558 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.558 * [taylor]: Taking taylor expansion of z in z
0.558 * [taylor]: Taking taylor expansion of 1.0 in z
0.559 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in (z) around 0
0.559 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.559 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.559 * [taylor]: Taking taylor expansion of z in z
0.559 * [taylor]: Taking taylor expansion of 1.0 in z
0.559 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow z 2)) 1.0)) in z
0.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.559 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.559 * [taylor]: Taking taylor expansion of z in z
0.559 * [taylor]: Taking taylor expansion of 1.0 in z
0.560 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.561 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in (x y z) around 0
0.561 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in z
0.561 * [taylor]: Taking taylor expansion of 1.0 in z
0.561 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in z
0.561 * [taylor]: Taking taylor expansion of x in z
0.561 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.561 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.561 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.561 * [taylor]: Taking taylor expansion of z in z
0.561 * [taylor]: Taking taylor expansion of 1.0 in z
0.561 * [taylor]: Taking taylor expansion of y in z
0.561 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in y
0.561 * [taylor]: Taking taylor expansion of 1.0 in y
0.561 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in y
0.561 * [taylor]: Taking taylor expansion of x in y
0.561 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.561 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.561 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.561 * [taylor]: Taking taylor expansion of z in y
0.561 * [taylor]: Taking taylor expansion of 1.0 in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.562 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in x
0.562 * [taylor]: Taking taylor expansion of 1.0 in x
0.562 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in x
0.562 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
0.564 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.564 * [taylor]: Taking taylor expansion of z in x
0.564 * [taylor]: Taking taylor expansion of 1.0 in x
0.564 * [taylor]: Taking taylor expansion of y in x
0.565 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in x
0.565 * [taylor]: Taking taylor expansion of 1.0 in x
0.565 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in x
0.565 * [taylor]: Taking taylor expansion of x in x
0.565 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in x
0.565 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
0.565 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.565 * [taylor]: Taking taylor expansion of z in x
0.565 * [taylor]: Taking taylor expansion of 1.0 in x
0.565 * [taylor]: Taking taylor expansion of y in x
0.566 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* (pow z 2) y) (* 1.0 y))) in y
0.566 * [taylor]: Taking taylor expansion of 1.0 in y
0.566 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (* 1.0 y)) in y
0.566 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.566 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.566 * [taylor]: Taking taylor expansion of z in y
0.566 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
0.566 * [taylor]: Taking taylor expansion of 1.0 in y
0.566 * [taylor]: Taking taylor expansion of y in y
0.567 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow z 2) 1.0)) in z
0.567 * [taylor]: Taking taylor expansion of 1.0 in z
0.567 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.567 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.567 * [taylor]: Taking taylor expansion of z in z
0.567 * [taylor]: Taking taylor expansion of 1.0 in z
0.568 * [taylor]: Taking taylor expansion of 0 in y
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.569 * [taylor]: Taking taylor expansion of 0 in y
0.569 * [taylor]: Taking taylor expansion of 0 in z
0.570 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in y
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.572 * [taylor]: Taking taylor expansion of 0 in z
0.573 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in (x y z) around 0
0.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in z
0.573 * [taylor]: Taking taylor expansion of 1.0 in z
0.573 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in z
0.573 * [taylor]: Taking taylor expansion of (* x y) in z
0.573 * [taylor]: Taking taylor expansion of x in z
0.573 * [taylor]: Taking taylor expansion of y in z
0.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.573 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.573 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.573 * [taylor]: Taking taylor expansion of z in z
0.573 * [taylor]: Taking taylor expansion of 1.0 in z
0.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in y
0.573 * [taylor]: Taking taylor expansion of 1.0 in y
0.573 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in y
0.573 * [taylor]: Taking taylor expansion of (* x y) in y
0.573 * [taylor]: Taking taylor expansion of x in y
0.573 * [taylor]: Taking taylor expansion of y in y
0.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.573 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.573 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.573 * [taylor]: Taking taylor expansion of z in y
0.573 * [taylor]: Taking taylor expansion of 1.0 in y
0.574 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.574 * [taylor]: Taking taylor expansion of 1.0 in x
0.574 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.574 * [taylor]: Taking taylor expansion of (* x y) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of y in x
0.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.574 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.574 * [taylor]: Taking taylor expansion of z in x
0.574 * [taylor]: Taking taylor expansion of 1.0 in x
0.574 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.574 * [taylor]: Taking taylor expansion of 1.0 in x
0.574 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.574 * [taylor]: Taking taylor expansion of (* x y) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of y in x
0.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.574 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.574 * [taylor]: Taking taylor expansion of z in x
0.574 * [taylor]: Taking taylor expansion of 1.0 in x
0.575 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.575 * [taylor]: Taking taylor expansion of 1.0 in y
0.575 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.575 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.575 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.575 * [taylor]: Taking taylor expansion of z in y
0.575 * [taylor]: Taking taylor expansion of 1.0 in y
0.575 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (/ 1 (pow z 2)) 1.0)) in z
0.575 * [taylor]: Taking taylor expansion of 1.0 in z
0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.576 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.576 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.576 * [taylor]: Taking taylor expansion of z in z
0.576 * [taylor]: Taking taylor expansion of 1.0 in z
0.576 * [taylor]: Taking taylor expansion of 0 in y
0.576 * [taylor]: Taking taylor expansion of 0 in z
0.577 * [taylor]: Taking taylor expansion of 0 in z
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.578 * [taylor]: Taking taylor expansion of 0 in z
0.579 * [taylor]: Taking taylor expansion of 0 in z
0.580 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in (x y z) around 0
0.580 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in z
0.580 * [taylor]: Taking taylor expansion of 1.0 in z
0.580 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in z
0.580 * [taylor]: Taking taylor expansion of (* x y) in z
0.580 * [taylor]: Taking taylor expansion of x in z
0.580 * [taylor]: Taking taylor expansion of y in z
0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.580 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.580 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.580 * [taylor]: Taking taylor expansion of z in z
0.580 * [taylor]: Taking taylor expansion of 1.0 in z
0.580 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in y
0.580 * [taylor]: Taking taylor expansion of 1.0 in y
0.580 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in y
0.580 * [taylor]: Taking taylor expansion of (* x y) in y
0.580 * [taylor]: Taking taylor expansion of x in y
0.580 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.580 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.580 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.580 * [taylor]: Taking taylor expansion of z in y
0.580 * [taylor]: Taking taylor expansion of 1.0 in y
0.581 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.581 * [taylor]: Taking taylor expansion of 1.0 in x
0.581 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.581 * [taylor]: Taking taylor expansion of (* x y) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [taylor]: Taking taylor expansion of y in x
0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.581 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.581 * [taylor]: Taking taylor expansion of z in x
0.581 * [taylor]: Taking taylor expansion of 1.0 in x
0.581 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.581 * [taylor]: Taking taylor expansion of 1.0 in x
0.581 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.581 * [taylor]: Taking taylor expansion of (* x y) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [taylor]: Taking taylor expansion of y in x
0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.581 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.581 * [taylor]: Taking taylor expansion of z in x
0.581 * [taylor]: Taking taylor expansion of 1.0 in x
0.582 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.582 * [taylor]: Taking taylor expansion of 1.0 in y
0.582 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.582 * [taylor]: Taking taylor expansion of y in y
0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.582 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.582 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.582 * [taylor]: Taking taylor expansion of z in y
0.582 * [taylor]: Taking taylor expansion of 1.0 in y
0.582 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (/ 1 (pow z 2)) 1.0)) in z
0.582 * [taylor]: Taking taylor expansion of 1.0 in z
0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.582 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.582 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.582 * [taylor]: Taking taylor expansion of z in z
0.582 * [taylor]: Taking taylor expansion of 1.0 in z
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.585 * [taylor]: Taking taylor expansion of 0 in y
0.585 * [taylor]: Taking taylor expansion of 0 in z
0.585 * [taylor]: Taking taylor expansion of 0 in z
0.586 * [taylor]: Taking taylor expansion of 0 in z
0.586 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.586 * [approximate]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in (y z) around 0
0.586 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.586 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.586 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.586 * [taylor]: Taking taylor expansion of z in z
0.586 * [taylor]: Taking taylor expansion of 1.0 in z
0.586 * [taylor]: Taking taylor expansion of y in z
0.586 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.587 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.587 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.587 * [taylor]: Taking taylor expansion of z in y
0.587 * [taylor]: Taking taylor expansion of 1.0 in y
0.587 * [taylor]: Taking taylor expansion of y in y
0.587 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.587 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.587 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.587 * [taylor]: Taking taylor expansion of z in y
0.587 * [taylor]: Taking taylor expansion of 1.0 in y
0.587 * [taylor]: Taking taylor expansion of y in y
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.587 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.587 * [taylor]: Taking taylor expansion of z in z
0.587 * [taylor]: Taking taylor expansion of 1.0 in z
0.588 * [taylor]: Taking taylor expansion of 0 in z
0.588 * [taylor]: Taking taylor expansion of 0 in z
0.588 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in (y z) around 0
0.588 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
0.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.588 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.588 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.588 * [taylor]: Taking taylor expansion of z in z
0.588 * [taylor]: Taking taylor expansion of 1.0 in z
0.588 * [taylor]: Taking taylor expansion of y in z
0.588 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.589 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.589 * [taylor]: Taking taylor expansion of z in y
0.589 * [taylor]: Taking taylor expansion of 1.0 in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.589 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.589 * [taylor]: Taking taylor expansion of z in y
0.589 * [taylor]: Taking taylor expansion of 1.0 in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.589 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.589 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.589 * [taylor]: Taking taylor expansion of z in z
0.589 * [taylor]: Taking taylor expansion of 1.0 in z
0.590 * [taylor]: Taking taylor expansion of 0 in z
0.590 * [taylor]: Taking taylor expansion of 0 in z
0.591 * [taylor]: Taking taylor expansion of 0 in z
0.592 * [taylor]: Taking taylor expansion of 0 in z
0.593 * [taylor]: Taking taylor expansion of 0 in z
0.593 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in (y z) around 0
0.593 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in z
0.593 * [taylor]: Taking taylor expansion of -1 in z
0.594 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.594 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.594 * [taylor]: Taking taylor expansion of z in z
0.594 * [taylor]: Taking taylor expansion of 1.0 in z
0.594 * [taylor]: Taking taylor expansion of y in z
0.594 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
0.594 * [taylor]: Taking taylor expansion of -1 in y
0.594 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.594 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.594 * [taylor]: Taking taylor expansion of z in y
0.594 * [taylor]: Taking taylor expansion of 1.0 in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
0.594 * [taylor]: Taking taylor expansion of -1 in y
0.594 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.594 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.594 * [taylor]: Taking taylor expansion of z in y
0.594 * [taylor]: Taking taylor expansion of 1.0 in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.595 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow z 2)) 1.0)) in z
0.595 * [taylor]: Taking taylor expansion of -1 in z
0.595 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.595 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.595 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.595 * [taylor]: Taking taylor expansion of z in z
0.595 * [taylor]: Taking taylor expansion of 1.0 in z
0.595 * [taylor]: Taking taylor expansion of 0 in z
0.596 * [taylor]: Taking taylor expansion of 0 in z
0.597 * [taylor]: Taking taylor expansion of 0 in z
0.598 * [taylor]: Taking taylor expansion of 0 in z
0.599 * [taylor]: Taking taylor expansion of 0 in z
0.600 * * * [progress]: simplifying candidates
0.601 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 1.0 (*.f64 z z)))
  (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))
  (sqrt.f64 (+.f64 (*.f64 1.0 1.0) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))
  (sqrt.f64 (-.f64 1.0 (*.f64 z z)))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 1.0 (*.f64 z z)))
  (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))
  (sqrt.f64 (+.f64 (*.f64 1.0 1.0) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))
  (sqrt.f64 (-.f64 1.0 (*.f64 z z)))
  (/.f64 1 2)
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (-.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (+.f64 (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (-.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (+.f64 (log.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (-.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (log.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (-.f64 (log.f64 (/.f64 1.0 x)) (+.f64 (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (-.f64 (log.f64 (/.f64 1.0 x)) (+.f64 (log.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (-.f64 (log.f64 (/.f64 1.0 x)) (log.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (exp.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (/.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (/.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (/.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (/.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (/.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (/.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))) (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))))
  (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (neg.f64 (/.f64 1.0 x))
  (neg.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (cbrt.f64 (/.f64 1.0 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 x)) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) 1) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (cbrt.f64 1.0) x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (sqrt.f64 1.0) 1) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 (sqrt.f64 1.0) x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 1.0 (cbrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1 (sqrt.f64 x)) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 1.0 (sqrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1 1) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 1.0 x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 1.0 x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1.0 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 1 x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 1.0 x))
  (/.f64 (/.f64 1.0 x) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (/.f64 1.0 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (/.f64 1.0 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 (cbrt.f64 1.0) x))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 (sqrt.f64 1.0) x))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 1.0 (cbrt.f64 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 1.0 (sqrt.f64 x)))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 1.0 x))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 1.0 x))
  (/.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (/.f64 1 x))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))) (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))) (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))) (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))) (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) x)
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (+.f64 (+.f64 (log.f64 y) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (+.f64 (log.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (exp.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (cbrt.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))) (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 1.0 1.0) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 1.0 (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 1.0 1.0) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))) (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 1.0 1.0) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 1.0 (*.f64 z z))))) (sqrt.f64 (-.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 y (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))) (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))))
  (*.f64 (sqrt.f64 (-.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 (*.f64 1.0 1.0) (-.f64 (*.f64 (*.f64 z z) (*.f64 z z)) (*.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 y (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))) (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))))
  (*.f64 (sqrt.f64 (-.f64 1.0 (*.f64 z z))) (sqrt.f64 (-.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 1))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) 1)
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))))
  (*.f64 (*.f64 y (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 y (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 z 2) (sqrt.f64 1.0))) (sqrt.f64 1.0)) (*.f64 1/8 (/.f64 (pow.f64 z 4) (pow.f64 (sqrt.f64 1.0) 3))))
  (-.f64 (+.f64 (*.f64 0.5 (/.f64 1 z)) z) (*.f64 0.125 (/.f64 1 (pow.f64 z 3))))
  (-.f64 (*.f64 0.125 (/.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 0.5 (/.f64 1 z)) z))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 z 2) (sqrt.f64 1.0))) (sqrt.f64 1.0)) (*.f64 1/8 (/.f64 (pow.f64 z 4) (pow.f64 (sqrt.f64 1.0) 3))))
  (-.f64 (+.f64 (*.f64 0.5 (/.f64 1 z)) z) (*.f64 0.125 (/.f64 1 (pow.f64 z 3))))
  (-.f64 (*.f64 0.125 (/.f64 1 (pow.f64 z 3))) (+.f64 (*.f64 0.5 (/.f64 1 z)) z))
  (-.f64 (*.f64 1.0 (/.f64 1 (*.f64 x y))) (*.f64 1.0 (/.f64 (pow.f64 z 2) (*.f64 x y))))
  (/.f64 1.0 (*.f64 x (*.f64 (pow.f64 z 2) y)))
  (/.f64 1.0 (*.f64 x (*.f64 (pow.f64 z 2) y)))
  (*.f64 1.0 y)
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
0.650 * * [simplify]: iteration  0 :  4991  enodes  (cost  1716 )
0.650 * * [simplify]: iteration  1 :  4991  enodes  (cost  1716 )
0.657 * [simplify]: Simplified to:
   (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) 3)
  (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  1
  (sqrt.f64 (+.f64 1.0 (*.f64 z z)))
  (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)))
  (sqrt.f64 (+.f64 (pow.f64 z 4) (*.f64 1.0 (-.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)))
  (sqrt.f64 (-.f64 1.0 (*.f64 z z)))
  1/2
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (log.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) 3)
  (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  1
  (sqrt.f64 (+.f64 1.0 (*.f64 z z)))
  (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)))
  (sqrt.f64 (+.f64 (pow.f64 z 4) (*.f64 1.0 (-.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)))
  (sqrt.f64 (-.f64 1.0 (*.f64 z z)))
  1/2
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (exp.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y))) (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y))))
  (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)) 3)
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (neg.f64 (/.f64 1.0 x))
  (neg.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (cbrt.f64 (/.f64 1.0 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (sqrt.f64 x)) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 (cbrt.f64 1.0) x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 1.0) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 (sqrt.f64 1.0) x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 1.0 (cbrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1 (sqrt.f64 x)) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 1.0 (sqrt.f64 x)) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 1.0 x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 1.0 x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1.0 (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (/.f64 1 x) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (/.f64 1 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 1.0 x))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (cbrt.f64 (/.f64 1.0 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (sqrt.f64 (/.f64 1.0 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 (cbrt.f64 1.0) x))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 (sqrt.f64 1.0) x))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 1.0 (cbrt.f64 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 1.0 (sqrt.f64 x)))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 1.0 x))
  (/.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) (/.f64 1.0 x))
  (*.f64 x (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (/.f64 (/.f64 1.0 x) (*.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)) y))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y)))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y)))
  (/.f64 (/.f64 1.0 x) (*.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)) y))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y)))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) y)))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y)))
  (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) y)))
  (*.f64 x (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (*.f64 (+.f64 1.0 (*.f64 z z)) y)
  (*.f64 (+.f64 1.0 (*.f64 z z)) y)
  (log.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (log.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (log.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (exp.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (pow.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) 3)
  (pow.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) 3)
  (*.f64 (cbrt.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y)) (cbrt.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y)))
  (cbrt.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (pow.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y) 3)
  (sqrt.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (sqrt.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) y))
  (*.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)) y)
  (+.f64 (pow.f64 z 4) (*.f64 1.0 (-.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 4) (*.f64 1.0 (-.f64 1.0 (*.f64 z z))))) (sqrt.f64 (-.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 4) (*.f64 1.0 (-.f64 1.0 (*.f64 z z))))) (sqrt.f64 (-.f64 1.0 (*.f64 z z))))
  (*.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)) y)
  (-.f64 1.0 (*.f64 z z))
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y)
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y))
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) y)
  (+.f64 1.0 (*.f64 z z))
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y))
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) y))
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))) y))
  (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 (sqrt.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))) y))
  (-.f64 (+.f64 (sqrt.f64 1.0) (*.f64 1/2 (/.f64 (*.f64 z z) (sqrt.f64 1.0)))) (*.f64 1/8 (/.f64 (pow.f64 z 4) (*.f64 1.0 (sqrt.f64 1.0)))))
  (-.f64 (+.f64 z (/.f64 0.5 z)) (/.f64 0.125 (pow.f64 z 3)))
  (-.f64 (/.f64 0.125 (pow.f64 z 3)) (+.f64 z (/.f64 0.5 z)))
  (-.f64 (+.f64 (sqrt.f64 1.0) (*.f64 1/2 (/.f64 (*.f64 z z) (sqrt.f64 1.0)))) (*.f64 1/8 (/.f64 (pow.f64 z 4) (*.f64 1.0 (sqrt.f64 1.0)))))
  (-.f64 (+.f64 z (/.f64 0.5 z)) (/.f64 0.125 (pow.f64 z 3)))
  (-.f64 (/.f64 0.125 (pow.f64 z 3)) (+.f64 z (/.f64 0.5 z)))
  (*.f64 (/.f64 1.0 x) (-.f64 (/.f64 1 y) (/.f64 (*.f64 z z) y)))
  (/.f64 1.0 (*.f64 (*.f64 z z) (*.f64 x y)))
  (/.f64 1.0 (*.f64 (*.f64 z z) (*.f64 x y)))
  (*.f64 1.0 y)
  (*.f64 (+.f64 1.0 (*.f64 z z)) y)
  (*.f64 (+.f64 1.0 (*.f64 z z)) y)
0.658 * * * [progress]: adding candidates to table
0.821 * * [progress]: iteration 3 / 4
0.822 * * * [progress]: picking best candidate
0.846 * * * * [pick]: Picked  #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))>
0.846 * * * [progress]: localizing error
0.855 * * * [progress]: generating rewritten candidates
0.855 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.861 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.875 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.885 * * * [progress]: generating series expansions
0.885 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.885 * [approximate]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in (y z) around 0
0.885 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.885 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.885 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.885 * [taylor]: Taking taylor expansion of z in z
0.885 * [taylor]: Taking taylor expansion of 1.0 in z
0.885 * [taylor]: Taking taylor expansion of y in z
0.885 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.885 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.885 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.885 * [taylor]: Taking taylor expansion of z in y
0.885 * [taylor]: Taking taylor expansion of 1.0 in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.885 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.885 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.885 * [taylor]: Taking taylor expansion of z in y
0.885 * [taylor]: Taking taylor expansion of 1.0 in y
0.885 * [taylor]: Taking taylor expansion of y in y
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.886 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.886 * [taylor]: Taking taylor expansion of z in z
0.886 * [taylor]: Taking taylor expansion of 1.0 in z
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.887 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in (y z) around 0
0.887 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.887 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.887 * [taylor]: Taking taylor expansion of z in z
0.887 * [taylor]: Taking taylor expansion of 1.0 in z
0.887 * [taylor]: Taking taylor expansion of y in z
0.887 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.887 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.887 * [taylor]: Taking taylor expansion of z in y
0.887 * [taylor]: Taking taylor expansion of 1.0 in y
0.887 * [taylor]: Taking taylor expansion of y in y
0.887 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.887 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.887 * [taylor]: Taking taylor expansion of z in y
0.888 * [taylor]: Taking taylor expansion of 1.0 in y
0.888 * [taylor]: Taking taylor expansion of y in y
0.888 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.888 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.888 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.888 * [taylor]: Taking taylor expansion of z in z
0.888 * [taylor]: Taking taylor expansion of 1.0 in z
0.888 * [taylor]: Taking taylor expansion of 0 in z
0.889 * [taylor]: Taking taylor expansion of 0 in z
0.890 * [taylor]: Taking taylor expansion of 0 in z
0.890 * [taylor]: Taking taylor expansion of 0 in z
0.891 * [taylor]: Taking taylor expansion of 0 in z
0.892 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in (y z) around 0
0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in z
0.892 * [taylor]: Taking taylor expansion of -1 in z
0.892 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.892 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.892 * [taylor]: Taking taylor expansion of z in z
0.892 * [taylor]: Taking taylor expansion of 1.0 in z
0.892 * [taylor]: Taking taylor expansion of y in z
0.892 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
0.892 * [taylor]: Taking taylor expansion of -1 in y
0.892 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.892 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.892 * [taylor]: Taking taylor expansion of z in y
0.892 * [taylor]: Taking taylor expansion of 1.0 in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
0.893 * [taylor]: Taking taylor expansion of -1 in y
0.893 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.893 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.893 * [taylor]: Taking taylor expansion of z in y
0.893 * [taylor]: Taking taylor expansion of 1.0 in y
0.893 * [taylor]: Taking taylor expansion of y in y
0.893 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow z 2)) 1.0)) in z
0.893 * [taylor]: Taking taylor expansion of -1 in z
0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.893 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.893 * [taylor]: Taking taylor expansion of z in z
0.893 * [taylor]: Taking taylor expansion of 1.0 in z
0.894 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.895 * [taylor]: Taking taylor expansion of 0 in z
0.897 * [taylor]: Taking taylor expansion of 0 in z
0.898 * [taylor]: Taking taylor expansion of 0 in z
0.898 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.899 * [approximate]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in (x y z) around 0
0.899 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in z
0.899 * [taylor]: Taking taylor expansion of 1.0 in z
0.899 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in z
0.899 * [taylor]: Taking taylor expansion of x in z
0.899 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.899 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.899 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.899 * [taylor]: Taking taylor expansion of z in z
0.899 * [taylor]: Taking taylor expansion of 1.0 in z
0.899 * [taylor]: Taking taylor expansion of y in z
0.899 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in y
0.899 * [taylor]: Taking taylor expansion of 1.0 in y
0.899 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in y
0.899 * [taylor]: Taking taylor expansion of x in y
0.899 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.899 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.899 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.899 * [taylor]: Taking taylor expansion of z in y
0.899 * [taylor]: Taking taylor expansion of 1.0 in y
0.899 * [taylor]: Taking taylor expansion of y in y
0.900 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in x
0.900 * [taylor]: Taking taylor expansion of 1.0 in x
0.900 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in x
0.900 * [taylor]: Taking taylor expansion of x in x
0.900 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in x
0.900 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
0.900 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.900 * [taylor]: Taking taylor expansion of z in x
0.900 * [taylor]: Taking taylor expansion of 1.0 in x
0.900 * [taylor]: Taking taylor expansion of y in x
0.901 * [taylor]: Taking taylor expansion of (/ 1.0 (* x (* (+ (pow z 2) 1.0) y))) in x
0.901 * [taylor]: Taking taylor expansion of 1.0 in x
0.901 * [taylor]: Taking taylor expansion of (* x (* (+ (pow z 2) 1.0) y)) in x
0.901 * [taylor]: Taking taylor expansion of x in x
0.901 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in x
0.901 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
0.901 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.901 * [taylor]: Taking taylor expansion of z in x
0.901 * [taylor]: Taking taylor expansion of 1.0 in x
0.901 * [taylor]: Taking taylor expansion of y in x
0.902 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* (pow z 2) y) (* 1.0 y))) in y
0.902 * [taylor]: Taking taylor expansion of 1.0 in y
0.902 * [taylor]: Taking taylor expansion of (+ (* (pow z 2) y) (* 1.0 y)) in y
0.902 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y
0.902 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.902 * [taylor]: Taking taylor expansion of z in y
0.902 * [taylor]: Taking taylor expansion of y in y
0.902 * [taylor]: Taking taylor expansion of (* 1.0 y) in y
0.902 * [taylor]: Taking taylor expansion of 1.0 in y
0.902 * [taylor]: Taking taylor expansion of y in y
0.902 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (pow z 2) 1.0)) in z
0.902 * [taylor]: Taking taylor expansion of 1.0 in z
0.902 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.902 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.902 * [taylor]: Taking taylor expansion of z in z
0.902 * [taylor]: Taking taylor expansion of 1.0 in z
0.903 * [taylor]: Taking taylor expansion of 0 in y
0.904 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in y
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.905 * [taylor]: Taking taylor expansion of 0 in z
0.907 * [taylor]: Taking taylor expansion of 0 in y
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.907 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [taylor]: Taking taylor expansion of 0 in z
0.908 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in (x y z) around 0
0.908 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in z
0.908 * [taylor]: Taking taylor expansion of 1.0 in z
0.908 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in z
0.908 * [taylor]: Taking taylor expansion of (* x y) in z
0.908 * [taylor]: Taking taylor expansion of x in z
0.908 * [taylor]: Taking taylor expansion of y in z
0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.908 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.908 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.908 * [taylor]: Taking taylor expansion of z in z
0.909 * [taylor]: Taking taylor expansion of 1.0 in z
0.909 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in y
0.909 * [taylor]: Taking taylor expansion of 1.0 in y
0.909 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in y
0.909 * [taylor]: Taking taylor expansion of (* x y) in y
0.909 * [taylor]: Taking taylor expansion of x in y
0.909 * [taylor]: Taking taylor expansion of y in y
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.909 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.909 * [taylor]: Taking taylor expansion of z in y
0.909 * [taylor]: Taking taylor expansion of 1.0 in y
0.909 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.909 * [taylor]: Taking taylor expansion of 1.0 in x
0.909 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.909 * [taylor]: Taking taylor expansion of (* x y) in x
0.909 * [taylor]: Taking taylor expansion of x in x
0.909 * [taylor]: Taking taylor expansion of y in x
0.909 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.909 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.909 * [taylor]: Taking taylor expansion of z in x
0.910 * [taylor]: Taking taylor expansion of 1.0 in x
0.910 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.910 * [taylor]: Taking taylor expansion of 1.0 in x
0.910 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.910 * [taylor]: Taking taylor expansion of (* x y) in x
0.910 * [taylor]: Taking taylor expansion of x in x
0.910 * [taylor]: Taking taylor expansion of y in x
0.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.910 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.910 * [taylor]: Taking taylor expansion of z in x
0.910 * [taylor]: Taking taylor expansion of 1.0 in x
0.911 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.911 * [taylor]: Taking taylor expansion of 1.0 in y
0.911 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.911 * [taylor]: Taking taylor expansion of y in y
0.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.911 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.911 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.911 * [taylor]: Taking taylor expansion of z in y
0.911 * [taylor]: Taking taylor expansion of 1.0 in y
0.912 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (/ 1 (pow z 2)) 1.0)) in z
0.912 * [taylor]: Taking taylor expansion of 1.0 in z
0.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.912 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.912 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.912 * [taylor]: Taking taylor expansion of z in z
0.912 * [taylor]: Taking taylor expansion of 1.0 in z
0.913 * [taylor]: Taking taylor expansion of 0 in y
0.913 * [taylor]: Taking taylor expansion of 0 in z
0.913 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [taylor]: Taking taylor expansion of 0 in y
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.915 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in (x y z) around 0
0.916 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in z
0.916 * [taylor]: Taking taylor expansion of 1.0 in z
0.916 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in z
0.916 * [taylor]: Taking taylor expansion of (* x y) in z
0.916 * [taylor]: Taking taylor expansion of x in z
0.916 * [taylor]: Taking taylor expansion of y in z
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.916 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.916 * [taylor]: Taking taylor expansion of z in z
0.916 * [taylor]: Taking taylor expansion of 1.0 in z
0.916 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in y
0.916 * [taylor]: Taking taylor expansion of 1.0 in y
0.916 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in y
0.916 * [taylor]: Taking taylor expansion of (* x y) in y
0.916 * [taylor]: Taking taylor expansion of x in y
0.916 * [taylor]: Taking taylor expansion of y in y
0.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.916 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.916 * [taylor]: Taking taylor expansion of z in y
0.917 * [taylor]: Taking taylor expansion of 1.0 in y
0.917 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.917 * [taylor]: Taking taylor expansion of 1.0 in x
0.917 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.917 * [taylor]: Taking taylor expansion of (* x y) in x
0.917 * [taylor]: Taking taylor expansion of x in x
0.917 * [taylor]: Taking taylor expansion of y in x
0.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.917 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.917 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.917 * [taylor]: Taking taylor expansion of z in x
0.917 * [taylor]: Taking taylor expansion of 1.0 in x
0.917 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* x y) (+ (/ 1 (pow z 2)) 1.0))) in x
0.917 * [taylor]: Taking taylor expansion of 1.0 in x
0.917 * [taylor]: Taking taylor expansion of (/ (* x y) (+ (/ 1 (pow z 2)) 1.0)) in x
0.917 * [taylor]: Taking taylor expansion of (* x y) in x
0.917 * [taylor]: Taking taylor expansion of x in x
0.917 * [taylor]: Taking taylor expansion of y in x
0.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
0.917 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
0.917 * [taylor]: Taking taylor expansion of (pow z 2) in x
0.918 * [taylor]: Taking taylor expansion of z in x
0.918 * [taylor]: Taking taylor expansion of 1.0 in x
0.918 * [taylor]: Taking taylor expansion of (* 1.0 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.918 * [taylor]: Taking taylor expansion of 1.0 in y
0.918 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.918 * [taylor]: Taking taylor expansion of y in y
0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.918 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.918 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.918 * [taylor]: Taking taylor expansion of z in y
0.918 * [taylor]: Taking taylor expansion of 1.0 in y
0.919 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (/ 1 (pow z 2)) 1.0)) in z
0.919 * [taylor]: Taking taylor expansion of 1.0 in z
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.919 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.919 * [taylor]: Taking taylor expansion of z in z
0.919 * [taylor]: Taking taylor expansion of 1.0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in y
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.920 * [taylor]: Taking taylor expansion of 0 in z
0.921 * [taylor]: Taking taylor expansion of 0 in y
0.921 * [taylor]: Taking taylor expansion of 0 in z
0.921 * [taylor]: Taking taylor expansion of 0 in z
0.922 * [taylor]: Taking taylor expansion of 0 in z
0.923 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.923 * [approximate]: Taking taylor expansion of (/ 1 (* (+ (pow z 2) 1.0) y)) in (y z) around 0
0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (pow z 2) 1.0) y)) in z
0.923 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
0.923 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.923 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.923 * [taylor]: Taking taylor expansion of z in z
0.923 * [taylor]: Taking taylor expansion of 1.0 in z
0.923 * [taylor]: Taking taylor expansion of y in z
0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (pow z 2) 1.0) y)) in y
0.923 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.923 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.923 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.923 * [taylor]: Taking taylor expansion of z in y
0.923 * [taylor]: Taking taylor expansion of 1.0 in y
0.923 * [taylor]: Taking taylor expansion of y in y
0.923 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (pow z 2) 1.0) y)) in y
0.923 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
0.923 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
0.924 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.924 * [taylor]: Taking taylor expansion of z in y
0.924 * [taylor]: Taking taylor expansion of 1.0 in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.924 * [taylor]: Taking taylor expansion of (/ 1 (+ (pow z 2) 1.0)) in z
0.924 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
0.924 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.924 * [taylor]: Taking taylor expansion of z in z
0.924 * [taylor]: Taking taylor expansion of 1.0 in z
0.925 * [taylor]: Taking taylor expansion of 0 in z
0.925 * [taylor]: Taking taylor expansion of 0 in z
0.926 * [taylor]: Taking taylor expansion of 0 in z
0.927 * [taylor]: Taking taylor expansion of 0 in z
0.927 * [approximate]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in (y z) around 0
0.927 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in z
0.927 * [taylor]: Taking taylor expansion of y in z
0.927 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.927 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.927 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.927 * [taylor]: Taking taylor expansion of z in z
0.927 * [taylor]: Taking taylor expansion of 1.0 in z
0.927 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.927 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.928 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.928 * [taylor]: Taking taylor expansion of z in y
0.928 * [taylor]: Taking taylor expansion of 1.0 in y
0.928 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.928 * [taylor]: Taking taylor expansion of y in y
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.928 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.928 * [taylor]: Taking taylor expansion of z in y
0.928 * [taylor]: Taking taylor expansion of 1.0 in y
0.928 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow z 2)) 1.0)) in z
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.928 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.928 * [taylor]: Taking taylor expansion of z in z
0.928 * [taylor]: Taking taylor expansion of 1.0 in z
0.929 * [taylor]: Taking taylor expansion of 0 in z
0.930 * [taylor]: Taking taylor expansion of 0 in z
0.931 * [taylor]: Taking taylor expansion of 0 in z
0.932 * [taylor]: Taking taylor expansion of 0 in z
0.933 * [approximate]: Taking taylor expansion of (* -1 (/ y (+ (/ 1 (pow z 2)) 1.0))) in (y z) around 0
0.933 * [taylor]: Taking taylor expansion of (* -1 (/ y (+ (/ 1 (pow z 2)) 1.0))) in z
0.933 * [taylor]: Taking taylor expansion of -1 in z
0.933 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in z
0.933 * [taylor]: Taking taylor expansion of y in z
0.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.933 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.933 * [taylor]: Taking taylor expansion of z in z
0.933 * [taylor]: Taking taylor expansion of 1.0 in z
0.933 * [taylor]: Taking taylor expansion of (* -1 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.933 * [taylor]: Taking taylor expansion of -1 in y
0.933 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.933 * [taylor]: Taking taylor expansion of y in y
0.933 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.933 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.933 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.933 * [taylor]: Taking taylor expansion of z in y
0.933 * [taylor]: Taking taylor expansion of 1.0 in y
0.933 * [taylor]: Taking taylor expansion of (* -1 (/ y (+ (/ 1 (pow z 2)) 1.0))) in y
0.934 * [taylor]: Taking taylor expansion of -1 in y
0.934 * [taylor]: Taking taylor expansion of (/ y (+ (/ 1 (pow z 2)) 1.0)) in y
0.934 * [taylor]: Taking taylor expansion of y in y
0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
0.934 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
0.934 * [taylor]: Taking taylor expansion of (pow z 2) in y
0.934 * [taylor]: Taking taylor expansion of z in y
0.934 * [taylor]: Taking taylor expansion of 1.0 in y
0.934 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 (pow z 2)) 1.0)) in z
0.934 * [taylor]: Taking taylor expansion of -1 in z
0.934 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
0.934 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
0.934 * [taylor]: Taking taylor expansion of (pow z 2) in z
0.934 * [taylor]: Taking taylor expansion of z in z
0.934 * [taylor]: Taking taylor expansion of 1.0 in z
0.935 * [taylor]: Taking taylor expansion of 0 in z
0.936 * [taylor]: Taking taylor expansion of 0 in z
0.939 * [taylor]: Taking taylor expansion of 0 in z
0.941 * [taylor]: Taking taylor expansion of 0 in z
0.941 * * * [progress]: simplifying candidates
0.943 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 1.0 y)
  (*.f64 (*.f64 z z) y)
  (*.f64 y (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (+.f64 1.0 (*.f64 z z)))
  (*.f64 (sqrt.f64 y) (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))
  (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))
  (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (neg.f64 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (-.f64 0 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (-.f64 0 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (-.f64 (log.f64 1) (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (-.f64 (log.f64 1) (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (-.f64 (log.f64 1.0) (log.f64 x)) (log.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (neg.f64 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (-.f64 0 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (-.f64 0 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (-.f64 (log.f64 1) (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (-.f64 (log.f64 1) (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (+.f64 (log.f64 (/.f64 1.0 x)) (log.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (log.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (exp.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1.0 x)) (/.f64 1.0 x)) (*.f64 (*.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (cbrt.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (cbrt.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))
  (cbrt.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (*.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (sqrt.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (sqrt.f64 (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 1.0 1)
  (*.f64 x (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 1.0 x) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))
  (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 1.0 x) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y))
  (*.f64 (/.f64 1.0 x) (/.f64 (sqrt.f64 1) y))
  (*.f64 (/.f64 1.0 x) (/.f64 1 y))
  (*.f64 (/.f64 1.0 x) 1)
  (*.f64 (/.f64 1.0 x) 1)
  (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))))
  (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))))
  (*.f64 (cbrt.f64 (/.f64 1.0 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (sqrt.f64 (/.f64 1.0 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 (cbrt.f64 1.0) x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 (sqrt.f64 1.0) x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 1.0 (cbrt.f64 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 1.0 (sqrt.f64 x)) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 1 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (/.f64 1.0 x) 1)
  (*.f64 1.0 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 1)
  (neg.f64 1)
  (neg.f64 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (-.f64 0 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))))
  (-.f64 0 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (-.f64 (log.f64 1) (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))))
  (-.f64 (log.f64 1) (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (exp.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z)))))
  (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (*.f64 (*.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 1)
  (neg.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y)
  (/.f64 (cbrt.f64 1) (+.f64 1.0 (*.f64 z z)))
  (/.f64 (sqrt.f64 1) y)
  (/.f64 (sqrt.f64 1) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 1 (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 1)
  (/.f64 1 y)
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (cbrt.f64 1))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (sqrt.f64 1))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 1)
  (/.f64 1 (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))))
  (/.f64 1 (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))))
  (*.f64 1.0 y)
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  (-.f64 (*.f64 1.0 (/.f64 1 (*.f64 x y))) (*.f64 1.0 (/.f64 (pow.f64 z 2) (*.f64 x y))))
  (/.f64 1.0 (*.f64 x (*.f64 (pow.f64 z 2) y)))
  (/.f64 1.0 (*.f64 x (*.f64 (pow.f64 z 2) y)))
  (-.f64 (*.f64 1.0 (/.f64 1 y)) (*.f64 1.0 (/.f64 (pow.f64 z 2) y)))
  (-.f64 (/.f64 1 (*.f64 (pow.f64 z 2) y)) (*.f64 1.0 (/.f64 1 (*.f64 (pow.f64 z 4) y))))
  (-.f64 (/.f64 1 (*.f64 (pow.f64 z 2) y)) (*.f64 1.0 (/.f64 1 (*.f64 (pow.f64 z 4) y))))
1.012 * * [simplify]: iteration  0 :  5263  enodes  (cost  1232 )
1.017 * [simplify]: Simplified to:
   (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 3)
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 y (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  y
  (*.f64 (+.f64 1.0 (*.f64 z z)) (cbrt.f64 y))
  (*.f64 (+.f64 1.0 (*.f64 z z)) (sqrt.f64 y))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)))
  (*.f64 y (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)))
  (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (log.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (exp.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (*.f64 (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (cbrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (pow.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  1.0
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (sqrt.f64 (/.f64 1.0 x)) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))
  (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)))
  (*.f64 (/.f64 1.0 x) (*.f64 (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))
  (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (*.f64 (/.f64 1.0 x) (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y))
  (/.f64 (/.f64 1.0 x) y)
  (/.f64 (/.f64 1.0 x) y)
  (/.f64 1.0 x)
  (/.f64 1.0 x)
  (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))))
  (/.f64 (/.f64 1.0 x) (*.f64 y (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))))
  (/.f64 (cbrt.f64 (/.f64 1.0 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 (/.f64 1.0 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (cbrt.f64 1.0) (cbrt.f64 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (cbrt.f64 1.0) (sqrt.f64 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (cbrt.f64 1.0) (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 (/.f64 (sqrt.f64 1.0) (cbrt.f64 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 (sqrt.f64 1.0) (sqrt.f64 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 1.0) (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 (/.f64 1.0 (cbrt.f64 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1.0 (sqrt.f64 x)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (/.f64 1.0 x) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 1 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 1.0 x)
  (/.f64 1.0 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  -1
  -1
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (neg.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (exp.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (pow.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (pow.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (*.f64 (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))) (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))
  (cbrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (pow.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))) 3)
  (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  -1
  (neg.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) y)
  (/.f64 (cbrt.f64 1) (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 1 (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 1 (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 y)
  (/.f64 y (/.f64 (cbrt.f64 1) (+.f64 1.0 (*.f64 z z))))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (/.f64 1 (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 z 6))))
  (/.f64 1 (*.f64 y (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4))))
  (*.f64 y 1.0)
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 (/.f64 1.0 x) (-.f64 (/.f64 1 y) (/.f64 (*.f64 z z) y)))
  (/.f64 1.0 (*.f64 (*.f64 z z) (*.f64 y x)))
  (/.f64 1.0 (*.f64 (*.f64 z z) (*.f64 y x)))
  (*.f64 (/.f64 1.0 y) (-.f64 1 (*.f64 z z)))
  (-.f64 (/.f64 1 (*.f64 y (*.f64 z z))) (/.f64 1.0 (*.f64 y (pow.f64 z 4))))
  (-.f64 (/.f64 1 (*.f64 y (*.f64 z z))) (/.f64 1.0 (*.f64 y (pow.f64 z 4))))
1.018 * * * [progress]: adding candidates to table
1.145 * * [progress]: iteration 4 / 4
1.145 * * * [progress]: picking best candidate
1.166 * * * * [pick]: Picked  #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))>
1.166 * * * [progress]: localizing error
1.174 * * * [progress]: generating rewritten candidates
1.174 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
1.179 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
1.186 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.196 * * * [progress]: generating series expansions
1.196 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
1.196 * [approximate]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in (y z) around 0
1.196 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in z
1.196 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
1.196 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.196 * [taylor]: Taking taylor expansion of z in z
1.196 * [taylor]: Taking taylor expansion of 1.0 in z
1.196 * [taylor]: Taking taylor expansion of y in z
1.196 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
1.196 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
1.196 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.196 * [taylor]: Taking taylor expansion of z in y
1.196 * [taylor]: Taking taylor expansion of 1.0 in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.196 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) y) in y
1.196 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
1.196 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.196 * [taylor]: Taking taylor expansion of z in y
1.196 * [taylor]: Taking taylor expansion of 1.0 in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.197 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
1.197 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.197 * [taylor]: Taking taylor expansion of z in z
1.197 * [taylor]: Taking taylor expansion of 1.0 in z
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.197 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in (y z) around 0
1.198 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.198 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.198 * [taylor]: Taking taylor expansion of z in z
1.198 * [taylor]: Taking taylor expansion of 1.0 in z
1.198 * [taylor]: Taking taylor expansion of y in z
1.198 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.198 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.198 * [taylor]: Taking taylor expansion of z in y
1.198 * [taylor]: Taking taylor expansion of 1.0 in y
1.198 * [taylor]: Taking taylor expansion of y in y
1.198 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
1.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.198 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.198 * [taylor]: Taking taylor expansion of z in y
1.198 * [taylor]: Taking taylor expansion of 1.0 in y
1.198 * [taylor]: Taking taylor expansion of y in y
1.199 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.199 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.199 * [taylor]: Taking taylor expansion of z in z
1.199 * [taylor]: Taking taylor expansion of 1.0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.201 * [taylor]: Taking taylor expansion of 0 in z
1.202 * [taylor]: Taking taylor expansion of 0 in z
1.203 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in (y z) around 0
1.203 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in z
1.203 * [taylor]: Taking taylor expansion of -1 in z
1.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in z
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.203 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.203 * [taylor]: Taking taylor expansion of z in z
1.203 * [taylor]: Taking taylor expansion of 1.0 in z
1.203 * [taylor]: Taking taylor expansion of y in z
1.203 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
1.203 * [taylor]: Taking taylor expansion of -1 in y
1.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.203 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.203 * [taylor]: Taking taylor expansion of z in y
1.203 * [taylor]: Taking taylor expansion of 1.0 in y
1.203 * [taylor]: Taking taylor expansion of y in y
1.203 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow z 2)) 1.0) y)) in y
1.203 * [taylor]: Taking taylor expansion of -1 in y
1.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) y) in y
1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.203 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.203 * [taylor]: Taking taylor expansion of z in y
1.204 * [taylor]: Taking taylor expansion of 1.0 in y
1.204 * [taylor]: Taking taylor expansion of y in y
1.204 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 (pow z 2)) 1.0)) in z
1.204 * [taylor]: Taking taylor expansion of -1 in z
1.204 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.204 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.204 * [taylor]: Taking taylor expansion of z in z
1.204 * [taylor]: Taking taylor expansion of 1.0 in z
1.205 * [taylor]: Taking taylor expansion of 0 in z
1.205 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.207 * [taylor]: Taking taylor expansion of 0 in z
1.208 * [taylor]: Taking taylor expansion of 0 in z
1.209 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.209 * [approximate]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in (y z x) around 0
1.209 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in x
1.209 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
1.209 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.209 * [taylor]: Taking taylor expansion of z in x
1.209 * [taylor]: Taking taylor expansion of 1.0 in x
1.209 * [taylor]: Taking taylor expansion of (* y x) in x
1.209 * [taylor]: Taking taylor expansion of y in x
1.209 * [taylor]: Taking taylor expansion of x in x
1.209 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in z
1.209 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
1.209 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.209 * [taylor]: Taking taylor expansion of z in z
1.209 * [taylor]: Taking taylor expansion of 1.0 in z
1.209 * [taylor]: Taking taylor expansion of (* y x) in z
1.209 * [taylor]: Taking taylor expansion of y in z
1.209 * [taylor]: Taking taylor expansion of x in z
1.209 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in y
1.209 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
1.209 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.209 * [taylor]: Taking taylor expansion of z in y
1.209 * [taylor]: Taking taylor expansion of 1.0 in y
1.209 * [taylor]: Taking taylor expansion of (* y x) in y
1.209 * [taylor]: Taking taylor expansion of y in y
1.209 * [taylor]: Taking taylor expansion of x in y
1.209 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in y
1.209 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
1.209 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.209 * [taylor]: Taking taylor expansion of z in y
1.209 * [taylor]: Taking taylor expansion of 1.0 in y
1.209 * [taylor]: Taking taylor expansion of (* y x) in y
1.209 * [taylor]: Taking taylor expansion of y in y
1.209 * [taylor]: Taking taylor expansion of x in y
1.210 * [taylor]: Taking taylor expansion of 0 in z
1.210 * [taylor]: Taking taylor expansion of 0 in x
1.210 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (pow z 2))) in z
1.210 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
1.210 * [taylor]: Taking taylor expansion of 1.0 in z
1.210 * [taylor]: Taking taylor expansion of x in z
1.210 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
1.210 * [taylor]: Taking taylor expansion of x in z
1.210 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.210 * [taylor]: Taking taylor expansion of z in z
1.210 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.210 * [taylor]: Taking taylor expansion of 1.0 in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.210 * [taylor]: Taking taylor expansion of 0 in x
1.211 * [taylor]: Taking taylor expansion of 0 in z
1.211 * [taylor]: Taking taylor expansion of 0 in x
1.211 * [taylor]: Taking taylor expansion of 0 in x
1.211 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in (y z x) around 0
1.211 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in x
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.211 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.211 * [taylor]: Taking taylor expansion of z in x
1.211 * [taylor]: Taking taylor expansion of 1.0 in x
1.211 * [taylor]: Taking taylor expansion of (* y x) in x
1.211 * [taylor]: Taking taylor expansion of y in x
1.211 * [taylor]: Taking taylor expansion of x in x
1.211 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in z
1.211 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.212 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.212 * [taylor]: Taking taylor expansion of z in z
1.212 * [taylor]: Taking taylor expansion of 1.0 in z
1.212 * [taylor]: Taking taylor expansion of (* y x) in z
1.212 * [taylor]: Taking taylor expansion of y in z
1.212 * [taylor]: Taking taylor expansion of x in z
1.212 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in y
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.212 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.212 * [taylor]: Taking taylor expansion of z in y
1.212 * [taylor]: Taking taylor expansion of 1.0 in y
1.212 * [taylor]: Taking taylor expansion of (* y x) in y
1.212 * [taylor]: Taking taylor expansion of y in y
1.212 * [taylor]: Taking taylor expansion of x in y
1.212 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in y
1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.212 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.212 * [taylor]: Taking taylor expansion of z in y
1.212 * [taylor]: Taking taylor expansion of 1.0 in y
1.212 * [taylor]: Taking taylor expansion of (* y x) in y
1.212 * [taylor]: Taking taylor expansion of y in y
1.212 * [taylor]: Taking taylor expansion of x in y
1.213 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) x) in z
1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.213 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.213 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.213 * [taylor]: Taking taylor expansion of z in z
1.213 * [taylor]: Taking taylor expansion of 1.0 in z
1.213 * [taylor]: Taking taylor expansion of x in z
1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of 0 in z
1.214 * [taylor]: Taking taylor expansion of 0 in x
1.214 * [taylor]: Taking taylor expansion of 0 in z
1.215 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.215 * [taylor]: Taking taylor expansion of 1.0 in x
1.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.216 * [taylor]: Taking taylor expansion of 0 in z
1.216 * [taylor]: Taking taylor expansion of 0 in x
1.216 * [taylor]: Taking taylor expansion of 0 in x
1.217 * [taylor]: Taking taylor expansion of 0 in z
1.217 * [taylor]: Taking taylor expansion of 0 in x
1.217 * [taylor]: Taking taylor expansion of 0 in x
1.217 * [taylor]: Taking taylor expansion of 0 in x
1.218 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in (y z x) around 0
1.218 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in x
1.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.218 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.218 * [taylor]: Taking taylor expansion of z in x
1.218 * [taylor]: Taking taylor expansion of 1.0 in x
1.218 * [taylor]: Taking taylor expansion of (* y x) in x
1.218 * [taylor]: Taking taylor expansion of y in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in z
1.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.219 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.219 * [taylor]: Taking taylor expansion of z in z
1.219 * [taylor]: Taking taylor expansion of 1.0 in z
1.219 * [taylor]: Taking taylor expansion of (* y x) in z
1.219 * [taylor]: Taking taylor expansion of y in z
1.219 * [taylor]: Taking taylor expansion of x in z
1.219 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in y
1.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.219 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.219 * [taylor]: Taking taylor expansion of z in y
1.219 * [taylor]: Taking taylor expansion of 1.0 in y
1.219 * [taylor]: Taking taylor expansion of (* y x) in y
1.219 * [taylor]: Taking taylor expansion of y in y
1.219 * [taylor]: Taking taylor expansion of x in y
1.219 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) (* y x)) in y
1.219 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.219 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.219 * [taylor]: Taking taylor expansion of z in y
1.219 * [taylor]: Taking taylor expansion of 1.0 in y
1.220 * [taylor]: Taking taylor expansion of (* y x) in y
1.220 * [taylor]: Taking taylor expansion of y in y
1.220 * [taylor]: Taking taylor expansion of x in y
1.220 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow z 2)) 1.0) x) in z
1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.220 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.220 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.220 * [taylor]: Taking taylor expansion of z in z
1.220 * [taylor]: Taking taylor expansion of 1.0 in z
1.220 * [taylor]: Taking taylor expansion of x in z
1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.220 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of 0 in z
1.221 * [taylor]: Taking taylor expansion of 0 in x
1.221 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.222 * [taylor]: Taking taylor expansion of 1.0 in x
1.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.222 * [taylor]: Taking taylor expansion of x in x
1.222 * [taylor]: Taking taylor expansion of 0 in z
1.222 * [taylor]: Taking taylor expansion of 0 in x
1.223 * [taylor]: Taking taylor expansion of 0 in x
1.224 * [taylor]: Taking taylor expansion of 0 in z
1.224 * [taylor]: Taking taylor expansion of 0 in x
1.224 * [taylor]: Taking taylor expansion of 0 in x
1.224 * [taylor]: Taking taylor expansion of 0 in x
1.225 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.225 * [approximate]: Taking taylor expansion of (/ 1.0 (* (+ (pow z 2) 1.0) (* y x))) in (y z x) around 0
1.225 * [taylor]: Taking taylor expansion of (/ 1.0 (* (+ (pow z 2) 1.0) (* y x))) in x
1.225 * [taylor]: Taking taylor expansion of 1.0 in x
1.225 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in x
1.225 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in x
1.225 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.225 * [taylor]: Taking taylor expansion of z in x
1.225 * [taylor]: Taking taylor expansion of 1.0 in x
1.225 * [taylor]: Taking taylor expansion of (* y x) in x
1.225 * [taylor]: Taking taylor expansion of y in x
1.225 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (/ 1.0 (* (+ (pow z 2) 1.0) (* y x))) in z
1.226 * [taylor]: Taking taylor expansion of 1.0 in z
1.226 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in z
1.226 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in z
1.226 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.226 * [taylor]: Taking taylor expansion of z in z
1.226 * [taylor]: Taking taylor expansion of 1.0 in z
1.226 * [taylor]: Taking taylor expansion of (* y x) in z
1.226 * [taylor]: Taking taylor expansion of y in z
1.226 * [taylor]: Taking taylor expansion of x in z
1.226 * [taylor]: Taking taylor expansion of (/ 1.0 (* (+ (pow z 2) 1.0) (* y x))) in y
1.226 * [taylor]: Taking taylor expansion of 1.0 in y
1.226 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in y
1.226 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
1.226 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.226 * [taylor]: Taking taylor expansion of z in y
1.226 * [taylor]: Taking taylor expansion of 1.0 in y
1.226 * [taylor]: Taking taylor expansion of (* y x) in y
1.226 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of x in y
1.227 * [taylor]: Taking taylor expansion of (/ 1.0 (* (+ (pow z 2) 1.0) (* y x))) in y
1.227 * [taylor]: Taking taylor expansion of 1.0 in y
1.227 * [taylor]: Taking taylor expansion of (* (+ (pow z 2) 1.0) (* y x)) in y
1.227 * [taylor]: Taking taylor expansion of (+ (pow z 2) 1.0) in y
1.227 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.227 * [taylor]: Taking taylor expansion of z in y
1.227 * [taylor]: Taking taylor expansion of 1.0 in y
1.227 * [taylor]: Taking taylor expansion of (* y x) in y
1.227 * [taylor]: Taking taylor expansion of y in y
1.227 * [taylor]: Taking taylor expansion of x in y
1.227 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* 1.0 x) (* x (pow z 2)))) in z
1.227 * [taylor]: Taking taylor expansion of 1.0 in z
1.227 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* x (pow z 2))) in z
1.227 * [taylor]: Taking taylor expansion of (* 1.0 x) in z
1.227 * [taylor]: Taking taylor expansion of 1.0 in z
1.228 * [taylor]: Taking taylor expansion of x in z
1.228 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
1.228 * [taylor]: Taking taylor expansion of x in z
1.228 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.228 * [taylor]: Taking taylor expansion of z in z
1.228 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x
1.228 * [taylor]: Taking taylor expansion of 1.0 in x
1.228 * [taylor]: Taking taylor expansion of x in x
1.228 * [taylor]: Taking taylor expansion of 0 in z
1.228 * [taylor]: Taking taylor expansion of 0 in x
1.229 * [taylor]: Taking taylor expansion of 0 in x
1.230 * [taylor]: Taking taylor expansion of 0 in z
1.230 * [taylor]: Taking taylor expansion of 0 in x
1.230 * [taylor]: Taking taylor expansion of 0 in x
1.230 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 x))) in x
1.230 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.230 * [taylor]: Taking taylor expansion of 1.0 in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of 0 in z
1.231 * [taylor]: Taking taylor expansion of 0 in x
1.231 * [taylor]: Taking taylor expansion of 0 in x
1.231 * [taylor]: Taking taylor expansion of 0 in x
1.232 * [taylor]: Taking taylor expansion of 0 in x
1.232 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in (y z x) around 0
1.232 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in x
1.232 * [taylor]: Taking taylor expansion of 1.0 in x
1.232 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in x
1.232 * [taylor]: Taking taylor expansion of (* y x) in x
1.232 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.232 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.233 * [taylor]: Taking taylor expansion of z in x
1.233 * [taylor]: Taking taylor expansion of 1.0 in x
1.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in z
1.233 * [taylor]: Taking taylor expansion of 1.0 in z
1.233 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in z
1.233 * [taylor]: Taking taylor expansion of (* y x) in z
1.233 * [taylor]: Taking taylor expansion of y in z
1.233 * [taylor]: Taking taylor expansion of x in z
1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.233 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.233 * [taylor]: Taking taylor expansion of z in z
1.233 * [taylor]: Taking taylor expansion of 1.0 in z
1.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in y
1.233 * [taylor]: Taking taylor expansion of 1.0 in y
1.233 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in y
1.233 * [taylor]: Taking taylor expansion of (* y x) in y
1.233 * [taylor]: Taking taylor expansion of y in y
1.233 * [taylor]: Taking taylor expansion of x in y
1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.233 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.233 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.233 * [taylor]: Taking taylor expansion of z in y
1.233 * [taylor]: Taking taylor expansion of 1.0 in y
1.234 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in y
1.234 * [taylor]: Taking taylor expansion of 1.0 in y
1.234 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in y
1.234 * [taylor]: Taking taylor expansion of (* y x) in y
1.234 * [taylor]: Taking taylor expansion of y in y
1.234 * [taylor]: Taking taylor expansion of x in y
1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.234 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.234 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.234 * [taylor]: Taking taylor expansion of z in y
1.234 * [taylor]: Taking taylor expansion of 1.0 in y
1.234 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (+ (/ 1 (pow z 2)) 1.0))) in z
1.234 * [taylor]: Taking taylor expansion of 1.0 in z
1.234 * [taylor]: Taking taylor expansion of (/ x (+ (/ 1 (pow z 2)) 1.0)) in z
1.234 * [taylor]: Taking taylor expansion of x in z
1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.235 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.235 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.235 * [taylor]: Taking taylor expansion of z in z
1.235 * [taylor]: Taking taylor expansion of 1.0 in z
1.235 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.235 * [taylor]: Taking taylor expansion of 1.0 in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of 0 in z
1.236 * [taylor]: Taking taylor expansion of 0 in x
1.236 * [taylor]: Taking taylor expansion of 0 in x
1.237 * [taylor]: Taking taylor expansion of 0 in z
1.237 * [taylor]: Taking taylor expansion of 0 in x
1.237 * [taylor]: Taking taylor expansion of 0 in x
1.237 * [taylor]: Taking taylor expansion of (neg (* 1.0 x)) in x
1.237 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.237 * [taylor]: Taking taylor expansion of 1.0 in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.238 * [taylor]: Taking taylor expansion of 0 in z
1.238 * [taylor]: Taking taylor expansion of 0 in x
1.239 * [taylor]: Taking taylor expansion of 0 in x
1.239 * [taylor]: Taking taylor expansion of 0 in x
1.239 * [approximate]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in (y z x) around 0
1.239 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in x
1.239 * [taylor]: Taking taylor expansion of 1.0 in x
1.239 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in x
1.239 * [taylor]: Taking taylor expansion of (* y x) in x
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in x
1.239 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in x
1.239 * [taylor]: Taking taylor expansion of (pow z 2) in x
1.239 * [taylor]: Taking taylor expansion of z in x
1.239 * [taylor]: Taking taylor expansion of 1.0 in x
1.240 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in z
1.240 * [taylor]: Taking taylor expansion of 1.0 in z
1.240 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in z
1.240 * [taylor]: Taking taylor expansion of (* y x) in z
1.240 * [taylor]: Taking taylor expansion of y in z
1.240 * [taylor]: Taking taylor expansion of x in z
1.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.240 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.240 * [taylor]: Taking taylor expansion of z in z
1.240 * [taylor]: Taking taylor expansion of 1.0 in z
1.240 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in y
1.240 * [taylor]: Taking taylor expansion of 1.0 in y
1.240 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in y
1.240 * [taylor]: Taking taylor expansion of (* y x) in y
1.240 * [taylor]: Taking taylor expansion of y in y
1.240 * [taylor]: Taking taylor expansion of x in y
1.240 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.240 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.240 * [taylor]: Taking taylor expansion of z in y
1.240 * [taylor]: Taking taylor expansion of 1.0 in y
1.241 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* y x) (+ (/ 1 (pow z 2)) 1.0))) in y
1.241 * [taylor]: Taking taylor expansion of 1.0 in y
1.241 * [taylor]: Taking taylor expansion of (/ (* y x) (+ (/ 1 (pow z 2)) 1.0)) in y
1.241 * [taylor]: Taking taylor expansion of (* y x) in y
1.241 * [taylor]: Taking taylor expansion of y in y
1.241 * [taylor]: Taking taylor expansion of x in y
1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in y
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y
1.241 * [taylor]: Taking taylor expansion of (pow z 2) in y
1.241 * [taylor]: Taking taylor expansion of z in y
1.241 * [taylor]: Taking taylor expansion of 1.0 in y
1.241 * [taylor]: Taking taylor expansion of (* 1.0 (/ x (+ (/ 1 (pow z 2)) 1.0))) in z
1.241 * [taylor]: Taking taylor expansion of 1.0 in z
1.241 * [taylor]: Taking taylor expansion of (/ x (+ (/ 1 (pow z 2)) 1.0)) in z
1.241 * [taylor]: Taking taylor expansion of x in z
1.241 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 1.0) in z
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
1.241 * [taylor]: Taking taylor expansion of (pow z 2) in z
1.241 * [taylor]: Taking taylor expansion of z in z
1.241 * [taylor]: Taking taylor expansion of 1.0 in z
1.242 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.242 * [taylor]: Taking taylor expansion of 1.0 in x
1.242 * [taylor]: Taking taylor expansion of x in x
1.242 * [taylor]: Taking taylor expansion of 0 in z
1.242 * [taylor]: Taking taylor expansion of 0 in x
1.243 * [taylor]: Taking taylor expansion of 0 in x
1.244 * [taylor]: Taking taylor expansion of 0 in z
1.244 * [taylor]: Taking taylor expansion of 0 in x
1.244 * [taylor]: Taking taylor expansion of 0 in x
1.244 * [taylor]: Taking taylor expansion of (neg (* 1.0 x)) in x
1.244 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.244 * [taylor]: Taking taylor expansion of 1.0 in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of 0 in z
1.245 * [taylor]: Taking taylor expansion of 0 in x
1.245 * [taylor]: Taking taylor expansion of 0 in x
1.245 * [taylor]: Taking taylor expansion of 0 in x
1.246 * * * [progress]: simplifying candidates
1.247 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z))))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z))))
  (*.f64 (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 1.0 y)
  (*.f64 (*.f64 z z) y)
  (*.f64 y (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1)
  (*.f64 (cbrt.f64 y) (+.f64 1.0 (*.f64 z z)))
  (*.f64 (sqrt.f64 y) (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3)))
  (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z))))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (+.f64 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))) (log.f64 x))
  (+.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (log.f64 x))
  (log.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (exp.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 x x) x))
  (*.f64 (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 x x) x))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) (cbrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (cbrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (*.f64 (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (sqrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (sqrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (sqrt.f64 x))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 1)
  (*.f64 (+.f64 1.0 (*.f64 z z)) x)
  (*.f64 (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))) x)
  (*.f64 (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))) x)
  (-.f64 (log.f64 1.0) (+.f64 (+.f64 (log.f64 y) (log.f64 (+.f64 1.0 (*.f64 z z)))) (log.f64 x)))
  (-.f64 (log.f64 1.0) (+.f64 (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (log.f64 x)))
  (-.f64 (log.f64 1.0) (log.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (log.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (exp.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (+.f64 1.0 (*.f64 z z)) (+.f64 1.0 (*.f64 z z))) (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 x x) x)))
  (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 y (+.f64 1.0 (*.f64 z z)))) (*.f64 (*.f64 x x) x)))
  (/.f64 (*.f64 (*.f64 1.0 1.0) 1.0) (*.f64 (*.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))) (cbrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))))
  (cbrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (*.f64 (*.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (sqrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (sqrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (neg.f64 1.0)
  (neg.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (cbrt.f64 1.0) x)
  (/.f64 (sqrt.f64 1.0) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 1.0) x)
  (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 1.0 x)
  (/.f64 1 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) 1.0)
  (/.f64 1.0 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) (cbrt.f64 1.0))
  (/.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) (sqrt.f64 1.0))
  (/.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) 1.0)
  (/.f64 1.0 (*.f64 (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 (*.f64 z z) 3))) x))
  (/.f64 1.0 (*.f64 (*.f64 y (-.f64 (*.f64 1.0 1.0) (*.f64 (*.f64 z z) (*.f64 z z)))) x))
  (*.f64 1.0 y)
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  (+.f64 (*.f64 (pow.f64 z 2) y) (*.f64 1.0 y))
  0
  (+.f64 (*.f64 x (*.f64 (pow.f64 z 2) y)) (*.f64 1.0 (*.f64 x y)))
  (+.f64 (*.f64 x (*.f64 (pow.f64 z 2) y)) (*.f64 1.0 (*.f64 x y)))
  (-.f64 (*.f64 1.0 (/.f64 1 (*.f64 x y))) (*.f64 1.0 (/.f64 (pow.f64 z 2) (*.f64 x y))))
  (-.f64 (*.f64 1.0 (/.f64 1 (*.f64 x (*.f64 (pow.f64 z 2) y)))) (*.f64 1.0 (/.f64 1 (*.f64 x (*.f64 (pow.f64 z 4) y)))))
  (-.f64 (*.f64 1.0 (/.f64 1 (*.f64 x (*.f64 (pow.f64 z 2) y)))) (*.f64 1.0 (/.f64 1 (*.f64 x (*.f64 (pow.f64 z 4) y)))))
1.268 * * [simplify]: iteration  0 :  5095  enodes  (cost  797 )
1.271 * [simplify]: Simplified to:
   (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (log.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 3)
  (*.f64 (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))))
  (cbrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (pow.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) 3)
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (sqrt.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 y 1.0)
  (*.f64 y (*.f64 z z))
  (*.f64 y (*.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))) (cbrt.f64 (+.f64 1.0 (*.f64 z z)))))
  (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))
  y
  (*.f64 (+.f64 1.0 (*.f64 z z)) (cbrt.f64 y))
  (*.f64 (+.f64 1.0 (*.f64 z z)) (sqrt.f64 y))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)))
  (*.f64 y (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (log.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (log.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (log.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (pow.f64 (exp.f64 (*.f64 y (+.f64 1.0 (*.f64 z z)))) x)
  (pow.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) 3)
  (pow.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) (cbrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (cbrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (pow.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x) 3)
  (sqrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (sqrt.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (sqrt.f64 x))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 (+.f64 1.0 (*.f64 z z)) x)
  (*.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)) (*.f64 y x))
  (*.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)) (*.f64 y x))
  (log.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (log.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (log.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (log.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (exp.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (pow.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) 3)
  (pow.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) 3)
  (pow.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) 3)
  (*.f64 (cbrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))) (cbrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))))
  (cbrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (pow.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)) 3)
  (sqrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (sqrt.f64 (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))
  (neg.f64 1.0)
  (neg.f64 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 (*.f64 (cbrt.f64 1.0) (cbrt.f64 1.0)) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (cbrt.f64 1.0) x)
  (/.f64 (sqrt.f64 1.0) (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (sqrt.f64 1.0) x)
  (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 1.0 x)
  (/.f64 1 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 x))
  (/.f64 1.0 (*.f64 y (+.f64 1.0 (*.f64 z z))))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (cbrt.f64 1.0) x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 (sqrt.f64 1.0) x))
  (/.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 x))
  (/.f64 1.0 (*.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 z 6)) (*.f64 y x)))
  (/.f64 1.0 (*.f64 (-.f64 (*.f64 1.0 1.0) (pow.f64 z 4)) (*.f64 y x)))
  (*.f64 y 1.0)
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  (*.f64 y (+.f64 1.0 (*.f64 z z)))
  0
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)
  (*.f64 (/.f64 1.0 x) (-.f64 (/.f64 1 y) (/.f64 (*.f64 z z) y)))
  (-.f64 (/.f64 1.0 (*.f64 (*.f64 y (*.f64 z z)) x)) (/.f64 1.0 (*.f64 (pow.f64 z 4) (*.f64 y x))))
  (-.f64 (/.f64 1.0 (*.f64 (*.f64 y (*.f64 z z)) x)) (/.f64 1.0 (*.f64 (pow.f64 z 4) (*.f64 y x))))
1.272 * * * [progress]: adding candidates to table
1.363 * [progress]: [Phase 3 of 3] Extracting.
1.363 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.366 * * * [regime-changes]: Trying 7 branch expressions: ((*.f64 z z) (+.f64 1.0 (*.f64 z z)) (*.f64 y (+.f64 1.0 (*.f64 z z))) (/.f64 1.0 x) z y x)
1.366 * * * * [regimes]: Trying to branch on (*.f64 z z) from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.451 * * * * [regimes]: Trying to branch on (+.f64 1.0 (*.f64 z z)) from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.507 * * * * [regimes]: Trying to branch on (*.f64 y (+.f64 1.0 (*.f64 z z))) from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.567 * * * * [regimes]: Trying to branch on (*.f64 y (+.f64 1.0 (*.f64 z z))) from (#<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))>)
1.609 * * * * [regimes]: Trying to branch on (/.f64 1.0 x) from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.673 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.733 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.793 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (/.f64 (/.f64 (/.f64 1.0 x) y) (+.f64 1.0 (*.f64 z z))))> #<alt (λ (x y z) (/.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 y (/.f64 (/.f64 1.0 (sqrt.f64 x)) (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (*.f64 (*.f64 (/.f64 1.0 x) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))) (sqrt.f64 (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z)))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 (*.f64 y (+.f64 1.0 (*.f64 z z))) x)))> #<alt (λ (x y z) (*.f64 (/.f64 1.0 x) (/.f64 1 (*.f64 y (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))> #<alt (λ (x y z) (/.f64 1.0 (*.f64 y (*.f64 (+.f64 1.0 (*.f64 z z)) x))))> #<alt (λ (x y z) (*.f64 (/.f64 (*.f64 (cbrt.f64 (/.f64 1.0 x)) (cbrt.f64 (/.f64 1.0 x))) y) (/.f64 (cbrt.f64 (/.f64 1.0 x)) (+.f64 1.0 (*.f64 z z)))))> #<alt (λ (x y z) (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (*.f64 (fabs.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (cbrt.f64 (+.f64 1.0 (*.f64 z z))))))))>)
1.853 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
1.853 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (/.f64 1.0 x) (*.f64 (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z)))) (sqrt.f64 (+.f64 1.0 (*.f64 z z)))))
1.854 * * [simplify]: iteration  0 :  14  enodes  (cost  19 )
1.854 * * [simplify]: iteration  1 :  14  enodes  (cost  19 )
1.855 * [simplify]: Simplified to:
   (/.f64 (/.f64 1.0 x) (*.f64 (sqrt.f64 (+.f64 1.0 (*.f64 z z))) (*.f64 y (sqrt.f64 (+.f64 1.0 (*.f64 z z))))))
3.286 * [regime-testing]: End program error score: 6.414714350309599
3.392 * [regime-testing]: Target error score: 5.6688128840134855