27.337 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.349 * * * [progress]: [2/2] Setting up program.
0.357 * [progress]: [Phase 2 of 3] Improving.
0.357 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
0.371 * * [simplify]: iteration  0 :  31  enodes  (cost  13 )
0.371 * * [simplify]: iteration  1 :  31  enodes  (cost  13 )
0.371 * [simplify]: Simplified to:
   (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
0.371 * * [progress]: iteration 1 / 4
0.371 * * * [progress]: picking best candidate
0.379 * * * * [pick]: Picked  #<alt (λ (x y z) (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))>
0.379 * * * [progress]: localizing error
0.388 * * * [progress]: generating rewritten candidates
0.388 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.395 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.402 * * * [progress]: generating series expansions
0.402 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.403 * [approximate]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in (x y z) around 0
0.403 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in z
0.403 * [taylor]: Taking taylor expansion of (* x z) in z
0.403 * [taylor]: Taking taylor expansion of x in z
0.403 * [taylor]: Taking taylor expansion of z in z
0.403 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in z
0.403 * [taylor]: Taking taylor expansion of (* 5 z) in z
0.403 * [taylor]: Taking taylor expansion of 5 in z
0.403 * [taylor]: Taking taylor expansion of z in z
0.403 * [taylor]: Taking taylor expansion of (* x y) in z
0.403 * [taylor]: Taking taylor expansion of x in z
0.403 * [taylor]: Taking taylor expansion of y in z
0.403 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in y
0.403 * [taylor]: Taking taylor expansion of (* x z) in y
0.403 * [taylor]: Taking taylor expansion of x in y
0.403 * [taylor]: Taking taylor expansion of z in y
0.403 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in y
0.403 * [taylor]: Taking taylor expansion of (* 5 z) in y
0.403 * [taylor]: Taking taylor expansion of 5 in y
0.403 * [taylor]: Taking taylor expansion of z in y
0.403 * [taylor]: Taking taylor expansion of (* x y) in y
0.403 * [taylor]: Taking taylor expansion of x in y
0.403 * [taylor]: Taking taylor expansion of y in y
0.403 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in x
0.403 * [taylor]: Taking taylor expansion of (* x z) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of z in x
0.403 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in x
0.403 * [taylor]: Taking taylor expansion of (* 5 z) in x
0.403 * [taylor]: Taking taylor expansion of 5 in x
0.403 * [taylor]: Taking taylor expansion of z in x
0.403 * [taylor]: Taking taylor expansion of (* x y) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of y in x
0.403 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in x
0.403 * [taylor]: Taking taylor expansion of (* x z) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of z in x
0.403 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in x
0.403 * [taylor]: Taking taylor expansion of (* 5 z) in x
0.403 * [taylor]: Taking taylor expansion of 5 in x
0.403 * [taylor]: Taking taylor expansion of z in x
0.403 * [taylor]: Taking taylor expansion of (* x y) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of y in x
0.404 * [taylor]: Taking taylor expansion of (* 5 z) in y
0.404 * [taylor]: Taking taylor expansion of 5 in y
0.404 * [taylor]: Taking taylor expansion of z in y
0.404 * [taylor]: Taking taylor expansion of (* 5 z) in z
0.404 * [taylor]: Taking taylor expansion of 5 in z
0.404 * [taylor]: Taking taylor expansion of z in z
0.405 * [taylor]: Taking taylor expansion of (+ z y) in y
0.405 * [taylor]: Taking taylor expansion of z in y
0.405 * [taylor]: Taking taylor expansion of y in y
0.405 * [taylor]: Taking taylor expansion of z in z
0.405 * [taylor]: Taking taylor expansion of 0 in z
0.406 * [taylor]: Taking taylor expansion of 0 in y
0.406 * [taylor]: Taking taylor expansion of 0 in z
0.406 * [taylor]: Taking taylor expansion of 1 in z
0.407 * [taylor]: Taking taylor expansion of 0 in z
0.408 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in (x y z) around 0
0.408 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in z
0.408 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.408 * [taylor]: Taking taylor expansion of (* x z) in z
0.408 * [taylor]: Taking taylor expansion of x in z
0.408 * [taylor]: Taking taylor expansion of z in z
0.409 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in z
0.409 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.409 * [taylor]: Taking taylor expansion of 5 in z
0.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.409 * [taylor]: Taking taylor expansion of z in z
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.409 * [taylor]: Taking taylor expansion of (* x y) in z
0.409 * [taylor]: Taking taylor expansion of x in z
0.409 * [taylor]: Taking taylor expansion of y in z
0.409 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.409 * [taylor]: Taking taylor expansion of (* x z) in y
0.409 * [taylor]: Taking taylor expansion of x in y
0.409 * [taylor]: Taking taylor expansion of z in y
0.409 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in y
0.409 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.409 * [taylor]: Taking taylor expansion of 5 in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.410 * [taylor]: Taking taylor expansion of z in y
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.410 * [taylor]: Taking taylor expansion of (* x y) in y
0.410 * [taylor]: Taking taylor expansion of x in y
0.410 * [taylor]: Taking taylor expansion of y in y
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in x
0.410 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.410 * [taylor]: Taking taylor expansion of (* x z) in x
0.410 * [taylor]: Taking taylor expansion of x in x
0.410 * [taylor]: Taking taylor expansion of z in x
0.410 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in x
0.410 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.410 * [taylor]: Taking taylor expansion of 5 in x
0.410 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.410 * [taylor]: Taking taylor expansion of z in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.411 * [taylor]: Taking taylor expansion of (* x y) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of y in x
0.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.411 * [taylor]: Taking taylor expansion of (* x z) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of z in x
0.411 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in x
0.411 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.411 * [taylor]: Taking taylor expansion of 5 in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.411 * [taylor]: Taking taylor expansion of z in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.411 * [taylor]: Taking taylor expansion of (* x y) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of y in x
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.412 * [taylor]: Taking taylor expansion of y in y
0.412 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.412 * [taylor]: Taking taylor expansion of z in y
0.413 * [taylor]: Taking taylor expansion of 1 in z
0.414 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.414 * [taylor]: Taking taylor expansion of 5 in y
0.414 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.414 * [taylor]: Taking taylor expansion of z in y
0.415 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.415 * [taylor]: Taking taylor expansion of z in z
0.417 * [taylor]: Taking taylor expansion of 0 in y
0.417 * [taylor]: Taking taylor expansion of (/ 5 z) in z
0.417 * [taylor]: Taking taylor expansion of 5 in z
0.417 * [taylor]: Taking taylor expansion of z in z
0.420 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in (x y z) around 0
0.420 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in z
0.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
0.420 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.420 * [taylor]: Taking taylor expansion of (* x z) in z
0.420 * [taylor]: Taking taylor expansion of x in z
0.420 * [taylor]: Taking taylor expansion of z in z
0.420 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.420 * [taylor]: Taking taylor expansion of (* x y) in z
0.420 * [taylor]: Taking taylor expansion of x in z
0.420 * [taylor]: Taking taylor expansion of y in z
0.420 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.420 * [taylor]: Taking taylor expansion of 5 in z
0.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.420 * [taylor]: Taking taylor expansion of z in z
0.420 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in y
0.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
0.420 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.420 * [taylor]: Taking taylor expansion of (* x z) in y
0.421 * [taylor]: Taking taylor expansion of x in y
0.421 * [taylor]: Taking taylor expansion of z in y
0.421 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.421 * [taylor]: Taking taylor expansion of (* x y) in y
0.421 * [taylor]: Taking taylor expansion of x in y
0.421 * [taylor]: Taking taylor expansion of y in y
0.421 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.421 * [taylor]: Taking taylor expansion of 5 in y
0.421 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.421 * [taylor]: Taking taylor expansion of z in y
0.421 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in x
0.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.421 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.421 * [taylor]: Taking taylor expansion of (* x z) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of z in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.422 * [taylor]: Taking taylor expansion of (* x y) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of y in x
0.422 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.422 * [taylor]: Taking taylor expansion of 5 in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.422 * [taylor]: Taking taylor expansion of z in x
0.422 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in x
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.422 * [taylor]: Taking taylor expansion of (* x z) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of z in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.423 * [taylor]: Taking taylor expansion of (* x y) in x
0.423 * [taylor]: Taking taylor expansion of x in x
0.423 * [taylor]: Taking taylor expansion of y in x
0.423 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.423 * [taylor]: Taking taylor expansion of 5 in x
0.423 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.423 * [taylor]: Taking taylor expansion of z in x
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.424 * [taylor]: Taking taylor expansion of y in y
0.424 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.424 * [taylor]: Taking taylor expansion of z in y
0.424 * [taylor]: Taking taylor expansion of 1 in z
0.426 * [taylor]: Taking taylor expansion of (neg (* 5 (/ 1 z))) in y
0.426 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.426 * [taylor]: Taking taylor expansion of 5 in y
0.426 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.426 * [taylor]: Taking taylor expansion of z in y
0.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.426 * [taylor]: Taking taylor expansion of z in z
0.429 * [taylor]: Taking taylor expansion of 0 in y
0.429 * [taylor]: Taking taylor expansion of (neg (* 5 (/ 1 z))) in z
0.429 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.429 * [taylor]: Taking taylor expansion of 5 in z
0.429 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.429 * [taylor]: Taking taylor expansion of z in z
0.431 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.431 * [approximate]: Taking taylor expansion of (* (+ z y) x) in (x y z) around 0
0.431 * [taylor]: Taking taylor expansion of (* (+ z y) x) in z
0.431 * [taylor]: Taking taylor expansion of (+ z y) in z
0.431 * [taylor]: Taking taylor expansion of z in z
0.431 * [taylor]: Taking taylor expansion of y in z
0.431 * [taylor]: Taking taylor expansion of x in z
0.431 * [taylor]: Taking taylor expansion of (* (+ z y) x) in y
0.431 * [taylor]: Taking taylor expansion of (+ z y) in y
0.431 * [taylor]: Taking taylor expansion of z in y
0.431 * [taylor]: Taking taylor expansion of y in y
0.431 * [taylor]: Taking taylor expansion of x in y
0.431 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.431 * [taylor]: Taking taylor expansion of (+ z y) in x
0.431 * [taylor]: Taking taylor expansion of z in x
0.431 * [taylor]: Taking taylor expansion of y in x
0.431 * [taylor]: Taking taylor expansion of x in x
0.431 * [taylor]: Taking taylor expansion of (* (+ z y) x) in x
0.432 * [taylor]: Taking taylor expansion of (+ z y) in x
0.432 * [taylor]: Taking taylor expansion of z in x
0.432 * [taylor]: Taking taylor expansion of y in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of 0 in y
0.432 * [taylor]: Taking taylor expansion of 0 in z
0.432 * [taylor]: Taking taylor expansion of (+ z y) in y
0.432 * [taylor]: Taking taylor expansion of z in y
0.432 * [taylor]: Taking taylor expansion of y in y
0.432 * [taylor]: Taking taylor expansion of z in z
0.432 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 1 in z
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in y
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.433 * [taylor]: Taking taylor expansion of 0 in z
0.434 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.434 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.434 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.434 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.434 * [taylor]: Taking taylor expansion of z in z
0.434 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.434 * [taylor]: Taking taylor expansion of y in z
0.434 * [taylor]: Taking taylor expansion of x in z
0.435 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.435 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.435 * [taylor]: Taking taylor expansion of z in y
0.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.435 * [taylor]: Taking taylor expansion of y in y
0.435 * [taylor]: Taking taylor expansion of x in y
0.435 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.435 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.435 * [taylor]: Taking taylor expansion of z in x
0.435 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.435 * [taylor]: Taking taylor expansion of y in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.436 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.436 * [taylor]: Taking taylor expansion of z in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.436 * [taylor]: Taking taylor expansion of y in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.436 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.436 * [taylor]: Taking taylor expansion of z in y
0.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.436 * [taylor]: Taking taylor expansion of y in y
0.436 * [taylor]: Taking taylor expansion of 1 in z
0.437 * [taylor]: Taking taylor expansion of 0 in y
0.438 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.438 * [taylor]: Taking taylor expansion of z in z
0.439 * [taylor]: Taking taylor expansion of 0 in y
0.439 * [taylor]: Taking taylor expansion of 0 in z
0.440 * [taylor]: Taking taylor expansion of 0 in z
0.442 * [taylor]: Taking taylor expansion of 0 in y
0.442 * [taylor]: Taking taylor expansion of 0 in z
0.442 * [taylor]: Taking taylor expansion of 0 in z
0.442 * [taylor]: Taking taylor expansion of 0 in z
0.444 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
0.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
0.444 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.444 * [taylor]: Taking taylor expansion of z in z
0.444 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.444 * [taylor]: Taking taylor expansion of y in z
0.444 * [taylor]: Taking taylor expansion of x in z
0.444 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
0.444 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.444 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.444 * [taylor]: Taking taylor expansion of z in y
0.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.445 * [taylor]: Taking taylor expansion of y in y
0.445 * [taylor]: Taking taylor expansion of x in y
0.445 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.445 * [taylor]: Taking taylor expansion of z in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.445 * [taylor]: Taking taylor expansion of y in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.445 * [taylor]: Taking taylor expansion of z in x
0.445 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.445 * [taylor]: Taking taylor expansion of y in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.446 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.446 * [taylor]: Taking taylor expansion of z in y
0.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.446 * [taylor]: Taking taylor expansion of y in y
0.446 * [taylor]: Taking taylor expansion of 1 in z
0.447 * [taylor]: Taking taylor expansion of 0 in y
0.448 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.448 * [taylor]: Taking taylor expansion of z in z
0.449 * [taylor]: Taking taylor expansion of 0 in y
0.449 * [taylor]: Taking taylor expansion of 0 in z
0.450 * [taylor]: Taking taylor expansion of 0 in z
0.451 * [taylor]: Taking taylor expansion of 0 in y
0.451 * [taylor]: Taking taylor expansion of 0 in z
0.451 * [taylor]: Taking taylor expansion of 0 in z
0.452 * [taylor]: Taking taylor expansion of 0 in z
0.454 * * * [progress]: simplifying candidates
0.454 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 z x) (*.f64 z 5))
  (+.f64 (*.f64 x z) (*.f64 z 5))
  (-.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (*.f64 (*.f64 z 5) (*.f64 z 5)))
  (-.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))
  (+.f64 (pow.f64 (*.f64 x (+.f64 y z)) 3) (pow.f64 (*.f64 z 5) 3))
  (+.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (-.f64 (*.f64 (*.f64 z 5) (*.f64 z 5)) (*.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))))
  (sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))
  (sqrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))
  (*.f64 (*.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)) (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))) (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))) (cbrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5))))
  (cbrt.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))
  (exp.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))
  (log.f64 (+.f64 (*.f64 x (+.f64 y z)) (*.f64 z 5)))
  (*.f64 (exp.f64 (*.f64 x (+.f64 y z))) (exp.f64 (*.f64 z 5)))
  (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 x (+.f64 y z))
  (*.f64 (sqrt.f64 x) (+.f64 y z))
  (*.f64 (cbrt.f64 x) (+.f64 y z))
  (*.f64 x 1)
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 (+.f64 y z)))
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 y z)) (cbrt.f64 (+.f64 y z))))
  (*.f64 y x)
  (*.f64 z x)
  (*.f64 x y)
  (*.f64 x z)
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 y z)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 y z)))
  (sqrt.f64 (*.f64 x (+.f64 y z)))
  (sqrt.f64 (*.f64 x (+.f64 y z)))
  (*.f64 (*.f64 (*.f64 x (+.f64 y z)) (*.f64 x (+.f64 y z))) (*.f64 x (+.f64 y z)))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 y z))) (cbrt.f64 (*.f64 x (+.f64 y z))))
  (cbrt.f64 (*.f64 x (+.f64 y z)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 y z) (+.f64 y z)) (+.f64 y z)))
  (exp.f64 (*.f64 x (+.f64 y z)))
  (log.f64 (*.f64 x (+.f64 y z)))
  (+.f64 (log.f64 x) (log.f64 (+.f64 y z)))
  (*.f64 x (+.f64 y z))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (*.f64 x y))
  (+.f64 (*.f64 x z) (*.f64 x y))
  (+.f64 (*.f64 x z) (*.f64 x y))
