3.386 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 0.020 * * [simplify]: iteration 0 : 25 enodes (cost 6 ) 0.021 * * [simplify]: iteration 1 : 67 enodes (cost 6 ) 0.023 * * [simplify]: iteration 2 : 145 enodes (cost 6 ) 0.025 * * [simplify]: iteration 3 : 241 enodes (cost 6 ) 0.028 * * [simplify]: iteration 4 : 301 enodes (cost 6 ) 0.031 * * [simplify]: iteration 5 : 355 enodes (cost 6 ) 0.035 * * [simplify]: iteration 6 : 396 enodes (cost 6 ) 0.039 * * [simplify]: iteration 7 : 444 enodes (cost 6 ) 0.043 * * [simplify]: iteration 8 : 529 enodes (cost 6 ) 0.048 * * [simplify]: iteration 9 : 744 enodes (cost 6 ) 0.058 * * [simplify]: iteration 10 : 2218 enodes (cost 6 ) 0.095 * * [simplify]: iteration 11 : 5001 enodes (cost 6 ) 0.096 * [simplify]: Simplified to: (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 0.096 * * [progress]: iteration 1 / 4 0.096 * * * [progress]: picking best candidate 0.098 * * * * [pick]: Picked # 0.098 * * * [progress]: localizing error 0.105 * * * [progress]: generating rewritten candidates 0.105 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.113 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.118 * * * [progress]: generating series expansions 0.118 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.119 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 0.119 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 0.119 * [taylor]: Taking taylor expansion of -1 in u 0.119 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 0.119 * [taylor]: Taking taylor expansion of (* t1 v) in u 0.119 * [taylor]: Taking taylor expansion of t1 in u 0.119 * [taylor]: Taking taylor expansion of v in u 0.119 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.119 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.119 * [taylor]: Taking taylor expansion of t1 in u 0.119 * [taylor]: Taking taylor expansion of u in u 0.119 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.119 * [taylor]: Taking taylor expansion of -1 in v 0.119 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.119 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.119 * [taylor]: Taking taylor expansion of t1 in v 0.119 * [taylor]: Taking taylor expansion of v in v 0.119 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.119 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.119 * [taylor]: Taking taylor expansion of t1 in v 0.119 * [taylor]: Taking taylor expansion of u in v 0.120 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.120 * [taylor]: Taking taylor expansion of -1 in t1 0.120 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.120 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.120 * [taylor]: Taking taylor expansion of t1 in t1 0.120 * [taylor]: Taking taylor expansion of v in t1 0.120 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.120 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.120 * [taylor]: Taking taylor expansion of t1 in t1 0.120 * [taylor]: Taking taylor expansion of u in t1 0.120 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.120 * [taylor]: Taking taylor expansion of -1 in t1 0.120 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.120 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.120 * [taylor]: Taking taylor expansion of t1 in t1 0.120 * [taylor]: Taking taylor expansion of v in t1 0.120 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.120 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.121 * [taylor]: Taking taylor expansion of t1 in t1 0.121 * [taylor]: Taking taylor expansion of u in t1 0.121 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 0.121 * [taylor]: Taking taylor expansion of -1 in v 0.121 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 0.121 * [taylor]: Taking taylor expansion of v in v 0.121 * [taylor]: Taking taylor expansion of (pow u 2) in v 0.121 * [taylor]: Taking taylor expansion of u in v 0.121 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 0.121 * [taylor]: Taking taylor expansion of -1 in u 0.121 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.121 * [taylor]: Taking taylor expansion of u in u 0.125 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 0.125 * [taylor]: Taking taylor expansion of 2 in v 0.125 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 0.125 * [taylor]: Taking taylor expansion of v in v 0.125 * [taylor]: Taking taylor expansion of (pow u 3) in v 0.125 * [taylor]: Taking taylor expansion of u in v 0.126 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 0.126 * [taylor]: Taking taylor expansion of 2 in u 0.126 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.126 * [taylor]: Taking taylor expansion of u in u 0.132 * [taylor]: Taking taylor expansion of 0 in u 0.135 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 0.135 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 0.135 * [taylor]: Taking taylor expansion of 3 in v 0.135 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 0.135 * [taylor]: Taking taylor expansion of v in v 0.135 * [taylor]: Taking taylor expansion of (pow u 4) in v 0.135 * [taylor]: Taking taylor expansion of u in v 0.135 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 0.135 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 0.135 * [taylor]: Taking taylor expansion of 3 in u 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 0.135 * [taylor]: Taking taylor expansion of (pow u 4) in u 0.135 * [taylor]: Taking taylor expansion of u in u 0.144 * [taylor]: Taking taylor expansion of 0 in u 0.144 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 0.144 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.144 * [taylor]: Taking taylor expansion of -1 in u 0.144 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.144 * [taylor]: Taking taylor expansion of t1 in u 0.144 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.144 * [taylor]: Taking taylor expansion of v in u 0.144 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.144 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.144 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.144 * [taylor]: Taking taylor expansion of u in u 0.145 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.145 * [taylor]: Taking taylor expansion of t1 in u 0.145 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.145 * [taylor]: Taking taylor expansion of -1 in v 0.145 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.145 * [taylor]: Taking taylor expansion of t1 in v 0.145 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.145 * [taylor]: Taking taylor expansion of v in v 0.145 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.146 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.146 * [taylor]: Taking taylor expansion of u in v 0.146 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.146 * [taylor]: Taking taylor expansion of t1 in v 0.147 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.148 * [taylor]: Taking taylor expansion of -1 in t1 0.148 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.148 * [taylor]: Taking taylor expansion of t1 in t1 0.148 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.148 * [taylor]: Taking taylor expansion of v in t1 0.148 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.148 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.148 * [taylor]: Taking taylor expansion of u in t1 0.148 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.148 * [taylor]: Taking taylor expansion of t1 in t1 0.149 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.149 * [taylor]: Taking taylor expansion of -1 in t1 0.149 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.150 * [taylor]: Taking taylor expansion of t1 in t1 0.150 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.150 * [taylor]: Taking taylor expansion of v in t1 0.150 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.150 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.150 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.150 * [taylor]: Taking taylor expansion of u in t1 0.150 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.150 * [taylor]: Taking taylor expansion of t1 in t1 0.158 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.158 * [taylor]: Taking taylor expansion of -1 in v 0.158 * [taylor]: Taking taylor expansion of v in v 0.158 * [taylor]: Taking taylor expansion of -1 in u 0.160 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 0.161 * [taylor]: Taking taylor expansion of 2 in v 0.161 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 0.161 * [taylor]: Taking taylor expansion of (* v u) in v 0.161 * [taylor]: Taking taylor expansion of v in v 0.161 * [taylor]: Taking taylor expansion of u in v 0.161 * [taylor]: Taking taylor expansion of (/ 2 u) in u 0.161 * [taylor]: Taking taylor expansion of 2 in u 0.161 * [taylor]: Taking taylor expansion of u in u 0.163 * [taylor]: Taking taylor expansion of 0 in u 0.166 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 0.166 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 0.166 * [taylor]: Taking taylor expansion of 3 in v 0.166 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 0.166 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 0.166 * [taylor]: Taking taylor expansion of v in v 0.166 * [taylor]: Taking taylor expansion of (pow u 2) in v 0.166 * [taylor]: Taking taylor expansion of u in v 0.167 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 0.167 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 0.167 * [taylor]: Taking taylor expansion of 3 in u 0.167 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.167 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.167 * [taylor]: Taking taylor expansion of u in u 0.173 * [taylor]: Taking taylor expansion of 0 in u 0.174 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 0.174 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.174 * [taylor]: Taking taylor expansion of -1 in u 0.174 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.174 * [taylor]: Taking taylor expansion of t1 in u 0.174 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.174 * [taylor]: Taking taylor expansion of v in u 0.174 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.174 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.174 * [taylor]: Taking taylor expansion of u in u 0.174 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.174 * [taylor]: Taking taylor expansion of t1 in u 0.175 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.175 * [taylor]: Taking taylor expansion of -1 in v 0.175 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.175 * [taylor]: Taking taylor expansion of t1 in v 0.175 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.175 * [taylor]: Taking taylor expansion of v in v 0.175 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.175 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.175 * [taylor]: Taking taylor expansion of u in v 0.175 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.175 * [taylor]: Taking taylor expansion of t1 in v 0.177 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.177 * [taylor]: Taking taylor expansion of -1 in t1 0.177 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.177 * [taylor]: Taking taylor expansion of t1 in t1 0.177 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.177 * [taylor]: Taking taylor expansion of v in t1 0.177 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.177 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.177 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.177 * [taylor]: Taking taylor expansion of u in t1 0.177 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.177 * [taylor]: Taking taylor expansion of t1 in t1 0.179 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.179 * [taylor]: Taking taylor expansion of -1 in t1 0.179 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.179 * [taylor]: Taking taylor expansion of t1 in t1 0.179 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.179 * [taylor]: Taking taylor expansion of v in t1 0.179 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.179 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.179 * [taylor]: Taking taylor expansion of u in t1 0.179 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.179 * [taylor]: Taking taylor expansion of t1 in t1 0.181 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.181 * [taylor]: Taking taylor expansion of -1 in v 0.181 * [taylor]: Taking taylor expansion of v in v 0.182 * [taylor]: Taking taylor expansion of -1 in u 0.184 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 0.184 * [taylor]: Taking taylor expansion of 2 in v 0.184 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 0.184 * [taylor]: Taking taylor expansion of (* v u) in v 0.184 * [taylor]: Taking taylor expansion of v in v 0.184 * [taylor]: Taking taylor expansion of u in v 0.184 * [taylor]: Taking taylor expansion of (/ 2 u) in u 0.184 * [taylor]: Taking taylor expansion of 2 in u 0.184 * [taylor]: Taking taylor expansion of u in u 0.187 * [taylor]: Taking taylor expansion of 0 in u 0.189 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 0.189 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 0.190 * [taylor]: Taking taylor expansion of 3 in v 0.190 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 0.190 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 0.190 * [taylor]: Taking taylor expansion of v in v 0.190 * [taylor]: Taking taylor expansion of (pow u 2) in v 0.190 * [taylor]: Taking taylor expansion of u in v 0.190 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 0.190 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 0.190 * [taylor]: Taking taylor expansion of 3 in u 0.190 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.190 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.190 * [taylor]: Taking taylor expansion of u in u 0.197 * [taylor]: Taking taylor expansion of 0 in u 0.197 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.197 * [approximate]: Taking taylor expansion of (pow (+ t1 u) 2) in (t1 u) around 0 0.197 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.197 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.197 * [taylor]: Taking taylor expansion of t1 in u 0.197 * [taylor]: Taking taylor expansion of u in u 0.197 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.197 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.197 * [taylor]: Taking taylor expansion of t1 in t1 0.197 * [taylor]: Taking taylor expansion of u in t1 0.197 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.197 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.197 * [taylor]: Taking taylor expansion of t1 in t1 0.197 * [taylor]: Taking taylor expansion of u in t1 0.197 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.197 * [taylor]: Taking taylor expansion of u in u 0.198 * [taylor]: Taking taylor expansion of (* 2 u) in u 0.198 * [taylor]: Taking taylor expansion of 2 in u 0.198 * [taylor]: Taking taylor expansion of u in u 0.199 * [taylor]: Taking taylor expansion of 1 in u 0.200 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 0.200 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.200 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.200 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.200 * [taylor]: Taking taylor expansion of u in u 0.200 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.200 * [taylor]: Taking taylor expansion of t1 in u 0.200 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.200 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.200 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.200 * [taylor]: Taking taylor expansion of u in t1 0.200 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.201 * [taylor]: Taking taylor expansion of t1 in t1 0.201 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.201 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.201 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.201 * [taylor]: Taking taylor expansion of u in t1 0.201 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.201 * [taylor]: Taking taylor expansion of t1 in t1 0.202 * [taylor]: Taking taylor expansion of 1 in u 0.203 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.203 * [taylor]: Taking taylor expansion of 2 in u 0.203 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.203 * [taylor]: Taking taylor expansion of u in u 0.204 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.204 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.204 * [taylor]: Taking taylor expansion of u in u 0.206 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 0.206 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.206 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.206 * [taylor]: Taking taylor expansion of u in u 0.206 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.206 * [taylor]: Taking taylor expansion of t1 in u 0.206 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.206 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.206 * [taylor]: Taking taylor expansion of u in t1 0.206 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.206 * [taylor]: Taking taylor expansion of t1 in t1 0.207 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.207 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.207 * [taylor]: Taking taylor expansion of u in t1 0.207 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.207 * [taylor]: Taking taylor expansion of t1 in t1 0.208 * [taylor]: Taking taylor expansion of 1 in u 0.208 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.209 * [taylor]: Taking taylor expansion of 2 in u 0.209 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.209 * [taylor]: Taking taylor expansion of u in u 0.210 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.210 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.210 * [taylor]: Taking taylor expansion of u in u 0.211 * * * [progress]: simplifying candidates 0.212 * [simplify]: Simplifying using # : (- (* (- t1) v)) (- (* (+ t1 u) (+ t1 u))) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ -1 (+ t1 u)) (/ (* t1 v) (+ t1 u)) (/ -1 (+ t1 u)) (/ (* t1 v) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ 1 (* (+ t1 u) (+ t1 u))) (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v)) (/ (* t1 v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (+ t1 u)) (/ (* (- t1) v) (+ t1 u)) (/ (* (+ t1 u) (+ t1 u)) v) (/ (* (+ t1 u) (+ t1 u)) (* t1 v)) (/ (* (+ t1 u) (+ t1 u)) (- t1)) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (+ t1 u) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (+ (pow t1 3) (pow u 3)) (- (* t1 t1) (* u u))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- t1 u)) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (- t1 u) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))) (* (- t1 u) (- t1 u)) (* (+ t1 u) t1) (* (+ t1 u) u) (* (+ t1 u) u) (* (+ t1 u) t1) (* t1 (+ t1 u)) (* u (+ t1 u)) (* u (+ t1 u)) (* t1 (+ t1 u)) (* (+ t1 u) (+ (pow t1 3) (pow u 3))) (* (+ t1 u) (- (* t1 t1) (* u u))) (* (+ (pow t1 3) (pow u 3)) (+ t1 u)) (* (- (* t1 t1) (* u u)) (+ t1 u)) 0 0 0 (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))) (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))) (+ (pow t1 2) (+ (* 2 (* t1 u)) (pow u 2))) 0.216 * * [simplify]: iteration 0 : 228 enodes (cost 253 ) 0.220 * * [simplify]: iteration 1 : 764 enodes (cost 248 ) 0.234 * * [simplify]: iteration 2 : 3580 enodes (cost 246 ) 0.296 * * [simplify]: iteration 3 : 5001 enodes (cost 243 ) 0.298 * [simplify]: Simplified to: (* t1 v) (- (* (+ t1 u) (+ t1 u))) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ -1 (+ t1 u)) (/ (* t1 v) (+ t1 u)) (/ -1 (+ t1 u)) (/ (* t1 v) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ 1 (* (+ t1 u) (+ t1 u))) (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v)) (/ (* t1 v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (+ t1 u)) (/ (* (- t1) v) (+ t1 u)) (/ (* (+ t1 u) (+ t1 u)) v) (/ (* (+ t1 u) (+ t1 u)) (* t1 v)) (/ (* (+ t1 u) (+ t1 u)) (- t1)) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (/ (* (- t1) v) (* (+ (pow t1 3) (pow u 3)) (+ t1 u))) (/ (* (- t1) v) (* (- (* t1 t1) (* u u)) (+ t1 u))) (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (fma u (- u t1) (pow t1 2)) (+ t1 (- u))) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (fma u (- u t1) (pow t1 2)) (+ t1 (- u))) (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u))) (* (- t1 u) (- t1 u)) (* t1 (+ t1 u)) (* u (+ t1 u)) (* u (+ t1 u)) (* t1 (+ t1 u)) (* t1 (+ t1 u)) (* u (+ t1 u)) (* u (+ t1 u)) (* t1 (+ t1 u)) (* (+ t1 u) (+ (pow t1 3) (pow u 3))) (* (- (* t1 t1) (* u u)) (+ t1 u)) (* (+ t1 u) (+ (pow t1 3) (pow u 3))) (* (- (* t1 t1) (* u u)) (+ t1 u)) 0 0 0 (fma (fma t1 2 u) u (pow t1 2)) (fma (fma t1 2 u) u (pow t1 2)) (fma (fma t1 2 u) u (pow t1 2)) 0.298 * * * [progress]: adding candidates to table 0.375 * * [progress]: iteration 2 / 4 0.375 * * * [progress]: picking best candidate 0.379 * * * * [pick]: Picked # 0.379 * * * [progress]: localizing error 0.386 * * * [progress]: generating rewritten candidates 0.386 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.393 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.397 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.401 * * * [progress]: generating series expansions 0.401 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.401 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (v t1 u) around 0 0.401 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 0.402 * [taylor]: Taking taylor expansion of -1 in u 0.402 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 0.402 * [taylor]: Taking taylor expansion of (* t1 v) in u 0.402 * [taylor]: Taking taylor expansion of t1 in u 0.402 * [taylor]: Taking taylor expansion of v in u 0.402 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.402 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.402 * [taylor]: Taking taylor expansion of t1 in u 0.402 * [taylor]: Taking taylor expansion of u in u 0.402 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.402 * [taylor]: Taking taylor expansion of -1 in t1 0.402 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.402 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.402 * [taylor]: Taking taylor expansion of t1 in t1 0.402 * [taylor]: Taking taylor expansion of v in t1 0.402 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.402 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.402 * [taylor]: Taking taylor expansion of t1 in t1 0.402 * [taylor]: Taking taylor expansion of u in t1 0.403 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.403 * [taylor]: Taking taylor expansion of -1 in v 0.403 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.403 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.403 * [taylor]: Taking taylor expansion of t1 in v 0.403 * [taylor]: Taking taylor expansion of v in v 0.403 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.403 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.403 * [taylor]: Taking taylor expansion of t1 in v 0.403 * [taylor]: Taking taylor expansion of u in v 0.403 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.403 * [taylor]: Taking taylor expansion of -1 in v 0.403 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.403 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.403 * [taylor]: Taking taylor expansion of t1 in v 0.403 * [taylor]: Taking taylor expansion of v in v 0.403 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.403 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.404 * [taylor]: Taking taylor expansion of t1 in v 0.404 * [taylor]: Taking taylor expansion of u in v 0.404 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (pow (+ t1 u) 2))) in t1 0.404 * [taylor]: Taking taylor expansion of -1 in t1 0.404 * [taylor]: Taking taylor expansion of (/ t1 (pow (+ t1 u) 2)) in t1 0.404 * [taylor]: Taking taylor expansion of t1 in t1 0.404 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.404 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.404 * [taylor]: Taking taylor expansion of t1 in t1 0.404 * [taylor]: Taking taylor expansion of u in t1 0.405 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 0.405 * [taylor]: Taking taylor expansion of -1 in u 0.405 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.405 * [taylor]: Taking taylor expansion of u in u 0.408 * [taylor]: Taking taylor expansion of 0 in t1 0.409 * [taylor]: Taking taylor expansion of 0 in u 0.409 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u 0.409 * [taylor]: Taking taylor expansion of 2 in u 0.409 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 0.409 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.409 * [taylor]: Taking taylor expansion of u in u 0.418 * [taylor]: Taking taylor expansion of 0 in t1 0.418 * [taylor]: Taking taylor expansion of 0 in u 0.418 * [taylor]: Taking taylor expansion of 0 in u 0.419 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 0.419 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.419 * [taylor]: Taking taylor expansion of -1 in u 0.419 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.419 * [taylor]: Taking taylor expansion of t1 in u 0.419 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.419 * [taylor]: Taking taylor expansion of v in u 0.419 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.419 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.419 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.419 * [taylor]: Taking taylor expansion of u in u 0.419 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.419 * [taylor]: Taking taylor expansion of t1 in u 0.420 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.420 * [taylor]: Taking taylor expansion of -1 in t1 0.420 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.420 * [taylor]: Taking taylor expansion of t1 in t1 0.420 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.420 * [taylor]: Taking taylor expansion of v in t1 0.420 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.420 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.420 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.420 * [taylor]: Taking taylor expansion of u in t1 0.420 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.420 * [taylor]: Taking taylor expansion of t1 in t1 0.422 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.422 * [taylor]: Taking taylor expansion of -1 in v 0.422 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.422 * [taylor]: Taking taylor expansion of t1 in v 0.422 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.422 * [taylor]: Taking taylor expansion of v in v 0.422 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.422 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.422 * [taylor]: Taking taylor expansion of u in v 0.422 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.422 * [taylor]: Taking taylor expansion of t1 in v 0.424 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.424 * [taylor]: Taking taylor expansion of -1 in v 0.424 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.424 * [taylor]: Taking taylor expansion of t1 in v 0.424 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.424 * [taylor]: Taking taylor expansion of v in v 0.424 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.424 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.424 * [taylor]: Taking taylor expansion of u in v 0.424 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.424 * [taylor]: Taking taylor expansion of t1 in v 0.426 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 0.426 * [taylor]: Taking taylor expansion of -1 in t1 0.426 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 0.426 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 0.426 * [taylor]: Taking taylor expansion of t1 in t1 0.426 * [taylor]: Taking taylor expansion of (pow u 2) in t1 0.426 * [taylor]: Taking taylor expansion of u in t1 0.426 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 0.426 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 0.426 * [taylor]: Taking taylor expansion of 2 in t1 0.427 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.427 * [taylor]: Taking taylor expansion of u in t1 0.427 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.427 * [taylor]: Taking taylor expansion of t1 in t1 0.428 * [taylor]: Taking taylor expansion of -1 in u 0.430 * [taylor]: Taking taylor expansion of 0 in t1 0.430 * [taylor]: Taking taylor expansion of 0 in u 0.431 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.431 * [taylor]: Taking taylor expansion of 2 in u 0.431 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.431 * [taylor]: Taking taylor expansion of u in u 0.437 * [taylor]: Taking taylor expansion of 0 in t1 0.437 * [taylor]: Taking taylor expansion of 0 in u 0.437 * [taylor]: Taking taylor expansion of 0 in u 0.437 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 0.437 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.437 * [taylor]: Taking taylor expansion of -1 in u 0.437 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.437 * [taylor]: Taking taylor expansion of t1 in u 0.437 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.437 * [taylor]: Taking taylor expansion of v in u 0.438 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.438 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.438 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.438 * [taylor]: Taking taylor expansion of u in u 0.438 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.438 * [taylor]: Taking taylor expansion of t1 in u 0.438 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.439 * [taylor]: Taking taylor expansion of -1 in t1 0.439 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.439 * [taylor]: Taking taylor expansion of t1 in t1 0.439 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.439 * [taylor]: Taking taylor expansion of v in t1 0.439 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.439 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.439 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.439 * [taylor]: Taking taylor expansion of u in t1 0.439 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.439 * [taylor]: Taking taylor expansion of t1 in t1 0.440 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.440 * [taylor]: Taking taylor expansion of -1 in v 0.440 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.440 * [taylor]: Taking taylor expansion of t1 in v 0.441 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.441 * [taylor]: Taking taylor expansion of v in v 0.441 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.441 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.441 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.441 * [taylor]: Taking taylor expansion of u in v 0.441 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.441 * [taylor]: Taking taylor expansion of t1 in v 0.443 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.443 * [taylor]: Taking taylor expansion of -1 in v 0.443 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.443 * [taylor]: Taking taylor expansion of t1 in v 0.443 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.443 * [taylor]: Taking taylor expansion of v in v 0.443 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.443 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.443 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.443 * [taylor]: Taking taylor expansion of u in v 0.443 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.443 * [taylor]: Taking taylor expansion of t1 in v 0.445 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 0.445 * [taylor]: Taking taylor expansion of -1 in t1 0.445 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 0.445 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 0.445 * [taylor]: Taking taylor expansion of t1 in t1 0.445 * [taylor]: Taking taylor expansion of (pow u 2) in t1 0.445 * [taylor]: Taking taylor expansion of u in t1 0.445 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 0.445 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 0.445 * [taylor]: Taking taylor expansion of 2 in t1 0.445 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.445 * [taylor]: Taking taylor expansion of u in t1 0.445 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.445 * [taylor]: Taking taylor expansion of t1 in t1 0.446 * [taylor]: Taking taylor expansion of -1 in u 0.449 * [taylor]: Taking taylor expansion of 0 in t1 0.449 * [taylor]: Taking taylor expansion of 0 in u 0.450 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.450 * [taylor]: Taking taylor expansion of 2 in u 0.450 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.450 * [taylor]: Taking taylor expansion of u in u 0.456 * [taylor]: Taking taylor expansion of 0 in t1 0.456 * [taylor]: Taking taylor expansion of 0 in u 0.456 * [taylor]: Taking taylor expansion of 0 in u 0.456 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.456 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0 0.456 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u 0.456 * [taylor]: Taking taylor expansion of -1 in u 0.456 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u 0.456 * [taylor]: Taking taylor expansion of t1 in u 0.456 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.456 * [taylor]: Taking taylor expansion of t1 in u 0.456 * [taylor]: Taking taylor expansion of u in u 0.456 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1 0.456 * [taylor]: Taking taylor expansion of -1 in t1 0.456 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 0.456 * [taylor]: Taking taylor expansion of t1 in t1 0.456 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.460 * [taylor]: Taking taylor expansion of t1 in t1 0.460 * [taylor]: Taking taylor expansion of u in t1 0.460 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1 0.460 * [taylor]: Taking taylor expansion of -1 in t1 0.460 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 0.460 * [taylor]: Taking taylor expansion of t1 in t1 0.460 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.460 * [taylor]: Taking taylor expansion of t1 in t1 0.460 * [taylor]: Taking taylor expansion of u in t1 0.460 * [taylor]: Taking taylor expansion of (/ -1 u) in u 0.460 * [taylor]: Taking taylor expansion of -1 in u 0.460 * [taylor]: Taking taylor expansion of u in u 0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.462 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.462 * [taylor]: Taking taylor expansion of u in u 0.466 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 0.466 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 0.466 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.466 * [taylor]: Taking taylor expansion of u in u 0.473 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.473 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.473 * [taylor]: Taking taylor expansion of -1 in u 0.473 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.473 * [taylor]: Taking taylor expansion of t1 in u 0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.473 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.473 * [taylor]: Taking taylor expansion of u in u 0.474 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.474 * [taylor]: Taking taylor expansion of t1 in u 0.474 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.474 * [taylor]: Taking taylor expansion of -1 in t1 0.474 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.474 * [taylor]: Taking taylor expansion of t1 in t1 0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.474 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.474 * [taylor]: Taking taylor expansion of u in t1 0.474 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.474 * [taylor]: Taking taylor expansion of t1 in t1 0.476 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.476 * [taylor]: Taking taylor expansion of -1 in t1 0.476 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.476 * [taylor]: Taking taylor expansion of t1 in t1 0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.476 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.476 * [taylor]: Taking taylor expansion of u in t1 0.476 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.476 * [taylor]: Taking taylor expansion of t1 in t1 0.478 * [taylor]: Taking taylor expansion of -1 in u 0.480 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.480 * [taylor]: Taking taylor expansion of u in u 0.483 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.483 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.483 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.483 * [taylor]: Taking taylor expansion of u in u 0.488 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.488 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.488 * [taylor]: Taking taylor expansion of -1 in u 0.488 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.488 * [taylor]: Taking taylor expansion of t1 in u 0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.488 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.488 * [taylor]: Taking taylor expansion of u in u 0.488 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.488 * [taylor]: Taking taylor expansion of t1 in u 0.489 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.489 * [taylor]: Taking taylor expansion of -1 in t1 0.489 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.489 * [taylor]: Taking taylor expansion of t1 in t1 0.489 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.489 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.489 * [taylor]: Taking taylor expansion of u in t1 0.489 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.489 * [taylor]: Taking taylor expansion of t1 in t1 0.491 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.491 * [taylor]: Taking taylor expansion of -1 in t1 0.491 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.491 * [taylor]: Taking taylor expansion of t1 in t1 0.491 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.491 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.491 * [taylor]: Taking taylor expansion of u in t1 0.491 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.491 * [taylor]: Taking taylor expansion of t1 in t1 0.493 * [taylor]: Taking taylor expansion of -1 in u 0.494 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.494 * [taylor]: Taking taylor expansion of u in u 0.498 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.498 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.498 * [taylor]: Taking taylor expansion of u in u 0.502 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.502 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 0.503 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 0.503 * [taylor]: Taking taylor expansion of v in u 0.503 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.503 * [taylor]: Taking taylor expansion of t1 in u 0.503 * [taylor]: Taking taylor expansion of u in u 0.503 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 0.503 * [taylor]: Taking taylor expansion of v in t1 0.503 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.503 * [taylor]: Taking taylor expansion of t1 in t1 0.503 * [taylor]: Taking taylor expansion of u in t1 0.503 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 0.503 * [taylor]: Taking taylor expansion of v in v 0.503 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.503 * [taylor]: Taking taylor expansion of t1 in v 0.503 * [taylor]: Taking taylor expansion of u in v 0.503 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 0.503 * [taylor]: Taking taylor expansion of v in v 0.503 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.503 * [taylor]: Taking taylor expansion of t1 in v 0.503 * [taylor]: Taking taylor expansion of u in v 0.503 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 0.503 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.503 * [taylor]: Taking taylor expansion of t1 in t1 0.503 * [taylor]: Taking taylor expansion of u in t1 0.503 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.503 * [taylor]: Taking taylor expansion of u in u 0.504 * [taylor]: Taking taylor expansion of 0 in t1 0.504 * [taylor]: Taking taylor expansion of 0 in u 0.505 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.505 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.505 * [taylor]: Taking taylor expansion of u in u 0.508 * [taylor]: Taking taylor expansion of 0 in t1 0.508 * [taylor]: Taking taylor expansion of 0 in u 0.508 * [taylor]: Taking taylor expansion of 0 in u 0.508 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 0.508 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 0.508 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.508 * [taylor]: Taking taylor expansion of v in u 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.508 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.508 * [taylor]: Taking taylor expansion of u in u 0.509 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.509 * [taylor]: Taking taylor expansion of t1 in u 0.509 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 0.509 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.509 * [taylor]: Taking taylor expansion of v in t1 0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.509 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.509 * [taylor]: Taking taylor expansion of u in t1 0.509 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.509 * [taylor]: Taking taylor expansion of t1 in t1 0.510 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.510 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.510 * [taylor]: Taking taylor expansion of v in v 0.510 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.510 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.510 * [taylor]: Taking taylor expansion of u in v 0.510 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.510 * [taylor]: Taking taylor expansion of t1 in v 0.511 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.511 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.511 * [taylor]: Taking taylor expansion of v in v 0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.511 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.511 * [taylor]: Taking taylor expansion of u in v 0.511 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.511 * [taylor]: Taking taylor expansion of t1 in v 0.512 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.512 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.512 * [taylor]: Taking taylor expansion of u in t1 0.512 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.512 * [taylor]: Taking taylor expansion of t1 in t1 0.513 * [taylor]: Taking taylor expansion of 1 in u 0.514 * [taylor]: Taking taylor expansion of 0 in t1 0.514 * [taylor]: Taking taylor expansion of 0 in u 0.514 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.515 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.515 * [taylor]: Taking taylor expansion of u in u 0.517 * [taylor]: Taking taylor expansion of 0 in t1 0.517 * [taylor]: Taking taylor expansion of 0 in u 0.517 * [taylor]: Taking taylor expansion of 0 in u 0.518 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 0.518 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 0.518 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.518 * [taylor]: Taking taylor expansion of v in u 0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.518 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.518 * [taylor]: Taking taylor expansion of u in u 0.518 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.518 * [taylor]: Taking taylor expansion of t1 in u 0.518 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 0.518 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.518 * [taylor]: Taking taylor expansion of v in t1 0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.518 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.518 * [taylor]: Taking taylor expansion of u in t1 0.518 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.519 * [taylor]: Taking taylor expansion of t1 in t1 0.519 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.519 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.519 * [taylor]: Taking taylor expansion of v in v 0.519 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.519 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.519 * [taylor]: Taking taylor expansion of u in v 0.519 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.519 * [taylor]: Taking taylor expansion of t1 in v 0.520 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.520 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.520 * [taylor]: Taking taylor expansion of v in v 0.520 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.520 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.520 * [taylor]: Taking taylor expansion of u in v 0.520 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.520 * [taylor]: Taking taylor expansion of t1 in v 0.521 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.521 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.521 * [taylor]: Taking taylor expansion of u in t1 0.521 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.521 * [taylor]: Taking taylor expansion of t1 in t1 0.522 * [taylor]: Taking taylor expansion of 1 in u 0.523 * [taylor]: Taking taylor expansion of 0 in t1 0.523 * [taylor]: Taking taylor expansion of 0 in u 0.524 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.524 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.524 * [taylor]: Taking taylor expansion of u in u 0.527 * [taylor]: Taking taylor expansion of 0 in t1 0.527 * [taylor]: Taking taylor expansion of 0 in u 0.527 * [taylor]: Taking taylor expansion of 0 in u 0.527 * * * [progress]: simplifying candidates 0.527 * [simplify]: Simplifying using # : (* v (- t1)) (* (+ t1 u) (+ t1 u)) (* v (- (- t1))) (* (+ t1 u) (- (+ t1 u))) (* v 1) (* (+ t1 u) (/ (+ t1 u) (- t1))) (* v -1) (* (+ t1 u) (/ (+ t1 u) t1)) (* (- v) (- t1)) (* (- (+ t1 u)) (+ t1 u)) (* (- v) (- (- t1))) (* (- (+ t1 u)) (- (+ t1 u))) (* (- v) 1) (* (- (+ t1 u)) (/ (+ t1 u) (- t1))) (* (- v) -1) (* (- (+ t1 u)) (/ (+ t1 u) t1)) (* 1 (- t1)) (* (/ (+ t1 u) v) (+ t1 u)) (* 1 (- (- t1))) (* (/ (+ t1 u) v) (- (+ t1 u))) (* 1 1) (* (/ (+ t1 u) v) (/ (+ t1 u) (- t1))) (* 1 -1) (* (/ (+ t1 u) v) (/ (+ t1 u) t1)) (* (/ v (+ t1 u)) (/ t1 (+ t1 u))) (* (/ v (+ t1 u)) (- t1)) (* (/ v (+ t1 u)) (/ (- t1) (+ (pow t1 3) (pow u 3)))) (* (/ v (+ t1 u)) (/ (- t1) (- (* t1 t1) (* u u)))) (* (/ 1 (+ t1 u)) (/ (- t1) (+ t1 u))) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (/ (- t1) (+ t1 u))) (* (- t1 u) (/ (- t1) (+ t1 u))) (* (/ v (+ t1 u)) (- t1)) (* (/ v (+ t1 u)) (- (- t1))) (* (/ v (+ t1 u)) 1) (* (/ v (+ t1 u)) -1) (* v (/ (- t1) (+ t1 u))) (* (- v) (/ (- t1) (+ t1 u))) (* 1 (/ (- t1) (+ t1 u))) (- (- t1)) (- (+ t1 u)) (/ 0 (+ t1 u)) (/ t1 (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) (- t1)) (/ t1 (+ t1 u)) (/ (+ t1 u) t1) (/ (- t1) (+ (pow t1 3) (pow u 3))) (/ (- t1) (- (* t1 t1) (* u u))) (- v) (- (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 0.531 * * [simplify]: iteration 0 : 207 enodes (cost 168 ) 0.536 * * [simplify]: iteration 1 : 946 enodes (cost 167 ) 0.556 * * [simplify]: iteration 2 : 4217 enodes (cost 165 ) 0.620 * * [simplify]: iteration 3 : 5002 enodes (cost 165 ) 0.621 * [simplify]: Simplified to: (* t1 (- v)) (* (+ t1 u) (+ t1 u)) (* t1 v) (* (- (+ t1 u)) (+ t1 u)) v (* (+ t1 u) (/ (+ t1 u) (- t1))) (- v) (* (+ t1 u) (/ (+ t1 u) t1)) (* t1 v) (* (- (+ t1 u)) (+ t1 u)) (* t1 (- v)) (* (+ t1 u) (+ t1 u)) (- v) (* (- (+ t1 u)) (/ (+ t1 u) (- t1))) v (* (- (+ t1 u)) (/ (+ t1 u) t1)) (- t1) (* (/ (+ t1 u) v) (+ t1 u)) t1 (* (/ (+ t1 u) v) (- (+ t1 u))) 1 (* (/ (+ t1 u) v) (/ (+ t1 u) (- t1))) -1 (* (/ (+ t1 u) v) (/ (+ t1 u) t1)) (* (/ v (+ t1 u)) (/ t1 (+ t1 u))) (* (/ v (+ t1 u)) (- t1)) (* (/ v (+ t1 u)) (/ (- t1) (+ (pow t1 3) (pow u 3)))) (* (/ v (+ t1 u)) (/ (- t1) (- (* t1 t1) (* u u)))) (/ (/ (- t1) (+ t1 u)) (+ t1 u)) (- (* (/ t1 (+ t1 u)) (fma t1 t1 (* u (- u t1))))) (* (- t1 u) (/ (- t1) (+ t1 u))) (* (/ v (+ t1 u)) (- t1)) (* t1 (/ v (+ t1 u))) (/ v (+ t1 u)) (* (/ v (+ t1 u)) -1) (* (/ v (+ t1 u)) (- t1)) (* t1 (/ v (+ t1 u))) (/ (- t1) (+ t1 u)) t1 (- (+ t1 u)) 0 (/ t1 (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) (- t1)) (/ t1 (+ t1 u)) (/ (+ t1 u) t1) (/ (- t1) (+ (pow t1 3) (pow u 3))) (/ (- t1) (- (* t1 t1) (* u u))) (- v) (- (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 0 0 0 0 0 0 0.622 * * * [progress]: adding candidates to table 0.720 * * [progress]: iteration 3 / 4 0.720 * * * [progress]: picking best candidate 0.725 * * * * [pick]: Picked # 0.725 * * * [progress]: localizing error 0.735 * * * [progress]: generating rewritten candidates 0.735 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.742 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.745 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.749 * * * [progress]: generating series expansions 0.749 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.749 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (v t1 u) around 0 0.749 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 0.749 * [taylor]: Taking taylor expansion of -1 in u 0.749 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 0.749 * [taylor]: Taking taylor expansion of (* t1 v) in u 0.749 * [taylor]: Taking taylor expansion of t1 in u 0.749 * [taylor]: Taking taylor expansion of v in u 0.749 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.749 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.749 * [taylor]: Taking taylor expansion of t1 in u 0.749 * [taylor]: Taking taylor expansion of u in u 0.749 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.750 * [taylor]: Taking taylor expansion of -1 in t1 0.750 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.750 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.750 * [taylor]: Taking taylor expansion of t1 in t1 0.750 * [taylor]: Taking taylor expansion of v in t1 0.750 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.750 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.750 * [taylor]: Taking taylor expansion of t1 in t1 0.750 * [taylor]: Taking taylor expansion of u in t1 0.750 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.750 * [taylor]: Taking taylor expansion of -1 in v 0.750 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.750 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.750 * [taylor]: Taking taylor expansion of t1 in v 0.750 * [taylor]: Taking taylor expansion of v in v 0.751 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.751 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.751 * [taylor]: Taking taylor expansion of t1 in v 0.751 * [taylor]: Taking taylor expansion of u in v 0.751 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.751 * [taylor]: Taking taylor expansion of -1 in v 0.751 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.751 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.751 * [taylor]: Taking taylor expansion of t1 in v 0.751 * [taylor]: Taking taylor expansion of v in v 0.751 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.751 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.751 * [taylor]: Taking taylor expansion of t1 in v 0.751 * [taylor]: Taking taylor expansion of u in v 0.752 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (pow (+ t1 u) 2))) in t1 0.752 * [taylor]: Taking taylor expansion of -1 in t1 0.752 * [taylor]: Taking taylor expansion of (/ t1 (pow (+ t1 u) 2)) in t1 0.752 * [taylor]: Taking taylor expansion of t1 in t1 0.752 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.752 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.752 * [taylor]: Taking taylor expansion of t1 in t1 0.752 * [taylor]: Taking taylor expansion of u in t1 0.752 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 0.752 * [taylor]: Taking taylor expansion of -1 in u 0.752 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.752 * [taylor]: Taking taylor expansion of u in u 0.756 * [taylor]: Taking taylor expansion of 0 in t1 0.756 * [taylor]: Taking taylor expansion of 0 in u 0.757 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u 0.757 * [taylor]: Taking taylor expansion of 2 in u 0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 0.757 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.757 * [taylor]: Taking taylor expansion of u in u 0.766 * [taylor]: Taking taylor expansion of 0 in t1 0.766 * [taylor]: Taking taylor expansion of 0 in u 0.766 * [taylor]: Taking taylor expansion of 0 in u 0.767 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 0.767 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.767 * [taylor]: Taking taylor expansion of -1 in u 0.767 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.767 * [taylor]: Taking taylor expansion of t1 in u 0.767 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.767 * [taylor]: Taking taylor expansion of v in u 0.767 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.767 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.767 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.767 * [taylor]: Taking taylor expansion of u in u 0.767 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.767 * [taylor]: Taking taylor expansion of t1 in u 0.768 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.768 * [taylor]: Taking taylor expansion of -1 in t1 0.768 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.768 * [taylor]: Taking taylor expansion of t1 in t1 0.768 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.768 * [taylor]: Taking taylor expansion of v in t1 0.768 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.768 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.768 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.768 * [taylor]: Taking taylor expansion of u in t1 0.768 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.768 * [taylor]: Taking taylor expansion of t1 in t1 0.770 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.770 * [taylor]: Taking taylor expansion of -1 in v 0.770 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.770 * [taylor]: Taking taylor expansion of t1 in v 0.770 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.770 * [taylor]: Taking taylor expansion of v in v 0.770 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.770 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.770 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.770 * [taylor]: Taking taylor expansion of u in v 0.770 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.770 * [taylor]: Taking taylor expansion of t1 in v 0.772 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.772 * [taylor]: Taking taylor expansion of -1 in v 0.772 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.773 * [taylor]: Taking taylor expansion of t1 in v 0.773 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.773 * [taylor]: Taking taylor expansion of v in v 0.773 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.773 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.773 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.773 * [taylor]: Taking taylor expansion of u in v 0.773 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.773 * [taylor]: Taking taylor expansion of t1 in v 0.775 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 0.775 * [taylor]: Taking taylor expansion of -1 in t1 0.775 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 0.775 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 0.775 * [taylor]: Taking taylor expansion of t1 in t1 0.775 * [taylor]: Taking taylor expansion of (pow u 2) in t1 0.775 * [taylor]: Taking taylor expansion of u in t1 0.775 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 0.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 0.775 * [taylor]: Taking taylor expansion of 2 in t1 0.775 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.775 * [taylor]: Taking taylor expansion of u in t1 0.775 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.775 * [taylor]: Taking taylor expansion of t1 in t1 0.776 * [taylor]: Taking taylor expansion of -1 in u 0.779 * [taylor]: Taking taylor expansion of 0 in t1 0.779 * [taylor]: Taking taylor expansion of 0 in u 0.780 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.780 * [taylor]: Taking taylor expansion of 2 in u 0.780 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.780 * [taylor]: Taking taylor expansion of u in u 0.786 * [taylor]: Taking taylor expansion of 0 in t1 0.786 * [taylor]: Taking taylor expansion of 0 in u 0.786 * [taylor]: Taking taylor expansion of 0 in u 0.786 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 0.786 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.786 * [taylor]: Taking taylor expansion of -1 in u 0.786 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.786 * [taylor]: Taking taylor expansion of t1 in u 0.786 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.786 * [taylor]: Taking taylor expansion of v in u 0.786 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.786 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.786 * [taylor]: Taking taylor expansion of u in u 0.787 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.787 * [taylor]: Taking taylor expansion of t1 in u 0.787 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.787 * [taylor]: Taking taylor expansion of -1 in t1 0.787 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.787 * [taylor]: Taking taylor expansion of t1 in t1 0.787 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.787 * [taylor]: Taking taylor expansion of v in t1 0.787 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.788 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.788 * [taylor]: Taking taylor expansion of u in t1 0.788 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.788 * [taylor]: Taking taylor expansion of t1 in t1 0.789 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.789 * [taylor]: Taking taylor expansion of -1 in v 0.789 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.789 * [taylor]: Taking taylor expansion of t1 in v 0.789 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.789 * [taylor]: Taking taylor expansion of v in v 0.789 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.789 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.789 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.789 * [taylor]: Taking taylor expansion of u in v 0.790 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.790 * [taylor]: Taking taylor expansion of t1 in v 0.792 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.792 * [taylor]: Taking taylor expansion of -1 in v 0.792 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.792 * [taylor]: Taking taylor expansion of t1 in v 0.792 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.792 * [taylor]: Taking taylor expansion of v in v 0.792 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.792 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.792 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.792 * [taylor]: Taking taylor expansion of u in v 0.792 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.792 * [taylor]: Taking taylor expansion of t1 in v 0.794 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 0.794 * [taylor]: Taking taylor expansion of -1 in t1 0.794 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 0.794 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 0.794 * [taylor]: Taking taylor expansion of t1 in t1 0.794 * [taylor]: Taking taylor expansion of (pow u 2) in t1 0.794 * [taylor]: Taking taylor expansion of u in t1 0.794 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 0.794 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 0.794 * [taylor]: Taking taylor expansion of 2 in t1 0.794 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.794 * [taylor]: Taking taylor expansion of u in t1 0.794 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.794 * [taylor]: Taking taylor expansion of t1 in t1 0.795 * [taylor]: Taking taylor expansion of -1 in u 0.798 * [taylor]: Taking taylor expansion of 0 in t1 0.798 * [taylor]: Taking taylor expansion of 0 in u 0.799 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.799 * [taylor]: Taking taylor expansion of 2 in u 0.799 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.799 * [taylor]: Taking taylor expansion of u in u 0.805 * [taylor]: Taking taylor expansion of 0 in t1 0.805 * [taylor]: Taking taylor expansion of 0 in u 0.805 * [taylor]: Taking taylor expansion of 0 in u 0.805 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.806 * [approximate]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in (t1 u) around 0 0.806 * [taylor]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in u 0.806 * [taylor]: Taking taylor expansion of -1 in u 0.806 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in u 0.806 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.806 * [taylor]: Taking taylor expansion of t1 in u 0.806 * [taylor]: Taking taylor expansion of u in u 0.806 * [taylor]: Taking taylor expansion of t1 in u 0.806 * [taylor]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in t1 0.806 * [taylor]: Taking taylor expansion of -1 in t1 0.806 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in t1 0.806 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.806 * [taylor]: Taking taylor expansion of t1 in t1 0.806 * [taylor]: Taking taylor expansion of u in t1 0.806 * [taylor]: Taking taylor expansion of t1 in t1 0.806 * [taylor]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in t1 0.806 * [taylor]: Taking taylor expansion of -1 in t1 0.806 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in t1 0.806 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.806 * [taylor]: Taking taylor expansion of t1 in t1 0.806 * [taylor]: Taking taylor expansion of u in t1 0.806 * [taylor]: Taking taylor expansion of t1 in t1 0.806 * [taylor]: Taking taylor expansion of (* -1 u) in u 0.806 * [taylor]: Taking taylor expansion of -1 in u 0.806 * [taylor]: Taking taylor expansion of u in u 0.808 * [taylor]: Taking taylor expansion of (- 1) in u 0.808 * [taylor]: Taking taylor expansion of 1 in u 0.810 * [taylor]: Taking taylor expansion of 0 in u 0.813 * [taylor]: Taking taylor expansion of 0 in u 0.813 * [approximate]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.813 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.813 * [taylor]: Taking taylor expansion of -1 in u 0.813 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.813 * [taylor]: Taking taylor expansion of t1 in u 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.814 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.814 * [taylor]: Taking taylor expansion of u in u 0.814 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.814 * [taylor]: Taking taylor expansion of t1 in u 0.814 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.814 * [taylor]: Taking taylor expansion of -1 in t1 0.814 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.814 * [taylor]: Taking taylor expansion of t1 in t1 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.814 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.814 * [taylor]: Taking taylor expansion of u in t1 0.814 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.814 * [taylor]: Taking taylor expansion of t1 in t1 0.814 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.814 * [taylor]: Taking taylor expansion of -1 in t1 0.814 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.814 * [taylor]: Taking taylor expansion of t1 in t1 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.814 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.814 * [taylor]: Taking taylor expansion of u in t1 0.814 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.814 * [taylor]: Taking taylor expansion of t1 in t1 0.816 * [taylor]: Taking taylor expansion of 0 in u 0.817 * [taylor]: Taking taylor expansion of -1 in u 0.819 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.819 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.819 * [taylor]: Taking taylor expansion of u in u 0.822 * [taylor]: Taking taylor expansion of 0 in u 0.829 * [taylor]: Taking taylor expansion of 0 in u 0.830 * [approximate]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.830 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.830 * [taylor]: Taking taylor expansion of -1 in u 0.830 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.830 * [taylor]: Taking taylor expansion of t1 in u 0.830 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.830 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.830 * [taylor]: Taking taylor expansion of u in u 0.830 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.830 * [taylor]: Taking taylor expansion of t1 in u 0.830 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.830 * [taylor]: Taking taylor expansion of -1 in t1 0.830 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.830 * [taylor]: Taking taylor expansion of t1 in t1 0.830 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.830 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.830 * [taylor]: Taking taylor expansion of u in t1 0.830 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.830 * [taylor]: Taking taylor expansion of t1 in t1 0.831 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.831 * [taylor]: Taking taylor expansion of -1 in t1 0.831 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.831 * [taylor]: Taking taylor expansion of t1 in t1 0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.831 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.831 * [taylor]: Taking taylor expansion of u in t1 0.831 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.831 * [taylor]: Taking taylor expansion of t1 in t1 0.832 * [taylor]: Taking taylor expansion of 0 in u 0.833 * [taylor]: Taking taylor expansion of -1 in u 0.835 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.835 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.835 * [taylor]: Taking taylor expansion of u in u 0.838 * [taylor]: Taking taylor expansion of 0 in u 0.841 * [taylor]: Taking taylor expansion of 0 in u 0.842 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.842 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 0.842 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 0.842 * [taylor]: Taking taylor expansion of v in u 0.842 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.842 * [taylor]: Taking taylor expansion of t1 in u 0.842 * [taylor]: Taking taylor expansion of u in u 0.842 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 0.842 * [taylor]: Taking taylor expansion of v in t1 0.842 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.843 * [taylor]: Taking taylor expansion of t1 in t1 0.843 * [taylor]: Taking taylor expansion of u in t1 0.843 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 0.843 * [taylor]: Taking taylor expansion of v in v 0.843 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.843 * [taylor]: Taking taylor expansion of t1 in v 0.843 * [taylor]: Taking taylor expansion of u in v 0.843 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 0.843 * [taylor]: Taking taylor expansion of v in v 0.843 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.843 * [taylor]: Taking taylor expansion of t1 in v 0.843 * [taylor]: Taking taylor expansion of u in v 0.843 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 0.843 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.843 * [taylor]: Taking taylor expansion of t1 in t1 0.843 * [taylor]: Taking taylor expansion of u in t1 0.843 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.843 * [taylor]: Taking taylor expansion of u in u 0.844 * [taylor]: Taking taylor expansion of 0 in t1 0.844 * [taylor]: Taking taylor expansion of 0 in u 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.845 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.845 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.845 * [taylor]: Taking taylor expansion of u in u 0.848 * [taylor]: Taking taylor expansion of 0 in t1 0.848 * [taylor]: Taking taylor expansion of 0 in u 0.848 * [taylor]: Taking taylor expansion of 0 in u 0.848 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 0.848 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 0.848 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.848 * [taylor]: Taking taylor expansion of v in u 0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.848 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.848 * [taylor]: Taking taylor expansion of u in u 0.849 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.849 * [taylor]: Taking taylor expansion of t1 in u 0.849 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 0.849 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.849 * [taylor]: Taking taylor expansion of v in t1 0.849 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.849 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.849 * [taylor]: Taking taylor expansion of u in t1 0.849 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.849 * [taylor]: Taking taylor expansion of t1 in t1 0.850 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.850 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.850 * [taylor]: Taking taylor expansion of v in v 0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.850 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.850 * [taylor]: Taking taylor expansion of u in v 0.850 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.850 * [taylor]: Taking taylor expansion of t1 in v 0.851 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.851 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.851 * [taylor]: Taking taylor expansion of v in v 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.851 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.851 * [taylor]: Taking taylor expansion of u in v 0.851 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.851 * [taylor]: Taking taylor expansion of t1 in v 0.852 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.852 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.852 * [taylor]: Taking taylor expansion of u in t1 0.852 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.852 * [taylor]: Taking taylor expansion of t1 in t1 0.853 * [taylor]: Taking taylor expansion of 1 in u 0.854 * [taylor]: Taking taylor expansion of 0 in t1 0.854 * [taylor]: Taking taylor expansion of 0 in u 0.855 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.855 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.855 * [taylor]: Taking taylor expansion of u in u 0.858 * [taylor]: Taking taylor expansion of 0 in t1 0.858 * [taylor]: Taking taylor expansion of 0 in u 0.858 * [taylor]: Taking taylor expansion of 0 in u 0.858 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 0.858 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 0.858 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.858 * [taylor]: Taking taylor expansion of v in u 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.858 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.858 * [taylor]: Taking taylor expansion of u in u 0.859 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.859 * [taylor]: Taking taylor expansion of t1 in u 0.859 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 0.859 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.859 * [taylor]: Taking taylor expansion of v in t1 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.859 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.859 * [taylor]: Taking taylor expansion of u in t1 0.859 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.859 * [taylor]: Taking taylor expansion of t1 in t1 0.860 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.860 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.860 * [taylor]: Taking taylor expansion of v in v 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.860 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.860 * [taylor]: Taking taylor expansion of u in v 0.860 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.860 * [taylor]: Taking taylor expansion of t1 in v 0.861 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.861 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.861 * [taylor]: Taking taylor expansion of v in v 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.861 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.861 * [taylor]: Taking taylor expansion of u in v 0.861 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.861 * [taylor]: Taking taylor expansion of t1 in v 0.862 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.862 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.862 * [taylor]: Taking taylor expansion of u in t1 0.862 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.862 * [taylor]: Taking taylor expansion of t1 in t1 0.862 * [taylor]: Taking taylor expansion of 1 in u 0.864 * [taylor]: Taking taylor expansion of 0 in t1 0.864 * [taylor]: Taking taylor expansion of 0 in u 0.864 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.864 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.864 * [taylor]: Taking taylor expansion of u in u 0.867 * [taylor]: Taking taylor expansion of 0 in t1 0.867 * [taylor]: Taking taylor expansion of 0 in u 0.867 * [taylor]: Taking taylor expansion of 0 in u 0.867 * * * [progress]: simplifying candidates 0.868 * [simplify]: Simplifying using # : (- (/ v (+ t1 u))) (- (/ (+ t1 u) (- t1))) (/ v (+ t1 u)) (/ (/ 1 (+ t1 u)) (/ 1 (- t1))) (/ (/ v (+ (pow t1 3) (pow u 3))) (+ t1 u)) (/ (+ (* t1 t1) (- (* u u) (* t1 u))) (/ 1 (- t1))) (/ (/ v (- (* t1 t1) (* u u))) (+ t1 u)) (/ (- t1 u) (/ 1 (- t1))) (/ 1 (/ (+ t1 u) (- t1))) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (/ (+ t1 u) (- t1)) (/ 1 (+ t1 u))) (/ (/ (+ t1 u) (- t1)) (+ (* t1 t1) (- (* u u) (* t1 u)))) (/ (/ (+ t1 u) (- t1)) (- t1 u)) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (/ v (+ t1 u)) (- (+ t1 u))) (/ (/ v (+ t1 u)) 1) (/ (/ v (+ t1 u)) (/ (+ t1 u) -1)) (/ (/ v (+ t1 u)) (+ (pow t1 3) (pow u 3))) (/ (/ v (+ t1 u)) (- (* t1 t1) (* u u))) (* (/ (+ t1 u) (- t1)) (+ t1 u)) (* (/ (+ t1 u) (- t1)) (- (+ t1 u))) (* (/ (+ t1 u) (- t1)) (/ (+ t1 u) v)) (- (+ t1 u)) (- (- t1)) (/ 1 (- t1)) (/ (- t1) (+ t1 u)) (/ (+ t1 u) -1) (* (- t1) (+ (* t1 t1) (- (* u u) (* t1 u)))) (* (- t1) (- t1 u)) (- v) (- (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ 1 (/ u t1))) (- (+ (/ u t1) 1)) (- (+ (/ u t1) 1)) 0 0 0 0.871 * * [simplify]: iteration 0 : 161 enodes (cost 157 ) 0.874 * * [simplify]: iteration 1 : 544 enodes (cost 150 ) 0.884 * * [simplify]: iteration 2 : 2333 enodes (cost 146 ) 0.914 * * [simplify]: iteration 3 : 5002 enodes (cost 146 ) 0.915 * [simplify]: Simplified to: (* (/ v (+ t1 u)) -1) (- (/ (+ t1 u) (- t1))) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ (/ v (+ (pow t1 3) (pow u 3))) (+ t1 u)) (* (- t1) (fma t1 t1 (* u (- u t1)))) (/ (/ v (- (* t1 t1) (* u u))) (+ t1 u)) (* (- u t1) t1) (/ (- t1) (+ t1 u)) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (/ (/ v (+ t1 u)) (+ t1 u)) (* (/ (+ t1 u) (- t1)) (+ t1 u)) (/ (/ (+ t1 u) (- t1)) (fma t1 t1 (* u (- u t1)))) (/ (/ (+ t1 u) (- t1)) (- t1 u)) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (/ v (+ t1 u)) (- (+ t1 u))) (/ v (+ t1 u)) (/ (/ v (+ t1 u)) (/ (+ t1 u) -1)) (/ (/ v (+ (pow t1 3) (pow u 3))) (+ t1 u)) (/ (/ v (- (* t1 t1) (* u u))) (+ t1 u)) (* (/ (+ t1 u) (- t1)) (+ t1 u)) (* (/ (+ t1 u) (- t1)) (- (+ t1 u))) (/ (/ (+ t1 u) (- t1)) (/ v (+ t1 u))) (- (+ t1 u)) t1 (/ 1 (- t1)) (/ (- t1) (+ t1 u)) (/ (+ t1 u) -1) (* (- t1) (fma t1 t1 (* u (- u t1)))) (* (- u t1) t1) (* v -1) (- (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ (/ u t1) 1)) (- (+ (/ u t1) 1)) (- (+ (/ u t1) 1)) 0 0 0 0.915 * * * [progress]: adding candidates to table 0.987 * * [progress]: iteration 4 / 4 0.987 * * * [progress]: picking best candidate 0.991 * * * * [pick]: Picked # 0.991 * * * [progress]: localizing error 1.000 * * * [progress]: generating rewritten candidates 1.000 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.008 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.012 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.017 * * * [progress]: generating series expansions 1.017 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.017 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (v t1 u) around 0 1.018 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 1.018 * [taylor]: Taking taylor expansion of -1 in u 1.018 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 1.018 * [taylor]: Taking taylor expansion of (* t1 v) in u 1.018 * [taylor]: Taking taylor expansion of t1 in u 1.018 * [taylor]: Taking taylor expansion of v in u 1.018 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 1.018 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.018 * [taylor]: Taking taylor expansion of t1 in u 1.018 * [taylor]: Taking taylor expansion of u in u 1.018 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 1.018 * [taylor]: Taking taylor expansion of -1 in t1 1.018 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 1.018 * [taylor]: Taking taylor expansion of (* t1 v) in t1 1.018 * [taylor]: Taking taylor expansion of t1 in t1 1.018 * [taylor]: Taking taylor expansion of v in t1 1.018 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.018 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.018 * [taylor]: Taking taylor expansion of t1 in t1 1.018 * [taylor]: Taking taylor expansion of u in t1 1.019 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 1.019 * [taylor]: Taking taylor expansion of -1 in v 1.019 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 1.019 * [taylor]: Taking taylor expansion of (* t1 v) in v 1.019 * [taylor]: Taking taylor expansion of t1 in v 1.019 * [taylor]: Taking taylor expansion of v in v 1.019 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 1.019 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.019 * [taylor]: Taking taylor expansion of t1 in v 1.019 * [taylor]: Taking taylor expansion of u in v 1.019 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 1.019 * [taylor]: Taking taylor expansion of -1 in v 1.019 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 1.019 * [taylor]: Taking taylor expansion of (* t1 v) in v 1.019 * [taylor]: Taking taylor expansion of t1 in v 1.019 * [taylor]: Taking taylor expansion of v in v 1.019 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 1.019 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.019 * [taylor]: Taking taylor expansion of t1 in v 1.019 * [taylor]: Taking taylor expansion of u in v 1.020 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (pow (+ t1 u) 2))) in t1 1.020 * [taylor]: Taking taylor expansion of -1 in t1 1.020 * [taylor]: Taking taylor expansion of (/ t1 (pow (+ t1 u) 2)) in t1 1.020 * [taylor]: Taking taylor expansion of t1 in t1 1.020 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.020 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.020 * [taylor]: Taking taylor expansion of t1 in t1 1.020 * [taylor]: Taking taylor expansion of u in t1 1.020 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 1.020 * [taylor]: Taking taylor expansion of -1 in u 1.020 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.020 * [taylor]: Taking taylor expansion of u in u 1.024 * [taylor]: Taking taylor expansion of 0 in t1 1.024 * [taylor]: Taking taylor expansion of 0 in u 1.025 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u 1.025 * [taylor]: Taking taylor expansion of 2 in u 1.025 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 1.025 * [taylor]: Taking taylor expansion of (pow u 3) in u 1.025 * [taylor]: Taking taylor expansion of u in u 1.033 * [taylor]: Taking taylor expansion of 0 in t1 1.033 * [taylor]: Taking taylor expansion of 0 in u 1.033 * [taylor]: Taking taylor expansion of 0 in u 1.034 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 1.034 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 1.034 * [taylor]: Taking taylor expansion of -1 in u 1.034 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 1.034 * [taylor]: Taking taylor expansion of t1 in u 1.034 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 1.034 * [taylor]: Taking taylor expansion of v in u 1.034 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.034 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.034 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.034 * [taylor]: Taking taylor expansion of u in u 1.034 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.034 * [taylor]: Taking taylor expansion of t1 in u 1.035 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.035 * [taylor]: Taking taylor expansion of -1 in t1 1.035 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.035 * [taylor]: Taking taylor expansion of t1 in t1 1.035 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.035 * [taylor]: Taking taylor expansion of v in t1 1.035 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.035 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.035 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.035 * [taylor]: Taking taylor expansion of u in t1 1.035 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.035 * [taylor]: Taking taylor expansion of t1 in t1 1.037 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.037 * [taylor]: Taking taylor expansion of -1 in v 1.037 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.037 * [taylor]: Taking taylor expansion of t1 in v 1.037 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.037 * [taylor]: Taking taylor expansion of v in v 1.037 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.037 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.037 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.037 * [taylor]: Taking taylor expansion of u in v 1.037 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.037 * [taylor]: Taking taylor expansion of t1 in v 1.039 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.039 * [taylor]: Taking taylor expansion of -1 in v 1.039 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.039 * [taylor]: Taking taylor expansion of t1 in v 1.039 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.039 * [taylor]: Taking taylor expansion of v in v 1.039 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.039 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.039 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.039 * [taylor]: Taking taylor expansion of u in v 1.039 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.039 * [taylor]: Taking taylor expansion of t1 in v 1.041 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 1.041 * [taylor]: Taking taylor expansion of -1 in t1 1.041 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 1.041 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 1.041 * [taylor]: Taking taylor expansion of t1 in t1 1.041 * [taylor]: Taking taylor expansion of (pow u 2) in t1 1.041 * [taylor]: Taking taylor expansion of u in t1 1.041 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 1.041 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 1.041 * [taylor]: Taking taylor expansion of 2 in t1 1.041 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.041 * [taylor]: Taking taylor expansion of u in t1 1.041 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.041 * [taylor]: Taking taylor expansion of t1 in t1 1.042 * [taylor]: Taking taylor expansion of -1 in u 1.045 * [taylor]: Taking taylor expansion of 0 in t1 1.045 * [taylor]: Taking taylor expansion of 0 in u 1.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 1.046 * [taylor]: Taking taylor expansion of 2 in u 1.046 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.046 * [taylor]: Taking taylor expansion of u in u 1.051 * [taylor]: Taking taylor expansion of 0 in t1 1.052 * [taylor]: Taking taylor expansion of 0 in u 1.052 * [taylor]: Taking taylor expansion of 0 in u 1.052 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 1.052 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 1.052 * [taylor]: Taking taylor expansion of -1 in u 1.052 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 1.052 * [taylor]: Taking taylor expansion of t1 in u 1.052 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 1.052 * [taylor]: Taking taylor expansion of v in u 1.052 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.052 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.052 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.052 * [taylor]: Taking taylor expansion of u in u 1.052 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.052 * [taylor]: Taking taylor expansion of t1 in u 1.053 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.053 * [taylor]: Taking taylor expansion of -1 in t1 1.053 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.053 * [taylor]: Taking taylor expansion of t1 in t1 1.053 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.053 * [taylor]: Taking taylor expansion of v in t1 1.053 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.053 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.053 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.053 * [taylor]: Taking taylor expansion of u in t1 1.053 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.053 * [taylor]: Taking taylor expansion of t1 in t1 1.055 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.055 * [taylor]: Taking taylor expansion of -1 in v 1.055 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.055 * [taylor]: Taking taylor expansion of t1 in v 1.055 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.055 * [taylor]: Taking taylor expansion of v in v 1.055 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.055 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.055 * [taylor]: Taking taylor expansion of u in v 1.055 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.055 * [taylor]: Taking taylor expansion of t1 in v 1.057 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.057 * [taylor]: Taking taylor expansion of -1 in v 1.057 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.057 * [taylor]: Taking taylor expansion of t1 in v 1.057 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.057 * [taylor]: Taking taylor expansion of v in v 1.057 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.057 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.057 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.057 * [taylor]: Taking taylor expansion of u in v 1.057 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.057 * [taylor]: Taking taylor expansion of t1 in v 1.059 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 1.059 * [taylor]: Taking taylor expansion of -1 in t1 1.059 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 1.059 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 1.059 * [taylor]: Taking taylor expansion of t1 in t1 1.059 * [taylor]: Taking taylor expansion of (pow u 2) in t1 1.059 * [taylor]: Taking taylor expansion of u in t1 1.059 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 1.059 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 1.059 * [taylor]: Taking taylor expansion of 2 in t1 1.059 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.059 * [taylor]: Taking taylor expansion of u in t1 1.059 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.059 * [taylor]: Taking taylor expansion of t1 in t1 1.060 * [taylor]: Taking taylor expansion of -1 in u 1.063 * [taylor]: Taking taylor expansion of 0 in t1 1.063 * [taylor]: Taking taylor expansion of 0 in u 1.064 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 1.064 * [taylor]: Taking taylor expansion of 2 in u 1.064 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.064 * [taylor]: Taking taylor expansion of u in u 1.074 * [taylor]: Taking taylor expansion of 0 in t1 1.074 * [taylor]: Taking taylor expansion of 0 in u 1.074 * [taylor]: Taking taylor expansion of 0 in u 1.074 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.074 * [approximate]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in (t1 u) around 0 1.074 * [taylor]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in u 1.074 * [taylor]: Taking taylor expansion of -1 in u 1.074 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in u 1.074 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.074 * [taylor]: Taking taylor expansion of t1 in u 1.074 * [taylor]: Taking taylor expansion of u in u 1.074 * [taylor]: Taking taylor expansion of t1 in u 1.074 * [taylor]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in t1 1.074 * [taylor]: Taking taylor expansion of -1 in t1 1.074 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in t1 1.074 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.074 * [taylor]: Taking taylor expansion of t1 in t1 1.074 * [taylor]: Taking taylor expansion of u in t1 1.074 * [taylor]: Taking taylor expansion of t1 in t1 1.074 * [taylor]: Taking taylor expansion of (* -1 (/ (+ t1 u) t1)) in t1 1.074 * [taylor]: Taking taylor expansion of -1 in t1 1.074 * [taylor]: Taking taylor expansion of (/ (+ t1 u) t1) in t1 1.074 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.074 * [taylor]: Taking taylor expansion of t1 in t1 1.074 * [taylor]: Taking taylor expansion of u in t1 1.074 * [taylor]: Taking taylor expansion of t1 in t1 1.075 * [taylor]: Taking taylor expansion of (* -1 u) in u 1.075 * [taylor]: Taking taylor expansion of -1 in u 1.075 * [taylor]: Taking taylor expansion of u in u 1.076 * [taylor]: Taking taylor expansion of (- 1) in u 1.076 * [taylor]: Taking taylor expansion of 1 in u 1.078 * [taylor]: Taking taylor expansion of 0 in u 1.081 * [taylor]: Taking taylor expansion of 0 in u 1.082 * [approximate]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 1.082 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 1.082 * [taylor]: Taking taylor expansion of -1 in u 1.082 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 1.082 * [taylor]: Taking taylor expansion of t1 in u 1.082 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.082 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.082 * [taylor]: Taking taylor expansion of u in u 1.082 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.082 * [taylor]: Taking taylor expansion of t1 in u 1.082 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.082 * [taylor]: Taking taylor expansion of -1 in t1 1.082 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.082 * [taylor]: Taking taylor expansion of t1 in t1 1.082 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.082 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.082 * [taylor]: Taking taylor expansion of u in t1 1.082 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.082 * [taylor]: Taking taylor expansion of t1 in t1 1.082 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.082 * [taylor]: Taking taylor expansion of -1 in t1 1.082 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.083 * [taylor]: Taking taylor expansion of t1 in t1 1.083 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.083 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.083 * [taylor]: Taking taylor expansion of u in t1 1.083 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.083 * [taylor]: Taking taylor expansion of t1 in t1 1.084 * [taylor]: Taking taylor expansion of 0 in u 1.085 * [taylor]: Taking taylor expansion of -1 in u 1.087 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.087 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.087 * [taylor]: Taking taylor expansion of u in u 1.089 * [taylor]: Taking taylor expansion of 0 in u 1.093 * [taylor]: Taking taylor expansion of 0 in u 1.094 * [approximate]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 1.094 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 1.094 * [taylor]: Taking taylor expansion of -1 in u 1.094 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 1.094 * [taylor]: Taking taylor expansion of t1 in u 1.094 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.094 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.094 * [taylor]: Taking taylor expansion of u in u 1.094 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.094 * [taylor]: Taking taylor expansion of t1 in u 1.094 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.094 * [taylor]: Taking taylor expansion of -1 in t1 1.094 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.094 * [taylor]: Taking taylor expansion of t1 in t1 1.094 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.094 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.094 * [taylor]: Taking taylor expansion of u in t1 1.094 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.094 * [taylor]: Taking taylor expansion of t1 in t1 1.095 * [taylor]: Taking taylor expansion of (* -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.095 * [taylor]: Taking taylor expansion of -1 in t1 1.095 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.095 * [taylor]: Taking taylor expansion of t1 in t1 1.095 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.095 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.095 * [taylor]: Taking taylor expansion of u in t1 1.095 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.095 * [taylor]: Taking taylor expansion of t1 in t1 1.096 * [taylor]: Taking taylor expansion of 0 in u 1.097 * [taylor]: Taking taylor expansion of -1 in u 1.099 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.099 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.099 * [taylor]: Taking taylor expansion of u in u 1.102 * [taylor]: Taking taylor expansion of 0 in u 1.105 * [taylor]: Taking taylor expansion of 0 in u 1.106 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.106 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 1.106 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 1.106 * [taylor]: Taking taylor expansion of v in u 1.106 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.106 * [taylor]: Taking taylor expansion of t1 in u 1.106 * [taylor]: Taking taylor expansion of u in u 1.106 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 1.106 * [taylor]: Taking taylor expansion of v in t1 1.106 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.106 * [taylor]: Taking taylor expansion of t1 in t1 1.106 * [taylor]: Taking taylor expansion of u in t1 1.106 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 1.106 * [taylor]: Taking taylor expansion of v in v 1.106 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.106 * [taylor]: Taking taylor expansion of t1 in v 1.106 * [taylor]: Taking taylor expansion of u in v 1.106 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 1.107 * [taylor]: Taking taylor expansion of v in v 1.107 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.107 * [taylor]: Taking taylor expansion of t1 in v 1.107 * [taylor]: Taking taylor expansion of u in v 1.107 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 1.107 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.107 * [taylor]: Taking taylor expansion of t1 in t1 1.107 * [taylor]: Taking taylor expansion of u in t1 1.107 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.107 * [taylor]: Taking taylor expansion of u in u 1.108 * [taylor]: Taking taylor expansion of 0 in t1 1.108 * [taylor]: Taking taylor expansion of 0 in u 1.108 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 1.108 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.108 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.108 * [taylor]: Taking taylor expansion of u in u 1.112 * [taylor]: Taking taylor expansion of 0 in t1 1.112 * [taylor]: Taking taylor expansion of 0 in u 1.112 * [taylor]: Taking taylor expansion of 0 in u 1.112 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 1.112 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 1.112 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 1.112 * [taylor]: Taking taylor expansion of v in u 1.112 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.112 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.112 * [taylor]: Taking taylor expansion of u in u 1.112 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.112 * [taylor]: Taking taylor expansion of t1 in u 1.113 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 1.113 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 1.113 * [taylor]: Taking taylor expansion of v in t1 1.113 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.113 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.113 * [taylor]: Taking taylor expansion of u in t1 1.113 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.113 * [taylor]: Taking taylor expansion of t1 in t1 1.113 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.113 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.113 * [taylor]: Taking taylor expansion of v in v 1.113 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.113 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.113 * [taylor]: Taking taylor expansion of u in v 1.113 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.113 * [taylor]: Taking taylor expansion of t1 in v 1.114 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.114 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.114 * [taylor]: Taking taylor expansion of v in v 1.114 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.114 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.114 * [taylor]: Taking taylor expansion of u in v 1.114 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.114 * [taylor]: Taking taylor expansion of t1 in v 1.115 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 1.115 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.115 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.115 * [taylor]: Taking taylor expansion of u in t1 1.115 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.115 * [taylor]: Taking taylor expansion of t1 in t1 1.116 * [taylor]: Taking taylor expansion of 1 in u 1.117 * [taylor]: Taking taylor expansion of 0 in t1 1.117 * [taylor]: Taking taylor expansion of 0 in u 1.118 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.118 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.118 * [taylor]: Taking taylor expansion of u in u 1.121 * [taylor]: Taking taylor expansion of 0 in t1 1.121 * [taylor]: Taking taylor expansion of 0 in u 1.121 * [taylor]: Taking taylor expansion of 0 in u 1.121 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 1.121 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 1.121 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 1.121 * [taylor]: Taking taylor expansion of v in u 1.121 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.121 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.121 * [taylor]: Taking taylor expansion of u in u 1.121 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.121 * [taylor]: Taking taylor expansion of t1 in u 1.122 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 1.122 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 1.122 * [taylor]: Taking taylor expansion of v in t1 1.122 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.122 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.122 * [taylor]: Taking taylor expansion of u in t1 1.122 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.122 * [taylor]: Taking taylor expansion of t1 in t1 1.122 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.122 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.122 * [taylor]: Taking taylor expansion of v in v 1.122 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.122 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.122 * [taylor]: Taking taylor expansion of u in v 1.122 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.122 * [taylor]: Taking taylor expansion of t1 in v 1.123 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.123 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.123 * [taylor]: Taking taylor expansion of v in v 1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.123 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.123 * [taylor]: Taking taylor expansion of u in v 1.123 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.123 * [taylor]: Taking taylor expansion of t1 in v 1.124 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.124 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.124 * [taylor]: Taking taylor expansion of u in t1 1.124 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.124 * [taylor]: Taking taylor expansion of t1 in t1 1.125 * [taylor]: Taking taylor expansion of 1 in u 1.126 * [taylor]: Taking taylor expansion of 0 in t1 1.126 * [taylor]: Taking taylor expansion of 0 in u 1.127 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.127 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.127 * [taylor]: Taking taylor expansion of u in u 1.130 * [taylor]: Taking taylor expansion of 0 in t1 1.130 * [taylor]: Taking taylor expansion of 0 in u 1.130 * [taylor]: Taking taylor expansion of 0 in u 1.130 * * * [progress]: simplifying candidates 1.131 * [simplify]: Simplifying using # : (- (/ v (+ t1 u))) (- (* (+ t1 u) (/ 1 (- t1)))) (/ v (+ t1 u)) (/ (/ 1 (+ t1 u)) (/ 1 (- t1))) (/ v (* (+ t1 u) 1)) (/ (/ 1 (+ t1 u)) (/ 1 (- t1))) (/ v (/ 1 (- t1))) (/ (/ 1 (+ t1 u)) (+ t1 u)) (/ (/ v (+ (pow t1 3) (pow u 3))) (+ t1 u)) (/ (+ (* t1 t1) (- (* u u) (* t1 u))) (/ 1 (- t1))) (/ (/ v (+ (pow t1 3) (pow u 3))) (* (+ t1 u) 1)) (/ (+ (* t1 t1) (- (* u u) (* t1 u))) (/ 1 (- t1))) (/ (/ v (+ (pow t1 3) (pow u 3))) (/ 1 (- t1))) (/ (+ (* t1 t1) (- (* u u) (* t1 u))) (+ t1 u)) (/ (/ v (- (* t1 t1) (* u u))) (+ t1 u)) (/ (- t1 u) (/ 1 (- t1))) (/ (/ v (- (* t1 t1) (* u u))) (* (+ t1 u) 1)) (/ (- t1 u) (/ 1 (- t1))) (/ (/ v (- (* t1 t1) (* u u))) (/ 1 (- t1))) (/ (- t1 u) (+ t1 u)) (/ 1 (* (+ t1 u) (/ 1 (- t1)))) (/ (* (+ t1 u) (/ 1 (- t1))) (/ v (+ t1 u))) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (/ v (+ t1 u)) (* (+ t1 u) 1)) (/ (/ v (+ t1 u)) (/ 1 (- t1))) (/ (* (+ t1 u) (/ 1 (- t1))) (/ 1 (+ t1 u))) (/ (* (+ t1 u) (/ 1 (- t1))) (+ (* t1 t1) (- (* u u) (* t1 u)))) (/ (* (+ t1 u) (/ 1 (- t1))) (- t1 u)) (/ (/ v (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) 1)) (/ (/ v (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (- 1))) (/ (/ v (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) 1)) (/ (/ v (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (/ 1 -1))) (/ (/ v (+ t1 u)) (* (- (* t1 t1) (* u u)) 1)) (/ (/ v (+ t1 u)) (* (- (* t1 t1) (* u u)) (- 1))) (/ (/ v (+ t1 u)) (* (- (* t1 t1) (* u u)) 1)) (/ (/ v (+ t1 u)) (* (- (* t1 t1) (* u u)) (/ 1 -1))) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (/ v (+ t1 u)) (+ t1 u)) (/ (/ v (+ t1 u)) (* (+ t1 u) 1)) (/ (/ v (+ t1 u)) (* (+ t1 u) (- 1))) (/ (/ v (+ t1 u)) (* (+ t1 u) 1)) (/ (/ v (+ t1 u)) (* (+ t1 u) (/ 1 -1))) (/ (/ v (+ t1 u)) (* (+ (pow t1 3) (pow u 3)) (/ 1 (- t1)))) (/ (/ v (+ t1 u)) (* (- (* t1 t1) (* u u)) (/ 1 (- t1)))) (* (* (+ t1 u) (/ 1 (- t1))) (+ t1 u)) (* (* (+ t1 u) (/ 1 (- t1))) (- (+ t1 u))) (* (* (+ t1 u) (/ 1 (- t1))) (/ (+ t1 u) v)) (* (+ (pow t1 3) (pow u 3)) 1) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- t1)) (* (+ (pow t1 3) (pow u 3)) (- 1)) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (- (- t1))) (* (+ (pow t1 3) (pow u 3)) 1) (* (+ (* t1 t1) (- (* u u) (* t1 u))) (/ (- t1) 1)) (* (+ (pow t1 3) (pow u 3)) (/ 1 -1)) (* (+ (* t1 t1) (- (* u u) (* t1 u))) t1) (* (- (* t1 t1) (* u u)) 1) (* (- t1 u) (- t1)) (* (- (* t1 t1) (* u u)) (- 1)) (* (- t1 u) (- (- t1))) (* (- (* t1 t1) (* u u)) 1) (* (- t1 u) (/ (- t1) 1)) (* (- (* t1 t1) (* u u)) (/ 1 -1)) (* (- t1 u) t1) (* (+ t1 u) 1) (* (+ t1 u) 1) (* (+ t1 u) (- 1)) (* (+ t1 u) 1) (* (+ t1 u) (/ 1 -1)) (* (+ (pow t1 3) (pow u 3)) (/ 1 (- t1))) (* (- (* t1 t1) (* u u)) (/ 1 (- t1))) (- v) (- (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ 1 (/ u t1))) (- (+ (/ u t1) 1)) (- (+ (/ u t1) 1)) 0 0 0 1.135 * * [simplify]: iteration 0 : 261 enodes (cost 357 ) 1.140 * * [simplify]: iteration 1 : 1275 enodes (cost 332 ) 1.161 * * [simplify]: iteration 2 : 5001 enodes (cost 329 ) 1.163 * [simplify]: Simplified to: (- (/ v (+ t1 u))) (/ (- (+ t1 u)) (- t1)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ (- t1) (+ t1 u)) (- (* v t1)) (/ (/ 1 (+ t1 u)) (+ t1 u)) (/ v (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (* (- (fma t1 t1 (* u (- u t1)))) t1) (/ v (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (* (- (fma t1 t1 (* u (- u t1)))) t1) (- (* (/ v (+ (pow t1 3) (pow u 3))) t1)) (/ (fma t1 t1 (* u (- u t1))) (+ t1 u)) (/ v (* (+ t1 u) (- (* t1 t1) (* u u)))) (* (- t1) (- t1 u)) (/ v (* (+ t1 u) (- (* t1 t1) (* u u)))) (* (- t1) (- t1 u)) (- (* (/ v (- (* t1 t1) (* u u))) t1)) (/ (- t1 u) (+ t1 u)) (/ (- t1) (+ t1 u)) (* (/ (+ t1 u) v) (/ (+ t1 u) (- t1))) (/ v (* (+ t1 u) (+ t1 u))) (/ v (* (+ t1 u) (+ t1 u))) (- (* (/ v (+ t1 u)) t1)) (* (+ t1 u) (/ (+ t1 u) (- t1))) (/ (+ t1 u) (* (- (fma t1 t1 (* u (- u t1)))) t1)) (/ (+ t1 u) (* (- t1) (- t1 u))) (/ v (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (/ v (* (- (+ (pow t1 3) (pow u 3))) (+ t1 u))) (/ v (* (+ t1 u) (+ (pow t1 3) (pow u 3)))) (/ v (* (/ (+ (pow t1 3) (pow u 3)) -1) (+ t1 u))) (/ v (* (+ t1 u) (- (* t1 t1) (* u u)))) (/ v (* (- (- (* t1 t1) (* u u))) (+ t1 u))) (/ v (* (+ t1 u) (- (* t1 t1) (* u u)))) (/ v (* (/ (- (* t1 t1) (* u u)) -1) (+ t1 u))) (/ v (* (+ t1 u) (+ t1 u))) (/ v (* (+ t1 u) (+ t1 u))) (/ v (* (+ t1 u) (+ t1 u))) (/ v (* (- (+ t1 u)) (+ t1 u))) (/ v (* (+ t1 u) (+ t1 u))) (/ v (* (/ (+ t1 u) -1) (+ t1 u))) (/ v (* (/ (+ (pow t1 3) (pow u 3)) (- t1)) (+ t1 u))) (/ v (* (/ (- (* t1 t1) (* u u)) (- t1)) (+ t1 u))) (* (+ t1 u) (/ (+ t1 u) (- t1))) (* (- (+ t1 u)) (/ (+ t1 u) (- t1))) (* (/ (+ t1 u) v) (/ (+ t1 u) (- t1))) (+ (pow t1 3) (pow u 3)) (* (- (fma t1 t1 (* u (- u t1)))) t1) (- (+ (pow t1 3) (pow u 3))) (* t1 (fma t1 t1 (* u (- u t1)))) (+ (pow t1 3) (pow u 3)) (* (- (fma t1 t1 (* u (- u t1)))) t1) (/ (+ (pow t1 3) (pow u 3)) -1) (* t1 (fma t1 t1 (* u (- u t1)))) (- (* t1 t1) (* u u)) (* (- t1) (- t1 u)) (- (- (* t1 t1) (* u u))) (* t1 (- t1 u)) (- (* t1 t1) (* u u)) (* (- t1) (- t1 u)) (/ (- (* t1 t1) (* u u)) -1) (* t1 (- t1 u)) (+ t1 u) (+ t1 u) (- (+ t1 u)) (+ t1 u) (/ (+ t1 u) -1) (/ (+ (pow t1 3) (pow u 3)) (- t1)) (/ (- (* t1 t1) (* u u)) (- t1)) (- v) (- (+ t1 u)) (/ 1 (+ t1 u)) (/ (+ t1 u) v) (/ v (+ (pow t1 3) (pow u 3))) (/ v (- (* t1 t1) (* u u))) 0 0 0 (- (+ (/ u t1) 1)) (- (+ (/ u t1) 1)) (- (+ (/ u t1) 1)) 0 0 0 1.163 * * * [progress]: adding candidates to table 1.292 * [progress]: [Phase 3 of 3] Extracting. 1.292 * * [regime]: Finding splitpoints for: (# # # # #) 1.293 * * * [regime-changes]: Trying 4 branch expressions: ((/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) t1 v u) 1.294 * * * * [regimes]: Trying to branch on (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) from (# # # # #) 1.310 * * * * [regimes]: Trying to branch on t1 from (# # # # #) 1.331 * * * * [regimes]: Trying to branch on v from (# # # # #) 1.348 * * * * [regimes]: Trying to branch on u from (# # # # #) 1.368 * * * [regime]: Found split indices: #