0.347 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.157 * * * [progress]: [2/2] Setting up program. 0.161 * [progress]: [Phase 2 of 3] Improving. 0.162 * [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.163 * * [simplify]: iteration 0 : 23 enodes (cost 27 ) 0.166 * * [simplify]: iteration 1 : 44 enodes (cost 25 ) 0.172 * * [simplify]: iteration 2 : 100 enodes (cost 25 ) 0.185 * * [simplify]: iteration 3 : 212 enodes (cost 25 ) 0.219 * * [simplify]: iteration 4 : 394 enodes (cost 25 ) 0.286 * * [simplify]: iteration 5 : 630 enodes (cost 25 ) 0.415 * * [simplify]: iteration 6 : 898 enodes (cost 25 ) 0.626 * * [simplify]: iteration 7 : 1159 enodes (cost 25 ) 0.897 * * [simplify]: iteration 8 : 1269 enodes (cost 25 ) 1.209 * * [simplify]: iteration 9 : 1343 enodes (cost 25 ) 1.551 * * [simplify]: iteration 10 : 1371 enodes (cost 25 ) 1.889 * * [simplify]: iteration done : 1371 enodes (cost 25 ) 1.889 * [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.895 * * [progress]: iteration 1 / 4 1.895 * * * [progress]: picking best candidate 1.899 * * * * [pick]: Picked # 1.899 * * * [progress]: localizing error 1.926 * * * [progress]: generating rewritten candidates 1.926 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.928 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.929 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.936 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 1.944 * * * [progress]: generating series expansions 1.944 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.945 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in (t y z) around 0 1.945 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in z 1.945 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in z 1.945 * [taylor]: Taking taylor expansion of 0.0625 in z 1.945 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 1.945 * [taylor]: Taking taylor expansion of t in z 1.945 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 1.945 * [taylor]: Taking taylor expansion of z in z 1.945 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 1.945 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.945 * [taylor]: Taking taylor expansion of (* y 2.0) in z 1.945 * [taylor]: Taking taylor expansion of y in z 1.945 * [taylor]: Taking taylor expansion of 2.0 in z 1.945 * [taylor]: Taking taylor expansion of 1.0 in z 1.947 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in y 1.947 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in y 1.947 * [taylor]: Taking taylor expansion of 0.0625 in y 1.947 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 1.947 * [taylor]: Taking taylor expansion of t in y 1.947 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 1.947 * [taylor]: Taking taylor expansion of z in y 1.948 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 1.948 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.948 * [taylor]: Taking taylor expansion of (* y 2.0) in y 1.948 * [taylor]: Taking taylor expansion of y in y 1.948 * [taylor]: Taking taylor expansion of 2.0 in y 1.948 * [taylor]: Taking taylor expansion of 1.0 in y 1.949 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 1.949 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 1.949 * [taylor]: Taking taylor expansion of 0.0625 in t 1.949 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 1.949 * [taylor]: Taking taylor expansion of t in t 1.949 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 1.949 * [taylor]: Taking taylor expansion of z in t 1.949 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 1.949 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.949 * [taylor]: Taking taylor expansion of (* y 2.0) in t 1.949 * [taylor]: Taking taylor expansion of y in t 1.949 * [taylor]: Taking taylor expansion of 2.0 in t 1.949 * [taylor]: Taking taylor expansion of 1.0 in t 1.951 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 1.951 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 1.951 * [taylor]: Taking taylor expansion of 0.0625 in t 1.951 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 1.951 * [taylor]: Taking taylor expansion of t in t 1.951 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 1.951 * [taylor]: Taking taylor expansion of z in t 1.951 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 1.951 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 1.951 * [taylor]: Taking taylor expansion of (* y 2.0) in t 1.951 * [taylor]: Taking taylor expansion of y in t 1.951 * [taylor]: Taking taylor expansion of 2.0 in t 1.951 * [taylor]: Taking taylor expansion of 1.0 in t 1.953 * [taylor]: Taking taylor expansion of 1 in y 1.953 * [taylor]: Taking taylor expansion of 1 in z 1.953 * [taylor]: Taking taylor expansion of 0 in y 1.953 * [taylor]: Taking taylor expansion of 0 in z 1.953 * [taylor]: Taking taylor expansion of 0 in z 1.954 * [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.954 * [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.954 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) y)) in y 1.954 * [taylor]: Taking taylor expansion of 0.0078125 in y 1.954 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.954 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.954 * [taylor]: Taking taylor expansion of z in y 1.954 * [taylor]: Taking taylor expansion of y in y 1.954 * [taylor]: Taking taylor expansion of (+ (* 0.001953125 (pow z 2)) (* 0.0078125 (* (pow z 2) (pow y 2)))) in y 1.954 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in y 1.954 * [taylor]: Taking taylor expansion of 0.001953125 in y 1.954 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.954 * [taylor]: Taking taylor expansion of z in y 1.954 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) (pow y 2))) in y 1.954 * [taylor]: Taking taylor expansion of 0.0078125 in y 1.954 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 1.954 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.954 * [taylor]: Taking taylor expansion of z in y 1.954 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.954 * [taylor]: Taking taylor expansion of y in y 1.955 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow z 2))) in z 1.955 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in z 1.955 * [taylor]: Taking taylor expansion of 0.001953125 in z 1.955 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.955 * [taylor]: Taking taylor expansion of z in z 1.955 * [taylor]: Taking taylor expansion of 0 in z 1.955 * [taylor]: Taking taylor expansion of 0 in z 1.955 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 1.955 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 1.955 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 1.955 * [taylor]: Taking taylor expansion of 0.0625 in z 1.955 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 1.955 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 1.955 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.955 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 1.955 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.955 * [taylor]: Taking taylor expansion of y in z 1.956 * [taylor]: Taking taylor expansion of 2.0 in z 1.956 * [taylor]: Taking taylor expansion of 1.0 in z 1.956 * [taylor]: Taking taylor expansion of (* t z) in z 1.956 * [taylor]: Taking taylor expansion of t in z 1.956 * [taylor]: Taking taylor expansion of z in z 1.956 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 1.956 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 1.956 * [taylor]: Taking taylor expansion of 0.0625 in y 1.956 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 1.956 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 1.956 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.957 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 1.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.957 * [taylor]: Taking taylor expansion of y in y 1.957 * [taylor]: Taking taylor expansion of 2.0 in y 1.957 * [taylor]: Taking taylor expansion of 1.0 in y 1.957 * [taylor]: Taking taylor expansion of (* t z) in y 1.957 * [taylor]: Taking taylor expansion of t in y 1.957 * [taylor]: Taking taylor expansion of z in y 1.958 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 1.958 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 1.958 * [taylor]: Taking taylor expansion of 0.0625 in t 1.958 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 1.958 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 1.958 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.958 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 1.958 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.958 * [taylor]: Taking taylor expansion of y in t 1.958 * [taylor]: Taking taylor expansion of 2.0 in t 1.958 * [taylor]: Taking taylor expansion of 1.0 in t 1.958 * [taylor]: Taking taylor expansion of (* t z) in t 1.958 * [taylor]: Taking taylor expansion of t in t 1.958 * [taylor]: Taking taylor expansion of z in t 1.959 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 1.959 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 1.959 * [taylor]: Taking taylor expansion of 0.0625 in t 1.959 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 1.959 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 1.959 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.959 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 1.959 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.959 * [taylor]: Taking taylor expansion of y in t 1.959 * [taylor]: Taking taylor expansion of 2.0 in t 1.959 * [taylor]: Taking taylor expansion of 1.0 in t 1.959 * [taylor]: Taking taylor expansion of (* t z) in t 1.959 * [taylor]: Taking taylor expansion of t in t 1.959 * [taylor]: Taking taylor expansion of z in t 1.960 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 1.960 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 1.960 * [taylor]: Taking taylor expansion of 0.0625 in y 1.960 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 1.960 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 1.960 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.960 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 1.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.960 * [taylor]: Taking taylor expansion of y in y 1.960 * [taylor]: Taking taylor expansion of 2.0 in y 1.960 * [taylor]: Taking taylor expansion of 1.0 in y 1.960 * [taylor]: Taking taylor expansion of (* t z) in y 1.960 * [taylor]: Taking taylor expansion of t in y 1.960 * [taylor]: Taking taylor expansion of z in y 1.961 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 1.961 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 1.961 * [taylor]: Taking taylor expansion of 0.0625 in z 1.961 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 1.961 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 1.962 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 1.962 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 1.962 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.962 * [taylor]: Taking taylor expansion of y in z 1.962 * [taylor]: Taking taylor expansion of 2.0 in z 1.962 * [taylor]: Taking taylor expansion of 1.0 in z 1.962 * [taylor]: Taking taylor expansion of (* t z) in z 1.962 * [taylor]: Taking taylor expansion of t in z 1.962 * [taylor]: Taking taylor expansion of z in z 1.962 * [taylor]: Taking taylor expansion of 0 in y 1.962 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [taylor]: Taking taylor expansion of 0 in y 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 1.963 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 1.963 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 1.963 * [taylor]: Taking taylor expansion of 0.0625 in z 1.963 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 1.963 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 1.963 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 1.963 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 1.963 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.963 * [taylor]: Taking taylor expansion of -1 in z 1.963 * [taylor]: Taking taylor expansion of y in z 1.963 * [taylor]: Taking taylor expansion of 2.0 in z 1.963 * [taylor]: Taking taylor expansion of 1.0 in z 1.963 * [taylor]: Taking taylor expansion of (* t z) in z 1.963 * [taylor]: Taking taylor expansion of t in z 1.963 * [taylor]: Taking taylor expansion of z in z 1.964 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 1.964 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 1.964 * [taylor]: Taking taylor expansion of 0.0625 in y 1.964 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 1.964 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 1.964 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 1.964 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 1.964 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.964 * [taylor]: Taking taylor expansion of -1 in y 1.964 * [taylor]: Taking taylor expansion of y in y 1.965 * [taylor]: Taking taylor expansion of 2.0 in y 1.965 * [taylor]: Taking taylor expansion of 1.0 in y 1.965 * [taylor]: Taking taylor expansion of (* t z) in y 1.965 * [taylor]: Taking taylor expansion of t in y 1.965 * [taylor]: Taking taylor expansion of z in y 1.966 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 1.966 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 1.966 * [taylor]: Taking taylor expansion of 0.0625 in t 1.966 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 1.966 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 1.966 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 1.966 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 1.966 * [taylor]: Taking taylor expansion of (/ -1 y) in t 1.966 * [taylor]: Taking taylor expansion of -1 in t 1.966 * [taylor]: Taking taylor expansion of y in t 1.966 * [taylor]: Taking taylor expansion of 2.0 in t 1.966 * [taylor]: Taking taylor expansion of 1.0 in t 1.966 * [taylor]: Taking taylor expansion of (* t z) in t 1.966 * [taylor]: Taking taylor expansion of t in t 1.966 * [taylor]: Taking taylor expansion of z in t 1.967 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 1.967 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 1.967 * [taylor]: Taking taylor expansion of 0.0625 in t 1.967 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 1.967 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 1.967 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 1.967 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 1.967 * [taylor]: Taking taylor expansion of (/ -1 y) in t 1.967 * [taylor]: Taking taylor expansion of -1 in t 1.967 * [taylor]: Taking taylor expansion of y in t 1.967 * [taylor]: Taking taylor expansion of 2.0 in t 1.967 * [taylor]: Taking taylor expansion of 1.0 in t 1.967 * [taylor]: Taking taylor expansion of (* t z) in t 1.967 * [taylor]: Taking taylor expansion of t in t 1.967 * [taylor]: Taking taylor expansion of z in t 1.968 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 1.968 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 1.968 * [taylor]: Taking taylor expansion of 0.0625 in y 1.968 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 1.968 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 1.968 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 1.968 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 1.968 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.968 * [taylor]: Taking taylor expansion of -1 in y 1.968 * [taylor]: Taking taylor expansion of y in y 1.969 * [taylor]: Taking taylor expansion of 2.0 in y 1.969 * [taylor]: Taking taylor expansion of 1.0 in y 1.969 * [taylor]: Taking taylor expansion of (* t z) in y 1.969 * [taylor]: Taking taylor expansion of t in y 1.969 * [taylor]: Taking taylor expansion of z in y 1.970 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 1.970 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 1.970 * [taylor]: Taking taylor expansion of 0.0625 in z 1.970 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 1.970 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 1.970 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 1.970 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 1.970 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.970 * [taylor]: Taking taylor expansion of -1 in z 1.970 * [taylor]: Taking taylor expansion of y in z 1.970 * [taylor]: Taking taylor expansion of 2.0 in z 1.970 * [taylor]: Taking taylor expansion of 1.0 in z 1.970 * [taylor]: Taking taylor expansion of (* t z) in z 1.970 * [taylor]: Taking taylor expansion of t in z 1.970 * [taylor]: Taking taylor expansion of z in z 1.971 * [taylor]: Taking taylor expansion of 0 in y 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in y 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.971 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in (a b t) around 0 1.971 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in t 1.972 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in t 1.972 * [taylor]: Taking taylor expansion of 0.0625 in t 1.972 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in t 1.972 * [taylor]: Taking taylor expansion of t in t 1.972 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in t 1.972 * [taylor]: Taking taylor expansion of b in t 1.972 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in t 1.972 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 1.972 * [taylor]: Taking taylor expansion of (* a 2.0) in t 1.972 * [taylor]: Taking taylor expansion of a in t 1.972 * [taylor]: Taking taylor expansion of 2.0 in t 1.972 * [taylor]: Taking taylor expansion of 1.0 in t 1.974 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in b 1.974 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in b 1.974 * [taylor]: Taking taylor expansion of 0.0625 in b 1.974 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in b 1.974 * [taylor]: Taking taylor expansion of t in b 1.974 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in b 1.974 * [taylor]: Taking taylor expansion of b in b 1.974 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in b 1.974 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 1.974 * [taylor]: Taking taylor expansion of (* a 2.0) in b 1.974 * [taylor]: Taking taylor expansion of a in b 1.974 * [taylor]: Taking taylor expansion of 2.0 in b 1.974 * [taylor]: Taking taylor expansion of 1.0 in b 1.976 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in a 1.976 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in a 1.976 * [taylor]: Taking taylor expansion of 0.0625 in a 1.976 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 1.976 * [taylor]: Taking taylor expansion of t in a 1.976 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 1.976 * [taylor]: Taking taylor expansion of b in a 1.976 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 1.976 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 1.976 * [taylor]: Taking taylor expansion of (* a 2.0) in a 1.976 * [taylor]: Taking taylor expansion of a in a 1.976 * [taylor]: Taking taylor expansion of 2.0 in a 1.976 * [taylor]: Taking taylor expansion of 1.0 in a 1.977 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in a 1.977 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in a 1.977 * [taylor]: Taking taylor expansion of 0.0625 in a 1.977 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 1.977 * [taylor]: Taking taylor expansion of t in a 1.977 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 1.977 * [taylor]: Taking taylor expansion of b in a 1.977 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 1.977 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 1.977 * [taylor]: Taking taylor expansion of (* a 2.0) in a 1.977 * [taylor]: Taking taylor expansion of a in a 1.977 * [taylor]: Taking taylor expansion of 2.0 in a 1.977 * [taylor]: Taking taylor expansion of 1.0 in a 1.979 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 1.979 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 1.979 * [taylor]: Taking taylor expansion of 0.0625 in b 1.979 * [taylor]: Taking taylor expansion of (* t b) in b 1.979 * [taylor]: Taking taylor expansion of t in b 1.979 * [taylor]: Taking taylor expansion of b in b 1.980 * [taylor]: Taking taylor expansion of 1 in t 1.983 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 1.983 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 1.983 * [taylor]: Taking taylor expansion of 0.125 in b 1.983 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 1.983 * [taylor]: Taking taylor expansion of t in b 1.983 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 1.983 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 1.983 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 1.983 * [taylor]: Taking taylor expansion of 0.0625 in b 1.983 * [taylor]: Taking taylor expansion of (* t b) in b 1.983 * [taylor]: Taking taylor expansion of t in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.984 * [taylor]: Taking taylor expansion of b in b 1.985 * [taylor]: Taking taylor expansion of 0 in t 1.985 * [taylor]: Taking taylor expansion of 0 in t 1.989 * [taylor]: Taking taylor expansion of (- (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2))))) in b 1.990 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2)))) in b 1.990 * [taylor]: Taking taylor expansion of 0.0078125 in b 1.990 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2))) in b 1.990 * [taylor]: Taking taylor expansion of (pow t 2) in b 1.990 * [taylor]: Taking taylor expansion of t in b 1.990 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t b))) (pow b 2)) in b 1.990 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 1.990 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 1.990 * [taylor]: Taking taylor expansion of 0.0625 in b 1.990 * [taylor]: Taking taylor expansion of (* t b) in b 1.990 * [taylor]: Taking taylor expansion of t in b 1.990 * [taylor]: Taking taylor expansion of b in b 1.991 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.991 * [taylor]: Taking taylor expansion of b in b 1.992 * [taylor]: Taking taylor expansion of 0 in t 1.992 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow t 2))) in t 1.992 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow t 2)) in t 1.992 * [taylor]: Taking taylor expansion of 0.001953125 in t 1.992 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.992 * [taylor]: Taking taylor expansion of t in t 1.993 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in (a b t) around 0 1.993 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in t 1.993 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in t 1.993 * [taylor]: Taking taylor expansion of 0.0625 in t 1.993 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 1.993 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 1.993 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 1.993 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 1.993 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.993 * [taylor]: Taking taylor expansion of a in t 1.993 * [taylor]: Taking taylor expansion of 2.0 in t 1.993 * [taylor]: Taking taylor expansion of 1.0 in t 1.993 * [taylor]: Taking taylor expansion of (* t b) in t 1.993 * [taylor]: Taking taylor expansion of t in t 1.993 * [taylor]: Taking taylor expansion of b in t 1.994 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in b 1.994 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in b 1.994 * [taylor]: Taking taylor expansion of 0.0625 in b 1.994 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 1.994 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 1.994 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 1.994 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 1.994 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.994 * [taylor]: Taking taylor expansion of a in b 1.994 * [taylor]: Taking taylor expansion of 2.0 in b 1.994 * [taylor]: Taking taylor expansion of 1.0 in b 1.994 * [taylor]: Taking taylor expansion of (* t b) in b 1.994 * [taylor]: Taking taylor expansion of t in b 1.994 * [taylor]: Taking taylor expansion of b in b 1.995 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in a 1.995 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in a 1.995 * [taylor]: Taking taylor expansion of 0.0625 in a 1.995 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 1.995 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 1.995 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 1.995 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 1.995 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.995 * [taylor]: Taking taylor expansion of a in a 1.996 * [taylor]: Taking taylor expansion of 2.0 in a 1.996 * [taylor]: Taking taylor expansion of 1.0 in a 1.996 * [taylor]: Taking taylor expansion of (* t b) in a 1.996 * [taylor]: Taking taylor expansion of t in a 1.996 * [taylor]: Taking taylor expansion of b in a 1.996 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in a 1.996 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in a 1.996 * [taylor]: Taking taylor expansion of 0.0625 in a 1.996 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 1.997 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 1.997 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 1.997 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 1.997 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.997 * [taylor]: Taking taylor expansion of a in a 1.997 * [taylor]: Taking taylor expansion of 2.0 in a 1.997 * [taylor]: Taking taylor expansion of 1.0 in a 1.997 * [taylor]: Taking taylor expansion of (* t b) in a 1.997 * [taylor]: Taking taylor expansion of t in a 1.997 * [taylor]: Taking taylor expansion of b in a 1.998 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in b 1.998 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in b 1.998 * [taylor]: Taking taylor expansion of 0.0625 in b 1.998 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 1.998 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 1.998 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 1.998 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 1.998 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.998 * [taylor]: Taking taylor expansion of a in b 1.998 * [taylor]: Taking taylor expansion of 2.0 in b 1.998 * [taylor]: Taking taylor expansion of 1.0 in b 1.998 * [taylor]: Taking taylor expansion of (* t b) in b 1.998 * [taylor]: Taking taylor expansion of t in b 1.998 * [taylor]: Taking taylor expansion of b in b 1.999 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in t 1.999 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in t 1.999 * [taylor]: Taking taylor expansion of 0.0625 in t 1.999 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 1.999 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 1.999 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 1.999 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 1.999 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.999 * [taylor]: Taking taylor expansion of a in t 1.999 * [taylor]: Taking taylor expansion of 2.0 in t 1.999 * [taylor]: Taking taylor expansion of 1.0 in t 1.999 * [taylor]: Taking taylor expansion of (* t b) in t 1.999 * [taylor]: Taking taylor expansion of t in t 1.999 * [taylor]: Taking taylor expansion of b in t 2.000 * [taylor]: Taking taylor expansion of 0 in b 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in b 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.001 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in (a b t) around 0 2.001 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in t 2.001 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in t 2.001 * [taylor]: Taking taylor expansion of 0.0625 in t 2.001 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.001 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.001 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.001 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.001 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.001 * [taylor]: Taking taylor expansion of -1 in t 2.001 * [taylor]: Taking taylor expansion of a in t 2.001 * [taylor]: Taking taylor expansion of 2.0 in t 2.001 * [taylor]: Taking taylor expansion of 1.0 in t 2.001 * [taylor]: Taking taylor expansion of (* t b) in t 2.001 * [taylor]: Taking taylor expansion of t in t 2.001 * [taylor]: Taking taylor expansion of b in t 2.002 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in b 2.002 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in b 2.002 * [taylor]: Taking taylor expansion of 0.0625 in b 2.002 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.002 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.002 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.002 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.002 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.002 * [taylor]: Taking taylor expansion of -1 in b 2.002 * [taylor]: Taking taylor expansion of a in b 2.002 * [taylor]: Taking taylor expansion of 2.0 in b 2.002 * [taylor]: Taking taylor expansion of 1.0 in b 2.002 * [taylor]: Taking taylor expansion of (* t b) in b 2.002 * [taylor]: Taking taylor expansion of t in b 2.002 * [taylor]: Taking taylor expansion of b in b 2.003 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in a 2.003 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in a 2.003 * [taylor]: Taking taylor expansion of 0.0625 in a 2.003 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.003 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.003 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.003 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.003 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.003 * [taylor]: Taking taylor expansion of -1 in a 2.003 * [taylor]: Taking taylor expansion of a in a 2.003 * [taylor]: Taking taylor expansion of 2.0 in a 2.003 * [taylor]: Taking taylor expansion of 1.0 in a 2.003 * [taylor]: Taking taylor expansion of (* t b) in a 2.003 * [taylor]: Taking taylor expansion of t in a 2.003 * [taylor]: Taking taylor expansion of b in a 2.005 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in a 2.005 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in a 2.005 * [taylor]: Taking taylor expansion of 0.0625 in a 2.005 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.005 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.005 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.005 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.005 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.005 * [taylor]: Taking taylor expansion of -1 in a 2.005 * [taylor]: Taking taylor expansion of a in a 2.005 * [taylor]: Taking taylor expansion of 2.0 in a 2.005 * [taylor]: Taking taylor expansion of 1.0 in a 2.005 * [taylor]: Taking taylor expansion of (* t b) in a 2.005 * [taylor]: Taking taylor expansion of t in a 2.005 * [taylor]: Taking taylor expansion of b in a 2.006 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in b 2.006 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in b 2.006 * [taylor]: Taking taylor expansion of 0.0625 in b 2.006 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.006 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.007 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.007 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.007 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.007 * [taylor]: Taking taylor expansion of -1 in b 2.007 * [taylor]: Taking taylor expansion of a in b 2.007 * [taylor]: Taking taylor expansion of 2.0 in b 2.007 * [taylor]: Taking taylor expansion of 1.0 in b 2.007 * [taylor]: Taking taylor expansion of (* t b) in b 2.007 * [taylor]: Taking taylor expansion of t in b 2.007 * [taylor]: Taking taylor expansion of b in b 2.007 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in t 2.007 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in t 2.007 * [taylor]: Taking taylor expansion of 0.0625 in t 2.008 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.008 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.008 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.008 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.008 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.008 * [taylor]: Taking taylor expansion of -1 in t 2.008 * [taylor]: Taking taylor expansion of a in t 2.008 * [taylor]: Taking taylor expansion of 2.0 in t 2.008 * [taylor]: Taking taylor expansion of 1.0 in t 2.008 * [taylor]: Taking taylor expansion of (* t b) in t 2.008 * [taylor]: Taking taylor expansion of t in t 2.008 * [taylor]: Taking taylor expansion of b in t 2.009 * [taylor]: Taking taylor expansion of 0 in b 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * [taylor]: Taking taylor expansion of 0 in b 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.009 * [approximate]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in (a b t) around 0 2.009 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in t 2.009 * [taylor]: Taking taylor expansion of t in t 2.009 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in t 2.009 * [taylor]: Taking taylor expansion of b in t 2.009 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in t 2.009 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.009 * [taylor]: Taking taylor expansion of (* a 2.0) in t 2.009 * [taylor]: Taking taylor expansion of a in t 2.009 * [taylor]: Taking taylor expansion of 2.0 in t 2.009 * [taylor]: Taking taylor expansion of 1.0 in t 2.009 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in b 2.009 * [taylor]: Taking taylor expansion of t in b 2.009 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in b 2.009 * [taylor]: Taking taylor expansion of b in b 2.009 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in b 2.010 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.010 * [taylor]: Taking taylor expansion of (* a 2.0) in b 2.010 * [taylor]: Taking taylor expansion of a in b 2.010 * [taylor]: Taking taylor expansion of 2.0 in b 2.010 * [taylor]: Taking taylor expansion of 1.0 in b 2.010 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.010 * [taylor]: Taking taylor expansion of t in a 2.010 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.010 * [taylor]: Taking taylor expansion of b in a 2.010 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.010 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.010 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.010 * [taylor]: Taking taylor expansion of a in a 2.010 * [taylor]: Taking taylor expansion of 2.0 in a 2.010 * [taylor]: Taking taylor expansion of 1.0 in a 2.010 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.010 * [taylor]: Taking taylor expansion of t in a 2.010 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.010 * [taylor]: Taking taylor expansion of b in a 2.010 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.010 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.010 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.010 * [taylor]: Taking taylor expansion of a in a 2.010 * [taylor]: Taking taylor expansion of 2.0 in a 2.010 * [taylor]: Taking taylor expansion of 1.0 in a 2.011 * [taylor]: Taking taylor expansion of (* 1.0 (* t b)) in b 2.011 * [taylor]: Taking taylor expansion of 1.0 in b 2.011 * [taylor]: Taking taylor expansion of (* t b) in b 2.011 * [taylor]: Taking taylor expansion of t in b 2.011 * [taylor]: Taking taylor expansion of b in b 2.011 * [taylor]: Taking taylor expansion of 0 in t 2.013 * [taylor]: Taking taylor expansion of (* 2.0 (* t b)) in b 2.013 * [taylor]: Taking taylor expansion of 2.0 in b 2.013 * [taylor]: Taking taylor expansion of (* t b) in b 2.013 * [taylor]: Taking taylor expansion of t in b 2.013 * [taylor]: Taking taylor expansion of b in b 2.013 * [taylor]: Taking taylor expansion of 0 in t 2.014 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.014 * [taylor]: Taking taylor expansion of 1.0 in t 2.014 * [taylor]: Taking taylor expansion of t in t 2.016 * [taylor]: Taking taylor expansion of 0 in b 2.016 * [taylor]: Taking taylor expansion of 0 in t 2.016 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 2.016 * [taylor]: Taking taylor expansion of 2.0 in t 2.016 * [taylor]: Taking taylor expansion of t in t 2.017 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in (a b t) around 0 2.017 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.017 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.017 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.017 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.017 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.017 * [taylor]: Taking taylor expansion of a in t 2.017 * [taylor]: Taking taylor expansion of 2.0 in t 2.017 * [taylor]: Taking taylor expansion of 1.0 in t 2.017 * [taylor]: Taking taylor expansion of (* t b) in t 2.017 * [taylor]: Taking taylor expansion of t in t 2.017 * [taylor]: Taking taylor expansion of b in t 2.018 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.018 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.018 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.018 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.018 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.018 * [taylor]: Taking taylor expansion of a in b 2.018 * [taylor]: Taking taylor expansion of 2.0 in b 2.018 * [taylor]: Taking taylor expansion of 1.0 in b 2.018 * [taylor]: Taking taylor expansion of (* t b) in b 2.018 * [taylor]: Taking taylor expansion of t in b 2.018 * [taylor]: Taking taylor expansion of b in b 2.019 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.019 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.019 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.019 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.019 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.019 * [taylor]: Taking taylor expansion of a in a 2.019 * [taylor]: Taking taylor expansion of 2.0 in a 2.019 * [taylor]: Taking taylor expansion of 1.0 in a 2.019 * [taylor]: Taking taylor expansion of (* t b) in a 2.019 * [taylor]: Taking taylor expansion of t in a 2.019 * [taylor]: Taking taylor expansion of b in a 2.020 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.020 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.020 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.020 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.020 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.020 * [taylor]: Taking taylor expansion of a in a 2.020 * [taylor]: Taking taylor expansion of 2.0 in a 2.020 * [taylor]: Taking taylor expansion of 1.0 in a 2.020 * [taylor]: Taking taylor expansion of (* t b) in a 2.020 * [taylor]: Taking taylor expansion of t in a 2.020 * [taylor]: Taking taylor expansion of b in a 2.021 * [taylor]: Taking taylor expansion of (/ 2.0 (* t b)) in b 2.021 * [taylor]: Taking taylor expansion of 2.0 in b 2.021 * [taylor]: Taking taylor expansion of (* t b) in b 2.021 * [taylor]: Taking taylor expansion of t in b 2.021 * [taylor]: Taking taylor expansion of b in b 2.021 * [taylor]: Taking taylor expansion of (/ 2.0 t) in t 2.021 * [taylor]: Taking taylor expansion of 2.0 in t 2.021 * [taylor]: Taking taylor expansion of t in t 2.023 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t b))) in b 2.023 * [taylor]: Taking taylor expansion of 1.0 in b 2.023 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 2.023 * [taylor]: Taking taylor expansion of (* t b) in b 2.023 * [taylor]: Taking taylor expansion of t in b 2.023 * [taylor]: Taking taylor expansion of b in b 2.024 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t 2.024 * [taylor]: Taking taylor expansion of 1.0 in t 2.024 * [taylor]: Taking taylor expansion of t in t 2.025 * [taylor]: Taking taylor expansion of 0 in t 2.031 * [taylor]: Taking taylor expansion of 0 in b 2.031 * [taylor]: Taking taylor expansion of 0 in t 2.032 * [taylor]: Taking taylor expansion of 0 in t 2.035 * [taylor]: Taking taylor expansion of 0 in b 2.036 * [taylor]: Taking taylor expansion of 0 in t 2.037 * [taylor]: Taking taylor expansion of 0 in t 2.037 * [taylor]: Taking taylor expansion of 0 in t 2.038 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in (a b t) around 0 2.038 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.038 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.038 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.038 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.038 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.038 * [taylor]: Taking taylor expansion of -1 in t 2.038 * [taylor]: Taking taylor expansion of a in t 2.038 * [taylor]: Taking taylor expansion of 2.0 in t 2.038 * [taylor]: Taking taylor expansion of 1.0 in t 2.038 * [taylor]: Taking taylor expansion of (* t b) in t 2.038 * [taylor]: Taking taylor expansion of t in t 2.038 * [taylor]: Taking taylor expansion of b in t 2.039 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.039 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.039 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.039 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.039 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.039 * [taylor]: Taking taylor expansion of -1 in b 2.039 * [taylor]: Taking taylor expansion of a in b 2.039 * [taylor]: Taking taylor expansion of 2.0 in b 2.039 * [taylor]: Taking taylor expansion of 1.0 in b 2.039 * [taylor]: Taking taylor expansion of (* t b) in b 2.039 * [taylor]: Taking taylor expansion of t in b 2.039 * [taylor]: Taking taylor expansion of b in b 2.040 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.040 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.040 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.040 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.040 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.040 * [taylor]: Taking taylor expansion of -1 in a 2.040 * [taylor]: Taking taylor expansion of a in a 2.040 * [taylor]: Taking taylor expansion of 2.0 in a 2.040 * [taylor]: Taking taylor expansion of 1.0 in a 2.040 * [taylor]: Taking taylor expansion of (* t b) in a 2.040 * [taylor]: Taking taylor expansion of t in a 2.040 * [taylor]: Taking taylor expansion of b in a 2.041 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.041 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.041 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.041 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.041 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.041 * [taylor]: Taking taylor expansion of -1 in a 2.041 * [taylor]: Taking taylor expansion of a in a 2.042 * [taylor]: Taking taylor expansion of 2.0 in a 2.042 * [taylor]: Taking taylor expansion of 1.0 in a 2.042 * [taylor]: Taking taylor expansion of (* t b) in a 2.042 * [taylor]: Taking taylor expansion of t in a 2.042 * [taylor]: Taking taylor expansion of b in a 2.043 * [taylor]: Taking taylor expansion of (/ -2.0 (* t b)) in b 2.043 * [taylor]: Taking taylor expansion of -2.0 in b 2.043 * [taylor]: Taking taylor expansion of (* t b) in b 2.043 * [taylor]: Taking taylor expansion of t in b 2.043 * [taylor]: Taking taylor expansion of b in b 2.043 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t 2.043 * [taylor]: Taking taylor expansion of -2.0 in t 2.043 * [taylor]: Taking taylor expansion of t in t 2.045 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t b))) in b 2.045 * [taylor]: Taking taylor expansion of 1.0 in b 2.045 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 2.045 * [taylor]: Taking taylor expansion of (* t b) in b 2.045 * [taylor]: Taking taylor expansion of t in b 2.045 * [taylor]: Taking taylor expansion of b in b 2.046 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t 2.046 * [taylor]: Taking taylor expansion of 1.0 in t 2.046 * [taylor]: Taking taylor expansion of t in t 2.047 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [taylor]: Taking taylor expansion of 0 in b 2.050 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.054 * [taylor]: Taking taylor expansion of 0 in b 2.054 * [taylor]: Taking taylor expansion of 0 in t 2.055 * [taylor]: Taking taylor expansion of 0 in t 2.056 * [taylor]: Taking taylor expansion of 0 in t 2.056 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 2.056 * [approximate]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in (t y z) around 0 2.056 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 2.056 * [taylor]: Taking taylor expansion of t in z 2.056 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 2.056 * [taylor]: Taking taylor expansion of z in z 2.057 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 2.057 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.057 * [taylor]: Taking taylor expansion of (* y 2.0) in z 2.057 * [taylor]: Taking taylor expansion of y in z 2.057 * [taylor]: Taking taylor expansion of 2.0 in z 2.057 * [taylor]: Taking taylor expansion of 1.0 in z 2.057 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 2.057 * [taylor]: Taking taylor expansion of t in y 2.057 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 2.057 * [taylor]: Taking taylor expansion of z in y 2.057 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 2.057 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.057 * [taylor]: Taking taylor expansion of (* y 2.0) in y 2.057 * [taylor]: Taking taylor expansion of y in y 2.057 * [taylor]: Taking taylor expansion of 2.0 in y 2.057 * [taylor]: Taking taylor expansion of 1.0 in y 2.057 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.057 * [taylor]: Taking taylor expansion of t in t 2.057 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.057 * [taylor]: Taking taylor expansion of z in t 2.057 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.057 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.057 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.057 * [taylor]: Taking taylor expansion of y 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 (* z (fma y 2.0 1.0))) in t 2.057 * [taylor]: Taking taylor expansion of t in t 2.057 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.057 * [taylor]: Taking taylor expansion of z in t 2.057 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.057 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.057 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.057 * [taylor]: Taking taylor expansion of y 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.058 * [taylor]: Taking taylor expansion of 0 in y 2.058 * [taylor]: Taking taylor expansion of 0 in z 2.059 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* z y)) (* 1.0 z)) in y 2.059 * [taylor]: Taking taylor expansion of (* 2.0 (* z y)) in y 2.059 * [taylor]: Taking taylor expansion of 2.0 in y 2.059 * [taylor]: Taking taylor expansion of (* z y) in y 2.059 * [taylor]: Taking taylor expansion of z in y 2.059 * [taylor]: Taking taylor expansion of y in y 2.059 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 2.059 * [taylor]: Taking taylor expansion of 1.0 in y 2.059 * [taylor]: Taking taylor expansion of z in y 2.059 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 2.059 * [taylor]: Taking taylor expansion of 1.0 in z 2.059 * [taylor]: Taking taylor expansion of z in z 2.060 * [taylor]: Taking taylor expansion of 0 in z 2.061 * [taylor]: Taking taylor expansion of 0 in y 2.061 * [taylor]: Taking taylor expansion of 0 in z 2.062 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 2.062 * [taylor]: Taking taylor expansion of 2.0 in z 2.062 * [taylor]: Taking taylor expansion of z in z 2.063 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in (t y z) around 0 2.063 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 2.063 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 2.063 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.063 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 2.063 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.063 * [taylor]: Taking taylor expansion of y in z 2.063 * [taylor]: Taking taylor expansion of 2.0 in z 2.063 * [taylor]: Taking taylor expansion of 1.0 in z 2.063 * [taylor]: Taking taylor expansion of (* t z) in z 2.063 * [taylor]: Taking taylor expansion of t in z 2.063 * [taylor]: Taking taylor expansion of z in z 2.064 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.064 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.064 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.064 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.064 * [taylor]: Taking taylor expansion of y in y 2.064 * [taylor]: Taking taylor expansion of 2.0 in y 2.064 * [taylor]: Taking taylor expansion of 1.0 in y 2.064 * [taylor]: Taking taylor expansion of (* t z) in y 2.064 * [taylor]: Taking taylor expansion of t in y 2.064 * [taylor]: Taking taylor expansion of z in y 2.065 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.065 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.065 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.065 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.065 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.065 * [taylor]: Taking taylor expansion of y in t 2.065 * [taylor]: Taking taylor expansion of 2.0 in t 2.065 * [taylor]: Taking taylor expansion of 1.0 in t 2.065 * [taylor]: Taking taylor expansion of (* t z) in t 2.065 * [taylor]: Taking taylor expansion of t in t 2.065 * [taylor]: Taking taylor expansion of z in t 2.066 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.066 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.066 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.066 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.066 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.066 * [taylor]: Taking taylor expansion of y in t 2.066 * [taylor]: Taking taylor expansion of 2.0 in t 2.066 * [taylor]: Taking taylor expansion of 1.0 in t 2.066 * [taylor]: Taking taylor expansion of (* t z) in t 2.066 * [taylor]: Taking taylor expansion of t in t 2.066 * [taylor]: Taking taylor expansion of z in t 2.066 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) z) in y 2.066 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y 2.066 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 2.066 * [taylor]: Taking taylor expansion of 2.0 in y 2.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.067 * [taylor]: Taking taylor expansion of y in y 2.067 * [taylor]: Taking taylor expansion of 1.0 in y 2.067 * [taylor]: Taking taylor expansion of z in y 2.067 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 2.067 * [taylor]: Taking taylor expansion of 2.0 in z 2.067 * [taylor]: Taking taylor expansion of z in z 2.069 * [taylor]: Taking taylor expansion of 0 in y 2.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 2.070 * [taylor]: Taking taylor expansion of 1.0 in z 2.070 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.070 * [taylor]: Taking taylor expansion of z in z 2.073 * [taylor]: Taking taylor expansion of 0 in y 2.073 * [taylor]: Taking taylor expansion of 0 in z 2.075 * [taylor]: Taking taylor expansion of 0 in z 2.078 * [taylor]: Taking taylor expansion of 0 in y 2.078 * [taylor]: Taking taylor expansion of 0 in z 2.078 * [taylor]: Taking taylor expansion of 0 in z 2.080 * [taylor]: Taking taylor expansion of 0 in z 2.082 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in (t y z) around 0 2.082 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.082 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.082 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.082 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.082 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.082 * [taylor]: Taking taylor expansion of -1 in z 2.082 * [taylor]: Taking taylor expansion of y in z 2.082 * [taylor]: Taking taylor expansion of 2.0 in z 2.082 * [taylor]: Taking taylor expansion of 1.0 in z 2.082 * [taylor]: Taking taylor expansion of (* t z) in z 2.082 * [taylor]: Taking taylor expansion of t in z 2.082 * [taylor]: Taking taylor expansion of z in z 2.082 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.082 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.083 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.083 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.083 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.083 * [taylor]: Taking taylor expansion of -1 in y 2.083 * [taylor]: Taking taylor expansion of y in y 2.083 * [taylor]: Taking taylor expansion of 2.0 in y 2.083 * [taylor]: Taking taylor expansion of 1.0 in y 2.083 * [taylor]: Taking taylor expansion of (* t z) in y 2.083 * [taylor]: Taking taylor expansion of t in y 2.083 * [taylor]: Taking taylor expansion of z in y 2.084 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.084 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.084 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.084 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.084 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.084 * [taylor]: Taking taylor expansion of -1 in t 2.084 * [taylor]: Taking taylor expansion of y in t 2.084 * [taylor]: Taking taylor expansion of 2.0 in t 2.084 * [taylor]: Taking taylor expansion of 1.0 in t 2.084 * [taylor]: Taking taylor expansion of (* t z) in t 2.084 * [taylor]: Taking taylor expansion of t in t 2.084 * [taylor]: Taking taylor expansion of z in t 2.085 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.085 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.085 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.085 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.085 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.085 * [taylor]: Taking taylor expansion of -1 in t 2.085 * [taylor]: Taking taylor expansion of y in t 2.085 * [taylor]: Taking taylor expansion of 2.0 in t 2.085 * [taylor]: Taking taylor expansion of 1.0 in t 2.085 * [taylor]: Taking taylor expansion of (* t z) in t 2.085 * [taylor]: Taking taylor expansion of t in t 2.085 * [taylor]: Taking taylor expansion of z in t 2.086 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) z) in y 2.086 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y 2.086 * [taylor]: Taking taylor expansion of 1.0 in y 2.086 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 2.086 * [taylor]: Taking taylor expansion of 2.0 in y 2.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.086 * [taylor]: Taking taylor expansion of y in y 2.086 * [taylor]: Taking taylor expansion of z in y 2.087 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z 2.087 * [taylor]: Taking taylor expansion of -2.0 in z 2.087 * [taylor]: Taking taylor expansion of z in z 2.089 * [taylor]: Taking taylor expansion of 0 in y 2.090 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 2.091 * [taylor]: Taking taylor expansion of 1.0 in z 2.091 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.091 * [taylor]: Taking taylor expansion of z in z 2.093 * [taylor]: Taking taylor expansion of 0 in y 2.093 * [taylor]: Taking taylor expansion of 0 in z 2.095 * [taylor]: Taking taylor expansion of 0 in z 2.099 * [taylor]: Taking taylor expansion of 0 in y 2.099 * [taylor]: Taking taylor expansion of 0 in z 2.099 * [taylor]: Taking taylor expansion of 0 in z 2.101 * [taylor]: Taking taylor expansion of 0 in z 2.103 * * * [progress]: simplifying candidates 2.103 * [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.107 * * [simplify]: iteration 0 : 118 enodes (cost 846 ) 2.127 * * [simplify]: iteration 1 : 263 enodes (cost 834 ) 2.188 * * [simplify]: iteration 2 : 1007 enodes (cost 694 )