15.510 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.044 * [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.078 * * [simplify]: iteration 0 : 5020 enodes (cost 43 ) 0.079 * [simplify]: Simplified to: (/ (+ 1.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) 0.087 * * [progress]: iteration 1 / 4 0.087 * * * [progress]: picking best candidate 0.090 * * * * [pick]: Picked # 0.090 * * * [progress]: localizing error 0.101 * * * [progress]: generating rewritten candidates 0.101 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.110 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.118 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.137 * * * [progress]: generating series expansions 0.137 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.137 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.137 * [taylor]: Taking taylor expansion of 2.0 in t 0.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.137 * [taylor]: Taking taylor expansion of 2.0 in t 0.137 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.137 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.137 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.137 * [taylor]: Taking taylor expansion of 1.0 in t 0.137 * [taylor]: Taking taylor expansion of t in t 0.137 * [taylor]: Taking taylor expansion of 1.0 in t 0.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.137 * [taylor]: Taking taylor expansion of 2.0 in t 0.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.137 * [taylor]: Taking taylor expansion of 2.0 in t 0.137 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.137 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.137 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.137 * [taylor]: Taking taylor expansion of 1.0 in t 0.137 * [taylor]: Taking taylor expansion of t in t 0.137 * [taylor]: Taking taylor expansion of 1.0 in t 0.138 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.138 * [taylor]: Taking taylor expansion of 2.0 in t 0.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.138 * [taylor]: Taking taylor expansion of 2.0 in t 0.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.138 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.138 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.138 * [taylor]: Taking taylor expansion of 1.0 in t 0.138 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.138 * [taylor]: Taking taylor expansion of t in t 0.138 * [taylor]: Taking taylor expansion of 1.0 in t 0.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.138 * [taylor]: Taking taylor expansion of 2.0 in t 0.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.138 * [taylor]: Taking taylor expansion of 2.0 in t 0.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.138 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.138 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.138 * [taylor]: Taking taylor expansion of 1.0 in t 0.138 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.138 * [taylor]: Taking taylor expansion of t in t 0.138 * [taylor]: Taking taylor expansion of 1.0 in t 0.139 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.139 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.139 * [taylor]: Taking taylor expansion of 2.0 in t 0.139 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.139 * [taylor]: Taking taylor expansion of 2.0 in t 0.139 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.139 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.139 * [taylor]: Taking taylor expansion of 1.0 in t 0.139 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.139 * [taylor]: Taking taylor expansion of 1.0 in t 0.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.139 * [taylor]: Taking taylor expansion of t in t 0.139 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.139 * [taylor]: Taking taylor expansion of 2.0 in t 0.139 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.139 * [taylor]: Taking taylor expansion of 2.0 in t 0.139 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.139 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.139 * [taylor]: Taking taylor expansion of 1.0 in t 0.139 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.139 * [taylor]: Taking taylor expansion of 1.0 in t 0.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.139 * [taylor]: Taking taylor expansion of t in t 0.140 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.140 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.140 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.140 * [taylor]: Taking taylor expansion of 2.0 in t 0.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.140 * [taylor]: Taking taylor expansion of 2.0 in t 0.140 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.140 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.140 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.140 * [taylor]: Taking taylor expansion of 1.0 in t 0.140 * [taylor]: Taking taylor expansion of t in t 0.140 * [taylor]: Taking taylor expansion of 1.0 in t 0.140 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.140 * [taylor]: Taking taylor expansion of 2.0 in t 0.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.140 * [taylor]: Taking taylor expansion of 2.0 in t 0.140 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.140 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.140 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.140 * [taylor]: Taking taylor expansion of 1.0 in t 0.140 * [taylor]: Taking taylor expansion of t in t 0.140 * [taylor]: Taking taylor expansion of 1.0 in t 0.141 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.141 * [taylor]: Taking taylor expansion of 2.0 in t 0.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.141 * [taylor]: Taking taylor expansion of 2.0 in t 0.141 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.141 * [taylor]: Taking taylor expansion of 1.0 in t 0.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.141 * [taylor]: Taking taylor expansion of t in t 0.141 * [taylor]: Taking taylor expansion of 1.0 in t 0.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.141 * [taylor]: Taking taylor expansion of 2.0 in t 0.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.141 * [taylor]: Taking taylor expansion of 2.0 in t 0.141 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.141 * [taylor]: Taking taylor expansion of 1.0 in t 0.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.142 * [taylor]: Taking taylor expansion of t in t 0.142 * [taylor]: Taking taylor expansion of 1.0 in t 0.142 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.142 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.142 * [taylor]: Taking taylor expansion of 2.0 in t 0.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.142 * [taylor]: Taking taylor expansion of 2.0 in t 0.142 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.142 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.142 * [taylor]: Taking taylor expansion of 1.0 in t 0.142 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.142 * [taylor]: Taking taylor expansion of 1.0 in t 0.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.142 * [taylor]: Taking taylor expansion of t in t 0.142 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.142 * [taylor]: Taking taylor expansion of 2.0 in t 0.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.142 * [taylor]: Taking taylor expansion of 2.0 in t 0.142 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.142 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.142 * [taylor]: Taking taylor expansion of 1.0 in t 0.142 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.142 * [taylor]: Taking taylor expansion of 1.0 in t 0.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.142 * [taylor]: Taking taylor expansion of t in t 0.143 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.143 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.143 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.143 * [taylor]: Taking taylor expansion of 2.0 in t 0.143 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.143 * [taylor]: Taking taylor expansion of 2.0 in t 0.143 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.143 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.143 * [taylor]: Taking taylor expansion of 1.0 in t 0.143 * [taylor]: Taking taylor expansion of t in t 0.143 * [taylor]: Taking taylor expansion of 1.0 in t 0.143 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.143 * [taylor]: Taking taylor expansion of 2.0 in t 0.143 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.143 * [taylor]: Taking taylor expansion of 2.0 in t 0.143 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.143 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.143 * [taylor]: Taking taylor expansion of 1.0 in t 0.143 * [taylor]: Taking taylor expansion of t in t 0.143 * [taylor]: Taking taylor expansion of 1.0 in t 0.144 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.144 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.144 * [taylor]: Taking taylor expansion of 2.0 in t 0.144 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.144 * [taylor]: Taking taylor expansion of 2.0 in t 0.144 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.144 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.144 * [taylor]: Taking taylor expansion of 1.0 in t 0.144 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.144 * [taylor]: Taking taylor expansion of t in t 0.144 * [taylor]: Taking taylor expansion of 1.0 in t 0.144 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.144 * [taylor]: Taking taylor expansion of 2.0 in t 0.145 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.145 * [taylor]: Taking taylor expansion of 2.0 in t 0.145 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.145 * [taylor]: Taking taylor expansion of 1.0 in t 0.145 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.145 * [taylor]: Taking taylor expansion of t in t 0.145 * [taylor]: Taking taylor expansion of 1.0 in t 0.145 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.145 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.145 * [taylor]: Taking taylor expansion of 2.0 in t 0.145 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.145 * [taylor]: Taking taylor expansion of 2.0 in t 0.145 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.145 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.145 * [taylor]: Taking taylor expansion of 1.0 in t 0.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.145 * [taylor]: Taking taylor expansion of 1.0 in t 0.145 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.145 * [taylor]: Taking taylor expansion of t in t 0.145 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.145 * [taylor]: Taking taylor expansion of 2.0 in t 0.145 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.145 * [taylor]: Taking taylor expansion of 2.0 in t 0.145 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.145 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.146 * [taylor]: Taking taylor expansion of 1.0 in t 0.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.146 * [taylor]: Taking taylor expansion of 1.0 in t 0.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.146 * [taylor]: Taking taylor expansion of t in t 0.146 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.146 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.146 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.146 * [taylor]: Taking taylor expansion of 2.0 in t 0.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.146 * [taylor]: Taking taylor expansion of 2.0 in t 0.146 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.146 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.146 * [taylor]: Taking taylor expansion of 1.0 in t 0.146 * [taylor]: Taking taylor expansion of t in t 0.146 * [taylor]: Taking taylor expansion of 1.0 in t 0.146 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.146 * [taylor]: Taking taylor expansion of 2.0 in t 0.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.146 * [taylor]: Taking taylor expansion of 2.0 in t 0.146 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.146 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.146 * [taylor]: Taking taylor expansion of 1.0 in t 0.146 * [taylor]: Taking taylor expansion of t in t 0.147 * [taylor]: Taking taylor expansion of 1.0 in t 0.147 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.147 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.147 * [taylor]: Taking taylor expansion of 2.0 in t 0.147 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.147 * [taylor]: Taking taylor expansion of 2.0 in t 0.147 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.147 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.147 * [taylor]: Taking taylor expansion of 1.0 in t 0.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.147 * [taylor]: Taking taylor expansion of t in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.148 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.148 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.148 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.148 * [taylor]: Taking taylor expansion of 2.0 in t 0.148 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.148 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.148 * [taylor]: Taking taylor expansion of 1.0 in t 0.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.148 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.149 * [taylor]: Taking taylor expansion of 2.0 in t 0.149 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.149 * [taylor]: Taking taylor expansion of 2.0 in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.149 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.149 * [taylor]: Taking taylor expansion of 1.0 in t 0.149 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.149 * [taylor]: Taking taylor expansion of 1.0 in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.149 * [taylor]: Taking taylor expansion of t in t 0.149 * * * [progress]: simplifying candidates 0.150 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 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))) (- (+ (* 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))) 0.200 * * [simplify]: iteration 0 : 4948 enodes (cost 1008 ) 0.200 * * [simplify]: iteration 1 : 4948 enodes (cost 1008 ) 0.204 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1))))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1))))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1))))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1))))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (neg 2.0) (+ 1.0 (* 1.0 t))) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) (+ 2.0 (/ (- (/ 2.0 t) 2.0) t)) 0.204 * * * [progress]: adding candidates to table 0.367 * * [progress]: iteration 2 / 4 0.367 * * * [progress]: picking best candidate 0.370 * * * * [pick]: Picked # 0.370 * * * [progress]: localizing error 0.388 * * * [progress]: generating rewritten candidates 0.388 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2) 0.395 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.406 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.414 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.424 * * * [progress]: generating series expansions 0.424 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2) 0.425 * [approximate]: Taking taylor expansion of (- (pow t 3) (pow t 2)) in (t) around 0 0.425 * [taylor]: Taking taylor expansion of (- (pow t 3) (pow t 2)) in t 0.425 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.425 * [taylor]: Taking taylor expansion of t in t 0.425 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.425 * [taylor]: Taking taylor expansion of t in t 0.425 * [taylor]: Taking taylor expansion of (- (pow t 3) (pow t 2)) in t 0.425 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.425 * [taylor]: Taking taylor expansion of t in t 0.425 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.425 * [taylor]: Taking taylor expansion of t in t 0.426 * [approximate]: Taking taylor expansion of (- (/ 1 (pow t 3)) (/ 1 (pow t 2))) in (t) around 0 0.426 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 0.426 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.426 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.426 * [taylor]: Taking taylor expansion of t in t 0.426 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.426 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.426 * [taylor]: Taking taylor expansion of t in t 0.426 * [taylor]: Taking taylor expansion of (- (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 0.426 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.426 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.426 * [taylor]: Taking taylor expansion of t in t 0.427 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.427 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.427 * [taylor]: Taking taylor expansion of t in t 0.429 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in (t) around 0 0.429 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t 0.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.429 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.429 * [taylor]: Taking taylor expansion of t in t 0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.429 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.429 * [taylor]: Taking taylor expansion of t in t 0.429 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t 0.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 0.429 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.429 * [taylor]: Taking taylor expansion of t in t 0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.429 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.429 * [taylor]: Taking taylor expansion of t in t 0.432 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.432 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.432 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.432 * [taylor]: Taking taylor expansion of 2.0 in t 0.432 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.432 * [taylor]: Taking taylor expansion of 2.0 in t 0.432 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.432 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.432 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.432 * [taylor]: Taking taylor expansion of 1.0 in t 0.432 * [taylor]: Taking taylor expansion of t in t 0.432 * [taylor]: Taking taylor expansion of 1.0 in t 0.432 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.432 * [taylor]: Taking taylor expansion of 2.0 in t 0.432 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.432 * [taylor]: Taking taylor expansion of 2.0 in t 0.432 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.432 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.432 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.432 * [taylor]: Taking taylor expansion of 1.0 in t 0.432 * [taylor]: Taking taylor expansion of t in t 0.432 * [taylor]: Taking taylor expansion of 1.0 in t 0.433 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.433 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.433 * [taylor]: Taking taylor expansion of 2.0 in t 0.433 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.433 * [taylor]: Taking taylor expansion of 2.0 in t 0.433 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.433 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.433 * [taylor]: Taking taylor expansion of 1.0 in t 0.433 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.433 * [taylor]: Taking taylor expansion of t in t 0.433 * [taylor]: Taking taylor expansion of 1.0 in t 0.433 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.433 * [taylor]: Taking taylor expansion of 2.0 in t 0.433 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.433 * [taylor]: Taking taylor expansion of 2.0 in t 0.433 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.433 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.433 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.433 * [taylor]: Taking taylor expansion of 1.0 in t 0.433 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.433 * [taylor]: Taking taylor expansion of t in t 0.433 * [taylor]: Taking taylor expansion of 1.0 in t 0.434 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.434 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.434 * [taylor]: Taking taylor expansion of 2.0 in t 0.434 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.434 * [taylor]: Taking taylor expansion of 2.0 in t 0.434 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.434 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.434 * [taylor]: Taking taylor expansion of 1.0 in t 0.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.434 * [taylor]: Taking taylor expansion of 1.0 in t 0.434 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.434 * [taylor]: Taking taylor expansion of t in t 0.434 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.434 * [taylor]: Taking taylor expansion of 2.0 in t 0.434 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.434 * [taylor]: Taking taylor expansion of 2.0 in t 0.434 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.434 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.434 * [taylor]: Taking taylor expansion of 1.0 in t 0.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.434 * [taylor]: Taking taylor expansion of 1.0 in t 0.434 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.434 * [taylor]: Taking taylor expansion of t in t 0.435 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.435 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.435 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.435 * [taylor]: Taking taylor expansion of 2.0 in t 0.435 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.435 * [taylor]: Taking taylor expansion of 2.0 in t 0.435 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.435 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.435 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.435 * [taylor]: Taking taylor expansion of 1.0 in t 0.435 * [taylor]: Taking taylor expansion of t in t 0.435 * [taylor]: Taking taylor expansion of 1.0 in t 0.435 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.435 * [taylor]: Taking taylor expansion of 2.0 in t 0.435 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.435 * [taylor]: Taking taylor expansion of 2.0 in t 0.435 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.435 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.435 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.435 * [taylor]: Taking taylor expansion of 1.0 in t 0.435 * [taylor]: Taking taylor expansion of t in t 0.435 * [taylor]: Taking taylor expansion of 1.0 in t 0.436 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.436 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.436 * [taylor]: Taking taylor expansion of 2.0 in t 0.436 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.436 * [taylor]: Taking taylor expansion of 2.0 in t 0.436 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.436 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.436 * [taylor]: Taking taylor expansion of 1.0 in t 0.436 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.436 * [taylor]: Taking taylor expansion of t in t 0.436 * [taylor]: Taking taylor expansion of 1.0 in t 0.436 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.436 * [taylor]: Taking taylor expansion of 2.0 in t 0.436 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.436 * [taylor]: Taking taylor expansion of 2.0 in t 0.436 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.436 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.436 * [taylor]: Taking taylor expansion of 1.0 in t 0.436 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.437 * [taylor]: Taking taylor expansion of t in t 0.437 * [taylor]: Taking taylor expansion of 1.0 in t 0.437 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.437 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.437 * [taylor]: Taking taylor expansion of 2.0 in t 0.437 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.437 * [taylor]: Taking taylor expansion of 2.0 in t 0.437 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.437 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.437 * [taylor]: Taking taylor expansion of 1.0 in t 0.437 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.437 * [taylor]: Taking taylor expansion of 1.0 in t 0.437 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.437 * [taylor]: Taking taylor expansion of t in t 0.437 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.437 * [taylor]: Taking taylor expansion of 2.0 in t 0.437 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.437 * [taylor]: Taking taylor expansion of 2.0 in t 0.437 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.437 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.437 * [taylor]: Taking taylor expansion of 1.0 in t 0.437 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.437 * [taylor]: Taking taylor expansion of 1.0 in t 0.437 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.437 * [taylor]: Taking taylor expansion of t in t 0.438 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.438 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.438 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.438 * [taylor]: Taking taylor expansion of 2.0 in t 0.438 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.438 * [taylor]: Taking taylor expansion of 2.0 in t 0.438 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.438 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.438 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.438 * [taylor]: Taking taylor expansion of 1.0 in t 0.438 * [taylor]: Taking taylor expansion of t in t 0.438 * [taylor]: Taking taylor expansion of 1.0 in t 0.438 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.438 * [taylor]: Taking taylor expansion of 2.0 in t 0.438 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.438 * [taylor]: Taking taylor expansion of 2.0 in t 0.438 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.438 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.438 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.438 * [taylor]: Taking taylor expansion of 1.0 in t 0.438 * [taylor]: Taking taylor expansion of t in t 0.438 * [taylor]: Taking taylor expansion of 1.0 in t 0.439 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.439 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.439 * [taylor]: Taking taylor expansion of 2.0 in t 0.439 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.439 * [taylor]: Taking taylor expansion of 2.0 in t 0.439 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.439 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.439 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.439 * [taylor]: Taking taylor expansion of 1.0 in t 0.439 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.439 * [taylor]: Taking taylor expansion of t in t 0.439 * [taylor]: Taking taylor expansion of 1.0 in t 0.439 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.440 * [taylor]: Taking taylor expansion of 2.0 in t 0.440 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.440 * [taylor]: Taking taylor expansion of 2.0 in t 0.440 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.440 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.440 * [taylor]: Taking taylor expansion of 1.0 in t 0.440 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.440 * [taylor]: Taking taylor expansion of t in t 0.440 * [taylor]: Taking taylor expansion of 1.0 in t 0.440 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.440 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.440 * [taylor]: Taking taylor expansion of 2.0 in t 0.440 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.440 * [taylor]: Taking taylor expansion of 2.0 in t 0.440 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.440 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.440 * [taylor]: Taking taylor expansion of 1.0 in t 0.440 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.440 * [taylor]: Taking taylor expansion of 1.0 in t 0.440 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.440 * [taylor]: Taking taylor expansion of t in t 0.440 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.440 * [taylor]: Taking taylor expansion of 2.0 in t 0.440 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.440 * [taylor]: Taking taylor expansion of 2.0 in t 0.441 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.441 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.441 * [taylor]: Taking taylor expansion of 1.0 in t 0.441 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.441 * [taylor]: Taking taylor expansion of 1.0 in t 0.441 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.441 * [taylor]: Taking taylor expansion of t in t 0.441 * * * [progress]: simplifying candidates 0.442 * [simplify]: Simplifying using # : (/ (exp (pow t 3)) (exp (* t t))) (log (- (pow t 3) (* t t))) (exp (- (pow t 3) (* t t))) (* (cbrt (- (pow t 3) (* t t))) (cbrt (- (pow t 3) (* t t)))) (cbrt (- (pow t 3) (* t t))) (* (* (- (pow t 3) (* t t)) (- (pow t 3) (* t t))) (- (pow t 3) (* t t))) (sqrt (- (pow t 3) (* t t))) (sqrt (- (pow t 3) (* t t))) (- (pow (pow t 3) 3) (pow (* t t) 3)) (+ (* (pow t 3) (pow t 3)) (+ (* (* t t) (* t t)) (* (pow t 3) (* t t)))) (neg (* t t)) (- (* (pow t 3) (pow t 3)) (* (* t t) (* t t))) (+ (pow t 3) (* t t)) (+ (pow (sqrt t) 3) t) (- (pow (sqrt t) 3) t) (+ (pow (sqrt t) 3) t) (- (pow (sqrt t) 3) t) (+ (sqrt (pow t 3)) t) (- (sqrt (pow t 3)) t) (+ (pow t (/ 3 2)) t) (- (pow t (/ 3 2)) t) (- (* t t) t) (- (* t t) t) (neg (* t t)) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (pow t 3) (pow t 2)) (- (pow t 3) (pow t 2)) (- (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))) 0.485 * * [simplify]: iteration 0 : 4946 enodes (cost 961 ) 0.485 * * [simplify]: iteration 1 : 4946 enodes (cost 961 ) 0.489 * [simplify]: Simplified to: (pow (exp t) (- (* t t) t)) (log (- (pow t 3) (* t t))) (pow (exp t) (- (* t t) t)) (* (cbrt (- (pow t 3) (* t t))) (cbrt (- (pow t 3) (* t t)))) (cbrt (- (pow t 3) (* t t))) (pow (- (pow t 3) (* t t)) 3) (sqrt (- (pow t 3) (* t t))) (sqrt (- (pow t 3) (* t t))) (- (pow t 9) (pow t 6)) (+ (pow t 6) (+ (pow t 4) (pow t 5))) (* t (neg t)) (- (pow t 6) (pow t 4)) (+ (pow t 3) (* t t)) (+ t (pow t 3/2)) (- (pow t 3/2) t) (+ t (pow t 3/2)) (- (pow t 3/2) t) (+ t (sqrt (pow t 3))) (- (sqrt (pow t 3)) t) (+ t (pow t 3/2)) (- (pow t 3/2) t) (- (* t t) t) (- (* t t) t) (* t (neg t)) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (/ (neg 2.0) (+ 1.0 (* t 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (neg 2.0) (+ 1.0 (* t 1.0))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (/ (neg 2.0) (+ 1.0 (* t 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (neg 2.0) (+ 1.0 (* t 1.0))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (/ (neg 2.0) (+ 1.0 (* t 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (neg 2.0) (+ 1.0 (* t 1.0))) (- (pow t 3) (* t t)) (- (pow t 3) (* t t)) (- (pow t 3) (* t t)) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (* 2.0 (+ t (- (pow t 3) (* t t)))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t))) 0.489 * * * [progress]: adding candidates to table 0.671 * [progress]: [Phase 3 of 3] Extracting. 0.671 * * [regime]: Finding splitpoints for: (# #) 0.672 * * * [regime-changes]: Trying 1 branch expressions: (t) 0.672 * * * * [regimes]: Trying to branch on t from (# #) 0.698 * * * [regime]: Found split indices: #