0.515 * * [simplify]: iteration  0 :  5092  enodes  (cost  518 )
0.518 * [simplify]: Simplified to:
   (*.f64 z (+.f64 x 5))
  (*.f64 z (+.f64 x 5))
  (-.f64 (*.f64 (*.f64 x (+.f64 z y)) (*.f64 x (+.f64 z y))) (*.f64 (*.f64 z z) 25))
  (-.f64 (*.f64 x (+.f64 z y)) (*.f64 z 5))
  (+.f64 (pow.f64 (*.f64 x (+.f64 z y)) 3) (pow.f64 (*.f64 z 5) 3))
  (+.f64 (*.f64 (*.f64 z z) 25) (*.f64 (*.f64 x (+.f64 z y)) (-.f64 (*.f64 x (+.f64 z y)) (*.f64 z 5))))
  (sqrt.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))))
  (sqrt.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))))
  (pow.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y)))) (cbrt.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y)))))
  (cbrt.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))))
  (exp.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))))
  (log.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))))
  (exp.f64 (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y))))
  (*.f64 x (-.f64 (*.f64 y y) (*.f64 z z)))
  (*.f64 x (+.f64 (pow.f64 y 3) (pow.f64 z 3)))
  (*.f64 x (+.f64 z y))
  (*.f64 (+.f64 z y) (sqrt.f64 x))
  (*.f64 (+.f64 z y) (cbrt.f64 x))
  x
  x
  (*.f64 x (sqrt.f64 (+.f64 z y)))
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 z y)) (cbrt.f64 (+.f64 z y))))
  (*.f64 x y)
  (*.f64 z x)
  (*.f64 x y)
  (*.f64 z x)
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 z y)))
  (sqrt.f64 (*.f64 x (+.f64 z y)))
  (sqrt.f64 (*.f64 x (+.f64 z y)))
  (pow.f64 (*.f64 x (+.f64 z y)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 z y))) (cbrt.f64 (*.f64 x (+.f64 z y))))
  (cbrt.f64 (*.f64 x (+.f64 z y)))
  (pow.f64 (*.f64 x (+.f64 z y)) 3)
  (exp.f64 (*.f64 x (+.f64 z y)))
  (log.f64 (*.f64 x (+.f64 z y)))
  (log.f64 (*.f64 x (+.f64 z y)))
  (*.f64 x (+.f64 z y))
  (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y)))
  (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y)))
  (+.f64 (*.f64 z 5) (*.f64 x (+.f64 z y)))
  (*.f64 x (+.f64 z y))
  (*.f64 x (+.f64 z y))
  (*.f64 x (+.f64 z y))
