11.307 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.047 * [progress]: [Phase 2 of 3] Improving. 0.048 * [simplify]: Simplifying: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.048 * * [simplify]: Extracting # 0 : cost 0 0.048 * * [simplify]: Extracting # 1 : cost 0 0.048 * * [simplify]: Extracting # 2 : cost 0 0.048 * * [simplify]: Extracting # 3 : cost 0 0.048 * * [simplify]: Extracting # 4 : cost 0 0.048 * * [simplify]: Extracting # 5 : cost 0 0.048 * * [simplify]: Extracting # 6 : cost 0 0.048 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: iteration 1 : 28 enodes (cost 18 ) 0.069 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: Extracting # 1 : cost 0 0.069 * * [simplify]: Extracting # 2 : cost 0 0.069 * * [simplify]: iteration 2 : 91 enodes (cost 16 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.139 * * [simplify]: Extracting # 1 : cost 0 0.140 * * [simplify]: Extracting # 2 : cost 0 0.141 * * [simplify]: iteration 3 : 300 enodes (cost 16 ) 0.419 * * [simplify]: Extracting # 0 : cost 0 0.421 * * [simplify]: Extracting # 1 : cost 0 0.423 * * [simplify]: Extracting # 2 : cost 0 0.425 * * [simplify]: Extracting # 3 : cost 0 0.426 * * [simplify]: Extracting # 4 : cost 0 0.428 * * [simplify]: iteration 4 : 946 enodes (cost 16 ) 1.499 * * [simplify]: Extracting # 0 : cost 0 1.502 * * [simplify]: Extracting # 1 : cost 0 1.504 * * [simplify]: Extracting # 2 : cost 0 1.506 * * [simplify]: Extracting # 3 : cost 0 1.508 * * [simplify]: Extracting # 4 : cost 0 1.509 * * [simplify]: iteration 5 : 2331 enodes (cost 16 ) 5.810 * * [simplify]: Extracting # 0 : cost 0 5.821 * * [simplify]: Extracting # 1 : cost 0 5.831 * * [simplify]: Extracting # 2 : cost 0 5.835 * * [simplify]: Extracting # 3 : cost 0 5.839 * * [simplify]: iteration done: 5000 enodes (cost 16 ) 5.839 * [simplify]: Simplified to: (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) 5.843 * * [progress]: iteration 1 / 4 5.843 * * * [progress]: picking best candidate 5.845 * * * * [pick]: Picked # 5.845 * * * [progress]: localizing error 5.853 * * * [progress]: generating rewritten candidates 5.853 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.854 * * * [progress]: generating series expansions 5.854 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.854 * [backup-simplify]: Simplify (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) into (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) 5.854 * [approximate]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in (t) around 0 5.854 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t 5.854 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0))) 5.855 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t 5.855 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 5.855 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 5.855 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 5.855 * [taylor]: Taking taylor expansion of t in t 5.855 * [backup-simplify]: Simplify 0 into 0 5.855 * [backup-simplify]: Simplify 1 into 1 5.855 * [taylor]: Taking taylor expansion of 2e-16 in t 5.855 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.855 * [taylor]: Taking taylor expansion of 1.0 in t 5.855 * [backup-simplify]: Simplify 1.0 into 1.0 5.855 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 5.855 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 5.855 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 5.855 * [taylor]: Taking taylor expansion of t in t 5.855 * [backup-simplify]: Simplify 0 into 0 5.855 * [backup-simplify]: Simplify 1 into 1 5.855 * [taylor]: Taking taylor expansion of 2e-16 in t 5.855 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.855 * [taylor]: Taking taylor expansion of 1.0 in t 5.855 * [backup-simplify]: Simplify 1.0 into 1.0 5.855 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t 5.855 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t 5.855 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t 5.855 * [taylor]: Taking taylor expansion of 4e-16 in t 5.855 * [backup-simplify]: Simplify 4e-16 into 4e-16 5.855 * [taylor]: Taking taylor expansion of t in t 5.855 * [backup-simplify]: Simplify 0 into 0 5.855 * [backup-simplify]: Simplify 1 into 1 5.855 * [taylor]: Taking taylor expansion of 1.0 in t 5.855 * [backup-simplify]: Simplify 1.0 into 1.0 5.855 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t 5.855 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0))) 5.855 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t 5.855 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 5.855 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 5.855 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 5.856 * [taylor]: Taking taylor expansion of t in t 5.856 * [backup-simplify]: Simplify 0 into 0 5.856 * [backup-simplify]: Simplify 1 into 1 5.856 * [taylor]: Taking taylor expansion of 2e-16 in t 5.856 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.856 * [taylor]: Taking taylor expansion of 1.0 in t 5.856 * [backup-simplify]: Simplify 1.0 into 1.0 5.856 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t 5.856 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0) 5.856 * [taylor]: Taking taylor expansion of (* t 2e-16) in t 5.856 * [taylor]: Taking taylor expansion of t in t 5.856 * [backup-simplify]: Simplify 0 into 0 5.856 * [backup-simplify]: Simplify 1 into 1 5.856 * [taylor]: Taking taylor expansion of 2e-16 in t 5.856 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.856 * [taylor]: Taking taylor expansion of 1.0 in t 5.856 * [backup-simplify]: Simplify 1.0 into 1.0 5.856 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t 5.856 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t 5.856 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t 5.856 * [taylor]: Taking taylor expansion of 4e-16 in t 5.856 * [backup-simplify]: Simplify 4e-16 into 4e-16 5.856 * [taylor]: Taking taylor expansion of t in t 5.856 * [backup-simplify]: Simplify 0 into 0 5.856 * [backup-simplify]: Simplify 1 into 1 5.856 * [taylor]: Taking taylor expansion of 1.0 in t 5.856 * [backup-simplify]: Simplify 1.0 into 1.0 5.857 * [backup-simplify]: Simplify (* 0 2e-16) into 0 5.857 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.857 * [backup-simplify]: Simplify (* 0 2e-16) into 0 5.857 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.858 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 5.858 * [backup-simplify]: Simplify (* 4e-16 0) into 0 5.858 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.859 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.859 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0 5.859 * [backup-simplify]: Simplify 0 into 0 5.860 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16 5.860 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 5.861 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16 5.861 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 5.862 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16 5.863 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16 5.863 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16 5.864 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16) 5.864 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0 5.864 * [backup-simplify]: Simplify 0 into 0 5.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0 5.865 * [backup-simplify]: Simplify (+ 0 0) into 0 5.865 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0 5.866 * [backup-simplify]: Simplify (+ 0 0) into 0 5.867 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32 5.868 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0 5.868 * [backup-simplify]: Simplify (+ 0 0) into 0 5.868 * [backup-simplify]: Simplify (- 0) into 0 5.869 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32 5.869 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0 5.870 * [backup-simplify]: Simplify (+ 0 0) into 0 5.871 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0 5.871 * [backup-simplify]: Simplify (+ 0 0) into 0 5.872 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0 5.873 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.874 * [backup-simplify]: Simplify (+ 0 0) into 0 5.874 * [backup-simplify]: Simplify (- 0) into 0 5.874 * [backup-simplify]: Simplify (+ 0 0) into 0 5.874 * [backup-simplify]: Simplify 0 into 0 5.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 5.876 * [backup-simplify]: Simplify (+ 0 0) into 0 5.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 5.877 * [backup-simplify]: Simplify (+ 0 0) into 0 5.878 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0 5.878 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.879 * [backup-simplify]: Simplify (+ 0 0) into 0 5.879 * [backup-simplify]: Simplify (- 0) into 0 5.879 * [backup-simplify]: Simplify (+ 0 0) into 0 5.879 * [backup-simplify]: Simplify 0 into 0 5.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 5.880 * [backup-simplify]: Simplify (+ 0 0) into 0 5.881 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 5.881 * [backup-simplify]: Simplify (+ 0 0) into 0 5.883 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0 5.884 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 5.885 * [backup-simplify]: Simplify (+ 0 0) into 0 5.885 * [backup-simplify]: Simplify (- 0) into 0 5.885 * [backup-simplify]: Simplify (+ 0 0) into 0 5.885 * [backup-simplify]: Simplify 0 into 0 5.887 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 5.887 * [backup-simplify]: Simplify (+ 0 0) into 0 5.889 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 5.889 * [backup-simplify]: Simplify (+ 0 0) into 0 5.891 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0 5.892 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 5.893 * [backup-simplify]: Simplify (+ 0 0) into 0 5.893 * [backup-simplify]: Simplify (- 0) into 0 5.893 * [backup-simplify]: Simplify (+ 0 0) into 0 5.894 * [backup-simplify]: Simplify 0 into 0 5.895 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0 5.896 * [backup-simplify]: Simplify (+ 0 0) into 0 5.897 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0 5.898 * [backup-simplify]: Simplify (+ 0 0) into 0 5.900 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))))) into 0 5.901 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 5.902 * [backup-simplify]: Simplify (+ 0 0) into 0 5.902 * [backup-simplify]: Simplify (- 0) into 0 5.902 * [backup-simplify]: Simplify (+ 0 0) into 0 5.902 * [backup-simplify]: Simplify 0 into 0 5.904 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0 5.905 * [backup-simplify]: Simplify (+ 0 0) into 0 5.906 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0 5.907 * [backup-simplify]: Simplify (+ 0 0) into 0 5.913 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))))) into 0 5.915 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 5.915 * [backup-simplify]: Simplify (+ 0 0) into 0 5.916 * [backup-simplify]: Simplify (- 0) into 0 5.916 * [backup-simplify]: Simplify (+ 0 0) into 0 5.916 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.917 * [backup-simplify]: Simplify (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- -1.0 (* 2.0 (* (/ 1 t) 2e-16)))) into (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) 5.917 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in (t) around 0 5.917 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in t 5.917 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0))) 5.917 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t 5.917 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 5.917 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 5.917 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 5.917 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.917 * [taylor]: Taking taylor expansion of t in t 5.918 * [backup-simplify]: Simplify 0 into 0 5.918 * [backup-simplify]: Simplify 1 into 1 5.918 * [backup-simplify]: Simplify (/ 1 1) into 1 5.918 * [taylor]: Taking taylor expansion of 2e-16 in t 5.918 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.918 * [taylor]: Taking taylor expansion of 1.0 in t 5.918 * [backup-simplify]: Simplify 1.0 into 1.0 5.918 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 5.918 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 5.918 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 5.918 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.918 * [taylor]: Taking taylor expansion of t in t 5.918 * [backup-simplify]: Simplify 0 into 0 5.918 * [backup-simplify]: Simplify 1 into 1 5.919 * [backup-simplify]: Simplify (/ 1 1) into 1 5.919 * [taylor]: Taking taylor expansion of 2e-16 in t 5.919 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.919 * [taylor]: Taking taylor expansion of 1.0 in t 5.919 * [backup-simplify]: Simplify 1.0 into 1.0 5.919 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t 5.919 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t 5.919 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 5.919 * [taylor]: Taking taylor expansion of 4e-16 in t 5.919 * [backup-simplify]: Simplify 4e-16 into 4e-16 5.919 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.919 * [taylor]: Taking taylor expansion of t in t 5.919 * [backup-simplify]: Simplify 0 into 0 5.919 * [backup-simplify]: Simplify 1 into 1 5.920 * [backup-simplify]: Simplify (/ 1 1) into 1 5.920 * [taylor]: Taking taylor expansion of 1.0 in t 5.920 * [backup-simplify]: Simplify 1.0 into 1.0 5.920 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in t 5.920 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0))) 5.920 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t 5.920 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 5.920 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 5.920 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 5.920 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.920 * [taylor]: Taking taylor expansion of t in t 5.920 * [backup-simplify]: Simplify 0 into 0 5.920 * [backup-simplify]: Simplify 1 into 1 5.921 * [backup-simplify]: Simplify (/ 1 1) into 1 5.921 * [taylor]: Taking taylor expansion of 2e-16 in t 5.921 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.921 * [taylor]: Taking taylor expansion of 1.0 in t 5.921 * [backup-simplify]: Simplify 1.0 into 1.0 5.921 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t 5.921 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0) 5.921 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t 5.921 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.921 * [taylor]: Taking taylor expansion of t in t 5.921 * [backup-simplify]: Simplify 0 into 0 5.921 * [backup-simplify]: Simplify 1 into 1 5.922 * [backup-simplify]: Simplify (/ 1 1) into 1 5.922 * [taylor]: Taking taylor expansion of 2e-16 in t 5.922 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.922 * [taylor]: Taking taylor expansion of 1.0 in t 5.922 * [backup-simplify]: Simplify 1.0 into 1.0 5.922 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t 5.922 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t 5.922 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 5.922 * [taylor]: Taking taylor expansion of 4e-16 in t 5.922 * [backup-simplify]: Simplify 4e-16 into 4e-16 5.922 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.922 * [taylor]: Taking taylor expansion of t in t 5.922 * [backup-simplify]: Simplify 0 into 0 5.922 * [backup-simplify]: Simplify 1 into 1 5.922 * [backup-simplify]: Simplify (/ 1 1) into 1 5.922 * [taylor]: Taking taylor expansion of 1.0 in t 5.923 * [backup-simplify]: Simplify 1.0 into 1.0 5.923 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16 5.924 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 5.924 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16 5.924 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16 5.925 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32 5.925 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32 5.925 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0 5.926 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0 5.927 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.928 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16 5.929 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16 5.929 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16 5.930 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16) 5.930 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0 5.930 * [backup-simplify]: Simplify 0 into 0 5.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0 5.933 * [backup-simplify]: Simplify (+ 0 0) into 0 5.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0 5.935 * [backup-simplify]: Simplify (+ 0 0) into 0 5.937 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0 5.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.939 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0 5.939 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.939 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.940 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0 5.940 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 5.943 * [backup-simplify]: Simplify (+ 0 0) into 0 5.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 5.945 * [backup-simplify]: Simplify (+ 0 0) into 0 5.947 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0 5.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.948 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0 5.949 * [backup-simplify]: Simplify (+ 0 0) into 0 5.949 * [backup-simplify]: Simplify (- 0) into 0 5.949 * [backup-simplify]: Simplify (+ 0 0) into 0 5.949 * [backup-simplify]: Simplify 0 into 0 5.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 5.952 * [backup-simplify]: Simplify (+ 0 0) into 0 5.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 5.955 * [backup-simplify]: Simplify (+ 0 0) into 0 5.956 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0 5.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.958 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.958 * [backup-simplify]: Simplify (+ 0 0) into 0 5.958 * [backup-simplify]: Simplify (- 0) into 0 5.959 * [backup-simplify]: Simplify (+ 0 0) into 0 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 5.961 * [backup-simplify]: Simplify (+ 0 0) into 0 5.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 5.963 * [backup-simplify]: Simplify (+ 0 0) into 0 5.965 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0 5.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.967 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.967 * [backup-simplify]: Simplify (+ 0 0) into 0 5.968 * [backup-simplify]: Simplify (- 0) into 0 5.968 * [backup-simplify]: Simplify (+ 0 0) into 0 5.968 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 5.970 * [backup-simplify]: Simplify (+ 0 0) into 0 5.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 5.973 * [backup-simplify]: Simplify (+ 0 0) into 0 5.975 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0 5.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.977 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.977 * [backup-simplify]: Simplify (+ 0 0) into 0 5.978 * [backup-simplify]: Simplify (- 0) into 0 5.978 * [backup-simplify]: Simplify (+ 0 0) into 0 5.978 * [backup-simplify]: Simplify 0 into 0 5.978 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.979 * [backup-simplify]: Simplify (fma (fma (/ 1 (- t)) 2e-16 1.0) (fma (/ 1 (- t)) 2e-16 1.0) (- -1.0 (* 2.0 (* (/ 1 (- t)) 2e-16)))) into (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) 5.979 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in (t) around 0 5.979 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in t 5.979 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0)) 5.979 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t 5.979 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 5.979 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 5.979 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 5.979 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.979 * [taylor]: Taking taylor expansion of -1 in t 5.979 * [backup-simplify]: Simplify -1 into -1 5.979 * [taylor]: Taking taylor expansion of t in t 5.979 * [backup-simplify]: Simplify 0 into 0 5.979 * [backup-simplify]: Simplify 1 into 1 5.980 * [backup-simplify]: Simplify (/ -1 1) into -1 5.980 * [taylor]: Taking taylor expansion of 2e-16 in t 5.980 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.980 * [taylor]: Taking taylor expansion of 1.0 in t 5.980 * [backup-simplify]: Simplify 1.0 into 1.0 5.980 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 5.980 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 5.980 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 5.980 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.980 * [taylor]: Taking taylor expansion of -1 in t 5.980 * [backup-simplify]: Simplify -1 into -1 5.981 * [taylor]: Taking taylor expansion of t in t 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [backup-simplify]: Simplify (/ -1 1) into -1 5.981 * [taylor]: Taking taylor expansion of 2e-16 in t 5.981 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.981 * [taylor]: Taking taylor expansion of 1.0 in t 5.981 * [backup-simplify]: Simplify 1.0 into 1.0 5.981 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t 5.981 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 5.981 * [taylor]: Taking taylor expansion of 4e-16 in t 5.981 * [backup-simplify]: Simplify 4e-16 into 4e-16 5.981 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.981 * [taylor]: Taking taylor expansion of t in t 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.982 * [backup-simplify]: Simplify (/ 1 1) into 1 5.982 * [taylor]: Taking taylor expansion of 1.0 in t 5.982 * [backup-simplify]: Simplify 1.0 into 1.0 5.982 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in t 5.982 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0)) 5.982 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t 5.982 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 5.982 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 5.982 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 5.982 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.982 * [taylor]: Taking taylor expansion of -1 in t 5.982 * [backup-simplify]: Simplify -1 into -1 5.982 * [taylor]: Taking taylor expansion of t in t 5.982 * [backup-simplify]: Simplify 0 into 0 5.982 * [backup-simplify]: Simplify 1 into 1 5.983 * [backup-simplify]: Simplify (/ -1 1) into -1 5.983 * [taylor]: Taking taylor expansion of 2e-16 in t 5.983 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.983 * [taylor]: Taking taylor expansion of 1.0 in t 5.983 * [backup-simplify]: Simplify 1.0 into 1.0 5.983 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t 5.983 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0) 5.983 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t 5.983 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.983 * [taylor]: Taking taylor expansion of -1 in t 5.983 * [backup-simplify]: Simplify -1 into -1 5.983 * [taylor]: Taking taylor expansion of t in t 5.983 * [backup-simplify]: Simplify 0 into 0 5.983 * [backup-simplify]: Simplify 1 into 1 5.984 * [backup-simplify]: Simplify (/ -1 1) into -1 5.984 * [taylor]: Taking taylor expansion of 2e-16 in t 5.984 * [backup-simplify]: Simplify 2e-16 into 2e-16 5.984 * [taylor]: Taking taylor expansion of 1.0 in t 5.984 * [backup-simplify]: Simplify 1.0 into 1.0 5.984 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t 5.984 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t 5.984 * [taylor]: Taking taylor expansion of 4e-16 in t 5.984 * [backup-simplify]: Simplify 4e-16 into 4e-16 5.984 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.984 * [taylor]: Taking taylor expansion of t in t 5.984 * [backup-simplify]: Simplify 0 into 0 5.984 * [backup-simplify]: Simplify 1 into 1 5.984 * [backup-simplify]: Simplify (/ 1 1) into 1 5.985 * [taylor]: Taking taylor expansion of 1.0 in t 5.985 * [backup-simplify]: Simplify 1.0 into 1.0 5.985 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16 5.985 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16) 5.986 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16 5.986 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16) 5.987 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32 5.988 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32 5.988 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.989 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.989 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0 5.990 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.991 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0 5.991 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.993 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16) 5.994 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16 5.994 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16 5.995 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0 5.995 * [backup-simplify]: Simplify 0 into 0 5.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.997 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0 5.997 * [backup-simplify]: Simplify (+ 0 0) into 0 5.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.999 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0 5.999 * [backup-simplify]: Simplify (+ 0 0) into 0 6.002 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0 6.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.003 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0 6.004 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.004 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.005 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0 6.005 * [backup-simplify]: Simplify 0 into 0 6.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.007 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 6.008 * [backup-simplify]: Simplify (+ 0 0) into 0 6.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.010 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0 6.010 * [backup-simplify]: Simplify (+ 0 0) into 0 6.011 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0 6.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.013 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0 6.013 * [backup-simplify]: Simplify (- 0) into 0 6.014 * [backup-simplify]: Simplify (+ 0 0) into 0 6.014 * [backup-simplify]: Simplify (+ 0 0) into 0 6.014 * [backup-simplify]: Simplify 0 into 0 6.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.016 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 6.016 * [backup-simplify]: Simplify (+ 0 0) into 0 6.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.018 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0 6.019 * [backup-simplify]: Simplify (+ 0 0) into 0 6.020 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0 6.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.022 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.022 * [backup-simplify]: Simplify (- 0) into 0 6.023 * [backup-simplify]: Simplify (+ 0 0) into 0 6.023 * [backup-simplify]: Simplify (+ 0 0) into 0 6.023 * [backup-simplify]: Simplify 0 into 0 6.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.025 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 6.026 * [backup-simplify]: Simplify (+ 0 0) into 0 6.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.028 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0 6.029 * [backup-simplify]: Simplify (+ 0 0) into 0 6.030 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0 6.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.033 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.034 * [backup-simplify]: Simplify (- 0) into 0 6.034 * [backup-simplify]: Simplify (+ 0 0) into 0 6.034 * [backup-simplify]: Simplify (+ 0 0) into 0 6.034 * [backup-simplify]: Simplify 0 into 0 6.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.037 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 6.037 * [backup-simplify]: Simplify (+ 0 0) into 0 6.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.039 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0 6.040 * [backup-simplify]: Simplify (+ 0 0) into 0 6.042 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0 6.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.044 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.044 * [backup-simplify]: Simplify (- 0) into 0 6.048 * [backup-simplify]: Simplify (+ 0 0) into 0 6.049 * [backup-simplify]: Simplify (+ 0 0) into 0 6.049 * [backup-simplify]: Simplify 0 into 0 6.049 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.049 * * * [progress]: simplifying candidates 6.050 * [simplify]: Simplifying: (expm1 (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (log1p (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (log (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* (* (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 6.051 * * [simplify]: Extracting # 0 : cost 0 6.051 * * [simplify]: Extracting # 1 : cost 0 6.051 * * [simplify]: Extracting # 2 : cost 0 6.051 * * [simplify]: Extracting # 3 : cost 0 6.051 * * [simplify]: Extracting # 4 : cost 0 6.051 * * [simplify]: Extracting # 5 : cost 0 6.051 * * [simplify]: Extracting # 6 : cost 0 6.051 * * [simplify]: Extracting # 7 : cost 0 6.051 * * [simplify]: Extracting # 8 : cost 0 6.051 * * [simplify]: iteration 0 : 24 enodes (cost 228 ) 6.059 * * [simplify]: Extracting # 0 : cost 0 6.059 * * [simplify]: Extracting # 1 : cost 0 6.059 * * [simplify]: Extracting # 2 : cost 0 6.059 * * [simplify]: Extracting # 3 : cost 0 6.059 * * [simplify]: iteration 1 : 39 enodes (cost 228 ) 6.075 * * [simplify]: Extracting # 0 : cost 0 6.075 * * [simplify]: Extracting # 1 : cost 0 6.075 * * [simplify]: Extracting # 2 : cost 0 6.076 * * [simplify]: Extracting # 3 : cost 0 6.076 * * [simplify]: iteration 2 : 98 enodes (cost 196 ) 6.106 * * [simplify]: Extracting # 0 : cost 0 6.106 * * [simplify]: Extracting # 1 : cost 0 6.107 * * [simplify]: Extracting # 2 : cost 0 6.107 * * [simplify]: Extracting # 3 : cost 0 6.107 * * [simplify]: Extracting # 4 : cost 0 6.107 * * [simplify]: iteration 3 : 327 enodes (cost 196 ) 6.431 * * [simplify]: Extracting # 0 : cost 0 6.435 * * [simplify]: Extracting # 1 : cost 0 6.440 * * [simplify]: Extracting # 2 : cost 0 6.442 * * [simplify]: Extracting # 3 : cost 0 6.444 * * [simplify]: Extracting # 4 : cost 0 6.446 * * [simplify]: iteration 4 : 1914 enodes (cost 196 ) 7.379 * * [simplify]: Extracting # 0 : cost 0 7.388 * * [simplify]: Extracting # 1 : cost 0 7.399 * * [simplify]: Extracting # 2 : cost 0 7.409 * * [simplify]: Extracting # 3 : cost 0 7.418 * * [simplify]: Extracting # 4 : cost 0 7.432 * * [simplify]: iteration done: 5002 enodes (cost 196 ) 7.432 * [simplify]: Simplified to: (expm1 (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (log1p (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (log (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (pow (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) 3) (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 7.432 * * * [progress]: adding candidates to table 7.464 * * [progress]: iteration 2 / 4 7.464 * * * [progress]: picking best candidate 7.466 * * * * [pick]: Picked # 7.466 * * * [progress]: localizing error 7.470 * * * [progress]: generating rewritten candidates 7.470 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.485 * * * [progress]: generating series expansions 7.485 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.485 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.485 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 7.485 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 7.485 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.485 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.485 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.485 * [taylor]: Taking taylor expansion of t in t 7.485 * [backup-simplify]: Simplify 0 into 0 7.485 * [backup-simplify]: Simplify 1 into 1 7.485 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 7.485 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.485 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.485 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.485 * [taylor]: Taking taylor expansion of t in t 7.485 * [backup-simplify]: Simplify 0 into 0 7.485 * [backup-simplify]: Simplify 1 into 1 7.486 * [backup-simplify]: Simplify (* 1 1) into 1 7.486 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.486 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.487 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 7.487 * [backup-simplify]: Simplify 0 into 0 7.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.488 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 7.488 * [backup-simplify]: Simplify 0 into 0 7.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.489 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.489 * [backup-simplify]: Simplify 0 into 0 7.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.490 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.490 * [backup-simplify]: Simplify 0 into 0 7.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.492 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.492 * [backup-simplify]: Simplify 0 into 0 7.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.494 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.494 * [backup-simplify]: Simplify 0 into 0 7.494 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.495 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2)) 7.495 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 7.495 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.495 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.495 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.495 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.495 * [taylor]: Taking taylor expansion of t in t 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 1 into 1 7.495 * [backup-simplify]: Simplify (* 1 1) into 1 7.496 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.496 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.496 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.496 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.496 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.496 * [taylor]: Taking taylor expansion of t in t 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify 1 into 1 7.496 * [backup-simplify]: Simplify (* 1 1) into 1 7.497 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.497 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.498 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 7.498 * [backup-simplify]: Simplify 0 into 0 7.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.500 * [backup-simplify]: Simplify 0 into 0 7.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.502 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.502 * [backup-simplify]: Simplify 0 into 0 7.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.504 * [backup-simplify]: Simplify 0 into 0 7.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.507 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.509 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.513 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2)) 7.513 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 7.513 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.514 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.514 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.514 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.514 * [taylor]: Taking taylor expansion of t in t 7.514 * [backup-simplify]: Simplify 0 into 0 7.514 * [backup-simplify]: Simplify 1 into 1 7.514 * [backup-simplify]: Simplify (* 1 1) into 1 7.515 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.515 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 7.515 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 7.515 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.515 * [taylor]: Taking taylor expansion of (pow t 2) in t 7.515 * [taylor]: Taking taylor expansion of t in t 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify 1 into 1 7.515 * [backup-simplify]: Simplify (* 1 1) into 1 7.516 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 7.516 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 7.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 7.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 7.517 * [backup-simplify]: Simplify 0 into 0 7.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 7.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.519 * [backup-simplify]: Simplify 0 into 0 7.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.522 * [backup-simplify]: Simplify 0 into 0 7.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.523 * [backup-simplify]: Simplify 0 into 0 7.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.525 * [backup-simplify]: Simplify 0 into 0 7.526 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 7.526 * * * [progress]: simplifying candidates 7.527 * [simplify]: Simplifying: (expm1 (* 3.9999999999999997e-32 (pow t 2))) (log1p (* 3.9999999999999997e-32 (pow t 2))) (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (* (log t) 2)) (+ (log 3.9999999999999997e-32) (log (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 2) (pow t 2)) (pow t 2))) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (* (* (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 2)) (* 3.9999999999999997e-32 (pow (sqrt t) 2)) (* 3.9999999999999997e-32 (pow 1 2)) (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* 3.9999999999999997e-32 (sqrt (pow t 2))) (* 3.9999999999999997e-32 1) (* 3.9999999999999997e-32 (pow t (/ 2 2))) (* (cbrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 7.528 * * [simplify]: Extracting # 0 : cost 0 7.528 * * [simplify]: Extracting # 1 : cost 0 7.528 * * [simplify]: Extracting # 2 : cost 0 7.528 * * [simplify]: Extracting # 3 : cost 0 7.528 * * [simplify]: Extracting # 4 : cost 0 7.528 * * [simplify]: Extracting # 5 : cost 0 7.528 * * [simplify]: Extracting # 6 : cost 0 7.529 * * [simplify]: iteration 0 : 53 enodes (cost 244 ) 7.546 * * [simplify]: Extracting # 0 : cost 0 7.546 * * [simplify]: Extracting # 1 : cost 0 7.546 * * [simplify]: Extracting # 2 : cost 0 7.546 * * [simplify]: Extracting # 3 : cost 0 7.547 * * [simplify]: Extracting # 4 : cost 0 7.547 * * [simplify]: iteration 1 : 109 enodes (cost 221 ) 7.575 * * [simplify]: Extracting # 0 : cost 0 7.576 * * [simplify]: Extracting # 1 : cost 0 7.576 * * [simplify]: Extracting # 2 : cost 0 7.576 * * [simplify]: Extracting # 3 : cost 0 7.576 * * [simplify]: Extracting # 4 : cost 0 7.576 * * [simplify]: iteration 2 : 237 enodes (cost 188 ) 7.718 * * [simplify]: Extracting # 0 : cost 0 7.719 * * [simplify]: Extracting # 1 : cost 0 7.720 * * [simplify]: Extracting # 2 : cost 0 7.722 * * [simplify]: Extracting # 3 : cost 0 7.723 * * [simplify]: Extracting # 4 : cost 0 7.724 * * [simplify]: iteration 3 : 672 enodes (cost 188 ) 9.168 * * [simplify]: Extracting # 0 : cost 0 9.177 * * [simplify]: Extracting # 1 : cost 0 9.184 * * [simplify]: Extracting # 2 : cost 0 9.191 * * [simplify]: Extracting # 3 : cost 0 9.197 * * [simplify]: Extracting # 4 : cost 0 9.203 * * [simplify]: iteration 4 : 3356 enodes (cost 185 ) 11.567 * * [simplify]: Extracting # 0 : cost 0 11.577 * * [simplify]: Extracting # 1 : cost 0 11.587 * * [simplify]: Extracting # 2 : cost 0 11.597 * * [simplify]: Extracting # 3 : cost 0 11.607 * * [simplify]: iteration done: 5001 enodes (cost 185 ) 11.607 * [simplify]: Simplified to: (expm1 (* 3.9999999999999997e-32 (pow t 2))) (log1p (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (sqrt (* 3.9999999999999997e-32 (pow t 2))) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (* (cbrt t) 3.9999999999999997e-32) t) (* t 3.9999999999999997e-32) 3.9999999999999997e-32 (* t 3.9999999999999997e-32) (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* (fabs t) 3.9999999999999997e-32) 3.9999999999999997e-32 (* t 3.9999999999999997e-32) (* (cbrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 11.608 * * * [progress]: adding candidates to table 11.697 * * [progress]: iteration 3 / 4 11.697 * * * [progress]: picking best candidate 11.712 * * * * [pick]: Picked # 11.712 * * * [progress]: localizing error 11.725 * * * [progress]: generating rewritten candidates 11.725 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.790 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 11.824 * * * [progress]: generating series expansions 11.825 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.826 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 11.826 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0 11.826 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 11.826 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.826 * [taylor]: Taking taylor expansion of t in t 11.826 * [backup-simplify]: Simplify 0 into 0 11.826 * [backup-simplify]: Simplify 1 into 1 11.826 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.827 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.827 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.827 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.827 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.828 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.828 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 11.828 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.828 * [taylor]: Taking taylor expansion of t in t 11.828 * [backup-simplify]: Simplify 0 into 0 11.828 * [backup-simplify]: Simplify 1 into 1 11.828 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.828 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.828 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.828 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.829 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.829 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.830 * [backup-simplify]: Simplify (* 1 1) into 1 11.831 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.833 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.833 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 11.834 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.835 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0 11.836 * [backup-simplify]: Simplify 0 into 0 11.837 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.838 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0 11.840 * [backup-simplify]: Simplify 0 into 0 11.841 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.843 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0 11.845 * [backup-simplify]: Simplify 0 into 0 11.847 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.848 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0 11.851 * [backup-simplify]: Simplify 0 into 0 11.852 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.854 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0 11.857 * [backup-simplify]: Simplify 0 into 0 11.858 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.860 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 11.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0 11.863 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 11.865 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) 11.865 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 11.865 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.865 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.865 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.865 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.865 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.866 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.866 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.866 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.866 * [taylor]: Taking taylor expansion of t in t 11.867 * [backup-simplify]: Simplify 0 into 0 11.867 * [backup-simplify]: Simplify 1 into 1 11.868 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.868 * [backup-simplify]: Simplify (* 1 1) into 1 11.869 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.870 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.870 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.870 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.870 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.870 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.870 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.871 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.871 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.871 * [taylor]: Taking taylor expansion of t in t 11.871 * [backup-simplify]: Simplify 0 into 0 11.871 * [backup-simplify]: Simplify 1 into 1 11.872 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.873 * [backup-simplify]: Simplify (* 1 1) into 1 11.874 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.875 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 11.876 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.877 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0 11.878 * [backup-simplify]: Simplify 0 into 0 11.879 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.880 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.883 * [backup-simplify]: Simplify 0 into 0 11.884 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.885 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.888 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.890 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.893 * [backup-simplify]: Simplify 0 into 0 11.895 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.896 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.899 * [backup-simplify]: Simplify 0 into 0 11.900 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.902 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 11.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.905 * [backup-simplify]: Simplify 0 into 0 11.906 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 11.907 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) 11.907 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 11.907 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.907 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.907 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.907 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.907 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.907 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.908 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.908 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.908 * [taylor]: Taking taylor expansion of t in t 11.908 * [backup-simplify]: Simplify 0 into 0 11.908 * [backup-simplify]: Simplify 1 into 1 11.909 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.910 * [backup-simplify]: Simplify (* 1 1) into 1 11.911 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.911 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.911 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.912 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.912 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.912 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.912 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.913 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.913 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.913 * [taylor]: Taking taylor expansion of t in t 11.913 * [backup-simplify]: Simplify 0 into 0 11.913 * [backup-simplify]: Simplify 1 into 1 11.914 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.914 * [backup-simplify]: Simplify (* 1 1) into 1 11.916 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.917 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 11.918 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.918 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0 11.924 * [backup-simplify]: Simplify 0 into 0 11.925 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.927 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.929 * [backup-simplify]: Simplify 0 into 0 11.930 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.931 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.934 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.934 * [backup-simplify]: Simplify 0 into 0 11.935 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.936 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.939 * [backup-simplify]: Simplify 0 into 0 11.940 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.941 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.944 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.947 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 11.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.950 * [backup-simplify]: Simplify 0 into 0 11.951 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 11.951 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 11.952 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 11.952 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0 11.952 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t 11.952 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.952 * [taylor]: Taking taylor expansion of t in t 11.952 * [backup-simplify]: Simplify 0 into 0 11.952 * [backup-simplify]: Simplify 1 into 1 11.952 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.952 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.952 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.952 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.953 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.953 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t 11.953 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.953 * [taylor]: Taking taylor expansion of t in t 11.953 * [backup-simplify]: Simplify 0 into 0 11.953 * [backup-simplify]: Simplify 1 into 1 11.953 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.953 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.953 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.954 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.954 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.955 * [backup-simplify]: Simplify (* 1 1) into 1 11.955 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32) 11.956 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.956 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.957 * [backup-simplify]: Simplify 0 into 0 11.958 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.960 * [backup-simplify]: Simplify 0 into 0 11.961 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.963 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.963 * [backup-simplify]: Simplify 0 into 0 11.965 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.967 * [backup-simplify]: Simplify 0 into 0 11.968 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.971 * [backup-simplify]: Simplify 0 into 0 11.972 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 11.975 * [backup-simplify]: Simplify 0 into 0 11.976 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 11.977 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2)) 11.977 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0 11.977 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 11.977 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.977 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.977 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.977 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.978 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.978 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.978 * [taylor]: Taking taylor expansion of t in t 11.978 * [backup-simplify]: Simplify 0 into 0 11.978 * [backup-simplify]: Simplify 1 into 1 11.978 * [backup-simplify]: Simplify (* 1 1) into 1 11.979 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 11.979 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 11.979 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.979 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.979 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.980 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.980 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.980 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.980 * [taylor]: Taking taylor expansion of t in t 11.980 * [backup-simplify]: Simplify 0 into 0 11.980 * [backup-simplify]: Simplify 1 into 1 11.981 * [backup-simplify]: Simplify (* 1 1) into 1 11.982 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 11.982 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.983 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.984 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 11.984 * [backup-simplify]: Simplify 0 into 0 11.985 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.987 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.987 * [backup-simplify]: Simplify 0 into 0 11.988 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.990 * [backup-simplify]: Simplify 0 into 0 11.992 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.994 * [backup-simplify]: Simplify 0 into 0 11.995 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.998 * [backup-simplify]: Simplify 0 into 0 11.999 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.002 * [backup-simplify]: Simplify 0 into 0 12.003 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 12.003 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2)) 12.003 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0 12.003 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 12.003 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 12.003 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.003 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.004 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 12.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.004 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.004 * [taylor]: Taking taylor expansion of t in t 12.005 * [backup-simplify]: Simplify 0 into 0 12.005 * [backup-simplify]: Simplify 1 into 1 12.005 * [backup-simplify]: Simplify (* 1 1) into 1 12.006 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 12.006 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 12.006 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 12.006 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 12.006 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 12.006 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 12.007 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.007 * [taylor]: Taking taylor expansion of (pow t 2) in t 12.007 * [taylor]: Taking taylor expansion of t in t 12.007 * [backup-simplify]: Simplify 0 into 0 12.007 * [backup-simplify]: Simplify 1 into 1 12.007 * [backup-simplify]: Simplify (* 1 1) into 1 12.008 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 12.009 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 12.009 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.010 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 12.010 * [backup-simplify]: Simplify 0 into 0 12.011 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.013 * [backup-simplify]: Simplify 0 into 0 12.014 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.016 * [backup-simplify]: Simplify 0 into 0 12.018 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.020 * [backup-simplify]: Simplify 0 into 0 12.022 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.024 * [backup-simplify]: Simplify 0 into 0 12.025 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 12.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.028 * [backup-simplify]: Simplify 0 into 0 12.028 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 12.028 * * * [progress]: simplifying candidates 12.030 * [simplify]: Simplifying: (expm1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (log1p (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2)))) (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2)))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2))) (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2))) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (exp (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2))) (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2))) (* (sqrt 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) 2)) (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2)) (* (sqrt 3.9999999999999997e-32) (pow 1 2)) (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2))) (* (sqrt 3.9999999999999997e-32) 1) (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2))) (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) 12.032 * * [simplify]: Extracting # 0 : cost 0 12.033 * * [simplify]: Extracting # 1 : cost 0 12.033 * * [simplify]: Extracting # 2 : cost 0 12.033 * * [simplify]: Extracting # 3 : cost 0 12.033 * * [simplify]: Extracting # 4 : cost 0 12.033 * * [simplify]: Extracting # 5 : cost 0 12.034 * * [simplify]: Extracting # 6 : cost 0 12.034 * * [simplify]: iteration 0 : 78 enodes (cost 685 ) 12.073 * * [simplify]: Extracting # 0 : cost 0 12.073 * * [simplify]: Extracting # 1 : cost 0 12.074 * * [simplify]: Extracting # 2 : cost 0 12.074 * * [simplify]: Extracting # 3 : cost 0 12.074 * * [simplify]: Extracting # 4 : cost 0 12.075 * * [simplify]: iteration 1 : 170 enodes (cost 526 ) 12.207 * * [simplify]: Extracting # 0 : cost 0 12.208 * * [simplify]: Extracting # 1 : cost 0 12.208 * * [simplify]: Extracting # 2 : cost 0 12.209 * * [simplify]: Extracting # 3 : cost 0 12.209 * * [simplify]: Extracting # 4 : cost 0 12.210 * * [simplify]: iteration 2 : 515 enodes (cost 457 ) 13.058 * * [simplify]: Extracting # 0 : cost 0 13.060 * * [simplify]: Extracting # 1 : cost 0 13.062 * * [simplify]: Extracting # 2 : cost 0 13.063 * * [simplify]: Extracting # 3 : cost 0 13.065 * * [simplify]: Extracting # 4 : cost 0 13.066 * * [simplify]: iteration 3 : 1843 enodes (cost 457 ) 14.976 * * [simplify]: Extracting # 0 : cost 0 14.985 * * [simplify]: Extracting # 1 : cost 0 14.990 * * [simplify]: Extracting # 2 : cost 0 14.995 * * [simplify]: Extracting # 3 : cost 0 15.000 * * [simplify]: Extracting # 4 : cost 0 15.005 * * [simplify]: iteration done: 5000 enodes (cost 448 ) 15.006 * [simplify]: Simplified to: (expm1 (* 3.9999999999999997e-32 (pow t 2))) (log1p (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2)) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (log (* 3.9999999999999997e-32 (pow t 2))) (exp (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2)))) (cbrt (* 3.9999999999999997e-32 (pow t 2))) (pow (* 3.9999999999999997e-32 (pow t 2)) 3) (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))) 3.9999999999999997e-32 (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (pow (sqrt (sqrt 3.9999999999999997e-32)) 3) (* t t)) (* 3.9999999999999997e-32 (pow t 2)) (* (pow (sqrt (sqrt 3.9999999999999997e-32)) 3) (* t t)) (* 3.9999999999999997e-32 (pow t 2)) (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2))) (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))) (exp (* (sqrt 3.9999999999999997e-32) (pow t 2))) (pow (* (pow t 2) (sqrt 3.9999999999999997e-32)) 3) (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (pow (* (pow t 2) (sqrt 3.9999999999999997e-32)) 3) (fabs (* t (sqrt (sqrt 3.9999999999999997e-32)))) (fabs (* t (sqrt (sqrt 3.9999999999999997e-32)))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* (* t (sqrt 3.9999999999999997e-32)) (cbrt t)) (* t (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32) (* t (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (* (fabs t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32) (* t (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) (* t t)) (* (* t t) (sqrt (cbrt 3.9999999999999997e-32))) (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) (* (pow t 2) (sqrt 3.9999999999999997e-32)) 15.006 * * * [progress]: adding candidates to table 15.176 * * [progress]: iteration 4 / 4 15.177 * * * [progress]: picking best candidate 15.186 * * * * [pick]: Picked # 15.186 * * * [progress]: localizing error 15.191 * * * [progress]: generating rewritten candidates 15.191 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 15.199 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 15.223 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 15.240 * * * [progress]: generating series expansions 15.240 * * * * [progress]: [ 1 / 3 ] generating series at (2) 15.241 * [backup-simplify]: Simplify (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) into (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 15.241 * [approximate]: Taking taylor expansion of (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) in (t) around 0 15.241 * [taylor]: Taking taylor expansion of (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) in t 15.241 * [taylor]: Taking taylor expansion of (fabs (* t (sqrt 3.9999999999999997e-32))) in t 15.241 * [backup-simplify]: Simplify (fabs (* t (sqrt 3.9999999999999997e-32))) into (fabs (* t (sqrt 3.9999999999999997e-32))) 15.241 * [taylor]: Taking taylor expansion of (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) in t 15.241 * [taylor]: Taking taylor expansion of (fabs (* t (sqrt 3.9999999999999997e-32))) in t 15.241 * [backup-simplify]: Simplify (fabs (* t (sqrt 3.9999999999999997e-32))) into (fabs (* t (sqrt 3.9999999999999997e-32))) 15.242 * [backup-simplify]: Simplify (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) into (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 15.242 * [backup-simplify]: Simplify (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) into (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 15.243 * [backup-simplify]: Simplify (+ (* (fabs (* t (sqrt 3.9999999999999997e-32))) 0) (* 0 (fabs (* t (sqrt 3.9999999999999997e-32))))) into 0 15.243 * [backup-simplify]: Simplify 0 into 0 15.244 * [backup-simplify]: Simplify (+ (* (fabs (* t (sqrt 3.9999999999999997e-32))) 0) (+ (* 0 0) (* 0 (fabs (* t (sqrt 3.9999999999999997e-32)))))) into 0 15.244 * [backup-simplify]: Simplify 0 into 0 15.245 * [backup-simplify]: Simplify (+ (* (fabs (* t (sqrt 3.9999999999999997e-32))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* t (sqrt 3.9999999999999997e-32))))))) into 0 15.245 * [backup-simplify]: Simplify 0 into 0 15.246 * [backup-simplify]: Simplify (+ (* (fabs (* t (sqrt 3.9999999999999997e-32))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* t (sqrt 3.9999999999999997e-32)))))))) into 0 15.246 * [backup-simplify]: Simplify 0 into 0 15.247 * [backup-simplify]: Simplify (+ (* (fabs (* t (sqrt 3.9999999999999997e-32))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* t (sqrt 3.9999999999999997e-32))))))))) into 0 15.248 * [backup-simplify]: Simplify 0 into 0 15.249 * [backup-simplify]: Simplify (+ (* (fabs (* t (sqrt 3.9999999999999997e-32))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* t (sqrt 3.9999999999999997e-32)))))))))) into 0 15.249 * [backup-simplify]: Simplify 0 into 0 15.250 * [backup-simplify]: Simplify (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) into (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 15.250 * [backup-simplify]: Simplify (* (fabs (* (/ 1 t) (sqrt 3.9999999999999997e-32))) (fabs (* (/ 1 t) (sqrt 3.9999999999999997e-32)))) into (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) 15.250 * [approximate]: Taking taylor expansion of (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) in (t) around 0 15.250 * [taylor]: Taking taylor expansion of (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) in t 15.250 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3.9999999999999997e-32) t)) in t 15.251 * [backup-simplify]: Simplify (fabs (/ (sqrt 3.9999999999999997e-32) t)) into (fabs (/ (sqrt 3.9999999999999997e-32) t)) 15.251 * [taylor]: Taking taylor expansion of (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) in t 15.251 * [taylor]: Taking taylor expansion of (fabs (/ (sqrt 3.9999999999999997e-32) t)) in t 15.251 * [backup-simplify]: Simplify (fabs (/ (sqrt 3.9999999999999997e-32) t)) into (fabs (/ (sqrt 3.9999999999999997e-32) t)) 15.252 * [backup-simplify]: Simplify (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) (fabs (/ (sqrt 3.9999999999999997e-32) t))) into (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) 15.252 * [backup-simplify]: Simplify (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) into (pow (fabs (/ (sqrt 3.9999999999999997e-32) t)) 2) 15.253 * [backup-simplify]: Simplify (+ (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) 0) (* 0 (fabs (/ (sqrt 3.9999999999999997e-32) t)))) into 0 15.253 * [backup-simplify]: Simplify 0 into 0 15.254 * [backup-simplify]: Simplify (+ (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) 0) (+ (* 0 0) (* 0 (fabs (/ (sqrt 3.9999999999999997e-32) t))))) into 0 15.254 * [backup-simplify]: Simplify 0 into 0 15.255 * [backup-simplify]: Simplify (+ (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ (sqrt 3.9999999999999997e-32) t)))))) into 0 15.255 * [backup-simplify]: Simplify 0 into 0 15.256 * [backup-simplify]: Simplify (+ (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ (sqrt 3.9999999999999997e-32) t))))))) into 0 15.256 * [backup-simplify]: Simplify 0 into 0 15.257 * [backup-simplify]: Simplify (+ (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ (sqrt 3.9999999999999997e-32) t)))))))) into 0 15.257 * [backup-simplify]: Simplify 0 into 0 15.259 * [backup-simplify]: Simplify (+ (* (fabs (/ (sqrt 3.9999999999999997e-32) t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ (sqrt 3.9999999999999997e-32) t))))))))) into 0 15.259 * [backup-simplify]: Simplify 0 into 0 15.259 * [backup-simplify]: Simplify (pow (fabs (/ (sqrt 3.9999999999999997e-32) (/ 1 t))) 2) into (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 15.260 * [backup-simplify]: Simplify (* (fabs (* (/ 1 (- t)) (sqrt 3.9999999999999997e-32))) (fabs (* (/ 1 (- t)) (sqrt 3.9999999999999997e-32)))) into (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) 15.260 * [approximate]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) in (t) around 0 15.260 * [taylor]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) in t 15.260 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) in t 15.260 * [backup-simplify]: Simplify (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) into (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 15.260 * [taylor]: Taking taylor expansion of (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) in t 15.261 * [taylor]: Taking taylor expansion of (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) in t 15.261 * [backup-simplify]: Simplify (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) into (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 15.262 * [backup-simplify]: Simplify (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t)))) into (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) 15.263 * [backup-simplify]: Simplify (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) into (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 2) 15.264 * [backup-simplify]: Simplify (+ (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 0) (* 0 (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))))) into 0 15.264 * [backup-simplify]: Simplify 0 into 0 15.265 * [backup-simplify]: Simplify (+ (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 0) (+ (* 0 0) (* 0 (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t)))))) into 0 15.265 * [backup-simplify]: Simplify 0 into 0 15.267 * [backup-simplify]: Simplify (+ (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))))))) into 0 15.267 * [backup-simplify]: Simplify 0 into 0 15.269 * [backup-simplify]: Simplify (+ (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t)))))))) into 0 15.269 * [backup-simplify]: Simplify 0 into 0 15.271 * [backup-simplify]: Simplify (+ (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))))))))) into 0 15.271 * [backup-simplify]: Simplify 0 into 0 15.274 * [backup-simplify]: Simplify (+ (* (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) t)))))))))) into 0 15.274 * [backup-simplify]: Simplify 0 into 0 15.275 * [backup-simplify]: Simplify (pow (fabs (* -1 (/ (sqrt 3.9999999999999997e-32) (/ 1 (- t))))) 2) into (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 15.275 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 15.275 * [backup-simplify]: Simplify (* t (sqrt 3.9999999999999997e-32)) into (* t (sqrt 3.9999999999999997e-32)) 15.275 * [approximate]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in (t) around 0 15.275 * [taylor]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in t 15.275 * [taylor]: Taking taylor expansion of t in t 15.275 * [backup-simplify]: Simplify 0 into 0 15.275 * [backup-simplify]: Simplify 1 into 1 15.275 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.275 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.276 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.276 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.276 * [taylor]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in t 15.277 * [taylor]: Taking taylor expansion of t in t 15.277 * [backup-simplify]: Simplify 0 into 0 15.277 * [backup-simplify]: Simplify 1 into 1 15.277 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.277 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.277 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.277 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.278 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.278 * [backup-simplify]: Simplify (* 0 (sqrt 3.9999999999999997e-32)) into 0 15.278 * [backup-simplify]: Simplify 0 into 0 15.280 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.9999999999999997e-32))) into (sqrt 3.9999999999999997e-32) 15.280 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.281 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.283 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.283 * [backup-simplify]: Simplify 0 into 0 15.284 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.285 * [backup-simplify]: Simplify 0 into 0 15.286 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.288 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.288 * [backup-simplify]: Simplify 0 into 0 15.289 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.291 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.291 * [backup-simplify]: Simplify 0 into 0 15.292 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.294 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.294 * [backup-simplify]: Simplify 0 into 0 15.295 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.297 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))))) into 0 15.297 * [backup-simplify]: Simplify 0 into 0 15.297 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) t) into (* t (sqrt 3.9999999999999997e-32)) 15.298 * [backup-simplify]: Simplify (* (/ 1 t) (sqrt 3.9999999999999997e-32)) into (/ (sqrt 3.9999999999999997e-32) t) 15.298 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in (t) around 0 15.298 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.298 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.298 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.298 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.298 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.298 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.299 * [taylor]: Taking taylor expansion of t in t 15.299 * [backup-simplify]: Simplify 0 into 0 15.299 * [backup-simplify]: Simplify 1 into 1 15.299 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.299 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.299 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.299 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.299 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.299 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.300 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.300 * [taylor]: Taking taylor expansion of t in t 15.300 * [backup-simplify]: Simplify 0 into 0 15.300 * [backup-simplify]: Simplify 1 into 1 15.300 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.301 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 15.301 * [backup-simplify]: Simplify 0 into 0 15.302 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.303 * [backup-simplify]: Simplify 0 into 0 15.303 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.304 * [backup-simplify]: Simplify 0 into 0 15.305 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.305 * [backup-simplify]: Simplify 0 into 0 15.306 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.307 * [backup-simplify]: Simplify 0 into 0 15.307 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.308 * [backup-simplify]: Simplify 0 into 0 15.308 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (/ 1 (/ 1 t))) into (* t (sqrt 3.9999999999999997e-32)) 15.309 * [backup-simplify]: Simplify (* (/ 1 (- t)) (sqrt 3.9999999999999997e-32)) into (* -1 (/ (sqrt 3.9999999999999997e-32) t)) 15.309 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3.9999999999999997e-32) t)) in (t) around 0 15.309 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.9999999999999997e-32) t)) in t 15.309 * [taylor]: Taking taylor expansion of -1 in t 15.309 * [backup-simplify]: Simplify -1 into -1 15.309 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.309 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.309 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.309 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.309 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.310 * [taylor]: Taking taylor expansion of t in t 15.310 * [backup-simplify]: Simplify 0 into 0 15.310 * [backup-simplify]: Simplify 1 into 1 15.310 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.310 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.9999999999999997e-32) t)) in t 15.310 * [taylor]: Taking taylor expansion of -1 in t 15.310 * [backup-simplify]: Simplify -1 into -1 15.310 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.310 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.310 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.310 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.311 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.311 * [taylor]: Taking taylor expansion of t in t 15.311 * [backup-simplify]: Simplify 0 into 0 15.311 * [backup-simplify]: Simplify 1 into 1 15.312 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.312 * [backup-simplify]: Simplify (* -1 (sqrt 3.9999999999999997e-32)) into (* -1 (sqrt 3.9999999999999997e-32)) 15.313 * [backup-simplify]: Simplify (* -1 (sqrt 3.9999999999999997e-32)) into (* -1 (sqrt 3.9999999999999997e-32)) 15.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 15.314 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.314 * [backup-simplify]: Simplify 0 into 0 15.314 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.316 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.316 * [backup-simplify]: Simplify 0 into 0 15.316 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.319 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.319 * [backup-simplify]: Simplify 0 into 0 15.320 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.327 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.328 * [backup-simplify]: Simplify 0 into 0 15.329 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.330 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.330 * [backup-simplify]: Simplify 0 into 0 15.331 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.333 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.333 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify (* (* -1 (sqrt 3.9999999999999997e-32)) (/ 1 (/ 1 (- t)))) into (* t (sqrt 3.9999999999999997e-32)) 15.334 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 15.334 * [backup-simplify]: Simplify (* t (sqrt 3.9999999999999997e-32)) into (* t (sqrt 3.9999999999999997e-32)) 15.334 * [approximate]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in (t) around 0 15.334 * [taylor]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in t 15.334 * [taylor]: Taking taylor expansion of t in t 15.334 * [backup-simplify]: Simplify 0 into 0 15.334 * [backup-simplify]: Simplify 1 into 1 15.334 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.334 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.334 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.335 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.335 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.335 * [taylor]: Taking taylor expansion of (* t (sqrt 3.9999999999999997e-32)) in t 15.335 * [taylor]: Taking taylor expansion of t in t 15.335 * [backup-simplify]: Simplify 0 into 0 15.335 * [backup-simplify]: Simplify 1 into 1 15.335 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.335 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.335 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.336 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.336 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.337 * [backup-simplify]: Simplify (* 0 (sqrt 3.9999999999999997e-32)) into 0 15.337 * [backup-simplify]: Simplify 0 into 0 15.338 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.9999999999999997e-32))) into (sqrt 3.9999999999999997e-32) 15.338 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.339 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.339 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.339 * [backup-simplify]: Simplify 0 into 0 15.340 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.341 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.341 * [backup-simplify]: Simplify 0 into 0 15.341 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.342 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.342 * [backup-simplify]: Simplify 0 into 0 15.343 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.344 * [backup-simplify]: Simplify 0 into 0 15.344 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.345 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.345 * [backup-simplify]: Simplify 0 into 0 15.346 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.347 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))))) into 0 15.347 * [backup-simplify]: Simplify 0 into 0 15.348 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) t) into (* t (sqrt 3.9999999999999997e-32)) 15.348 * [backup-simplify]: Simplify (* (/ 1 t) (sqrt 3.9999999999999997e-32)) into (/ (sqrt 3.9999999999999997e-32) t) 15.348 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in (t) around 0 15.348 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.348 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.348 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.348 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.348 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.349 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.349 * [taylor]: Taking taylor expansion of t in t 15.349 * [backup-simplify]: Simplify 0 into 0 15.349 * [backup-simplify]: Simplify 1 into 1 15.349 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.349 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.349 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.349 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.349 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.350 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.350 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.350 * [taylor]: Taking taylor expansion of t in t 15.350 * [backup-simplify]: Simplify 0 into 0 15.350 * [backup-simplify]: Simplify 1 into 1 15.351 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.351 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 15.351 * [backup-simplify]: Simplify 0 into 0 15.352 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.353 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.353 * [backup-simplify]: Simplify 0 into 0 15.353 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.354 * [backup-simplify]: Simplify 0 into 0 15.355 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.355 * [backup-simplify]: Simplify 0 into 0 15.356 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.357 * [backup-simplify]: Simplify 0 into 0 15.359 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.360 * [backup-simplify]: Simplify 0 into 0 15.360 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (/ 1 (/ 1 t))) into (* t (sqrt 3.9999999999999997e-32)) 15.361 * [backup-simplify]: Simplify (* (/ 1 (- t)) (sqrt 3.9999999999999997e-32)) into (* -1 (/ (sqrt 3.9999999999999997e-32) t)) 15.361 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 3.9999999999999997e-32) t)) in (t) around 0 15.361 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.9999999999999997e-32) t)) in t 15.361 * [taylor]: Taking taylor expansion of -1 in t 15.361 * [backup-simplify]: Simplify -1 into -1 15.361 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.361 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.361 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.361 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.361 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.362 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.362 * [taylor]: Taking taylor expansion of t in t 15.362 * [backup-simplify]: Simplify 0 into 0 15.362 * [backup-simplify]: Simplify 1 into 1 15.363 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.363 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 3.9999999999999997e-32) t)) in t 15.363 * [taylor]: Taking taylor expansion of -1 in t 15.363 * [backup-simplify]: Simplify -1 into -1 15.363 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) t) in t 15.363 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 15.363 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 15.363 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 15.364 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 15.364 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.364 * [taylor]: Taking taylor expansion of t in t 15.364 * [backup-simplify]: Simplify 0 into 0 15.365 * [backup-simplify]: Simplify 1 into 1 15.365 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 15.366 * [backup-simplify]: Simplify (* -1 (sqrt 3.9999999999999997e-32)) into (* -1 (sqrt 3.9999999999999997e-32)) 15.367 * [backup-simplify]: Simplify (* -1 (sqrt 3.9999999999999997e-32)) into (* -1 (sqrt 3.9999999999999997e-32)) 15.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 15.369 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 15.369 * [backup-simplify]: Simplify 0 into 0 15.370 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.372 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 15.372 * [backup-simplify]: Simplify 0 into 0 15.373 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.376 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 15.376 * [backup-simplify]: Simplify 0 into 0 15.377 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.379 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 15.379 * [backup-simplify]: Simplify 0 into 0 15.381 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.383 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 15.384 * [backup-simplify]: Simplify 0 into 0 15.385 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 15.385 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.386 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 15.386 * [backup-simplify]: Simplify 0 into 0 15.387 * [backup-simplify]: Simplify (* (* -1 (sqrt 3.9999999999999997e-32)) (/ 1 (/ 1 (- t)))) into (* t (sqrt 3.9999999999999997e-32)) 15.387 * * * [progress]: simplifying candidates 15.388 * [simplify]: Simplifying: (expm1 (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (log1p (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (+ 1 1) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (+ 1 1) (+ (log (fabs (* t (sqrt 3.9999999999999997e-32)))) (log (fabs (* t (sqrt 3.9999999999999997e-32))))) (log (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (exp (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (* (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (* (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (cbrt (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (cbrt (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))))) (cbrt (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (* (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (sqrt (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (sqrt (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (* (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (cbrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))))) (* (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (cbrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (sqrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (sqrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (sqrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (sqrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* 1 1) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (* (sqrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (sqrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (sqrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (sqrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* 2 1) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (* (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))))) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (sqrt (fabs (* t (sqrt 3.9999999999999997e-32))))) (* (fabs (* t (sqrt 3.9999999999999997e-32))) 1) (* (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (* (sqrt (fabs (* t (sqrt 3.9999999999999997e-32)))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (* (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32)))) (expm1 (* t (sqrt 3.9999999999999997e-32))) (log1p (* t (sqrt 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32)) (+ (log t) (log (sqrt 3.9999999999999997e-32))) (log (* t (sqrt 3.9999999999999997e-32))) (exp (* t (sqrt 3.9999999999999997e-32))) (* (* (* t t) t) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (cbrt (* t (sqrt 3.9999999999999997e-32))) (cbrt (* t (sqrt 3.9999999999999997e-32)))) (cbrt (* t (sqrt 3.9999999999999997e-32))) (* (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32))) (sqrt (* t (sqrt 3.9999999999999997e-32))) (sqrt (* t (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* t (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt 1)) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t 1) (* (cbrt t) (sqrt 3.9999999999999997e-32)) (* (sqrt t) (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (expm1 (* t (sqrt 3.9999999999999997e-32))) (log1p (* t (sqrt 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32)) (+ (log t) (log (sqrt 3.9999999999999997e-32))) (log (* t (sqrt 3.9999999999999997e-32))) (exp (* t (sqrt 3.9999999999999997e-32))) (* (* (* t t) t) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (cbrt (* t (sqrt 3.9999999999999997e-32))) (cbrt (* t (sqrt 3.9999999999999997e-32)))) (cbrt (* t (sqrt 3.9999999999999997e-32))) (* (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32))) (sqrt (* t (sqrt 3.9999999999999997e-32))) (sqrt (* t (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* t (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt 1)) (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t 1) (* (cbrt t) (sqrt 3.9999999999999997e-32)) (* (sqrt t) (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) 15.390 * * [simplify]: Extracting # 0 : cost 0 15.390 * * [simplify]: Extracting # 1 : cost 0 15.390 * * [simplify]: Extracting # 2 : cost 0 15.390 * * [simplify]: Extracting # 3 : cost 0 15.390 * * [simplify]: Extracting # 4 : cost 0 15.390 * * [simplify]: Extracting # 5 : cost 0 15.390 * * [simplify]: Extracting # 6 : cost 0 15.390 * * [simplify]: iteration 0 : 69 enodes (cost 748 ) 15.407 * * [simplify]: Extracting # 0 : cost 0 15.407 * * [simplify]: Extracting # 1 : cost 0 15.407 * * [simplify]: Extracting # 2 : cost 0 15.407 * * [simplify]: iteration 1 : 125 enodes (cost 591 ) 15.461 * * [simplify]: Extracting # 0 : cost 0 15.462 * * [simplify]: Extracting # 1 : cost 0 15.462 * * [simplify]: Extracting # 2 : cost 0 15.463 * * [simplify]: Extracting # 3 : cost 0 15.463 * * [simplify]: Extracting # 4 : cost 0 15.464 * * [simplify]: iteration 2 : 269 enodes (cost 527 ) 15.682 * * [simplify]: Extracting # 0 : cost 0 15.687 * * [simplify]: Extracting # 1 : cost 0 15.688 * * [simplify]: Extracting # 2 : cost 0 15.688 * * [simplify]: Extracting # 3 : cost 0 15.689 * * [simplify]: Extracting # 4 : cost 0 15.690 * * [simplify]: iteration 3 : 503 enodes (cost 508 ) 15.982 * * [simplify]: Extracting # 0 : cost 0 15.984 * * [simplify]: Extracting # 1 : cost 0 15.987 * * [simplify]: Extracting # 2 : cost 0 15.989 * * [simplify]: Extracting # 3 : cost 0 15.991 * * [simplify]: Extracting # 4 : cost 0 15.993 * * [simplify]: iteration 4 : 1057 enodes (cost 499 ) 17.341 * * [simplify]: Extracting # 0 : cost 0 17.351 * * [simplify]: Extracting # 1 : cost 0 17.363 * * [simplify]: Extracting # 2 : cost 0 17.374 * * [simplify]: Extracting # 3 : cost 0 17.388 * * [simplify]: Extracting # 4 : cost 0 17.399 * * [simplify]: iteration done: 5000 enodes (cost 494 ) 17.400 * [simplify]: Simplified to: (expm1 (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) (log1p (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) 2 (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) 2 (log (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) (log (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) (exp (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 6) (* (cbrt (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) (cbrt (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2))) (cbrt (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2)) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 6) (fabs (fabs (* t (sqrt 3.9999999999999997e-32)))) (fabs (fabs (* t (sqrt 3.9999999999999997e-32)))) (pow (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) 4) (pow (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) 2) (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))) 1 (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (fabs (* t (sqrt 3.9999999999999997e-32))) (fabs (* t (sqrt 3.9999999999999997e-32))) 2 (pow (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) 5) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 3/2) (fabs (* t (sqrt 3.9999999999999997e-32))) (pow (cbrt (fabs (* t (sqrt 3.9999999999999997e-32)))) 4) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 3/2) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (expm1 (* t (sqrt 3.9999999999999997e-32))) (log1p (* t (sqrt 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32)) (log (* t (sqrt 3.9999999999999997e-32))) (log (* t (sqrt 3.9999999999999997e-32))) (exp (* t (sqrt 3.9999999999999997e-32))) (pow (* t (sqrt 3.9999999999999997e-32)) 3) (* (cbrt (* t (sqrt 3.9999999999999997e-32))) (cbrt (* t (sqrt 3.9999999999999997e-32)))) (cbrt (* t (sqrt 3.9999999999999997e-32))) (pow (* t (sqrt 3.9999999999999997e-32)) 3) (sqrt (* t (sqrt 3.9999999999999997e-32))) (sqrt (* t (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs (cbrt 3.9999999999999997e-32)) t) (* t (sqrt (sqrt 3.9999999999999997e-32))) t (* t (sqrt (sqrt 3.9999999999999997e-32))) t (* (cbrt t) (sqrt 3.9999999999999997e-32)) (* (sqrt t) (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (expm1 (* t (sqrt 3.9999999999999997e-32))) (log1p (* t (sqrt 3.9999999999999997e-32))) (* t (sqrt 3.9999999999999997e-32)) (log (* t (sqrt 3.9999999999999997e-32))) (log (* t (sqrt 3.9999999999999997e-32))) (exp (* t (sqrt 3.9999999999999997e-32))) (pow (* t (sqrt 3.9999999999999997e-32)) 3) (* (cbrt (* t (sqrt 3.9999999999999997e-32))) (cbrt (* t (sqrt 3.9999999999999997e-32)))) (cbrt (* t (sqrt 3.9999999999999997e-32))) (pow (* t (sqrt 3.9999999999999997e-32)) 3) (sqrt (* t (sqrt 3.9999999999999997e-32))) (sqrt (* t (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* (sqrt t) (sqrt (sqrt 3.9999999999999997e-32))) (* t (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs (cbrt 3.9999999999999997e-32)) t) (* t (sqrt (sqrt 3.9999999999999997e-32))) t (* t (sqrt (sqrt 3.9999999999999997e-32))) t (* (cbrt t) (sqrt 3.9999999999999997e-32)) (* (sqrt t) (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (pow (fabs (* t (sqrt 3.9999999999999997e-32))) 2) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) 17.401 * * * [progress]: adding candidates to table 17.598 * [progress]: [Phase 3 of 3] Extracting. 17.598 * * [regime]: Finding splitpoints for: (# # # # # # # #) 17.599 * * * [regime-changes]: Trying 1 branch expressions: (t) 17.599 * * * * [regimes]: Trying to branch on t from (# # # # # # # #) 17.633 * * * [regime]: Found split indices: #