18.265 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.166 * * * [progress]: [2/2] Setting up program. 0.171 * [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.201 * * [simplify]: iteration 3 : 211 enodes (cost 25 ) 0.235 * * [simplify]: iteration 4 : 385 enodes (cost 25 ) 0.320 * * [simplify]: iteration 5 : 608 enodes (cost 25 ) 0.466 * * [simplify]: iteration 6 : 850 enodes (cost 25 ) 0.748 * * [simplify]: iteration 7 : 1114 enodes (cost 25 ) 1.071 * * [simplify]: iteration 8 : 1224 enodes (cost 25 ) 1.434 * * [simplify]: iteration 9 : 1298 enodes (cost 25 ) 1.826 * * [simplify]: iteration 10 : 1326 enodes (cost 25 ) 2.226 * * [simplify]: iteration done : 1326 enodes (cost 25 ) 2.226 * [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)))) 2.232 * * [progress]: iteration 1 / 4 2.232 * * * [progress]: picking best candidate 2.237 * * * * [pick]: Picked # 2.237 * * * [progress]: localizing error 2.263 * * * [progress]: generating rewritten candidates 2.263 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 2.265 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.266 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.273 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1) 2.280 * * * [progress]: generating series expansions 2.280 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 2.281 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in (a b t) around 0 2.281 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in t 2.281 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in t 2.281 * [taylor]: Taking taylor expansion of 0.0625 in t 2.281 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in t 2.281 * [taylor]: Taking taylor expansion of t in t 2.281 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in t 2.281 * [taylor]: Taking taylor expansion of b in t 2.281 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in t 2.281 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.281 * [taylor]: Taking taylor expansion of (* a 2.0) in t 2.281 * [taylor]: Taking taylor expansion of a in t 2.281 * [taylor]: Taking taylor expansion of 2.0 in t 2.281 * [taylor]: Taking taylor expansion of 1.0 in t 2.284 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in b 2.284 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in b 2.284 * [taylor]: Taking taylor expansion of 0.0625 in b 2.284 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in b 2.284 * [taylor]: Taking taylor expansion of t in b 2.284 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in b 2.284 * [taylor]: Taking taylor expansion of b in b 2.284 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in b 2.284 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.284 * [taylor]: Taking taylor expansion of (* a 2.0) in b 2.284 * [taylor]: Taking taylor expansion of a in b 2.284 * [taylor]: Taking taylor expansion of 2.0 in b 2.284 * [taylor]: Taking taylor expansion of 1.0 in b 2.286 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in a 2.286 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in a 2.286 * [taylor]: Taking taylor expansion of 0.0625 in a 2.286 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.286 * [taylor]: Taking taylor expansion of t in a 2.286 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.286 * [taylor]: Taking taylor expansion of b in a 2.286 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.287 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.287 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.287 * [taylor]: Taking taylor expansion of a in a 2.287 * [taylor]: Taking taylor expansion of 2.0 in a 2.287 * [taylor]: Taking taylor expansion of 1.0 in a 2.287 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) in a 2.287 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* b (fma a 2.0 1.0)))) in a 2.287 * [taylor]: Taking taylor expansion of 0.0625 in a 2.287 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.287 * [taylor]: Taking taylor expansion of t in a 2.288 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.288 * [taylor]: Taking taylor expansion of b in a 2.288 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.288 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.288 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.288 * [taylor]: Taking taylor expansion of a in a 2.288 * [taylor]: Taking taylor expansion of 2.0 in a 2.288 * [taylor]: Taking taylor expansion of 1.0 in a 2.294 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 2.294 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 2.294 * [taylor]: Taking taylor expansion of 0.0625 in b 2.294 * [taylor]: Taking taylor expansion of (* t b) in b 2.294 * [taylor]: Taking taylor expansion of t in b 2.294 * [taylor]: Taking taylor expansion of b in b 2.295 * [taylor]: Taking taylor expansion of 1 in t 2.299 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b)))) in b 2.299 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t b))) b))) in b 2.299 * [taylor]: Taking taylor expansion of 0.125 in b 2.299 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t b))) b)) in b 2.299 * [taylor]: Taking taylor expansion of t in b 2.299 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t b))) b) in b 2.299 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t b))) in b 2.299 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 2.299 * [taylor]: Taking taylor expansion of 0.0625 in b 2.299 * [taylor]: Taking taylor expansion of (* t b) in b 2.299 * [taylor]: Taking taylor expansion of t in b 2.299 * [taylor]: Taking taylor expansion of b in b 2.300 * [taylor]: Taking taylor expansion of b in b 2.301 * [taylor]: Taking taylor expansion of 0 in t 2.301 * [taylor]: Taking taylor expansion of 0 in t 2.306 * [taylor]: Taking taylor expansion of (- (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2))))) in b 2.306 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2)))) in b 2.306 * [taylor]: Taking taylor expansion of 0.0078125 in b 2.306 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (cos (* 0.0625 (* t b))) (pow b 2))) in b 2.306 * [taylor]: Taking taylor expansion of (pow t 2) in b 2.306 * [taylor]: Taking taylor expansion of t in b 2.306 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t b))) (pow b 2)) in b 2.306 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t b))) in b 2.306 * [taylor]: Taking taylor expansion of (* 0.0625 (* t b)) in b 2.306 * [taylor]: Taking taylor expansion of 0.0625 in b 2.306 * [taylor]: Taking taylor expansion of (* t b) in b 2.306 * [taylor]: Taking taylor expansion of t in b 2.306 * [taylor]: Taking taylor expansion of b in b 2.307 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.307 * [taylor]: Taking taylor expansion of b in b 2.309 * [taylor]: Taking taylor expansion of 0 in t 2.309 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow t 2))) in t 2.309 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow t 2)) in t 2.309 * [taylor]: Taking taylor expansion of 0.001953125 in t 2.309 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.309 * [taylor]: Taking taylor expansion of t in t 2.309 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in (a b t) around 0 2.309 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in t 2.309 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in t 2.309 * [taylor]: Taking taylor expansion of 0.0625 in t 2.309 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.309 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.309 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.309 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.309 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.310 * [taylor]: Taking taylor expansion of a in t 2.310 * [taylor]: Taking taylor expansion of 2.0 in t 2.310 * [taylor]: Taking taylor expansion of 1.0 in t 2.310 * [taylor]: Taking taylor expansion of (* t b) in t 2.310 * [taylor]: Taking taylor expansion of t in t 2.310 * [taylor]: Taking taylor expansion of b in t 2.310 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in b 2.310 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in b 2.310 * [taylor]: Taking taylor expansion of 0.0625 in b 2.310 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.311 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.311 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.311 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.311 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.311 * [taylor]: Taking taylor expansion of a in b 2.311 * [taylor]: Taking taylor expansion of 2.0 in b 2.311 * [taylor]: Taking taylor expansion of 1.0 in b 2.311 * [taylor]: Taking taylor expansion of (* t b) in b 2.311 * [taylor]: Taking taylor expansion of t in b 2.311 * [taylor]: Taking taylor expansion of b in b 2.311 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in a 2.312 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in a 2.312 * [taylor]: Taking taylor expansion of 0.0625 in a 2.312 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.312 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.312 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.312 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.312 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.312 * [taylor]: Taking taylor expansion of a in a 2.312 * [taylor]: Taking taylor expansion of 2.0 in a 2.312 * [taylor]: Taking taylor expansion of 1.0 in a 2.312 * [taylor]: Taking taylor expansion of (* t b) in a 2.312 * [taylor]: Taking taylor expansion of t in a 2.312 * [taylor]: Taking taylor expansion of b in a 2.313 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in a 2.313 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in a 2.313 * [taylor]: Taking taylor expansion of 0.0625 in a 2.313 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.313 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.313 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.313 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.313 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.313 * [taylor]: Taking taylor expansion of a in a 2.314 * [taylor]: Taking taylor expansion of 2.0 in a 2.314 * [taylor]: Taking taylor expansion of 1.0 in a 2.314 * [taylor]: Taking taylor expansion of (* t b) in a 2.314 * [taylor]: Taking taylor expansion of t in a 2.314 * [taylor]: Taking taylor expansion of b in a 2.315 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in b 2.315 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in b 2.315 * [taylor]: Taking taylor expansion of 0.0625 in b 2.315 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.315 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.315 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.315 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.315 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.315 * [taylor]: Taking taylor expansion of a in b 2.315 * [taylor]: Taking taylor expansion of 2.0 in b 2.315 * [taylor]: Taking taylor expansion of 1.0 in b 2.315 * [taylor]: Taking taylor expansion of (* t b) in b 2.315 * [taylor]: Taking taylor expansion of t in b 2.315 * [taylor]: Taking taylor expansion of b in b 2.316 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b)))) in t 2.316 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 a) 2.0 1.0) (* t b))) in t 2.316 * [taylor]: Taking taylor expansion of 0.0625 in t 2.316 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.316 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.316 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.316 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.316 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.316 * [taylor]: Taking taylor expansion of a in t 2.316 * [taylor]: Taking taylor expansion of 2.0 in t 2.316 * [taylor]: Taking taylor expansion of 1.0 in t 2.316 * [taylor]: Taking taylor expansion of (* t b) in t 2.316 * [taylor]: Taking taylor expansion of t in t 2.316 * [taylor]: Taking taylor expansion of b in t 2.317 * [taylor]: Taking taylor expansion of 0 in b 2.317 * [taylor]: Taking taylor expansion of 0 in t 2.317 * [taylor]: Taking taylor expansion of 0 in t 2.317 * [taylor]: Taking taylor expansion of 0 in b 2.317 * [taylor]: Taking taylor expansion of 0 in t 2.317 * [taylor]: Taking taylor expansion of 0 in t 2.317 * [taylor]: Taking taylor expansion of 0 in t 2.317 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in (a b t) around 0 2.317 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in t 2.317 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in t 2.318 * [taylor]: Taking taylor expansion of 0.0625 in t 2.318 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.318 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.318 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.318 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.318 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.318 * [taylor]: Taking taylor expansion of -1 in t 2.318 * [taylor]: Taking taylor expansion of a in t 2.318 * [taylor]: Taking taylor expansion of 2.0 in t 2.318 * [taylor]: Taking taylor expansion of 1.0 in t 2.318 * [taylor]: Taking taylor expansion of (* t b) in t 2.318 * [taylor]: Taking taylor expansion of t in t 2.318 * [taylor]: Taking taylor expansion of b in t 2.319 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in b 2.319 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in b 2.319 * [taylor]: Taking taylor expansion of 0.0625 in b 2.319 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.319 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.319 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.319 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.319 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.319 * [taylor]: Taking taylor expansion of -1 in b 2.319 * [taylor]: Taking taylor expansion of a in b 2.319 * [taylor]: Taking taylor expansion of 2.0 in b 2.319 * [taylor]: Taking taylor expansion of 1.0 in b 2.319 * [taylor]: Taking taylor expansion of (* t b) in b 2.319 * [taylor]: Taking taylor expansion of t in b 2.319 * [taylor]: Taking taylor expansion of b in b 2.320 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in a 2.320 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in a 2.320 * [taylor]: Taking taylor expansion of 0.0625 in a 2.320 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.320 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.320 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.320 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.320 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.320 * [taylor]: Taking taylor expansion of -1 in a 2.320 * [taylor]: Taking taylor expansion of a in a 2.321 * [taylor]: Taking taylor expansion of 2.0 in a 2.321 * [taylor]: Taking taylor expansion of 1.0 in a 2.321 * [taylor]: Taking taylor expansion of (* t b) in a 2.321 * [taylor]: Taking taylor expansion of t in a 2.321 * [taylor]: Taking taylor expansion of b in a 2.322 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in a 2.322 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in a 2.322 * [taylor]: Taking taylor expansion of 0.0625 in a 2.322 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.322 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.322 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.322 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.322 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.322 * [taylor]: Taking taylor expansion of -1 in a 2.323 * [taylor]: Taking taylor expansion of a in a 2.323 * [taylor]: Taking taylor expansion of 2.0 in a 2.323 * [taylor]: Taking taylor expansion of 1.0 in a 2.323 * [taylor]: Taking taylor expansion of (* t b) in a 2.323 * [taylor]: Taking taylor expansion of t in a 2.323 * [taylor]: Taking taylor expansion of b in a 2.324 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in b 2.324 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in b 2.324 * [taylor]: Taking taylor expansion of 0.0625 in b 2.324 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.324 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.324 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.324 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.324 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.324 * [taylor]: Taking taylor expansion of -1 in b 2.324 * [taylor]: Taking taylor expansion of a in b 2.324 * [taylor]: Taking taylor expansion of 2.0 in b 2.325 * [taylor]: Taking taylor expansion of 1.0 in b 2.325 * [taylor]: Taking taylor expansion of (* t b) in b 2.325 * [taylor]: Taking taylor expansion of t in b 2.325 * [taylor]: Taking taylor expansion of b in b 2.325 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b)))) in t 2.325 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 a) 2.0 1.0) (* t b))) in t 2.325 * [taylor]: Taking taylor expansion of 0.0625 in t 2.325 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.325 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.325 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.325 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.325 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.325 * [taylor]: Taking taylor expansion of -1 in t 2.326 * [taylor]: Taking taylor expansion of a in t 2.326 * [taylor]: Taking taylor expansion of 2.0 in t 2.326 * [taylor]: Taking taylor expansion of 1.0 in t 2.326 * [taylor]: Taking taylor expansion of (* t b) in t 2.326 * [taylor]: Taking taylor expansion of t in t 2.326 * [taylor]: Taking taylor expansion of b in t 2.326 * [taylor]: Taking taylor expansion of 0 in b 2.326 * [taylor]: Taking taylor expansion of 0 in t 2.327 * [taylor]: Taking taylor expansion of 0 in t 2.327 * [taylor]: Taking taylor expansion of 0 in b 2.327 * [taylor]: Taking taylor expansion of 0 in t 2.327 * [taylor]: Taking taylor expansion of 0 in t 2.327 * [taylor]: Taking taylor expansion of 0 in t 2.327 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.327 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in (t y z) around 0 2.327 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in z 2.327 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in z 2.327 * [taylor]: Taking taylor expansion of 0.0625 in z 2.327 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 2.327 * [taylor]: Taking taylor expansion of t in z 2.327 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 2.327 * [taylor]: Taking taylor expansion of z in z 2.327 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 2.327 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.327 * [taylor]: Taking taylor expansion of (* y 2.0) in z 2.327 * [taylor]: Taking taylor expansion of y in z 2.327 * [taylor]: Taking taylor expansion of 2.0 in z 2.327 * [taylor]: Taking taylor expansion of 1.0 in z 2.330 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in y 2.330 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in y 2.330 * [taylor]: Taking taylor expansion of 0.0625 in y 2.330 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 2.330 * [taylor]: Taking taylor expansion of t in y 2.330 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 2.330 * [taylor]: Taking taylor expansion of z in y 2.330 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 2.330 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.330 * [taylor]: Taking taylor expansion of (* y 2.0) in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.330 * [taylor]: Taking taylor expansion of 2.0 in y 2.330 * [taylor]: Taking taylor expansion of 1.0 in y 2.331 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 2.331 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 2.331 * [taylor]: Taking taylor expansion of 0.0625 in t 2.331 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.331 * [taylor]: Taking taylor expansion of t in t 2.331 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.331 * [taylor]: Taking taylor expansion of z in t 2.331 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.331 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.331 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.331 * [taylor]: Taking taylor expansion of y in t 2.331 * [taylor]: Taking taylor expansion of 2.0 in t 2.331 * [taylor]: Taking taylor expansion of 1.0 in t 2.333 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 2.333 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 2.333 * [taylor]: Taking taylor expansion of 0.0625 in t 2.333 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.333 * [taylor]: Taking taylor expansion of t in t 2.333 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.333 * [taylor]: Taking taylor expansion of z in t 2.333 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.334 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.334 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.334 * [taylor]: Taking taylor expansion of y in t 2.334 * [taylor]: Taking taylor expansion of 2.0 in t 2.334 * [taylor]: Taking taylor expansion of 1.0 in t 2.336 * [taylor]: Taking taylor expansion of 1 in y 2.336 * [taylor]: Taking taylor expansion of 1 in z 2.336 * [taylor]: Taking taylor expansion of 0 in y 2.336 * [taylor]: Taking taylor expansion of 0 in z 2.336 * [taylor]: Taking taylor expansion of 0 in z 2.336 * [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 2.337 * [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 2.337 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) y)) in y 2.337 * [taylor]: Taking taylor expansion of 0.0078125 in y 2.337 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 2.337 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.337 * [taylor]: Taking taylor expansion of z in y 2.337 * [taylor]: Taking taylor expansion of y in y 2.337 * [taylor]: Taking taylor expansion of (+ (* 0.001953125 (pow z 2)) (* 0.0078125 (* (pow z 2) (pow y 2)))) in y 2.337 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in y 2.337 * [taylor]: Taking taylor expansion of 0.001953125 in y 2.337 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.337 * [taylor]: Taking taylor expansion of z in y 2.337 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) (pow y 2))) in y 2.337 * [taylor]: Taking taylor expansion of 0.0078125 in y 2.337 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 2.337 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.337 * [taylor]: Taking taylor expansion of z in y 2.337 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.337 * [taylor]: Taking taylor expansion of y in y 2.338 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow z 2))) in z 2.338 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in z 2.338 * [taylor]: Taking taylor expansion of 0.001953125 in z 2.338 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.338 * [taylor]: Taking taylor expansion of z in z 2.338 * [taylor]: Taking taylor expansion of 0 in z 2.338 * [taylor]: Taking taylor expansion of 0 in z 2.338 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 2.338 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 2.338 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 2.338 * [taylor]: Taking taylor expansion of 0.0625 in z 2.338 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 2.338 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 2.338 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.338 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 2.338 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.338 * [taylor]: Taking taylor expansion of y in z 2.338 * [taylor]: Taking taylor expansion of 2.0 in z 2.338 * [taylor]: Taking taylor expansion of 1.0 in z 2.338 * [taylor]: Taking taylor expansion of (* t z) in z 2.339 * [taylor]: Taking taylor expansion of t in z 2.339 * [taylor]: Taking taylor expansion of z in z 2.339 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 2.339 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 2.339 * [taylor]: Taking taylor expansion of 0.0625 in y 2.339 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.339 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.339 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.340 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.340 * [taylor]: Taking taylor expansion of y in y 2.340 * [taylor]: Taking taylor expansion of 2.0 in y 2.340 * [taylor]: Taking taylor expansion of 1.0 in y 2.340 * [taylor]: Taking taylor expansion of (* t z) in y 2.340 * [taylor]: Taking taylor expansion of t in y 2.340 * [taylor]: Taking taylor expansion of z in y 2.341 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 2.341 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 2.341 * [taylor]: Taking taylor expansion of 0.0625 in t 2.341 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.341 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.341 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.341 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.341 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.341 * [taylor]: Taking taylor expansion of y in t 2.341 * [taylor]: Taking taylor expansion of 2.0 in t 2.341 * [taylor]: Taking taylor expansion of 1.0 in t 2.341 * [taylor]: Taking taylor expansion of (* t z) in t 2.341 * [taylor]: Taking taylor expansion of t in t 2.341 * [taylor]: Taking taylor expansion of z in t 2.342 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 2.342 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 2.342 * [taylor]: Taking taylor expansion of 0.0625 in t 2.342 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.342 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.342 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.342 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.342 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.342 * [taylor]: Taking taylor expansion of y in t 2.342 * [taylor]: Taking taylor expansion of 2.0 in t 2.342 * [taylor]: Taking taylor expansion of 1.0 in t 2.342 * [taylor]: Taking taylor expansion of (* t z) in t 2.342 * [taylor]: Taking taylor expansion of t in t 2.342 * [taylor]: Taking taylor expansion of z in t 2.343 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 2.343 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 2.343 * [taylor]: Taking taylor expansion of 0.0625 in y 2.343 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.343 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.343 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.343 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.343 * [taylor]: Taking taylor expansion of y in y 2.344 * [taylor]: Taking taylor expansion of 2.0 in y 2.344 * [taylor]: Taking taylor expansion of 1.0 in y 2.344 * [taylor]: Taking taylor expansion of (* t z) in y 2.344 * [taylor]: Taking taylor expansion of t in y 2.344 * [taylor]: Taking taylor expansion of z in y 2.345 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 2.345 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 2.345 * [taylor]: Taking taylor expansion of 0.0625 in z 2.345 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 2.345 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 2.345 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.345 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 2.345 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.345 * [taylor]: Taking taylor expansion of y in z 2.345 * [taylor]: Taking taylor expansion of 2.0 in z 2.345 * [taylor]: Taking taylor expansion of 1.0 in z 2.345 * [taylor]: Taking taylor expansion of (* t z) in z 2.345 * [taylor]: Taking taylor expansion of t in z 2.345 * [taylor]: Taking taylor expansion of z in z 2.346 * [taylor]: Taking taylor expansion of 0 in y 2.346 * [taylor]: Taking taylor expansion of 0 in z 2.346 * [taylor]: Taking taylor expansion of 0 in z 2.346 * [taylor]: Taking taylor expansion of 0 in y 2.346 * [taylor]: Taking taylor expansion of 0 in z 2.346 * [taylor]: Taking taylor expansion of 0 in z 2.346 * [taylor]: Taking taylor expansion of 0 in z 2.346 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 2.346 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 2.346 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 2.347 * [taylor]: Taking taylor expansion of 0.0625 in z 2.347 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.347 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.347 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.347 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.347 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.347 * [taylor]: Taking taylor expansion of -1 in z 2.347 * [taylor]: Taking taylor expansion of y in z 2.347 * [taylor]: Taking taylor expansion of 2.0 in z 2.347 * [taylor]: Taking taylor expansion of 1.0 in z 2.347 * [taylor]: Taking taylor expansion of (* t z) in z 2.347 * [taylor]: Taking taylor expansion of t in z 2.347 * [taylor]: Taking taylor expansion of z in z 2.348 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 2.348 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 2.348 * [taylor]: Taking taylor expansion of 0.0625 in y 2.348 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.348 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.348 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.348 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.348 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.348 * [taylor]: Taking taylor expansion of -1 in y 2.348 * [taylor]: Taking taylor expansion of y in y 2.348 * [taylor]: Taking taylor expansion of 2.0 in y 2.348 * [taylor]: Taking taylor expansion of 1.0 in y 2.348 * [taylor]: Taking taylor expansion of (* t z) in y 2.348 * [taylor]: Taking taylor expansion of t in y 2.348 * [taylor]: Taking taylor expansion of z in y 2.350 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 2.350 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 2.350 * [taylor]: Taking taylor expansion of 0.0625 in t 2.350 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.350 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.350 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.350 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.350 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.350 * [taylor]: Taking taylor expansion of -1 in t 2.350 * [taylor]: Taking taylor expansion of y in t 2.350 * [taylor]: Taking taylor expansion of 2.0 in t 2.350 * [taylor]: Taking taylor expansion of 1.0 in t 2.350 * [taylor]: Taking taylor expansion of (* t z) in t 2.350 * [taylor]: Taking taylor expansion of t in t 2.350 * [taylor]: Taking taylor expansion of z in t 2.351 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 2.351 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 2.351 * [taylor]: Taking taylor expansion of 0.0625 in t 2.351 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.351 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.351 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.351 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.351 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.351 * [taylor]: Taking taylor expansion of -1 in t 2.351 * [taylor]: Taking taylor expansion of y in t 2.351 * [taylor]: Taking taylor expansion of 2.0 in t 2.351 * [taylor]: Taking taylor expansion of 1.0 in t 2.351 * [taylor]: Taking taylor expansion of (* t z) in t 2.351 * [taylor]: Taking taylor expansion of t in t 2.351 * [taylor]: Taking taylor expansion of z in t 2.352 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 2.352 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 2.352 * [taylor]: Taking taylor expansion of 0.0625 in y 2.352 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.352 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.352 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.352 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.352 * [taylor]: Taking taylor expansion of -1 in y 2.352 * [taylor]: Taking taylor expansion of y in y 2.353 * [taylor]: Taking taylor expansion of 2.0 in y 2.353 * [taylor]: Taking taylor expansion of 1.0 in y 2.353 * [taylor]: Taking taylor expansion of (* t z) in y 2.353 * [taylor]: Taking taylor expansion of t in y 2.353 * [taylor]: Taking taylor expansion of z in y 2.354 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 2.354 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 2.354 * [taylor]: Taking taylor expansion of 0.0625 in z 2.354 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.354 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.354 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.354 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.354 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.354 * [taylor]: Taking taylor expansion of -1 in z 2.354 * [taylor]: Taking taylor expansion of y in z 2.355 * [taylor]: Taking taylor expansion of 2.0 in z 2.355 * [taylor]: Taking taylor expansion of 1.0 in z 2.355 * [taylor]: Taking taylor expansion of (* t z) in z 2.355 * [taylor]: Taking taylor expansion of t in z 2.355 * [taylor]: Taking taylor expansion of z in z 2.355 * [taylor]: Taking taylor expansion of 0 in y 2.355 * [taylor]: Taking taylor expansion of 0 in z 2.355 * [taylor]: Taking taylor expansion of 0 in z 2.355 * [taylor]: Taking taylor expansion of 0 in y 2.356 * [taylor]: Taking taylor expansion of 0 in z 2.356 * [taylor]: Taking taylor expansion of 0 in z 2.356 * [taylor]: Taking taylor expansion of 0 in z 2.356 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.356 * [approximate]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in (a b t) around 0 2.356 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in t 2.356 * [taylor]: Taking taylor expansion of t in t 2.356 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in t 2.356 * [taylor]: Taking taylor expansion of b in t 2.356 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in t 2.356 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.356 * [taylor]: Taking taylor expansion of (* a 2.0) in t 2.356 * [taylor]: Taking taylor expansion of a in t 2.356 * [taylor]: Taking taylor expansion of 2.0 in t 2.356 * [taylor]: Taking taylor expansion of 1.0 in t 2.356 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in b 2.356 * [taylor]: Taking taylor expansion of t in b 2.356 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in b 2.356 * [taylor]: Taking taylor expansion of b in b 2.356 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in b 2.356 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.356 * [taylor]: Taking taylor expansion of (* a 2.0) in b 2.356 * [taylor]: Taking taylor expansion of a in b 2.356 * [taylor]: Taking taylor expansion of 2.0 in b 2.357 * [taylor]: Taking taylor expansion of 1.0 in b 2.357 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.357 * [taylor]: Taking taylor expansion of t in a 2.357 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.357 * [taylor]: Taking taylor expansion of b in a 2.357 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.357 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.357 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.357 * [taylor]: Taking taylor expansion of a in a 2.357 * [taylor]: Taking taylor expansion of 2.0 in a 2.357 * [taylor]: Taking taylor expansion of 1.0 in a 2.357 * [taylor]: Taking taylor expansion of (* t (* b (fma a 2.0 1.0))) in a 2.357 * [taylor]: Taking taylor expansion of t in a 2.357 * [taylor]: Taking taylor expansion of (* b (fma a 2.0 1.0)) in a 2.357 * [taylor]: Taking taylor expansion of b in a 2.357 * [taylor]: Taking taylor expansion of (fma a 2.0 1.0) in a 2.357 * [taylor]: Rewrote expression to (+ (* a 2.0) 1.0) 2.357 * [taylor]: Taking taylor expansion of (* a 2.0) in a 2.357 * [taylor]: Taking taylor expansion of a in a 2.357 * [taylor]: Taking taylor expansion of 2.0 in a 2.357 * [taylor]: Taking taylor expansion of 1.0 in a 2.358 * [taylor]: Taking taylor expansion of (* 1.0 (* t b)) in b 2.358 * [taylor]: Taking taylor expansion of 1.0 in b 2.358 * [taylor]: Taking taylor expansion of (* t b) in b 2.358 * [taylor]: Taking taylor expansion of t in b 2.358 * [taylor]: Taking taylor expansion of b in b 2.358 * [taylor]: Taking taylor expansion of 0 in t 2.360 * [taylor]: Taking taylor expansion of (* 2.0 (* t b)) in b 2.360 * [taylor]: Taking taylor expansion of 2.0 in b 2.360 * [taylor]: Taking taylor expansion of (* t b) in b 2.360 * [taylor]: Taking taylor expansion of t in b 2.360 * [taylor]: Taking taylor expansion of b in b 2.361 * [taylor]: Taking taylor expansion of 0 in t 2.361 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.361 * [taylor]: Taking taylor expansion of 1.0 in t 2.361 * [taylor]: Taking taylor expansion of t in t 2.363 * [taylor]: Taking taylor expansion of 0 in b 2.363 * [taylor]: Taking taylor expansion of 0 in t 2.364 * [taylor]: Taking taylor expansion of (* 2.0 t) in t 2.364 * [taylor]: Taking taylor expansion of 2.0 in t 2.364 * [taylor]: Taking taylor expansion of t in t 2.364 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in (a b t) around 0 2.364 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in t 2.364 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in t 2.364 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.364 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in t 2.365 * [taylor]: Taking taylor expansion of (/ 1 a) in t 2.365 * [taylor]: Taking taylor expansion of a in t 2.365 * [taylor]: Taking taylor expansion of 2.0 in t 2.365 * [taylor]: Taking taylor expansion of 1.0 in t 2.365 * [taylor]: Taking taylor expansion of (* t b) in t 2.365 * [taylor]: Taking taylor expansion of t in t 2.365 * [taylor]: Taking taylor expansion of b in t 2.365 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in b 2.365 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in b 2.365 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.365 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in b 2.365 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.365 * [taylor]: Taking taylor expansion of a in b 2.365 * [taylor]: Taking taylor expansion of 2.0 in b 2.365 * [taylor]: Taking taylor expansion of 1.0 in b 2.365 * [taylor]: Taking taylor expansion of (* t b) in b 2.365 * [taylor]: Taking taylor expansion of t in b 2.365 * [taylor]: Taking taylor expansion of b in b 2.366 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.366 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.366 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.366 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.366 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.366 * [taylor]: Taking taylor expansion of a in a 2.367 * [taylor]: Taking taylor expansion of 2.0 in a 2.367 * [taylor]: Taking taylor expansion of 1.0 in a 2.367 * [taylor]: Taking taylor expansion of (* t b) in a 2.367 * [taylor]: Taking taylor expansion of t in a 2.367 * [taylor]: Taking taylor expansion of b in a 2.368 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 a) 2.0 1.0) (* t b)) in a 2.368 * [taylor]: Taking taylor expansion of (fma (/ 1 a) 2.0 1.0) in a 2.368 * [taylor]: Rewrote expression to (+ (* (/ 1 a) 2.0) 1.0) 2.368 * [taylor]: Taking taylor expansion of (* (/ 1 a) 2.0) in a 2.368 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.368 * [taylor]: Taking taylor expansion of a in a 2.368 * [taylor]: Taking taylor expansion of 2.0 in a 2.368 * [taylor]: Taking taylor expansion of 1.0 in a 2.368 * [taylor]: Taking taylor expansion of (* t b) in a 2.368 * [taylor]: Taking taylor expansion of t in a 2.368 * [taylor]: Taking taylor expansion of b in a 2.369 * [taylor]: Taking taylor expansion of (/ 2.0 (* t b)) in b 2.369 * [taylor]: Taking taylor expansion of 2.0 in b 2.369 * [taylor]: Taking taylor expansion of (* t b) in b 2.369 * [taylor]: Taking taylor expansion of t in b 2.369 * [taylor]: Taking taylor expansion of b in b 2.369 * [taylor]: Taking taylor expansion of (/ 2.0 t) in t 2.370 * [taylor]: Taking taylor expansion of 2.0 in t 2.370 * [taylor]: Taking taylor expansion of t in t 2.371 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t b))) in b 2.371 * [taylor]: Taking taylor expansion of 1.0 in b 2.371 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 2.371 * [taylor]: Taking taylor expansion of (* t b) in b 2.371 * [taylor]: Taking taylor expansion of t in b 2.371 * [taylor]: Taking taylor expansion of b in b 2.372 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t 2.372 * [taylor]: Taking taylor expansion of 1.0 in t 2.372 * [taylor]: Taking taylor expansion of t in t 2.373 * [taylor]: Taking taylor expansion of 0 in t 2.375 * [taylor]: Taking taylor expansion of 0 in b 2.376 * [taylor]: Taking taylor expansion of 0 in t 2.377 * [taylor]: Taking taylor expansion of 0 in t 2.380 * [taylor]: Taking taylor expansion of 0 in b 2.380 * [taylor]: Taking taylor expansion of 0 in t 2.382 * [taylor]: Taking taylor expansion of 0 in t 2.382 * [taylor]: Taking taylor expansion of 0 in t 2.383 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in (a b t) around 0 2.383 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in t 2.383 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in t 2.383 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.383 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in t 2.383 * [taylor]: Taking taylor expansion of (/ -1 a) in t 2.383 * [taylor]: Taking taylor expansion of -1 in t 2.383 * [taylor]: Taking taylor expansion of a in t 2.383 * [taylor]: Taking taylor expansion of 2.0 in t 2.383 * [taylor]: Taking taylor expansion of 1.0 in t 2.383 * [taylor]: Taking taylor expansion of (* t b) in t 2.383 * [taylor]: Taking taylor expansion of t in t 2.383 * [taylor]: Taking taylor expansion of b in t 2.384 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in b 2.384 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in b 2.384 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.384 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in b 2.384 * [taylor]: Taking taylor expansion of (/ -1 a) in b 2.384 * [taylor]: Taking taylor expansion of -1 in b 2.384 * [taylor]: Taking taylor expansion of a in b 2.384 * [taylor]: Taking taylor expansion of 2.0 in b 2.384 * [taylor]: Taking taylor expansion of 1.0 in b 2.384 * [taylor]: Taking taylor expansion of (* t b) in b 2.384 * [taylor]: Taking taylor expansion of t in b 2.384 * [taylor]: Taking taylor expansion of b in b 2.385 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.385 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.385 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.385 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.385 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.385 * [taylor]: Taking taylor expansion of -1 in a 2.385 * [taylor]: Taking taylor expansion of a in a 2.385 * [taylor]: Taking taylor expansion of 2.0 in a 2.385 * [taylor]: Taking taylor expansion of 1.0 in a 2.385 * [taylor]: Taking taylor expansion of (* t b) in a 2.385 * [taylor]: Taking taylor expansion of t in a 2.385 * [taylor]: Taking taylor expansion of b in a 2.386 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 a) 2.0 1.0) (* t b)) in a 2.386 * [taylor]: Taking taylor expansion of (fma (/ -1 a) 2.0 1.0) in a 2.386 * [taylor]: Rewrote expression to (+ (* (/ -1 a) 2.0) 1.0) 2.386 * [taylor]: Taking taylor expansion of (* (/ -1 a) 2.0) in a 2.386 * [taylor]: Taking taylor expansion of (/ -1 a) in a 2.386 * [taylor]: Taking taylor expansion of -1 in a 2.386 * [taylor]: Taking taylor expansion of a in a 2.387 * [taylor]: Taking taylor expansion of 2.0 in a 2.387 * [taylor]: Taking taylor expansion of 1.0 in a 2.387 * [taylor]: Taking taylor expansion of (* t b) in a 2.387 * [taylor]: Taking taylor expansion of t in a 2.387 * [taylor]: Taking taylor expansion of b in a 2.388 * [taylor]: Taking taylor expansion of (/ -2.0 (* t b)) in b 2.388 * [taylor]: Taking taylor expansion of -2.0 in b 2.388 * [taylor]: Taking taylor expansion of (* t b) in b 2.388 * [taylor]: Taking taylor expansion of t in b 2.388 * [taylor]: Taking taylor expansion of b in b 2.388 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t 2.388 * [taylor]: Taking taylor expansion of -2.0 in t 2.388 * [taylor]: Taking taylor expansion of t in t 2.390 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t b))) in b 2.390 * [taylor]: Taking taylor expansion of 1.0 in b 2.390 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 2.390 * [taylor]: Taking taylor expansion of (* t b) in b 2.390 * [taylor]: Taking taylor expansion of t in b 2.390 * [taylor]: Taking taylor expansion of b in b 2.391 * [taylor]: Taking taylor expansion of (/ 1.0 t) in t 2.391 * [taylor]: Taking taylor expansion of 1.0 in t 2.391 * [taylor]: Taking taylor expansion of t in t 2.392 * [taylor]: Taking taylor expansion of 0 in t 2.394 * [taylor]: Taking taylor expansion of 0 in b 2.395 * [taylor]: Taking taylor expansion of 0 in t 2.396 * [taylor]: Taking taylor expansion of 0 in t 2.405 * [taylor]: Taking taylor expansion of 0 in b 2.406 * [taylor]: Taking taylor expansion of 0 in t 2.407 * [taylor]: Taking taylor expansion of 0 in t 2.408 * [taylor]: Taking taylor expansion of 0 in t 2.408 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1) 2.408 * [approximate]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in (t y z) around 0 2.408 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 2.409 * [taylor]: Taking taylor expansion of t in z 2.409 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 2.409 * [taylor]: Taking taylor expansion of z in z 2.409 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 2.409 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.409 * [taylor]: Taking taylor expansion of (* y 2.0) in z 2.409 * [taylor]: Taking taylor expansion of y in z 2.409 * [taylor]: Taking taylor expansion of 2.0 in z 2.409 * [taylor]: Taking taylor expansion of 1.0 in z 2.409 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 2.409 * [taylor]: Taking taylor expansion of t in y 2.409 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 2.409 * [taylor]: Taking taylor expansion of z in y 2.409 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 2.409 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.409 * [taylor]: Taking taylor expansion of (* y 2.0) in y 2.409 * [taylor]: Taking taylor expansion of y in y 2.409 * [taylor]: Taking taylor expansion of 2.0 in y 2.409 * [taylor]: Taking taylor expansion of 1.0 in y 2.409 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.409 * [taylor]: Taking taylor expansion of t in t 2.409 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.409 * [taylor]: Taking taylor expansion of z in t 2.409 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.409 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.409 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.409 * [taylor]: Taking taylor expansion of y in t 2.409 * [taylor]: Taking taylor expansion of 2.0 in t 2.409 * [taylor]: Taking taylor expansion of 1.0 in t 2.409 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 2.409 * [taylor]: Taking taylor expansion of t in t 2.409 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 2.409 * [taylor]: Taking taylor expansion of z in t 2.409 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 2.410 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 2.410 * [taylor]: Taking taylor expansion of (* y 2.0) in t 2.410 * [taylor]: Taking taylor expansion of y in t 2.410 * [taylor]: Taking taylor expansion of 2.0 in t 2.410 * [taylor]: Taking taylor expansion of 1.0 in t 2.410 * [taylor]: Taking taylor expansion of 0 in y 2.410 * [taylor]: Taking taylor expansion of 0 in z 2.411 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* z y)) (* 1.0 z)) in y 2.411 * [taylor]: Taking taylor expansion of (* 2.0 (* z y)) in y 2.411 * [taylor]: Taking taylor expansion of 2.0 in y 2.411 * [taylor]: Taking taylor expansion of (* z y) in y 2.411 * [taylor]: Taking taylor expansion of z in y 2.411 * [taylor]: Taking taylor expansion of y in y 2.411 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 2.411 * [taylor]: Taking taylor expansion of 1.0 in y 2.411 * [taylor]: Taking taylor expansion of z in y 2.412 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 2.412 * [taylor]: Taking taylor expansion of 1.0 in z 2.412 * [taylor]: Taking taylor expansion of z in z 2.412 * [taylor]: Taking taylor expansion of 0 in z 2.414 * [taylor]: Taking taylor expansion of 0 in y 2.414 * [taylor]: Taking taylor expansion of 0 in z 2.415 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 2.415 * [taylor]: Taking taylor expansion of 2.0 in z 2.415 * [taylor]: Taking taylor expansion of z in z 2.416 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in (t y z) around 0 2.416 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 2.416 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 2.416 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.416 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 2.416 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.416 * [taylor]: Taking taylor expansion of y in z 2.416 * [taylor]: Taking taylor expansion of 2.0 in z 2.416 * [taylor]: Taking taylor expansion of 1.0 in z 2.416 * [taylor]: Taking taylor expansion of (* t z) in z 2.416 * [taylor]: Taking taylor expansion of t in z 2.416 * [taylor]: Taking taylor expansion of z in z 2.417 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 2.417 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 2.417 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.417 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 2.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.417 * [taylor]: Taking taylor expansion of y in y 2.417 * [taylor]: Taking taylor expansion of 2.0 in y 2.417 * [taylor]: Taking taylor expansion of 1.0 in y 2.417 * [taylor]: Taking taylor expansion of (* t z) in y 2.417 * [taylor]: Taking taylor expansion of t in y 2.417 * [taylor]: Taking taylor expansion of z in y 2.418 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.418 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.418 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.418 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.418 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.418 * [taylor]: Taking taylor expansion of y in t 2.418 * [taylor]: Taking taylor expansion of 2.0 in t 2.418 * [taylor]: Taking taylor expansion of 1.0 in t 2.418 * [taylor]: Taking taylor expansion of (* t z) in t 2.418 * [taylor]: Taking taylor expansion of t in t 2.418 * [taylor]: Taking taylor expansion of z in t 2.419 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 2.419 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 2.419 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 2.419 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 2.419 * [taylor]: Taking taylor expansion of (/ 1 y) in t 2.419 * [taylor]: Taking taylor expansion of y in t 2.419 * [taylor]: Taking taylor expansion of 2.0 in t 2.419 * [taylor]: Taking taylor expansion of 1.0 in t 2.419 * [taylor]: Taking taylor expansion of (* t z) in t 2.419 * [taylor]: Taking taylor expansion of t in t 2.419 * [taylor]: Taking taylor expansion of z in t 2.420 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) z) in y 2.420 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y 2.420 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 2.420 * [taylor]: Taking taylor expansion of 2.0 in y 2.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.420 * [taylor]: Taking taylor expansion of y in y 2.420 * [taylor]: Taking taylor expansion of 1.0 in y 2.420 * [taylor]: Taking taylor expansion of z in y 2.421 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 2.421 * [taylor]: Taking taylor expansion of 2.0 in z 2.421 * [taylor]: Taking taylor expansion of z in z 2.423 * [taylor]: Taking taylor expansion of 0 in y 2.424 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 2.424 * [taylor]: Taking taylor expansion of 1.0 in z 2.424 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.424 * [taylor]: Taking taylor expansion of z in z 2.427 * [taylor]: Taking taylor expansion of 0 in y 2.427 * [taylor]: Taking taylor expansion of 0 in z 2.428 * [taylor]: Taking taylor expansion of 0 in z 2.432 * [taylor]: Taking taylor expansion of 0 in y 2.432 * [taylor]: Taking taylor expansion of 0 in z 2.432 * [taylor]: Taking taylor expansion of 0 in z 2.434 * [taylor]: Taking taylor expansion of 0 in z 2.435 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in (t y z) around 0 2.435 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 2.435 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 2.436 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.436 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 2.436 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.436 * [taylor]: Taking taylor expansion of -1 in z 2.436 * [taylor]: Taking taylor expansion of y in z 2.436 * [taylor]: Taking taylor expansion of 2.0 in z 2.436 * [taylor]: Taking taylor expansion of 1.0 in z 2.436 * [taylor]: Taking taylor expansion of (* t z) in z 2.436 * [taylor]: Taking taylor expansion of t in z 2.436 * [taylor]: Taking taylor expansion of z in z 2.436 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 2.436 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 2.436 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.436 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 2.436 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.436 * [taylor]: Taking taylor expansion of -1 in y 2.436 * [taylor]: Taking taylor expansion of y in y 2.437 * [taylor]: Taking taylor expansion of 2.0 in y 2.437 * [taylor]: Taking taylor expansion of 1.0 in y 2.437 * [taylor]: Taking taylor expansion of (* t z) in y 2.437 * [taylor]: Taking taylor expansion of t in y 2.437 * [taylor]: Taking taylor expansion of z in y 2.438 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.438 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.438 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.438 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.438 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.438 * [taylor]: Taking taylor expansion of -1 in t 2.438 * [taylor]: Taking taylor expansion of y in t 2.438 * [taylor]: Taking taylor expansion of 2.0 in t 2.438 * [taylor]: Taking taylor expansion of 1.0 in t 2.438 * [taylor]: Taking taylor expansion of (* t z) in t 2.438 * [taylor]: Taking taylor expansion of t in t 2.438 * [taylor]: Taking taylor expansion of z in t 2.439 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 2.439 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 2.439 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 2.439 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 2.439 * [taylor]: Taking taylor expansion of (/ -1 y) in t 2.439 * [taylor]: Taking taylor expansion of -1 in t 2.439 * [taylor]: Taking taylor expansion of y in t 2.439 * [taylor]: Taking taylor expansion of 2.0 in t 2.439 * [taylor]: Taking taylor expansion of 1.0 in t 2.439 * [taylor]: Taking taylor expansion of (* t z) in t 2.439 * [taylor]: Taking taylor expansion of t in t 2.439 * [taylor]: Taking taylor expansion of z in t 2.439 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) z) in y 2.439 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y 2.439 * [taylor]: Taking taylor expansion of 1.0 in y 2.439 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 2.440 * [taylor]: Taking taylor expansion of 2.0 in y 2.440 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.440 * [taylor]: Taking taylor expansion of y in y 2.440 * [taylor]: Taking taylor expansion of z in y 2.441 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z 2.441 * [taylor]: Taking taylor expansion of -2.0 in z 2.441 * [taylor]: Taking taylor expansion of z in z 2.443 * [taylor]: Taking taylor expansion of 0 in y 2.444 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 2.444 * [taylor]: Taking taylor expansion of 1.0 in z 2.444 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.444 * [taylor]: Taking taylor expansion of z in z 2.447 * [taylor]: Taking taylor expansion of 0 in y 2.447 * [taylor]: Taking taylor expansion of 0 in z 2.449 * [taylor]: Taking taylor expansion of 0 in z 2.453 * [taylor]: Taking taylor expansion of 0 in y 2.453 * [taylor]: Taking taylor expansion of 0 in z 2.453 * [taylor]: Taking taylor expansion of 0 in z 2.454 * [taylor]: Taking taylor expansion of 0 in z 2.456 * * * [progress]: simplifying candidates 2.457 * [simplify]: Simplifying using # : (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 (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 (* (* (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 (* b (fma a 2.0 1.0))))) (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) 1 (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) 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.460 * * [simplify]: iteration 0 : 118 enodes (cost 846 ) 2.477 * * [simplify]: iteration 1 : 261 enodes (cost 834 ) 2.562 * * [simplify]: iteration 2 : 963 enodes (cost 694 ) 3.568 * * [simplify]: iteration 3 : 4108 enodes (cost 678 ) 4.764 * * [simplify]: iteration done : 5000 enodes (cost 678 ) 4.765 * [simplify]: Simplified to: (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))) (pow (cos (/ (* (* (fma a 2.0 1.0) b) t) 16.0)) 3) (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 (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))) (pow (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)) 3) (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 (* (* (fma a 2.0 1.0) b) t)) (log1p (* (* (fma a 2.0 1.0) b) t)) (* t (* b (fma a 2.0 1.0))) (* t (* b (fma a 2.0 1.0))) (log (* (* (fma a 2.0 1.0) b) t)) (log (* (* (fma a 2.0 1.0) b) t)) (log (* (* (fma a 2.0 1.0) b) t)) (exp (* (* (fma a 2.0 1.0) b) t)) (pow (* t (* b (fma a 2.0 1.0))) 3) (pow (* t (* b (fma a 2.0 1.0))) 3) (* (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)) (pow (* t (* b (fma a 2.0 1.0))) 3) (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) (* t b) (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 (* (fma y 2.0 1.0) z))) (log (* t (* (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))) (pow (* t (* (fma y 2.0 1.0) z)) 3) (pow (* t (* (fma y 2.0 1.0) z)) 3) (* (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))) (pow (* t (* (fma y 2.0 1.0) z)) 3) (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 (* b (fma a 2.0 1.0))))) (cos (* 0.0625 (* t (* b (fma a 2.0 1.0))))) 1 (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) 0 (* t (* b (fma a 2.0 1.0))) (* t (* b (fma a 2.0 1.0))) 0 (* t (* (fma y 2.0 1.0) z)) (* t (* (fma y 2.0 1.0) z)) 4.766 * * * [progress]: adding candidates to table 5.116 * * [progress]: iteration 2 / 4 5.116 * * * [progress]: picking best candidate 5.211 * * * * [pick]: Picked # 5.211 * * * [progress]: localizing error 5.226 * * * [progress]: generating rewritten candidates 5.226 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 5.234 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.238 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2) 5.246 * * * [progress]: generating series expansions 5.246 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.247 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in (t y z) around 0 5.247 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in z 5.247 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in z 5.247 * [taylor]: Taking taylor expansion of 0.0625 in z 5.247 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 5.247 * [taylor]: Taking taylor expansion of t in z 5.247 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 5.247 * [taylor]: Taking taylor expansion of z in z 5.247 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 5.247 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.247 * [taylor]: Taking taylor expansion of (* y 2.0) in z 5.247 * [taylor]: Taking taylor expansion of y in z 5.247 * [taylor]: Taking taylor expansion of 2.0 in z 5.247 * [taylor]: Taking taylor expansion of 1.0 in z 5.250 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in y 5.250 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in y 5.250 * [taylor]: Taking taylor expansion of 0.0625 in y 5.250 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 5.250 * [taylor]: Taking taylor expansion of t in y 5.250 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 5.250 * [taylor]: Taking taylor expansion of z in y 5.250 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 5.250 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.250 * [taylor]: Taking taylor expansion of (* y 2.0) in y 5.250 * [taylor]: Taking taylor expansion of y in y 5.251 * [taylor]: Taking taylor expansion of 2.0 in y 5.251 * [taylor]: Taking taylor expansion of 1.0 in y 5.251 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 5.251 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 5.251 * [taylor]: Taking taylor expansion of 0.0625 in t 5.252 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 5.252 * [taylor]: Taking taylor expansion of t in t 5.252 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 5.252 * [taylor]: Taking taylor expansion of z in t 5.252 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 5.252 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.252 * [taylor]: Taking taylor expansion of (* y 2.0) in t 5.252 * [taylor]: Taking taylor expansion of y in t 5.252 * [taylor]: Taking taylor expansion of 2.0 in t 5.252 * [taylor]: Taking taylor expansion of 1.0 in t 5.254 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 5.254 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 5.254 * [taylor]: Taking taylor expansion of 0.0625 in t 5.254 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 5.254 * [taylor]: Taking taylor expansion of t in t 5.254 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 5.254 * [taylor]: Taking taylor expansion of z in t 5.254 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 5.254 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.254 * [taylor]: Taking taylor expansion of (* y 2.0) in t 5.254 * [taylor]: Taking taylor expansion of y in t 5.254 * [taylor]: Taking taylor expansion of 2.0 in t 5.254 * [taylor]: Taking taylor expansion of 1.0 in t 5.256 * [taylor]: Taking taylor expansion of 1 in y 5.256 * [taylor]: Taking taylor expansion of 1 in z 5.256 * [taylor]: Taking taylor expansion of 0 in y 5.256 * [taylor]: Taking taylor expansion of 0 in z 5.256 * [taylor]: Taking taylor expansion of 0 in z 5.257 * [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 5.257 * [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 5.257 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) y)) in y 5.257 * [taylor]: Taking taylor expansion of 0.0078125 in y 5.257 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.257 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [taylor]: Taking taylor expansion of y in y 5.257 * [taylor]: Taking taylor expansion of (+ (* 0.001953125 (pow z 2)) (* 0.0078125 (* (pow z 2) (pow y 2)))) in y 5.257 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in y 5.257 * [taylor]: Taking taylor expansion of 0.001953125 in y 5.257 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow z 2) (pow y 2))) in y 5.257 * [taylor]: Taking taylor expansion of 0.0078125 in y 5.257 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 5.257 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.257 * [taylor]: Taking taylor expansion of z in y 5.257 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.257 * [taylor]: Taking taylor expansion of y in y 5.258 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow z 2))) in z 5.258 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in z 5.258 * [taylor]: Taking taylor expansion of 0.001953125 in z 5.258 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.258 * [taylor]: Taking taylor expansion of z in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [taylor]: Taking taylor expansion of 0 in z 5.258 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 5.258 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 5.258 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 5.258 * [taylor]: Taking taylor expansion of 0.0625 in z 5.259 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 5.259 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 5.259 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.259 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.259 * [taylor]: Taking taylor expansion of y in z 5.259 * [taylor]: Taking taylor expansion of 2.0 in z 5.259 * [taylor]: Taking taylor expansion of 1.0 in z 5.259 * [taylor]: Taking taylor expansion of (* t z) in z 5.259 * [taylor]: Taking taylor expansion of t in z 5.259 * [taylor]: Taking taylor expansion of z in z 5.260 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 5.260 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 5.260 * [taylor]: Taking taylor expansion of 0.0625 in y 5.260 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 5.260 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 5.260 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.260 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 5.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.260 * [taylor]: Taking taylor expansion of y in y 5.260 * [taylor]: Taking taylor expansion of 2.0 in y 5.260 * [taylor]: Taking taylor expansion of 1.0 in y 5.260 * [taylor]: Taking taylor expansion of (* t z) in y 5.260 * [taylor]: Taking taylor expansion of t in y 5.260 * [taylor]: Taking taylor expansion of z in y 5.261 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 5.261 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 5.261 * [taylor]: Taking taylor expansion of 0.0625 in t 5.261 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 5.261 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 5.261 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.261 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 5.261 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.261 * [taylor]: Taking taylor expansion of y in t 5.262 * [taylor]: Taking taylor expansion of 2.0 in t 5.262 * [taylor]: Taking taylor expansion of 1.0 in t 5.262 * [taylor]: Taking taylor expansion of (* t z) in t 5.262 * [taylor]: Taking taylor expansion of t in t 5.262 * [taylor]: Taking taylor expansion of z in t 5.262 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 5.262 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 5.262 * [taylor]: Taking taylor expansion of 0.0625 in t 5.262 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 5.262 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 5.262 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.262 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 5.262 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.263 * [taylor]: Taking taylor expansion of y in t 5.263 * [taylor]: Taking taylor expansion of 2.0 in t 5.263 * [taylor]: Taking taylor expansion of 1.0 in t 5.263 * [taylor]: Taking taylor expansion of (* t z) in t 5.263 * [taylor]: Taking taylor expansion of t in t 5.263 * [taylor]: Taking taylor expansion of z in t 5.263 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 5.263 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 5.263 * [taylor]: Taking taylor expansion of 0.0625 in y 5.263 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 5.263 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 5.263 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.264 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 5.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.264 * [taylor]: Taking taylor expansion of y in y 5.264 * [taylor]: Taking taylor expansion of 2.0 in y 5.264 * [taylor]: Taking taylor expansion of 1.0 in y 5.264 * [taylor]: Taking taylor expansion of (* t z) in y 5.264 * [taylor]: Taking taylor expansion of t in y 5.264 * [taylor]: Taking taylor expansion of z in y 5.265 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 5.265 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 5.265 * [taylor]: Taking taylor expansion of 0.0625 in z 5.265 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 5.265 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 5.265 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.265 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 5.265 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.265 * [taylor]: Taking taylor expansion of y in z 5.265 * [taylor]: Taking taylor expansion of 2.0 in z 5.265 * [taylor]: Taking taylor expansion of 1.0 in z 5.265 * [taylor]: Taking taylor expansion of (* t z) in z 5.265 * [taylor]: Taking taylor expansion of t in z 5.265 * [taylor]: Taking taylor expansion of z in z 5.266 * [taylor]: Taking taylor expansion of 0 in y 5.266 * [taylor]: Taking taylor expansion of 0 in z 5.266 * [taylor]: Taking taylor expansion of 0 in z 5.266 * [taylor]: Taking taylor expansion of 0 in y 5.266 * [taylor]: Taking taylor expansion of 0 in z 5.266 * [taylor]: Taking taylor expansion of 0 in z 5.266 * [taylor]: Taking taylor expansion of 0 in z 5.267 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in (t y z) around 0 5.267 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 5.267 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 5.267 * [taylor]: Taking taylor expansion of 0.0625 in z 5.267 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 5.267 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 5.267 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.267 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 5.267 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.267 * [taylor]: Taking taylor expansion of -1 in z 5.267 * [taylor]: Taking taylor expansion of y in z 5.267 * [taylor]: Taking taylor expansion of 2.0 in z 5.267 * [taylor]: Taking taylor expansion of 1.0 in z 5.267 * [taylor]: Taking taylor expansion of (* t z) in z 5.267 * [taylor]: Taking taylor expansion of t in z 5.267 * [taylor]: Taking taylor expansion of z in z 5.268 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 5.268 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 5.268 * [taylor]: Taking taylor expansion of 0.0625 in y 5.268 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 5.268 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 5.268 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.268 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 5.268 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.268 * [taylor]: Taking taylor expansion of -1 in y 5.268 * [taylor]: Taking taylor expansion of y in y 5.268 * [taylor]: Taking taylor expansion of 2.0 in y 5.268 * [taylor]: Taking taylor expansion of 1.0 in y 5.268 * [taylor]: Taking taylor expansion of (* t z) in y 5.268 * [taylor]: Taking taylor expansion of t in y 5.268 * [taylor]: Taking taylor expansion of z in y 5.270 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 5.270 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 5.270 * [taylor]: Taking taylor expansion of 0.0625 in t 5.270 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 5.270 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 5.270 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.270 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 5.270 * [taylor]: Taking taylor expansion of (/ -1 y) in t 5.270 * [taylor]: Taking taylor expansion of -1 in t 5.270 * [taylor]: Taking taylor expansion of y in t 5.270 * [taylor]: Taking taylor expansion of 2.0 in t 5.270 * [taylor]: Taking taylor expansion of 1.0 in t 5.270 * [taylor]: Taking taylor expansion of (* t z) in t 5.270 * [taylor]: Taking taylor expansion of t in t 5.270 * [taylor]: Taking taylor expansion of z in t 5.271 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 5.271 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 5.271 * [taylor]: Taking taylor expansion of 0.0625 in t 5.271 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 5.271 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 5.271 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.271 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 5.271 * [taylor]: Taking taylor expansion of (/ -1 y) in t 5.271 * [taylor]: Taking taylor expansion of -1 in t 5.271 * [taylor]: Taking taylor expansion of y in t 5.271 * [taylor]: Taking taylor expansion of 2.0 in t 5.271 * [taylor]: Taking taylor expansion of 1.0 in t 5.271 * [taylor]: Taking taylor expansion of (* t z) in t 5.271 * [taylor]: Taking taylor expansion of t in t 5.271 * [taylor]: Taking taylor expansion of z in t 5.272 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 5.272 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 5.272 * [taylor]: Taking taylor expansion of 0.0625 in y 5.272 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 5.272 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 5.272 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.272 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 5.272 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.272 * [taylor]: Taking taylor expansion of -1 in y 5.272 * [taylor]: Taking taylor expansion of y in y 5.272 * [taylor]: Taking taylor expansion of 2.0 in y 5.272 * [taylor]: Taking taylor expansion of 1.0 in y 5.272 * [taylor]: Taking taylor expansion of (* t z) in y 5.272 * [taylor]: Taking taylor expansion of t in y 5.272 * [taylor]: Taking taylor expansion of z in y 5.274 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 5.274 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 5.274 * [taylor]: Taking taylor expansion of 0.0625 in z 5.274 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 5.274 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 5.274 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.274 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 5.274 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.274 * [taylor]: Taking taylor expansion of -1 in z 5.274 * [taylor]: Taking taylor expansion of y in z 5.274 * [taylor]: Taking taylor expansion of 2.0 in z 5.274 * [taylor]: Taking taylor expansion of 1.0 in z 5.274 * [taylor]: Taking taylor expansion of (* t z) in z 5.274 * [taylor]: Taking taylor expansion of t in z 5.274 * [taylor]: Taking taylor expansion of z in z 5.275 * [taylor]: Taking taylor expansion of 0 in y 5.275 * [taylor]: Taking taylor expansion of 0 in z 5.275 * [taylor]: Taking taylor expansion of 0 in z 5.275 * [taylor]: Taking taylor expansion of 0 in y 5.275 * [taylor]: Taking taylor expansion of 0 in z 5.275 * [taylor]: Taking taylor expansion of 0 in z 5.275 * [taylor]: Taking taylor expansion of 0 in z 5.275 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 5.275 * [approximate]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in (t y z) around 0 5.275 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 5.275 * [taylor]: Taking taylor expansion of t in z 5.275 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 5.275 * [taylor]: Taking taylor expansion of z in z 5.275 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 5.275 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.276 * [taylor]: Taking taylor expansion of (* y 2.0) in z 5.276 * [taylor]: Taking taylor expansion of y in z 5.276 * [taylor]: Taking taylor expansion of 2.0 in z 5.276 * [taylor]: Taking taylor expansion of 1.0 in z 5.276 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 5.276 * [taylor]: Taking taylor expansion of t in y 5.276 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 5.276 * [taylor]: Taking taylor expansion of z in y 5.276 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 5.276 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.276 * [taylor]: Taking taylor expansion of (* y 2.0) in y 5.276 * [taylor]: Taking taylor expansion of y in y 5.276 * [taylor]: Taking taylor expansion of 2.0 in y 5.276 * [taylor]: Taking taylor expansion of 1.0 in y 5.276 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 5.276 * [taylor]: Taking taylor expansion of t in t 5.276 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 5.276 * [taylor]: Taking taylor expansion of z in t 5.276 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 5.276 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.276 * [taylor]: Taking taylor expansion of (* y 2.0) in t 5.276 * [taylor]: Taking taylor expansion of y in t 5.276 * [taylor]: Taking taylor expansion of 2.0 in t 5.276 * [taylor]: Taking taylor expansion of 1.0 in t 5.276 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 5.276 * [taylor]: Taking taylor expansion of t in t 5.276 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 5.276 * [taylor]: Taking taylor expansion of z in t 5.276 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 5.276 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.276 * [taylor]: Taking taylor expansion of (* y 2.0) in t 5.276 * [taylor]: Taking taylor expansion of y in t 5.276 * [taylor]: Taking taylor expansion of 2.0 in t 5.276 * [taylor]: Taking taylor expansion of 1.0 in t 5.277 * [taylor]: Taking taylor expansion of 0 in y 5.277 * [taylor]: Taking taylor expansion of 0 in z 5.278 * [taylor]: Taking taylor expansion of (+ (* 2.0 (* z y)) (* 1.0 z)) in y 5.278 * [taylor]: Taking taylor expansion of (* 2.0 (* z y)) in y 5.278 * [taylor]: Taking taylor expansion of 2.0 in y 5.278 * [taylor]: Taking taylor expansion of (* z y) in y 5.278 * [taylor]: Taking taylor expansion of z in y 5.278 * [taylor]: Taking taylor expansion of y in y 5.278 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 5.278 * [taylor]: Taking taylor expansion of 1.0 in y 5.278 * [taylor]: Taking taylor expansion of z in y 5.278 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 5.278 * [taylor]: Taking taylor expansion of 1.0 in z 5.278 * [taylor]: Taking taylor expansion of z in z 5.279 * [taylor]: Taking taylor expansion of 0 in z 5.281 * [taylor]: Taking taylor expansion of 0 in y 5.281 * [taylor]: Taking taylor expansion of 0 in z 5.282 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 5.282 * [taylor]: Taking taylor expansion of 2.0 in z 5.282 * [taylor]: Taking taylor expansion of z in z 5.282 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in (t y z) around 0 5.282 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 5.282 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 5.282 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.282 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 5.282 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.282 * [taylor]: Taking taylor expansion of y in z 5.282 * [taylor]: Taking taylor expansion of 2.0 in z 5.282 * [taylor]: Taking taylor expansion of 1.0 in z 5.282 * [taylor]: Taking taylor expansion of (* t z) in z 5.283 * [taylor]: Taking taylor expansion of t in z 5.283 * [taylor]: Taking taylor expansion of z in z 5.283 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 5.283 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 5.283 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.283 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 5.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.283 * [taylor]: Taking taylor expansion of y in y 5.284 * [taylor]: Taking taylor expansion of 2.0 in y 5.284 * [taylor]: Taking taylor expansion of 1.0 in y 5.284 * [taylor]: Taking taylor expansion of (* t z) in y 5.284 * [taylor]: Taking taylor expansion of t in y 5.284 * [taylor]: Taking taylor expansion of z in y 5.284 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 5.284 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 5.284 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.284 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 5.284 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.284 * [taylor]: Taking taylor expansion of y in t 5.285 * [taylor]: Taking taylor expansion of 2.0 in t 5.285 * [taylor]: Taking taylor expansion of 1.0 in t 5.285 * [taylor]: Taking taylor expansion of (* t z) in t 5.285 * [taylor]: Taking taylor expansion of t in t 5.285 * [taylor]: Taking taylor expansion of z in t 5.285 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 5.285 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 5.285 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.285 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 5.285 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.285 * [taylor]: Taking taylor expansion of y in t 5.285 * [taylor]: Taking taylor expansion of 2.0 in t 5.285 * [taylor]: Taking taylor expansion of 1.0 in t 5.285 * [taylor]: Taking taylor expansion of (* t z) in t 5.285 * [taylor]: Taking taylor expansion of t in t 5.285 * [taylor]: Taking taylor expansion of z in t 5.286 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) z) in y 5.286 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y 5.286 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.286 * [taylor]: Taking taylor expansion of 2.0 in y 5.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.286 * [taylor]: Taking taylor expansion of y in y 5.286 * [taylor]: Taking taylor expansion of 1.0 in y 5.286 * [taylor]: Taking taylor expansion of z in y 5.287 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 5.287 * [taylor]: Taking taylor expansion of 2.0 in z 5.287 * [taylor]: Taking taylor expansion of z in z 5.289 * [taylor]: Taking taylor expansion of 0 in y 5.291 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 5.291 * [taylor]: Taking taylor expansion of 1.0 in z 5.291 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.291 * [taylor]: Taking taylor expansion of z in z 5.294 * [taylor]: Taking taylor expansion of 0 in y 5.294 * [taylor]: Taking taylor expansion of 0 in z 5.295 * [taylor]: Taking taylor expansion of 0 in z 5.299 * [taylor]: Taking taylor expansion of 0 in y 5.299 * [taylor]: Taking taylor expansion of 0 in z 5.299 * [taylor]: Taking taylor expansion of 0 in z 5.301 * [taylor]: Taking taylor expansion of 0 in z 5.303 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in (t y z) around 0 5.303 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 5.303 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 5.303 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.303 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 5.303 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.303 * [taylor]: Taking taylor expansion of -1 in z 5.303 * [taylor]: Taking taylor expansion of y in z 5.303 * [taylor]: Taking taylor expansion of 2.0 in z 5.303 * [taylor]: Taking taylor expansion of 1.0 in z 5.303 * [taylor]: Taking taylor expansion of (* t z) in z 5.303 * [taylor]: Taking taylor expansion of t in z 5.303 * [taylor]: Taking taylor expansion of z in z 5.304 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 5.304 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 5.304 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.304 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 5.304 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.304 * [taylor]: Taking taylor expansion of -1 in y 5.304 * [taylor]: Taking taylor expansion of y in y 5.304 * [taylor]: Taking taylor expansion of 2.0 in y 5.304 * [taylor]: Taking taylor expansion of 1.0 in y 5.304 * [taylor]: Taking taylor expansion of (* t z) in y 5.304 * [taylor]: Taking taylor expansion of t in y 5.304 * [taylor]: Taking taylor expansion of z in y 5.305 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 5.305 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 5.306 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.306 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 5.306 * [taylor]: Taking taylor expansion of (/ -1 y) in t 5.306 * [taylor]: Taking taylor expansion of -1 in t 5.306 * [taylor]: Taking taylor expansion of y in t 5.306 * [taylor]: Taking taylor expansion of 2.0 in t 5.306 * [taylor]: Taking taylor expansion of 1.0 in t 5.306 * [taylor]: Taking taylor expansion of (* t z) in t 5.306 * [taylor]: Taking taylor expansion of t in t 5.306 * [taylor]: Taking taylor expansion of z in t 5.306 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 5.306 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 5.306 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.306 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 5.306 * [taylor]: Taking taylor expansion of (/ -1 y) in t 5.306 * [taylor]: Taking taylor expansion of -1 in t 5.306 * [taylor]: Taking taylor expansion of y in t 5.307 * [taylor]: Taking taylor expansion of 2.0 in t 5.307 * [taylor]: Taking taylor expansion of 1.0 in t 5.307 * [taylor]: Taking taylor expansion of (* t z) in t 5.307 * [taylor]: Taking taylor expansion of t in t 5.307 * [taylor]: Taking taylor expansion of z in t 5.307 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) z) in y 5.307 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y 5.307 * [taylor]: Taking taylor expansion of 1.0 in y 5.307 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.307 * [taylor]: Taking taylor expansion of 2.0 in y 5.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.307 * [taylor]: Taking taylor expansion of y in y 5.308 * [taylor]: Taking taylor expansion of z in y 5.309 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z 5.309 * [taylor]: Taking taylor expansion of -2.0 in z 5.309 * [taylor]: Taking taylor expansion of z in z 5.311 * [taylor]: Taking taylor expansion of 0 in y 5.312 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 5.312 * [taylor]: Taking taylor expansion of 1.0 in z 5.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.312 * [taylor]: Taking taylor expansion of z in z 5.315 * [taylor]: Taking taylor expansion of 0 in y 5.315 * [taylor]: Taking taylor expansion of 0 in z 5.317 * [taylor]: Taking taylor expansion of 0 in z 5.321 * [taylor]: Taking taylor expansion of 0 in y 5.321 * [taylor]: Taking taylor expansion of 0 in z 5.321 * [taylor]: Taking taylor expansion of 0 in z 5.323 * [taylor]: Taking taylor expansion of 0 in z 5.324 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.325 * [approximate]: Taking taylor expansion of (* x (cos (* 0.0625 (* t (* z (fma y 2.0 1.0)))))) in (x t y z) around 0 5.325 * [taylor]: Taking taylor expansion of (* x (cos (* 0.0625 (* t (* z (fma y 2.0 1.0)))))) in z 5.325 * [taylor]: Taking taylor expansion of x in z 5.325 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in z 5.325 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in z 5.325 * [taylor]: Taking taylor expansion of 0.0625 in z 5.325 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in z 5.325 * [taylor]: Taking taylor expansion of t in z 5.325 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 5.325 * [taylor]: Taking taylor expansion of z in z 5.325 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 5.325 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.325 * [taylor]: Taking taylor expansion of (* y 2.0) in z 5.325 * [taylor]: Taking taylor expansion of y in z 5.325 * [taylor]: Taking taylor expansion of 2.0 in z 5.325 * [taylor]: Taking taylor expansion of 1.0 in z 5.327 * [taylor]: Taking taylor expansion of (* x (cos (* 0.0625 (* t (* z (fma y 2.0 1.0)))))) in y 5.327 * [taylor]: Taking taylor expansion of x in y 5.327 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in y 5.327 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in y 5.327 * [taylor]: Taking taylor expansion of 0.0625 in y 5.327 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in y 5.327 * [taylor]: Taking taylor expansion of t in y 5.327 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 5.327 * [taylor]: Taking taylor expansion of z in y 5.327 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 5.327 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.328 * [taylor]: Taking taylor expansion of (* y 2.0) in y 5.328 * [taylor]: Taking taylor expansion of y in y 5.328 * [taylor]: Taking taylor expansion of 2.0 in y 5.328 * [taylor]: Taking taylor expansion of 1.0 in y 5.328 * [taylor]: Taking taylor expansion of (* x (cos (* 0.0625 (* t (* z (fma y 2.0 1.0)))))) in t 5.328 * [taylor]: Taking taylor expansion of x in t 5.328 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in t 5.328 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in t 5.328 * [taylor]: Taking taylor expansion of 0.0625 in t 5.328 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in t 5.328 * [taylor]: Taking taylor expansion of t in t 5.328 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in t 5.329 * [taylor]: Taking taylor expansion of z in t 5.329 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 5.329 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.329 * [taylor]: Taking taylor expansion of (* y 2.0) in t 5.329 * [taylor]: Taking taylor expansion of y in t 5.329 * [taylor]: Taking taylor expansion of 2.0 in t 5.329 * [taylor]: Taking taylor expansion of 1.0 in t 5.331 * [taylor]: Taking taylor expansion of (* x (cos (* 0.0625 (* t (* z (fma y 2.0 1.0)))))) in x 5.331 * [taylor]: Taking taylor expansion of x in x 5.331 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in x 5.331 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in x 5.331 * [taylor]: Taking taylor expansion of 0.0625 in x 5.331 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in x 5.331 * [taylor]: Taking taylor expansion of t in x 5.331 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in x 5.331 * [taylor]: Taking taylor expansion of z in x 5.331 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in x 5.331 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.331 * [taylor]: Taking taylor expansion of (* y 2.0) in x 5.331 * [taylor]: Taking taylor expansion of y in x 5.331 * [taylor]: Taking taylor expansion of 2.0 in x 5.331 * [taylor]: Taking taylor expansion of 1.0 in x 5.331 * [taylor]: Taking taylor expansion of (* x (cos (* 0.0625 (* t (* z (fma y 2.0 1.0)))))) in x 5.331 * [taylor]: Taking taylor expansion of x in x 5.331 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (fma y 2.0 1.0))))) in x 5.331 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (fma y 2.0 1.0)))) in x 5.331 * [taylor]: Taking taylor expansion of 0.0625 in x 5.331 * [taylor]: Taking taylor expansion of (* t (* z (fma y 2.0 1.0))) in x 5.331 * [taylor]: Taking taylor expansion of t in x 5.332 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in x 5.332 * [taylor]: Taking taylor expansion of z in x 5.332 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in x 5.332 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.332 * [taylor]: Taking taylor expansion of (* y 2.0) in x 5.332 * [taylor]: Taking taylor expansion of y in x 5.332 * [taylor]: Taking taylor expansion of 2.0 in x 5.332 * [taylor]: Taking taylor expansion of 1.0 in x 5.333 * [taylor]: Taking taylor expansion of 0 in t 5.333 * [taylor]: Taking taylor expansion of 0 in y 5.333 * [taylor]: Taking taylor expansion of 0 in z 5.337 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in t 5.337 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in t 5.337 * [taylor]: Taking taylor expansion of 0.0625 in t 5.337 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in t 5.337 * [taylor]: Taking taylor expansion of t in t 5.337 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in t 5.337 * [taylor]: Taking taylor expansion of z in t 5.337 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in t 5.337 * [taylor]: Taking taylor expansion of (* 2.0 y) in t 5.337 * [taylor]: Taking taylor expansion of 2.0 in t 5.337 * [taylor]: Taking taylor expansion of y in t 5.337 * [taylor]: Taking taylor expansion of 1.0 in t 5.339 * [taylor]: Taking taylor expansion of 1 in y 5.339 * [taylor]: Taking taylor expansion of 1 in z 5.339 * [taylor]: Taking taylor expansion of 0 in y 5.339 * [taylor]: Taking taylor expansion of 0 in z 5.339 * [taylor]: Taking taylor expansion of 0 in z 5.345 * [taylor]: Taking taylor expansion of 0 in t 5.345 * [taylor]: Taking taylor expansion of 0 in y 5.345 * [taylor]: Taking taylor expansion of 0 in z 5.345 * [taylor]: Taking taylor expansion of 0 in y 5.345 * [taylor]: Taking taylor expansion of 0 in z 5.345 * [taylor]: Taking taylor expansion of 0 in y 5.345 * [taylor]: Taking taylor expansion of 0 in z 5.345 * [approximate]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in (x t y z) around 0 5.346 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in z 5.346 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 5.346 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 5.346 * [taylor]: Taking taylor expansion of 0.0625 in z 5.346 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 5.346 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 5.346 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.346 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 5.346 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.346 * [taylor]: Taking taylor expansion of y in z 5.346 * [taylor]: Taking taylor expansion of 2.0 in z 5.346 * [taylor]: Taking taylor expansion of 1.0 in z 5.346 * [taylor]: Taking taylor expansion of (* t z) in z 5.346 * [taylor]: Taking taylor expansion of t in z 5.346 * [taylor]: Taking taylor expansion of z in z 5.347 * [taylor]: Taking taylor expansion of x in z 5.352 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in y 5.352 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 5.353 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 5.353 * [taylor]: Taking taylor expansion of 0.0625 in y 5.353 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 5.353 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 5.353 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.353 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 5.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.353 * [taylor]: Taking taylor expansion of y in y 5.354 * [taylor]: Taking taylor expansion of 2.0 in y 5.354 * [taylor]: Taking taylor expansion of 1.0 in y 5.354 * [taylor]: Taking taylor expansion of (* t z) in y 5.354 * [taylor]: Taking taylor expansion of t in y 5.354 * [taylor]: Taking taylor expansion of z in y 5.355 * [taylor]: Taking taylor expansion of x in y 5.355 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in t 5.355 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 5.355 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 5.355 * [taylor]: Taking taylor expansion of 0.0625 in t 5.355 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 5.355 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 5.355 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.355 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 5.355 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.355 * [taylor]: Taking taylor expansion of y in t 5.355 * [taylor]: Taking taylor expansion of 2.0 in t 5.355 * [taylor]: Taking taylor expansion of 1.0 in t 5.355 * [taylor]: Taking taylor expansion of (* t z) in t 5.355 * [taylor]: Taking taylor expansion of t in t 5.355 * [taylor]: Taking taylor expansion of z in t 5.356 * [taylor]: Taking taylor expansion of x in t 5.356 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in x 5.356 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in x 5.356 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in x 5.356 * [taylor]: Taking taylor expansion of 0.0625 in x 5.356 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in x 5.356 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in x 5.356 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.356 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x 5.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.356 * [taylor]: Taking taylor expansion of y in x 5.356 * [taylor]: Taking taylor expansion of 2.0 in x 5.356 * [taylor]: Taking taylor expansion of 1.0 in x 5.356 * [taylor]: Taking taylor expansion of (* t z) in x 5.356 * [taylor]: Taking taylor expansion of t in x 5.356 * [taylor]: Taking taylor expansion of z in x 5.357 * [taylor]: Taking taylor expansion of x in x 5.358 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in x 5.358 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in x 5.358 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in x 5.358 * [taylor]: Taking taylor expansion of 0.0625 in x 5.358 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in x 5.358 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in x 5.358 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.358 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x 5.358 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.358 * [taylor]: Taking taylor expansion of y in x 5.358 * [taylor]: Taking taylor expansion of 2.0 in x 5.358 * [taylor]: Taking taylor expansion of 1.0 in x 5.358 * [taylor]: Taking taylor expansion of (* t z) in x 5.358 * [taylor]: Taking taylor expansion of t in x 5.358 * [taylor]: Taking taylor expansion of z in x 5.359 * [taylor]: Taking taylor expansion of x in x 5.360 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in t 5.360 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in t 5.360 * [taylor]: Taking taylor expansion of 0.0625 in t 5.360 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in t 5.360 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in t 5.360 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t 5.360 * [taylor]: Taking taylor expansion of 2.0 in t 5.360 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.360 * [taylor]: Taking taylor expansion of y in t 5.360 * [taylor]: Taking taylor expansion of 1.0 in t 5.360 * [taylor]: Taking taylor expansion of (* t z) in t 5.360 * [taylor]: Taking taylor expansion of t in t 5.360 * [taylor]: Taking taylor expansion of z in t 5.360 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in y 5.361 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in y 5.361 * [taylor]: Taking taylor expansion of 0.0625 in y 5.361 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in y 5.361 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y 5.361 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.361 * [taylor]: Taking taylor expansion of 2.0 in y 5.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.361 * [taylor]: Taking taylor expansion of y in y 5.361 * [taylor]: Taking taylor expansion of 1.0 in y 5.361 * [taylor]: Taking taylor expansion of (* t z) in y 5.361 * [taylor]: Taking taylor expansion of t in y 5.361 * [taylor]: Taking taylor expansion of z in y 5.362 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in z 5.362 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in z 5.362 * [taylor]: Taking taylor expansion of 0.0625 in z 5.362 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in z 5.362 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in z 5.362 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z 5.362 * [taylor]: Taking taylor expansion of 2.0 in z 5.362 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.362 * [taylor]: Taking taylor expansion of y in z 5.362 * [taylor]: Taking taylor expansion of 1.0 in z 5.362 * [taylor]: Taking taylor expansion of (* t z) in z 5.362 * [taylor]: Taking taylor expansion of t in z 5.362 * [taylor]: Taking taylor expansion of z in z 5.368 * [taylor]: Taking taylor expansion of 0 in t 5.368 * [taylor]: Taking taylor expansion of 0 in y 5.368 * [taylor]: Taking taylor expansion of 0 in z 5.368 * [taylor]: Taking taylor expansion of 0 in y 5.368 * [taylor]: Taking taylor expansion of 0 in z 5.368 * [taylor]: Taking taylor expansion of 0 in z 5.373 * [taylor]: Taking taylor expansion of 0 in t 5.374 * [taylor]: Taking taylor expansion of 0 in y 5.374 * [taylor]: Taking taylor expansion of 0 in z 5.374 * [taylor]: Taking taylor expansion of 0 in y 5.374 * [taylor]: Taking taylor expansion of 0 in z 5.374 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in (x t y z) around 0 5.374 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in z 5.374 * [taylor]: Taking taylor expansion of -1 in z 5.374 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in z 5.374 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 5.374 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 5.374 * [taylor]: Taking taylor expansion of 0.0625 in z 5.374 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 5.374 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 5.375 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.375 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 5.375 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.375 * [taylor]: Taking taylor expansion of -1 in z 5.375 * [taylor]: Taking taylor expansion of y in z 5.375 * [taylor]: Taking taylor expansion of 2.0 in z 5.375 * [taylor]: Taking taylor expansion of 1.0 in z 5.375 * [taylor]: Taking taylor expansion of (* t z) in z 5.375 * [taylor]: Taking taylor expansion of t in z 5.375 * [taylor]: Taking taylor expansion of z in z 5.375 * [taylor]: Taking taylor expansion of x in z 5.376 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in y 5.376 * [taylor]: Taking taylor expansion of -1 in y 5.376 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in y 5.376 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 5.376 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 5.376 * [taylor]: Taking taylor expansion of 0.0625 in y 5.376 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 5.376 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 5.376 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.376 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 5.376 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.376 * [taylor]: Taking taylor expansion of -1 in y 5.376 * [taylor]: Taking taylor expansion of y in y 5.376 * [taylor]: Taking taylor expansion of 2.0 in y 5.376 * [taylor]: Taking taylor expansion of 1.0 in y 5.376 * [taylor]: Taking taylor expansion of (* t z) in y 5.376 * [taylor]: Taking taylor expansion of t in y 5.376 * [taylor]: Taking taylor expansion of z in y 5.378 * [taylor]: Taking taylor expansion of x in y 5.378 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in t 5.378 * [taylor]: Taking taylor expansion of -1 in t 5.378 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in t 5.378 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 5.378 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 5.378 * [taylor]: Taking taylor expansion of 0.0625 in t 5.378 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 5.378 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 5.378 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.378 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 5.378 * [taylor]: Taking taylor expansion of (/ -1 y) in t 5.378 * [taylor]: Taking taylor expansion of -1 in t 5.378 * [taylor]: Taking taylor expansion of y in t 5.378 * [taylor]: Taking taylor expansion of 2.0 in t 5.378 * [taylor]: Taking taylor expansion of 1.0 in t 5.378 * [taylor]: Taking taylor expansion of (* t z) in t 5.378 * [taylor]: Taking taylor expansion of t in t 5.378 * [taylor]: Taking taylor expansion of z in t 5.379 * [taylor]: Taking taylor expansion of x in t 5.379 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in x 5.379 * [taylor]: Taking taylor expansion of -1 in x 5.379 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in x 5.379 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in x 5.379 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in x 5.379 * [taylor]: Taking taylor expansion of 0.0625 in x 5.379 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in x 5.379 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in x 5.379 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.379 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x 5.379 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.379 * [taylor]: Taking taylor expansion of -1 in x 5.379 * [taylor]: Taking taylor expansion of y in x 5.379 * [taylor]: Taking taylor expansion of 2.0 in x 5.379 * [taylor]: Taking taylor expansion of 1.0 in x 5.379 * [taylor]: Taking taylor expansion of (* t z) in x 5.379 * [taylor]: Taking taylor expansion of t in x 5.379 * [taylor]: Taking taylor expansion of z in x 5.380 * [taylor]: Taking taylor expansion of x in x 5.381 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in x 5.381 * [taylor]: Taking taylor expansion of -1 in x 5.381 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in x 5.381 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in x 5.381 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in x 5.381 * [taylor]: Taking taylor expansion of 0.0625 in x 5.381 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in x 5.381 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in x 5.381 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.381 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x 5.381 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.381 * [taylor]: Taking taylor expansion of -1 in x 5.381 * [taylor]: Taking taylor expansion of y in x 5.381 * [taylor]: Taking taylor expansion of 2.0 in x 5.381 * [taylor]: Taking taylor expansion of 1.0 in x 5.381 * [taylor]: Taking taylor expansion of (* t z) in x 5.381 * [taylor]: Taking taylor expansion of t in x 5.381 * [taylor]: Taking taylor expansion of z in x 5.382 * [taylor]: Taking taylor expansion of x in x 5.383 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))))) in t 5.383 * [taylor]: Taking taylor expansion of -1 in t 5.383 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in t 5.383 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in t 5.383 * [taylor]: Taking taylor expansion of 0.0625 in t 5.383 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in t 5.383 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in t 5.383 * [taylor]: Taking taylor expansion of 1.0 in t 5.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t 5.383 * [taylor]: Taking taylor expansion of 2.0 in t 5.383 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.383 * [taylor]: Taking taylor expansion of y in t 5.383 * [taylor]: Taking taylor expansion of (* t z) in t 5.383 * [taylor]: Taking taylor expansion of t in t 5.383 * [taylor]: Taking taylor expansion of z in t 5.384 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))))) in y 5.384 * [taylor]: Taking taylor expansion of -1 in y 5.384 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in y 5.384 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in y 5.384 * [taylor]: Taking taylor expansion of 0.0625 in y 5.384 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in y 5.384 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y 5.384 * [taylor]: Taking taylor expansion of 1.0 in y 5.384 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 5.384 * [taylor]: Taking taylor expansion of 2.0 in y 5.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.384 * [taylor]: Taking taylor expansion of y in y 5.384 * [taylor]: Taking taylor expansion of (* t z) in y 5.384 * [taylor]: Taking taylor expansion of t in y 5.384 * [taylor]: Taking taylor expansion of z in y 5.386 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))))) in z 5.386 * [taylor]: Taking taylor expansion of -1 in z 5.386 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in z 5.386 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in z 5.386 * [taylor]: Taking taylor expansion of 0.0625 in z 5.386 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in z 5.386 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in z 5.387 * [taylor]: Taking taylor expansion of 1.0 in z 5.387 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z 5.387 * [taylor]: Taking taylor expansion of 2.0 in z 5.387 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.387 * [taylor]: Taking taylor expansion of y in z 5.387 * [taylor]: Taking taylor expansion of (* t z) in z 5.387 * [taylor]: Taking taylor expansion of t in z 5.387 * [taylor]: Taking taylor expansion of z in z 5.393 * [taylor]: Taking taylor expansion of 0 in t 5.393 * [taylor]: Taking taylor expansion of 0 in y 5.393 * [taylor]: Taking taylor expansion of 0 in z 5.394 * [taylor]: Taking taylor expansion of 0 in y 5.394 * [taylor]: Taking taylor expansion of 0 in z 5.394 * [taylor]: Taking taylor expansion of 0 in z 5.401 * [taylor]: Taking taylor expansion of 0 in t 5.401 * [taylor]: Taking taylor expansion of 0 in y 5.401 * [taylor]: Taking taylor expansion of 0 in z 5.401 * [taylor]: Taking taylor expansion of 0 in y 5.401 * [taylor]: Taking taylor expansion of 0 in z 5.402 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2) 5.402 * [approximate]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in (y z) around 0 5.402 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in z 5.402 * [taylor]: Taking taylor expansion of z in z 5.402 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 5.402 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.402 * [taylor]: Taking taylor expansion of (* y 2.0) in z 5.402 * [taylor]: Taking taylor expansion of y in z 5.402 * [taylor]: Taking taylor expansion of 2.0 in z 5.402 * [taylor]: Taking taylor expansion of 1.0 in z 5.402 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 5.402 * [taylor]: Taking taylor expansion of z in y 5.402 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 5.402 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.402 * [taylor]: Taking taylor expansion of (* y 2.0) in y 5.402 * [taylor]: Taking taylor expansion of y in y 5.402 * [taylor]: Taking taylor expansion of 2.0 in y 5.402 * [taylor]: Taking taylor expansion of 1.0 in y 5.402 * [taylor]: Taking taylor expansion of (* z (fma y 2.0 1.0)) in y 5.402 * [taylor]: Taking taylor expansion of z in y 5.402 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 5.402 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 5.402 * [taylor]: Taking taylor expansion of (* y 2.0) in y 5.402 * [taylor]: Taking taylor expansion of y in y 5.402 * [taylor]: Taking taylor expansion of 2.0 in y 5.402 * [taylor]: Taking taylor expansion of 1.0 in y 5.403 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 5.403 * [taylor]: Taking taylor expansion of 1.0 in z 5.403 * [taylor]: Taking taylor expansion of z in z 5.405 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 5.405 * [taylor]: Taking taylor expansion of 2.0 in z 5.405 * [taylor]: Taking taylor expansion of z in z 5.408 * [taylor]: Taking taylor expansion of 0 in z 5.412 * [taylor]: Taking taylor expansion of 0 in z 5.415 * [taylor]: Taking taylor expansion of 0 in z 5.415 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) z) in (y z) around 0 5.415 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) z) in z 5.415 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 5.415 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.415 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 5.415 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.415 * [taylor]: Taking taylor expansion of y in z 5.415 * [taylor]: Taking taylor expansion of 2.0 in z 5.415 * [taylor]: Taking taylor expansion of 1.0 in z 5.415 * [taylor]: Taking taylor expansion of z in z 5.415 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) z) in y 5.416 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 5.416 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.416 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 5.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.416 * [taylor]: Taking taylor expansion of y in y 5.416 * [taylor]: Taking taylor expansion of 2.0 in y 5.416 * [taylor]: Taking taylor expansion of 1.0 in y 5.416 * [taylor]: Taking taylor expansion of z in y 5.417 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) z) in y 5.417 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 5.417 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 5.417 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 5.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.417 * [taylor]: Taking taylor expansion of y in y 5.417 * [taylor]: Taking taylor expansion of 2.0 in y 5.417 * [taylor]: Taking taylor expansion of 1.0 in y 5.417 * [taylor]: Taking taylor expansion of z in y 5.418 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 5.418 * [taylor]: Taking taylor expansion of 2.0 in z 5.418 * [taylor]: Taking taylor expansion of z in z 5.420 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 5.420 * [taylor]: Taking taylor expansion of 1.0 in z 5.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.420 * [taylor]: Taking taylor expansion of z in z 5.423 * [taylor]: Taking taylor expansion of 0 in z 5.426 * [taylor]: Taking taylor expansion of 0 in z 5.428 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) 2.0 1.0) z)) in (y z) around 0 5.428 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) 2.0 1.0) z)) in z 5.428 * [taylor]: Taking taylor expansion of -1 in z 5.428 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) z) in z 5.428 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 5.428 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.428 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 5.428 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.428 * [taylor]: Taking taylor expansion of -1 in z 5.428 * [taylor]: Taking taylor expansion of y in z 5.428 * [taylor]: Taking taylor expansion of 2.0 in z 5.428 * [taylor]: Taking taylor expansion of 1.0 in z 5.428 * [taylor]: Taking taylor expansion of z in z 5.428 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) 2.0 1.0) z)) in y 5.428 * [taylor]: Taking taylor expansion of -1 in y 5.429 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) z) in y 5.429 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 5.429 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.429 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 5.429 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.429 * [taylor]: Taking taylor expansion of -1 in y 5.429 * [taylor]: Taking taylor expansion of y in y 5.429 * [taylor]: Taking taylor expansion of 2.0 in y 5.429 * [taylor]: Taking taylor expansion of 1.0 in y 5.429 * [taylor]: Taking taylor expansion of z in y 5.430 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 y) 2.0 1.0) z)) in y 5.430 * [taylor]: Taking taylor expansion of -1 in y 5.430 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) z) in y 5.430 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 5.430 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 5.430 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 5.430 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.430 * [taylor]: Taking taylor expansion of -1 in y 5.430 * [taylor]: Taking taylor expansion of y in y 5.431 * [taylor]: Taking taylor expansion of 2.0 in y 5.431 * [taylor]: Taking taylor expansion of 1.0 in y 5.431 * [taylor]: Taking taylor expansion of z in y 5.432 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 5.432 * [taylor]: Taking taylor expansion of 2.0 in z 5.432 * [taylor]: Taking taylor expansion of z in z 5.434 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 5.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 5.434 * [taylor]: Taking taylor expansion of 1.0 in z 5.434 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.434 * [taylor]: Taking taylor expansion of z in z 5.438 * [taylor]: Taking taylor expansion of 0 in z 5.442 * [taylor]: Taking taylor expansion of 0 in z 5.444 * * * [progress]: simplifying candidates 5.446 * [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 (* 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)) (expm1 (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (log1p (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (+ (log x) (log (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (log (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (exp (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (* (* x x) x) (* (* (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)))) (* (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))))) (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (* (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (sqrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (sqrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (* (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))))) (* x (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x 1) (* (cbrt x) (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* (sqrt x) (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (expm1 (* (fma y 2.0 1.0) z)) (log1p (* (fma y 2.0 1.0) z)) (* (fma y 2.0 1.0) z) (+ (log (fma y 2.0 1.0)) (log z)) (log (* (fma y 2.0 1.0) z)) (exp (* (fma y 2.0 1.0) z)) (* (* (* (fma y 2.0 1.0) (fma y 2.0 1.0)) (fma y 2.0 1.0)) (* (* z z) z)) (* (cbrt (* (fma y 2.0 1.0) z)) (cbrt (* (fma y 2.0 1.0) z))) (cbrt (* (fma y 2.0 1.0) z)) (* (* (* (fma y 2.0 1.0) z) (* (fma y 2.0 1.0) z)) (* (fma y 2.0 1.0) z)) (sqrt (* (fma y 2.0 1.0) z)) (sqrt (* (fma y 2.0 1.0) z)) (* (sqrt (fma y 2.0 1.0)) (sqrt z)) (* (sqrt (fma y 2.0 1.0)) (sqrt z)) (* (fma y 2.0 1.0) (* (cbrt z) (cbrt z))) (* (fma y 2.0 1.0) (sqrt z)) (* (fma y 2.0 1.0) 1) (* (cbrt (fma y 2.0 1.0)) z) (* (sqrt (fma y 2.0 1.0)) z) (* (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)))) 0 (+ (* 1.0 (* t z)) (* 2.0 (* t (* z y)))) (+ (* 1.0 (* t z)) (* 2.0 (* t (* z y)))) x (* x (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))))) (* x (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))))) (+ (* 2.0 (* z y)) (* 1.0 z)) (+ (* 2.0 (* z y)) (* 1.0 z)) (+ (* 2.0 (* z y)) (* 1.0 z)) 5.455 * * [simplify]: iteration 0 : 114 enodes (cost 1008 ) 5.472 * * [simplify]: iteration 1 : 239 enodes (cost 992 ) 5.527 * * [simplify]: iteration 2 : 775 enodes (cost 832 ) 6.472 * * [simplify]: iteration 3 : 3575 enodes (cost 832 ) 7.697 * * [simplify]: iteration done : 5000 enodes (cost 832 ) 7.698 * [simplify]: Simplified to: (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))) (pow (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)) 3) (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 (* t (* (fma y 2.0 1.0) z))) (log1p (* t (* (fma y 2.0 1.0) z))) (* (fma y 2.0 1.0) (* t z)) (* (fma y 2.0 1.0) (* t z)) (log (* (* t (fma y 2.0 1.0)) z)) (log (* (* t (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))) (pow (* (fma y 2.0 1.0) (* t z)) 3) (pow (* (fma y 2.0 1.0) (* t z)) 3) (* (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))) (pow (* (fma y 2.0 1.0) (* t z)) 3) (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)) (* (fma y 2.0 1.0) (* t z)) (expm1 (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (log1p (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (log (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (log (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (exp (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (pow (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) 3) (* (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))))) (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (pow (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) 3) (sqrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (sqrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (* (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))))) (* x (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) x (* (cbrt x) (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* (sqrt x) (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (expm1 (* (fma y 2.0 1.0) z)) (log1p (* (fma y 2.0 1.0) z)) (* (fma y 2.0 1.0) z) (log (* (fma y 2.0 1.0) z)) (log (* (fma y 2.0 1.0) z)) (exp (* (fma y 2.0 1.0) z)) (pow (* (fma y 2.0 1.0) z) 3) (* (cbrt (* (fma y 2.0 1.0) z)) (cbrt (* (fma y 2.0 1.0) z))) (cbrt (* (fma y 2.0 1.0) z)) (pow (* (fma y 2.0 1.0) z) 3) (sqrt (* (fma y 2.0 1.0) z)) (sqrt (* (fma y 2.0 1.0) z)) (* (sqrt (fma y 2.0 1.0)) (sqrt z)) (* (sqrt (fma y 2.0 1.0)) (sqrt z)) (* (fma y 2.0 1.0) (* (cbrt z) (cbrt z))) (* (fma y 2.0 1.0) (sqrt z)) (fma y 2.0 1.0) (* (cbrt (fma y 2.0 1.0)) z) (* (sqrt (fma y 2.0 1.0)) z) (* (fma y 2.0 1.0) z) 1 (cos (* (* t (* (fma y 2.0 1.0) z)) 0.0625)) (cos (* (* t (* (fma y 2.0 1.0) z)) 0.0625)) 0 (* (fma y 2.0 1.0) (* t z)) (* (fma y 2.0 1.0) (* t z)) x (* (cos (* (* t (* (fma y 2.0 1.0) z)) 0.0625)) x) (* (cos (* (* t (* (fma y 2.0 1.0) z)) 0.0625)) x) (* (fma y 2.0 1.0) z) (* (fma y 2.0 1.0) z) (* (fma y 2.0 1.0) z) 7.698 * * * [progress]: adding candidates to table 7.999 * * [progress]: iteration 3 / 4 7.999 * * * [progress]: picking best candidate 8.155 * * * * [pick]: Picked # 8.155 * * * [progress]: localizing error 8.159 * * * [progress]: generating rewritten candidates 8.159 * * * [progress]: generating series expansions 8.159 * * * [progress]: simplifying candidates 8.159 * [simplify]: Simplifying using # : 8.160 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 8.160 * * [simplify]: iteration done : 0 enodes (cost 0 ) 8.160 * [simplify]: Simplified to: 8.160 * * * [progress]: adding candidates to table 8.160 * * [progress]: iteration 4 / 4 8.160 * * * [progress]: picking best candidate 8.315 * * * * [pick]: Picked # 8.315 * * * [progress]: localizing error 8.336 * * * [progress]: generating rewritten candidates 8.336 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 8.338 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 1 1 2) 8.343 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 8.348 * * * [progress]: generating series expansions 8.348 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 8.348 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in (y t z) around 0 8.348 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in z 8.348 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in z 8.348 * [taylor]: Taking taylor expansion of 0.0625 in z 8.348 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in z 8.348 * [taylor]: Taking taylor expansion of t in z 8.348 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in z 8.348 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 8.348 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.349 * [taylor]: Taking taylor expansion of (* y 2.0) in z 8.349 * [taylor]: Taking taylor expansion of y in z 8.349 * [taylor]: Taking taylor expansion of 2.0 in z 8.349 * [taylor]: Taking taylor expansion of 1.0 in z 8.349 * [taylor]: Taking taylor expansion of z in z 8.351 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in t 8.351 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in t 8.351 * [taylor]: Taking taylor expansion of 0.0625 in t 8.351 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in t 8.351 * [taylor]: Taking taylor expansion of t in t 8.351 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in t 8.351 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 8.352 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.352 * [taylor]: Taking taylor expansion of (* y 2.0) in t 8.352 * [taylor]: Taking taylor expansion of y in t 8.352 * [taylor]: Taking taylor expansion of 2.0 in t 8.352 * [taylor]: Taking taylor expansion of 1.0 in t 8.352 * [taylor]: Taking taylor expansion of z in t 8.354 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in y 8.354 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in y 8.354 * [taylor]: Taking taylor expansion of 0.0625 in y 8.354 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in y 8.354 * [taylor]: Taking taylor expansion of t in y 8.354 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in y 8.354 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 8.354 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.354 * [taylor]: Taking taylor expansion of (* y 2.0) in y 8.354 * [taylor]: Taking taylor expansion of y in y 8.354 * [taylor]: Taking taylor expansion of 2.0 in y 8.354 * [taylor]: Taking taylor expansion of 1.0 in y 8.354 * [taylor]: Taking taylor expansion of z in y 8.355 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in y 8.355 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in y 8.355 * [taylor]: Taking taylor expansion of 0.0625 in y 8.355 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in y 8.355 * [taylor]: Taking taylor expansion of t in y 8.355 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in y 8.355 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 8.355 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.355 * [taylor]: Taking taylor expansion of (* y 2.0) in y 8.355 * [taylor]: Taking taylor expansion of y in y 8.355 * [taylor]: Taking taylor expansion of 2.0 in y 8.355 * [taylor]: Taking taylor expansion of 1.0 in y 8.355 * [taylor]: Taking taylor expansion of z in y 8.356 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t z))) in t 8.356 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 8.356 * [taylor]: Taking taylor expansion of 0.0625 in t 8.356 * [taylor]: Taking taylor expansion of (* t z) in t 8.357 * [taylor]: Taking taylor expansion of t in t 8.357 * [taylor]: Taking taylor expansion of z in t 8.357 * [taylor]: Taking taylor expansion of 1 in z 8.361 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t z))) z)))) in t 8.361 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t z))) z))) in t 8.361 * [taylor]: Taking taylor expansion of 0.125 in t 8.361 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t z))) z)) in t 8.361 * [taylor]: Taking taylor expansion of t in t 8.361 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t z))) z) in t 8.361 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t z))) in t 8.361 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 8.361 * [taylor]: Taking taylor expansion of 0.0625 in t 8.361 * [taylor]: Taking taylor expansion of (* t z) in t 8.361 * [taylor]: Taking taylor expansion of t in t 8.361 * [taylor]: Taking taylor expansion of z in t 8.362 * [taylor]: Taking taylor expansion of z in t 8.363 * [taylor]: Taking taylor expansion of 0 in z 8.364 * [taylor]: Taking taylor expansion of 0 in z 8.369 * [taylor]: Taking taylor expansion of (- (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t z))) (pow z 2))))) in t 8.369 * [taylor]: Taking taylor expansion of (* 0.0078125 (* (pow t 2) (* (cos (* 0.0625 (* t z))) (pow z 2)))) in t 8.369 * [taylor]: Taking taylor expansion of 0.0078125 in t 8.369 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (cos (* 0.0625 (* t z))) (pow z 2))) in t 8.369 * [taylor]: Taking taylor expansion of (pow t 2) in t 8.369 * [taylor]: Taking taylor expansion of t in t 8.369 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t z))) (pow z 2)) in t 8.369 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t z))) in t 8.369 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 8.369 * [taylor]: Taking taylor expansion of 0.0625 in t 8.369 * [taylor]: Taking taylor expansion of (* t z) in t 8.369 * [taylor]: Taking taylor expansion of t in t 8.369 * [taylor]: Taking taylor expansion of z in t 8.370 * [taylor]: Taking taylor expansion of (pow z 2) in t 8.370 * [taylor]: Taking taylor expansion of z in t 8.372 * [taylor]: Taking taylor expansion of 0 in z 8.372 * [taylor]: Taking taylor expansion of (- (* 0.001953125 (pow z 2))) in z 8.372 * [taylor]: Taking taylor expansion of (* 0.001953125 (pow z 2)) in z 8.372 * [taylor]: Taking taylor expansion of 0.001953125 in z 8.372 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.372 * [taylor]: Taking taylor expansion of z in z 8.372 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in (y t z) around 0 8.372 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 8.372 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 8.372 * [taylor]: Taking taylor expansion of 0.0625 in z 8.372 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 8.372 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 8.373 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.373 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 8.373 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.373 * [taylor]: Taking taylor expansion of y in z 8.373 * [taylor]: Taking taylor expansion of 2.0 in z 8.373 * [taylor]: Taking taylor expansion of 1.0 in z 8.373 * [taylor]: Taking taylor expansion of (* t z) in z 8.373 * [taylor]: Taking taylor expansion of t in z 8.373 * [taylor]: Taking taylor expansion of z in z 8.373 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 8.373 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 8.373 * [taylor]: Taking taylor expansion of 0.0625 in t 8.373 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 8.373 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 8.374 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.374 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 8.374 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.374 * [taylor]: Taking taylor expansion of y in t 8.374 * [taylor]: Taking taylor expansion of 2.0 in t 8.374 * [taylor]: Taking taylor expansion of 1.0 in t 8.374 * [taylor]: Taking taylor expansion of (* t z) in t 8.374 * [taylor]: Taking taylor expansion of t in t 8.374 * [taylor]: Taking taylor expansion of z in t 8.374 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 8.374 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 8.374 * [taylor]: Taking taylor expansion of 0.0625 in y 8.374 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 8.375 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 8.375 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.375 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 8.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.375 * [taylor]: Taking taylor expansion of y in y 8.375 * [taylor]: Taking taylor expansion of 2.0 in y 8.375 * [taylor]: Taking taylor expansion of 1.0 in y 8.375 * [taylor]: Taking taylor expansion of (* t z) in y 8.375 * [taylor]: Taking taylor expansion of t in y 8.375 * [taylor]: Taking taylor expansion of z in y 8.376 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 8.376 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 8.376 * [taylor]: Taking taylor expansion of 0.0625 in y 8.376 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 8.376 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 8.376 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.376 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 8.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.376 * [taylor]: Taking taylor expansion of y in y 8.377 * [taylor]: Taking taylor expansion of 2.0 in y 8.377 * [taylor]: Taking taylor expansion of 1.0 in y 8.377 * [taylor]: Taking taylor expansion of (* t z) in y 8.377 * [taylor]: Taking taylor expansion of t in y 8.377 * [taylor]: Taking taylor expansion of z in y 8.377 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 8.378 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 8.378 * [taylor]: Taking taylor expansion of 0.0625 in t 8.378 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 8.378 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 8.378 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.378 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 8.378 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.378 * [taylor]: Taking taylor expansion of y in t 8.378 * [taylor]: Taking taylor expansion of 2.0 in t 8.378 * [taylor]: Taking taylor expansion of 1.0 in t 8.378 * [taylor]: Taking taylor expansion of (* t z) in t 8.378 * [taylor]: Taking taylor expansion of t in t 8.378 * [taylor]: Taking taylor expansion of z in t 8.379 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 8.379 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 8.379 * [taylor]: Taking taylor expansion of 0.0625 in z 8.379 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 8.379 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 8.379 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.379 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 8.379 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.379 * [taylor]: Taking taylor expansion of y in z 8.379 * [taylor]: Taking taylor expansion of 2.0 in z 8.379 * [taylor]: Taking taylor expansion of 1.0 in z 8.379 * [taylor]: Taking taylor expansion of (* t z) in z 8.379 * [taylor]: Taking taylor expansion of t in z 8.379 * [taylor]: Taking taylor expansion of z in z 8.380 * [taylor]: Taking taylor expansion of 0 in t 8.380 * [taylor]: Taking taylor expansion of 0 in z 8.380 * [taylor]: Taking taylor expansion of 0 in z 8.380 * [taylor]: Taking taylor expansion of 0 in t 8.380 * [taylor]: Taking taylor expansion of 0 in z 8.380 * [taylor]: Taking taylor expansion of 0 in z 8.380 * [taylor]: Taking taylor expansion of 0 in z 8.380 * [approximate]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in (y t z) around 0 8.380 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 8.380 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 8.380 * [taylor]: Taking taylor expansion of 0.0625 in z 8.380 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 8.380 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 8.380 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.380 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 8.381 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.381 * [taylor]: Taking taylor expansion of -1 in z 8.381 * [taylor]: Taking taylor expansion of y in z 8.381 * [taylor]: Taking taylor expansion of 2.0 in z 8.381 * [taylor]: Taking taylor expansion of 1.0 in z 8.381 * [taylor]: Taking taylor expansion of (* t z) in z 8.381 * [taylor]: Taking taylor expansion of t in z 8.381 * [taylor]: Taking taylor expansion of z in z 8.381 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 8.381 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 8.381 * [taylor]: Taking taylor expansion of 0.0625 in t 8.381 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 8.381 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 8.382 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.382 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 8.382 * [taylor]: Taking taylor expansion of (/ -1 y) in t 8.382 * [taylor]: Taking taylor expansion of -1 in t 8.382 * [taylor]: Taking taylor expansion of y in t 8.382 * [taylor]: Taking taylor expansion of 2.0 in t 8.382 * [taylor]: Taking taylor expansion of 1.0 in t 8.382 * [taylor]: Taking taylor expansion of (* t z) in t 8.382 * [taylor]: Taking taylor expansion of t in t 8.382 * [taylor]: Taking taylor expansion of z in t 8.382 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 8.382 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 8.382 * [taylor]: Taking taylor expansion of 0.0625 in y 8.383 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 8.383 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 8.383 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.383 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 8.383 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.383 * [taylor]: Taking taylor expansion of -1 in y 8.383 * [taylor]: Taking taylor expansion of y in y 8.383 * [taylor]: Taking taylor expansion of 2.0 in y 8.383 * [taylor]: Taking taylor expansion of 1.0 in y 8.383 * [taylor]: Taking taylor expansion of (* t z) in y 8.383 * [taylor]: Taking taylor expansion of t in y 8.383 * [taylor]: Taking taylor expansion of z in y 8.384 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 8.384 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 8.384 * [taylor]: Taking taylor expansion of 0.0625 in y 8.384 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 8.384 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 8.385 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.385 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 8.385 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.385 * [taylor]: Taking taylor expansion of -1 in y 8.385 * [taylor]: Taking taylor expansion of y in y 8.385 * [taylor]: Taking taylor expansion of 2.0 in y 8.385 * [taylor]: Taking taylor expansion of 1.0 in y 8.385 * [taylor]: Taking taylor expansion of (* t z) in y 8.385 * [taylor]: Taking taylor expansion of t in y 8.385 * [taylor]: Taking taylor expansion of z in y 8.386 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 8.386 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 8.386 * [taylor]: Taking taylor expansion of 0.0625 in t 8.386 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 8.386 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 8.386 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.387 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 8.387 * [taylor]: Taking taylor expansion of (/ -1 y) in t 8.387 * [taylor]: Taking taylor expansion of -1 in t 8.387 * [taylor]: Taking taylor expansion of y in t 8.387 * [taylor]: Taking taylor expansion of 2.0 in t 8.387 * [taylor]: Taking taylor expansion of 1.0 in t 8.387 * [taylor]: Taking taylor expansion of (* t z) in t 8.387 * [taylor]: Taking taylor expansion of t in t 8.387 * [taylor]: Taking taylor expansion of z in t 8.387 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 8.387 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 8.387 * [taylor]: Taking taylor expansion of 0.0625 in z 8.387 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 8.387 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 8.388 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.388 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 8.388 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.388 * [taylor]: Taking taylor expansion of -1 in z 8.388 * [taylor]: Taking taylor expansion of y in z 8.388 * [taylor]: Taking taylor expansion of 2.0 in z 8.388 * [taylor]: Taking taylor expansion of 1.0 in z 8.388 * [taylor]: Taking taylor expansion of (* t z) in z 8.388 * [taylor]: Taking taylor expansion of t in z 8.388 * [taylor]: Taking taylor expansion of z in z 8.389 * [taylor]: Taking taylor expansion of 0 in t 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * [taylor]: Taking taylor expansion of 0 in t 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 1 1 2) 8.389 * [approximate]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in (y t z) around 0 8.389 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in z 8.389 * [taylor]: Taking taylor expansion of t in z 8.389 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in z 8.389 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 8.389 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.389 * [taylor]: Taking taylor expansion of (* y 2.0) in z 8.389 * [taylor]: Taking taylor expansion of y in z 8.389 * [taylor]: Taking taylor expansion of 2.0 in z 8.389 * [taylor]: Taking taylor expansion of 1.0 in z 8.389 * [taylor]: Taking taylor expansion of z in z 8.389 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in t 8.389 * [taylor]: Taking taylor expansion of t in t 8.389 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in t 8.389 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 8.390 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.390 * [taylor]: Taking taylor expansion of (* y 2.0) in t 8.390 * [taylor]: Taking taylor expansion of y in t 8.390 * [taylor]: Taking taylor expansion of 2.0 in t 8.390 * [taylor]: Taking taylor expansion of 1.0 in t 8.390 * [taylor]: Taking taylor expansion of z in t 8.390 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in y 8.390 * [taylor]: Taking taylor expansion of t in y 8.390 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in y 8.390 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 8.390 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.390 * [taylor]: Taking taylor expansion of (* y 2.0) in y 8.390 * [taylor]: Taking taylor expansion of y in y 8.390 * [taylor]: Taking taylor expansion of 2.0 in y 8.390 * [taylor]: Taking taylor expansion of 1.0 in y 8.390 * [taylor]: Taking taylor expansion of z in y 8.390 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in y 8.390 * [taylor]: Taking taylor expansion of t in y 8.390 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in y 8.390 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 8.390 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.390 * [taylor]: Taking taylor expansion of (* y 2.0) in y 8.390 * [taylor]: Taking taylor expansion of y in y 8.390 * [taylor]: Taking taylor expansion of 2.0 in y 8.390 * [taylor]: Taking taylor expansion of 1.0 in y 8.390 * [taylor]: Taking taylor expansion of z in y 8.391 * [taylor]: Taking taylor expansion of (* 1.0 (* t z)) in t 8.391 * [taylor]: Taking taylor expansion of 1.0 in t 8.391 * [taylor]: Taking taylor expansion of (* t z) in t 8.391 * [taylor]: Taking taylor expansion of t in t 8.391 * [taylor]: Taking taylor expansion of z in t 8.391 * [taylor]: Taking taylor expansion of 0 in z 8.393 * [taylor]: Taking taylor expansion of (* 2.0 (* t z)) in t 8.393 * [taylor]: Taking taylor expansion of 2.0 in t 8.393 * [taylor]: Taking taylor expansion of (* t z) in t 8.393 * [taylor]: Taking taylor expansion of t in t 8.393 * [taylor]: Taking taylor expansion of z in t 8.394 * [taylor]: Taking taylor expansion of 0 in z 8.394 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 8.394 * [taylor]: Taking taylor expansion of 1.0 in z 8.394 * [taylor]: Taking taylor expansion of z in z 8.396 * [taylor]: Taking taylor expansion of 0 in t 8.396 * [taylor]: Taking taylor expansion of 0 in z 8.397 * [taylor]: Taking taylor expansion of (* 2.0 z) in z 8.397 * [taylor]: Taking taylor expansion of 2.0 in z 8.397 * [taylor]: Taking taylor expansion of z in z 8.397 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in (y t z) around 0 8.397 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 8.397 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 8.398 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.398 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 8.398 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.398 * [taylor]: Taking taylor expansion of y in z 8.398 * [taylor]: Taking taylor expansion of 2.0 in z 8.398 * [taylor]: Taking taylor expansion of 1.0 in z 8.398 * [taylor]: Taking taylor expansion of (* t z) in z 8.398 * [taylor]: Taking taylor expansion of t in z 8.398 * [taylor]: Taking taylor expansion of z in z 8.398 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 8.398 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 8.398 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.398 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 8.398 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.398 * [taylor]: Taking taylor expansion of y in t 8.399 * [taylor]: Taking taylor expansion of 2.0 in t 8.399 * [taylor]: Taking taylor expansion of 1.0 in t 8.399 * [taylor]: Taking taylor expansion of (* t z) in t 8.399 * [taylor]: Taking taylor expansion of t in t 8.399 * [taylor]: Taking taylor expansion of z in t 8.399 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 8.399 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 8.399 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.399 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 8.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.399 * [taylor]: Taking taylor expansion of y in y 8.400 * [taylor]: Taking taylor expansion of 2.0 in y 8.400 * [taylor]: Taking taylor expansion of 1.0 in y 8.400 * [taylor]: Taking taylor expansion of (* t z) in y 8.400 * [taylor]: Taking taylor expansion of t in y 8.400 * [taylor]: Taking taylor expansion of z in y 8.400 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 8.400 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 8.400 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.400 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 8.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.400 * [taylor]: Taking taylor expansion of y in y 8.401 * [taylor]: Taking taylor expansion of 2.0 in y 8.401 * [taylor]: Taking taylor expansion of 1.0 in y 8.401 * [taylor]: Taking taylor expansion of (* t z) in y 8.401 * [taylor]: Taking taylor expansion of t in y 8.401 * [taylor]: Taking taylor expansion of z in y 8.402 * [taylor]: Taking taylor expansion of (/ 2.0 (* t z)) in t 8.402 * [taylor]: Taking taylor expansion of 2.0 in t 8.402 * [taylor]: Taking taylor expansion of (* t z) in t 8.402 * [taylor]: Taking taylor expansion of t in t 8.402 * [taylor]: Taking taylor expansion of z in t 8.402 * [taylor]: Taking taylor expansion of (/ 2.0 z) in z 8.402 * [taylor]: Taking taylor expansion of 2.0 in z 8.402 * [taylor]: Taking taylor expansion of z in z 8.404 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t z))) in t 8.404 * [taylor]: Taking taylor expansion of 1.0 in t 8.404 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 8.404 * [taylor]: Taking taylor expansion of (* t z) in t 8.404 * [taylor]: Taking taylor expansion of t in t 8.404 * [taylor]: Taking taylor expansion of z in t 8.404 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 8.404 * [taylor]: Taking taylor expansion of 1.0 in z 8.404 * [taylor]: Taking taylor expansion of z in z 8.405 * [taylor]: Taking taylor expansion of 0 in z 8.408 * [taylor]: Taking taylor expansion of 0 in t 8.409 * [taylor]: Taking taylor expansion of 0 in z 8.410 * [taylor]: Taking taylor expansion of 0 in z 8.413 * [taylor]: Taking taylor expansion of 0 in t 8.413 * [taylor]: Taking taylor expansion of 0 in z 8.415 * [taylor]: Taking taylor expansion of 0 in z 8.416 * [taylor]: Taking taylor expansion of 0 in z 8.417 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in (y t z) around 0 8.417 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 8.417 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 8.417 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.417 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 8.417 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.417 * [taylor]: Taking taylor expansion of -1 in z 8.417 * [taylor]: Taking taylor expansion of y in z 8.417 * [taylor]: Taking taylor expansion of 2.0 in z 8.417 * [taylor]: Taking taylor expansion of 1.0 in z 8.417 * [taylor]: Taking taylor expansion of (* t z) in z 8.417 * [taylor]: Taking taylor expansion of t in z 8.417 * [taylor]: Taking taylor expansion of z in z 8.418 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 8.418 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 8.418 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.418 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 8.418 * [taylor]: Taking taylor expansion of (/ -1 y) in t 8.418 * [taylor]: Taking taylor expansion of -1 in t 8.418 * [taylor]: Taking taylor expansion of y in t 8.418 * [taylor]: Taking taylor expansion of 2.0 in t 8.418 * [taylor]: Taking taylor expansion of 1.0 in t 8.418 * [taylor]: Taking taylor expansion of (* t z) in t 8.418 * [taylor]: Taking taylor expansion of t in t 8.418 * [taylor]: Taking taylor expansion of z in t 8.418 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 8.418 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 8.418 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.419 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 8.419 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.419 * [taylor]: Taking taylor expansion of -1 in y 8.419 * [taylor]: Taking taylor expansion of y in y 8.419 * [taylor]: Taking taylor expansion of 2.0 in y 8.419 * [taylor]: Taking taylor expansion of 1.0 in y 8.419 * [taylor]: Taking taylor expansion of (* t z) in y 8.419 * [taylor]: Taking taylor expansion of t in y 8.419 * [taylor]: Taking taylor expansion of z in y 8.420 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 8.420 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 8.420 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.420 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 8.420 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.420 * [taylor]: Taking taylor expansion of -1 in y 8.420 * [taylor]: Taking taylor expansion of y in y 8.420 * [taylor]: Taking taylor expansion of 2.0 in y 8.420 * [taylor]: Taking taylor expansion of 1.0 in y 8.420 * [taylor]: Taking taylor expansion of (* t z) in y 8.421 * [taylor]: Taking taylor expansion of t in y 8.421 * [taylor]: Taking taylor expansion of z in y 8.421 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t 8.422 * [taylor]: Taking taylor expansion of -2.0 in t 8.422 * [taylor]: Taking taylor expansion of (* t z) in t 8.422 * [taylor]: Taking taylor expansion of t in t 8.422 * [taylor]: Taking taylor expansion of z in t 8.422 * [taylor]: Taking taylor expansion of (/ -2.0 z) in z 8.422 * [taylor]: Taking taylor expansion of -2.0 in z 8.422 * [taylor]: Taking taylor expansion of z in z 8.424 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* t z))) in t 8.424 * [taylor]: Taking taylor expansion of 1.0 in t 8.424 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 8.424 * [taylor]: Taking taylor expansion of (* t z) in t 8.424 * [taylor]: Taking taylor expansion of t in t 8.424 * [taylor]: Taking taylor expansion of z in t 8.424 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 8.424 * [taylor]: Taking taylor expansion of 1.0 in z 8.424 * [taylor]: Taking taylor expansion of z in z 8.425 * [taylor]: Taking taylor expansion of 0 in z 8.428 * [taylor]: Taking taylor expansion of 0 in t 8.435 * [taylor]: Taking taylor expansion of 0 in z 8.436 * [taylor]: Taking taylor expansion of 0 in z 8.440 * [taylor]: Taking taylor expansion of 0 in t 8.440 * [taylor]: Taking taylor expansion of 0 in z 8.441 * [taylor]: Taking taylor expansion of 0 in z 8.442 * [taylor]: Taking taylor expansion of 0 in z 8.443 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 8.443 * [approximate]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) in (x y t z) around 0 8.443 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) in z 8.443 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in z 8.443 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in z 8.443 * [taylor]: Taking taylor expansion of 0.0625 in z 8.443 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in z 8.443 * [taylor]: Taking taylor expansion of t in z 8.443 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in z 8.443 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in z 8.443 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.443 * [taylor]: Taking taylor expansion of (* y 2.0) in z 8.443 * [taylor]: Taking taylor expansion of y in z 8.444 * [taylor]: Taking taylor expansion of 2.0 in z 8.444 * [taylor]: Taking taylor expansion of 1.0 in z 8.444 * [taylor]: Taking taylor expansion of z in z 8.446 * [taylor]: Taking taylor expansion of x in z 8.446 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) in t 8.446 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in t 8.446 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in t 8.446 * [taylor]: Taking taylor expansion of 0.0625 in t 8.446 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in t 8.446 * [taylor]: Taking taylor expansion of t in t 8.446 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in t 8.446 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in t 8.446 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.446 * [taylor]: Taking taylor expansion of (* y 2.0) in t 8.446 * [taylor]: Taking taylor expansion of y in t 8.446 * [taylor]: Taking taylor expansion of 2.0 in t 8.446 * [taylor]: Taking taylor expansion of 1.0 in t 8.446 * [taylor]: Taking taylor expansion of z in t 8.448 * [taylor]: Taking taylor expansion of x in t 8.448 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) in y 8.448 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in y 8.448 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in y 8.448 * [taylor]: Taking taylor expansion of 0.0625 in y 8.448 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in y 8.448 * [taylor]: Taking taylor expansion of t in y 8.448 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in y 8.448 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in y 8.448 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.448 * [taylor]: Taking taylor expansion of (* y 2.0) in y 8.448 * [taylor]: Taking taylor expansion of y in y 8.448 * [taylor]: Taking taylor expansion of 2.0 in y 8.448 * [taylor]: Taking taylor expansion of 1.0 in y 8.448 * [taylor]: Taking taylor expansion of z in y 8.449 * [taylor]: Taking taylor expansion of x in y 8.449 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) in x 8.449 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in x 8.449 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in x 8.449 * [taylor]: Taking taylor expansion of 0.0625 in x 8.449 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in x 8.449 * [taylor]: Taking taylor expansion of t in x 8.449 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in x 8.449 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in x 8.450 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.450 * [taylor]: Taking taylor expansion of (* y 2.0) in x 8.450 * [taylor]: Taking taylor expansion of y in x 8.450 * [taylor]: Taking taylor expansion of 2.0 in x 8.450 * [taylor]: Taking taylor expansion of 1.0 in x 8.450 * [taylor]: Taking taylor expansion of z in x 8.450 * [taylor]: Taking taylor expansion of x in x 8.450 * [taylor]: Taking taylor expansion of (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) in x 8.450 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) in x 8.450 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* (fma y 2.0 1.0) z))) in x 8.450 * [taylor]: Taking taylor expansion of 0.0625 in x 8.450 * [taylor]: Taking taylor expansion of (* t (* (fma y 2.0 1.0) z)) in x 8.450 * [taylor]: Taking taylor expansion of t in x 8.450 * [taylor]: Taking taylor expansion of (* (fma y 2.0 1.0) z) in x 8.450 * [taylor]: Taking taylor expansion of (fma y 2.0 1.0) in x 8.450 * [taylor]: Rewrote expression to (+ (* y 2.0) 1.0) 8.450 * [taylor]: Taking taylor expansion of (* y 2.0) in x 8.450 * [taylor]: Taking taylor expansion of y in x 8.450 * [taylor]: Taking taylor expansion of 2.0 in x 8.450 * [taylor]: Taking taylor expansion of 1.0 in x 8.450 * [taylor]: Taking taylor expansion of z in x 8.451 * [taylor]: Taking taylor expansion of x in x 8.452 * [taylor]: Taking taylor expansion of 0 in y 8.452 * [taylor]: Taking taylor expansion of 0 in t 8.452 * [taylor]: Taking taylor expansion of 0 in z 8.455 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0))))) in y 8.455 * [taylor]: Taking taylor expansion of (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))) in y 8.455 * [taylor]: Taking taylor expansion of 0.0625 in y 8.455 * [taylor]: Taking taylor expansion of (* t (* z (+ (* 2.0 y) 1.0))) in y 8.455 * [taylor]: Taking taylor expansion of t in y 8.455 * [taylor]: Taking taylor expansion of (* z (+ (* 2.0 y) 1.0)) in y 8.455 * [taylor]: Taking taylor expansion of z in y 8.455 * [taylor]: Taking taylor expansion of (+ (* 2.0 y) 1.0) in y 8.455 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 8.455 * [taylor]: Taking taylor expansion of 2.0 in y 8.456 * [taylor]: Taking taylor expansion of y in y 8.456 * [taylor]: Taking taylor expansion of 1.0 in y 8.457 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (* t z))) in t 8.457 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 8.457 * [taylor]: Taking taylor expansion of 0.0625 in t 8.457 * [taylor]: Taking taylor expansion of (* t z) in t 8.457 * [taylor]: Taking taylor expansion of t in t 8.457 * [taylor]: Taking taylor expansion of z in t 8.458 * [taylor]: Taking taylor expansion of 1 in z 8.458 * [taylor]: Taking taylor expansion of 0 in t 8.458 * [taylor]: Taking taylor expansion of 0 in z 8.458 * [taylor]: Taking taylor expansion of 0 in z 8.463 * [taylor]: Taking taylor expansion of 0 in y 8.463 * [taylor]: Taking taylor expansion of 0 in t 8.463 * [taylor]: Taking taylor expansion of 0 in z 8.467 * [taylor]: Taking taylor expansion of (- (* 0.125 (* t (* (sin (* 0.0625 (* t z))) z)))) in t 8.467 * [taylor]: Taking taylor expansion of (* 0.125 (* t (* (sin (* 0.0625 (* t z))) z))) in t 8.467 * [taylor]: Taking taylor expansion of 0.125 in t 8.467 * [taylor]: Taking taylor expansion of (* t (* (sin (* 0.0625 (* t z))) z)) in t 8.467 * [taylor]: Taking taylor expansion of t in t 8.467 * [taylor]: Taking taylor expansion of (* (sin (* 0.0625 (* t z))) z) in t 8.467 * [taylor]: Taking taylor expansion of (sin (* 0.0625 (* t z))) in t 8.467 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 8.467 * [taylor]: Taking taylor expansion of 0.0625 in t 8.467 * [taylor]: Taking taylor expansion of (* t z) in t 8.467 * [taylor]: Taking taylor expansion of t in t 8.467 * [taylor]: Taking taylor expansion of z in t 8.468 * [taylor]: Taking taylor expansion of z in t 8.469 * [taylor]: Taking taylor expansion of 0 in z 8.469 * [taylor]: Taking taylor expansion of 0 in t 8.469 * [taylor]: Taking taylor expansion of 0 in z 8.469 * [approximate]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in (x y t z) around 0 8.469 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in z 8.469 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in z 8.469 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in z 8.469 * [taylor]: Taking taylor expansion of 0.0625 in z 8.469 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in z 8.469 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in z 8.469 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.469 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in z 8.469 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.469 * [taylor]: Taking taylor expansion of y in z 8.469 * [taylor]: Taking taylor expansion of 2.0 in z 8.469 * [taylor]: Taking taylor expansion of 1.0 in z 8.469 * [taylor]: Taking taylor expansion of (* t z) in z 8.469 * [taylor]: Taking taylor expansion of t in z 8.469 * [taylor]: Taking taylor expansion of z in z 8.470 * [taylor]: Taking taylor expansion of x in z 8.470 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in t 8.470 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in t 8.470 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in t 8.470 * [taylor]: Taking taylor expansion of 0.0625 in t 8.470 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in t 8.470 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in t 8.470 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.471 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in t 8.471 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.471 * [taylor]: Taking taylor expansion of y in t 8.471 * [taylor]: Taking taylor expansion of 2.0 in t 8.471 * [taylor]: Taking taylor expansion of 1.0 in t 8.471 * [taylor]: Taking taylor expansion of (* t z) in t 8.471 * [taylor]: Taking taylor expansion of t in t 8.471 * [taylor]: Taking taylor expansion of z in t 8.471 * [taylor]: Taking taylor expansion of x in t 8.471 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in y 8.471 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in y 8.471 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in y 8.472 * [taylor]: Taking taylor expansion of 0.0625 in y 8.472 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in y 8.472 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in y 8.472 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.472 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y 8.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.472 * [taylor]: Taking taylor expansion of y in y 8.472 * [taylor]: Taking taylor expansion of 2.0 in y 8.472 * [taylor]: Taking taylor expansion of 1.0 in y 8.472 * [taylor]: Taking taylor expansion of (* t z) in y 8.472 * [taylor]: Taking taylor expansion of t in y 8.472 * [taylor]: Taking taylor expansion of z in y 8.473 * [taylor]: Taking taylor expansion of x in y 8.473 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in x 8.473 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in x 8.473 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in x 8.473 * [taylor]: Taking taylor expansion of 0.0625 in x 8.473 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in x 8.473 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in x 8.473 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.473 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x 8.473 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.473 * [taylor]: Taking taylor expansion of y in x 8.473 * [taylor]: Taking taylor expansion of 2.0 in x 8.473 * [taylor]: Taking taylor expansion of 1.0 in x 8.473 * [taylor]: Taking taylor expansion of (* t z) in x 8.473 * [taylor]: Taking taylor expansion of t in x 8.473 * [taylor]: Taking taylor expansion of z in x 8.474 * [taylor]: Taking taylor expansion of x in x 8.475 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) x) in x 8.475 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z)))) in x 8.475 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ 1 y) 2.0 1.0) (* t z))) in x 8.475 * [taylor]: Taking taylor expansion of 0.0625 in x 8.475 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 y) 2.0 1.0) (* t z)) in x 8.475 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 1.0) in x 8.475 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) 1.0) 8.475 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x 8.475 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.475 * [taylor]: Taking taylor expansion of y in x 8.475 * [taylor]: Taking taylor expansion of 2.0 in x 8.475 * [taylor]: Taking taylor expansion of 1.0 in x 8.475 * [taylor]: Taking taylor expansion of (* t z) in x 8.475 * [taylor]: Taking taylor expansion of t in x 8.475 * [taylor]: Taking taylor expansion of z in x 8.476 * [taylor]: Taking taylor expansion of x in x 8.476 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in y 8.477 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in y 8.477 * [taylor]: Taking taylor expansion of 0.0625 in y 8.477 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in y 8.477 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in y 8.477 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 8.477 * [taylor]: Taking taylor expansion of 2.0 in y 8.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.477 * [taylor]: Taking taylor expansion of y in y 8.477 * [taylor]: Taking taylor expansion of 1.0 in y 8.477 * [taylor]: Taking taylor expansion of (* t z) in y 8.477 * [taylor]: Taking taylor expansion of t in y 8.477 * [taylor]: Taking taylor expansion of z in y 8.478 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in t 8.478 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in t 8.478 * [taylor]: Taking taylor expansion of 0.0625 in t 8.478 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in t 8.478 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in t 8.478 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t 8.478 * [taylor]: Taking taylor expansion of 2.0 in t 8.478 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.478 * [taylor]: Taking taylor expansion of y in t 8.478 * [taylor]: Taking taylor expansion of 1.0 in t 8.478 * [taylor]: Taking taylor expansion of (* t z) in t 8.478 * [taylor]: Taking taylor expansion of t in t 8.478 * [taylor]: Taking taylor expansion of z in t 8.479 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)))) in z 8.479 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z))) in z 8.479 * [taylor]: Taking taylor expansion of 0.0625 in z 8.479 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 y)) 1.0) (* t z)) in z 8.479 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 y)) 1.0) in z 8.479 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z 8.479 * [taylor]: Taking taylor expansion of 2.0 in z 8.479 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.479 * [taylor]: Taking taylor expansion of y in z 8.479 * [taylor]: Taking taylor expansion of 1.0 in z 8.479 * [taylor]: Taking taylor expansion of (* t z) in z 8.479 * [taylor]: Taking taylor expansion of t in z 8.479 * [taylor]: Taking taylor expansion of z in z 8.484 * [taylor]: Taking taylor expansion of 0 in y 8.484 * [taylor]: Taking taylor expansion of 0 in t 8.484 * [taylor]: Taking taylor expansion of 0 in z 8.484 * [taylor]: Taking taylor expansion of 0 in t 8.484 * [taylor]: Taking taylor expansion of 0 in z 8.484 * [taylor]: Taking taylor expansion of 0 in z 8.490 * [taylor]: Taking taylor expansion of 0 in y 8.490 * [taylor]: Taking taylor expansion of 0 in t 8.490 * [taylor]: Taking taylor expansion of 0 in z 8.490 * [taylor]: Taking taylor expansion of 0 in t 8.490 * [taylor]: Taking taylor expansion of 0 in z 8.490 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in (x y t z) around 0 8.490 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in z 8.490 * [taylor]: Taking taylor expansion of -1 in z 8.490 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in z 8.490 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in z 8.490 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in z 8.490 * [taylor]: Taking taylor expansion of 0.0625 in z 8.490 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in z 8.490 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in z 8.491 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.491 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in z 8.491 * [taylor]: Taking taylor expansion of (/ -1 y) in z 8.491 * [taylor]: Taking taylor expansion of -1 in z 8.491 * [taylor]: Taking taylor expansion of y in z 8.491 * [taylor]: Taking taylor expansion of 2.0 in z 8.491 * [taylor]: Taking taylor expansion of 1.0 in z 8.491 * [taylor]: Taking taylor expansion of (* t z) in z 8.491 * [taylor]: Taking taylor expansion of t in z 8.491 * [taylor]: Taking taylor expansion of z in z 8.492 * [taylor]: Taking taylor expansion of x in z 8.492 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in t 8.492 * [taylor]: Taking taylor expansion of -1 in t 8.492 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in t 8.492 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in t 8.492 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in t 8.492 * [taylor]: Taking taylor expansion of 0.0625 in t 8.492 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in t 8.492 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in t 8.492 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.492 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in t 8.492 * [taylor]: Taking taylor expansion of (/ -1 y) in t 8.492 * [taylor]: Taking taylor expansion of -1 in t 8.492 * [taylor]: Taking taylor expansion of y in t 8.492 * [taylor]: Taking taylor expansion of 2.0 in t 8.492 * [taylor]: Taking taylor expansion of 1.0 in t 8.492 * [taylor]: Taking taylor expansion of (* t z) in t 8.492 * [taylor]: Taking taylor expansion of t in t 8.492 * [taylor]: Taking taylor expansion of z in t 8.493 * [taylor]: Taking taylor expansion of x in t 8.493 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in y 8.493 * [taylor]: Taking taylor expansion of -1 in y 8.493 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in y 8.493 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in y 8.493 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in y 8.493 * [taylor]: Taking taylor expansion of 0.0625 in y 8.493 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in y 8.493 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in y 8.493 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.493 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y 8.493 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.493 * [taylor]: Taking taylor expansion of -1 in y 8.493 * [taylor]: Taking taylor expansion of y in y 8.494 * [taylor]: Taking taylor expansion of 2.0 in y 8.494 * [taylor]: Taking taylor expansion of 1.0 in y 8.494 * [taylor]: Taking taylor expansion of (* t z) in y 8.494 * [taylor]: Taking taylor expansion of t in y 8.494 * [taylor]: Taking taylor expansion of z in y 8.495 * [taylor]: Taking taylor expansion of x in y 8.495 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in x 8.495 * [taylor]: Taking taylor expansion of -1 in x 8.495 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in x 8.495 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in x 8.495 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in x 8.495 * [taylor]: Taking taylor expansion of 0.0625 in x 8.495 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in x 8.495 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in x 8.495 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.495 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x 8.495 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.495 * [taylor]: Taking taylor expansion of -1 in x 8.495 * [taylor]: Taking taylor expansion of y in x 8.495 * [taylor]: Taking taylor expansion of 2.0 in x 8.495 * [taylor]: Taking taylor expansion of 1.0 in x 8.495 * [taylor]: Taking taylor expansion of (* t z) in x 8.495 * [taylor]: Taking taylor expansion of t in x 8.495 * [taylor]: Taking taylor expansion of z in x 8.496 * [taylor]: Taking taylor expansion of x in x 8.497 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x)) in x 8.497 * [taylor]: Taking taylor expansion of -1 in x 8.497 * [taylor]: Taking taylor expansion of (/ (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) x) in x 8.497 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z)))) in x 8.497 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (fma (/ -1 y) 2.0 1.0) (* t z))) in x 8.497 * [taylor]: Taking taylor expansion of 0.0625 in x 8.497 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 y) 2.0 1.0) (* t z)) in x 8.497 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 1.0) in x 8.497 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) 1.0) 8.497 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x 8.497 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.497 * [taylor]: Taking taylor expansion of -1 in x 8.497 * [taylor]: Taking taylor expansion of y in x 8.497 * [taylor]: Taking taylor expansion of 2.0 in x 8.497 * [taylor]: Taking taylor expansion of 1.0 in x 8.497 * [taylor]: Taking taylor expansion of (* t z) in x 8.497 * [taylor]: Taking taylor expansion of t in x 8.497 * [taylor]: Taking taylor expansion of z in x 8.498 * [taylor]: Taking taylor expansion of x in x 8.499 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))))) in y 8.499 * [taylor]: Taking taylor expansion of -1 in y 8.499 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in y 8.499 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in y 8.499 * [taylor]: Taking taylor expansion of 0.0625 in y 8.499 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in y 8.499 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in y 8.499 * [taylor]: Taking taylor expansion of 1.0 in y 8.499 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 8.499 * [taylor]: Taking taylor expansion of 2.0 in y 8.499 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.499 * [taylor]: Taking taylor expansion of y in y 8.499 * [taylor]: Taking taylor expansion of (* t z) in y 8.499 * [taylor]: Taking taylor expansion of t in y 8.499 * [taylor]: Taking taylor expansion of z in y 8.501 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))))) in t 8.501 * [taylor]: Taking taylor expansion of -1 in t 8.501 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in t 8.501 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in t 8.501 * [taylor]: Taking taylor expansion of 0.0625 in t 8.501 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in t 8.501 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in t 8.501 * [taylor]: Taking taylor expansion of 1.0 in t 8.501 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in t 8.501 * [taylor]: Taking taylor expansion of 2.0 in t 8.501 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.501 * [taylor]: Taking taylor expansion of y in t 8.501 * [taylor]: Taking taylor expansion of (* t z) in t 8.501 * [taylor]: Taking taylor expansion of t in t 8.501 * [taylor]: Taking taylor expansion of z in t 8.502 * [taylor]: Taking taylor expansion of (* -1 (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))))) in z 8.502 * [taylor]: Taking taylor expansion of -1 in z 8.502 * [taylor]: Taking taylor expansion of (cos (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)))) in z 8.502 * [taylor]: Taking taylor expansion of (* 0.0625 (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z))) in z 8.502 * [taylor]: Taking taylor expansion of 0.0625 in z 8.502 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 2.0 (/ 1 y))) (* t z)) in z 8.502 * [taylor]: Taking taylor expansion of (- 1.0 (* 2.0 (/ 1 y))) in z 8.502 * [taylor]: Taking taylor expansion of 1.0 in z 8.502 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in z 8.502 * [taylor]: Taking taylor expansion of 2.0 in z 8.502 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.502 * [taylor]: Taking taylor expansion of y in z 8.502 * [taylor]: Taking taylor expansion of (* t z) in z 8.502 * [taylor]: Taking taylor expansion of t in z 8.502 * [taylor]: Taking taylor expansion of z in z 8.508 * [taylor]: Taking taylor expansion of 0 in y 8.508 * [taylor]: Taking taylor expansion of 0 in t 8.508 * [taylor]: Taking taylor expansion of 0 in z 8.508 * [taylor]: Taking taylor expansion of 0 in t 8.509 * [taylor]: Taking taylor expansion of 0 in z 8.509 * [taylor]: Taking taylor expansion of 0 in z 8.516 * [taylor]: Taking taylor expansion of 0 in y 8.516 * [taylor]: Taking taylor expansion of 0 in t 8.516 * [taylor]: Taking taylor expansion of 0 in z 8.516 * [taylor]: Taking taylor expansion of 0 in t 8.516 * [taylor]: Taking taylor expansion of 0 in z 8.516 * * * [progress]: simplifying candidates 8.517 * [simplify]: Simplifying using # : (expm1 (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (log1p (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (log (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (exp (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (* (cbrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (cbrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (cbrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (* (* (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)) (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (sqrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (sqrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (expm1 (* (fma y 2.0 1.0) (* t z))) (log1p (* (fma y 2.0 1.0) (* t z))) (* (fma y 2.0 1.0) (* t z)) (* (fma y 2.0 1.0) (* t z)) (+ (log (fma y 2.0 1.0)) (+ (log t) (log z))) (+ (log (fma y 2.0 1.0)) (log (* t z))) (log (* (fma y 2.0 1.0) (* t z))) (exp (* (fma y 2.0 1.0) (* t z))) (* (* (* (fma y 2.0 1.0) (fma y 2.0 1.0)) (fma y 2.0 1.0)) (* (* (* t t) t) (* (* z z) z))) (* (* (* (fma y 2.0 1.0) (fma y 2.0 1.0)) (fma y 2.0 1.0)) (* (* (* t z) (* t z)) (* t z))) (* (cbrt (* (fma y 2.0 1.0) (* t z))) (cbrt (* (fma y 2.0 1.0) (* t z)))) (cbrt (* (fma y 2.0 1.0) (* t z))) (* (* (* (fma y 2.0 1.0) (* t z)) (* (fma y 2.0 1.0) (* t z))) (* (fma y 2.0 1.0) (* t z))) (sqrt (* (fma y 2.0 1.0) (* t z))) (sqrt (* (fma y 2.0 1.0) (* t z))) (* (fma y 2.0 1.0) t) (* (cbrt (fma y 2.0 1.0)) (* t z)) (* (sqrt (fma y 2.0 1.0)) (* t z)) (* (fma y 2.0 1.0) (* t z)) (expm1 (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (log1p (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (+ (log x) (log (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (log (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (exp (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* (* (* x x) x) (* (* (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)) (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* (cbrt (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (cbrt (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))))) (cbrt (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* (* (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (sqrt (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (sqrt (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* x (* (cbrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (cbrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))))) (* x (sqrt (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0)))) (* x 1) (* (cbrt x) (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (* (sqrt x) (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) (* x (cos (/ (* 1 (* (fma y 2.0 1.0) (* t z))) 16.0))) 1 (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) 0 (+ (* 1.0 (* t z)) (* 2.0 (* t (* z y)))) (+ (* 1.0 (* t z)) (* 2.0 (* t (* z y)))) x (* x (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))))) (* x (cos (* 0.0625 (* t (* z (+ (* 2.0 y) 1.0)))))) 8.521 * * [simplify]: iteration 0 : 96 enodes (cost 878 ) 8.541 * * [simplify]: iteration 1 : 211 enodes (cost 794 ) 8.596 * * [simplify]: iteration 2 : 697 enodes (cost 664 ) 9.710 * * [simplify]: iteration 3 : 2922 enodes (cost 664 ) 11.532 * * [simplify]: iteration done : 5000 enodes (cost 664 ) 11.533 * [simplify]: Simplified to: (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))) (pow (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)) 3) (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 (* (fma y 2.0 1.0) (* t z))) (log1p (* (fma y 2.0 1.0) (* t z))) (* t (* (fma y 2.0 1.0) z)) (* t (* (fma y 2.0 1.0) z)) (log (* t (* (fma y 2.0 1.0) z))) (log (* t (* (fma y 2.0 1.0) z))) (log (* t (* (fma y 2.0 1.0) z))) (exp (* (fma y 2.0 1.0) (* t z))) (pow (* t (* (fma y 2.0 1.0) z)) 3) (pow (* t (* (fma y 2.0 1.0) z)) 3) (* (cbrt (* (fma y 2.0 1.0) (* t z))) (cbrt (* (fma y 2.0 1.0) (* t z)))) (cbrt (* (fma y 2.0 1.0) (* t z))) (pow (* t (* (fma y 2.0 1.0) z)) 3) (sqrt (* (fma y 2.0 1.0) (* t z))) (sqrt (* (fma y 2.0 1.0) (* t z))) (* (fma y 2.0 1.0) t) (* (cbrt (fma y 2.0 1.0)) (* t z)) (* (sqrt (fma y 2.0 1.0)) (* t z)) (* t (* (fma y 2.0 1.0) z)) (expm1 (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (log1p (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (log (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (log (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (exp (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (pow (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) 3) (* (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))))) (cbrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (pow (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) 3) (sqrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (sqrt (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* (sqrt x) (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)))) (* x (* (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) (cbrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))))) (* (sqrt (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) x) x (* (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)) (cbrt x)) (* (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0)) (sqrt x)) (* x (cos (/ (* t (* (fma y 2.0 1.0) z)) 16.0))) 1 (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) 0 (* t (* (fma y 2.0 1.0) z)) (* t (* (fma y 2.0 1.0) z)) x (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) (* (cos (* 0.0625 (* t (* (fma y 2.0 1.0) z)))) x) 11.533 * * * [progress]: adding candidates to table 11.738 * [progress]: [Phase 3 of 3] Extracting. 11.738 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 11.757 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x) 11.757 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 11.958 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 12.161 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 12.360 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 12.564 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 12.765 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # # #) 12.963 * * * [regime]: Found split indices: #