0.518 * * * [progress]: adding candidates to table
0.668 * * [progress]: iteration 2 / 4
0.668 * * * [progress]: picking best candidate
0.702 * * * * [pick]: Picked  #<alt (λ (x y z) (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))>
0.702 * * * [progress]: localizing error
0.711 * * * [progress]: generating rewritten candidates
0.711 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.718 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.723 * * * [progress]: generating series expansions
0.723 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.723 * [approximate]: Taking taylor expansion of (* z (+ x 5)) in (z x) around 0
0.723 * [taylor]: Taking taylor expansion of (* z (+ x 5)) in x
0.723 * [taylor]: Taking taylor expansion of z in x
0.723 * [taylor]: Taking taylor expansion of (+ x 5) in x
0.723 * [taylor]: Taking taylor expansion of x in x
0.723 * [taylor]: Taking taylor expansion of 5 in x
0.723 * [taylor]: Taking taylor expansion of (* z (+ x 5)) in z
0.723 * [taylor]: Taking taylor expansion of z in z
0.723 * [taylor]: Taking taylor expansion of (+ x 5) in z
0.723 * [taylor]: Taking taylor expansion of x in z
0.723 * [taylor]: Taking taylor expansion of 5 in z
0.723 * [taylor]: Taking taylor expansion of (* z (+ x 5)) in z
0.724 * [taylor]: Taking taylor expansion of z in z
0.724 * [taylor]: Taking taylor expansion of (+ x 5) in z
0.724 * [taylor]: Taking taylor expansion of x in z
0.724 * [taylor]: Taking taylor expansion of 5 in z
0.724 * [taylor]: Taking taylor expansion of 0 in x
0.724 * [taylor]: Taking taylor expansion of (+ x 5) in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.724 * [taylor]: Taking taylor expansion of 5 in x
0.725 * [taylor]: Taking taylor expansion of 0 in x
0.725 * [taylor]: Taking taylor expansion of 0 in x
0.726 * [taylor]: Taking taylor expansion of 0 in x
0.727 * [approximate]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in (z x) around 0
0.727 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in x
0.727 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
0.727 * [taylor]: Taking taylor expansion of 5 in x
0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.727 * [taylor]: Taking taylor expansion of x in x
0.727 * [taylor]: Taking taylor expansion of z in x
0.727 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in z
0.727 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in z
0.727 * [taylor]: Taking taylor expansion of 5 in z
0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.727 * [taylor]: Taking taylor expansion of x in z
0.727 * [taylor]: Taking taylor expansion of z in z
0.728 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in z
0.728 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in z
0.728 * [taylor]: Taking taylor expansion of 5 in z
0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.728 * [taylor]: Taking taylor expansion of x in z
0.728 * [taylor]: Taking taylor expansion of z in z
0.728 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
0.728 * [taylor]: Taking taylor expansion of 5 in x
0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.729 * [taylor]: Taking taylor expansion of 0 in x
0.730 * [taylor]: Taking taylor expansion of 0 in x
0.732 * [taylor]: Taking taylor expansion of 0 in x
0.733 * [taylor]: Taking taylor expansion of 0 in x
0.734 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in (z x) around 0
0.734 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in x
0.735 * [taylor]: Taking taylor expansion of -1 in x
0.735 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 x)) z) in x
0.735 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
0.735 * [taylor]: Taking taylor expansion of 5 in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of z in x
0.735 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in z
0.735 * [taylor]: Taking taylor expansion of -1 in z
0.735 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 x)) z) in z
0.735 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in z
0.735 * [taylor]: Taking taylor expansion of 5 in z
0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.735 * [taylor]: Taking taylor expansion of x in z
0.735 * [taylor]: Taking taylor expansion of z in z
0.736 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in z
0.736 * [taylor]: Taking taylor expansion of -1 in z
0.736 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 x)) z) in z
0.736 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in z
0.736 * [taylor]: Taking taylor expansion of 5 in z
0.736 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.736 * [taylor]: Taking taylor expansion of x in z
0.736 * [taylor]: Taking taylor expansion of z in z
0.736 * [taylor]: Taking taylor expansion of (* -1 (- 5 (/ 1 x))) in x
0.736 * [taylor]: Taking taylor expansion of -1 in x
0.736 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
0.736 * [taylor]: Taking taylor expansion of 5 in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of 0 in x
0.740 * [taylor]: Taking taylor expansion of 0 in x
0.742 * [taylor]: Taking taylor expansion of 0 in x
0.745 * [taylor]: Taking taylor expansion of 0 in x
0.746 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.746 * [approximate]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in (y x z) around 0
0.746 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in z
0.746 * [taylor]: Taking taylor expansion of (* x z) in z
0.746 * [taylor]: Taking taylor expansion of x in z
0.746 * [taylor]: Taking taylor expansion of z in z
0.746 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in z
0.746 * [taylor]: Taking taylor expansion of (* 5 z) in z
0.746 * [taylor]: Taking taylor expansion of 5 in z
0.746 * [taylor]: Taking taylor expansion of z in z
0.746 * [taylor]: Taking taylor expansion of (* x y) in z
0.746 * [taylor]: Taking taylor expansion of x in z
0.746 * [taylor]: Taking taylor expansion of y in z
0.746 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in x
0.746 * [taylor]: Taking taylor expansion of (* x z) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.746 * [taylor]: Taking taylor expansion of z in x
0.746 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in x
0.746 * [taylor]: Taking taylor expansion of (* 5 z) in x
0.746 * [taylor]: Taking taylor expansion of 5 in x
0.746 * [taylor]: Taking taylor expansion of z in x
0.746 * [taylor]: Taking taylor expansion of (* x y) in x
0.746 * [taylor]: Taking taylor expansion of x in x
0.747 * [taylor]: Taking taylor expansion of y in x
0.747 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in y
0.747 * [taylor]: Taking taylor expansion of (* x z) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in y
0.747 * [taylor]: Taking taylor expansion of (* 5 z) in y
0.747 * [taylor]: Taking taylor expansion of 5 in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of (* x y) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in y
0.747 * [taylor]: Taking taylor expansion of (* x z) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in y
0.747 * [taylor]: Taking taylor expansion of (* 5 z) in y
0.747 * [taylor]: Taking taylor expansion of 5 in y
0.747 * [taylor]: Taking taylor expansion of z in y
0.747 * [taylor]: Taking taylor expansion of (* x y) in y
0.747 * [taylor]: Taking taylor expansion of x in y
0.747 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (+ (* x z) (* 5 z)) in x
0.748 * [taylor]: Taking taylor expansion of (* x z) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of z in x
0.748 * [taylor]: Taking taylor expansion of (* 5 z) in x
0.748 * [taylor]: Taking taylor expansion of 5 in x
0.748 * [taylor]: Taking taylor expansion of z in x
0.748 * [taylor]: Taking taylor expansion of (* 5 z) in z
0.748 * [taylor]: Taking taylor expansion of 5 in z
0.748 * [taylor]: Taking taylor expansion of z in z
0.748 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of 0 in z
0.749 * [taylor]: Taking taylor expansion of z in z
0.750 * [taylor]: Taking taylor expansion of 0 in x
0.750 * [taylor]: Taking taylor expansion of 0 in z
0.750 * [taylor]: Taking taylor expansion of 1 in z
0.751 * [taylor]: Taking taylor expansion of 0 in z
0.752 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in (y x z) around 0
0.752 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in z
0.752 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.752 * [taylor]: Taking taylor expansion of (* x z) in z
0.752 * [taylor]: Taking taylor expansion of x in z
0.752 * [taylor]: Taking taylor expansion of z in z
0.753 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in z
0.753 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.753 * [taylor]: Taking taylor expansion of 5 in z
0.753 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.753 * [taylor]: Taking taylor expansion of z in z
0.753 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.753 * [taylor]: Taking taylor expansion of (* x y) in z
0.753 * [taylor]: Taking taylor expansion of x in z
0.753 * [taylor]: Taking taylor expansion of y in z
0.753 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.753 * [taylor]: Taking taylor expansion of (* x z) in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of z in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in x
0.753 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.753 * [taylor]: Taking taylor expansion of 5 in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.753 * [taylor]: Taking taylor expansion of z in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.754 * [taylor]: Taking taylor expansion of (* x y) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of y in x
0.754 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.754 * [taylor]: Taking taylor expansion of (* x z) in y
0.754 * [taylor]: Taking taylor expansion of x in y
0.754 * [taylor]: Taking taylor expansion of z in y
0.754 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in y
0.754 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.754 * [taylor]: Taking taylor expansion of 5 in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.754 * [taylor]: Taking taylor expansion of z in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.754 * [taylor]: Taking taylor expansion of (* x y) in y
0.754 * [taylor]: Taking taylor expansion of x in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.755 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in y
0.755 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.755 * [taylor]: Taking taylor expansion of (* x z) in y
0.755 * [taylor]: Taking taylor expansion of x in y
0.755 * [taylor]: Taking taylor expansion of z in y
0.755 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in y
0.755 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.755 * [taylor]: Taking taylor expansion of 5 in y
0.755 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.755 * [taylor]: Taking taylor expansion of z in y
0.755 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.755 * [taylor]: Taking taylor expansion of (* x y) in y
0.755 * [taylor]: Taking taylor expansion of x in y
0.755 * [taylor]: Taking taylor expansion of y in y
0.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.756 * [taylor]: Taking taylor expansion of x in x
0.756 * [taylor]: Taking taylor expansion of 1 in z
0.757 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 5 (/ 1 z))) in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.757 * [taylor]: Taking taylor expansion of (* x z) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of z in x
0.757 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.757 * [taylor]: Taking taylor expansion of 5 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.757 * [taylor]: Taking taylor expansion of z in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.757 * [taylor]: Taking taylor expansion of z in z
0.758 * [taylor]: Taking taylor expansion of 0 in z
0.759 * [taylor]: Taking taylor expansion of 0 in x
0.760 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.760 * [taylor]: Taking taylor expansion of 5 in z
0.760 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.760 * [taylor]: Taking taylor expansion of z in z
0.762 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in (y x z) around 0
0.762 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in z
0.762 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
0.762 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
0.762 * [taylor]: Taking taylor expansion of (* x z) in z
0.762 * [taylor]: Taking taylor expansion of x in z
0.762 * [taylor]: Taking taylor expansion of z in z
0.763 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.763 * [taylor]: Taking taylor expansion of (* x y) in z
0.763 * [taylor]: Taking taylor expansion of x in z
0.763 * [taylor]: Taking taylor expansion of y in z
0.763 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.763 * [taylor]: Taking taylor expansion of 5 in z
0.763 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.763 * [taylor]: Taking taylor expansion of z in z
0.763 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in x
0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
0.763 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.763 * [taylor]: Taking taylor expansion of (* x z) in x
0.763 * [taylor]: Taking taylor expansion of x in x
0.763 * [taylor]: Taking taylor expansion of z in x
0.763 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.763 * [taylor]: Taking taylor expansion of (* x y) in x
0.764 * [taylor]: Taking taylor expansion of x in x
0.764 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.764 * [taylor]: Taking taylor expansion of 5 in x
0.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.764 * [taylor]: Taking taylor expansion of z in x
0.764 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in y
0.764 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.764 * [taylor]: Taking taylor expansion of (* x z) in y
0.764 * [taylor]: Taking taylor expansion of x in y
0.764 * [taylor]: Taking taylor expansion of z in y
0.764 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.764 * [taylor]: Taking taylor expansion of (* x y) in y
0.764 * [taylor]: Taking taylor expansion of x in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.765 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.765 * [taylor]: Taking taylor expansion of 5 in y
0.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.765 * [taylor]: Taking taylor expansion of z in y
0.765 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in y
0.765 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
0.765 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
0.765 * [taylor]: Taking taylor expansion of (* x z) in y
0.765 * [taylor]: Taking taylor expansion of x in y
0.765 * [taylor]: Taking taylor expansion of z in y
0.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.765 * [taylor]: Taking taylor expansion of (* x y) in y
0.765 * [taylor]: Taking taylor expansion of x in y
0.765 * [taylor]: Taking taylor expansion of y in y
0.765 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
0.765 * [taylor]: Taking taylor expansion of 5 in y
0.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.765 * [taylor]: Taking taylor expansion of z in y
0.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of 1 in z
0.767 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (* 5 (/ 1 z))) in x
0.767 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
0.767 * [taylor]: Taking taylor expansion of (* x z) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of z in x
0.767 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
0.767 * [taylor]: Taking taylor expansion of 5 in x
0.767 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.767 * [taylor]: Taking taylor expansion of z in x
0.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.768 * [taylor]: Taking taylor expansion of z in z
0.768 * [taylor]: Taking taylor expansion of 0 in z
0.770 * [taylor]: Taking taylor expansion of 0 in x
0.771 * [taylor]: Taking taylor expansion of (neg (* 5 (/ 1 z))) in z
0.771 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
0.771 * [taylor]: Taking taylor expansion of 5 in z
0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.771 * [taylor]: Taking taylor expansion of z in z
0.772 * * * [progress]: simplifying candidates
0.773 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 z (-.f64 (*.f64 x x) (*.f64 5 5)))
  (*.f64 z (+.f64 (pow.f64 x 3) (pow.f64 5 3)))
  (*.f64 z (+.f64 x 5))
  (*.f64 (sqrt.f64 z) (+.f64 x 5))
  (*.f64 (cbrt.f64 z) (+.f64 x 5))
  (*.f64 z 1)
  (*.f64 z 1)
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 z (*.f64 (cbrt.f64 (+.f64 x 5)) (cbrt.f64 (+.f64 x 5))))
  (*.f64 x z)
  (*.f64 5 z)
  (*.f64 z x)
  (*.f64 z 5)
  (*.f64 (sqrt.f64 z) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (*.f64 z (+.f64 x 5)))
  (sqrt.f64 (*.f64 z (+.f64 x 5)))
  (*.f64 (*.f64 (*.f64 z (+.f64 x 5)) (*.f64 z (+.f64 x 5))) (*.f64 z (+.f64 x 5)))
  (*.f64 (cbrt.f64 (*.f64 z (+.f64 x 5))) (cbrt.f64 (*.f64 z (+.f64 x 5))))
  (cbrt.f64 (*.f64 z (+.f64 x 5)))
  (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (+.f64 x 5) (+.f64 x 5)) (+.f64 x 5)))
  (exp.f64 (*.f64 z (+.f64 x 5)))
  (log.f64 (*.f64 z (+.f64 x 5)))
  (+.f64 (log.f64 z) (log.f64 (+.f64 x 5)))
  (*.f64 z (+.f64 x 5))
  (+.f64 (*.f64 y x) (*.f64 x z))
  (+.f64 (*.f64 y x) (*.f64 z x))
  (-.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (*.f64 (*.f64 z (+.f64 x 5)) (*.f64 z (+.f64 x 5))))
  (-.f64 (*.f64 y x) (*.f64 z (+.f64 x 5)))
  (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 (*.f64 z (+.f64 x 5)) 3))
  (+.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (-.f64 (*.f64 (*.f64 z (+.f64 x 5)) (*.f64 z (+.f64 x 5))) (*.f64 (*.f64 y x) (*.f64 z (+.f64 x 5)))))
  (sqrt.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))
  (sqrt.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))
  (*.f64 (*.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))) (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5)))) (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5)))) (cbrt.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5)))))
  (cbrt.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))
  (exp.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))
  (log.f64 (+.f64 (*.f64 y x) (*.f64 z (+.f64 x 5))))
  (*.f64 (exp.f64 (*.f64 y x)) (exp.f64 (*.f64 z (+.f64 x 5))))
  (+.f64 (*.f64 x z) (*.f64 5 z))
  (+.f64 (*.f64 x z) (*.f64 5 z))
  (+.f64 (*.f64 x z) (*.f64 5 z))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
