1.347 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) 0.024 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.026 * * [simplify]: iteration 1 : 38 enodes (cost 18 ) 0.037 * * [simplify]: iteration 2 : 72 enodes (cost 18 ) 0.046 * * [simplify]: iteration 3 : 142 enodes (cost 17 ) 0.067 * * [simplify]: iteration 4 : 275 enodes (cost 17 ) 0.116 * * [simplify]: iteration 5 : 458 enodes (cost 17 ) 0.196 * * [simplify]: iteration 6 : 672 enodes (cost 17 ) 0.309 * * [simplify]: iteration 7 : 802 enodes (cost 17 ) 0.451 * * [simplify]: iteration 8 : 985 enodes (cost 17 ) 0.656 * * [simplify]: iteration 9 : 1118 enodes (cost 17 ) 0.891 * * [simplify]: iteration 10 : 1178 enodes (cost 17 ) 1.130 * * [simplify]: iteration 11 : 1179 enodes (cost 17 ) 1.369 * * [simplify]: iteration done : 1179 enodes (cost 17 ) 1.369 * [simplify]: Simplified to: (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) 1.373 * * [progress]: iteration 1 / 4 1.373 * * * [progress]: picking best candidate 1.378 * * * * [pick]: Picked # 1.378 * * * [progress]: localizing error 1.390 * * * [progress]: generating rewritten candidates 1.390 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.392 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.393 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.394 * * * [progress]: generating series expansions 1.394 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.394 * [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.394 * [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.394 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.394 * [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.395 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in x 1.395 * [taylor]: Taking taylor expansion of y in x 1.395 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in x 1.395 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.395 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in x 1.395 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in x 1.395 * [taylor]: Taking taylor expansion of z in x 1.395 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 1.395 * [taylor]: Taking taylor expansion of z in x 1.395 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 1.395 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in x 1.395 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.395 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in x 1.395 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in x 1.395 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.396 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in x 1.396 * [taylor]: Taking taylor expansion of z in x 1.396 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.396 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 1.396 * [taylor]: Taking taylor expansion of z in x 1.396 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.396 * [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.396 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.396 * [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.396 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 1.396 * [taylor]: Taking taylor expansion of y in z 1.396 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.396 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.396 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.396 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.396 * [taylor]: Taking taylor expansion of z in z 1.396 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.396 * [taylor]: Taking taylor expansion of z in z 1.396 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.397 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 1.397 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.397 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 1.397 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 1.397 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.397 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 1.398 * [taylor]: Taking taylor expansion of z in z 1.398 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.398 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.398 * [taylor]: Taking taylor expansion of z in z 1.398 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.398 * [taylor]: Taking taylor expansion of x in z 1.398 * [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.398 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.398 * [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.398 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.398 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.398 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.398 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.398 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.398 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 1.398 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.398 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 1.398 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 1.398 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.398 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.399 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.399 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.399 * [taylor]: Taking taylor expansion of z in y 1.399 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.399 * [taylor]: Taking taylor expansion of x in y 1.399 * [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.399 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 1.399 * [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.399 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.399 * [taylor]: Taking taylor expansion of y in y 1.399 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.399 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.399 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.399 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.399 * [taylor]: Taking taylor expansion of z in y 1.399 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.399 * [taylor]: Taking taylor expansion of z in y 1.399 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.399 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 1.399 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.399 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 1.399 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 1.399 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.399 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 1.399 * [taylor]: Taking taylor expansion of z in y 1.399 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.399 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.400 * [taylor]: Taking taylor expansion of z in y 1.400 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.400 * [taylor]: Taking taylor expansion of x in y 1.400 * [taylor]: Taking taylor expansion of x in z 1.400 * [taylor]: Taking taylor expansion of x in x 1.400 * [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.400 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 1.400 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.400 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.400 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.400 * [taylor]: Taking taylor expansion of z in z 1.401 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.401 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.401 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.401 * [taylor]: Taking taylor expansion of z in z 1.401 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.401 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.401 * [taylor]: Taking taylor expansion of z in z 1.401 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.402 * [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.402 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 1.402 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.402 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.402 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.402 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.402 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.402 * [taylor]: Taking taylor expansion of z in z 1.402 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.402 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.402 * [taylor]: Taking taylor expansion of z in z 1.402 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.404 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 1.404 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.404 * [taylor]: Taking taylor expansion of (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.404 * [taylor]: Taking taylor expansion of z in z 1.404 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.404 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.404 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.404 * [taylor]: Taking taylor expansion of z in z 1.404 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.404 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.404 * [taylor]: Taking taylor expansion of z in z 1.404 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.406 * [taylor]: Taking taylor expansion of 0.08333333333333322 in x 1.406 * [taylor]: Taking taylor expansion of 0 in x 1.408 * [taylor]: Taking taylor expansion of 0 in z 1.408 * [taylor]: Taking taylor expansion of 0 in x 1.413 * [taylor]: Taking taylor expansion of (- 0.0027777777775171986) in x 1.414 * [taylor]: Taking taylor expansion of 0.0027777777775171986 in x 1.415 * [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.415 * [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.415 * [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.415 * [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.415 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in x 1.415 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in x 1.415 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in x 1.415 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.415 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in x 1.415 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in x 1.415 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.415 * [taylor]: Taking taylor expansion of z in x 1.415 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 1.416 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.416 * [taylor]: Taking taylor expansion of z in x 1.416 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 1.416 * [taylor]: Taking taylor expansion of y in x 1.416 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in x 1.416 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.416 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in x 1.416 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in x 1.416 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.416 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in x 1.416 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.416 * [taylor]: Taking taylor expansion of z in x 1.416 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.416 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 1.416 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.416 * [taylor]: Taking taylor expansion of z in x 1.416 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 1.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.417 * [taylor]: Taking taylor expansion of x in x 1.417 * [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.417 * [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.417 * [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.417 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 1.417 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 1.417 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.417 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.417 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.417 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.417 * [taylor]: Taking taylor expansion of z in z 1.417 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.418 * [taylor]: Taking taylor expansion of z in z 1.418 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.418 * [taylor]: Taking taylor expansion of y in z 1.419 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 1.419 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.419 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 1.419 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 1.419 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.419 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 1.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.419 * [taylor]: Taking taylor expansion of z in z 1.419 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.419 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.419 * [taylor]: Taking taylor expansion of z in z 1.419 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.420 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.420 * [taylor]: Taking taylor expansion of x in z 1.420 * [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.420 * [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.420 * [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.420 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.420 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.420 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.420 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.420 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.420 * [taylor]: Taking taylor expansion of z in y 1.420 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.420 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.420 * [taylor]: Taking taylor expansion of z in y 1.420 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.420 * [taylor]: Taking taylor expansion of y in y 1.422 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 1.422 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.422 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 1.422 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 1.422 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.422 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.422 * [taylor]: Taking taylor expansion of z in y 1.422 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.422 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.422 * [taylor]: Taking taylor expansion of z in y 1.422 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.422 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.422 * [taylor]: Taking taylor expansion of x in y 1.422 * [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.422 * [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.422 * [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.422 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.422 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.422 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.423 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.423 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.423 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.423 * [taylor]: Taking taylor expansion of z in y 1.423 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.423 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.423 * [taylor]: Taking taylor expansion of z in y 1.423 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.423 * [taylor]: Taking taylor expansion of y in y 1.424 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 1.424 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.424 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 1.424 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 1.424 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.425 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.425 * [taylor]: Taking taylor expansion of z in y 1.425 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.425 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.425 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.425 * [taylor]: Taking taylor expansion of z in y 1.425 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.425 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.425 * [taylor]: Taking taylor expansion of x in y 1.426 * [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.426 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.426 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.426 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.426 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.426 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.426 * [taylor]: Taking taylor expansion of z in z 1.426 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.426 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.426 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.426 * [taylor]: Taking taylor expansion of z in z 1.427 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.430 * [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.430 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 1.430 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.430 * [taylor]: Taking taylor expansion of (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.430 * [taylor]: Taking taylor expansion of (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.430 * [taylor]: Taking taylor expansion of z in z 1.430 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.430 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.430 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.430 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.430 * [taylor]: Taking taylor expansion of z in z 1.431 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.431 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.431 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.431 * [taylor]: Taking taylor expansion of z in z 1.431 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.434 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 1.434 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.434 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.434 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.434 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.434 * [taylor]: Taking taylor expansion of z in z 1.434 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.434 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.434 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.434 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.434 * [taylor]: Taking taylor expansion of z in z 1.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.435 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.435 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.435 * [taylor]: Taking taylor expansion of z in z 1.435 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.437 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.440 * [taylor]: Taking taylor expansion of x in z 1.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.440 * [taylor]: Taking taylor expansion of x in x 1.448 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.452 * [taylor]: Taking taylor expansion of 0 in z 1.452 * [taylor]: Taking taylor expansion of 0 in x 1.452 * [taylor]: Taking taylor expansion of 0 in x 1.468 * [taylor]: Taking taylor expansion of (- 0.40462203869992125) in x 1.468 * [taylor]: Taking taylor expansion of 0.40462203869992125 in x 1.469 * [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.469 * [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.470 * [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.470 * [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.470 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in x 1.470 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in x 1.470 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.470 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in x 1.470 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in x 1.470 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.470 * [taylor]: Taking taylor expansion of z in x 1.470 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of z in x 1.470 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 1.470 * [taylor]: Taking taylor expansion of y in x 1.471 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in x 1.471 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.471 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in x 1.471 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in x 1.471 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.471 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in x 1.471 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.471 * [taylor]: Taking taylor expansion of -1 in x 1.471 * [taylor]: Taking taylor expansion of z in x 1.471 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.471 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 1.471 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.471 * [taylor]: Taking taylor expansion of -1 in x 1.471 * [taylor]: Taking taylor expansion of z in x 1.471 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 1.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.471 * [taylor]: Taking taylor expansion of -1 in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [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.471 * [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.472 * [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.472 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 1.472 * [taylor]: Taking taylor expansion of -1 in z 1.472 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 1.472 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.472 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.472 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.472 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.472 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.472 * [taylor]: Taking taylor expansion of z in z 1.472 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.472 * [taylor]: Taking taylor expansion of -1 in z 1.472 * [taylor]: Taking taylor expansion of z in z 1.472 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.472 * [taylor]: Taking taylor expansion of y in z 1.473 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 1.474 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.474 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 1.474 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 1.474 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.474 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 1.474 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.474 * [taylor]: Taking taylor expansion of -1 in z 1.474 * [taylor]: Taking taylor expansion of z in z 1.474 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.474 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.474 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.474 * [taylor]: Taking taylor expansion of -1 in z 1.474 * [taylor]: Taking taylor expansion of z in z 1.475 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.475 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.475 * [taylor]: Taking taylor expansion of -1 in z 1.475 * [taylor]: Taking taylor expansion of x in z 1.475 * [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.475 * [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.475 * [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.475 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.475 * [taylor]: Taking taylor expansion of -1 in y 1.475 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.475 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.475 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.475 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.475 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.475 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.475 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.475 * [taylor]: Taking taylor expansion of z in y 1.475 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.475 * [taylor]: Taking taylor expansion of -1 in y 1.475 * [taylor]: Taking taylor expansion of z in y 1.475 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.475 * [taylor]: Taking taylor expansion of y in y 1.477 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 1.477 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.477 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 1.477 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 1.477 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.477 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 1.477 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.478 * [taylor]: Taking taylor expansion of -1 in y 1.478 * [taylor]: Taking taylor expansion of z in y 1.478 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.478 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.478 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.478 * [taylor]: Taking taylor expansion of -1 in y 1.478 * [taylor]: Taking taylor expansion of z in y 1.478 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.478 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.478 * [taylor]: Taking taylor expansion of -1 in y 1.478 * [taylor]: Taking taylor expansion of x in y 1.478 * [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.478 * [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.478 * [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.478 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.478 * [taylor]: Taking taylor expansion of -1 in y 1.478 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.478 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.478 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.478 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.478 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.478 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.478 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.478 * [taylor]: Taking taylor expansion of z in y 1.478 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.478 * [taylor]: Taking taylor expansion of -1 in y 1.478 * [taylor]: Taking taylor expansion of z in y 1.478 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.478 * [taylor]: Taking taylor expansion of y in y 1.480 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 1.480 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.480 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 1.480 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 1.480 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.481 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 1.481 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.481 * [taylor]: Taking taylor expansion of -1 in y 1.481 * [taylor]: Taking taylor expansion of z in y 1.481 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.481 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.481 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.481 * [taylor]: Taking taylor expansion of -1 in y 1.481 * [taylor]: Taking taylor expansion of z in y 1.481 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.481 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.481 * [taylor]: Taking taylor expansion of -1 in y 1.481 * [taylor]: Taking taylor expansion of x in y 1.482 * [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.482 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 1.482 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.482 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.482 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.482 * [taylor]: Taking taylor expansion of z in z 1.482 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.482 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.482 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.482 * [taylor]: Taking taylor expansion of z in z 1.483 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.483 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.483 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.483 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.483 * [taylor]: Taking taylor expansion of z in z 1.487 * [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.487 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.487 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.487 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.487 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.487 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.487 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.487 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.487 * [taylor]: Taking taylor expansion of z in z 1.488 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.488 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.488 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.488 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.488 * [taylor]: Taking taylor expansion of z in z 1.489 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 1.489 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.489 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.489 * [taylor]: Taking taylor expansion of (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.489 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.489 * [taylor]: Taking taylor expansion of z in z 1.489 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.489 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.489 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.489 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.489 * [taylor]: Taking taylor expansion of z in z 1.490 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.490 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.490 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.490 * [taylor]: Taking taylor expansion of z in z 1.492 * [taylor]: Taking taylor expansion of (- 0.0692910599291889) in x 1.492 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.496 * [taylor]: Taking taylor expansion of x in z 1.496 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.504 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.510 * [taylor]: Taking taylor expansion of 0 in z 1.510 * [taylor]: Taking taylor expansion of 0 in x 1.510 * [taylor]: Taking taylor expansion of 0 in x 1.530 * [taylor]: Taking taylor expansion of 0.4046220386999213 in x 1.532 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.532 * [approximate]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in (y z) around 0 1.532 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 1.532 * [taylor]: Taking taylor expansion of y in z 1.532 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.532 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.532 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.532 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.532 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.532 * [taylor]: Taking taylor expansion of z in z 1.532 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.533 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.533 * [taylor]: Taking taylor expansion of y in y 1.533 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.533 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.533 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.533 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.533 * [taylor]: Taking taylor expansion of z in y 1.533 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.533 * [taylor]: Taking taylor expansion of z in y 1.533 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.534 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 1.534 * [taylor]: Taking taylor expansion of y in y 1.534 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 1.534 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.534 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 1.534 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 1.534 * [taylor]: Taking taylor expansion of z in y 1.534 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.534 * [taylor]: Taking taylor expansion of z in y 1.534 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.534 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.534 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.534 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.534 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.534 * [taylor]: Taking taylor expansion of z in z 1.534 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.534 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.534 * [taylor]: Taking taylor expansion of z in z 1.534 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.536 * [taylor]: Taking taylor expansion of 0 in z 1.541 * [taylor]: Taking taylor expansion of 0 in z 1.545 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in (y z) around 0 1.546 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 1.546 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 1.546 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.546 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.546 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.546 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.546 * [taylor]: Taking taylor expansion of z in z 1.546 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.546 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.546 * [taylor]: Taking taylor expansion of z in z 1.546 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.546 * [taylor]: Taking taylor expansion of y in z 1.547 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.547 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.547 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.547 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.547 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.547 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.547 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.547 * [taylor]: Taking taylor expansion of z in y 1.547 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.547 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.548 * [taylor]: Taking taylor expansion of z in y 1.548 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.548 * [taylor]: Taking taylor expansion of y in y 1.549 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 1.549 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 1.549 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 1.549 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.549 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 1.549 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 1.549 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.549 * [taylor]: Taking taylor expansion of z in y 1.549 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.549 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.549 * [taylor]: Taking taylor expansion of z in y 1.549 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.549 * [taylor]: Taking taylor expansion of y in y 1.551 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.551 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.551 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.551 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.551 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.551 * [taylor]: Taking taylor expansion of z in z 1.551 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.551 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.551 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.551 * [taylor]: Taking taylor expansion of z in z 1.552 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.554 * [taylor]: Taking taylor expansion of 0 in z 1.560 * [taylor]: Taking taylor expansion of 0 in z 1.566 * [approximate]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in (y z) around 0 1.566 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 1.566 * [taylor]: Taking taylor expansion of -1 in z 1.566 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 1.566 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.566 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.566 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.566 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.566 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.566 * [taylor]: Taking taylor expansion of z in z 1.566 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.566 * [taylor]: Taking taylor expansion of -1 in z 1.566 * [taylor]: Taking taylor expansion of z in z 1.567 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.567 * [taylor]: Taking taylor expansion of y in z 1.568 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.568 * [taylor]: Taking taylor expansion of -1 in y 1.568 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.568 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.568 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.568 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.568 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.568 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.568 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.568 * [taylor]: Taking taylor expansion of z in y 1.568 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.568 * [taylor]: Taking taylor expansion of -1 in y 1.568 * [taylor]: Taking taylor expansion of z in y 1.568 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.568 * [taylor]: Taking taylor expansion of y in y 1.570 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 1.570 * [taylor]: Taking taylor expansion of -1 in y 1.570 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 1.570 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 1.570 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.570 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 1.570 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 1.570 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.570 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.570 * [taylor]: Taking taylor expansion of z in y 1.570 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.570 * [taylor]: Taking taylor expansion of -1 in y 1.570 * [taylor]: Taking taylor expansion of z in y 1.570 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.570 * [taylor]: Taking taylor expansion of y in y 1.572 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.572 * [taylor]: Taking taylor expansion of -1 in z 1.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.572 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.572 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.572 * [taylor]: Taking taylor expansion of z in z 1.573 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.573 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.573 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.573 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.573 * [taylor]: Taking taylor expansion of z in z 1.576 * [taylor]: Taking taylor expansion of 0 in z 1.584 * [taylor]: Taking taylor expansion of 0 in z 1.591 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.591 * [approximate]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in (z) around 0 1.591 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 1.591 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.591 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 1.591 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 1.591 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.591 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 1.591 * [taylor]: Taking taylor expansion of z in z 1.591 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.591 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.591 * [taylor]: Taking taylor expansion of z in z 1.591 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.591 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 1.591 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 1.591 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 1.591 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 1.592 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 1.592 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 1.592 * [taylor]: Taking taylor expansion of z in z 1.592 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.592 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.592 * [taylor]: Taking taylor expansion of z in z 1.592 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.602 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in (z) around 0 1.602 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 1.603 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.603 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 1.603 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 1.603 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.603 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 1.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.603 * [taylor]: Taking taylor expansion of z in z 1.603 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.603 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.603 * [taylor]: Taking taylor expansion of z in z 1.603 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.603 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 1.604 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 1.604 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 1.604 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 1.604 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 1.604 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 1.604 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.604 * [taylor]: Taking taylor expansion of z in z 1.604 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.604 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.604 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.604 * [taylor]: Taking taylor expansion of z in z 1.604 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.611 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in (z) around 0 1.611 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 1.611 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.611 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 1.611 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 1.611 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.612 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 1.612 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.612 * [taylor]: Taking taylor expansion of -1 in z 1.612 * [taylor]: Taking taylor expansion of z in z 1.612 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.612 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.612 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.612 * [taylor]: Taking taylor expansion of -1 in z 1.612 * [taylor]: Taking taylor expansion of z in z 1.612 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.612 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 1.612 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 1.612 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 1.612 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 1.612 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 1.613 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) 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 0.0692910599291889 in z 1.613 * [taylor]: Taking taylor expansion of 0.4917317610505968 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 0.279195317918525 in z 1.621 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.622 * [approximate]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in (z) around 0 1.622 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.622 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.622 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.622 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.622 * [taylor]: Taking taylor expansion of z in z 1.622 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.622 * [taylor]: Taking taylor expansion of z in z 1.622 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.622 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 1.622 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 1.622 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 1.622 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 1.622 * [taylor]: Taking taylor expansion of z in z 1.622 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.622 * [taylor]: Taking taylor expansion of z in z 1.622 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.626 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in (z) around 0 1.626 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.626 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.626 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.626 * [taylor]: Taking taylor expansion of z in z 1.626 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.626 * [taylor]: Taking taylor expansion of z in z 1.627 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.627 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 1.627 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 1.627 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 1.627 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 1.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.627 * [taylor]: Taking taylor expansion of z in z 1.627 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.627 * [taylor]: Taking taylor expansion of z in z 1.627 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.633 * [approximate]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in (z) around 0 1.633 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.633 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.633 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.633 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.633 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.633 * [taylor]: Taking taylor expansion of z in z 1.633 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.633 * [taylor]: Taking taylor expansion of -1 in z 1.633 * [taylor]: Taking taylor expansion of z in z 1.633 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.633 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 1.634 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 1.634 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 1.634 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 1.634 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.634 * [taylor]: Taking taylor expansion of z in z 1.634 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.634 * [taylor]: Taking taylor expansion of -1 in z 1.634 * [taylor]: Taking taylor expansion of z in z 1.634 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.641 * * * [progress]: simplifying candidates 1.642 * [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.646 * * [simplify]: iteration 0 : 129 enodes (cost 985 ) 1.664 * * [simplify]: iteration 1 : 249 enodes (cost 962 ) 1.705 * * [simplify]: iteration 2 : 598 enodes (cost 854 )