11.799 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.044 * * [simplify]: iteration 0 : 12 enodes (cost 51 ) 0.045 * * [simplify]: iteration 1 : 19 enodes (cost 51 ) 0.047 * * [simplify]: iteration 2 : 33 enodes (cost 51 ) 0.052 * * [simplify]: iteration 3 : 81 enodes (cost 51 ) 0.070 * * [simplify]: iteration 4 : 240 enodes (cost 51 ) 0.115 * * [simplify]: iteration 5 : 615 enodes (cost 51 ) 0.237 * * [simplify]: iteration 6 : 1456 enodes (cost 51 ) 0.705 * * [simplify]: iteration 7 : 4392 enodes (cost 43 ) 1.654 * * [simplify]: iteration done : 5001 enodes (cost 43 ) 1.654 * [simplify]: Simplified to: (/ (+ (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))))) 1.658 * * [progress]: iteration 1 / 4 1.658 * * * [progress]: picking best candidate 1.661 * * * * [pick]: Picked # 1.661 * * * [progress]: localizing error 1.672 * * * [progress]: generating rewritten candidates 1.672 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.683 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 1.694 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.705 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.721 * * * [progress]: generating series expansions 1.721 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.721 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.721 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.721 * [taylor]: Taking taylor expansion of 2.0 in t 1.721 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.721 * [taylor]: Taking taylor expansion of 2.0 in t 1.721 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.721 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.721 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.721 * [taylor]: Taking taylor expansion of 1.0 in t 1.721 * [taylor]: Taking taylor expansion of t in t 1.721 * [taylor]: Taking taylor expansion of 1.0 in t 1.722 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.722 * [taylor]: Taking taylor expansion of 2.0 in t 1.722 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.722 * [taylor]: Taking taylor expansion of 2.0 in t 1.722 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.722 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.722 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.722 * [taylor]: Taking taylor expansion of 1.0 in t 1.722 * [taylor]: Taking taylor expansion of t in t 1.722 * [taylor]: Taking taylor expansion of 1.0 in t 1.723 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.723 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.723 * [taylor]: Taking taylor expansion of 2.0 in t 1.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.723 * [taylor]: Taking taylor expansion of 2.0 in t 1.723 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.723 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.723 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.723 * [taylor]: Taking taylor expansion of 1.0 in t 1.723 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.723 * [taylor]: Taking taylor expansion of t in t 1.723 * [taylor]: Taking taylor expansion of 1.0 in t 1.723 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.723 * [taylor]: Taking taylor expansion of 2.0 in t 1.723 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.723 * [taylor]: Taking taylor expansion of 2.0 in t 1.723 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.723 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.723 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.723 * [taylor]: Taking taylor expansion of 1.0 in t 1.723 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.723 * [taylor]: Taking taylor expansion of t in t 1.723 * [taylor]: Taking taylor expansion of 1.0 in t 1.724 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.724 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.724 * [taylor]: Taking taylor expansion of 2.0 in t 1.724 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.724 * [taylor]: Taking taylor expansion of 2.0 in t 1.724 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.724 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.724 * [taylor]: Taking taylor expansion of 1.0 in t 1.724 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.724 * [taylor]: Taking taylor expansion of 1.0 in t 1.724 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.724 * [taylor]: Taking taylor expansion of t in t 1.724 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.724 * [taylor]: Taking taylor expansion of 2.0 in t 1.724 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.724 * [taylor]: Taking taylor expansion of 2.0 in t 1.724 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.724 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.724 * [taylor]: Taking taylor expansion of 1.0 in t 1.724 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.724 * [taylor]: Taking taylor expansion of 1.0 in t 1.724 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.724 * [taylor]: Taking taylor expansion of t in t 1.724 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 1.725 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.725 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.725 * [taylor]: Taking taylor expansion of 2.0 in t 1.725 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.725 * [taylor]: Taking taylor expansion of 2.0 in t 1.725 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.725 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.725 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.725 * [taylor]: Taking taylor expansion of 1.0 in t 1.725 * [taylor]: Taking taylor expansion of t in t 1.725 * [taylor]: Taking taylor expansion of 1.0 in t 1.725 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.725 * [taylor]: Taking taylor expansion of 2.0 in t 1.725 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.725 * [taylor]: Taking taylor expansion of 2.0 in t 1.725 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.725 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.725 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.725 * [taylor]: Taking taylor expansion of 1.0 in t 1.725 * [taylor]: Taking taylor expansion of t in t 1.725 * [taylor]: Taking taylor expansion of 1.0 in t 1.726 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.726 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.726 * [taylor]: Taking taylor expansion of 2.0 in t 1.726 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.726 * [taylor]: Taking taylor expansion of 2.0 in t 1.726 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.726 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.726 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.726 * [taylor]: Taking taylor expansion of 1.0 in t 1.726 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.726 * [taylor]: Taking taylor expansion of t in t 1.726 * [taylor]: Taking taylor expansion of 1.0 in t 1.726 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.726 * [taylor]: Taking taylor expansion of 2.0 in t 1.726 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.726 * [taylor]: Taking taylor expansion of 2.0 in t 1.726 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.726 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.726 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.726 * [taylor]: Taking taylor expansion of 1.0 in t 1.726 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.726 * [taylor]: Taking taylor expansion of t in t 1.726 * [taylor]: Taking taylor expansion of 1.0 in t 1.727 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.727 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.727 * [taylor]: Taking taylor expansion of 2.0 in t 1.727 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.727 * [taylor]: Taking taylor expansion of 2.0 in t 1.727 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.727 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.727 * [taylor]: Taking taylor expansion of 1.0 in t 1.727 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.727 * [taylor]: Taking taylor expansion of 1.0 in t 1.727 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.727 * [taylor]: Taking taylor expansion of t in t 1.727 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.727 * [taylor]: Taking taylor expansion of 2.0 in t 1.727 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.727 * [taylor]: Taking taylor expansion of 2.0 in t 1.727 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.727 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.727 * [taylor]: Taking taylor expansion of 1.0 in t 1.727 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.727 * [taylor]: Taking taylor expansion of 1.0 in t 1.727 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.727 * [taylor]: Taking taylor expansion of t in t 1.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.728 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.728 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.728 * [taylor]: Taking taylor expansion of 2.0 in t 1.728 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.728 * [taylor]: Taking taylor expansion of 2.0 in t 1.728 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.728 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.728 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.728 * [taylor]: Taking taylor expansion of 1.0 in t 1.728 * [taylor]: Taking taylor expansion of t in t 1.728 * [taylor]: Taking taylor expansion of 1.0 in t 1.728 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.728 * [taylor]: Taking taylor expansion of 2.0 in t 1.728 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.728 * [taylor]: Taking taylor expansion of 2.0 in t 1.728 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.728 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.728 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.728 * [taylor]: Taking taylor expansion of 1.0 in t 1.728 * [taylor]: Taking taylor expansion of t in t 1.728 * [taylor]: Taking taylor expansion of 1.0 in t 1.729 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.729 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.729 * [taylor]: Taking taylor expansion of 2.0 in t 1.729 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.729 * [taylor]: Taking taylor expansion of 2.0 in t 1.729 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.729 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.729 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.729 * [taylor]: Taking taylor expansion of 1.0 in t 1.729 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.729 * [taylor]: Taking taylor expansion of t in t 1.729 * [taylor]: Taking taylor expansion of 1.0 in t 1.729 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.729 * [taylor]: Taking taylor expansion of 2.0 in t 1.729 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.729 * [taylor]: Taking taylor expansion of 2.0 in t 1.729 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.729 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.729 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.729 * [taylor]: Taking taylor expansion of 1.0 in t 1.729 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.729 * [taylor]: Taking taylor expansion of t in t 1.730 * [taylor]: Taking taylor expansion of 1.0 in t 1.730 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.730 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.730 * [taylor]: Taking taylor expansion of 2.0 in t 1.730 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.730 * [taylor]: Taking taylor expansion of 2.0 in t 1.730 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.730 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.730 * [taylor]: Taking taylor expansion of 1.0 in t 1.730 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.730 * [taylor]: Taking taylor expansion of 1.0 in t 1.730 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.730 * [taylor]: Taking taylor expansion of t in t 1.730 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.730 * [taylor]: Taking taylor expansion of 2.0 in t 1.730 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.730 * [taylor]: Taking taylor expansion of 2.0 in t 1.730 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.730 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.730 * [taylor]: Taking taylor expansion of 1.0 in t 1.730 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.730 * [taylor]: Taking taylor expansion of 1.0 in t 1.730 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.730 * [taylor]: Taking taylor expansion of t in t 1.731 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.731 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.731 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.731 * [taylor]: Taking taylor expansion of 2.0 in t 1.731 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.731 * [taylor]: Taking taylor expansion of 2.0 in t 1.731 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.731 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.731 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.731 * [taylor]: Taking taylor expansion of 1.0 in t 1.731 * [taylor]: Taking taylor expansion of t in t 1.731 * [taylor]: Taking taylor expansion of 1.0 in t 1.731 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.731 * [taylor]: Taking taylor expansion of 2.0 in t 1.731 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.731 * [taylor]: Taking taylor expansion of 2.0 in t 1.731 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.731 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.731 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.731 * [taylor]: Taking taylor expansion of 1.0 in t 1.731 * [taylor]: Taking taylor expansion of t in t 1.731 * [taylor]: Taking taylor expansion of 1.0 in t 1.732 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.732 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.732 * [taylor]: Taking taylor expansion of 2.0 in t 1.732 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.732 * [taylor]: Taking taylor expansion of 2.0 in t 1.732 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.732 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.732 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.732 * [taylor]: Taking taylor expansion of 1.0 in t 1.732 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.732 * [taylor]: Taking taylor expansion of t in t 1.732 * [taylor]: Taking taylor expansion of 1.0 in t 1.733 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.733 * [taylor]: Taking taylor expansion of 2.0 in t 1.733 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.733 * [taylor]: Taking taylor expansion of 2.0 in t 1.733 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.733 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.733 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.733 * [taylor]: Taking taylor expansion of 1.0 in t 1.733 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.733 * [taylor]: Taking taylor expansion of t in t 1.733 * [taylor]: Taking taylor expansion of 1.0 in t 1.733 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.733 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.733 * [taylor]: Taking taylor expansion of 2.0 in t 1.733 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.733 * [taylor]: Taking taylor expansion of 2.0 in t 1.733 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.733 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.733 * [taylor]: Taking taylor expansion of 1.0 in t 1.733 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.733 * [taylor]: Taking taylor expansion of 1.0 in t 1.733 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.733 * [taylor]: Taking taylor expansion of t in t 1.733 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.734 * [taylor]: Taking taylor expansion of 2.0 in t 1.734 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.734 * [taylor]: Taking taylor expansion of 2.0 in t 1.734 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.734 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.734 * [taylor]: Taking taylor expansion of 1.0 in t 1.734 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.734 * [taylor]: Taking taylor expansion of 1.0 in t 1.734 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.734 * [taylor]: Taking taylor expansion of t in t 1.734 * * * [progress]: simplifying candidates 1.735 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 1.738 * * [simplify]: iteration 0 : 52 enodes (cost 1188 ) 1.745 * * [simplify]: iteration 1 : 122 enodes (cost 1144 ) 1.762 * * [simplify]: iteration 2 : 327 enodes (cost 1032 ) 1.820 * * [simplify]: iteration 3 : 1037 enodes (cost 1032 ) 2.131 * * [simplify]: iteration 4 : 4693 enodes (cost 1024 ) 2.905 * * [simplify]: iteration done : 5000 enodes (cost 1024 ) 2.906 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) 2.906 * * * [progress]: adding candidates to table 3.087 * * [progress]: iteration 2 / 4 3.087 * * * [progress]: picking best candidate 3.096 * * * * [pick]: Picked # 3.096 * * * [progress]: localizing error 3.114 * * * [progress]: generating rewritten candidates 3.114 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 3.126 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 3.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 3.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.164 * * * [progress]: generating series expansions 3.164 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 3.165 * [approximate]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in (t) around 0 3.165 * [taylor]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in t 3.165 * [taylor]: Taking taylor expansion of (+ t (pow t 3)) in t 3.165 * [taylor]: Taking taylor expansion of t in t 3.165 * [taylor]: Taking taylor expansion of (pow t 3) in t 3.165 * [taylor]: Taking taylor expansion of t in t 3.165 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.165 * [taylor]: Taking taylor expansion of t in t 3.165 * [taylor]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in t 3.165 * [taylor]: Taking taylor expansion of (+ t (pow t 3)) in t 3.165 * [taylor]: Taking taylor expansion of t in t 3.165 * [taylor]: Taking taylor expansion of (pow t 3) in t 3.165 * [taylor]: Taking taylor expansion of t in t 3.165 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.165 * [taylor]: Taking taylor expansion of t in t 3.166 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in (t) around 0 3.166 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in t 3.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (pow t 3))) in t 3.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.166 * [taylor]: Taking taylor expansion of t in t 3.166 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 3.166 * [taylor]: Taking taylor expansion of (pow t 3) in t 3.166 * [taylor]: Taking taylor expansion of t in t 3.166 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 3.166 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.166 * [taylor]: Taking taylor expansion of t in t 3.166 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in t 3.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (pow t 3))) in t 3.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.166 * [taylor]: Taking taylor expansion of t in t 3.166 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 3.166 * [taylor]: Taking taylor expansion of (pow t 3) in t 3.166 * [taylor]: Taking taylor expansion of t in t 3.166 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 3.166 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.166 * [taylor]: Taking taylor expansion of t in t 3.167 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in (t) around 0 3.167 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in t 3.167 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t 3.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.167 * [taylor]: Taking taylor expansion of t in t 3.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 3.167 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 3.167 * [taylor]: Taking taylor expansion of (pow t 3) in t 3.167 * [taylor]: Taking taylor expansion of t in t 3.167 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 3.167 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.167 * [taylor]: Taking taylor expansion of t in t 3.167 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in t 3.167 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t 3.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.167 * [taylor]: Taking taylor expansion of t in t 3.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 3.167 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 3.167 * [taylor]: Taking taylor expansion of (pow t 3) in t 3.167 * [taylor]: Taking taylor expansion of t in t 3.167 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 3.167 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.167 * [taylor]: Taking taylor expansion of t in t 3.168 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 3.168 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.168 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.168 * [taylor]: Taking taylor expansion of 2.0 in t 3.168 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.168 * [taylor]: Taking taylor expansion of 2.0 in t 3.168 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.168 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.168 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.168 * [taylor]: Taking taylor expansion of 1.0 in t 3.168 * [taylor]: Taking taylor expansion of t in t 3.168 * [taylor]: Taking taylor expansion of 1.0 in t 3.168 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.168 * [taylor]: Taking taylor expansion of 2.0 in t 3.169 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.169 * [taylor]: Taking taylor expansion of 2.0 in t 3.169 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.169 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.169 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.169 * [taylor]: Taking taylor expansion of 1.0 in t 3.169 * [taylor]: Taking taylor expansion of t in t 3.169 * [taylor]: Taking taylor expansion of 1.0 in t 3.169 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.169 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.169 * [taylor]: Taking taylor expansion of 2.0 in t 3.170 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.170 * [taylor]: Taking taylor expansion of 2.0 in t 3.170 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.170 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.170 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.170 * [taylor]: Taking taylor expansion of 1.0 in t 3.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.170 * [taylor]: Taking taylor expansion of t in t 3.170 * [taylor]: Taking taylor expansion of 1.0 in t 3.170 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.170 * [taylor]: Taking taylor expansion of 2.0 in t 3.170 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.170 * [taylor]: Taking taylor expansion of 2.0 in t 3.170 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.170 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.170 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.170 * [taylor]: Taking taylor expansion of 1.0 in t 3.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.170 * [taylor]: Taking taylor expansion of t in t 3.170 * [taylor]: Taking taylor expansion of 1.0 in t 3.170 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.170 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.170 * [taylor]: Taking taylor expansion of 2.0 in t 3.170 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.171 * [taylor]: Taking taylor expansion of 2.0 in t 3.171 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.171 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.171 * [taylor]: Taking taylor expansion of 1.0 in t 3.171 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.171 * [taylor]: Taking taylor expansion of 1.0 in t 3.171 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.171 * [taylor]: Taking taylor expansion of t in t 3.171 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.171 * [taylor]: Taking taylor expansion of 2.0 in t 3.171 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.171 * [taylor]: Taking taylor expansion of 2.0 in t 3.171 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.171 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.171 * [taylor]: Taking taylor expansion of 1.0 in t 3.171 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.171 * [taylor]: Taking taylor expansion of 1.0 in t 3.171 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.171 * [taylor]: Taking taylor expansion of t in t 3.171 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 3.171 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.171 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.171 * [taylor]: Taking taylor expansion of 2.0 in t 3.171 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.172 * [taylor]: Taking taylor expansion of 2.0 in t 3.172 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.172 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.172 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.172 * [taylor]: Taking taylor expansion of 1.0 in t 3.172 * [taylor]: Taking taylor expansion of t in t 3.172 * [taylor]: Taking taylor expansion of 1.0 in t 3.172 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.172 * [taylor]: Taking taylor expansion of 2.0 in t 3.172 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.172 * [taylor]: Taking taylor expansion of 2.0 in t 3.172 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.172 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.172 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.172 * [taylor]: Taking taylor expansion of 1.0 in t 3.172 * [taylor]: Taking taylor expansion of t in t 3.172 * [taylor]: Taking taylor expansion of 1.0 in t 3.173 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.173 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.173 * [taylor]: Taking taylor expansion of 2.0 in t 3.173 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.173 * [taylor]: Taking taylor expansion of 2.0 in t 3.173 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.173 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.173 * [taylor]: Taking taylor expansion of 1.0 in t 3.173 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.173 * [taylor]: Taking taylor expansion of t in t 3.173 * [taylor]: Taking taylor expansion of 1.0 in t 3.173 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.173 * [taylor]: Taking taylor expansion of 2.0 in t 3.173 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.173 * [taylor]: Taking taylor expansion of 2.0 in t 3.173 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.173 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.173 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.173 * [taylor]: Taking taylor expansion of 1.0 in t 3.173 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.173 * [taylor]: Taking taylor expansion of t in t 3.173 * [taylor]: Taking taylor expansion of 1.0 in t 3.174 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.174 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.174 * [taylor]: Taking taylor expansion of 2.0 in t 3.174 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.174 * [taylor]: Taking taylor expansion of 2.0 in t 3.174 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.174 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.174 * [taylor]: Taking taylor expansion of 1.0 in t 3.174 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.174 * [taylor]: Taking taylor expansion of 1.0 in t 3.174 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.174 * [taylor]: Taking taylor expansion of t in t 3.174 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.174 * [taylor]: Taking taylor expansion of 2.0 in t 3.174 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.174 * [taylor]: Taking taylor expansion of 2.0 in t 3.174 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.174 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.174 * [taylor]: Taking taylor expansion of 1.0 in t 3.174 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.174 * [taylor]: Taking taylor expansion of 1.0 in t 3.174 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.174 * [taylor]: Taking taylor expansion of t in t 3.175 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 3.175 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.175 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.175 * [taylor]: Taking taylor expansion of 2.0 in t 3.175 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.175 * [taylor]: Taking taylor expansion of 2.0 in t 3.175 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.175 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.175 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.175 * [taylor]: Taking taylor expansion of 1.0 in t 3.175 * [taylor]: Taking taylor expansion of t in t 3.175 * [taylor]: Taking taylor expansion of 1.0 in t 3.175 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.175 * [taylor]: Taking taylor expansion of 2.0 in t 3.175 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.175 * [taylor]: Taking taylor expansion of 2.0 in t 3.175 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.175 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.175 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.175 * [taylor]: Taking taylor expansion of 1.0 in t 3.175 * [taylor]: Taking taylor expansion of t in t 3.175 * [taylor]: Taking taylor expansion of 1.0 in t 3.176 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.176 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.176 * [taylor]: Taking taylor expansion of 2.0 in t 3.176 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.176 * [taylor]: Taking taylor expansion of 2.0 in t 3.176 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.176 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.176 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.176 * [taylor]: Taking taylor expansion of 1.0 in t 3.176 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.176 * [taylor]: Taking taylor expansion of t in t 3.176 * [taylor]: Taking taylor expansion of 1.0 in t 3.176 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.177 * [taylor]: Taking taylor expansion of 2.0 in t 3.177 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.177 * [taylor]: Taking taylor expansion of 2.0 in t 3.177 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.177 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.177 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.177 * [taylor]: Taking taylor expansion of 1.0 in t 3.177 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.177 * [taylor]: Taking taylor expansion of t in t 3.177 * [taylor]: Taking taylor expansion of 1.0 in t 3.177 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.177 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.177 * [taylor]: Taking taylor expansion of 2.0 in t 3.177 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.177 * [taylor]: Taking taylor expansion of 2.0 in t 3.177 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.177 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.177 * [taylor]: Taking taylor expansion of 1.0 in t 3.177 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.177 * [taylor]: Taking taylor expansion of 1.0 in t 3.177 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.177 * [taylor]: Taking taylor expansion of t in t 3.178 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.178 * [taylor]: Taking taylor expansion of 2.0 in t 3.178 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.178 * [taylor]: Taking taylor expansion of 2.0 in t 3.178 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.178 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.178 * [taylor]: Taking taylor expansion of 1.0 in t 3.178 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.178 * [taylor]: Taking taylor expansion of 1.0 in t 3.178 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.178 * [taylor]: Taking taylor expansion of t in t 3.178 * * * [progress]: simplifying candidates 3.180 * [simplify]: Simplifying using # : (/ (* (exp t) (exp (pow t 3))) (exp (pow t 2))) (/ (exp (+ t (pow t 3))) (exp (pow t 2))) (log (- (+ t (pow t 3)) (pow t 2))) (exp (- (+ t (pow t 3)) (pow t 2))) (* (cbrt (- (+ t (pow t 3)) (pow t 2))) (cbrt (- (+ t (pow t 3)) (pow t 2)))) (cbrt (- (+ t (pow t 3)) (pow t 2))) (* (* (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2))) (- (+ t (pow t 3)) (pow t 2))) (sqrt (- (+ t (pow t 3)) (pow t 2))) (sqrt (- (+ t (pow t 3)) (pow t 2))) (- (pow (+ t (pow t 3)) 3) (pow (pow t 2) 3)) (+ (* (+ t (pow t 3)) (+ t (pow t 3))) (+ (* (pow t 2) (pow t 2)) (* (+ t (pow t 3)) (pow t 2)))) (neg (pow t 2)) (- (* (+ t (pow t 3)) (+ t (pow t 3))) (* (pow t 2) (pow t 2))) (+ (+ t (pow t 3)) (pow t 2)) (+ (sqrt (+ t (pow t 3))) (pow (sqrt t) 2)) (- (sqrt (+ t (pow t 3))) (pow (sqrt t) 2)) (+ (sqrt (+ t (pow t 3))) t) (- (sqrt (+ t (pow t 3))) t) (+ (sqrt (+ t (pow t 3))) (sqrt (pow t 2))) (- (sqrt (+ t (pow t 3))) (sqrt (pow t 2))) (+ (sqrt (+ t (pow t 3))) (pow t (/ 2 2))) (- (sqrt (+ t (pow t 3))) (pow t (/ 2 2))) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ 1 (* t t)) t) (- (+ (* t t) 1) t) (- (pow t 3) (pow t 2)) (neg (pow t 2)) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 3.183 * * [simplify]: iteration 0 : 99 enodes (cost 1242 ) 3.197 * * [simplify]: iteration 1 : 228 enodes (cost 1195 ) 3.235 * * [simplify]: iteration 2 : 671 enodes (cost 1078 ) 3.386 * * [simplify]: iteration 3 : 2473 enodes (cost 1070 ) 3.937 * * [simplify]: iteration done : 5000 enodes (cost 1070 ) 3.938 * [simplify]: Simplified to: (exp (- (+ t (pow t 3)) (pow t 2))) (exp (- (+ t (pow t 3)) (pow t 2))) (log (- (+ t (pow t 3)) (pow t 2))) (exp (- (+ t (pow t 3)) (pow t 2))) (* (cbrt (- (+ t (pow t 3)) (pow t 2))) (cbrt (- (+ t (pow t 3)) (pow t 2)))) (cbrt (- (+ t (pow t 3)) (pow t 2))) (pow (- (+ t (pow t 3)) (pow t 2)) 3) (sqrt (- (+ t (pow t 3)) (pow t 2))) (sqrt (- (+ t (pow t 3)) (pow t 2))) (- (pow (+ t (pow t 3)) 3) (pow t 6)) (+ (* (+ (+ t (pow t 3)) (pow t 2)) (+ t (pow t 3))) (pow t 4)) (neg (pow t 2)) (- (* (+ t (pow t 3)) (+ t (pow t 3))) (pow t 4)) (+ (+ t (pow t 3)) (pow t 2)) (+ (sqrt (+ t (pow t 3))) t) (- (sqrt (+ t (pow t 3))) t) (+ (sqrt (+ t (pow t 3))) t) (- (sqrt (+ t (pow t 3))) t) (+ (fabs t) (sqrt (+ t (pow t 3)))) (- (sqrt (+ t (pow t 3))) (fabs t)) (+ (sqrt (+ t (pow t 3))) t) (- (sqrt (+ t (pow t 3))) t) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (+ (- 1 t) (* t t)) (+ (- 1 t) (* t t)) (- (pow t 3) (pow t 2)) (neg (pow t 2)) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (* t t))) 3.939 * * * [progress]: adding candidates to table 4.140 * [progress]: [Phase 3 of 3] Extracting. 4.140 * * [regime]: Finding splitpoints for: (# #) 4.141 * * * [regime-changes]: Trying 1 branch expressions: (t) 4.141 * * * * [regimes]: Trying to branch on t from (# #) 4.169 * * * [regime]: Found split indices: #