0.845 * * [simplify]: iteration  0 :  5041  enodes  (cost  518 )
0.849 * [simplify]: Simplified to:
   (*.f64 z (-.f64 (*.f64 x x) 25))
  (*.f64 z (+.f64 (pow.f64 x 3) 125))
  (*.f64 z (+.f64 x 5))
  (*.f64 (+.f64 x 5) (sqrt.f64 z))
  (*.f64 (+.f64 x 5) (cbrt.f64 z))
  z
  z
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 z (*.f64 (cbrt.f64 (+.f64 x 5)) (cbrt.f64 (+.f64 x 5))))
  (*.f64 z x)
  (*.f64 z 5)
  (*.f64 z x)
  (*.f64 z 5)
  (*.f64 (sqrt.f64 z) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (*.f64 z (+.f64 x 5)))
  (sqrt.f64 (*.f64 z (+.f64 x 5)))
  (pow.f64 (*.f64 z (+.f64 x 5)) 3)
  (*.f64 (cbrt.f64 (*.f64 z (+.f64 x 5))) (cbrt.f64 (*.f64 z (+.f64 x 5))))
  (cbrt.f64 (*.f64 z (+.f64 x 5)))
  (pow.f64 (*.f64 z (+.f64 x 5)) 3)
  (exp.f64 (*.f64 z (+.f64 x 5)))
  (log.f64 (*.f64 z (+.f64 x 5)))
  (log.f64 (*.f64 z (+.f64 x 5)))
  (*.f64 z (+.f64 x 5))
  (*.f64 x (+.f64 z y))
  (*.f64 x (+.f64 z y))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z (+.f64 x 5)) (*.f64 z (+.f64 x 5))))
  (-.f64 (*.f64 x y) (*.f64 z (+.f64 x 5)))
  (+.f64 (pow.f64 (*.f64 z (+.f64 x 5)) 3) (pow.f64 (*.f64 x y) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 (+.f64 x 5) (-.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))))
  (sqrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (sqrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (pow.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))) (cbrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))))
  (cbrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (exp.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (log.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (exp.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (*.f64 z (+.f64 x 5))
  (*.f64 z (+.f64 x 5))
  (*.f64 z (+.f64 x 5))
  (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))
  (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))
  (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))
0.849 * * * [progress]: adding candidates to table
0.982 * * [progress]: iteration 3 / 4
0.982 * * * [progress]: picking best candidate
1.008 * * * * [pick]: Picked  #<alt (λ (x y z) (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))>
1.008 * * * [progress]: localizing error
1.022 * * * [progress]: generating rewritten candidates
1.022 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.041 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.045 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.051 * * * [progress]: generating series expansions
1.051 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.052 * [approximate]: Taking taylor expansion of (* z (+ x 5)) in (z x) around 0
1.052 * [taylor]: Taking taylor expansion of (* z (+ x 5)) in x
1.052 * [taylor]: Taking taylor expansion of z in x
1.052 * [taylor]: Taking taylor expansion of (+ x 5) in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of 5 in x
1.052 * [taylor]: Taking taylor expansion of (* z (+ x 5)) in z
1.052 * [taylor]: Taking taylor expansion of z in z
1.052 * [taylor]: Taking taylor expansion of (+ x 5) in z
1.052 * [taylor]: Taking taylor expansion of x in z
1.052 * [taylor]: Taking taylor expansion of 5 in z
1.052 * [taylor]: Taking taylor expansion of (* z (+ x 5)) in z
1.052 * [taylor]: Taking taylor expansion of z in z
1.052 * [taylor]: Taking taylor expansion of (+ x 5) in z
1.052 * [taylor]: Taking taylor expansion of x in z
1.052 * [taylor]: Taking taylor expansion of 5 in z
1.052 * [taylor]: Taking taylor expansion of 0 in x
1.053 * [taylor]: Taking taylor expansion of (+ x 5) in x
1.053 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of 5 in x
1.053 * [taylor]: Taking taylor expansion of 0 in x
1.054 * [taylor]: Taking taylor expansion of 0 in x
1.055 * [taylor]: Taking taylor expansion of 0 in x
1.056 * [approximate]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in (z x) around 0
1.056 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in x
1.056 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
1.056 * [taylor]: Taking taylor expansion of 5 in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.056 * [taylor]: Taking taylor expansion of z in x
1.056 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in z
1.056 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in z
1.056 * [taylor]: Taking taylor expansion of 5 in z
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.056 * [taylor]: Taking taylor expansion of x in z
1.056 * [taylor]: Taking taylor expansion of z in z
1.057 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 x)) z) in z
1.057 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in z
1.057 * [taylor]: Taking taylor expansion of 5 in z
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.057 * [taylor]: Taking taylor expansion of x in z
1.057 * [taylor]: Taking taylor expansion of z in z
1.057 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of 5 in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.060 * [taylor]: Taking taylor expansion of 0 in x
1.061 * [taylor]: Taking taylor expansion of 0 in x
1.063 * [taylor]: Taking taylor expansion of 0 in x
1.065 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in (z x) around 0
1.065 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in x
1.065 * [taylor]: Taking taylor expansion of -1 in x
1.065 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 x)) z) in x
1.065 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
1.065 * [taylor]: Taking taylor expansion of 5 in x
1.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of z in x
1.066 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in z
1.066 * [taylor]: Taking taylor expansion of -1 in z
1.066 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 x)) z) in z
1.066 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in z
1.066 * [taylor]: Taking taylor expansion of 5 in z
1.066 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.066 * [taylor]: Taking taylor expansion of x in z
1.066 * [taylor]: Taking taylor expansion of z in z
1.067 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 x)) z)) in z
1.067 * [taylor]: Taking taylor expansion of -1 in z
1.067 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 x)) z) in z
1.067 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in z
1.067 * [taylor]: Taking taylor expansion of 5 in z
1.067 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.067 * [taylor]: Taking taylor expansion of x in z
1.067 * [taylor]: Taking taylor expansion of z in z
1.068 * [taylor]: Taking taylor expansion of (* -1 (- 5 (/ 1 x))) in x
1.068 * [taylor]: Taking taylor expansion of -1 in x
1.068 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
1.068 * [taylor]: Taking taylor expansion of 5 in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.068 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of 0 in x
1.071 * [taylor]: Taking taylor expansion of 0 in x
1.074 * [taylor]: Taking taylor expansion of 0 in x
1.082 * [taylor]: Taking taylor expansion of 0 in x
1.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.083 * [approximate]: Taking taylor expansion of (* z (sqrt (+ x 5))) in (z x) around 0
1.083 * [taylor]: Taking taylor expansion of (* z (sqrt (+ x 5))) in x
1.083 * [taylor]: Taking taylor expansion of z in x
1.083 * [taylor]: Taking taylor expansion of (sqrt (+ x 5)) in x
1.083 * [taylor]: Taking taylor expansion of (+ x 5) in x
1.083 * [taylor]: Taking taylor expansion of x in x
1.083 * [taylor]: Taking taylor expansion of 5 in x
1.084 * [taylor]: Taking taylor expansion of (* z (sqrt (+ x 5))) in z
1.084 * [taylor]: Taking taylor expansion of z in z
1.084 * [taylor]: Taking taylor expansion of (sqrt (+ x 5)) in z
1.084 * [taylor]: Taking taylor expansion of (+ x 5) in z
1.084 * [taylor]: Taking taylor expansion of x in z
1.084 * [taylor]: Taking taylor expansion of 5 in z
1.084 * [taylor]: Taking taylor expansion of (* z (sqrt (+ x 5))) in z
1.084 * [taylor]: Taking taylor expansion of z in z
1.084 * [taylor]: Taking taylor expansion of (sqrt (+ x 5)) in z
1.084 * [taylor]: Taking taylor expansion of (+ x 5) in z
1.084 * [taylor]: Taking taylor expansion of x in z
1.084 * [taylor]: Taking taylor expansion of 5 in z
1.085 * [taylor]: Taking taylor expansion of 0 in x
1.085 * [taylor]: Taking taylor expansion of (sqrt (+ x 5)) in x
1.085 * [taylor]: Taking taylor expansion of (+ x 5) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of 5 in x
1.086 * [taylor]: Taking taylor expansion of 0 in x
1.089 * [taylor]: Taking taylor expansion of 0 in x
1.092 * [approximate]: Taking taylor expansion of (* (sqrt (+ 5 (/ 1 x))) (/ 1 z)) in (z x) around 0
1.092 * [taylor]: Taking taylor expansion of (* (sqrt (+ 5 (/ 1 x))) (/ 1 z)) in x
1.092 * [taylor]: Taking taylor expansion of (sqrt (+ 5 (/ 1 x))) in x
1.092 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
1.092 * [taylor]: Taking taylor expansion of 5 in x
1.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.093 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.093 * [taylor]: Taking taylor expansion of z in x
1.093 * [taylor]: Taking taylor expansion of (* (sqrt (+ 5 (/ 1 x))) (/ 1 z)) in z
1.093 * [taylor]: Taking taylor expansion of (sqrt (+ 5 (/ 1 x))) in z
1.093 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in z
1.093 * [taylor]: Taking taylor expansion of 5 in z
1.093 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.093 * [taylor]: Taking taylor expansion of x in z
1.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.094 * [taylor]: Taking taylor expansion of z in z
1.094 * [taylor]: Taking taylor expansion of (* (sqrt (+ 5 (/ 1 x))) (/ 1 z)) in z
1.094 * [taylor]: Taking taylor expansion of (sqrt (+ 5 (/ 1 x))) in z
1.094 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in z
1.094 * [taylor]: Taking taylor expansion of 5 in z
1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.094 * [taylor]: Taking taylor expansion of x in z
1.095 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.095 * [taylor]: Taking taylor expansion of z in z
1.096 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 5)) in x
1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5) in x
1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.096 * [taylor]: Taking taylor expansion of x in x
1.096 * [taylor]: Taking taylor expansion of 5 in x
1.097 * [taylor]: Taking taylor expansion of 0 in x
1.098 * [taylor]: Taking taylor expansion of 0 in x
1.102 * [taylor]: Taking taylor expansion of 0 in x
1.107 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 z) (sqrt (- 5 (/ 1 x))))) in (z x) around 0
1.107 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 z) (sqrt (- 5 (/ 1 x))))) in x
1.107 * [taylor]: Taking taylor expansion of -1 in x
1.107 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- 5 (/ 1 x)))) in x
1.107 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.107 * [taylor]: Taking taylor expansion of z in x
1.108 * [taylor]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in x
1.108 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
1.108 * [taylor]: Taking taylor expansion of 5 in x
1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.108 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 z) (sqrt (- 5 (/ 1 x))))) in z
1.108 * [taylor]: Taking taylor expansion of -1 in z
1.108 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- 5 (/ 1 x)))) in z
1.108 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.108 * [taylor]: Taking taylor expansion of z in z
1.108 * [taylor]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in z
1.108 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in z
1.108 * [taylor]: Taking taylor expansion of 5 in z
1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.108 * [taylor]: Taking taylor expansion of x in z
1.110 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 z) (sqrt (- 5 (/ 1 x))))) in z
1.110 * [taylor]: Taking taylor expansion of -1 in z
1.110 * [taylor]: Taking taylor expansion of (* (/ 1 z) (sqrt (- 5 (/ 1 x)))) in z
1.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.110 * [taylor]: Taking taylor expansion of z in z
1.110 * [taylor]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in z
1.110 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in z
1.110 * [taylor]: Taking taylor expansion of 5 in z
1.110 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.110 * [taylor]: Taking taylor expansion of x in z
1.112 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- 5 (/ 1 x)))) in x
1.112 * [taylor]: Taking taylor expansion of -1 in x
1.112 * [taylor]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in x
1.112 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
1.112 * [taylor]: Taking taylor expansion of 5 in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.114 * [taylor]: Taking taylor expansion of 0 in x
1.116 * [taylor]: Taking taylor expansion of 0 in x
1.121 * [taylor]: Taking taylor expansion of 0 in x
1.126 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.127 * [approximate]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in (y x z) around 0
1.127 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in z
1.127 * [taylor]: Taking taylor expansion of (* x z) in z
1.127 * [taylor]: Taking taylor expansion of x in z
1.127 * [taylor]: Taking taylor expansion of z in z
1.127 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in z
1.127 * [taylor]: Taking taylor expansion of (* 5 z) in z
1.127 * [taylor]: Taking taylor expansion of 5 in z
1.127 * [taylor]: Taking taylor expansion of z in z
1.127 * [taylor]: Taking taylor expansion of (* x y) in z
1.127 * [taylor]: Taking taylor expansion of x in z
1.127 * [taylor]: Taking taylor expansion of y in z
1.127 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in x
1.127 * [taylor]: Taking taylor expansion of (* x z) in x
1.127 * [taylor]: Taking taylor expansion of x in x
1.127 * [taylor]: Taking taylor expansion of z in x
1.127 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in x
1.127 * [taylor]: Taking taylor expansion of (* 5 z) in x
1.127 * [taylor]: Taking taylor expansion of 5 in x
1.127 * [taylor]: Taking taylor expansion of z in x
1.127 * [taylor]: Taking taylor expansion of (* x y) in x
1.127 * [taylor]: Taking taylor expansion of x in x
1.127 * [taylor]: Taking taylor expansion of y in x
1.127 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in y
1.127 * [taylor]: Taking taylor expansion of (* x z) in y
1.127 * [taylor]: Taking taylor expansion of x in y
1.127 * [taylor]: Taking taylor expansion of z in y
1.127 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in y
1.127 * [taylor]: Taking taylor expansion of (* 5 z) in y
1.127 * [taylor]: Taking taylor expansion of 5 in y
1.127 * [taylor]: Taking taylor expansion of z in y
1.127 * [taylor]: Taking taylor expansion of (* x y) in y
1.127 * [taylor]: Taking taylor expansion of x in y
1.127 * [taylor]: Taking taylor expansion of y in y
1.127 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* 5 z) (* x y))) in y
1.127 * [taylor]: Taking taylor expansion of (* x z) in y
1.127 * [taylor]: Taking taylor expansion of x in y
1.127 * [taylor]: Taking taylor expansion of z in y
1.127 * [taylor]: Taking taylor expansion of (+ (* 5 z) (* x y)) in y
1.127 * [taylor]: Taking taylor expansion of (* 5 z) in y
1.127 * [taylor]: Taking taylor expansion of 5 in y
1.127 * [taylor]: Taking taylor expansion of z in y
1.127 * [taylor]: Taking taylor expansion of (* x y) in y
1.127 * [taylor]: Taking taylor expansion of x in y
1.127 * [taylor]: Taking taylor expansion of y in y
1.128 * [taylor]: Taking taylor expansion of (+ (* x z) (* 5 z)) in x
1.128 * [taylor]: Taking taylor expansion of (* x z) in x
1.128 * [taylor]: Taking taylor expansion of x in x
1.128 * [taylor]: Taking taylor expansion of z in x
1.128 * [taylor]: Taking taylor expansion of (* 5 z) in x
1.128 * [taylor]: Taking taylor expansion of 5 in x
1.128 * [taylor]: Taking taylor expansion of z in x
1.128 * [taylor]: Taking taylor expansion of (* 5 z) in z
1.128 * [taylor]: Taking taylor expansion of 5 in z
1.128 * [taylor]: Taking taylor expansion of z in z
1.129 * [taylor]: Taking taylor expansion of x in x
1.129 * [taylor]: Taking taylor expansion of 0 in z
1.129 * [taylor]: Taking taylor expansion of z in z
1.130 * [taylor]: Taking taylor expansion of 0 in x
1.130 * [taylor]: Taking taylor expansion of 0 in z
1.130 * [taylor]: Taking taylor expansion of 1 in z
1.131 * [taylor]: Taking taylor expansion of 0 in z
1.132 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in (y x z) around 0
1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in z
1.133 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.133 * [taylor]: Taking taylor expansion of (* x z) in z
1.133 * [taylor]: Taking taylor expansion of x in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in z
1.133 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
1.133 * [taylor]: Taking taylor expansion of 5 in z
1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.133 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.133 * [taylor]: Taking taylor expansion of (* x y) in z
1.133 * [taylor]: Taking taylor expansion of x in z
1.133 * [taylor]: Taking taylor expansion of y in z
1.133 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in x
1.133 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.133 * [taylor]: Taking taylor expansion of (* x z) in x
1.133 * [taylor]: Taking taylor expansion of x in x
1.133 * [taylor]: Taking taylor expansion of z in x
1.134 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in x
1.134 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
1.134 * [taylor]: Taking taylor expansion of 5 in x
1.134 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.134 * [taylor]: Taking taylor expansion of z in x
1.134 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.134 * [taylor]: Taking taylor expansion of (* x y) in x
1.134 * [taylor]: Taking taylor expansion of x in x
1.134 * [taylor]: Taking taylor expansion of y in x
1.134 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in y
1.134 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.134 * [taylor]: Taking taylor expansion of (* x z) in y
1.134 * [taylor]: Taking taylor expansion of x in y
1.134 * [taylor]: Taking taylor expansion of z in y
1.134 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in y
1.134 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
1.134 * [taylor]: Taking taylor expansion of 5 in y
1.134 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.135 * [taylor]: Taking taylor expansion of z in y
1.135 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.135 * [taylor]: Taking taylor expansion of (* x y) in y
1.135 * [taylor]: Taking taylor expansion of x in y
1.135 * [taylor]: Taking taylor expansion of y in y
1.135 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5 (/ 1 z)) (/ 1 (* x y)))) in y
1.135 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.135 * [taylor]: Taking taylor expansion of (* x z) in y
1.135 * [taylor]: Taking taylor expansion of x in y
1.135 * [taylor]: Taking taylor expansion of z in y
1.135 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 z)) (/ 1 (* x y))) in y
1.135 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
1.135 * [taylor]: Taking taylor expansion of 5 in y
1.135 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.135 * [taylor]: Taking taylor expansion of z in y
1.135 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.135 * [taylor]: Taking taylor expansion of (* x y) in y
1.135 * [taylor]: Taking taylor expansion of x in y
1.135 * [taylor]: Taking taylor expansion of y in y
1.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.136 * [taylor]: Taking taylor expansion of x in x
1.136 * [taylor]: Taking taylor expansion of 1 in z
1.137 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 5 (/ 1 z))) in x
1.137 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.137 * [taylor]: Taking taylor expansion of (* x z) in x
1.137 * [taylor]: Taking taylor expansion of x in x
1.137 * [taylor]: Taking taylor expansion of z in x
1.137 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
1.137 * [taylor]: Taking taylor expansion of 5 in x
1.137 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.137 * [taylor]: Taking taylor expansion of z in x
1.138 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.138 * [taylor]: Taking taylor expansion of z in z
1.138 * [taylor]: Taking taylor expansion of 0 in z
1.140 * [taylor]: Taking taylor expansion of 0 in x
1.140 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
1.140 * [taylor]: Taking taylor expansion of 5 in z
1.140 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.140 * [taylor]: Taking taylor expansion of z in z
1.143 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in (y x z) around 0
1.143 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in z
1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
1.143 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.143 * [taylor]: Taking taylor expansion of (* x z) in z
1.143 * [taylor]: Taking taylor expansion of x in z
1.143 * [taylor]: Taking taylor expansion of z in z
1.143 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.143 * [taylor]: Taking taylor expansion of (* x y) in z
1.143 * [taylor]: Taking taylor expansion of x in z
1.143 * [taylor]: Taking taylor expansion of y in z
1.143 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
1.143 * [taylor]: Taking taylor expansion of 5 in z
1.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.143 * [taylor]: Taking taylor expansion of z in z
1.144 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in x
1.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
1.144 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.144 * [taylor]: Taking taylor expansion of (* x z) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of z in x
1.144 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.144 * [taylor]: Taking taylor expansion of (* x y) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of y in x
1.144 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
1.144 * [taylor]: Taking taylor expansion of 5 in x
1.144 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.144 * [taylor]: Taking taylor expansion of z in x
1.144 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in y
1.144 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.144 * [taylor]: Taking taylor expansion of (* x z) in y
1.144 * [taylor]: Taking taylor expansion of x in y
1.144 * [taylor]: Taking taylor expansion of z in y
1.145 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.145 * [taylor]: Taking taylor expansion of (* x y) in y
1.145 * [taylor]: Taking taylor expansion of x in y
1.145 * [taylor]: Taking taylor expansion of y in y
1.145 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
1.145 * [taylor]: Taking taylor expansion of 5 in y
1.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.145 * [taylor]: Taking taylor expansion of z in y
1.145 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5 (/ 1 z))) in y
1.145 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
1.145 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.145 * [taylor]: Taking taylor expansion of (* x z) in y
1.145 * [taylor]: Taking taylor expansion of x in y
1.145 * [taylor]: Taking taylor expansion of z in y
1.145 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.145 * [taylor]: Taking taylor expansion of (* x y) in y
1.145 * [taylor]: Taking taylor expansion of x in y
1.145 * [taylor]: Taking taylor expansion of y in y
1.146 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in y
1.146 * [taylor]: Taking taylor expansion of 5 in y
1.146 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.146 * [taylor]: Taking taylor expansion of z in y
1.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of 1 in z
1.147 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (* 5 (/ 1 z))) in x
1.147 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.147 * [taylor]: Taking taylor expansion of (* x z) in x
1.147 * [taylor]: Taking taylor expansion of x in x
1.147 * [taylor]: Taking taylor expansion of z in x
1.148 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in x
1.148 * [taylor]: Taking taylor expansion of 5 in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.148 * [taylor]: Taking taylor expansion of z in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.148 * [taylor]: Taking taylor expansion of z in z
1.148 * [taylor]: Taking taylor expansion of 0 in z
1.150 * [taylor]: Taking taylor expansion of 0 in x
1.151 * [taylor]: Taking taylor expansion of (neg (* 5 (/ 1 z))) in z
1.151 * [taylor]: Taking taylor expansion of (* 5 (/ 1 z)) in z
1.151 * [taylor]: Taking taylor expansion of 5 in z
1.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.151 * [taylor]: Taking taylor expansion of z in z
1.153 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.153 * [approximate]: Taking taylor expansion of (sqrt (+ x 5)) in (x) around 0
1.153 * [taylor]: Taking taylor expansion of (sqrt (+ x 5)) in x
1.153 * [taylor]: Taking taylor expansion of (+ x 5) in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of 5 in x
1.153 * [taylor]: Taking taylor expansion of (sqrt (+ x 5)) in x
1.153 * [taylor]: Taking taylor expansion of (+ x 5) in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of 5 in x
1.156 * [approximate]: Taking taylor expansion of (sqrt (+ 5 (/ 1 x))) in (x) around 0
1.156 * [taylor]: Taking taylor expansion of (sqrt (+ 5 (/ 1 x))) in x
1.156 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
1.156 * [taylor]: Taking taylor expansion of 5 in x
1.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.156 * [taylor]: Taking taylor expansion of x in x
1.157 * [taylor]: Taking taylor expansion of (sqrt (+ 5 (/ 1 x))) in x
1.157 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 x)) in x
1.157 * [taylor]: Taking taylor expansion of 5 in x
1.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.157 * [taylor]: Taking taylor expansion of x in x
1.161 * [approximate]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in (x) around 0
1.161 * [taylor]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in x
1.161 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
1.161 * [taylor]: Taking taylor expansion of 5 in x
1.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.161 * [taylor]: Taking taylor expansion of x in x
1.162 * [taylor]: Taking taylor expansion of (sqrt (- 5 (/ 1 x))) in x
1.162 * [taylor]: Taking taylor expansion of (- 5 (/ 1 x)) in x
1.162 * [taylor]: Taking taylor expansion of 5 in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.166 * * * [progress]: simplifying candidates
1.168 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5)))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3)))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3))))
  (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) 1)
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 1))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 1))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 5)) (cbrt.f64 (+.f64 x 5)))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 5))) (cbrt.f64 (sqrt.f64 (+.f64 x 5)))))
  (*.f64 (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5))))
  (*.f64 (sqrt.f64 (-.f64 x 5)) (sqrt.f64 (-.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5)))) (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3))))
  (*.f64 (sqrt.f64 (-.f64 x 5)) (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 5 5) (*.f64 x 5)))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 5 5) (*.f64 x 5)))) (sqrt.f64 (-.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3)))) (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 5 5) (*.f64 x 5)))) (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 5 5) (*.f64 x 5)))))
  (sqrt.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (sqrt.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))) (cbrt.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (cbrt.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (*.f64 z (sqrt.f64 (+.f64 x 5)))) (*.f64 z (sqrt.f64 (+.f64 x 5)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))) (*.f64 (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (exp.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (log.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (+.f64 (log.f64 (*.f64 z (sqrt.f64 (+.f64 x 5)))) (log.f64 (sqrt.f64 (+.f64 x 5))))
  (+.f64 (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x 5)))) (log.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5))))
  (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3))))
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (cbrt.f64 z) (sqrt.f64 (+.f64 x 5)))
  (*.f64 z 1)
  (*.f64 z (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 z (sqrt.f64 1))
  (*.f64 z (sqrt.f64 1))
  (*.f64 z (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 z (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 5)) (cbrt.f64 (+.f64 x 5)))))
  (*.f64 z (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 5))) (cbrt.f64 (sqrt.f64 (+.f64 x 5)))))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (sqrt.f64 z) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (sqrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (sqrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (*.f64 z (sqrt.f64 (+.f64 x 5)))) (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (*.f64 (cbrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5)))) (cbrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5)))))
  (cbrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (exp.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (log.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (+.f64 (log.f64 z) (log.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (-.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (*.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (-.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
  (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))) 3))
  (+.f64 (*.f64 (*.f64 y x) (*.f64 y x)) (-.f64 (*.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))) (*.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))))
  (sqrt.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (sqrt.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (*.f64 (*.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))) (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))) (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))) (cbrt.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))))
  (cbrt.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (exp.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (log.f64 (+.f64 (*.f64 y x) (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (*.f64 (exp.f64 (*.f64 y x)) (exp.f64 (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (/.f64 1 2)
  (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 5 5)))
  (sqrt.f64 (-.f64 x 5))
  (sqrt.f64 (+.f64 (pow.f64 x 3) (pow.f64 5 3)))
  (sqrt.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 5 5) (*.f64 x 5))))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 x 5))
  (sqrt.f64 1)
  (sqrt.f64 (+.f64 x 5))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 x 5)) (cbrt.f64 (+.f64 x 5))))
  (sqrt.f64 (cbrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 5))) (cbrt.f64 (sqrt.f64 (+.f64 x 5))))
  (cbrt.f64 (sqrt.f64 (+.f64 x 5)))
  (exp.f64 (sqrt.f64 (+.f64 x 5)))
  (log.f64 (sqrt.f64 (+.f64 x 5)))
  (+.f64 (*.f64 x z) (*.f64 5 z))
  (+.f64 (*.f64 x z) (*.f64 5 z))
  (+.f64 (*.f64 x z) (*.f64 5 z))
  (-.f64 (+.f64 (*.f64 z (sqrt.f64 5)) (*.f64 1/2 (/.f64 (*.f64 x z) (sqrt.f64 5)))) (*.f64 1/8 (/.f64 (*.f64 (pow.f64 x 2) z) (pow.f64 (sqrt.f64 5) 3))))
  (-.f64 (+.f64 (*.f64 5 (/.f64 (*.f64 NAN.f64 z) x)) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 NAN.f64 5) z) (pow.f64 x 2))) (*.f64 NAN.f64 z))) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) x) (*.f64 10 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) (pow.f64 x 2)))))
  (-.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 NAN.f64 5) z) (pow.f64 x 2))) (+.f64 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) x) (*.f64 NAN.f64 z))) (+.f64 (*.f64 5 (/.f64 (*.f64 NAN.f64 z) x)) (*.f64 10 (/.f64 (*.f64 (pow.f64 NAN.f64 3) z) (pow.f64 x 2)))))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (+.f64 (*.f64 x z) (+.f64 (*.f64 5 z) (*.f64 x y)))
  (-.f64 (+.f64 (*.f64 1/2 (/.f64 x (sqrt.f64 5))) (sqrt.f64 5)) (*.f64 1/8 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 5) 3))))
  (-.f64 (+.f64 (*.f64 5 (/.f64 NAN.f64 x)) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 2))))) (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (*.f64 10 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 2)))))
  (-.f64 (+.f64 (/.f64 (pow.f64 NAN.f64 3) x) (+.f64 NAN.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) (pow.f64 x 2))))) (+.f64 (*.f64 5 (/.f64 NAN.f64 x)) (*.f64 10 (/.f64 (pow.f64 NAN.f64 3) (pow.f64 x 2)))))
