2.223 * [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 : 65 enodes (cost 6 ) 0.023 * * [simplify]: iteration 2 : 132 enodes (cost 6 ) 0.025 * * [simplify]: iteration 3 : 208 enodes (cost 6 ) 0.028 * * [simplify]: iteration 4 : 250 enodes (cost 6 ) 0.031 * * [simplify]: iteration 5 : 287 enodes (cost 6 ) 0.034 * * [simplify]: iteration 6 : 307 enodes (cost 6 ) 0.038 * * [simplify]: iteration 7 : 347 enodes (cost 6 ) 0.042 * * [simplify]: iteration 8 : 420 enodes (cost 6 ) 0.046 * * [simplify]: iteration 9 : 573 enodes (cost 6 ) 0.056 * * [simplify]: iteration 10 : 1883 enodes (cost 6 ) 0.092 * * [simplify]: iteration 11 : 5001 enodes (cost 6 ) 0.093 * [simplify]: Simplified to: (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 0.093 * * [progress]: iteration 1 / 4 0.093 * * * [progress]: picking best candidate 0.100 * * * * [pick]: Picked # 0.100 * * * [progress]: localizing error 0.107 * * * [progress]: generating rewritten candidates 0.107 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.115 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.120 * * * [progress]: generating series expansions 0.120 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.121 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0 0.121 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 0.121 * [taylor]: Taking taylor expansion of -1 in u 0.121 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 0.121 * [taylor]: Taking taylor expansion of (* t1 v) in u 0.121 * [taylor]: Taking taylor expansion of t1 in u 0.121 * [taylor]: Taking taylor expansion of v in u 0.121 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.121 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.121 * [taylor]: Taking taylor expansion of t1 in u 0.121 * [taylor]: Taking taylor expansion of u in u 0.121 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.121 * [taylor]: Taking taylor expansion of -1 in v 0.121 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.121 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.121 * [taylor]: Taking taylor expansion of t1 in v 0.121 * [taylor]: Taking taylor expansion of v in v 0.121 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.121 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.121 * [taylor]: Taking taylor expansion of t1 in v 0.121 * [taylor]: Taking taylor expansion of u in v 0.122 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.122 * [taylor]: Taking taylor expansion of -1 in t1 0.122 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.122 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.122 * [taylor]: Taking taylor expansion of t1 in t1 0.122 * [taylor]: Taking taylor expansion of v in t1 0.122 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.122 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.122 * [taylor]: Taking taylor expansion of t1 in t1 0.122 * [taylor]: Taking taylor expansion of u in t1 0.123 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.123 * [taylor]: Taking taylor expansion of -1 in t1 0.123 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.123 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.123 * [taylor]: Taking taylor expansion of t1 in t1 0.123 * [taylor]: Taking taylor expansion of v in t1 0.123 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.123 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.123 * [taylor]: Taking taylor expansion of t1 in t1 0.123 * [taylor]: Taking taylor expansion of u in t1 0.123 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v 0.124 * [taylor]: Taking taylor expansion of -1 in v 0.124 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v 0.124 * [taylor]: Taking taylor expansion of v in v 0.124 * [taylor]: Taking taylor expansion of (pow u 2) in v 0.124 * [taylor]: Taking taylor expansion of u in v 0.124 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 0.124 * [taylor]: Taking taylor expansion of -1 in u 0.124 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.124 * [taylor]: Taking taylor expansion of u in u 0.128 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v 0.128 * [taylor]: Taking taylor expansion of 2 in v 0.128 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v 0.128 * [taylor]: Taking taylor expansion of v in v 0.128 * [taylor]: Taking taylor expansion of (pow u 3) in v 0.128 * [taylor]: Taking taylor expansion of u in v 0.128 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u 0.128 * [taylor]: Taking taylor expansion of 2 in u 0.128 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.128 * [taylor]: Taking taylor expansion of u in u 0.135 * [taylor]: Taking taylor expansion of 0 in u 0.138 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v 0.138 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v 0.138 * [taylor]: Taking taylor expansion of 3 in v 0.138 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v 0.138 * [taylor]: Taking taylor expansion of v in v 0.138 * [taylor]: Taking taylor expansion of (pow u 4) in v 0.138 * [taylor]: Taking taylor expansion of u in v 0.138 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u 0.138 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u 0.138 * [taylor]: Taking taylor expansion of 3 in u 0.138 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u 0.138 * [taylor]: Taking taylor expansion of (pow u 4) in u 0.138 * [taylor]: Taking taylor expansion of u in u 0.147 * [taylor]: Taking taylor expansion of 0 in u 0.147 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 0.147 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.147 * [taylor]: Taking taylor expansion of -1 in u 0.147 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.147 * [taylor]: Taking taylor expansion of t1 in u 0.147 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.147 * [taylor]: Taking taylor expansion of v in u 0.147 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.147 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.147 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.147 * [taylor]: Taking taylor expansion of u in u 0.147 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.147 * [taylor]: Taking taylor expansion of t1 in u 0.148 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.148 * [taylor]: Taking taylor expansion of -1 in v 0.148 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.148 * [taylor]: Taking taylor expansion of t1 in v 0.148 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.148 * [taylor]: Taking taylor expansion of v in v 0.148 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.148 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.148 * [taylor]: Taking taylor expansion of u in v 0.148 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.148 * [taylor]: Taking taylor expansion of t1 in v 0.150 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.150 * [taylor]: Taking taylor expansion of -1 in t1 0.150 * [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.152 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.152 * [taylor]: Taking taylor expansion of -1 in t1 0.152 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.152 * [taylor]: Taking taylor expansion of t1 in t1 0.152 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.152 * [taylor]: Taking taylor expansion of v in t1 0.152 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.152 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.152 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.152 * [taylor]: Taking taylor expansion of u in t1 0.152 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.152 * [taylor]: Taking taylor expansion of t1 in t1 0.154 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.154 * [taylor]: Taking taylor expansion of -1 in v 0.154 * [taylor]: Taking taylor expansion of v in v 0.154 * [taylor]: Taking taylor expansion of -1 in u 0.156 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 0.156 * [taylor]: Taking taylor expansion of 2 in v 0.156 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 0.156 * [taylor]: Taking taylor expansion of (* v u) in v 0.156 * [taylor]: Taking taylor expansion of v in v 0.156 * [taylor]: Taking taylor expansion of u in v 0.157 * [taylor]: Taking taylor expansion of (/ 2 u) in u 0.157 * [taylor]: Taking taylor expansion of 2 in u 0.157 * [taylor]: Taking taylor expansion of u in u 0.159 * [taylor]: Taking taylor expansion of 0 in u 0.162 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 0.162 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 0.162 * [taylor]: Taking taylor expansion of 3 in v 0.162 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 0.162 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 0.162 * [taylor]: Taking taylor expansion of v in v 0.162 * [taylor]: Taking taylor expansion of (pow u 2) in v 0.162 * [taylor]: Taking taylor expansion of u in v 0.162 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 0.162 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 0.163 * [taylor]: Taking taylor expansion of 3 in u 0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.163 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.163 * [taylor]: Taking taylor expansion of u in u 0.168 * [taylor]: Taking taylor expansion of 0 in u 0.169 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0 0.169 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.169 * [taylor]: Taking taylor expansion of -1 in u 0.169 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.169 * [taylor]: Taking taylor expansion of t1 in u 0.169 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.169 * [taylor]: Taking taylor expansion of v in u 0.169 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.169 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.169 * [taylor]: Taking taylor expansion of u in u 0.169 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.169 * [taylor]: Taking taylor expansion of t1 in u 0.170 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.170 * [taylor]: Taking taylor expansion of -1 in v 0.170 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.170 * [taylor]: Taking taylor expansion of t1 in v 0.170 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.170 * [taylor]: Taking taylor expansion of v in v 0.170 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.170 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.170 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.170 * [taylor]: Taking taylor expansion of u in v 0.170 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.170 * [taylor]: Taking taylor expansion of t1 in v 0.172 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.172 * [taylor]: Taking taylor expansion of -1 in t1 0.172 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.172 * [taylor]: Taking taylor expansion of t1 in t1 0.172 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.172 * [taylor]: Taking taylor expansion of v in t1 0.172 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.172 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.172 * [taylor]: Taking taylor expansion of u in t1 0.172 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.172 * [taylor]: Taking taylor expansion of t1 in t1 0.174 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.174 * [taylor]: Taking taylor expansion of -1 in t1 0.174 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.174 * [taylor]: Taking taylor expansion of t1 in t1 0.174 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.174 * [taylor]: Taking taylor expansion of v in t1 0.174 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.174 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.174 * [taylor]: Taking taylor expansion of u in t1 0.174 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.174 * [taylor]: Taking taylor expansion of t1 in t1 0.176 * [taylor]: Taking taylor expansion of (/ -1 v) in v 0.176 * [taylor]: Taking taylor expansion of -1 in v 0.176 * [taylor]: Taking taylor expansion of v in v 0.176 * [taylor]: Taking taylor expansion of -1 in u 0.178 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v 0.178 * [taylor]: Taking taylor expansion of 2 in v 0.178 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v 0.178 * [taylor]: Taking taylor expansion of (* v u) in v 0.178 * [taylor]: Taking taylor expansion of v in v 0.178 * [taylor]: Taking taylor expansion of u in v 0.179 * [taylor]: Taking taylor expansion of (/ 2 u) in u 0.179 * [taylor]: Taking taylor expansion of 2 in u 0.179 * [taylor]: Taking taylor expansion of u in u 0.181 * [taylor]: Taking taylor expansion of 0 in u 0.183 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v 0.183 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v 0.183 * [taylor]: Taking taylor expansion of 3 in v 0.183 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v 0.183 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v 0.183 * [taylor]: Taking taylor expansion of v in v 0.183 * [taylor]: Taking taylor expansion of (pow u 2) in v 0.183 * [taylor]: Taking taylor expansion of u in v 0.184 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u 0.184 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u 0.184 * [taylor]: Taking taylor expansion of 3 in u 0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.184 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.184 * [taylor]: Taking taylor expansion of u in u 0.195 * [taylor]: Taking taylor expansion of 0 in u 0.195 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.195 * [approximate]: Taking taylor expansion of (pow (+ t1 u) 2) in (t1 u) around 0 0.195 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.195 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.195 * [taylor]: Taking taylor expansion of t1 in u 0.195 * [taylor]: Taking taylor expansion of u in u 0.195 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.195 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.195 * [taylor]: Taking taylor expansion of t1 in t1 0.195 * [taylor]: Taking taylor expansion of u in t1 0.195 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.195 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.195 * [taylor]: Taking taylor expansion of t1 in t1 0.195 * [taylor]: Taking taylor expansion of u in t1 0.196 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.196 * [taylor]: Taking taylor expansion of u in u 0.196 * [taylor]: Taking taylor expansion of (* 2 u) in u 0.196 * [taylor]: Taking taylor expansion of 2 in u 0.196 * [taylor]: Taking taylor expansion of u in u 0.197 * [taylor]: Taking taylor expansion of 1 in u 0.198 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 0.198 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.198 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.198 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.198 * [taylor]: Taking taylor expansion of u in u 0.198 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.198 * [taylor]: Taking taylor expansion of t1 in u 0.199 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.199 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.199 * [taylor]: Taking taylor expansion of u in t1 0.199 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.199 * [taylor]: Taking taylor expansion of t1 in t1 0.199 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.199 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.199 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.199 * [taylor]: Taking taylor expansion of u in t1 0.199 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.199 * [taylor]: Taking taylor expansion of t1 in t1 0.200 * [taylor]: Taking taylor expansion of 1 in u 0.201 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.201 * [taylor]: Taking taylor expansion of 2 in u 0.201 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.201 * [taylor]: Taking taylor expansion of u in u 0.202 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.202 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.202 * [taylor]: Taking taylor expansion of u in u 0.204 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0 0.204 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.204 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.204 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.204 * [taylor]: Taking taylor expansion of u in u 0.204 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.204 * [taylor]: Taking taylor expansion of t1 in u 0.204 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.204 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.204 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.204 * [taylor]: Taking taylor expansion of u in t1 0.204 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.204 * [taylor]: Taking taylor expansion of t1 in t1 0.205 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.205 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.205 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.205 * [taylor]: Taking taylor expansion of u in t1 0.205 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.205 * [taylor]: Taking taylor expansion of t1 in t1 0.206 * [taylor]: Taking taylor expansion of 1 in u 0.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.206 * [taylor]: Taking taylor expansion of 2 in u 0.206 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.206 * [taylor]: Taking taylor expansion of u in u 0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.208 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.208 * [taylor]: Taking taylor expansion of u in u 0.209 * * * [progress]: simplifying candidates 0.210 * [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.213 * * [simplify]: iteration 0 : 223 enodes (cost 256 ) 0.217 * * [simplify]: iteration 1 : 713 enodes (cost 250 ) 0.231 * * [simplify]: iteration 2 : 3322 enodes (cost 250 ) 0.289 * * [simplify]: iteration 3 : 5002 enodes (cost 250 ) 0.291 * [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))) (* (+ (* u (- u t1)) (pow t1 2)) (+ (pow t1 2) (* u (- u t1)))) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (- t1 u) (+ (pow t1 2) (* u (- u t1)))) (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3))) (* (- t1 u) (+ (pow t1 2) (* u (- u t1)))) (* (- (* 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 (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))) (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))) (+ (* 2 (* t1 u)) (+ (pow t1 2) (pow u 2))) 0.291 * * * [progress]: adding candidates to table 0.363 * * [progress]: iteration 2 / 4 0.363 * * * [progress]: picking best candidate 0.371 * * * * [pick]: Picked # 0.371 * * * [progress]: localizing error 0.378 * * * [progress]: generating rewritten candidates 0.378 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.385 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.388 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.396 * * * [progress]: generating series expansions 0.396 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.396 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (v t1 u) around 0 0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 0.396 * [taylor]: Taking taylor expansion of -1 in u 0.396 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 0.396 * [taylor]: Taking taylor expansion of (* t1 v) in u 0.396 * [taylor]: Taking taylor expansion of t1 in u 0.396 * [taylor]: Taking taylor expansion of v in u 0.396 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.396 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.396 * [taylor]: Taking taylor expansion of t1 in u 0.396 * [taylor]: Taking taylor expansion of u in u 0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.397 * [taylor]: Taking taylor expansion of -1 in t1 0.397 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.397 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.397 * [taylor]: Taking taylor expansion of t1 in t1 0.397 * [taylor]: Taking taylor expansion of v in t1 0.397 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.397 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.397 * [taylor]: Taking taylor expansion of t1 in t1 0.397 * [taylor]: Taking taylor expansion of u in t1 0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.397 * [taylor]: Taking taylor expansion of -1 in v 0.398 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.398 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.398 * [taylor]: Taking taylor expansion of t1 in v 0.398 * [taylor]: Taking taylor expansion of v in v 0.398 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.398 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.398 * [taylor]: Taking taylor expansion of t1 in v 0.398 * [taylor]: Taking taylor expansion of u in v 0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.398 * [taylor]: Taking taylor expansion of -1 in v 0.398 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.398 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.398 * [taylor]: Taking taylor expansion of t1 in v 0.398 * [taylor]: Taking taylor expansion of v in v 0.398 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.398 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.398 * [taylor]: Taking taylor expansion of t1 in v 0.398 * [taylor]: Taking taylor expansion of u in v 0.399 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (pow (+ t1 u) 2))) in t1 0.399 * [taylor]: Taking taylor expansion of -1 in t1 0.399 * [taylor]: Taking taylor expansion of (/ t1 (pow (+ t1 u) 2)) in t1 0.399 * [taylor]: Taking taylor expansion of t1 in t1 0.399 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.399 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.399 * [taylor]: Taking taylor expansion of t1 in t1 0.399 * [taylor]: Taking taylor expansion of u in t1 0.399 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 0.399 * [taylor]: Taking taylor expansion of -1 in u 0.399 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.399 * [taylor]: Taking taylor expansion of u in u 0.403 * [taylor]: Taking taylor expansion of 0 in t1 0.403 * [taylor]: Taking taylor expansion of 0 in u 0.404 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u 0.404 * [taylor]: Taking taylor expansion of 2 in u 0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 0.404 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.404 * [taylor]: Taking taylor expansion of u in u 0.413 * [taylor]: Taking taylor expansion of 0 in t1 0.413 * [taylor]: Taking taylor expansion of 0 in u 0.413 * [taylor]: Taking taylor expansion of 0 in u 0.413 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 0.413 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.413 * [taylor]: Taking taylor expansion of -1 in u 0.413 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.413 * [taylor]: Taking taylor expansion of t1 in u 0.413 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.413 * [taylor]: Taking taylor expansion of v in u 0.413 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.413 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.413 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.413 * [taylor]: Taking taylor expansion of u in u 0.414 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.414 * [taylor]: Taking taylor expansion of t1 in u 0.414 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.414 * [taylor]: Taking taylor expansion of -1 in t1 0.414 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.414 * [taylor]: Taking taylor expansion of t1 in t1 0.414 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.414 * [taylor]: Taking taylor expansion of v in t1 0.414 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.414 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.414 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.415 * [taylor]: Taking taylor expansion of u in t1 0.415 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.415 * [taylor]: Taking taylor expansion of t1 in t1 0.416 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.416 * [taylor]: Taking taylor expansion of -1 in v 0.416 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.416 * [taylor]: Taking taylor expansion of t1 in v 0.416 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.416 * [taylor]: Taking taylor expansion of v in v 0.416 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.416 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.416 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.416 * [taylor]: Taking taylor expansion of u in v 0.417 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.417 * [taylor]: Taking taylor expansion of t1 in v 0.419 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.419 * [taylor]: Taking taylor expansion of -1 in v 0.419 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.419 * [taylor]: Taking taylor expansion of t1 in v 0.419 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.419 * [taylor]: Taking taylor expansion of v in v 0.419 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.419 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.419 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.419 * [taylor]: Taking taylor expansion of u in v 0.419 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.419 * [taylor]: Taking taylor expansion of t1 in v 0.421 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 0.421 * [taylor]: Taking taylor expansion of -1 in t1 0.421 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 0.421 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 0.421 * [taylor]: Taking taylor expansion of t1 in t1 0.421 * [taylor]: Taking taylor expansion of (pow u 2) in t1 0.421 * [taylor]: Taking taylor expansion of u in t1 0.421 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 0.421 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 0.421 * [taylor]: Taking taylor expansion of 2 in t1 0.421 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.421 * [taylor]: Taking taylor expansion of u in t1 0.421 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.421 * [taylor]: Taking taylor expansion of t1 in t1 0.422 * [taylor]: Taking taylor expansion of -1 in u 0.425 * [taylor]: Taking taylor expansion of 0 in t1 0.425 * [taylor]: Taking taylor expansion of 0 in u 0.426 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.426 * [taylor]: Taking taylor expansion of 2 in u 0.426 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.426 * [taylor]: Taking taylor expansion of u in u 0.431 * [taylor]: Taking taylor expansion of 0 in t1 0.431 * [taylor]: Taking taylor expansion of 0 in u 0.431 * [taylor]: Taking taylor expansion of 0 in u 0.432 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 0.432 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.432 * [taylor]: Taking taylor expansion of -1 in u 0.432 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.432 * [taylor]: Taking taylor expansion of t1 in u 0.432 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.432 * [taylor]: Taking taylor expansion of v in u 0.432 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.432 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.432 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.432 * [taylor]: Taking taylor expansion of u in u 0.432 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.432 * [taylor]: Taking taylor expansion of t1 in u 0.433 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.433 * [taylor]: Taking taylor expansion of -1 in t1 0.433 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.433 * [taylor]: Taking taylor expansion of t1 in t1 0.433 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.433 * [taylor]: Taking taylor expansion of v in t1 0.433 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.433 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.433 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.433 * [taylor]: Taking taylor expansion of u in t1 0.433 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.433 * [taylor]: Taking taylor expansion of t1 in t1 0.435 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.435 * [taylor]: Taking taylor expansion of -1 in v 0.435 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.435 * [taylor]: Taking taylor expansion of t1 in v 0.435 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.435 * [taylor]: Taking taylor expansion of v in v 0.435 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.435 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.435 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.435 * [taylor]: Taking taylor expansion of u in v 0.435 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.435 * [taylor]: Taking taylor expansion of t1 in v 0.437 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.437 * [taylor]: Taking taylor expansion of -1 in v 0.437 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.437 * [taylor]: Taking taylor expansion of t1 in v 0.437 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.437 * [taylor]: Taking taylor expansion of v in v 0.437 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.437 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.437 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.437 * [taylor]: Taking taylor expansion of u in v 0.437 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.437 * [taylor]: Taking taylor expansion of t1 in v 0.439 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 0.439 * [taylor]: Taking taylor expansion of -1 in t1 0.439 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 0.439 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 0.439 * [taylor]: Taking taylor expansion of t1 in t1 0.439 * [taylor]: Taking taylor expansion of (pow u 2) in t1 0.439 * [taylor]: Taking taylor expansion of u in t1 0.439 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 0.439 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 0.439 * [taylor]: Taking taylor expansion of 2 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 in u 0.443 * [taylor]: Taking taylor expansion of 0 in t1 0.443 * [taylor]: Taking taylor expansion of 0 in u 0.444 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 0.444 * [taylor]: Taking taylor expansion of 2 in u 0.444 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.444 * [taylor]: Taking taylor expansion of u in u 0.449 * [taylor]: Taking taylor expansion of 0 in t1 0.449 * [taylor]: Taking taylor expansion of 0 in u 0.449 * [taylor]: Taking taylor expansion of 0 in u 0.449 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.449 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0 0.449 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u 0.449 * [taylor]: Taking taylor expansion of -1 in u 0.450 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u 0.450 * [taylor]: Taking taylor expansion of t1 in u 0.450 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.450 * [taylor]: Taking taylor expansion of t1 in u 0.450 * [taylor]: Taking taylor expansion of u in u 0.450 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1 0.450 * [taylor]: Taking taylor expansion of -1 in t1 0.450 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 0.450 * [taylor]: Taking taylor expansion of t1 in t1 0.450 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.450 * [taylor]: Taking taylor expansion of t1 in t1 0.450 * [taylor]: Taking taylor expansion of u in t1 0.450 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1 0.450 * [taylor]: Taking taylor expansion of -1 in t1 0.450 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 0.450 * [taylor]: Taking taylor expansion of t1 in t1 0.450 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.450 * [taylor]: Taking taylor expansion of t1 in t1 0.450 * [taylor]: Taking taylor expansion of u in t1 0.450 * [taylor]: Taking taylor expansion of (/ -1 u) in u 0.450 * [taylor]: Taking taylor expansion of -1 in u 0.450 * [taylor]: Taking taylor expansion of u in u 0.451 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.451 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.451 * [taylor]: Taking taylor expansion of u in u 0.455 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 0.455 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 0.455 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.455 * [taylor]: Taking taylor expansion of u in u 0.462 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.462 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.462 * [taylor]: Taking taylor expansion of -1 in u 0.462 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.462 * [taylor]: Taking taylor expansion of t1 in u 0.462 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.462 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.462 * [taylor]: Taking taylor expansion of u in u 0.462 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.462 * [taylor]: Taking taylor expansion of t1 in u 0.463 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.463 * [taylor]: Taking taylor expansion of -1 in t1 0.463 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.463 * [taylor]: Taking taylor expansion of t1 in t1 0.463 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.463 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.463 * [taylor]: Taking taylor expansion of u in t1 0.463 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.463 * [taylor]: Taking taylor expansion of t1 in t1 0.464 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.464 * [taylor]: Taking taylor expansion of -1 in t1 0.465 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.465 * [taylor]: Taking taylor expansion of t1 in t1 0.465 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.465 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.465 * [taylor]: Taking taylor expansion of u in t1 0.465 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.465 * [taylor]: Taking taylor expansion of t1 in t1 0.466 * [taylor]: Taking taylor expansion of -1 in u 0.468 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.468 * [taylor]: Taking taylor expansion of u in u 0.471 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.471 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.471 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.471 * [taylor]: Taking taylor expansion of u in u 0.475 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.475 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.475 * [taylor]: Taking taylor expansion of -1 in u 0.475 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.476 * [taylor]: Taking taylor expansion of t1 in u 0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.476 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.476 * [taylor]: Taking taylor expansion of u in u 0.476 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.476 * [taylor]: Taking taylor expansion of t1 in u 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 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.478 * [taylor]: Taking taylor expansion of -1 in t1 0.478 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.478 * [taylor]: Taking taylor expansion of t1 in t1 0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.478 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.478 * [taylor]: Taking taylor expansion of u in t1 0.478 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.478 * [taylor]: Taking taylor expansion of t1 in t1 0.484 * [taylor]: Taking taylor expansion of -1 in u 0.486 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.486 * [taylor]: Taking taylor expansion of u in u 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.489 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.489 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.489 * [taylor]: Taking taylor expansion of u in u 0.493 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.493 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 0.493 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 0.493 * [taylor]: Taking taylor expansion of v in u 0.493 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.493 * [taylor]: Taking taylor expansion of t1 in u 0.493 * [taylor]: Taking taylor expansion of u in u 0.493 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 0.493 * [taylor]: Taking taylor expansion of v in t1 0.493 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.493 * [taylor]: Taking taylor expansion of t1 in t1 0.494 * [taylor]: Taking taylor expansion of u in t1 0.494 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 0.494 * [taylor]: Taking taylor expansion of v in v 0.494 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.494 * [taylor]: Taking taylor expansion of t1 in v 0.494 * [taylor]: Taking taylor expansion of u in v 0.494 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 0.494 * [taylor]: Taking taylor expansion of v in v 0.494 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.494 * [taylor]: Taking taylor expansion of t1 in v 0.494 * [taylor]: Taking taylor expansion of u in v 0.494 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 0.494 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.494 * [taylor]: Taking taylor expansion of t1 in t1 0.494 * [taylor]: Taking taylor expansion of u in t1 0.494 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.494 * [taylor]: Taking taylor expansion of u in u 0.495 * [taylor]: Taking taylor expansion of 0 in t1 0.495 * [taylor]: Taking taylor expansion of 0 in u 0.495 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.495 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.495 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.495 * [taylor]: Taking taylor expansion of u in u 0.499 * [taylor]: Taking taylor expansion of 0 in t1 0.499 * [taylor]: Taking taylor expansion of 0 in u 0.499 * [taylor]: Taking taylor expansion of 0 in u 0.499 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 0.499 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 0.499 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.499 * [taylor]: Taking taylor expansion of v in u 0.499 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.499 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.499 * [taylor]: Taking taylor expansion of u in u 0.499 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.499 * [taylor]: Taking taylor expansion of t1 in u 0.500 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 0.500 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.500 * [taylor]: Taking taylor expansion of v in t1 0.500 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.500 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.500 * [taylor]: Taking taylor expansion of u in t1 0.500 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.500 * [taylor]: Taking taylor expansion of t1 in t1 0.501 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.501 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.501 * [taylor]: Taking taylor expansion of v in v 0.501 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.501 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.501 * [taylor]: Taking taylor expansion of u in v 0.501 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.501 * [taylor]: Taking taylor expansion of t1 in v 0.501 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.501 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.502 * [taylor]: Taking taylor expansion of v in v 0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.502 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.502 * [taylor]: Taking taylor expansion of u in v 0.502 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.502 * [taylor]: Taking taylor expansion of t1 in v 0.502 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.502 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.503 * [taylor]: Taking taylor expansion of u in t1 0.503 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.503 * [taylor]: Taking taylor expansion of t1 in t1 0.503 * [taylor]: Taking taylor expansion of 1 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 u)) in u 0.505 * [taylor]: Taking taylor expansion of (/ 1 u) 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.508 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.508 * [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.509 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 0.509 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.509 * [taylor]: Taking taylor expansion of v in v 0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.509 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.509 * [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.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.511 * [taylor]: Taking taylor expansion of t1 in v 0.511 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.511 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.511 * [taylor]: Taking taylor expansion of u in t1 0.511 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.511 * [taylor]: Taking taylor expansion of t1 in t1 0.512 * [taylor]: Taking taylor expansion of 1 in u 0.513 * [taylor]: Taking taylor expansion of 0 in t1 0.513 * [taylor]: Taking taylor expansion of 0 in u 0.514 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 0.514 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.514 * [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.517 * * * [progress]: simplifying candidates 0.518 * [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.521 * * [simplify]: iteration 0 : 204 enodes (cost 168 ) 0.526 * * [simplify]: iteration 1 : 921 enodes (cost 168 ) 0.544 * * [simplify]: iteration 2 : 4071 enodes (cost 166 ) 0.605 * * [simplify]: iteration 3 : 5001 enodes (cost 166 ) 0.607 * [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)) (+ (* u (- u t1)) (* t1 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.607 * * * [progress]: adding candidates to table 0.701 * * [progress]: iteration 3 / 4 0.701 * * * [progress]: picking best candidate 0.711 * * * * [pick]: Picked # 0.711 * * * [progress]: localizing error 0.718 * * * [progress]: generating rewritten candidates 0.718 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.725 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.728 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.733 * * * [progress]: generating series expansions 0.733 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.733 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0 0.733 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 0.733 * [taylor]: Taking taylor expansion of -1 in v 0.733 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 0.733 * [taylor]: Taking taylor expansion of (* t1 v) in v 0.733 * [taylor]: Taking taylor expansion of t1 in v 0.733 * [taylor]: Taking taylor expansion of v in v 0.733 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 0.733 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.733 * [taylor]: Taking taylor expansion of t1 in v 0.733 * [taylor]: Taking taylor expansion of u in v 0.734 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 0.734 * [taylor]: Taking taylor expansion of -1 in u 0.734 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 0.734 * [taylor]: Taking taylor expansion of (* t1 v) in u 0.734 * [taylor]: Taking taylor expansion of t1 in u 0.734 * [taylor]: Taking taylor expansion of v in u 0.734 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 0.734 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.734 * [taylor]: Taking taylor expansion of t1 in u 0.734 * [taylor]: Taking taylor expansion of u in u 0.734 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.734 * [taylor]: Taking taylor expansion of -1 in t1 0.734 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.734 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.734 * [taylor]: Taking taylor expansion of t1 in t1 0.734 * [taylor]: Taking taylor expansion of v in t1 0.734 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.734 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.734 * [taylor]: Taking taylor expansion of t1 in t1 0.734 * [taylor]: Taking taylor expansion of u in t1 0.735 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 0.735 * [taylor]: Taking taylor expansion of -1 in t1 0.735 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 0.735 * [taylor]: Taking taylor expansion of (* t1 v) in t1 0.735 * [taylor]: Taking taylor expansion of t1 in t1 0.735 * [taylor]: Taking taylor expansion of v in t1 0.735 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 0.735 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.735 * [taylor]: Taking taylor expansion of t1 in t1 0.735 * [taylor]: Taking taylor expansion of u in t1 0.736 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u 0.736 * [taylor]: Taking taylor expansion of -1 in u 0.736 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u 0.736 * [taylor]: Taking taylor expansion of v in u 0.736 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.736 * [taylor]: Taking taylor expansion of u in u 0.739 * [taylor]: Taking taylor expansion of 0 in v 0.740 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u 0.740 * [taylor]: Taking taylor expansion of 2 in u 0.740 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u 0.740 * [taylor]: Taking taylor expansion of v in u 0.740 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.740 * [taylor]: Taking taylor expansion of u in u 0.750 * [taylor]: Taking taylor expansion of 0 in v 0.753 * [taylor]: Taking taylor expansion of 0 in v 0.755 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in u 0.755 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u 0.755 * [taylor]: Taking taylor expansion of 3 in u 0.755 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u 0.755 * [taylor]: Taking taylor expansion of v in u 0.755 * [taylor]: Taking taylor expansion of (pow u 4) in u 0.755 * [taylor]: Taking taylor expansion of u in u 0.765 * [taylor]: Taking taylor expansion of 0 in v 0.768 * [taylor]: Taking taylor expansion of 0 in v 0.769 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 0.769 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.769 * [taylor]: Taking taylor expansion of -1 in v 0.769 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.769 * [taylor]: Taking taylor expansion of t1 in v 0.769 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.769 * [taylor]: Taking taylor expansion of v in v 0.769 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.769 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.769 * [taylor]: Taking taylor expansion of u in v 0.769 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.769 * [taylor]: Taking taylor expansion of t1 in v 0.771 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.771 * [taylor]: Taking taylor expansion of -1 in u 0.771 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.771 * [taylor]: Taking taylor expansion of t1 in u 0.771 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.771 * [taylor]: Taking taylor expansion of v in u 0.771 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.771 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.771 * [taylor]: Taking taylor expansion of u in u 0.771 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.771 * [taylor]: Taking taylor expansion of t1 in u 0.772 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.772 * [taylor]: Taking taylor expansion of -1 in t1 0.772 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.772 * [taylor]: Taking taylor expansion of t1 in t1 0.772 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.772 * [taylor]: Taking taylor expansion of v in t1 0.772 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.772 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.772 * [taylor]: Taking taylor expansion of u in t1 0.772 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.772 * [taylor]: Taking taylor expansion of t1 in t1 0.774 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.774 * [taylor]: Taking taylor expansion of -1 in t1 0.774 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.774 * [taylor]: Taking taylor expansion of t1 in t1 0.774 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.774 * [taylor]: Taking taylor expansion of v in t1 0.774 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.774 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.774 * [taylor]: Taking taylor expansion of u in t1 0.774 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.774 * [taylor]: Taking taylor expansion of t1 in t1 0.776 * [taylor]: Taking taylor expansion of (/ -1 v) in u 0.776 * [taylor]: Taking taylor expansion of -1 in u 0.776 * [taylor]: Taking taylor expansion of v in u 0.776 * [taylor]: Taking taylor expansion of 0 in v 0.778 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u 0.778 * [taylor]: Taking taylor expansion of 2 in u 0.778 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u 0.778 * [taylor]: Taking taylor expansion of (* v u) in u 0.778 * [taylor]: Taking taylor expansion of v in u 0.778 * [taylor]: Taking taylor expansion of u in u 0.781 * [taylor]: Taking taylor expansion of 0 in v 0.781 * [taylor]: Taking taylor expansion of 0 in v 0.783 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u 0.784 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u 0.784 * [taylor]: Taking taylor expansion of 3 in u 0.784 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u 0.784 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u 0.784 * [taylor]: Taking taylor expansion of v in u 0.784 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.784 * [taylor]: Taking taylor expansion of u in u 0.789 * [taylor]: Taking taylor expansion of 0 in v 0.791 * [taylor]: Taking taylor expansion of 0 in v 0.791 * [taylor]: Taking taylor expansion of 0 in v 0.794 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u 0.795 * [taylor]: Taking taylor expansion of 4 in u 0.795 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u 0.795 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u 0.795 * [taylor]: Taking taylor expansion of v in u 0.795 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.795 * [taylor]: Taking taylor expansion of u in u 0.804 * [taylor]: Taking taylor expansion of 0 in v 0.807 * [taylor]: Taking taylor expansion of 0 in v 0.809 * [taylor]: Taking taylor expansion of 0 in v 0.809 * [taylor]: Taking taylor expansion of 0 in v 0.810 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0 0.810 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 0.810 * [taylor]: Taking taylor expansion of -1 in v 0.810 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 0.810 * [taylor]: Taking taylor expansion of t1 in v 0.810 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 0.810 * [taylor]: Taking taylor expansion of v in v 0.810 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 0.810 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.810 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.810 * [taylor]: Taking taylor expansion of u in v 0.810 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.810 * [taylor]: Taking taylor expansion of t1 in v 0.812 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 0.812 * [taylor]: Taking taylor expansion of -1 in u 0.812 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 0.812 * [taylor]: Taking taylor expansion of t1 in u 0.812 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 0.812 * [taylor]: Taking taylor expansion of v in u 0.812 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.812 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.812 * [taylor]: Taking taylor expansion of u in u 0.812 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.812 * [taylor]: Taking taylor expansion of t1 in u 0.813 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.813 * [taylor]: Taking taylor expansion of -1 in t1 0.813 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.813 * [taylor]: Taking taylor expansion of t1 in t1 0.813 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.813 * [taylor]: Taking taylor expansion of v in t1 0.813 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.813 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.813 * [taylor]: Taking taylor expansion of u in t1 0.813 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.813 * [taylor]: Taking taylor expansion of t1 in t1 0.815 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 0.815 * [taylor]: Taking taylor expansion of -1 in t1 0.815 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 0.815 * [taylor]: Taking taylor expansion of t1 in t1 0.815 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 0.815 * [taylor]: Taking taylor expansion of v in t1 0.815 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.815 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.815 * [taylor]: Taking taylor expansion of u in t1 0.815 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.815 * [taylor]: Taking taylor expansion of t1 in t1 0.817 * [taylor]: Taking taylor expansion of (/ -1 v) in u 0.817 * [taylor]: Taking taylor expansion of -1 in u 0.817 * [taylor]: Taking taylor expansion of v in u 0.817 * [taylor]: Taking taylor expansion of 0 in v 0.819 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u 0.819 * [taylor]: Taking taylor expansion of 2 in u 0.819 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u 0.819 * [taylor]: Taking taylor expansion of (* v u) in u 0.819 * [taylor]: Taking taylor expansion of v in u 0.819 * [taylor]: Taking taylor expansion of u in u 0.822 * [taylor]: Taking taylor expansion of 0 in v 0.822 * [taylor]: Taking taylor expansion of 0 in v 0.824 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u 0.824 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u 0.824 * [taylor]: Taking taylor expansion of 3 in u 0.824 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u 0.824 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u 0.824 * [taylor]: Taking taylor expansion of v in u 0.824 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.824 * [taylor]: Taking taylor expansion of u in u 0.835 * [taylor]: Taking taylor expansion of 0 in v 0.837 * [taylor]: Taking taylor expansion of 0 in v 0.837 * [taylor]: Taking taylor expansion of 0 in v 0.840 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u 0.840 * [taylor]: Taking taylor expansion of 4 in u 0.840 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u 0.840 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u 0.840 * [taylor]: Taking taylor expansion of v in u 0.841 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.841 * [taylor]: Taking taylor expansion of u in u 0.850 * [taylor]: Taking taylor expansion of 0 in v 0.853 * [taylor]: Taking taylor expansion of 0 in v 0.855 * [taylor]: Taking taylor expansion of 0 in v 0.855 * [taylor]: Taking taylor expansion of 0 in v 0.855 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.855 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0 0.855 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u 0.855 * [taylor]: Taking taylor expansion of -1 in u 0.855 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u 0.855 * [taylor]: Taking taylor expansion of t1 in u 0.855 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.855 * [taylor]: Taking taylor expansion of t1 in u 0.855 * [taylor]: Taking taylor expansion of u in u 0.856 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1 0.856 * [taylor]: Taking taylor expansion of -1 in t1 0.856 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 0.856 * [taylor]: Taking taylor expansion of t1 in t1 0.856 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.856 * [taylor]: Taking taylor expansion of t1 in t1 0.856 * [taylor]: Taking taylor expansion of u in t1 0.856 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1 0.856 * [taylor]: Taking taylor expansion of -1 in t1 0.856 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 0.856 * [taylor]: Taking taylor expansion of t1 in t1 0.856 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.856 * [taylor]: Taking taylor expansion of t1 in t1 0.856 * [taylor]: Taking taylor expansion of u in t1 0.856 * [taylor]: Taking taylor expansion of (/ -1 u) in u 0.856 * [taylor]: Taking taylor expansion of -1 in u 0.856 * [taylor]: Taking taylor expansion of u in u 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.857 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.858 * [taylor]: Taking taylor expansion of u in u 0.861 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u 0.861 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 0.861 * [taylor]: Taking taylor expansion of (pow u 3) in u 0.861 * [taylor]: Taking taylor expansion of u in u 0.867 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.868 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.868 * [taylor]: Taking taylor expansion of -1 in u 0.868 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.868 * [taylor]: Taking taylor expansion of t1 in u 0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.868 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.868 * [taylor]: Taking taylor expansion of u in u 0.868 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.868 * [taylor]: Taking taylor expansion of t1 in u 0.868 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.868 * [taylor]: Taking taylor expansion of -1 in t1 0.868 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.868 * [taylor]: Taking taylor expansion of t1 in t1 0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.868 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.868 * [taylor]: Taking taylor expansion of u in t1 0.868 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.868 * [taylor]: Taking taylor expansion of t1 in t1 0.870 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.870 * [taylor]: Taking taylor expansion of -1 in t1 0.870 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.870 * [taylor]: Taking taylor expansion of t1 in t1 0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.870 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.870 * [taylor]: Taking taylor expansion of u in t1 0.870 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.870 * [taylor]: Taking taylor expansion of t1 in t1 0.872 * [taylor]: Taking taylor expansion of -1 in u 0.874 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.874 * [taylor]: Taking taylor expansion of u in u 0.877 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.877 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.877 * [taylor]: Taking taylor expansion of u in u 0.881 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 0.881 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 0.881 * [taylor]: Taking taylor expansion of -1 in u 0.881 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 0.881 * [taylor]: Taking taylor expansion of t1 in u 0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.881 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.881 * [taylor]: Taking taylor expansion of u in u 0.881 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.881 * [taylor]: Taking taylor expansion of t1 in u 0.882 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.882 * [taylor]: Taking taylor expansion of -1 in t1 0.882 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.882 * [taylor]: Taking taylor expansion of t1 in t1 0.882 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.882 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.882 * [taylor]: Taking taylor expansion of u in t1 0.882 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.882 * [taylor]: Taking taylor expansion of t1 in t1 0.883 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 0.883 * [taylor]: Taking taylor expansion of -1 in t1 0.883 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 0.883 * [taylor]: Taking taylor expansion of t1 in t1 0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.884 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.884 * [taylor]: Taking taylor expansion of u in t1 0.884 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.884 * [taylor]: Taking taylor expansion of t1 in t1 0.885 * [taylor]: Taking taylor expansion of -1 in u 0.887 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.887 * [taylor]: Taking taylor expansion of u in u 0.890 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 0.890 * [taylor]: Taking taylor expansion of (pow u 2) in u 0.890 * [taylor]: Taking taylor expansion of u in u 0.894 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.894 * [approximate]: Taking taylor expansion of (/ (+ t1 u) v) in (t1 u v) around 0 0.894 * [taylor]: Taking taylor expansion of (/ (+ t1 u) v) in v 0.894 * [taylor]: Taking taylor expansion of (+ t1 u) in v 0.894 * [taylor]: Taking taylor expansion of t1 in v 0.894 * [taylor]: Taking taylor expansion of u in v 0.894 * [taylor]: Taking taylor expansion of v in v 0.895 * [taylor]: Taking taylor expansion of (/ (+ t1 u) v) in u 0.895 * [taylor]: Taking taylor expansion of (+ t1 u) in u 0.895 * [taylor]: Taking taylor expansion of t1 in u 0.895 * [taylor]: Taking taylor expansion of u in u 0.895 * [taylor]: Taking taylor expansion of v in u 0.895 * [taylor]: Taking taylor expansion of (/ (+ t1 u) v) in t1 0.895 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.895 * [taylor]: Taking taylor expansion of t1 in t1 0.895 * [taylor]: Taking taylor expansion of u in t1 0.895 * [taylor]: Taking taylor expansion of v in t1 0.895 * [taylor]: Taking taylor expansion of (/ (+ t1 u) v) in t1 0.895 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 0.895 * [taylor]: Taking taylor expansion of t1 in t1 0.895 * [taylor]: Taking taylor expansion of u in t1 0.895 * [taylor]: Taking taylor expansion of v in t1 0.895 * [taylor]: Taking taylor expansion of (/ u v) in u 0.895 * [taylor]: Taking taylor expansion of u in u 0.895 * [taylor]: Taking taylor expansion of v in u 0.895 * [taylor]: Taking taylor expansion of (/ 1 v) in u 0.895 * [taylor]: Taking taylor expansion of v in u 0.895 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.895 * [taylor]: Taking taylor expansion of v in v 0.896 * [taylor]: Taking taylor expansion of (/ 1 v) in v 0.896 * [taylor]: Taking taylor expansion of v in v 0.896 * [taylor]: Taking taylor expansion of 0 in u 0.896 * [taylor]: Taking taylor expansion of 0 in v 0.896 * [taylor]: Taking taylor expansion of 0 in v 0.897 * [taylor]: Taking taylor expansion of 0 in v 0.898 * [taylor]: Taking taylor expansion of 0 in u 0.898 * [taylor]: Taking taylor expansion of 0 in v 0.898 * [taylor]: Taking taylor expansion of 0 in v 0.898 * [taylor]: Taking taylor expansion of 0 in v 0.898 * [taylor]: Taking taylor expansion of 0 in v 0.899 * [approximate]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in (t1 u v) around 0 0.899 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.899 * [taylor]: Taking taylor expansion of v in v 0.899 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.899 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.899 * [taylor]: Taking taylor expansion of u in v 0.899 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.899 * [taylor]: Taking taylor expansion of t1 in v 0.899 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.899 * [taylor]: Taking taylor expansion of v in u 0.899 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.899 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.899 * [taylor]: Taking taylor expansion of u in u 0.899 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.899 * [taylor]: Taking taylor expansion of t1 in u 0.899 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.899 * [taylor]: Taking taylor expansion of v in t1 0.899 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.899 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.899 * [taylor]: Taking taylor expansion of u in t1 0.900 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.900 * [taylor]: Taking taylor expansion of t1 in t1 0.900 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.900 * [taylor]: Taking taylor expansion of v in t1 0.900 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.900 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.900 * [taylor]: Taking taylor expansion of u in t1 0.900 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.900 * [taylor]: Taking taylor expansion of t1 in t1 0.900 * [taylor]: Taking taylor expansion of v in u 0.901 * [taylor]: Taking taylor expansion of (/ v u) in u 0.901 * [taylor]: Taking taylor expansion of v in u 0.901 * [taylor]: Taking taylor expansion of u in u 0.901 * [taylor]: Taking taylor expansion of v in v 0.901 * [taylor]: Taking taylor expansion of v in v 0.902 * [taylor]: Taking taylor expansion of 0 in u 0.903 * [taylor]: Taking taylor expansion of 0 in v 0.903 * [taylor]: Taking taylor expansion of 0 in v 0.904 * [taylor]: Taking taylor expansion of 0 in u 0.904 * [taylor]: Taking taylor expansion of 0 in v 0.905 * [taylor]: Taking taylor expansion of 0 in v 0.905 * [taylor]: Taking taylor expansion of 0 in v 0.906 * [approximate]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in (t1 u v) around 0 0.906 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 0.906 * [taylor]: Taking taylor expansion of v in v 0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 0.906 * [taylor]: Taking taylor expansion of (/ 1 u) in v 0.906 * [taylor]: Taking taylor expansion of u in v 0.906 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 0.906 * [taylor]: Taking taylor expansion of t1 in v 0.906 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 0.906 * [taylor]: Taking taylor expansion of v in u 0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 0.906 * [taylor]: Taking taylor expansion of (/ 1 u) in u 0.906 * [taylor]: Taking taylor expansion of u in u 0.906 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 0.906 * [taylor]: Taking taylor expansion of t1 in u 0.906 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.906 * [taylor]: Taking taylor expansion of v in t1 0.906 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.906 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.906 * [taylor]: Taking taylor expansion of u in t1 0.906 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.906 * [taylor]: Taking taylor expansion of t1 in t1 0.907 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 0.907 * [taylor]: Taking taylor expansion of v in t1 0.907 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 0.907 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 0.907 * [taylor]: Taking taylor expansion of u in t1 0.907 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 0.907 * [taylor]: Taking taylor expansion of t1 in t1 0.907 * [taylor]: Taking taylor expansion of v in u 0.908 * [taylor]: Taking taylor expansion of (/ v u) in u 0.908 * [taylor]: Taking taylor expansion of v in u 0.908 * [taylor]: Taking taylor expansion of u in u 0.908 * [taylor]: Taking taylor expansion of v in v 0.908 * [taylor]: Taking taylor expansion of v in v 0.909 * [taylor]: Taking taylor expansion of 0 in u 0.914 * [taylor]: Taking taylor expansion of 0 in v 0.914 * [taylor]: Taking taylor expansion of 0 in v 0.916 * [taylor]: Taking taylor expansion of 0 in u 0.916 * [taylor]: Taking taylor expansion of 0 in v 0.917 * [taylor]: Taking taylor expansion of 0 in v 0.917 * [taylor]: Taking taylor expansion of 0 in v 0.917 * * * [progress]: simplifying candidates 0.918 * [simplify]: Simplifying using # : (- (/ (- t1) (+ t1 u))) (- (/ (+ t1 u) v)) (/ (/ 0 (+ t1 u)) (/ (+ t1 u) v)) (/ (/ t1 (+ t1 u)) (/ (+ t1 u) v)) (/ (- t1) (+ t1 u)) (/ (/ 1 (+ t1 u)) (/ 1 v)) (/ (/ (- t1) (+ (pow t1 3) (pow u 3))) (+ t1 u)) (/ (+ (* t1 t1) (- (* u u) (* t1 u))) (/ 1 v)) (/ (/ (- t1) (- (* t1 t1) (* u u))) (+ t1 u)) (/ (- t1 u) (/ 1 v)) (/ 1 (/ (+ t1 u) v)) (/ (/ (+ t1 u) v) (/ (- t1) (+ t1 u))) (/ (/ t1 (+ t1 u)) (/ (+ t1 u) v)) (/ (/ (- t1) (+ t1 u)) (+ t1 u)) (/ (/ (+ t1 u) v) (/ 1 (+ t1 u))) (/ (/ (+ t1 u) v) (+ (* t1 t1) (- (* u u) (* t1 u)))) (/ (/ (+ t1 u) v) (- t1 u)) (/ (/ (- t1) (+ t1 u)) (+ t1 u)) (/ (/ (- t1) (+ t1 u)) (- (+ t1 u))) (/ (/ (- t1) (+ t1 u)) 1) (/ (/ (- t1) (+ t1 u)) (+ (pow t1 3) (pow u 3))) (/ (/ (- t1) (+ t1 u)) (- (* t1 t1) (* u u))) (* (/ (+ t1 u) v) (+ t1 u)) (* (/ (+ t1 u) v) (- (+ t1 u))) (* (/ (+ t1 u) v) (/ (+ t1 u) (- t1))) (* (/ (+ t1 u) v) (/ (+ t1 u) t1)) (- (- 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))) (- (+ t1 u)) (- v) (/ 1 v) (/ v (+ t1 u)) (* v (+ (* t1 t1) (- (* u u) (* t1 u)))) (* v (- t1 u)) 0 0 0 0 0 0 (+ (/ u v) (/ t1 v)) (+ (/ u v) (/ t1 v)) (+ (/ u v) (/ t1 v)) 0.921 * * [simplify]: iteration 0 : 162 enodes (cost 174 ) 0.924 * * [simplify]: iteration 1 : 544 enodes (cost 164 ) 0.933 * * [simplify]: iteration 2 : 2349 enodes (cost 159 ) 0.968 * * [simplify]: iteration 3 : 5002 enodes (cost 159 ) 0.969 * [simplify]: Simplified to: (/ t1 (+ t1 u)) (- (/ (+ t1 u) v)) 0 (/ (/ t1 (+ t1 u)) (/ (+ t1 u) v)) (/ (- t1) (+ t1 u)) (/ v (+ t1 u)) (/ (/ (- t1) (+ (pow t1 3) (pow u 3))) (+ t1 u)) (* v (+ (* u (- u t1)) (* t1 t1))) (/ (/ (- t1) (- (* t1 t1) (* u u))) (+ t1 u)) (* v (- t1 u)) (/ v (+ t1 u)) (/ (/ (+ t1 u) v) (/ (- t1) (+ t1 u))) (/ (/ t1 (+ t1 u)) (/ (+ t1 u) v)) (/ (/ (- t1) (+ t1 u)) (+ t1 u)) (* (/ (+ t1 u) v) (+ t1 u)) (/ (/ (+ t1 u) v) (+ (* u (- u t1)) (* t1 t1))) (/ (/ (+ t1 u) v) (- t1 u)) (/ (/ (- t1) (+ t1 u)) (+ t1 u)) (/ (/ (- t1) (+ t1 u)) (- (+ t1 u))) (/ (- t1) (+ t1 u)) (/ (/ (- t1) (+ (pow t1 3) (pow u 3))) (+ t1 u)) (/ (/ (- t1) (- (* t1 t1) (* u u))) (+ t1 u)) (* (/ (+ t1 u) v) (+ t1 u)) (* (/ (+ t1 u) v) (- (+ t1 u))) (/ (/ (+ t1 u) v) (/ (- t1) (+ t1 u))) (* (/ (+ t1 u) v) (/ (+ t1 u) t1)) 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))) (- (+ t1 u)) (- v) (/ 1 v) (/ v (+ t1 u)) (* v (+ (* u (- u t1)) (* t1 t1))) (* v (- t1 u)) 0 0 0 0 0 0 (/ (+ t1 u) v) (/ (+ t1 u) v) (/ (+ t1 u) v) 0.969 * * * [progress]: adding candidates to table 1.045 * * [progress]: iteration 4 / 4 1.045 * * * [progress]: picking best candidate 1.052 * * * * [pick]: Picked # 1.052 * * * [progress]: localizing error 1.059 * * * [progress]: generating rewritten candidates 1.059 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.070 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 1.073 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1.077 * * * [progress]: generating series expansions 1.077 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.077 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (v t1 u) around 0 1.078 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u 1.078 * [taylor]: Taking taylor expansion of -1 in u 1.078 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u 1.078 * [taylor]: Taking taylor expansion of (* t1 v) in u 1.078 * [taylor]: Taking taylor expansion of t1 in u 1.078 * [taylor]: Taking taylor expansion of v in u 1.078 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u 1.078 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.078 * [taylor]: Taking taylor expansion of t1 in u 1.078 * [taylor]: Taking taylor expansion of u in u 1.078 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1 1.078 * [taylor]: Taking taylor expansion of -1 in t1 1.078 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1 1.078 * [taylor]: Taking taylor expansion of (* t1 v) in t1 1.078 * [taylor]: Taking taylor expansion of t1 in t1 1.078 * [taylor]: Taking taylor expansion of v in t1 1.078 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.078 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.078 * [taylor]: Taking taylor expansion of t1 in t1 1.078 * [taylor]: Taking taylor expansion of u in t1 1.079 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 1.079 * [taylor]: Taking taylor expansion of -1 in v 1.079 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 1.079 * [taylor]: Taking taylor expansion of (* t1 v) in v 1.079 * [taylor]: Taking taylor expansion of t1 in v 1.079 * [taylor]: Taking taylor expansion of v in v 1.079 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 1.079 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.079 * [taylor]: Taking taylor expansion of t1 in v 1.079 * [taylor]: Taking taylor expansion of u in v 1.079 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v 1.079 * [taylor]: Taking taylor expansion of -1 in v 1.079 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v 1.080 * [taylor]: Taking taylor expansion of (* t1 v) in v 1.080 * [taylor]: Taking taylor expansion of t1 in v 1.080 * [taylor]: Taking taylor expansion of v in v 1.080 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v 1.080 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.080 * [taylor]: Taking taylor expansion of t1 in v 1.080 * [taylor]: Taking taylor expansion of u in v 1.080 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (pow (+ t1 u) 2))) in t1 1.080 * [taylor]: Taking taylor expansion of -1 in t1 1.080 * [taylor]: Taking taylor expansion of (/ t1 (pow (+ t1 u) 2)) in t1 1.080 * [taylor]: Taking taylor expansion of t1 in t1 1.080 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1 1.080 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.080 * [taylor]: Taking taylor expansion of t1 in t1 1.080 * [taylor]: Taking taylor expansion of u in t1 1.081 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u 1.081 * [taylor]: Taking taylor expansion of -1 in u 1.081 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.081 * [taylor]: Taking taylor expansion of u in u 1.085 * [taylor]: Taking taylor expansion of 0 in t1 1.085 * [taylor]: Taking taylor expansion of 0 in u 1.086 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow u 3))) in u 1.086 * [taylor]: Taking taylor expansion of 2 in u 1.086 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 1.086 * [taylor]: Taking taylor expansion of (pow u 3) in u 1.086 * [taylor]: Taking taylor expansion of u in u 1.095 * [taylor]: Taking taylor expansion of 0 in t1 1.095 * [taylor]: Taking taylor expansion of 0 in u 1.095 * [taylor]: Taking taylor expansion of 0 in u 1.096 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 1.096 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 1.096 * [taylor]: Taking taylor expansion of -1 in u 1.096 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 1.096 * [taylor]: Taking taylor expansion of t1 in u 1.096 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 1.096 * [taylor]: Taking taylor expansion of v in u 1.096 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.096 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.096 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.096 * [taylor]: Taking taylor expansion of u in u 1.096 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.096 * [taylor]: Taking taylor expansion of t1 in u 1.097 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.097 * [taylor]: Taking taylor expansion of -1 in t1 1.097 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.097 * [taylor]: Taking taylor expansion of t1 in t1 1.097 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.097 * [taylor]: Taking taylor expansion of v in t1 1.097 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1 1.097 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.097 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.097 * [taylor]: Taking taylor expansion of u in t1 1.097 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.097 * [taylor]: Taking taylor expansion of t1 in t1 1.099 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.099 * [taylor]: Taking taylor expansion of -1 in v 1.099 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.099 * [taylor]: Taking taylor expansion of t1 in v 1.099 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.099 * [taylor]: Taking taylor expansion of v in v 1.099 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.099 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.099 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.099 * [taylor]: Taking taylor expansion of u in v 1.099 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.099 * [taylor]: Taking taylor expansion of t1 in v 1.101 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.101 * [taylor]: Taking taylor expansion of -1 in v 1.101 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.101 * [taylor]: Taking taylor expansion of t1 in v 1.101 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.101 * [taylor]: Taking taylor expansion of v in v 1.101 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.101 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.101 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.101 * [taylor]: Taking taylor expansion of u in v 1.101 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.101 * [taylor]: Taking taylor expansion of t1 in v 1.103 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 1.103 * [taylor]: Taking taylor expansion of -1 in t1 1.103 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 1.103 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 1.103 * [taylor]: Taking taylor expansion of t1 in t1 1.103 * [taylor]: Taking taylor expansion of (pow u 2) in t1 1.103 * [taylor]: Taking taylor expansion of u in t1 1.103 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 1.103 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 1.103 * [taylor]: Taking taylor expansion of 2 in t1 1.103 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.103 * [taylor]: Taking taylor expansion of u in t1 1.103 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.103 * [taylor]: Taking taylor expansion of t1 in t1 1.104 * [taylor]: Taking taylor expansion of -1 in u 1.107 * [taylor]: Taking taylor expansion of 0 in t1 1.107 * [taylor]: Taking taylor expansion of 0 in u 1.108 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 1.108 * [taylor]: Taking taylor expansion of 2 in u 1.108 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.108 * [taylor]: Taking taylor expansion of u in u 1.113 * [taylor]: Taking taylor expansion of 0 in t1 1.113 * [taylor]: Taking taylor expansion of 0 in u 1.113 * [taylor]: Taking taylor expansion of 0 in u 1.114 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (v t1 u) around 0 1.114 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u 1.114 * [taylor]: Taking taylor expansion of -1 in u 1.114 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u 1.114 * [taylor]: Taking taylor expansion of t1 in u 1.114 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u 1.114 * [taylor]: Taking taylor expansion of v in u 1.114 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u 1.114 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.114 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.114 * [taylor]: Taking taylor expansion of u in u 1.114 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.114 * [taylor]: Taking taylor expansion of t1 in u 1.115 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1 1.115 * [taylor]: Taking taylor expansion of -1 in t1 1.115 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1 1.115 * [taylor]: Taking taylor expansion of t1 in t1 1.115 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1 1.115 * [taylor]: Taking taylor expansion of v in t1 1.115 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) 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 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.116 * [taylor]: Taking taylor expansion of -1 in v 1.117 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.117 * [taylor]: Taking taylor expansion of t1 in v 1.117 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.117 * [taylor]: Taking taylor expansion of v in v 1.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.117 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.117 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.117 * [taylor]: Taking taylor expansion of u in v 1.117 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.117 * [taylor]: Taking taylor expansion of t1 in v 1.119 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v 1.119 * [taylor]: Taking taylor expansion of -1 in v 1.119 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v 1.119 * [taylor]: Taking taylor expansion of t1 in v 1.119 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v 1.119 * [taylor]: Taking taylor expansion of v in v 1.119 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v 1.119 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.119 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.119 * [taylor]: Taking taylor expansion of u in v 1.119 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.119 * [taylor]: Taking taylor expansion of t1 in v 1.121 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1)))) in t1 1.121 * [taylor]: Taking taylor expansion of -1 in t1 1.121 * [taylor]: Taking taylor expansion of (+ (/ t1 (pow u 2)) (+ (* 2 (/ 1 u)) (/ 1 t1))) in t1 1.121 * [taylor]: Taking taylor expansion of (/ t1 (pow u 2)) in t1 1.121 * [taylor]: Taking taylor expansion of t1 in t1 1.121 * [taylor]: Taking taylor expansion of (pow u 2) in t1 1.121 * [taylor]: Taking taylor expansion of u in t1 1.121 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 u)) (/ 1 t1)) in t1 1.121 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in t1 1.121 * [taylor]: Taking taylor expansion of 2 in t1 1.121 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.121 * [taylor]: Taking taylor expansion of u in t1 1.121 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.121 * [taylor]: Taking taylor expansion of t1 in t1 1.122 * [taylor]: Taking taylor expansion of -1 in u 1.125 * [taylor]: Taking taylor expansion of 0 in t1 1.125 * [taylor]: Taking taylor expansion of 0 in u 1.126 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u 1.126 * [taylor]: Taking taylor expansion of 2 in u 1.126 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.126 * [taylor]: Taking taylor expansion of u in u 1.131 * [taylor]: Taking taylor expansion of 0 in t1 1.131 * [taylor]: Taking taylor expansion of 0 in u 1.131 * [taylor]: Taking taylor expansion of 0 in u 1.131 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 1.132 * [approximate]: Taking taylor expansion of (/ t1 (+ t1 u)) in (t1 u) around 0 1.132 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u 1.132 * [taylor]: Taking taylor expansion of t1 in u 1.132 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.132 * [taylor]: Taking taylor expansion of t1 in u 1.132 * [taylor]: Taking taylor expansion of u in u 1.132 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 1.132 * [taylor]: Taking taylor expansion of t1 in t1 1.132 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.132 * [taylor]: Taking taylor expansion of t1 in t1 1.132 * [taylor]: Taking taylor expansion of u in t1 1.132 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1 1.132 * [taylor]: Taking taylor expansion of t1 in t1 1.132 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.132 * [taylor]: Taking taylor expansion of t1 in t1 1.132 * [taylor]: Taking taylor expansion of u in t1 1.132 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.132 * [taylor]: Taking taylor expansion of u in u 1.133 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.133 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.133 * [taylor]: Taking taylor expansion of u in u 1.136 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u 1.136 * [taylor]: Taking taylor expansion of (pow u 3) in u 1.136 * [taylor]: Taking taylor expansion of u in u 1.143 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 1.143 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 1.143 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 1.143 * [taylor]: Taking taylor expansion of t1 in u 1.143 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.143 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.143 * [taylor]: Taking taylor expansion of u in u 1.143 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.143 * [taylor]: Taking taylor expansion of t1 in u 1.144 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.144 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.144 * [taylor]: Taking taylor expansion of t1 in t1 1.144 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.144 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.144 * [taylor]: Taking taylor expansion of u in t1 1.144 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.144 * [taylor]: Taking taylor expansion of t1 in t1 1.146 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.146 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.146 * [taylor]: Taking taylor expansion of t1 in t1 1.146 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.146 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.146 * [taylor]: Taking taylor expansion of u in t1 1.146 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.146 * [taylor]: Taking taylor expansion of t1 in t1 1.147 * [taylor]: Taking taylor expansion of 1 in u 1.149 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.149 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.149 * [taylor]: Taking taylor expansion of u in u 1.152 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.152 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.152 * [taylor]: Taking taylor expansion of u in u 1.161 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0 1.162 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u 1.162 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u 1.162 * [taylor]: Taking taylor expansion of t1 in u 1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.162 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.162 * [taylor]: Taking taylor expansion of u in u 1.162 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.162 * [taylor]: Taking taylor expansion of t1 in u 1.162 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.162 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.162 * [taylor]: Taking taylor expansion of t1 in t1 1.162 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.162 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.162 * [taylor]: Taking taylor expansion of u in t1 1.162 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.162 * [taylor]: Taking taylor expansion of t1 in t1 1.164 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1 1.164 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1 1.164 * [taylor]: Taking taylor expansion of t1 in t1 1.164 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.164 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.164 * [taylor]: Taking taylor expansion of u in t1 1.164 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.164 * [taylor]: Taking taylor expansion of t1 in t1 1.166 * [taylor]: Taking taylor expansion of 1 in u 1.168 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.168 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.168 * [taylor]: Taking taylor expansion of u in u 1.171 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.171 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.171 * [taylor]: Taking taylor expansion of u in u 1.175 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1.175 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0 1.175 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u 1.175 * [taylor]: Taking taylor expansion of v in u 1.175 * [taylor]: Taking taylor expansion of (+ t1 u) in u 1.175 * [taylor]: Taking taylor expansion of t1 in u 1.175 * [taylor]: Taking taylor expansion of u in u 1.175 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1 1.175 * [taylor]: Taking taylor expansion of v in t1 1.176 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.176 * [taylor]: Taking taylor expansion of t1 in t1 1.176 * [taylor]: Taking taylor expansion of u in t1 1.176 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 1.176 * [taylor]: Taking taylor expansion of v in v 1.176 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.176 * [taylor]: Taking taylor expansion of t1 in v 1.176 * [taylor]: Taking taylor expansion of u in v 1.176 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v 1.176 * [taylor]: Taking taylor expansion of v in v 1.176 * [taylor]: Taking taylor expansion of (+ t1 u) in v 1.176 * [taylor]: Taking taylor expansion of t1 in v 1.176 * [taylor]: Taking taylor expansion of u in v 1.176 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1 1.176 * [taylor]: Taking taylor expansion of (+ t1 u) in t1 1.176 * [taylor]: Taking taylor expansion of t1 in t1 1.176 * [taylor]: Taking taylor expansion of u in t1 1.176 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.176 * [taylor]: Taking taylor expansion of u in u 1.177 * [taylor]: Taking taylor expansion of 0 in t1 1.177 * [taylor]: Taking taylor expansion of 0 in u 1.177 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u 1.177 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u 1.178 * [taylor]: Taking taylor expansion of (pow u 2) in u 1.178 * [taylor]: Taking taylor expansion of u in u 1.181 * [taylor]: Taking taylor expansion of 0 in t1 1.181 * [taylor]: Taking taylor expansion of 0 in u 1.181 * [taylor]: Taking taylor expansion of 0 in u 1.181 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 1.181 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 1.181 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 1.181 * [taylor]: Taking taylor expansion of v in u 1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.181 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.181 * [taylor]: Taking taylor expansion of u in u 1.181 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.181 * [taylor]: Taking taylor expansion of t1 in u 1.182 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 1.182 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 1.182 * [taylor]: Taking taylor expansion of v in t1 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.182 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.182 * [taylor]: Taking taylor expansion of u in t1 1.182 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.182 * [taylor]: Taking taylor expansion of t1 in t1 1.182 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.182 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.182 * [taylor]: Taking taylor expansion of v in v 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.182 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.182 * [taylor]: Taking taylor expansion of u in v 1.182 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.182 * [taylor]: Taking taylor expansion of t1 in v 1.183 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.183 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.183 * [taylor]: Taking taylor expansion of v in v 1.183 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.183 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.183 * [taylor]: Taking taylor expansion of u in v 1.183 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.183 * [taylor]: Taking taylor expansion of t1 in v 1.184 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 1.184 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.184 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.184 * [taylor]: Taking taylor expansion of u in t1 1.184 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.184 * [taylor]: Taking taylor expansion of t1 in t1 1.185 * [taylor]: Taking taylor expansion of 1 in u 1.186 * [taylor]: Taking taylor expansion of 0 in t1 1.186 * [taylor]: Taking taylor expansion of 0 in u 1.187 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.187 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.187 * [taylor]: Taking taylor expansion of u in u 1.190 * [taylor]: Taking taylor expansion of 0 in t1 1.190 * [taylor]: Taking taylor expansion of 0 in u 1.190 * [taylor]: Taking taylor expansion of 0 in u 1.190 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0 1.190 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u 1.190 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u 1.190 * [taylor]: Taking taylor expansion of v in u 1.190 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u 1.190 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.190 * [taylor]: Taking taylor expansion of u in u 1.190 * [taylor]: Taking taylor expansion of (/ 1 t1) in u 1.190 * [taylor]: Taking taylor expansion of t1 in u 1.191 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1 1.191 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1 1.191 * [taylor]: Taking taylor expansion of v in t1 1.191 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.191 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.191 * [taylor]: Taking taylor expansion of u in t1 1.191 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.191 * [taylor]: Taking taylor expansion of t1 in t1 1.191 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.191 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.191 * [taylor]: Taking taylor expansion of v in v 1.191 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.191 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.191 * [taylor]: Taking taylor expansion of u in v 1.191 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.191 * [taylor]: Taking taylor expansion of t1 in v 1.192 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v 1.192 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v 1.192 * [taylor]: Taking taylor expansion of v in v 1.192 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v 1.192 * [taylor]: Taking taylor expansion of (/ 1 u) in v 1.192 * [taylor]: Taking taylor expansion of u in v 1.192 * [taylor]: Taking taylor expansion of (/ 1 t1) in v 1.192 * [taylor]: Taking taylor expansion of t1 in v 1.193 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1 1.193 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1 1.193 * [taylor]: Taking taylor expansion of (/ 1 u) in t1 1.193 * [taylor]: Taking taylor expansion of u in t1 1.193 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1 1.193 * [taylor]: Taking taylor expansion of t1 in t1 1.194 * [taylor]: Taking taylor expansion of 1 in u 1.195 * [taylor]: Taking taylor expansion of 0 in t1 1.195 * [taylor]: Taking taylor expansion of 0 in u 1.196 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u 1.196 * [taylor]: Taking taylor expansion of (/ 1 u) in u 1.196 * [taylor]: Taking taylor expansion of u in u 1.198 * [taylor]: Taking taylor expansion of 0 in t1 1.199 * [taylor]: Taking taylor expansion of 0 in u 1.199 * [taylor]: Taking taylor expansion of 0 in u 1.199 * * * [progress]: simplifying candidates 1.199 * [simplify]: Simplifying using # : (* v (- t1)) (* (+ t1 u) (+ t1 u)) (* v (- (- t1))) (* (+ t1 u) (- (+ t1 u))) (* 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)) (* 1 (- t1)) (* (/ (+ t1 u) v) (+ t1 u)) (* 1 (- (- t1))) (* (/ (+ t1 u) v) (- (+ t1 u))) (* 1 (- 1)) (* (/ (+ t1 u) v) (/ (+ t1 u) t1)) (* (/ v (+ t1 u)) (/ t1 (+ t1 u))) (* (/ v (+ t1 u)) -1) (* (/ v (+ t1 u)) (- t1)) (* (/ v (+ t1 u)) (- (/ t1 (+ (pow t1 3) (pow u 3))))) (* (/ v (+ t1 u)) (- (/ t1 (- (* t1 t1) (* u 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 (+ t1 u)))) (* (- v) (- (/ t1 (+ t1 u)))) (* 1 (- (/ t1 (+ t1 u)))) (- t1) (- (+ t1 u)) (/ 1 (+ 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 1.203 * * [simplify]: iteration 0 : 211 enodes (cost 166 ) 1.207 * * [simplify]: iteration 1 : 834 enodes (cost 159 ) 1.223 * * [simplify]: iteration 2 : 3617 enodes (cost 159 ) 1.286 * * [simplify]: iteration 3 : 5001 enodes (cost 159 ) 1.287 * [simplify]: Simplified to: (* t1 (- v)) (* (+ t1 u) (+ t1 u)) (* t1 v) (* (- (+ t1 u)) (+ t1 u)) (- v) (* (+ t1 u) (/ (+ t1 u) t1)) (* t1 v) (* (- (+ t1 u)) (+ t1 u)) (* t1 (- v)) (* (+ t1 u) (+ t1 u)) 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)) (* (/ v (+ t1 u)) (/ t1 (+ t1 u))) (- (/ v (+ t1 u))) (* v (- (/ t1 (+ t1 u)))) (* (/ v (+ t1 u)) (- (/ t1 (+ (pow t1 3) (pow u 3))))) (* (/ v (+ t1 u)) (- (/ t1 (- (* t1 t1) (* u u))))) (* v (/ t1 (+ t1 u))) (* (/ 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))) (+ (* u (- u t1)) (* t1 t1))) (* (- t1 u) (- (/ t1 (+ t1 u)))) (* v (- (/ t1 (+ t1 u)))) (* v (/ t1 (+ t1 u))) (- (/ v (+ t1 u))) (* v (- (/ t1 (+ t1 u)))) (* v (/ t1 (+ t1 u))) (- (/ t1 (+ t1 u))) (- t1) (- (+ t1 u)) (/ 1 (+ 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 1.288 * * * [progress]: adding candidates to table 1.377 * [progress]: [Phase 3 of 3] Extracting. 1.377 * * [regime]: Finding splitpoints for: (# # # # # #) 1.379 * * * [regime-changes]: Trying 3 branch expressions: (t1 v u) 1.379 * * * * [regimes]: Trying to branch on t1 from (# # # # # #) 1.403 * * * * [regimes]: Trying to branch on v from (# # # # # #) 1.422 * * * * [regimes]: Trying to branch on u from (# # # # # #) 1.444 * * * [regime]: Found split indices: #