1.413 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) 0.025 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.027 * * [simplify]: iteration 1 : 38 enodes (cost 18 ) 0.032 * * [simplify]: iteration 2 : 72 enodes (cost 18 ) 0.042 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 0.067 * * [simplify]: iteration 4 : 275 enodes (cost 17 ) 0.119 * * [simplify]: iteration 5 : 458 enodes (cost 17 ) 0.205 * * [simplify]: iteration 6 : 672 enodes (cost 17 ) 0.318 * * [simplify]: iteration 7 : 802 enodes (cost 17 ) 0.464 * * [simplify]: iteration 8 : 985 enodes (cost 17 ) 0.676 * * [simplify]: iteration 9 : 1118 enodes (cost 17 ) 0.921 * * [simplify]: iteration 10 : 1178 enodes (cost 17 ) 1.166 * * [simplify]: iteration 11 : 1179 enodes (cost 17 ) 1.408 * * [simplify]: iteration done : 1179 enodes (cost 17 ) 1.408 * [simplify]: Simplified to: (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) 1.412 * * [progress]: iteration 1 / 4 1.412 * * * [progress]: picking best candidate 1.417 * * * * [pick]: Picked # 1.417 * * * [progress]: localizing error 1.431 * * * [progress]: generating rewritten candidates 1.432 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.432 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.434 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.436 * * * [progress]: generating series expansions 1.436 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.436 * [approximate]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in (y z x) around 0 1.436 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in x 1.436 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.436 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in x 1.436 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in x 1.436 * [taylor]: Taking taylor expansion of y in x 1.436 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in x 1.436 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.436 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in x 1.436 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in x 1.436 * [taylor]: Taking taylor expansion of z in x 1.436 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 1.436 * [taylor]: Taking taylor expansion of z in x 1.436 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 1.437 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in x 1.437 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.437 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in x 1.437 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in x 1.437 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.437 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in x 1.437 * [taylor]: Taking taylor expansion of z in x 1.437 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.437 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 1.437 * [taylor]: Taking taylor expansion of z in x 1.437 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 1.437 * [taylor]: Taking taylor expansion of x in x 1.437 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in z 1.437 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.437 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in z 1.437 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 1.437 * [taylor]: Taking taylor expansion of y in z 1.437 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.437 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.437 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.437 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.437 * [taylor]: Taking taylor expansion of z in z 1.437 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.437 * [taylor]: Taking taylor expansion of z in z 1.437 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.439 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 1.439 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.439 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 1.439 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 1.439 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.439 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 1.439 * [taylor]: Taking taylor expansion of z in z 1.439 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.439 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.439 * [taylor]: Taking taylor expansion of z in z 1.439 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.439 * [taylor]: Taking taylor expansion of x in z 1.439 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in y 1.439 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.439 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in y 1.439 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.439 * [taylor]: Taking taylor expansion of y in y 1.439 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.439 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.439 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.439 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.439 * [taylor]: Taking taylor expansion of z in y 1.439 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.439 * [taylor]: Taking taylor expansion of z in y 1.439 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.440 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 1.440 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.440 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 1.440 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 1.440 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.440 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 1.440 * [taylor]: Taking taylor expansion of z in y 1.440 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.440 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.440 * [taylor]: Taking taylor expansion of z in y 1.440 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.440 * [taylor]: Taking taylor expansion of x in y 1.440 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in y 1.440 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.440 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in y 1.440 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.440 * [taylor]: Taking taylor expansion of y in y 1.440 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.440 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.440 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.440 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.440 * [taylor]: Taking taylor expansion of z in y 1.440 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.440 * [taylor]: Taking taylor expansion of z in y 1.440 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.441 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 1.441 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.441 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 1.441 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 1.441 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.441 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 1.441 * [taylor]: Taking taylor expansion of z in y 1.441 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.441 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.441 * [taylor]: Taking taylor expansion of z in y 1.441 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.441 * [taylor]: Taking taylor expansion of x in y 1.441 * [taylor]: Taking taylor expansion of x in z 1.441 * [taylor]: Taking taylor expansion of x in x 1.442 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))))) in z 1.442 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 1.442 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.442 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.442 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.442 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.442 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.442 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.442 * [taylor]: Taking taylor expansion of z in z 1.442 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.443 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))))) in z 1.444 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 1.444 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.444 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.444 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.444 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.444 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.444 * [taylor]: Taking taylor expansion of z in z 1.444 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.444 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.444 * [taylor]: Taking taylor expansion of z in z 1.444 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.445 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 1.445 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.445 * [taylor]: Taking taylor expansion of (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.445 * [taylor]: Taking taylor expansion of z in z 1.445 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.445 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.445 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.445 * [taylor]: Taking taylor expansion of z in z 1.445 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.445 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.445 * [taylor]: Taking taylor expansion of z in z 1.445 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.447 * [taylor]: Taking taylor expansion of 0.08333333333333322 in x 1.447 * [taylor]: Taking taylor expansion of 0 in x 1.449 * [taylor]: Taking taylor expansion of 0 in z 1.449 * [taylor]: Taking taylor expansion of 0 in x 1.455 * [taylor]: Taking taylor expansion of (- 0.0027777777775171986) in x 1.455 * [taylor]: Taking taylor expansion of 0.0027777777775171986 in x 1.457 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in (y z x) around 0 1.457 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in x 1.457 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 1.457 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in x 1.457 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in x 1.457 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in x 1.457 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in x 1.457 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.457 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in x 1.457 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in x 1.457 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.457 * [taylor]: Taking taylor expansion of z in x 1.457 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 1.457 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.457 * [taylor]: Taking taylor expansion of z in x 1.457 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 1.458 * [taylor]: Taking taylor expansion of y in x 1.458 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in x 1.458 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.458 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in x 1.458 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in x 1.458 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.458 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in x 1.458 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.458 * [taylor]: Taking taylor expansion of z in x 1.458 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.458 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 1.458 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.458 * [taylor]: Taking taylor expansion of z in x 1.458 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 1.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.459 * [taylor]: Taking taylor expansion of x in x 1.459 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in z 1.459 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 1.459 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in z 1.459 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 1.459 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 1.459 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.459 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.459 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.459 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.459 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.459 * [taylor]: Taking taylor expansion of z in z 1.460 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.460 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.460 * [taylor]: Taking taylor expansion of z in z 1.460 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.460 * [taylor]: Taking taylor expansion of y in z 1.461 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 1.461 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.461 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 1.461 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 1.461 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.461 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 1.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.461 * [taylor]: Taking taylor expansion of z in z 1.461 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.461 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.461 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.461 * [taylor]: Taking taylor expansion of z in z 1.462 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.462 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.462 * [taylor]: Taking taylor expansion of x in z 1.462 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in y 1.462 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 1.462 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in y 1.462 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.462 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.462 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.462 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.462 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.462 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.462 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.462 * [taylor]: Taking taylor expansion of z in y 1.462 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.462 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.462 * [taylor]: Taking taylor expansion of z in y 1.462 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.462 * [taylor]: Taking taylor expansion of y in y 1.464 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 1.464 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.464 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 1.464 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 1.464 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.464 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 1.464 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.464 * [taylor]: Taking taylor expansion of z in y 1.464 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.465 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.465 * [taylor]: Taking taylor expansion of z in y 1.465 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.465 * [taylor]: Taking taylor expansion of x in y 1.465 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in y 1.465 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 1.465 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.465 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.465 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.465 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.465 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.465 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.465 * [taylor]: Taking taylor expansion of z in y 1.465 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.465 * [taylor]: Taking taylor expansion of z in y 1.465 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.465 * [taylor]: Taking taylor expansion of y in y 1.467 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 1.467 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.467 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 1.467 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 1.467 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.467 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 1.467 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.467 * [taylor]: Taking taylor expansion of z in y 1.467 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.467 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.467 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.467 * [taylor]: Taking taylor expansion of z in y 1.467 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.467 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.467 * [taylor]: Taking taylor expansion of x in y 1.468 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) (+ (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))))) in z 1.468 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.468 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.468 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.468 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.468 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.468 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.468 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.468 * [taylor]: Taking taylor expansion of z in z 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.469 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.469 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.469 * [taylor]: Taking taylor expansion of z in z 1.469 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.470 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))))) in z 1.470 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 1.470 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.470 * [taylor]: Taking taylor expansion of (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.470 * [taylor]: Taking taylor expansion of (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.470 * [taylor]: Taking taylor expansion of z in z 1.470 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.470 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.470 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.470 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.470 * [taylor]: Taking taylor expansion of z in z 1.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.470 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.470 * [taylor]: Taking taylor expansion of z in z 1.471 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.474 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 1.474 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.474 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.474 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.474 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.474 * [taylor]: Taking taylor expansion of z in z 1.474 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.474 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.474 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.474 * [taylor]: Taking taylor expansion of z in z 1.474 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.474 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.474 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.475 * [taylor]: Taking taylor expansion of z in z 1.475 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.477 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.480 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.480 * [taylor]: Taking taylor expansion of x in z 1.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.480 * [taylor]: Taking taylor expansion of x in x 1.487 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.492 * [taylor]: Taking taylor expansion of 0 in z 1.492 * [taylor]: Taking taylor expansion of 0 in x 1.492 * [taylor]: Taking taylor expansion of 0 in x 1.509 * [taylor]: Taking taylor expansion of (- 0.40462203869992125) in x 1.509 * [taylor]: Taking taylor expansion of 0.40462203869992125 in x 1.510 * [approximate]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in (y z x) around 0 1.511 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in x 1.511 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 1.511 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in x 1.511 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in x 1.511 * [taylor]: Taking taylor expansion of -1 in x 1.511 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in x 1.511 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in x 1.511 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.511 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in x 1.511 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in x 1.511 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 1.511 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.511 * [taylor]: Taking taylor expansion of z in x 1.511 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.511 * [taylor]: Taking taylor expansion of -1 in x 1.511 * [taylor]: Taking taylor expansion of z in x 1.511 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 1.511 * [taylor]: Taking taylor expansion of y in x 1.512 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in x 1.512 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.512 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in x 1.512 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in x 1.512 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.512 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in x 1.512 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.512 * [taylor]: Taking taylor expansion of -1 in x 1.512 * [taylor]: Taking taylor expansion of z in x 1.512 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.512 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 1.512 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.512 * [taylor]: Taking taylor expansion of -1 in x 1.512 * [taylor]: Taking taylor expansion of z in x 1.512 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 1.512 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.512 * [taylor]: Taking taylor expansion of -1 in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.513 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in z 1.513 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 1.513 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in z 1.513 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 1.513 * [taylor]: Taking taylor expansion of -1 in z 1.513 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 1.513 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.513 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.513 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.513 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.513 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.513 * [taylor]: Taking taylor expansion of z in z 1.514 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.514 * [taylor]: Taking taylor expansion of -1 in z 1.514 * [taylor]: Taking taylor expansion of z in z 1.514 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.514 * [taylor]: Taking taylor expansion of y in z 1.515 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 1.515 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.515 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 1.515 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 1.515 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.516 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 1.516 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.516 * [taylor]: Taking taylor expansion of -1 in z 1.516 * [taylor]: Taking taylor expansion of z in z 1.516 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.516 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.516 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.516 * [taylor]: Taking taylor expansion of -1 in z 1.516 * [taylor]: Taking taylor expansion of z in z 1.516 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.516 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.516 * [taylor]: Taking taylor expansion of -1 in z 1.516 * [taylor]: Taking taylor expansion of x in z 1.516 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in y 1.516 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 1.517 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in y 1.517 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.517 * [taylor]: Taking taylor expansion of -1 in y 1.517 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.517 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.517 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.517 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.517 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.517 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.517 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.517 * [taylor]: Taking taylor expansion of z in y 1.517 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.517 * [taylor]: Taking taylor expansion of -1 in y 1.517 * [taylor]: Taking taylor expansion of z in y 1.517 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.519 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 1.519 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.519 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 1.519 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 1.519 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.519 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 1.519 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.519 * [taylor]: Taking taylor expansion of -1 in y 1.519 * [taylor]: Taking taylor expansion of z in y 1.519 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.519 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.519 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.519 * [taylor]: Taking taylor expansion of -1 in y 1.519 * [taylor]: Taking taylor expansion of z in y 1.519 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.520 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.520 * [taylor]: Taking taylor expansion of -1 in y 1.520 * [taylor]: Taking taylor expansion of x in y 1.520 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in y 1.520 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 1.520 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in y 1.520 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.520 * [taylor]: Taking taylor expansion of -1 in y 1.520 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.520 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.520 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.520 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.520 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.520 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.520 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.520 * [taylor]: Taking taylor expansion of z in y 1.520 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.520 * [taylor]: Taking taylor expansion of -1 in y 1.520 * [taylor]: Taking taylor expansion of z in y 1.520 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.520 * [taylor]: Taking taylor expansion of y in y 1.525 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 1.525 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.525 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 1.525 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 1.525 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.525 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 1.525 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.525 * [taylor]: Taking taylor expansion of -1 in y 1.525 * [taylor]: Taking taylor expansion of z in y 1.525 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.525 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.525 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.525 * [taylor]: Taking taylor expansion of -1 in y 1.525 * [taylor]: Taking taylor expansion of z in y 1.525 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.525 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.525 * [taylor]: Taking taylor expansion of -1 in y 1.525 * [taylor]: Taking taylor expansion of x in y 1.526 * [taylor]: Taking taylor expansion of (- (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) (+ (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))))) in z 1.526 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 1.526 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.526 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.527 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.527 * [taylor]: Taking taylor expansion of z in z 1.527 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.527 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.527 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.527 * [taylor]: Taking taylor expansion of z in z 1.527 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.527 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.527 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.527 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.527 * [taylor]: Taking taylor expansion of z in z 1.531 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))))) in z 1.531 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.531 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.531 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.531 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.531 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.531 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.531 * [taylor]: Taking taylor expansion of z in z 1.532 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.532 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.532 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.532 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.533 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 1.533 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.533 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.533 * [taylor]: Taking taylor expansion of (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.533 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.533 * [taylor]: Taking taylor expansion of z in z 1.533 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.533 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.533 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.533 * [taylor]: Taking taylor expansion of z in z 1.534 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.534 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.534 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.534 * [taylor]: Taking taylor expansion of z in z 1.536 * [taylor]: Taking taylor expansion of (- 0.0692910599291889) in x 1.536 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.540 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.540 * [taylor]: Taking taylor expansion of x in z 1.540 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.549 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.554 * [taylor]: Taking taylor expansion of 0 in z 1.554 * [taylor]: Taking taylor expansion of 0 in x 1.555 * [taylor]: Taking taylor expansion of 0 in x 1.572 * [taylor]: Taking taylor expansion of 0.4046220386999213 in x 1.574 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.574 * [approximate]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in (y z) around 0 1.574 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 1.574 * [taylor]: Taking taylor expansion of y in z 1.574 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.574 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.574 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.574 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.574 * [taylor]: Taking taylor expansion of z in z 1.574 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.574 * [taylor]: Taking taylor expansion of z in z 1.574 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.575 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.575 * [taylor]: Taking taylor expansion of y in y 1.575 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.575 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.575 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.576 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.576 * [taylor]: Taking taylor expansion of z in y 1.576 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.576 * [taylor]: Taking taylor expansion of z in y 1.576 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.576 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.576 * [taylor]: Taking taylor expansion of y in y 1.576 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.576 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.576 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.576 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.576 * [taylor]: Taking taylor expansion of z in y 1.576 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.576 * [taylor]: Taking taylor expansion of z in y 1.576 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.576 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.576 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.576 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.576 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.576 * [taylor]: Taking taylor expansion of z in z 1.576 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.576 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.576 * [taylor]: Taking taylor expansion of z in z 1.576 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.579 * [taylor]: Taking taylor expansion of 0 in z 1.583 * [taylor]: Taking taylor expansion of 0 in z 1.588 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in (y z) around 0 1.588 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 1.588 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 1.588 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.588 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.588 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.588 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.588 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.588 * [taylor]: Taking taylor expansion of z in z 1.589 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.589 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.589 * [taylor]: Taking taylor expansion of z in z 1.589 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.589 * [taylor]: Taking taylor expansion of y in z 1.590 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.590 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.590 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.590 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.590 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.590 * [taylor]: Taking taylor expansion of z in y 1.590 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.590 * [taylor]: Taking taylor expansion of z in y 1.590 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.590 * [taylor]: Taking taylor expansion of y in y 1.592 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.592 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.592 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.592 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.592 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.592 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.592 * [taylor]: Taking taylor expansion of z in y 1.592 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.592 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.592 * [taylor]: Taking taylor expansion of z in y 1.592 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.592 * [taylor]: Taking taylor expansion of y in y 1.594 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.594 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.594 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.594 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.594 * [taylor]: Taking taylor expansion of z in z 1.594 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.594 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.594 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.594 * [taylor]: Taking taylor expansion of z in z 1.595 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.598 * [taylor]: Taking taylor expansion of 0 in z 1.604 * [taylor]: Taking taylor expansion of 0 in z 1.610 * [approximate]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in (y z) around 0 1.610 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 1.610 * [taylor]: Taking taylor expansion of -1 in z 1.610 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 1.610 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.610 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.610 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.610 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.610 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.610 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.610 * [taylor]: Taking taylor expansion of z in z 1.613 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.613 * [taylor]: Taking taylor expansion of -1 in z 1.613 * [taylor]: Taking taylor expansion of z in z 1.613 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.613 * [taylor]: Taking taylor expansion of y in z 1.615 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.615 * [taylor]: Taking taylor expansion of -1 in y 1.615 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.615 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.615 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.615 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.615 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.615 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.615 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.615 * [taylor]: Taking taylor expansion of z in y 1.615 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.615 * [taylor]: Taking taylor expansion of -1 in y 1.615 * [taylor]: Taking taylor expansion of z in y 1.615 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.615 * [taylor]: Taking taylor expansion of y in y 1.617 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.617 * [taylor]: Taking taylor expansion of -1 in y 1.617 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.617 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.617 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.617 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.617 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.617 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.617 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.617 * [taylor]: Taking taylor expansion of z in y 1.617 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.617 * [taylor]: Taking taylor expansion of -1 in y 1.617 * [taylor]: Taking taylor expansion of z in y 1.617 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.617 * [taylor]: Taking taylor expansion of y in y 1.619 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.619 * [taylor]: Taking taylor expansion of -1 in z 1.619 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.619 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.619 * [taylor]: Taking taylor expansion of z in z 1.620 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.620 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.620 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.620 * [taylor]: Taking taylor expansion of z in z 1.623 * [taylor]: Taking taylor expansion of 0 in z 1.631 * [taylor]: Taking taylor expansion of 0 in z 1.638 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.638 * [approximate]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in (z) around 0 1.638 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 1.638 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.638 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 1.638 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 1.639 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.639 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.639 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.639 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 1.639 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.639 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 1.639 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 1.639 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.639 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.639 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.646 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in (z) around 0 1.646 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 1.646 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.646 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 1.646 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 1.646 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.646 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 1.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.646 * [taylor]: Taking taylor expansion of z in z 1.647 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.647 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.647 * [taylor]: Taking taylor expansion of z in z 1.647 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.647 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 1.647 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.647 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 1.647 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 1.647 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.647 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 1.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.647 * [taylor]: Taking taylor expansion of z in z 1.648 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.648 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.648 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.648 * [taylor]: Taking taylor expansion of z in z 1.648 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.655 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in (z) around 0 1.655 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 1.655 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.655 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 1.655 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 1.655 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.655 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 1.655 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.655 * [taylor]: Taking taylor expansion of -1 in z 1.655 * [taylor]: Taking taylor expansion of z in z 1.656 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.656 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.656 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.656 * [taylor]: Taking taylor expansion of -1 in z 1.656 * [taylor]: Taking taylor expansion of z in z 1.656 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.656 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 1.656 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.656 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 1.656 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 1.656 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.656 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 1.656 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.656 * [taylor]: Taking taylor expansion of -1 in z 1.656 * [taylor]: Taking taylor expansion of z in z 1.657 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.657 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.657 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.657 * [taylor]: Taking taylor expansion of -1 in z 1.657 * [taylor]: Taking taylor expansion of z in z 1.657 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.666 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.666 * [approximate]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in (z) around 0 1.666 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.666 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.666 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.666 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.666 * [taylor]: Taking taylor expansion of z in z 1.666 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.666 * [taylor]: Taking taylor expansion of z in z 1.666 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.666 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.666 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.666 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.666 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.666 * [taylor]: Taking taylor expansion of z in z 1.666 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.666 * [taylor]: Taking taylor expansion of z in z 1.666 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.670 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in (z) around 0 1.670 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.670 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.670 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.670 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.670 * [taylor]: Taking taylor expansion of z in z 1.670 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.670 * [taylor]: Taking taylor expansion of z in z 1.671 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.671 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.671 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.671 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.671 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.671 * [taylor]: Taking taylor expansion of z in z 1.671 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.671 * [taylor]: Taking taylor expansion of z in z 1.671 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.677 * [approximate]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in (z) around 0 1.677 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.677 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.677 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.677 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.677 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.677 * [taylor]: Taking taylor expansion of z in z 1.677 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.678 * [taylor]: Taking taylor expansion of -1 in z 1.678 * [taylor]: Taking taylor expansion of z in z 1.678 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.678 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.678 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.678 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.678 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.678 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.678 * [taylor]: Taking taylor expansion of z in z 1.678 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.678 * [taylor]: Taking taylor expansion of -1 in z 1.678 * [taylor]: Taking taylor expansion of z in z 1.679 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.686 * * * [progress]: simplifying candidates 1.687 * [simplify]: Simplifying using # : (expm1 (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (log1p (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (log (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (exp (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (* (cbrt (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (cbrt (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x))) (cbrt (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (* (* (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (sqrt (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (sqrt (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x)) (expm1 (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (log1p (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (- (log y) (log (fma (+ z 6.012459259764103) z 3.350343815022304))) (log (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (exp (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (* (* y y) y) (* (* (fma (+ z 6.012459259764103) z 3.350343815022304) (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (+ z 6.012459259764103) z 3.350343815022304))) (* (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)))) (cbrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (* (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (sqrt (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) (- y) (- (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (/ (cbrt y) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (* (cbrt y) (cbrt y)) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (cbrt y) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ (sqrt y) (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (/ (sqrt y) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (sqrt y) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (sqrt y) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ (sqrt y) 1) (/ (sqrt y) (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ 1 (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (/ y (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ 1 (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ 1 1) (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) y) (/ y (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)))) (/ y (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (/ y 1) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) (cbrt y)) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) (sqrt y)) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) y) (expm1 (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (log1p (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (* (fma z 0.0692910599291889 0.4917317610505968) z) (log (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (exp (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (* (cbrt (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (cbrt (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525))) (cbrt (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (* (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (sqrt (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (sqrt (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (expm1 (fma (+ z 6.012459259764103) z 3.350343815022304)) (log1p (fma (+ z 6.012459259764103) z 3.350343815022304)) (* (+ z 6.012459259764103) z) (log (fma (+ z 6.012459259764103) z 3.350343815022304)) (exp (fma (+ z 6.012459259764103) z 3.350343815022304)) (* (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304))) (cbrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (* (* (fma (+ z 6.012459259764103) z 3.350343815022304) (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (+ z 6.012459259764103) z 3.350343815022304)) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (sqrt (fma (+ z 6.012459259764103) z 3.350343815022304)) (- (+ x (* 0.08333333333333322 y)) (* 0.0027777777775171986 (* z y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (- (+ (* 0.8721611605573599 (* (pow z 2) y)) (* 0.29847682960661837 y)) (* 0.5356404826116027 (* z y))) (- (+ (* 32.7993225353008 (/ y (pow z 4))) (/ y (pow z 2))) (* 6.012459259764103 (/ y (pow z 3)))) (- (+ (* 32.7993225353008 (/ y (pow z 4))) (/ y (pow z 2))) (* 6.012459259764103 (/ y (pow z 3)))) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) 1.691 * * [simplify]: iteration 0 : 129 enodes (cost 985 ) 1.711 * * [simplify]: iteration 1 : 249 enodes (cost 962 ) 1.751 * * [simplify]: iteration 2 : 598 enodes (cost 854 )