1.229 * * [simplify]: iteration  0 :  5285  enodes  (cost  1464 )
1.237 * [simplify]: Simplified to:
   (*.f64 (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) 25))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (sqrt.f64 (+.f64 x 5)) (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) 125))))
  (*.f64 (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) 25))) (sqrt.f64 (+.f64 x 5)))
  (*.f64 (sqrt.f64 (+.f64 x 5)) (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) 125))))
  (+.f64 x 5)
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (fabs.f64 (cbrt.f64 (+.f64 x 5))))
  (*.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 5))) (cbrt.f64 (sqrt.f64 (+.f64 x 5)))))
  (*.f64 z (-.f64 (*.f64 x x) 25))
  (-.f64 x 5)
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x x) 25)) (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) 125))))
  (*.f64 (sqrt.f64 (-.f64 x 5)) (sqrt.f64 (+.f64 25 (*.f64 x (-.f64 x 5)))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 x x) 25)) (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) 125))))
  (*.f64 (sqrt.f64 (-.f64 x 5)) (sqrt.f64 (+.f64 25 (*.f64 x (-.f64 x 5)))))
  (*.f64 z (+.f64 (pow.f64 x 3) 125))
  (+.f64 25 (*.f64 x (-.f64 x 5)))
  (sqrt.f64 (*.f64 z (+.f64 x 5)))
  (sqrt.f64 (*.f64 z (+.f64 x 5)))
  (pow.f64 (*.f64 z (+.f64 x 5)) 3)
  (*.f64 (cbrt.f64 (*.f64 z (+.f64 x 5))) (cbrt.f64 (*.f64 z (+.f64 x 5))))
  (cbrt.f64 (*.f64 z (+.f64 x 5)))
  (pow.f64 (*.f64 z (+.f64 x 5)) 3)
  (pow.f64 (*.f64 z (+.f64 x 5)) 3)
  (exp.f64 (*.f64 z (+.f64 x 5)))
  (log.f64 (*.f64 z (+.f64 x 5)))
  (log.f64 (*.f64 z (+.f64 x 5)))
  (log.f64 (*.f64 z (+.f64 x 5)))
  (*.f64 z (+.f64 x 5))
  (*.f64 z (+.f64 x 5))
  (*.f64 z (sqrt.f64 (-.f64 (*.f64 x x) 25)))
  (*.f64 z (sqrt.f64 (+.f64 (pow.f64 x 3) 125)))
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (*.f64 (sqrt.f64 (+.f64 x 5)) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (+.f64 x 5)) (cbrt.f64 z))
  z
  (*.f64 z (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  z
  z
  (*.f64 z (sqrt.f64 (sqrt.f64 (+.f64 x 5))))
  (*.f64 z (fabs.f64 (cbrt.f64 (+.f64 x 5))))
  (*.f64 z (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 5))) (cbrt.f64 (sqrt.f64 (+.f64 x 5)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 5))) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 5))) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 5))) (sqrt.f64 z))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 x 5))) (sqrt.f64 z))
  (sqrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (sqrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (pow.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) 3)
  (*.f64 (cbrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5)))) (cbrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5)))))
  (cbrt.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (pow.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) 3)
  (exp.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (log.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (log.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))))
  (*.f64 z (sqrt.f64 (+.f64 x 5)))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 z (+.f64 x 5)) (*.f64 z (+.f64 x 5))))
  (-.f64 (*.f64 x y) (*.f64 z (+.f64 x 5)))
  (+.f64 (pow.f64 (*.f64 z (+.f64 x 5)) 3) (pow.f64 (*.f64 x y) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z (*.f64 (+.f64 x 5) (-.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))))
  (sqrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (sqrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (pow.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))) (cbrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))))
  (cbrt.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (exp.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (log.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (exp.f64 (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y)))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  1/2
  (sqrt.f64 (-.f64 (*.f64 x x) 25))
  (sqrt.f64 (-.f64 x 5))
  (sqrt.f64 (+.f64 (pow.f64 x 3) 125))
  (sqrt.f64 (+.f64 25 (*.f64 x (-.f64 x 5))))
  1
  (sqrt.f64 (+.f64 x 5))
  1
  (sqrt.f64 (+.f64 x 5))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (sqrt.f64 (sqrt.f64 (+.f64 x 5)))
  (fabs.f64 (cbrt.f64 (+.f64 x 5)))
  (sqrt.f64 (cbrt.f64 (+.f64 x 5)))
  (pow.f64 (sqrt.f64 (+.f64 x 5)) 3)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 5))) (cbrt.f64 (sqrt.f64 (+.f64 x 5))))
  (cbrt.f64 (sqrt.f64 (+.f64 x 5)))
  (exp.f64 (sqrt.f64 (+.f64 x 5)))
  (log.f64 (sqrt.f64 (+.f64 x 5)))
  (*.f64 z (+.f64 x 5))
  (*.f64 z (+.f64 x 5))
  (*.f64 z (+.f64 x 5))
  (-.f64 (+.f64 (*.f64 z (sqrt.f64 5)) (*.f64 1/2 (/.f64 (*.f64 z x) (sqrt.f64 5)))) (*.f64 (/.f64 x (/.f64 (sqrt.f64 5) (*.f64 z x))) 1/40))
  (-.f64 (+.f64 (*.f64 5 (/.f64 (*.f64 z (NAN.f64)) x)) (+.f64 (*.f64 z (NAN.f64)) (*.f64 2 (/.f64 (*.f64 z (pow.f64 (NAN.f64) 5)) (*.f64 x x))))) (*.f64 (+.f64 (/.f64 10 x) 1) (/.f64 (*.f64 z (pow.f64 (NAN.f64) 3)) x)))
  (+.f64 (*.f64 z (+.f64 (NAN.f64) (/.f64 (pow.f64 (NAN.f64) 3) x))) (-.f64 (*.f64 2 (/.f64 (*.f64 z (pow.f64 (NAN.f64) 5)) (*.f64 x x))) (+.f64 (*.f64 5 (/.f64 (*.f64 z (NAN.f64)) x)) (*.f64 10 (/.f64 (*.f64 z (pow.f64 (NAN.f64) 3)) (*.f64 x x))))))
  (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))
  (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))
  (+.f64 (*.f64 z (+.f64 x 5)) (*.f64 x y))
  (-.f64 (+.f64 (sqrt.f64 5) (*.f64 1/2 (/.f64 x (sqrt.f64 5)))) (*.f64 (/.f64 x (/.f64 (sqrt.f64 5) x)) 1/40))
  (-.f64 (+.f64 (*.f64 5 (/.f64 (NAN.f64) x)) (+.f64 (NAN.f64) (*.f64 2 (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 x x))))) (*.f64 (+.f64 (/.f64 10 x) 1) (/.f64 (pow.f64 (NAN.f64) 3) x)))
  (-.f64 (+.f64 (+.f64 (NAN.f64) (*.f64 2 (/.f64 (pow.f64 (NAN.f64) 5) (*.f64 x x)))) (/.f64 (pow.f64 (NAN.f64) 3) x)) (+.f64 (*.f64 5 (/.f64 (NAN.f64) x)) (*.f64 10 (/.f64 (pow.f64 (NAN.f64) 3) (*.f64 x x)))))
1.238 * * * [progress]: adding candidates to table