0.087 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.166 * * * [progress]: [2/2] Setting up program. 0.170 * [progress]: [Phase 2 of 3] Improving. 0.171 * [simplify]: Simplifying using # : (* (* x (cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))) 0.172 * * [simplify]: iteration 0 : 23 enodes (cost 27 ) 0.175 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 0.181 * * [simplify]: iteration 2 : 100 enodes (cost 25 ) 0.195 * * [simplify]: iteration 3 : 212 enodes (cost 25 ) 0.230 * * [simplify]: iteration 4 : 394 enodes (cost 25 ) 0.298 * * [simplify]: iteration 5 : 630 enodes (cost 25 ) 0.432 * * [simplify]: iteration 6 : 898 enodes (cost 25 ) 0.644 * * [simplify]: iteration 7 : 1159 enodes (cost 25 ) 0.924 * * [simplify]: iteration 8 : 1269 enodes (cost 25 ) 1.243 * * [simplify]: iteration 9 : 1343 enodes (cost 25 ) 1.587 * * [simplify]: iteration 10 : 1371 enodes (cost 25 ) 1.933 * * [simplify]: iteration done : 1371 enodes (cost 25 ) 1.933 * [simplify]: Simplified to: (* (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) 1.939 * * [progress]: iteration 1 / 4 1.939 * * * [progress]: picking best candidate 1.943 * * * * [pick]: Picked # 1.943 * * * [progress]: localizing error 1.971 * * * [progress]: generating rewritten candidates 1.971 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.972 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.974 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.980 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 1.988 * * * [progress]: generating series expansions 1.988 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.988 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in (t y z) around 0 1.988 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in z 1.988 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in z 1.988 * [taylor]: Taking taylor expansion of 0.0625 in z 1.988 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 1.988 * [taylor]: Taking taylor expansion of t in z 1.988 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.988 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 1.988 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.988 * [taylor]: Taking taylor expansion of (* y 2.0) in z 1.988 * [taylor]: Taking taylor expansion of y in z 1.988 * [taylor]: Taking taylor expansion of 2.0 in z 1.988 * [taylor]: Taking taylor expansion of 1.0 in z 1.991 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in y 1.991 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in y 1.991 * [taylor]: Taking taylor expansion of 0.0625 in y 1.991 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 1.991 * [taylor]: Taking taylor expansion of t in y 1.991 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 1.991 * [taylor]: Taking taylor expansion of z in y 1.991 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 1.991 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.991 * [taylor]: Taking taylor expansion of (* y 2.0) in y 1.991 * [taylor]: Taking taylor expansion of y in y 1.991 * [taylor]: Taking taylor expansion of 2.0 in y 1.991 * [taylor]: Taking taylor expansion of 1.0 in y 1.992 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 1.992 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 1.992 * [taylor]: Taking taylor expansion of 0.0625 in t 1.992 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 1.992 * [taylor]: Taking taylor expansion of t in t 1.992 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 1.992 * [taylor]: Taking taylor expansion of z in t 1.992 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 1.992 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.992 * [taylor]: Taking taylor expansion of (* y 2.0) in t 1.992 * [taylor]: Taking taylor expansion of y in t 1.992 * [taylor]: Taking taylor expansion of 2.0 in t 1.992 * [taylor]: Taking taylor expansion of 1.0 in t 1.994 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 1.994 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 1.994 * [taylor]: Taking taylor expansion of 0.0625 in t 1.994 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 1.994 * [taylor]: Taking taylor expansion of t in t 1.994 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 1.994 * [taylor]: Taking taylor expansion of z in t 1.994 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 1.995 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.995 * [taylor]: Taking taylor expansion of (* y 2.0) in t 1.995 * [taylor]: Taking taylor expansion of y in t 1.995 * [taylor]: Taking taylor expansion of 2.0 in t 1.995 * [taylor]: Taking taylor expansion of 1.0 in t 1.997 * [taylor]: Taking taylor expansion of 1 in y 1.997 * [taylor]: Taking taylor expansion of 1 in z 1.997 * [taylor]: Taking taylor expansion of 0 in y 1.997 * [taylor]: Taking taylor expansion of 0 in z 1.997 * [taylor]: Taking taylor expansion of 0 in z 1.997 * [taylor]: Taking taylor expansion of (- (+ (* 0.0078125 (* (pow z 2) y)) (+ (* 0.001953125 (pow z 2)) (* 0.0078125 (* (pow z 2) (pow y 2)))))) in y 1.997 * [taylor]: Taking taylor expansion of (+ (* 0.0078125 (* (pow z 2) y)) (+ (* 0.001953125 (pow z 2)) (* 0.0078125 (* (pow z 2) (pow y 2))))) in y 1.997 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) y)) in y 1.997 * [taylor]: Taking taylor expansion of 0.0078125 in y 1.998 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.998 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.998 * [taylor]: Taking taylor expansion of z in y 1.998 * [taylor]: Taking taylor expansion of y in y 1.998 * [taylor]: Taking taylor expansion of (+ (* 0.001953125 (pow z 2)) (* 0.0078125 (* (pow z 2) (pow y 2)))) in y 1.998 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in y 1.998 * [taylor]: Taking taylor expansion of 0.001953125 in y 1.998 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.998 * [taylor]: Taking taylor expansion of z in y 1.998 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) (pow y 2))) in y 1.998 * [taylor]: Taking taylor expansion of 0.0078125 in y 1.998 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 1.998 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.998 * [taylor]: Taking taylor expansion of z in y 1.998 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.998 * [taylor]: Taking taylor expansion of y in y 1.999 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow z 2))) in z 1.999 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in z 1.999 * [taylor]: Taking taylor expansion of 0.001953125 in z 1.999 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.999 * [taylor]: Taking taylor expansion of z in z 1.999 * [taylor]: Taking taylor expansion of 0 in z 1.999 * [taylor]: Taking taylor expansion of 0 in z 1.999 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 1.999 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 1.999 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 1.999 * [taylor]: Taking taylor expansion of 0.0625 in z 1.999 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 1.999 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 1.999 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.999 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 1.999 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.999 * [taylor]: Taking taylor expansion of y in z 1.999 * [taylor]: Taking taylor expansion of 2.0 in z 1.999 * [taylor]: Taking taylor expansion of 1.0 in z 1.999 * [taylor]: Taking taylor expansion of (* t z) in z 1.999 * [taylor]: Taking taylor expansion of t in z 1.999 * [taylor]: Taking taylor expansion of z in z 2.000 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 2.000 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 2.000 * [taylor]: Taking taylor expansion of 0.0625 in y 2.000 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.000 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.000 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.000 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.001 * [taylor]: Taking taylor expansion of y in y 2.001 * [taylor]: Taking taylor expansion of 2.0 in y 2.001 * [taylor]: Taking taylor expansion of 1.0 in y 2.001 * [taylor]: Taking taylor expansion of (* t z) in y 2.001 * [taylor]: Taking taylor expansion of t in y 2.001 * [taylor]: Taking taylor expansion of z in y 2.002 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 2.002 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 2.002 * [taylor]: Taking taylor expansion of 0.0625 in t 2.002 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.002 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.002 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.002 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.002 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.002 * [taylor]: Taking taylor expansion of y in t 2.002 * [taylor]: Taking taylor expansion of 2.0 in t 2.002 * [taylor]: Taking taylor expansion of 1.0 in t 2.002 * [taylor]: Taking taylor expansion of (* t z) in t 2.002 * [taylor]: Taking taylor expansion of t in t 2.002 * [taylor]: Taking taylor expansion of z in t 2.003 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 2.003 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 2.003 * [taylor]: Taking taylor expansion of 0.0625 in t 2.003 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.003 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.003 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.003 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.003 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.003 * [taylor]: Taking taylor expansion of y in t 2.003 * [taylor]: Taking taylor expansion of 2.0 in t 2.003 * [taylor]: Taking taylor expansion of 1.0 in t 2.003 * [taylor]: Taking taylor expansion of (* t z) in t 2.003 * [taylor]: Taking taylor expansion of t in t 2.003 * [taylor]: Taking taylor expansion of z in t 2.004 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 2.004 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 2.004 * [taylor]: Taking taylor expansion of 0.0625 in y 2.004 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.004 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.004 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.004 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.004 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.004 * [taylor]: Taking taylor expansion of y in y 2.005 * [taylor]: Taking taylor expansion of 2.0 in y 2.005 * [taylor]: Taking taylor expansion of 1.0 in y 2.005 * [taylor]: Taking taylor expansion of (* t z) in y 2.005 * [taylor]: Taking taylor expansion of t in y 2.005 * [taylor]: Taking taylor expansion of z in y 2.006 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 2.006 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 2.006 * [taylor]: Taking taylor expansion of 0.0625 in z 2.006 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 2.006 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 2.006 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.006 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 2.006 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.006 * [taylor]: Taking taylor expansion of y in z 2.006 * [taylor]: Taking taylor expansion of 2.0 in z 2.006 * [taylor]: Taking taylor expansion of 1.0 in z 2.006 * [taylor]: Taking taylor expansion of (* t z) in z 2.006 * [taylor]: Taking taylor expansion of t in z 2.006 * [taylor]: Taking taylor expansion of z in z 2.007 * [taylor]: Taking taylor expansion of 0 in y 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.007 * [taylor]: Taking taylor expansion of 0 in y 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.008 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 2.008 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 2.008 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 2.008 * [taylor]: Taking taylor expansion of 0.0625 in z 2.008 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.008 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.008 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.008 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.008 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.008 * [taylor]: Taking taylor expansion of -1 in z 2.008 * [taylor]: Taking taylor expansion of y in z 2.008 * [taylor]: Taking taylor expansion of 2.0 in z 2.008 * [taylor]: Taking taylor expansion of 1.0 in z 2.008 * [taylor]: Taking taylor expansion of (* t z) in z 2.008 * [taylor]: Taking taylor expansion of t in z 2.008 * [taylor]: Taking taylor expansion of z in z 2.009 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 2.009 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 2.009 * [taylor]: Taking taylor expansion of 0.0625 in y 2.009 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.009 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.009 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.009 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.009 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.009 * [taylor]: Taking taylor expansion of -1 in y 2.009 * [taylor]: Taking taylor expansion of y in y 2.010 * [taylor]: Taking taylor expansion of 2.0 in y 2.010 * [taylor]: Taking taylor expansion of 1.0 in y 2.010 * [taylor]: Taking taylor expansion of (* t z) in y 2.010 * [taylor]: Taking taylor expansion of t in y 2.010 * [taylor]: Taking taylor expansion of z in y 2.011 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 2.011 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 2.011 * [taylor]: Taking taylor expansion of 0.0625 in t 2.011 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.011 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.011 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.011 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.011 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.011 * [taylor]: Taking taylor expansion of -1 in t 2.011 * [taylor]: Taking taylor expansion of y in t 2.011 * [taylor]: Taking taylor expansion of 2.0 in t 2.011 * [taylor]: Taking taylor expansion of 1.0 in t 2.011 * [taylor]: Taking taylor expansion of (* t z) in t 2.011 * [taylor]: Taking taylor expansion of t in t 2.011 * [taylor]: Taking taylor expansion of z in t 2.012 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 2.012 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 2.012 * [taylor]: Taking taylor expansion of 0.0625 in t 2.012 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.012 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.013 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.013 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.013 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.013 * [taylor]: Taking taylor expansion of -1 in t 2.013 * [taylor]: Taking taylor expansion of y in t 2.013 * [taylor]: Taking taylor expansion of 2.0 in t 2.013 * [taylor]: Taking taylor expansion of 1.0 in t 2.013 * [taylor]: Taking taylor expansion of (* t z) in t 2.013 * [taylor]: Taking taylor expansion of t in t 2.013 * [taylor]: Taking taylor expansion of z in t 2.014 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 2.014 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 2.014 * [taylor]: Taking taylor expansion of 0.0625 in y 2.014 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.014 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.014 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.014 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.014 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.014 * [taylor]: Taking taylor expansion of -1 in y 2.014 * [taylor]: Taking taylor expansion of y in y 2.014 * [taylor]: Taking taylor expansion of 2.0 in y 2.014 * [taylor]: Taking taylor expansion of 1.0 in y 2.014 * [taylor]: Taking taylor expansion of (* t z) in y 2.014 * [taylor]: Taking taylor expansion of t in y 2.014 * [taylor]: Taking taylor expansion of z in y 2.015 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 2.016 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 2.016 * [taylor]: Taking taylor expansion of 0.0625 in z 2.016 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.016 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.016 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.016 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.016 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.016 * [taylor]: Taking taylor expansion of -1 in z 2.016 * [taylor]: Taking taylor expansion of y in z 2.016 * [taylor]: Taking taylor expansion of 2.0 in z 2.016 * [taylor]: Taking taylor expansion of 1.0 in z 2.016 * [taylor]: Taking taylor expansion of (* t z) in z 2.016 * [taylor]: Taking taylor expansion of t in z 2.016 * [taylor]: Taking taylor expansion of z in z 2.017 * [taylor]: Taking taylor expansion of 0 in y 2.017 * [taylor]: Taking taylor expansion of 0 in z 2.017 * [taylor]: Taking taylor expansion of 0 in z 2.017 * [taylor]: Taking taylor expansion of 0 in y 2.017 * [taylor]: Taking taylor expansion of 0 in z 2.017 * [taylor]: Taking taylor expansion of 0 in z 2.017 * [taylor]: Taking taylor expansion of 0 in z 2.017 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 2.018 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in (a b t) around 0 2.018 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in t 2.018 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in t 2.018 * [taylor]: Taking taylor expansion of 0.0625 in t 2.018 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in t 2.018 * [taylor]: Taking taylor expansion of t in t 2.018 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in t 2.018 * [taylor]: Taking taylor expansion of b in t 2.018 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in t 2.018 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.018 * [taylor]: Taking taylor expansion of (* a 2.0) in t 2.018 * [taylor]: Taking taylor expansion of a in t 2.018 * [taylor]: Taking taylor expansion of 2.0 in t 2.018 * [taylor]: Taking taylor expansion of 1.0 in t 2.020 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in b 2.020 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in b 2.020 * [taylor]: Taking taylor expansion of 0.0625 in b 2.020 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in b 2.020 * [taylor]: Taking taylor expansion of t in b 2.020 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in b 2.020 * [taylor]: Taking taylor expansion of b in b 2.020 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in b 2.020 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.020 * [taylor]: Taking taylor expansion of (* a 2.0) in b 2.020 * [taylor]: Taking taylor expansion of a in b 2.020 * [taylor]: Taking taylor expansion of 2.0 in b 2.020 * [taylor]: Taking taylor expansion of 1.0 in b 2.022 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in a 2.022 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in a 2.022 * [taylor]: Taking taylor expansion of 0.0625 in a 2.023 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.023 * [taylor]: Taking taylor expansion of t in a 2.023 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.023 * [taylor]: Taking taylor expansion of b in a 2.023 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.023 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.023 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.023 * [taylor]: Taking taylor expansion of a in a 2.023 * [taylor]: Taking taylor expansion of 2.0 in a 2.023 * [taylor]: Taking taylor expansion of 1.0 in a 2.024 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in a 2.024 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in a 2.024 * [taylor]: Taking taylor expansion of 0.0625 in a 2.024 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.024 * [taylor]: Taking taylor expansion of t in a 2.024 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.024 * [taylor]: Taking taylor expansion of b in a 2.024 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.024 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.024 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.024 * [taylor]: Taking taylor expansion of a in a 2.024 * [taylor]: Taking taylor expansion of 2.0 in a 2.024 * [taylor]: Taking taylor expansion of 1.0 in a 2.025 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 2.025 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 2.026 * [taylor]: Taking taylor expansion of 0.0625 in b 2.026 * [taylor]: Taking taylor expansion of (* t b) in b 2.026 * [taylor]: Taking taylor expansion of t in b 2.026 * [taylor]: Taking taylor expansion of b in b 2.026 * [taylor]: Taking taylor expansion of 1 in t 2.030 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 2.030 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 2.030 * [taylor]: Taking taylor expansion of 0.125 in b 2.030 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 2.030 * [taylor]: Taking taylor expansion of t in b 2.030 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 2.030 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 2.030 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 2.030 * [taylor]: Taking taylor expansion of 0.0625 in b 2.030 * [taylor]: Taking taylor expansion of (* t b) in b 2.030 * [taylor]: Taking taylor expansion of t in b 2.030 * [taylor]: Taking taylor expansion of b in b 2.031 * [taylor]: Taking taylor expansion of b in b 2.032 * [taylor]: Taking taylor expansion of 0 in t 2.032 * [taylor]: Taking taylor expansion of 0 in t 2.037 * [taylor]: Taking taylor expansion of (- (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2))))) in b 2.037 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2)))) in b 2.037 * [taylor]: Taking taylor expansion of 0.0078125 in b 2.037 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2))) in b 2.037 * [taylor]: Taking taylor expansion of (pow t 2) in b 2.037 * [taylor]: Taking taylor expansion of t in b 2.037 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t b))) (pow b 2)) in b 2.037 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 2.037 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 2.037 * [taylor]: Taking taylor expansion of 0.0625 in b 2.037 * [taylor]: Taking taylor expansion of (* t b) in b 2.037 * [taylor]: Taking taylor expansion of t in b 2.037 * [taylor]: Taking taylor expansion of b in b 2.038 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.038 * [taylor]: Taking taylor expansion of b in b 2.039 * [taylor]: Taking taylor expansion of 0 in t 2.040 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow t 2))) in t 2.040 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow t 2)) in t 2.040 * [taylor]: Taking taylor expansion of 0.001953125 in t 2.040 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.040 * [taylor]: Taking taylor expansion of t in t 2.040 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in (a b t) around 0 2.040 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in t 2.040 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in t 2.040 * [taylor]: Taking taylor expansion of 0.0625 in t 2.040 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.040 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.040 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.040 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.040 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.040 * [taylor]: Taking taylor expansion of a in t 2.040 * [taylor]: Taking taylor expansion of 2.0 in t 2.040 * [taylor]: Taking taylor expansion of 1.0 in t 2.040 * [taylor]: Taking taylor expansion of (* t b) in t 2.040 * [taylor]: Taking taylor expansion of t in t 2.040 * [taylor]: Taking taylor expansion of b in t 2.041 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in b 2.041 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in b 2.041 * [taylor]: Taking taylor expansion of 0.0625 in b 2.041 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.041 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.041 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.041 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.041 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.041 * [taylor]: Taking taylor expansion of a in b 2.042 * [taylor]: Taking taylor expansion of 2.0 in b 2.042 * [taylor]: Taking taylor expansion of 1.0 in b 2.042 * [taylor]: Taking taylor expansion of (* t b) in b 2.042 * [taylor]: Taking taylor expansion of t in b 2.042 * [taylor]: Taking taylor expansion of b in b 2.042 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in a 2.042 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in a 2.042 * [taylor]: Taking taylor expansion of 0.0625 in a 2.042 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.043 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.043 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.043 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.043 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.043 * [taylor]: Taking taylor expansion of a in a 2.043 * [taylor]: Taking taylor expansion of 2.0 in a 2.043 * [taylor]: Taking taylor expansion of 1.0 in a 2.043 * [taylor]: Taking taylor expansion of (* t b) in a 2.043 * [taylor]: Taking taylor expansion of t in a 2.043 * [taylor]: Taking taylor expansion of b in a 2.044 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in a 2.044 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in a 2.044 * [taylor]: Taking taylor expansion of 0.0625 in a 2.044 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.044 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.044 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.045 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.045 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.045 * [taylor]: Taking taylor expansion of a in a 2.045 * [taylor]: Taking taylor expansion of 2.0 in a 2.045 * [taylor]: Taking taylor expansion of 1.0 in a 2.045 * [taylor]: Taking taylor expansion of (* t b) in a 2.045 * [taylor]: Taking taylor expansion of t in a 2.045 * [taylor]: Taking taylor expansion of b in a 2.046 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in b 2.046 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in b 2.046 * [taylor]: Taking taylor expansion of 0.0625 in b 2.046 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.046 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.046 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.046 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.046 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.046 * [taylor]: Taking taylor expansion of a in b 2.046 * [taylor]: Taking taylor expansion of 2.0 in b 2.046 * [taylor]: Taking taylor expansion of 1.0 in b 2.046 * [taylor]: Taking taylor expansion of (* t b) in b 2.046 * [taylor]: Taking taylor expansion of t in b 2.046 * [taylor]: Taking taylor expansion of b in b 2.047 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in t 2.047 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in t 2.047 * [taylor]: Taking taylor expansion of 0.0625 in t 2.047 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.047 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.047 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.047 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.047 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.047 * [taylor]: Taking taylor expansion of a in t 2.047 * [taylor]: Taking taylor expansion of 2.0 in t 2.047 * [taylor]: Taking taylor expansion of 1.0 in t 2.047 * [taylor]: Taking taylor expansion of (* t b) in t 2.048 * [taylor]: Taking taylor expansion of t in t 2.048 * [taylor]: Taking taylor expansion of b in t 2.048 * [taylor]: Taking taylor expansion of 0 in b 2.048 * [taylor]: Taking taylor expansion of 0 in t 2.048 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [taylor]: Taking taylor expansion of 0 in b 2.049 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in (a b t) around 0 2.049 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in t 2.049 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in t 2.049 * [taylor]: Taking taylor expansion of 0.0625 in t 2.049 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.049 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.049 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.049 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.049 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.049 * [taylor]: Taking taylor expansion of -1 in t 2.049 * [taylor]: Taking taylor expansion of a in t 2.049 * [taylor]: Taking taylor expansion of 2.0 in t 2.049 * [taylor]: Taking taylor expansion of 1.0 in t 2.049 * [taylor]: Taking taylor expansion of (* t b) in t 2.049 * [taylor]: Taking taylor expansion of t in t 2.049 * [taylor]: Taking taylor expansion of b in t 2.050 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in b 2.050 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in b 2.050 * [taylor]: Taking taylor expansion of 0.0625 in b 2.050 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.050 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.050 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.051 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.051 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.051 * [taylor]: Taking taylor expansion of -1 in b 2.051 * [taylor]: Taking taylor expansion of a in b 2.051 * [taylor]: Taking taylor expansion of 2.0 in b 2.051 * [taylor]: Taking taylor expansion of 1.0 in b 2.051 * [taylor]: Taking taylor expansion of (* t b) in b 2.051 * [taylor]: Taking taylor expansion of t in b 2.051 * [taylor]: Taking taylor expansion of b in b 2.051 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in a 2.051 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in a 2.052 * [taylor]: Taking taylor expansion of 0.0625 in a 2.052 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.052 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.052 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.052 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.052 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.052 * [taylor]: Taking taylor expansion of -1 in a 2.052 * [taylor]: Taking taylor expansion of a in a 2.052 * [taylor]: Taking taylor expansion of 2.0 in a 2.052 * [taylor]: Taking taylor expansion of 1.0 in a 2.052 * [taylor]: Taking taylor expansion of (* t b) in a 2.052 * [taylor]: Taking taylor expansion of t in a 2.052 * [taylor]: Taking taylor expansion of b in a 2.053 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in a 2.053 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in a 2.053 * [taylor]: Taking taylor expansion of 0.0625 in a 2.053 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.053 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.054 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.054 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.054 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.054 * [taylor]: Taking taylor expansion of -1 in a 2.054 * [taylor]: Taking taylor expansion of a in a 2.054 * [taylor]: Taking taylor expansion of 2.0 in a 2.054 * [taylor]: Taking taylor expansion of 1.0 in a 2.054 * [taylor]: Taking taylor expansion of (* t b) in a 2.054 * [taylor]: Taking taylor expansion of t in a 2.054 * [taylor]: Taking taylor expansion of b in a 2.055 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in b 2.055 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in b 2.055 * [taylor]: Taking taylor expansion of 0.0625 in b 2.055 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.055 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.056 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.056 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.056 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.056 * [taylor]: Taking taylor expansion of -1 in b 2.056 * [taylor]: Taking taylor expansion of a in b 2.056 * [taylor]: Taking taylor expansion of 2.0 in b 2.056 * [taylor]: Taking taylor expansion of 1.0 in b 2.056 * [taylor]: Taking taylor expansion of (* t b) in b 2.056 * [taylor]: Taking taylor expansion of t in b 2.056 * [taylor]: Taking taylor expansion of b in b 2.057 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in t 2.057 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in t 2.057 * [taylor]: Taking taylor expansion of 0.0625 in t 2.057 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.057 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.057 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.057 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.057 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.057 * [taylor]: Taking taylor expansion of -1 in t 2.057 * [taylor]: Taking taylor expansion of a in t 2.057 * [taylor]: Taking taylor expansion of 2.0 in t 2.057 * [taylor]: Taking taylor expansion of 1.0 in t 2.057 * [taylor]: Taking taylor expansion of (* t b) in t 2.057 * [taylor]: Taking taylor expansion of t in t 2.057 * [taylor]: Taking taylor expansion of b in t 2.058 * [taylor]: Taking taylor expansion of 0 in b 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [taylor]: Taking taylor expansion of 0 in b 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.058 * [approximate]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in (a b t) around 0 2.058 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in t 2.058 * [taylor]: Taking taylor expansion of t in t 2.058 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in t 2.058 * [taylor]: Taking taylor expansion of b in t 2.058 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in t 2.059 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.059 * [taylor]: Taking taylor expansion of (* a 2.0) in t 2.059 * [taylor]: Taking taylor expansion of a in t 2.059 * [taylor]: Taking taylor expansion of 2.0 in t 2.059 * [taylor]: Taking taylor expansion of 1.0 in t 2.059 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in b 2.059 * [taylor]: Taking taylor expansion of t in b 2.059 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in b 2.059 * [taylor]: Taking taylor expansion of b in b 2.059 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in b 2.059 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.059 * [taylor]: Taking taylor expansion of (* a 2.0) in b 2.059 * [taylor]: Taking taylor expansion of a in b 2.059 * [taylor]: Taking taylor expansion of 2.0 in b 2.059 * [taylor]: Taking taylor expansion of 1.0 in b 2.059 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.059 * [taylor]: Taking taylor expansion of t in a 2.059 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.059 * [taylor]: Taking taylor expansion of b in a 2.059 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.059 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.059 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.059 * [taylor]: Taking taylor expansion of a in a 2.059 * [taylor]: Taking taylor expansion of 2.0 in a 2.059 * [taylor]: Taking taylor expansion of 1.0 in a 2.059 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.059 * [taylor]: Taking taylor expansion of t in a 2.059 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.059 * [taylor]: Taking taylor expansion of b in a 2.059 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.059 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.059 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.059 * [taylor]: Taking taylor expansion of a in a 2.059 * [taylor]: Taking taylor expansion of 2.0 in a 2.059 * [taylor]: Taking taylor expansion of 1.0 in a 2.060 * [taylor]: Taking taylor expansion of (* 1.0 (* t b)) in b 2.060 * [taylor]: Taking taylor expansion of 1.0 in b 2.060 * [taylor]: Taking taylor expansion of (* t b) in b 2.060 * [taylor]: Taking taylor expansion of t in b 2.060 * [taylor]: Taking taylor expansion of b in b 2.061 * [taylor]: Taking taylor expansion of 0 in t 2.062 * [taylor]: Taking taylor expansion of (* 2.0 (* t b)) in b 2.062 * [taylor]: Taking taylor expansion of 2.0 in b 2.062 * [taylor]: Taking taylor expansion of (* t b) in b 2.062 * [taylor]: Taking taylor expansion of t in b 2.062 * [taylor]: Taking taylor expansion of b in b 2.063 * [taylor]: Taking taylor expansion of 0 in t 2.063 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.064 * [taylor]: Taking taylor expansion of 1.0 in t 2.064 * [taylor]: Taking taylor expansion of t in t 2.071 * [taylor]: Taking taylor expansion of 0 in b 2.071 * [taylor]: Taking taylor expansion of 0 in t 2.071 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 2.071 * [taylor]: Taking taylor expansion of 2.0 in t 2.071 * [taylor]: Taking taylor expansion of t in t 2.072 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in (a b t) around 0 2.072 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.072 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.072 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.072 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.072 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.072 * [taylor]: Taking taylor expansion of a in t 2.072 * [taylor]: Taking taylor expansion of 2.0 in t 2.072 * [taylor]: Taking taylor expansion of 1.0 in t 2.072 * [taylor]: Taking taylor expansion of (* t b) in t 2.072 * [taylor]: Taking taylor expansion of t in t 2.072 * [taylor]: Taking taylor expansion of b in t 2.073 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.073 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.073 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.073 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.073 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.073 * [taylor]: Taking taylor expansion of a in b 2.073 * [taylor]: Taking taylor expansion of 2.0 in b 2.073 * [taylor]: Taking taylor expansion of 1.0 in b 2.073 * [taylor]: Taking taylor expansion of (* t b) in b 2.073 * [taylor]: Taking taylor expansion of t in b 2.073 * [taylor]: Taking taylor expansion of b in b 2.074 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.074 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.074 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.074 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.074 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.074 * [taylor]: Taking taylor expansion of a in a 2.074 * [taylor]: Taking taylor expansion of 2.0 in a 2.074 * [taylor]: Taking taylor expansion of 1.0 in a 2.074 * [taylor]: Taking taylor expansion of (* t b) in a 2.074 * [taylor]: Taking taylor expansion of t in a 2.074 * [taylor]: Taking taylor expansion of b in a 2.075 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.075 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.075 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.075 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.075 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.075 * [taylor]: Taking taylor expansion of a in a 2.076 * [taylor]: Taking taylor expansion of 2.0 in a 2.076 * [taylor]: Taking taylor expansion of 1.0 in a 2.076 * [taylor]: Taking taylor expansion of (* t b) in a 2.076 * [taylor]: Taking taylor expansion of t in a 2.076 * [taylor]: Taking taylor expansion of b in a 2.076 * [taylor]: Taking taylor expansion of (/ 2.0 (* t b)) in b 2.077 * [taylor]: Taking taylor expansion of 2.0 in b 2.077 * [taylor]: Taking taylor expansion of (* t b) in b 2.077 * [taylor]: Taking taylor expansion of t in b 2.077 * [taylor]: Taking taylor expansion of b in b 2.077 * [taylor]: Taking taylor expansion of (/ 2.0 t) in t 2.077 * [taylor]: Taking taylor expansion of 2.0 in t 2.077 * [taylor]: Taking taylor expansion of t in t 2.079 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t b))) in b 2.079 * [taylor]: Taking taylor expansion of 1.0 in b 2.079 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 2.079 * [taylor]: Taking taylor expansion of (* t b) in b 2.079 * [taylor]: Taking taylor expansion of t in b 2.079 * [taylor]: Taking taylor expansion of b in b 2.079 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t 2.079 * [taylor]: Taking taylor expansion of 1.0 in t 2.079 * [taylor]: Taking taylor expansion of t in t 2.080 * [taylor]: Taking taylor expansion of 0 in t 2.083 * [taylor]: Taking taylor expansion of 0 in b 2.084 * [taylor]: Taking taylor expansion of 0 in t 2.084 * [taylor]: Taking taylor expansion of 0 in t 2.088 * [taylor]: Taking taylor expansion of 0 in b 2.088 * [taylor]: Taking taylor expansion of 0 in t 2.089 * [taylor]: Taking taylor expansion of 0 in t 2.090 * [taylor]: Taking taylor expansion of 0 in t 2.090 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in (a b t) around 0 2.090 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.090 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.091 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.091 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.091 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.091 * [taylor]: Taking taylor expansion of -1 in t 2.091 * [taylor]: Taking taylor expansion of a in t 2.091 * [taylor]: Taking taylor expansion of 2.0 in t 2.091 * [taylor]: Taking taylor expansion of 1.0 in t 2.091 * [taylor]: Taking taylor expansion of (* t b) in t 2.091 * [taylor]: Taking taylor expansion of t in t 2.091 * [taylor]: Taking taylor expansion of b in t 2.091 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.091 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.092 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.092 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.092 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.092 * [taylor]: Taking taylor expansion of -1 in b 2.092 * [taylor]: Taking taylor expansion of a in b 2.092 * [taylor]: Taking taylor expansion of 2.0 in b 2.092 * [taylor]: Taking taylor expansion of 1.0 in b 2.092 * [taylor]: Taking taylor expansion of (* t b) in b 2.092 * [taylor]: Taking taylor expansion of t in b 2.092 * [taylor]: Taking taylor expansion of b in b 2.092 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.092 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.092 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.093 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.093 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.093 * [taylor]: Taking taylor expansion of -1 in a 2.093 * [taylor]: Taking taylor expansion of a in a 2.093 * [taylor]: Taking taylor expansion of 2.0 in a 2.093 * [taylor]: Taking taylor expansion of 1.0 in a 2.093 * [taylor]: Taking taylor expansion of (* t b) in a 2.093 * [taylor]: Taking taylor expansion of t in a 2.093 * [taylor]: Taking taylor expansion of b in a 2.094 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.094 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.094 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.094 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.094 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.094 * [taylor]: Taking taylor expansion of -1 in a 2.094 * [taylor]: Taking taylor expansion of a in a 2.095 * [taylor]: Taking taylor expansion of 2.0 in a 2.095 * [taylor]: Taking taylor expansion of 1.0 in a 2.095 * [taylor]: Taking taylor expansion of (* t b) in a 2.095 * [taylor]: Taking taylor expansion of t in a 2.095 * [taylor]: Taking taylor expansion of b in a 2.096 * [taylor]: Taking taylor expansion of (/ -2.0 (* t b)) in b 2.096 * [taylor]: Taking taylor expansion of -2.0 in b 2.096 * [taylor]: Taking taylor expansion of (* t b) in b 2.096 * [taylor]: Taking taylor expansion of t in b 2.096 * [taylor]: Taking taylor expansion of b in b 2.096 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t 2.096 * [taylor]: Taking taylor expansion of -2.0 in t 2.096 * [taylor]: Taking taylor expansion of t in t 2.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t b))) in b 2.098 * [taylor]: Taking taylor expansion of 1.0 in b 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 2.098 * [taylor]: Taking taylor expansion of (* t b) in b 2.098 * [taylor]: Taking taylor expansion of t in b 2.098 * [taylor]: Taking taylor expansion of b in b 2.099 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t 2.099 * [taylor]: Taking taylor expansion of 1.0 in t 2.099 * [taylor]: Taking taylor expansion of t in t 2.100 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in b 2.103 * [taylor]: Taking taylor expansion of 0 in t 2.104 * [taylor]: Taking taylor expansion of 0 in t 2.107 * [taylor]: Taking taylor expansion of 0 in b 2.108 * [taylor]: Taking taylor expansion of 0 in t 2.109 * [taylor]: Taking taylor expansion of 0 in t 2.110 * [taylor]: Taking taylor expansion of 0 in t 2.110 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 2.110 * [approximate]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in (t y z) around 0 2.110 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 2.110 * [taylor]: Taking taylor expansion of t in z 2.110 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 2.110 * [taylor]: Taking taylor expansion of z in z 2.110 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 2.110 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.110 * [taylor]: Taking taylor expansion of (* y 2.0) in z 2.110 * [taylor]: Taking taylor expansion of y in z 2.110 * [taylor]: Taking taylor expansion of 2.0 in z 2.110 * [taylor]: Taking taylor expansion of 1.0 in z 2.110 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 2.110 * [taylor]: Taking taylor expansion of t in y 2.110 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 2.110 * [taylor]: Taking taylor expansion of z in y 2.111 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 2.111 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.111 * [taylor]: Taking taylor expansion of (* y 2.0) in y 2.111 * [taylor]: Taking taylor expansion of y in y 2.111 * [taylor]: Taking taylor expansion of 2.0 in y 2.111 * [taylor]: Taking taylor expansion of 1.0 in y 2.111 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.111 * [taylor]: Taking taylor expansion of t in t 2.111 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.111 * [taylor]: Taking taylor expansion of z in t 2.111 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.111 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.111 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.111 * [taylor]: Taking taylor expansion of y in t 2.111 * [taylor]: Taking taylor expansion of 2.0 in t 2.111 * [taylor]: Taking taylor expansion of 1.0 in t 2.111 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.111 * [taylor]: Taking taylor expansion of t in t 2.111 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.111 * [taylor]: Taking taylor expansion of z in t 2.111 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.111 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.111 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.111 * [taylor]: Taking taylor expansion of y in t 2.111 * [taylor]: Taking taylor expansion of 2.0 in t 2.111 * [taylor]: Taking taylor expansion of 1.0 in t 2.111 * [taylor]: Taking taylor expansion of 0 in y 2.111 * [taylor]: Taking taylor expansion of 0 in z 2.113 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* z y)) (* 1.0 z)) in y 2.113 * [taylor]: Taking taylor expansion of (* 2.0 (* z y)) in y 2.113 * [taylor]: Taking taylor expansion of 2.0 in y 2.113 * [taylor]: Taking taylor expansion of (* z y) in y 2.113 * [taylor]: Taking taylor expansion of z in y 2.113 * [taylor]: Taking taylor expansion of y in y 2.113 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 2.113 * [taylor]: Taking taylor expansion of 1.0 in y 2.113 * [taylor]: Taking taylor expansion of z in y 2.113 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 2.113 * [taylor]: Taking taylor expansion of 1.0 in z 2.113 * [taylor]: Taking taylor expansion of z in z 2.114 * [taylor]: Taking taylor expansion of 0 in z 2.115 * [taylor]: Taking taylor expansion of 0 in y 2.115 * [taylor]: Taking taylor expansion of 0 in z 2.116 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 2.116 * [taylor]: Taking taylor expansion of 2.0 in z 2.116 * [taylor]: Taking taylor expansion of z in z 2.117 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in (t y z) around 0 2.117 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 2.117 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 2.117 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.117 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 2.117 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.117 * [taylor]: Taking taylor expansion of y in z 2.117 * [taylor]: Taking taylor expansion of 2.0 in z 2.117 * [taylor]: Taking taylor expansion of 1.0 in z 2.117 * [taylor]: Taking taylor expansion of (* t z) in z 2.117 * [taylor]: Taking taylor expansion of t in z 2.117 * [taylor]: Taking taylor expansion of z in z 2.118 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.118 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.118 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.118 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.118 * [taylor]: Taking taylor expansion of y in y 2.118 * [taylor]: Taking taylor expansion of 2.0 in y 2.118 * [taylor]: Taking taylor expansion of 1.0 in y 2.118 * [taylor]: Taking taylor expansion of (* t z) in y 2.118 * [taylor]: Taking taylor expansion of t in y 2.118 * [taylor]: Taking taylor expansion of z in y 2.119 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.119 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.119 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.119 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.119 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.119 * [taylor]: Taking taylor expansion of y in t 2.119 * [taylor]: Taking taylor expansion of 2.0 in t 2.119 * [taylor]: Taking taylor expansion of 1.0 in t 2.119 * [taylor]: Taking taylor expansion of (* t z) in t 2.119 * [taylor]: Taking taylor expansion of t in t 2.119 * [taylor]: Taking taylor expansion of z in t 2.120 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.120 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.120 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.120 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.120 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.120 * [taylor]: Taking taylor expansion of y in t 2.120 * [taylor]: Taking taylor expansion of 2.0 in t 2.120 * [taylor]: Taking taylor expansion of 1.0 in t 2.120 * [taylor]: Taking taylor expansion of (* t z) in t 2.120 * [taylor]: Taking taylor expansion of t in t 2.120 * [taylor]: Taking taylor expansion of z in t 2.121 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) z) in y 2.121 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y 2.121 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 2.121 * [taylor]: Taking taylor expansion of 2.0 in y 2.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.121 * [taylor]: Taking taylor expansion of y in y 2.121 * [taylor]: Taking taylor expansion of 1.0 in y 2.121 * [taylor]: Taking taylor expansion of z in y 2.122 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 2.122 * [taylor]: Taking taylor expansion of 2.0 in z 2.122 * [taylor]: Taking taylor expansion of z in z 2.124 * [taylor]: Taking taylor expansion of 0 in y 2.125 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 2.125 * [taylor]: Taking taylor expansion of 1.0 in z 2.125 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.125 * [taylor]: Taking taylor expansion of z in z 2.128 * [taylor]: Taking taylor expansion of 0 in y 2.128 * [taylor]: Taking taylor expansion of 0 in z 2.130 * [taylor]: Taking taylor expansion of 0 in z 2.134 * [taylor]: Taking taylor expansion of 0 in y 2.134 * [taylor]: Taking taylor expansion of 0 in z 2.134 * [taylor]: Taking taylor expansion of 0 in z 2.135 * [taylor]: Taking taylor expansion of 0 in z 2.137 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in (t y z) around 0 2.137 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.137 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.137 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.137 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.137 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.137 * [taylor]: Taking taylor expansion of -1 in z 2.137 * [taylor]: Taking taylor expansion of y in z 2.137 * [taylor]: Taking taylor expansion of 2.0 in z 2.137 * [taylor]: Taking taylor expansion of 1.0 in z 2.137 * [taylor]: Taking taylor expansion of (* t z) in z 2.137 * [taylor]: Taking taylor expansion of t in z 2.137 * [taylor]: Taking taylor expansion of z in z 2.138 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.138 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.138 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.138 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.138 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.138 * [taylor]: Taking taylor expansion of -1 in y 2.138 * [taylor]: Taking taylor expansion of y in y 2.139 * [taylor]: Taking taylor expansion of 2.0 in y 2.139 * [taylor]: Taking taylor expansion of 1.0 in y 2.139 * [taylor]: Taking taylor expansion of (* t z) in y 2.139 * [taylor]: Taking taylor expansion of t in y 2.139 * [taylor]: Taking taylor expansion of z in y 2.140 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.140 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.140 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.140 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.140 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.140 * [taylor]: Taking taylor expansion of -1 in t 2.140 * [taylor]: Taking taylor expansion of y in t 2.140 * [taylor]: Taking taylor expansion of 2.0 in t 2.140 * [taylor]: Taking taylor expansion of 1.0 in t 2.140 * [taylor]: Taking taylor expansion of (* t z) in t 2.140 * [taylor]: Taking taylor expansion of t in t 2.140 * [taylor]: Taking taylor expansion of z in t 2.141 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.141 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.141 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.141 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.141 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.141 * [taylor]: Taking taylor expansion of -1 in t 2.141 * [taylor]: Taking taylor expansion of y in t 2.141 * [taylor]: Taking taylor expansion of 2.0 in t 2.141 * [taylor]: Taking taylor expansion of 1.0 in t 2.141 * [taylor]: Taking taylor expansion of (* t z) in t 2.141 * [taylor]: Taking taylor expansion of t in t 2.141 * [taylor]: Taking taylor expansion of z in t 2.142 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) z) in y 2.142 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y 2.142 * [taylor]: Taking taylor expansion of 1.0 in y 2.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 2.142 * [taylor]: Taking taylor expansion of 2.0 in y 2.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.142 * [taylor]: Taking taylor expansion of y in y 2.142 * [taylor]: Taking taylor expansion of z in y 2.143 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z 2.144 * [taylor]: Taking taylor expansion of -2.0 in z 2.144 * [taylor]: Taking taylor expansion of z in z 2.145 * [taylor]: Taking taylor expansion of 0 in y 2.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 2.147 * [taylor]: Taking taylor expansion of 1.0 in z 2.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.147 * [taylor]: Taking taylor expansion of z in z 2.150 * [taylor]: Taking taylor expansion of 0 in y 2.150 * [taylor]: Taking taylor expansion of 0 in z 2.152 * [taylor]: Taking taylor expansion of 0 in z 2.155 * [taylor]: Taking taylor expansion of 0 in y 2.155 * [taylor]: Taking taylor expansion of 0 in z 2.155 * [taylor]: Taking taylor expansion of 0 in z 2.157 * [taylor]: Taking taylor expansion of 0 in z 2.159 * * * [progress]: simplifying candidates 2.160 * [simplify]: Simplifying using # : (expm1 (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (log1p (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (log (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (exp (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* (* (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)) (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (expm1 (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (log1p (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (log (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (exp (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (* (cbrt (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (cbrt (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)))) (cbrt (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (* (* (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (sqrt (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (sqrt (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0))) (expm1 (* (* (fma a 2.0 1.0) b) t)) (log1p (* (* (fma a 2.0 1.0) b) t)) (* (* (fma a 2.0 1.0) b) t) (* (* (fma a 2.0 1.0) b) t) (+ (+ (log (fma a 2.0 1.0)) (log b)) (log t)) (+ (log (* (fma a 2.0 1.0) b)) (log t)) (log (* (* (fma a 2.0 1.0) b) t)) (exp (* (* (fma a 2.0 1.0) b) t)) (* (* (* (* (fma a 2.0 1.0) (fma a 2.0 1.0)) (fma a 2.0 1.0)) (* (* b b) b)) (* (* t t) t)) (* (* (* (* (fma a 2.0 1.0) b) (* (fma a 2.0 1.0) b)) (* (fma a 2.0 1.0) b)) (* (* t t) t)) (* (cbrt (* (* (fma a 2.0 1.0) b) t)) (cbrt (* (* (fma a 2.0 1.0) b) t))) (cbrt (* (* (fma a 2.0 1.0) b) t)) (* (* (* (* (fma a 2.0 1.0) b) t) (* (* (fma a 2.0 1.0) b) t)) (* (* (fma a 2.0 1.0) b) t)) (sqrt (* (* (fma a 2.0 1.0) b) t)) (sqrt (* (* (fma a 2.0 1.0) b) t)) (* (* (fma a 2.0 1.0) b) (* (cbrt t) (cbrt t))) (* (* (fma a 2.0 1.0) b) (sqrt t)) (* (* (fma a 2.0 1.0) b) 1) (* b t) (expm1 (* t (* (fma y 2.0 1.0) z))) (log1p (* t (* (fma y 2.0 1.0) z))) (* t (* (fma y 2.0 1.0) z)) (* t (* (fma y 2.0 1.0) z)) (+ (log t) (+ (log (fma y 2.0 1.0)) (log z))) (+ (log t) (log (* (fma y 2.0 1.0) z))) (log (* t (* (fma y 2.0 1.0) z))) (exp (* t (* (fma y 2.0 1.0) z))) (* (* (* t t) t) (* (* (* (fma y 2.0 1.0) (fma y 2.0 1.0)) (fma y 2.0 1.0)) (* (* z z) z))) (* (* (* t t) t) (* (* (* (fma y 2.0 1.0) z) (* (fma y 2.0 1.0) z)) (* (fma y 2.0 1.0) z))) (* (cbrt (* t (* (fma y 2.0 1.0) z))) (cbrt (* t (* (fma y 2.0 1.0) z)))) (cbrt (* t (* (fma y 2.0 1.0) z))) (* (* (* t (* (fma y 2.0 1.0) z)) (* t (* (fma y 2.0 1.0) z))) (* t (* (fma y 2.0 1.0) z))) (sqrt (* t (* (fma y 2.0 1.0) z))) (sqrt (* t (* (fma y 2.0 1.0) z))) (* t (fma y 2.0 1.0)) (* (cbrt t) (* (fma y 2.0 1.0) z)) (* (sqrt t) (* (fma y 2.0 1.0) z)) (* t (* (fma y 2.0 1.0) z)) 1 (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) 1 (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) 0 (+ (* 2.0 (* t (* a b))) (* 1.0 (* t b))) (+ (* 2.0 (* t (* a b))) (* 1.0 (* t b))) 0 (+ (* 1.0 (* t z)) (* 2.0 (* t (* z y)))) (+ (* 1.0 (* t z)) (* 2.0 (* t (* z y)))) 2.163 * * [simplify]: iteration 0 : 118 enodes (cost 846 ) 2.185 * * [simplify]: iteration 1 : 263 enodes (cost 834 ) 2.244 * * [simplify]: iteration 2 : 1007 enodes (cost 694 )