12.193 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.052 * * * [progress]: [2/2] Setting up program. 0.058 * [progress]: [Phase 2 of 3] Improving. 0.058 * [simplify]: Simplifying: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 0.058 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.058 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.058 * * [simplify]: Extracting # 2 : cost 6 inf + 0 0.058 * * [simplify]: Extracting # 3 : cost 8 inf + 1 0.058 * * [simplify]: Extracting # 4 : cost 8 inf + 3 0.059 * * [simplify]: Extracting # 5 : cost 0 inf + 705 0.059 * * [simplify]: iteration 0 : 11 enodes (cost 245 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 inf + 705 0.062 * * [simplify]: Extracting # 1 : cost 7 inf + 705 0.063 * * [simplify]: Extracting # 2 : cost 0 inf + 1526 0.063 * * [simplify]: iteration 1 : 27 enodes (cost 245 ) 0.071 * * [simplify]: Extracting # 0 : cost 0 inf + 1526 0.072 * * [simplify]: Extracting # 1 : cost 19 inf + 1280 0.072 * * [simplify]: Extracting # 2 : cost 0 inf + 3493 0.073 * * [simplify]: iteration 2 : 84 enodes (cost 245 ) 0.105 * * [simplify]: Extracting # 0 : cost 0 inf + 3493 0.106 * * [simplify]: Extracting # 1 : cost 55 inf + 3122 0.109 * * [simplify]: Extracting # 2 : cost 0 inf + 12666 0.112 * * [simplify]: iteration 3 : 269 enodes (cost 245 ) 0.233 * * [simplify]: Extracting # 0 : cost 0 inf + 12666 0.239 * * [simplify]: Extracting # 1 : cost 166 inf + 8303 0.250 * * [simplify]: Extracting # 2 : cost 0 inf + 45131 0.274 * * [simplify]: Extracting # 3 : cost 0 inf + 44451 0.289 * * [simplify]: iteration 4 : 889 enodes (cost 245 ) 1.371 * * [simplify]: Extracting # 0 : cost 0 inf + 44451 1.413 * * [simplify]: Extracting # 1 : cost 589 inf + 13693 1.470 * * [simplify]: Extracting # 2 : cost 0 inf + 154375 1.512 * * [simplify]: Extracting # 3 : cost 0 inf + 151575 1.574 * * [simplify]: Extracting # 4 : cost 0 inf + 150535 1.653 * * [simplify]: iteration 5 : 3829 enodes (cost 245 ) 2.360 * * [simplify]: Extracting # 0 : cost 0 inf + 150535 2.433 * * [simplify]: Extracting # 1 : cost 457 inf + 138973 2.523 * * [simplify]: Extracting # 2 : cost 0 inf + 226243 2.606 * * [simplify]: Extracting # 3 : cost 0 inf + 225923 2.700 * * [simplify]: iteration done: 5001 enodes (cost 245 ) 2.700 * [simplify]: Simplified to: (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) 2.701 * * [progress]: iteration 1 / 4 2.701 * * * [progress]: picking best candidate 2.704 * * * * [pick]: Picked # 2.704 * * * [progress]: localizing error 2.723 * * * [progress]: generating rewritten candidates 2.723 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.765 * * * [progress]: generating series expansions 2.765 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.766 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) into (* 3.9999999999999997e-32 (pow t 2)) 2.766 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 2.766 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 2.766 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 2.766 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.766 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.766 * [taylor]: Taking taylor expansion of t in t 2.766 * [backup-simplify]: Simplify 0 into 0 2.766 * [backup-simplify]: Simplify 1 into 1 2.766 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 2.766 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 2.766 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.766 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.766 * [taylor]: Taking taylor expansion of t in t 2.766 * [backup-simplify]: Simplify 0 into 0 2.766 * [backup-simplify]: Simplify 1 into 1 2.767 * [backup-simplify]: Simplify (* 1 1) into 1 2.767 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 2.767 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.769 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 2.769 * [backup-simplify]: Simplify 0 into 0 2.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.771 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 2.771 * [backup-simplify]: Simplify 0 into 0 2.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.773 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.773 * [backup-simplify]: Simplify 0 into 0 2.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.775 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.775 * [backup-simplify]: Simplify 0 into 0 2.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.778 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.778 * [backup-simplify]: Simplify 0 into 0 2.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.781 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.781 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 2.782 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* (/ 1 t) 2e-16)) (+ 1.0 (* (/ 1 t) 2e-16))) (- -1.0 (* 2.0 (* (/ 1 t) 2e-16)))) into (* 3.9999999999999997e-32 (/ 1 (pow t 2))) 2.782 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 2.782 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 2.782 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 2.782 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.782 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.782 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.782 * [taylor]: Taking taylor expansion of t in t 2.782 * [backup-simplify]: Simplify 0 into 0 2.782 * [backup-simplify]: Simplify 1 into 1 2.782 * [backup-simplify]: Simplify (* 1 1) into 1 2.783 * [backup-simplify]: Simplify (/ 1 1) into 1 2.783 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 2.783 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 2.783 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.783 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.783 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.783 * [taylor]: Taking taylor expansion of t in t 2.783 * [backup-simplify]: Simplify 0 into 0 2.783 * [backup-simplify]: Simplify 1 into 1 2.783 * [backup-simplify]: Simplify (* 1 1) into 1 2.783 * [backup-simplify]: Simplify (/ 1 1) into 1 2.784 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 2.784 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.784 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.785 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 2.785 * [backup-simplify]: Simplify 0 into 0 2.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.787 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.789 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.791 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.791 * [backup-simplify]: Simplify 0 into 0 2.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.793 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.793 * [backup-simplify]: Simplify 0 into 0 2.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.795 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 2.796 * [backup-simplify]: Simplify (+ (* (+ 1.0 (* (/ 1 (- t)) 2e-16)) (+ 1.0 (* (/ 1 (- t)) 2e-16))) (- -1.0 (* 2.0 (* (/ 1 (- t)) 2e-16)))) into (* 3.9999999999999997e-32 (/ 1 (pow t 2))) 2.796 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in (t) around 0 2.796 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 2.796 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 2.796 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.796 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.796 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.796 * [taylor]: Taking taylor expansion of t in t 2.796 * [backup-simplify]: Simplify 0 into 0 2.796 * [backup-simplify]: Simplify 1 into 1 2.796 * [backup-simplify]: Simplify (* 1 1) into 1 2.797 * [backup-simplify]: Simplify (/ 1 1) into 1 2.797 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ 1 (pow t 2))) in t 2.797 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 2.797 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.797 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.797 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.797 * [taylor]: Taking taylor expansion of t in t 2.797 * [backup-simplify]: Simplify 0 into 0 2.797 * [backup-simplify]: Simplify 1 into 1 2.797 * [backup-simplify]: Simplify (* 1 1) into 1 2.797 * [backup-simplify]: Simplify (/ 1 1) into 1 2.798 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 2.798 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 2.798 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.799 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 2.799 * [backup-simplify]: Simplify 0 into 0 2.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.801 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 2.801 * [backup-simplify]: Simplify 0 into 0 2.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.802 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.802 * [backup-simplify]: Simplify 0 into 0 2.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.804 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.804 * [backup-simplify]: Simplify 0 into 0 2.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.807 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.807 * [backup-simplify]: Simplify 0 into 0 2.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.809 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.809 * [backup-simplify]: Simplify 0 into 0 2.809 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 2.809 * * * [progress]: simplifying candidates 2.810 * [simplify]: Simplifying: (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (/ (exp -1.0) (exp (* 2.0 (* t 2e-16))))) (* (exp (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (exp (- -1.0 (* 2.0 (* t 2e-16))))) (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (* (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16))))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ (pow 1.0 3) (pow (* t 2e-16) 3))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (pow 1.0 3) (pow (* t 2e-16) 3)) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (pow -1.0 3) (pow (* 2.0 (* t 2e-16)) 3)))) (* (- 1.0 (* t 2e-16)) (+ (* -1.0 -1.0) (+ (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))) (* -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (pow (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) 3) (pow (- -1.0 (* 2.0 (* t 2e-16))) 3)) (+ (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (- (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (- (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (- (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (* t 2e-16)) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 2.813 * * [simplify]: Extracting # 0 : cost 44 inf + 0 2.813 * * [simplify]: Extracting # 1 : cost 97 inf + 0 2.814 * * [simplify]: Extracting # 2 : cost 119 inf + 2 2.814 * * [simplify]: Extracting # 3 : cost 122 inf + 159 2.814 * * [simplify]: Extracting # 4 : cost 112 inf + 1567 2.817 * * [simplify]: Extracting # 5 : cost 71 inf + 12232 2.823 * * [simplify]: Extracting # 6 : cost 28 inf + 34325 2.830 * * [simplify]: Extracting # 7 : cost 3 inf + 55184 2.836 * * [simplify]: Extracting # 8 : cost 0 inf + 60082 2.842 * * [simplify]: iteration 0 : 133 enodes (cost 32090 ) 2.889 * * [simplify]: Extracting # 0 : cost 0 inf + 60082 2.898 * * [simplify]: Extracting # 1 : cost 168 inf + 39631 2.913 * * [simplify]: Extracting # 2 : cost 9 inf + 78893 2.936 * * [simplify]: Extracting # 3 : cost 3 inf + 76181 2.952 * * [simplify]: Extracting # 4 : cost 0 inf + 76737 2.970 * * [simplify]: iteration 1 : 583 enodes (cost 24213 ) 3.327 * * [simplify]: Extracting # 0 : cost 0 inf + 76737 3.365 * * [simplify]: Extracting # 1 : cost 855 inf + 60682 3.443 * * [simplify]: Extracting # 2 : cost 11 inf + 306041 3.543 * * [simplify]: Extracting # 3 : cost 0 inf + 308417 3.659 * * [simplify]: iteration 2 : 3067 enodes (cost 23893 ) 4.418 * * [simplify]: Extracting # 0 : cost 0 inf + 308417 4.538 * * [simplify]: Extracting # 1 : cost 908 inf + 300800 4.678 * * [simplify]: Extracting # 2 : cost 131 inf + 524978 4.898 * * [simplify]: Extracting # 3 : cost 43 inf + 536999 5.114 * * [simplify]: Extracting # 4 : cost 0 inf + 550059 5.286 * * [simplify]: iteration done: 5000 enodes (cost 23893 ) 5.287 * [simplify]: Simplified to: (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (log (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (exp (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))) (cbrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (* (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (sqrt (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (+ (* (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0))))) (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)))) (+ (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- 1.0 (* t 2e-16))) (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0))))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- 1.0 (* t 2e-16))) (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))) (+ (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0))))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (+ (* (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16)))) (+ (* (* (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16))) (- (* 1.0 1.0) (* (* t 2e-16) (* t 2e-16)))) (+ -1.0 (* 2.0 (* t 2e-16)))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (* (- 1.0 (* t 2e-16)) (- 1.0 (* t 2e-16))) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ 1.0 (* t 2e-16)) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (+ 1.0 (* t 2e-16))))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (- 1.0 (* t 2e-16))) (+ (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- 1.0 (* t 2e-16))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16)))))) (* (+ 1.0 (* t 2e-16)) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0))) (+ (* (+ (* 1.0 1.0) (- (* (* t 2e-16) (* t 2e-16)) (* 1.0 (* t 2e-16)))) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (+ (* (* t 2e-16) (* (* t 2e-16) (* t 2e-16))) (* (* 1.0 1.0) 1.0)) (+ 1.0 (* t 2e-16))))) (* (+ (* (* t 2e-16) (- (* t 2e-16) 1.0)) (* 1.0 1.0)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- 1.0 (* t 2e-16))) (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))))) (* (- 1.0 (* t 2e-16)) (- (* (* -1.0 -1.0) -1.0) (* (* 2.0 (* t 2e-16)) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))))) (* (+ (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16))))) (- 1.0 (* t 2e-16))) (+ (* (- 1.0 (* t 2e-16)) (- (* -1.0 -1.0) (* (* 2.0 (* t 2e-16)) (* 2.0 (* t 2e-16))))) (* (+ -1.0 (* 2.0 (* t 2e-16))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- 1.0 (* t 2e-16))))) (* (- 1.0 (* t 2e-16)) (+ -1.0 (* 2.0 (* t 2e-16)))) (+ (* (- -1.0 (* 2.0 (* t 2e-16))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))))) (+ (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- (- -1.0 (* 2.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))))) (- (* (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16)))) (* (- -1.0 (* 2.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))) (- (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (* t 2e-16) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) -1.0) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) 5.300 * * * [progress]: adding candidates to table 5.508 * * [progress]: iteration 2 / 4 5.508 * * * [progress]: picking best candidate 5.512 * * * * [pick]: Picked # 5.512 * * * [progress]: localizing error 5.516 * * * [progress]: generating rewritten candidates 5.516 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.531 * * * [progress]: generating series expansions 5.531 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.531 * [backup-simplify]: Simplify (* (* t t) 3.9999999999999997e-32) into (* 3.9999999999999997e-32 (pow t 2)) 5.531 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.531 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.531 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.531 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.531 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.532 * [taylor]: Taking taylor expansion of t in t 5.532 * [backup-simplify]: Simplify 0 into 0 5.532 * [backup-simplify]: Simplify 1 into 1 5.532 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 5.532 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.532 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.532 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.532 * [taylor]: Taking taylor expansion of t in t 5.532 * [backup-simplify]: Simplify 0 into 0 5.532 * [backup-simplify]: Simplify 1 into 1 5.532 * [backup-simplify]: Simplify (* 1 1) into 1 5.532 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.532 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.533 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 5.533 * [backup-simplify]: Simplify 0 into 0 5.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.534 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 5.534 * [backup-simplify]: Simplify 0 into 0 5.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.536 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.536 * [backup-simplify]: Simplify 0 into 0 5.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.537 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.537 * [backup-simplify]: Simplify 0 into 0 5.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.539 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.539 * [backup-simplify]: Simplify 0 into 0 5.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.542 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.542 * [backup-simplify]: Simplify 0 into 0 5.542 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.542 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 5.543 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.543 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.543 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.543 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.543 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.543 * [taylor]: Taking taylor expansion of t in t 5.543 * [backup-simplify]: Simplify 0 into 0 5.543 * [backup-simplify]: Simplify 1 into 1 5.543 * [backup-simplify]: Simplify (* 1 1) into 1 5.544 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.544 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.544 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.544 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.544 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.544 * [taylor]: Taking taylor expansion of t in t 5.544 * [backup-simplify]: Simplify 0 into 0 5.544 * [backup-simplify]: Simplify 1 into 1 5.544 * [backup-simplify]: Simplify (* 1 1) into 1 5.545 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.545 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.545 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.546 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 5.546 * [backup-simplify]: Simplify 0 into 0 5.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.553 * [backup-simplify]: Simplify 0 into 0 5.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.555 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.557 * [backup-simplify]: Simplify 0 into 0 5.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.558 * [backup-simplify]: Simplify 0 into 0 5.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.560 * [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 5.560 * [backup-simplify]: Simplify 0 into 0 5.560 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.560 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 3.9999999999999997e-32) into (/ 3.9999999999999997e-32 (pow t 2)) 5.560 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 5.560 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.560 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.560 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.560 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.560 * [taylor]: Taking taylor expansion of t in t 5.560 * [backup-simplify]: Simplify 0 into 0 5.560 * [backup-simplify]: Simplify 1 into 1 5.560 * [backup-simplify]: Simplify (* 1 1) into 1 5.561 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.561 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 5.561 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 5.561 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.561 * [taylor]: Taking taylor expansion of (pow t 2) in t 5.561 * [taylor]: Taking taylor expansion of t in t 5.561 * [backup-simplify]: Simplify 0 into 0 5.561 * [backup-simplify]: Simplify 1 into 1 5.561 * [backup-simplify]: Simplify (* 1 1) into 1 5.561 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 5.561 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 5.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 5.562 * [backup-simplify]: Simplify 0 into 0 5.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.564 * [backup-simplify]: Simplify 0 into 0 5.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.565 * [backup-simplify]: Simplify 0 into 0 5.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.566 * [backup-simplify]: Simplify 0 into 0 5.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.568 * [backup-simplify]: Simplify 0 into 0 5.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.569 * [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 5.569 * [backup-simplify]: Simplify 0 into 0 5.569 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 5.569 * * * [progress]: simplifying candidates 5.570 * [simplify]: Simplifying: (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (+ (+ (log t) (log t)) (log 3.9999999999999997e-32)) (+ (log (* t t)) (log 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (exp (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) t) (* (* t t) t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* (* (* t t) (* t t)) (* t t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32))) (cbrt (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (* t t) (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) 1) (* t 3.9999999999999997e-32) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 5.570 * * [simplify]: Extracting # 0 : cost 17 inf + 0 5.570 * * [simplify]: Extracting # 1 : cost 31 inf + 0 5.570 * * [simplify]: Extracting # 2 : cost 30 inf + 238 5.571 * * [simplify]: Extracting # 3 : cost 9 inf + 2459 5.571 * * [simplify]: Extracting # 4 : cost 1 inf + 4015 5.571 * * [simplify]: Extracting # 5 : cost 0 inf + 4257 5.572 * * [simplify]: iteration 0 : 37 enodes (cost 3537 ) 5.579 * * [simplify]: Extracting # 0 : cost 0 inf + 4257 5.579 * * [simplify]: Extracting # 1 : cost 20 inf + 2792 5.580 * * [simplify]: Extracting # 2 : cost 0 inf + 5525 5.581 * * [simplify]: iteration 1 : 103 enodes (cost 2803 ) 5.673 * * [simplify]: Extracting # 0 : cost 0 inf + 5525 5.677 * * [simplify]: Extracting # 1 : cost 242 inf + 4261 5.685 * * [simplify]: Extracting # 2 : cost 2 inf + 27870 5.694 * * [simplify]: Extracting # 3 : cost 0 inf + 28275 5.704 * * [simplify]: iteration 2 : 712 enodes (cost 2643 ) 6.093 * * [simplify]: Extracting # 0 : cost 0 inf + 28275 6.126 * * [simplify]: Extracting # 1 : cost 2080 inf + 23337 6.177 * * [simplify]: Extracting # 2 : cost 46 inf + 231626 6.234 * * [simplify]: Extracting # 3 : cost 12 inf + 236403 6.295 * * [simplify]: Extracting # 4 : cost 0 inf + 239083 6.351 * * [simplify]: iteration done: 5001 enodes (cost 2643 ) 6.351 * [simplify]: Simplified to: (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32))) (cbrt (* (* t t) 3.9999999999999997e-32)) (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32)) (* (* t (cbrt 3.9999999999999997e-32)) (* t (cbrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)) (* t t) (* t 3.9999999999999997e-32) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t)) 6.352 * * * [progress]: adding candidates to table 6.425 * * [progress]: iteration 3 / 4 6.425 * * * [progress]: picking best candidate 6.438 * * * * [pick]: Picked # 6.438 * * * [progress]: localizing error 6.443 * * * [progress]: generating rewritten candidates 6.443 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.464 * * * [progress]: generating series expansions 6.464 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.464 * [backup-simplify]: Simplify (* t (* t 3.9999999999999997e-32)) into (* 3.9999999999999997e-32 (pow t 2)) 6.464 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.464 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.464 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.464 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.464 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.464 * [taylor]: Taking taylor expansion of t in t 6.465 * [backup-simplify]: Simplify 0 into 0 6.465 * [backup-simplify]: Simplify 1 into 1 6.465 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 6.465 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.465 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.465 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.465 * [taylor]: Taking taylor expansion of t in t 6.465 * [backup-simplify]: Simplify 0 into 0 6.465 * [backup-simplify]: Simplify 1 into 1 6.465 * [backup-simplify]: Simplify (* 1 1) into 1 6.466 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.466 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.466 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.466 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 6.466 * [backup-simplify]: Simplify 0 into 0 6.467 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.469 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 6.469 * [backup-simplify]: Simplify 0 into 0 6.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.470 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.470 * [backup-simplify]: Simplify 0 into 0 6.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.472 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.472 * [backup-simplify]: Simplify 0 into 0 6.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.474 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.474 * [backup-simplify]: Simplify 0 into 0 6.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.476 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.476 * [backup-simplify]: Simplify 0 into 0 6.476 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.476 * [backup-simplify]: Simplify (* (/ 1 t) (* (/ 1 t) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2)) 6.476 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.476 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.476 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.476 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.476 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.476 * [taylor]: Taking taylor expansion of t in t 6.476 * [backup-simplify]: Simplify 0 into 0 6.476 * [backup-simplify]: Simplify 1 into 1 6.476 * [backup-simplify]: Simplify (* 1 1) into 1 6.477 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.477 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.477 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.477 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.477 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.477 * [taylor]: Taking taylor expansion of t in t 6.477 * [backup-simplify]: Simplify 0 into 0 6.477 * [backup-simplify]: Simplify 1 into 1 6.477 * [backup-simplify]: Simplify (* 1 1) into 1 6.477 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.477 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.478 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.478 * [backup-simplify]: Simplify 0 into 0 6.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.479 * [backup-simplify]: Simplify 0 into 0 6.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.481 * [backup-simplify]: Simplify 0 into 0 6.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.482 * [backup-simplify]: Simplify 0 into 0 6.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.484 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.485 * [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 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.485 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* (/ 1 (- t)) 3.9999999999999997e-32)) into (/ 3.9999999999999997e-32 (pow t 2)) 6.485 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 6.485 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.485 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.485 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.485 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.486 * [taylor]: Taking taylor expansion of t in t 6.486 * [backup-simplify]: Simplify 0 into 0 6.486 * [backup-simplify]: Simplify 1 into 1 6.486 * [backup-simplify]: Simplify (* 1 1) into 1 6.486 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.486 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 6.486 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 6.486 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.486 * [taylor]: Taking taylor expansion of (pow t 2) in t 6.486 * [taylor]: Taking taylor expansion of t in t 6.486 * [backup-simplify]: Simplify 0 into 0 6.486 * [backup-simplify]: Simplify 1 into 1 6.486 * [backup-simplify]: Simplify (* 1 1) into 1 6.487 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 6.487 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 6.487 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 6.488 * [backup-simplify]: Simplify 0 into 0 6.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.489 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.490 * [backup-simplify]: Simplify 0 into 0 6.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.491 * [backup-simplify]: Simplify 0 into 0 6.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.493 * [backup-simplify]: Simplify 0 into 0 6.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.494 * [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 6.494 * [backup-simplify]: Simplify 0 into 0 6.494 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 6.494 * * * [progress]: simplifying candidates 6.495 * [simplify]: Simplifying: (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (+ (log t) (+ (log t) (log 3.9999999999999997e-32))) (+ (log t) (log (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* t (* t 3.9999999999999997e-32))) (* (* (* t t) t) (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32))) (* (* (* t t) t) (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32))) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (* (* t (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32))) (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* t t) (* (cbrt t) (* t 3.9999999999999997e-32)) (* (sqrt t) (* t 3.9999999999999997e-32)) (* t (* t 3.9999999999999997e-32)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2)) 6.495 * * [simplify]: Extracting # 0 : cost 15 inf + 0 6.495 * * [simplify]: Extracting # 1 : cost 28 inf + 0 6.495 * * [simplify]: Extracting # 2 : cost 26 inf + 236 6.496 * * [simplify]: Extracting # 3 : cost 15 inf + 1487 6.496 * * [simplify]: Extracting # 4 : cost 1 inf + 3844 6.497 * * [simplify]: Extracting # 5 : cost 0 inf + 4086 6.498 * * [simplify]: iteration 0 : 33 enodes (cost 3332 ) 6.508 * * [simplify]: Extracting # 0 : cost 0 inf + 4086 6.509 * * [simplify]: Extracting # 1 : cost 16 inf + 2995 6.509 * * [simplify]: Extracting # 2 : cost 2 inf + 5040 6.510 * * [simplify]: Extracting # 3 : cost 1 inf + 5041 6.511 * * [simplify]: Extracting # 4 : cost 0 inf + 5253 6.512 * * [simplify]: iteration 1 : 85 enodes (cost 2679 ) 6.540 * * [simplify]: Extracting # 0 : cost 0 inf + 5253 6.547 * * [simplify]: Extracting # 1 : cost 142 inf + 4841 6.555 * * [simplify]: Extracting # 2 : cost 2 inf + 21216 6.561 * * [simplify]: Extracting # 3 : cost 0 inf + 21622 6.565 * * [simplify]: iteration 2 : 448 enodes (cost 2639 ) 8.458 * * [simplify]: Extracting # 0 : cost 0 inf + 21622 8.487 * * [simplify]: Extracting # 1 : cost 1641 inf + 12379 8.525 * * [simplify]: Extracting # 2 : cost 15 inf + 187148 8.575 * * [simplify]: Extracting # 3 : cost 3 inf + 188896 8.649 * * [simplify]: Extracting # 4 : cost 0 inf + 190025 8.695 * * [simplify]: iteration 3 : 4874 enodes (cost 2519 ) 11.019 * * [simplify]: Extracting # 0 : cost 0 inf + 190025 11.096 * * [simplify]: Extracting # 1 : cost 70 inf + 190025 11.153 * * [simplify]: Extracting # 2 : cost 0 inf + 195766 11.211 * * [simplify]: iteration done: 5000 enodes (cost 2519 ) 11.212 * [simplify]: Simplified to: (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (log (* t (* t 3.9999999999999997e-32))) (exp (* t (* t 3.9999999999999997e-32))) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (* (cbrt (* t (* t 3.9999999999999997e-32))) (cbrt (* t (* t 3.9999999999999997e-32)))) (cbrt (* t (* t 3.9999999999999997e-32))) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (sqrt (* t (* t 3.9999999999999997e-32))) (* t t) (* (cbrt t) (* t 3.9999999999999997e-32)) (* (sqrt t) (* t 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) 11.213 * * * [progress]: adding candidates to table 11.270 * * [progress]: iteration 4 / 4 11.270 * * * [progress]: picking best candidate 11.290 * * * * [pick]: Picked # 11.290 * * * [progress]: localizing error 11.303 * * * [progress]: generating rewritten candidates 11.303 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 11.328 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 11.411 * * * [progress]: generating series expansions 11.411 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 11.412 * [backup-simplify]: Simplify (* (* t t) (sqrt 3.9999999999999997e-32)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 11.412 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0 11.412 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t 11.412 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.412 * [taylor]: Taking taylor expansion of t in t 11.412 * [backup-simplify]: Simplify 0 into 0 11.412 * [backup-simplify]: Simplify 1 into 1 11.412 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.412 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.412 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.413 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.414 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.414 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t 11.414 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.414 * [taylor]: Taking taylor expansion of t in t 11.414 * [backup-simplify]: Simplify 0 into 0 11.414 * [backup-simplify]: Simplify 1 into 1 11.414 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.414 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.414 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.414 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.415 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.416 * [backup-simplify]: Simplify (* 1 1) into 1 11.416 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32) 11.417 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.418 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.418 * [backup-simplify]: Simplify 0 into 0 11.420 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.422 * [backup-simplify]: Simplify 0 into 0 11.423 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.425 * [backup-simplify]: Simplify 0 into 0 11.427 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.429 * [backup-simplify]: Simplify 0 into 0 11.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.434 * [backup-simplify]: Simplify 0 into 0 11.435 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0 11.439 * [backup-simplify]: Simplify 0 into 0 11.439 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 11.440 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2)) 11.440 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0 11.440 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 11.440 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.440 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.440 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.440 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.441 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.441 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.441 * [taylor]: Taking taylor expansion of t in t 11.441 * [backup-simplify]: Simplify 0 into 0 11.441 * [backup-simplify]: Simplify 1 into 1 11.442 * [backup-simplify]: Simplify (* 1 1) into 1 11.442 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 11.443 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 11.443 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.443 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.443 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.443 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.444 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.444 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.444 * [taylor]: Taking taylor expansion of t in t 11.444 * [backup-simplify]: Simplify 0 into 0 11.444 * [backup-simplify]: Simplify 1 into 1 11.444 * [backup-simplify]: Simplify (* 1 1) into 1 11.445 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 11.446 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.447 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 11.448 * [backup-simplify]: Simplify 0 into 0 11.449 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.451 * [backup-simplify]: Simplify 0 into 0 11.452 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.454 * [backup-simplify]: Simplify 0 into 0 11.456 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.458 * [backup-simplify]: Simplify 0 into 0 11.459 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.462 * [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.462 * [backup-simplify]: Simplify 0 into 0 11.463 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.466 * [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 11.466 * [backup-simplify]: Simplify 0 into 0 11.467 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 11.467 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2)) 11.467 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0 11.467 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 11.467 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.467 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.467 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.468 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.468 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.468 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.468 * [taylor]: Taking taylor expansion of t in t 11.468 * [backup-simplify]: Simplify 0 into 0 11.468 * [backup-simplify]: Simplify 1 into 1 11.468 * [backup-simplify]: Simplify (* 1 1) into 1 11.469 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 11.469 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t 11.469 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.469 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.469 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.469 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.470 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.470 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.470 * [taylor]: Taking taylor expansion of t in t 11.470 * [backup-simplify]: Simplify 0 into 0 11.470 * [backup-simplify]: Simplify 1 into 1 11.470 * [backup-simplify]: Simplify (* 1 1) into 1 11.470 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32) 11.471 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.471 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0 11.472 * [backup-simplify]: Simplify 0 into 0 11.472 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.474 * [backup-simplify]: Simplify 0 into 0 11.474 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.476 * [backup-simplify]: Simplify 0 into 0 11.476 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.478 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.478 * [backup-simplify]: Simplify 0 into 0 11.478 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.480 * [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.480 * [backup-simplify]: Simplify 0 into 0 11.481 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.482 * [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 11.482 * [backup-simplify]: Simplify 0 into 0 11.483 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32)) 11.483 * * * * [progress]: [ 2 / 2 ] generating series at (2) 11.483 * [backup-simplify]: Simplify (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 11.483 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0 11.483 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 11.483 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.483 * [taylor]: Taking taylor expansion of t in t 11.483 * [backup-simplify]: Simplify 0 into 0 11.483 * [backup-simplify]: Simplify 1 into 1 11.483 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.483 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.483 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.483 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.484 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.484 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.484 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t 11.484 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.484 * [taylor]: Taking taylor expansion of t in t 11.484 * [backup-simplify]: Simplify 0 into 0 11.484 * [backup-simplify]: Simplify 1 into 1 11.484 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.484 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.484 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.484 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.485 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.485 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.485 * [backup-simplify]: Simplify (* 1 1) into 1 11.486 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.487 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.488 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 11.488 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.488 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0 11.489 * [backup-simplify]: Simplify 0 into 0 11.490 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.490 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0 11.492 * [backup-simplify]: Simplify 0 into 0 11.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.494 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0 11.497 * [backup-simplify]: Simplify 0 into 0 11.499 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.500 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0 11.503 * [backup-simplify]: Simplify 0 into 0 11.504 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.506 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0 11.508 * [backup-simplify]: Simplify 0 into 0 11.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.510 * [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.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.514 * [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.514 * [backup-simplify]: Simplify 0 into 0 11.514 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) 11.515 * [backup-simplify]: Simplify (* (* (* (/ 1 t) (/ 1 t)) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) 11.515 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 11.515 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.515 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.515 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.515 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.515 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.516 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.516 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.516 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.516 * [taylor]: Taking taylor expansion of t in t 11.516 * [backup-simplify]: Simplify 0 into 0 11.516 * [backup-simplify]: Simplify 1 into 1 11.517 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.517 * [backup-simplify]: Simplify (* 1 1) into 1 11.518 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.518 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.518 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.518 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.518 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.518 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.519 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.519 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.519 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.519 * [taylor]: Taking taylor expansion of t in t 11.519 * [backup-simplify]: Simplify 0 into 0 11.519 * [backup-simplify]: Simplify 1 into 1 11.520 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.520 * [backup-simplify]: Simplify (* 1 1) into 1 11.521 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.522 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 11.522 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0 11.523 * [backup-simplify]: Simplify 0 into 0 11.524 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.525 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.526 * [backup-simplify]: Simplify 0 into 0 11.527 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.527 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.529 * [backup-simplify]: Simplify 0 into 0 11.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.531 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.532 * [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.532 * [backup-simplify]: Simplify 0 into 0 11.533 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.534 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.535 * [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.535 * [backup-simplify]: Simplify 0 into 0 11.536 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.537 * [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.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.539 * [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.539 * [backup-simplify]: Simplify 0 into 0 11.539 * [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.540 * [backup-simplify]: Simplify (* (* (* (/ 1 (- t)) (/ 1 (- t))) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) 11.540 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0 11.540 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.540 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.540 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.540 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.540 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.540 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.541 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.541 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.541 * [taylor]: Taking taylor expansion of t in t 11.541 * [backup-simplify]: Simplify 0 into 0 11.541 * [backup-simplify]: Simplify 1 into 1 11.542 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.542 * [backup-simplify]: Simplify (* 1 1) into 1 11.543 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.543 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t 11.543 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t 11.543 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t 11.543 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 11.543 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 11.543 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32) 11.544 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.544 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.544 * [taylor]: Taking taylor expansion of t in t 11.544 * [backup-simplify]: Simplify 0 into 0 11.544 * [backup-simplify]: Simplify 1 into 1 11.545 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2) 11.546 * [backup-simplify]: Simplify (* 1 1) into 1 11.548 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2) 11.549 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2) 11.550 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0 11.551 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 11.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0 11.552 * [backup-simplify]: Simplify 0 into 0 11.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.553 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0 11.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 11.554 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.554 * [backup-simplify]: Simplify 0 into 0 11.555 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.556 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0 11.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 11.557 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.557 * [backup-simplify]: Simplify 0 into 0 11.558 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.559 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0 11.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 11.560 * [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.560 * [backup-simplify]: Simplify 0 into 0 11.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.562 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0 11.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 11.563 * [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.563 * [backup-simplify]: Simplify 0 into 0 11.564 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0 11.565 * [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.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 11.567 * [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.567 * [backup-simplify]: Simplify 0 into 0 11.568 * [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.568 * * * [progress]: simplifying candidates 11.569 * [simplify]: Simplifying: (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32)) (+ (+ (log t) (log t)) (log (sqrt 3.9999999999999997e-32))) (+ (log (* t t)) (log (sqrt 3.9999999999999997e-32))) (log (* (* t t) (sqrt 3.9999999999999997e-32))) (exp (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* (* (* t t) t) (* (* t t) t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (* t t) (* t t)) (* t t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32))) (sqrt (* (* t t) (sqrt 3.9999999999999997e-32))) (sqrt (* (* t t) (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 t) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (* t t) (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* (* t t) (sqrt (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 1)) (* (* t t) (sqrt (sqrt 3.9999999999999997e-32))) (* (* t t) 1) (* t (sqrt 3.9999999999999997e-32)) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (+ (+ (+ (log t) (log t)) (log (sqrt 3.9999999999999997e-32))) (log (sqrt 3.9999999999999997e-32))) (+ (+ (log (* t t)) (log (sqrt 3.9999999999999997e-32))) (log (sqrt 3.9999999999999997e-32))) (+ (log (* (* t t) (sqrt 3.9999999999999997e-32))) (log (sqrt 3.9999999999999997e-32))) (log (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (exp (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (* (* t t) t) (* (* t t) t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (* (* t t) (* t t)) (* t t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (cbrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (cbrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)))) (cbrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (sqrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (sqrt (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32)))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt 1)) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) 1) (* (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) (sqrt 3.9999999999999997e-32)) (* (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)) 11.569 * * [simplify]: Extracting # 0 : cost 39 inf + 0 11.569 * * [simplify]: Extracting # 1 : cost 57 inf + 0 11.570 * * [simplify]: Extracting # 2 : cost 59 inf + 195 11.570 * * [simplify]: Extracting # 3 : cost 33 inf + 3798 11.571 * * [simplify]: Extracting # 4 : cost 10 inf + 8610 11.571 * * [simplify]: Extracting # 5 : cost 0 inf + 11581 11.572 * * [simplify]: iteration 0 : 65 enodes (cost 12103 ) 11.590 * * [simplify]: Extracting # 0 : cost 0 inf + 11581 11.594 * * [simplify]: Extracting # 1 : cost 39 inf + 7496 11.598 * * [simplify]: Extracting # 2 : cost 0 inf + 13310 11.601 * * [simplify]: Extracting # 3 : cost 0 inf + 12950 11.605 * * [simplify]: iteration 1 : 195 enodes (cost 8293 ) 11.792 * * [simplify]: Extracting # 0 : cost 0 inf + 12950 11.803 * * [simplify]: Extracting # 1 : cost 526 inf + 11573 11.828 * * [simplify]: Extracting # 2 : cost 10 inf + 79160 11.850 * * [simplify]: Extracting # 3 : cost 4 inf + 79741 11.864 * * [simplify]: Extracting # 4 : cost 0 inf + 81433 11.887 * * [simplify]: iteration 2 : 1510 enodes (cost 8173 ) 12.632 * * [simplify]: Extracting # 0 : cost 0 inf + 81433 12.677 * * [simplify]: Extracting # 1 : cost 1564 inf + 62302 12.725 * * [simplify]: Extracting # 2 : cost 68 inf + 247176 12.769 * * [simplify]: Extracting # 3 : cost 23 inf + 254915 12.814 * * [simplify]: Extracting # 4 : cost 0 inf + 263160 12.862 * * [simplify]: iteration done: 5000 enodes (cost 7933 ) 12.864 * [simplify]: Simplified to: (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (* t t))) (log (* (sqrt 3.9999999999999997e-32) (* t t))) (log (* (sqrt 3.9999999999999997e-32) (* t t))) (exp (* t (* t (sqrt 3.9999999999999997e-32)))) (* (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))) (* (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))) (* (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32)))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (* (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))) (sqrt (* (* t t) (sqrt 3.9999999999999997e-32))) (sqrt (* (* t t) (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 (cbrt (sqrt 3.9999999999999997e-32))) (* t (cbrt (sqrt 3.9999999999999997e-32)))) (* (fabs (cbrt 3.9999999999999997e-32)) (* t t)) (* (* t t) (sqrt (sqrt 3.9999999999999997e-32))) (* t t) (* (* t t) (sqrt (sqrt 3.9999999999999997e-32))) (* t t) (* (sqrt 3.9999999999999997e-32) t) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (log (* (* t t) 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (log (* (* t t) 3.9999999999999997e-32)) (exp (* (* t t) 3.9999999999999997e-32)) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32))) (cbrt (* (* t t) 3.9999999999999997e-32)) (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32))) (sqrt (* (* t t) 3.9999999999999997e-32)) (sqrt (* (* t t) 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* (* t (cbrt (sqrt 3.9999999999999997e-32))) (* t (cbrt (sqrt 3.9999999999999997e-32))))) (* (* t (* t (sqrt 3.9999999999999997e-32))) (fabs (cbrt 3.9999999999999997e-32))) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (sqrt 3.9999999999999997e-32)) (sqrt (sqrt 3.9999999999999997e-32))) (* (* t t) (sqrt 3.9999999999999997e-32)) 3.9999999999999997e-32 (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) (sqrt 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32) 12.867 * * * [progress]: adding candidates to table 13.009 * [progress]: [Phase 3 of 3] Extracting. 13.009 * * [regime]: Finding splitpoints for: (# # # # # # #) 13.010 * * * [regime-changes]: Trying 1 branch expressions: (t) 13.010 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 13.069 * * * [regime]: Found split indices: #