6.707 * [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.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))
0.018 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
0.019 * * [simplify]: iteration  1 :  25  enodes  (cost  12 )
0.022 * * [simplify]: iteration  2 :  63  enodes  (cost  12 )
0.036 * * [simplify]: iteration  3 :  115  enodes  (cost  12 )
0.053 * * [simplify]: iteration  4 :  171  enodes  (cost  12 )
0.081 * * [simplify]: iteration  5 :  210  enodes  (cost  12 )
0.113 * * [simplify]: iteration  6 :  245  enodes  (cost  12 )
0.150 * * [simplify]: iteration  7 :  261  enodes  (cost  12 )
0.189 * * [simplify]: iteration  8 :  301  enodes  (cost  12 )
0.235 * * [simplify]: iteration  9 :  357  enodes  (cost  12 )
0.301 * * [simplify]: iteration  10 :  460  enodes  (cost  12 )
0.591 * * [simplify]: iteration  11 :  1364  enodes  (cost  12 )
2.062 * * [simplify]: iteration  done :  5000  enodes  (cost  12 )
2.062 * [simplify]: Simplified to:
   (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))
2.063 * * [progress]: iteration 1 / 4
2.063 * * * [progress]: picking best candidate
2.068 * * * * [pick]: Picked  #<alt (λ (u v t1) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))>
2.069 * * * [progress]: localizing error
2.075 * * * [progress]: generating rewritten candidates
2.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.105 * * * [progress]: generating series expansions
2.105 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.105 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 v u) around 0
2.105 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
2.105 * [taylor]: Taking taylor expansion of -1 in u
2.105 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
2.105 * [taylor]: Taking taylor expansion of (* t1 v) in u
2.105 * [taylor]: Taking taylor expansion of t1 in u
2.105 * [taylor]: Taking taylor expansion of v in u
2.105 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
2.105 * [taylor]: Taking taylor expansion of (+ t1 u) in u
2.105 * [taylor]: Taking taylor expansion of t1 in u
2.105 * [taylor]: Taking taylor expansion of u in u
2.105 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
2.105 * [taylor]: Taking taylor expansion of -1 in v
2.105 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
2.105 * [taylor]: Taking taylor expansion of (* t1 v) in v
2.105 * [taylor]: Taking taylor expansion of t1 in v
2.105 * [taylor]: Taking taylor expansion of v in v
2.105 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
2.105 * [taylor]: Taking taylor expansion of (+ t1 u) in v
2.105 * [taylor]: Taking taylor expansion of t1 in v
2.105 * [taylor]: Taking taylor expansion of u in v
2.106 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
2.106 * [taylor]: Taking taylor expansion of -1 in t1
2.106 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
2.106 * [taylor]: Taking taylor expansion of (* t1 v) in t1
2.106 * [taylor]: Taking taylor expansion of t1 in t1
2.106 * [taylor]: Taking taylor expansion of v in t1
2.106 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
2.106 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
2.106 * [taylor]: Taking taylor expansion of t1 in t1
2.106 * [taylor]: Taking taylor expansion of u in t1
2.107 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
2.107 * [taylor]: Taking taylor expansion of -1 in t1
2.107 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
2.107 * [taylor]: Taking taylor expansion of (* t1 v) in t1
2.107 * [taylor]: Taking taylor expansion of t1 in t1
2.107 * [taylor]: Taking taylor expansion of v in t1
2.107 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
2.107 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
2.107 * [taylor]: Taking taylor expansion of t1 in t1
2.107 * [taylor]: Taking taylor expansion of u in t1
2.107 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in v
2.107 * [taylor]: Taking taylor expansion of -1 in v
2.107 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in v
2.107 * [taylor]: Taking taylor expansion of v in v
2.107 * [taylor]: Taking taylor expansion of (pow u 2) in v
2.107 * [taylor]: Taking taylor expansion of u in v
2.108 * [taylor]: Taking taylor expansion of (/ -1 (pow u 2)) in u
2.108 * [taylor]: Taking taylor expansion of -1 in u
2.108 * [taylor]: Taking taylor expansion of (pow u 2) in u
2.108 * [taylor]: Taking taylor expansion of u in u
2.111 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in v
2.111 * [taylor]: Taking taylor expansion of 2 in v
2.111 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in v
2.111 * [taylor]: Taking taylor expansion of v in v
2.111 * [taylor]: Taking taylor expansion of (pow u 3) in v
2.111 * [taylor]: Taking taylor expansion of u in v
2.112 * [taylor]: Taking taylor expansion of (/ 2 (pow u 3)) in u
2.112 * [taylor]: Taking taylor expansion of 2 in u
2.112 * [taylor]: Taking taylor expansion of (pow u 3) in u
2.112 * [taylor]: Taking taylor expansion of u in u
2.117 * [taylor]: Taking taylor expansion of 0 in u
2.121 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in v
2.121 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in v
2.121 * [taylor]: Taking taylor expansion of 3 in v
2.121 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in v
2.121 * [taylor]: Taking taylor expansion of v in v
2.121 * [taylor]: Taking taylor expansion of (pow u 4) in v
2.121 * [taylor]: Taking taylor expansion of u in v
2.121 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 4)))) in u
2.121 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 4))) in u
2.121 * [taylor]: Taking taylor expansion of 3 in u
2.121 * [taylor]: Taking taylor expansion of (/ 1 (pow u 4)) in u
2.121 * [taylor]: Taking taylor expansion of (pow u 4) in u
2.121 * [taylor]: Taking taylor expansion of u in u
2.129 * [taylor]: Taking taylor expansion of 0 in u
2.130 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
2.130 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
2.130 * [taylor]: Taking taylor expansion of -1 in u
2.130 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
2.130 * [taylor]: Taking taylor expansion of t1 in u
2.130 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
2.130 * [taylor]: Taking taylor expansion of v in u
2.130 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
2.130 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
2.130 * [taylor]: Taking taylor expansion of (/ 1 u) in u
2.130 * [taylor]: Taking taylor expansion of u in u
2.130 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
2.130 * [taylor]: Taking taylor expansion of t1 in u
2.131 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
2.131 * [taylor]: Taking taylor expansion of -1 in v
2.131 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
2.131 * [taylor]: Taking taylor expansion of t1 in v
2.131 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
2.131 * [taylor]: Taking taylor expansion of v in v
2.131 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
2.131 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
2.131 * [taylor]: Taking taylor expansion of (/ 1 u) in v
2.131 * [taylor]: Taking taylor expansion of u in v
2.131 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
2.131 * [taylor]: Taking taylor expansion of t1 in v
2.133 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
2.133 * [taylor]: Taking taylor expansion of -1 in t1
2.133 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
2.133 * [taylor]: Taking taylor expansion of t1 in t1
2.133 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
2.133 * [taylor]: Taking taylor expansion of v in t1
2.133 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.133 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.133 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.133 * [taylor]: Taking taylor expansion of u in t1
2.133 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.133 * [taylor]: Taking taylor expansion of t1 in t1
2.135 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
2.135 * [taylor]: Taking taylor expansion of -1 in t1
2.135 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
2.135 * [taylor]: Taking taylor expansion of t1 in t1
2.135 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
2.135 * [taylor]: Taking taylor expansion of v in t1
2.135 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.135 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.135 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.135 * [taylor]: Taking taylor expansion of u in t1
2.135 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.135 * [taylor]: Taking taylor expansion of t1 in t1
2.137 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.137 * [taylor]: Taking taylor expansion of -1 in v
2.137 * [taylor]: Taking taylor expansion of v in v
2.137 * [taylor]: Taking taylor expansion of -1 in u
2.140 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
2.140 * [taylor]: Taking taylor expansion of 2 in v
2.140 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
2.140 * [taylor]: Taking taylor expansion of (* v u) in v
2.140 * [taylor]: Taking taylor expansion of v in v
2.140 * [taylor]: Taking taylor expansion of u in v
2.140 * [taylor]: Taking taylor expansion of (/ 2 u) in u
2.140 * [taylor]: Taking taylor expansion of 2 in u
2.140 * [taylor]: Taking taylor expansion of u in u
2.142 * [taylor]: Taking taylor expansion of 0 in u
2.145 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v
2.145 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
2.145 * [taylor]: Taking taylor expansion of 3 in v
2.145 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
2.145 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
2.145 * [taylor]: Taking taylor expansion of v in v
2.145 * [taylor]: Taking taylor expansion of (pow u 2) in v
2.145 * [taylor]: Taking taylor expansion of u in v
2.146 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u
2.146 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
2.146 * [taylor]: Taking taylor expansion of 3 in u
2.146 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
2.146 * [taylor]: Taking taylor expansion of (pow u 2) in u
2.146 * [taylor]: Taking taylor expansion of u in u
2.156 * [taylor]: Taking taylor expansion of 0 in u
2.156 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 v u) around 0
2.156 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
2.156 * [taylor]: Taking taylor expansion of -1 in u
2.156 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
2.156 * [taylor]: Taking taylor expansion of t1 in u
2.156 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
2.156 * [taylor]: Taking taylor expansion of v in u
2.156 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
2.157 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
2.157 * [taylor]: Taking taylor expansion of (/ 1 u) in u
2.157 * [taylor]: Taking taylor expansion of u in u
2.157 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
2.157 * [taylor]: Taking taylor expansion of t1 in u
2.157 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
2.157 * [taylor]: Taking taylor expansion of -1 in v
2.157 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
2.158 * [taylor]: Taking taylor expansion of t1 in v
2.158 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
2.158 * [taylor]: Taking taylor expansion of v in v
2.158 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
2.158 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
2.158 * [taylor]: Taking taylor expansion of (/ 1 u) in v
2.158 * [taylor]: Taking taylor expansion of u in v
2.158 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
2.158 * [taylor]: Taking taylor expansion of t1 in v
2.160 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
2.160 * [taylor]: Taking taylor expansion of -1 in t1
2.160 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
2.160 * [taylor]: Taking taylor expansion of t1 in t1
2.160 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
2.160 * [taylor]: Taking taylor expansion of v in t1
2.160 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.160 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.160 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.160 * [taylor]: Taking taylor expansion of u in t1
2.160 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.160 * [taylor]: Taking taylor expansion of t1 in t1
2.162 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
2.162 * [taylor]: Taking taylor expansion of -1 in t1
2.162 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
2.162 * [taylor]: Taking taylor expansion of t1 in t1
2.162 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
2.162 * [taylor]: Taking taylor expansion of v in t1
2.162 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.162 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.162 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.162 * [taylor]: Taking taylor expansion of u in t1
2.162 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.162 * [taylor]: Taking taylor expansion of t1 in t1
2.163 * [taylor]: Taking taylor expansion of (/ -1 v) in v
2.164 * [taylor]: Taking taylor expansion of -1 in v
2.164 * [taylor]: Taking taylor expansion of v in v
2.164 * [taylor]: Taking taylor expansion of -1 in u
2.166 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in v
2.166 * [taylor]: Taking taylor expansion of 2 in v
2.166 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in v
2.166 * [taylor]: Taking taylor expansion of (* v u) in v
2.166 * [taylor]: Taking taylor expansion of v in v
2.166 * [taylor]: Taking taylor expansion of u in v
2.166 * [taylor]: Taking taylor expansion of (/ 2 u) in u
2.166 * [taylor]: Taking taylor expansion of 2 in u
2.166 * [taylor]: Taking taylor expansion of u in u
2.169 * [taylor]: Taking taylor expansion of 0 in u
2.171 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in v
2.171 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in v
2.171 * [taylor]: Taking taylor expansion of 3 in v
2.171 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in v
2.171 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in v
2.171 * [taylor]: Taking taylor expansion of v in v
2.171 * [taylor]: Taking taylor expansion of (pow u 2) in v
2.171 * [taylor]: Taking taylor expansion of u in v
2.172 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow u 2)))) in u
2.172 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow u 2))) in u
2.172 * [taylor]: Taking taylor expansion of 3 in u
2.172 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
2.172 * [taylor]: Taking taylor expansion of (pow u 2) in u
2.172 * [taylor]: Taking taylor expansion of u in u
2.179 * [taylor]: Taking taylor expansion of 0 in u
2.179 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.179 * [approximate]: Taking taylor expansion of (pow (+ t1 u) 2) in (t1 u) around 0
2.179 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
2.179 * [taylor]: Taking taylor expansion of (+ t1 u) in u
2.179 * [taylor]: Taking taylor expansion of t1 in u
2.179 * [taylor]: Taking taylor expansion of u in u
2.179 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
2.179 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
2.179 * [taylor]: Taking taylor expansion of t1 in t1
2.179 * [taylor]: Taking taylor expansion of u in t1
2.179 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
2.179 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
2.179 * [taylor]: Taking taylor expansion of t1 in t1
2.179 * [taylor]: Taking taylor expansion of u in t1
2.180 * [taylor]: Taking taylor expansion of (pow u 2) in u
2.180 * [taylor]: Taking taylor expansion of u in u
2.180 * [taylor]: Taking taylor expansion of (* 2 u) in u
2.180 * [taylor]: Taking taylor expansion of 2 in u
2.180 * [taylor]: Taking taylor expansion of u in u
2.181 * [taylor]: Taking taylor expansion of 1 in u
2.182 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0
2.182 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
2.182 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
2.182 * [taylor]: Taking taylor expansion of (/ 1 u) in u
2.182 * [taylor]: Taking taylor expansion of u in u
2.182 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
2.182 * [taylor]: Taking taylor expansion of t1 in u
2.183 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.183 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.183 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.183 * [taylor]: Taking taylor expansion of u in t1
2.183 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.183 * [taylor]: Taking taylor expansion of t1 in t1
2.183 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.183 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.183 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.183 * [taylor]: Taking taylor expansion of u in t1
2.183 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.183 * [taylor]: Taking taylor expansion of t1 in t1
2.184 * [taylor]: Taking taylor expansion of 1 in u
2.185 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
2.185 * [taylor]: Taking taylor expansion of 2 in u
2.185 * [taylor]: Taking taylor expansion of (/ 1 u) in u
2.185 * [taylor]: Taking taylor expansion of u in u
2.186 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
2.186 * [taylor]: Taking taylor expansion of (pow u 2) in u
2.186 * [taylor]: Taking taylor expansion of u in u
2.188 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in (t1 u) around 0
2.188 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
2.188 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
2.188 * [taylor]: Taking taylor expansion of (/ 1 u) in u
2.188 * [taylor]: Taking taylor expansion of u in u
2.188 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
2.188 * [taylor]: Taking taylor expansion of t1 in u
2.188 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.188 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.188 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.188 * [taylor]: Taking taylor expansion of u in t1
2.189 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.189 * [taylor]: Taking taylor expansion of t1 in t1
2.189 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
2.189 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
2.189 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
2.189 * [taylor]: Taking taylor expansion of u in t1
2.189 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
2.189 * [taylor]: Taking taylor expansion of t1 in t1
2.190 * [taylor]: Taking taylor expansion of 1 in u
2.190 * [taylor]: Taking taylor expansion of (* 2 (/ 1 u)) in u
2.191 * [taylor]: Taking taylor expansion of 2 in u
2.191 * [taylor]: Taking taylor expansion of (/ 1 u) in u
2.191 * [taylor]: Taking taylor expansion of u in u
2.192 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
2.192 * [taylor]: Taking taylor expansion of (pow u 2) in u
2.192 * [taylor]: Taking taylor expansion of u in u
2.194 * * * [progress]: simplifying candidates
2.195 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log (- t1)) (log v)) (+ (log (+ t1 u)) (log (+ t1 u))))
  (- (+ (log (- t1)) (log v)) (log (* (+ t1 u) (+ t1 u))))
  (- (log (* (- t1) v)) (+ (log (+ t1 u)) (log (+ t1 u))))
  (- (log (* (- t1) v)) (log (* (+ t1 u) (+ t1 u))))
  (log (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (exp (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (/ (* (* (* (- t1) (- t1)) (- t1)) (* (* v v) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u))))
  (/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (/ (* (* (* (- t1) v) (* (- t1) v)) (* (- t1) v)) (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u))))
  (* (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))))
  (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (* (* (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (- (* (- t1) v))
  (- (* (+ t1 u) (+ t1 u)))
  (/ (- t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ 1 (* (+ t1 u) (+ t1 u)))
  (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v))
  (/ (* t1 v) (* (+ t1 u) (+ t1 u)))
  (/ (* (- t1) v) (+ t1 u))
  (/ (* (+ t1 u) (+ t1 u)) v)
  (/ (* (- 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)))
  (+ 1 1)
  (* (+ t1 u) (+ t1 u))
  (+ 1 1)
  (+ (log (+ t1 u)) (log (+ t1 u)))
  (log (* (+ t1 u) (+ t1 u)))
  (exp (* (+ t1 u) (+ t1 u)))
  (* (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u))))
  (cbrt (* (+ t1 u) (+ t1 u)))
  (* (* (* (+ t1 u) (+ t1 u)) (* (+ t1 u) (+ t1 u))) (* (+ t1 u) (+ t1 u)))
  (sqrt (* (+ t1 u) (+ t1 u)))
  (sqrt (* (+ t1 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))
  (* (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* 1 1)
  (* (+ t1 u) (+ t1 u))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* (sqrt (+ t1 u)) (sqrt (+ t1 u)))
  (* 2 1)
  (* (+ t1 u) t1)
  (* (+ t1 u) u)
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (* (+ t1 u) (sqrt (+ t1 u)))
  (* (+ t1 u) 1)
  (* (+ t1 u) 1)
  (* (cbrt (+ t1 u)) (+ t1 u))
  (* (sqrt (+ t1 u)) (+ t1 u))
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (+ 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)))
2.198 * * [simplify]: iteration  0 :  113  enodes  (cost  1078 )
2.228 * * [simplify]: iteration  1 :  369  enodes  (cost  990 )
2.387 * * [simplify]: iteration  2 :  1700  enodes  (cost  834 )
2.975 * * [simplify]: iteration  done :  5000  enodes  (cost  834 )
2.975 * [simplify]: Simplified to:
   (- (log (* (- t1) v)) (* 2 (log (+ t1 u))))
  (- (log (* (- t1) v)) (* 2 (log (+ t1 u))))
  (- (log (* (- t1) v)) (* 2 (log (+ t1 u))))
  (- (log (* (- t1) v)) (* 2 (log (+ t1 u))))
  (- (log (* (- t1) v)) (* 2 (log (+ t1 u))))
  (exp (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (* (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))) (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))))
  (cbrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (pow (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))) 3)
  (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (sqrt (/ (* (- t1) v) (* (+ t1 u) (+ t1 u))))
  (* t1 v)
  (- (* (+ t1 u) (+ t1 u)))
  (/ (- t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ 1 (* (+ t1 u) (+ t1 u)))
  (/ (* (+ t1 u) (+ t1 u)) (* (- t1) v))
  (/ (* t1 v) (* (+ t1 u) (+ t1 u)))
  (* (- t1) (/ v (+ t1 u)))
  (* (+ t1 u) (/ (+ t1 u) v))
  (/ (* (- 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)))
  2
  (* (+ t1 u) (+ t1 u))
  2
  (* 2 (log (+ t1 u)))
  (* 2 (log (+ t1 u)))
  (exp (* (+ t1 u) (+ t1 u)))
  (pow (* (+ t1 u) (+ t1 u)) 3)
  (* (cbrt (* (+ t1 u) (+ t1 u))) (cbrt (* (+ t1 u) (+ t1 u))))
  (cbrt (* (+ t1 u) (+ t1 u)))
  (pow (* (+ t1 u) (+ t1 u)) 3)
  (fabs (+ t1 u))
  (fabs (+ t1 u))
  (* (+ (pow t1 3) (pow u 3)) (+ (pow t1 3) (pow u 3)))
  (* (+ (* t1 t1) (* u (- u t1))) (+ (* t1 t1) (* u (- u t1))))
  (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))
  (* (+ (* t1 t1) (* u (- u t1))) (- t1 u))
  (* (- (* t1 t1) (* u u)) (+ (pow t1 3) (pow u 3)))
  (* (+ (* t1 t1) (* u (- u t1))) (- t1 u))
  (* (- (* t1 t1) (* u u)) (- (* t1 t1) (* u u)))
  (* (- t1 u) (- t1 u))
  (* (pow (cbrt (+ t1 u)) 3) (cbrt (+ t1 u)))
  (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))
  (+ t1 u)
  (+ t1 u)
  1
  (* (+ t1 u) (+ t1 u))
  1
  (* (+ t1 u) (+ t1 u))
  1
  (* (+ t1 u) (+ t1 u))
  1
  (* (+ t1 u) (+ t1 u))
  (+ t1 u)
  (+ t1 u)
  2
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* t1 (+ t1 u))
  (* u (+ t1 u))
  (* (+ t1 u) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (pow (sqrt (+ t1 u)) 3)
  (+ t1 u)
  (+ t1 u)
  (* (cbrt (+ t1 u)) (+ t1 u))
  (pow (sqrt (+ t1 u)) 3)
  (* (+ t1 u) (+ t1 u))
  (* (+ t1 u) (+ t1 u))
  (* (+ (pow t1 3) (pow u 3)) (+ t1 u))
  (* (- (* t1 t1) (* u u)) (+ t1 u))
  (* (+ (pow t1 3) (pow u 3)) (+ t1 u))
  (* (- (* t1 t1) (* u u)) (+ t1 u))
  0
  0
  0
  (+ (* t1 t1) (* u (+ (* 2 t1) u)))
  (+ (* t1 t1) (* u (+ (* 2 t1) u)))
  (+ (* t1 t1) (* u (+ (* 2 t1) u)))
2.976 * * * [progress]: adding candidates to table
3.091 * * [progress]: iteration 2 / 4
3.091 * * * [progress]: picking best candidate
3.102 * * * * [pick]: Picked  #<alt (λ (u v t1) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))>
3.102 * * * [progress]: localizing error
3.108 * * * [progress]: generating rewritten candidates
3.109 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.157 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.165 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
3.179 * * * [progress]: generating series expansions
3.179 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.179 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
3.179 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
3.179 * [taylor]: Taking taylor expansion of -1 in v
3.179 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
3.179 * [taylor]: Taking taylor expansion of (* t1 v) in v
3.179 * [taylor]: Taking taylor expansion of t1 in v
3.179 * [taylor]: Taking taylor expansion of v in v
3.179 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
3.179 * [taylor]: Taking taylor expansion of (+ t1 u) in v
3.179 * [taylor]: Taking taylor expansion of t1 in v
3.179 * [taylor]: Taking taylor expansion of u in v
3.180 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
3.180 * [taylor]: Taking taylor expansion of -1 in u
3.180 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
3.180 * [taylor]: Taking taylor expansion of (* t1 v) in u
3.180 * [taylor]: Taking taylor expansion of t1 in u
3.180 * [taylor]: Taking taylor expansion of v in u
3.180 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
3.180 * [taylor]: Taking taylor expansion of (+ t1 u) in u
3.180 * [taylor]: Taking taylor expansion of t1 in u
3.180 * [taylor]: Taking taylor expansion of u in u
3.181 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
3.181 * [taylor]: Taking taylor expansion of -1 in t1
3.181 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
3.181 * [taylor]: Taking taylor expansion of (* t1 v) in t1
3.181 * [taylor]: Taking taylor expansion of t1 in t1
3.181 * [taylor]: Taking taylor expansion of v in t1
3.181 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
3.181 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
3.181 * [taylor]: Taking taylor expansion of t1 in t1
3.181 * [taylor]: Taking taylor expansion of u in t1
3.181 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
3.181 * [taylor]: Taking taylor expansion of -1 in t1
3.181 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
3.181 * [taylor]: Taking taylor expansion of (* t1 v) in t1
3.181 * [taylor]: Taking taylor expansion of t1 in t1
3.181 * [taylor]: Taking taylor expansion of v in t1
3.181 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
3.181 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
3.181 * [taylor]: Taking taylor expansion of t1 in t1
3.181 * [taylor]: Taking taylor expansion of u in t1
3.182 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
3.182 * [taylor]: Taking taylor expansion of -1 in u
3.182 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
3.182 * [taylor]: Taking taylor expansion of v in u
3.182 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.182 * [taylor]: Taking taylor expansion of u in u
3.185 * [taylor]: Taking taylor expansion of 0 in v
3.186 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
3.186 * [taylor]: Taking taylor expansion of 2 in u
3.186 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
3.186 * [taylor]: Taking taylor expansion of v in u
3.186 * [taylor]: Taking taylor expansion of (pow u 3) in u
3.186 * [taylor]: Taking taylor expansion of u in u
3.193 * [taylor]: Taking taylor expansion of 0 in v
3.195 * [taylor]: Taking taylor expansion of 0 in v
3.201 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in u
3.201 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
3.201 * [taylor]: Taking taylor expansion of 3 in u
3.201 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
3.201 * [taylor]: Taking taylor expansion of v in u
3.201 * [taylor]: Taking taylor expansion of (pow u 4) in u
3.201 * [taylor]: Taking taylor expansion of u in u
3.211 * [taylor]: Taking taylor expansion of 0 in v
3.215 * [taylor]: Taking taylor expansion of 0 in v
3.215 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
3.215 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
3.215 * [taylor]: Taking taylor expansion of -1 in v
3.215 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
3.215 * [taylor]: Taking taylor expansion of t1 in v
3.215 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
3.215 * [taylor]: Taking taylor expansion of v in v
3.215 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
3.215 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
3.215 * [taylor]: Taking taylor expansion of (/ 1 u) in v
3.215 * [taylor]: Taking taylor expansion of u in v
3.215 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
3.215 * [taylor]: Taking taylor expansion of t1 in v
3.217 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
3.217 * [taylor]: Taking taylor expansion of -1 in u
3.217 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
3.217 * [taylor]: Taking taylor expansion of t1 in u
3.217 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
3.217 * [taylor]: Taking taylor expansion of v in u
3.217 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
3.217 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
3.217 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.217 * [taylor]: Taking taylor expansion of u in u
3.218 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
3.218 * [taylor]: Taking taylor expansion of t1 in u
3.218 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
3.218 * [taylor]: Taking taylor expansion of -1 in t1
3.218 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
3.218 * [taylor]: Taking taylor expansion of t1 in t1
3.218 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
3.218 * [taylor]: Taking taylor expansion of v in t1
3.218 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
3.218 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.218 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.218 * [taylor]: Taking taylor expansion of u in t1
3.218 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.218 * [taylor]: Taking taylor expansion of t1 in t1
3.220 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
3.220 * [taylor]: Taking taylor expansion of -1 in t1
3.220 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
3.220 * [taylor]: Taking taylor expansion of t1 in t1
3.220 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
3.220 * [taylor]: Taking taylor expansion of v in t1
3.220 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
3.220 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.220 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.220 * [taylor]: Taking taylor expansion of u in t1
3.220 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.220 * [taylor]: Taking taylor expansion of t1 in t1
3.222 * [taylor]: Taking taylor expansion of (/ -1 v) in u
3.222 * [taylor]: Taking taylor expansion of -1 in u
3.222 * [taylor]: Taking taylor expansion of v in u
3.222 * [taylor]: Taking taylor expansion of 0 in v
3.224 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
3.224 * [taylor]: Taking taylor expansion of 2 in u
3.224 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
3.224 * [taylor]: Taking taylor expansion of (* v u) in u
3.224 * [taylor]: Taking taylor expansion of v in u
3.224 * [taylor]: Taking taylor expansion of u in u
3.227 * [taylor]: Taking taylor expansion of 0 in v
3.227 * [taylor]: Taking taylor expansion of 0 in v
3.230 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u
3.230 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
3.230 * [taylor]: Taking taylor expansion of 3 in u
3.230 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
3.230 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
3.230 * [taylor]: Taking taylor expansion of v in u
3.230 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.230 * [taylor]: Taking taylor expansion of u in u
3.235 * [taylor]: Taking taylor expansion of 0 in v
3.237 * [taylor]: Taking taylor expansion of 0 in v
3.237 * [taylor]: Taking taylor expansion of 0 in v
3.240 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
3.240 * [taylor]: Taking taylor expansion of 4 in u
3.240 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
3.241 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
3.241 * [taylor]: Taking taylor expansion of v in u
3.241 * [taylor]: Taking taylor expansion of (pow u 3) in u
3.241 * [taylor]: Taking taylor expansion of u in u
3.251 * [taylor]: Taking taylor expansion of 0 in v
3.253 * [taylor]: Taking taylor expansion of 0 in v
3.255 * [taylor]: Taking taylor expansion of 0 in v
3.256 * [taylor]: Taking taylor expansion of 0 in v
3.256 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
3.256 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
3.256 * [taylor]: Taking taylor expansion of -1 in v
3.256 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
3.256 * [taylor]: Taking taylor expansion of t1 in v
3.256 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
3.256 * [taylor]: Taking taylor expansion of v in v
3.256 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
3.256 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
3.256 * [taylor]: Taking taylor expansion of (/ 1 u) in v
3.256 * [taylor]: Taking taylor expansion of u in v
3.256 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
3.256 * [taylor]: Taking taylor expansion of t1 in v
3.258 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
3.258 * [taylor]: Taking taylor expansion of -1 in u
3.258 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
3.258 * [taylor]: Taking taylor expansion of t1 in u
3.258 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
3.258 * [taylor]: Taking taylor expansion of v in u
3.258 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
3.258 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
3.258 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.258 * [taylor]: Taking taylor expansion of u in u
3.259 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
3.259 * [taylor]: Taking taylor expansion of t1 in u
3.259 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
3.259 * [taylor]: Taking taylor expansion of -1 in t1
3.259 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
3.259 * [taylor]: Taking taylor expansion of t1 in t1
3.259 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
3.259 * [taylor]: Taking taylor expansion of v in t1
3.259 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
3.259 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.259 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.259 * [taylor]: Taking taylor expansion of u in t1
3.259 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.259 * [taylor]: Taking taylor expansion of t1 in t1
3.261 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
3.261 * [taylor]: Taking taylor expansion of -1 in t1
3.261 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
3.261 * [taylor]: Taking taylor expansion of t1 in t1
3.261 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
3.261 * [taylor]: Taking taylor expansion of v in t1
3.261 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
3.261 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.261 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.261 * [taylor]: Taking taylor expansion of u in t1
3.261 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.261 * [taylor]: Taking taylor expansion of t1 in t1
3.263 * [taylor]: Taking taylor expansion of (/ -1 v) in u
3.263 * [taylor]: Taking taylor expansion of -1 in u
3.263 * [taylor]: Taking taylor expansion of v in u
3.263 * [taylor]: Taking taylor expansion of 0 in v
3.265 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
3.265 * [taylor]: Taking taylor expansion of 2 in u
3.265 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
3.265 * [taylor]: Taking taylor expansion of (* v u) in u
3.265 * [taylor]: Taking taylor expansion of v in u
3.265 * [taylor]: Taking taylor expansion of u in u
3.268 * [taylor]: Taking taylor expansion of 0 in v
3.268 * [taylor]: Taking taylor expansion of 0 in v
3.271 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u
3.271 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
3.271 * [taylor]: Taking taylor expansion of 3 in u
3.271 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
3.271 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
3.271 * [taylor]: Taking taylor expansion of v in u
3.271 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.271 * [taylor]: Taking taylor expansion of u in u
3.276 * [taylor]: Taking taylor expansion of 0 in v
3.278 * [taylor]: Taking taylor expansion of 0 in v
3.278 * [taylor]: Taking taylor expansion of 0 in v
3.285 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
3.285 * [taylor]: Taking taylor expansion of 4 in u
3.285 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
3.285 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
3.285 * [taylor]: Taking taylor expansion of v in u
3.285 * [taylor]: Taking taylor expansion of (pow u 3) in u
3.285 * [taylor]: Taking taylor expansion of u in u
3.295 * [taylor]: Taking taylor expansion of 0 in v
3.298 * [taylor]: Taking taylor expansion of 0 in v
3.300 * [taylor]: Taking taylor expansion of 0 in v
3.301 * [taylor]: Taking taylor expansion of 0 in v
3.301 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.301 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0
3.301 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
3.301 * [taylor]: Taking taylor expansion of -1 in u
3.301 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
3.301 * [taylor]: Taking taylor expansion of t1 in u
3.301 * [taylor]: Taking taylor expansion of (+ t1 u) in u
3.301 * [taylor]: Taking taylor expansion of t1 in u
3.301 * [taylor]: Taking taylor expansion of u in u
3.301 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
3.301 * [taylor]: Taking taylor expansion of -1 in t1
3.301 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
3.301 * [taylor]: Taking taylor expansion of t1 in t1
3.301 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
3.301 * [taylor]: Taking taylor expansion of t1 in t1
3.301 * [taylor]: Taking taylor expansion of u in t1
3.301 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
3.301 * [taylor]: Taking taylor expansion of -1 in t1
3.301 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
3.301 * [taylor]: Taking taylor expansion of t1 in t1
3.301 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
3.301 * [taylor]: Taking taylor expansion of t1 in t1
3.301 * [taylor]: Taking taylor expansion of u in t1
3.301 * [taylor]: Taking taylor expansion of (/ -1 u) in u
3.301 * [taylor]: Taking taylor expansion of -1 in u
3.301 * [taylor]: Taking taylor expansion of u in u
3.303 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
3.303 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.303 * [taylor]: Taking taylor expansion of u in u
3.306 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u
3.306 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
3.306 * [taylor]: Taking taylor expansion of (pow u 3) in u
3.306 * [taylor]: Taking taylor expansion of u in u
3.313 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
3.313 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
3.313 * [taylor]: Taking taylor expansion of -1 in u
3.313 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
3.313 * [taylor]: Taking taylor expansion of t1 in u
3.313 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
3.313 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.313 * [taylor]: Taking taylor expansion of u in u
3.313 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
3.313 * [taylor]: Taking taylor expansion of t1 in u
3.314 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
3.314 * [taylor]: Taking taylor expansion of -1 in t1
3.314 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
3.314 * [taylor]: Taking taylor expansion of t1 in t1
3.314 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.314 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.314 * [taylor]: Taking taylor expansion of u in t1
3.314 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.314 * [taylor]: Taking taylor expansion of t1 in t1
3.315 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
3.316 * [taylor]: Taking taylor expansion of -1 in t1
3.316 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
3.316 * [taylor]: Taking taylor expansion of t1 in t1
3.316 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.316 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.316 * [taylor]: Taking taylor expansion of u in t1
3.316 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.316 * [taylor]: Taking taylor expansion of t1 in t1
3.317 * [taylor]: Taking taylor expansion of -1 in u
3.319 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.319 * [taylor]: Taking taylor expansion of u in u
3.322 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
3.322 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
3.322 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.322 * [taylor]: Taking taylor expansion of u in u
3.326 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
3.327 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
3.327 * [taylor]: Taking taylor expansion of -1 in u
3.327 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
3.327 * [taylor]: Taking taylor expansion of t1 in u
3.327 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
3.327 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.327 * [taylor]: Taking taylor expansion of u in u
3.327 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
3.327 * [taylor]: Taking taylor expansion of t1 in u
3.327 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
3.327 * [taylor]: Taking taylor expansion of -1 in t1
3.327 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
3.327 * [taylor]: Taking taylor expansion of t1 in t1
3.327 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.327 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.327 * [taylor]: Taking taylor expansion of u in t1
3.327 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.327 * [taylor]: Taking taylor expansion of t1 in t1
3.329 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
3.329 * [taylor]: Taking taylor expansion of -1 in t1
3.329 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
3.329 * [taylor]: Taking taylor expansion of t1 in t1
3.329 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.329 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.329 * [taylor]: Taking taylor expansion of u in t1
3.329 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.329 * [taylor]: Taking taylor expansion of t1 in t1
3.331 * [taylor]: Taking taylor expansion of -1 in u
3.333 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.333 * [taylor]: Taking taylor expansion of u in u
3.336 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
3.336 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
3.336 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.336 * [taylor]: Taking taylor expansion of u in u
3.340 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
3.340 * [approximate]: Taking taylor expansion of (/ v (+ t1 u)) in (v t1 u) around 0
3.340 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in u
3.340 * [taylor]: Taking taylor expansion of v in u
3.341 * [taylor]: Taking taylor expansion of (+ t1 u) in u
3.341 * [taylor]: Taking taylor expansion of t1 in u
3.341 * [taylor]: Taking taylor expansion of u in u
3.341 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in t1
3.341 * [taylor]: Taking taylor expansion of v in t1
3.341 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
3.341 * [taylor]: Taking taylor expansion of t1 in t1
3.341 * [taylor]: Taking taylor expansion of u in t1
3.341 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
3.341 * [taylor]: Taking taylor expansion of v in v
3.341 * [taylor]: Taking taylor expansion of (+ t1 u) in v
3.341 * [taylor]: Taking taylor expansion of t1 in v
3.341 * [taylor]: Taking taylor expansion of u in v
3.341 * [taylor]: Taking taylor expansion of (/ v (+ t1 u)) in v
3.341 * [taylor]: Taking taylor expansion of v in v
3.341 * [taylor]: Taking taylor expansion of (+ t1 u) in v
3.341 * [taylor]: Taking taylor expansion of t1 in v
3.341 * [taylor]: Taking taylor expansion of u in v
3.341 * [taylor]: Taking taylor expansion of (/ 1 (+ t1 u)) in t1
3.341 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
3.341 * [taylor]: Taking taylor expansion of t1 in t1
3.341 * [taylor]: Taking taylor expansion of u in t1
3.341 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.341 * [taylor]: Taking taylor expansion of u in u
3.342 * [taylor]: Taking taylor expansion of 0 in t1
3.342 * [taylor]: Taking taylor expansion of 0 in u
3.343 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
3.343 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
3.343 * [taylor]: Taking taylor expansion of (pow u 2) in u
3.343 * [taylor]: Taking taylor expansion of u in u
3.346 * [taylor]: Taking taylor expansion of 0 in t1
3.346 * [taylor]: Taking taylor expansion of 0 in u
3.346 * [taylor]: Taking taylor expansion of 0 in u
3.346 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
3.346 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
3.346 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
3.346 * [taylor]: Taking taylor expansion of v in u
3.346 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
3.346 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.346 * [taylor]: Taking taylor expansion of u in u
3.347 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
3.347 * [taylor]: Taking taylor expansion of t1 in u
3.347 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
3.347 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
3.347 * [taylor]: Taking taylor expansion of v in t1
3.347 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.347 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.347 * [taylor]: Taking taylor expansion of u in t1
3.347 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.347 * [taylor]: Taking taylor expansion of t1 in t1
3.348 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
3.348 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
3.348 * [taylor]: Taking taylor expansion of v in v
3.348 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
3.348 * [taylor]: Taking taylor expansion of (/ 1 u) in v
3.348 * [taylor]: Taking taylor expansion of u in v
3.348 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
3.348 * [taylor]: Taking taylor expansion of t1 in v
3.349 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
3.349 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
3.349 * [taylor]: Taking taylor expansion of v in v
3.349 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
3.349 * [taylor]: Taking taylor expansion of (/ 1 u) in v
3.349 * [taylor]: Taking taylor expansion of u in v
3.349 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
3.349 * [taylor]: Taking taylor expansion of t1 in v
3.350 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
3.350 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.350 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.350 * [taylor]: Taking taylor expansion of u in t1
3.350 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.350 * [taylor]: Taking taylor expansion of t1 in t1
3.351 * [taylor]: Taking taylor expansion of 1 in u
3.352 * [taylor]: Taking taylor expansion of 0 in t1
3.352 * [taylor]: Taking taylor expansion of 0 in u
3.352 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u
3.352 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.352 * [taylor]: Taking taylor expansion of u in u
3.355 * [taylor]: Taking taylor expansion of 0 in t1
3.355 * [taylor]: Taking taylor expansion of 0 in u
3.355 * [taylor]: Taking taylor expansion of 0 in u
3.355 * [approximate]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in (v t1 u) around 0
3.355 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
3.355 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
3.355 * [taylor]: Taking taylor expansion of v in u
3.355 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
3.355 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.355 * [taylor]: Taking taylor expansion of u in u
3.356 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
3.356 * [taylor]: Taking taylor expansion of t1 in u
3.356 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
3.356 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
3.356 * [taylor]: Taking taylor expansion of v in t1
3.356 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.356 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.356 * [taylor]: Taking taylor expansion of u in t1
3.356 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.356 * [taylor]: Taking taylor expansion of t1 in t1
3.357 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
3.357 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
3.357 * [taylor]: Taking taylor expansion of v in v
3.357 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
3.357 * [taylor]: Taking taylor expansion of (/ 1 u) in v
3.357 * [taylor]: Taking taylor expansion of u in v
3.357 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
3.357 * [taylor]: Taking taylor expansion of t1 in v
3.358 * [taylor]: Taking taylor expansion of (/ 1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
3.358 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
3.358 * [taylor]: Taking taylor expansion of v in v
3.358 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
3.358 * [taylor]: Taking taylor expansion of (/ 1 u) in v
3.358 * [taylor]: Taking taylor expansion of u in v
3.358 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
3.358 * [taylor]: Taking taylor expansion of t1 in v
3.359 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 u) (/ 1 t1))) in t1
3.359 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
3.359 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
3.359 * [taylor]: Taking taylor expansion of u in t1
3.359 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
3.359 * [taylor]: Taking taylor expansion of t1 in t1
3.360 * [taylor]: Taking taylor expansion of 1 in u
3.361 * [taylor]: Taking taylor expansion of 0 in t1
3.361 * [taylor]: Taking taylor expansion of 0 in u
3.361 * [taylor]: Taking taylor expansion of (- (/ 1 u)) in u
3.361 * [taylor]: Taking taylor expansion of (/ 1 u) in u
3.361 * [taylor]: Taking taylor expansion of u in u
3.368 * [taylor]: Taking taylor expansion of 0 in t1
3.368 * [taylor]: Taking taylor expansion of 0 in u
3.368 * [taylor]: Taking taylor expansion of 0 in u
3.368 * * * [progress]: simplifying candidates
3.371 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (+ (- (log (- t1)) (log (+ t1 u))) (- (log v) (log (+ t1 u))))
  (+ (- (log (- t1)) (log (+ t1 u))) (log (/ v (+ t1 u))))
  (+ (log (/ (- t1) (+ t1 u))) (- (log v) (log (+ t1 u))))
  (+ (log (/ (- t1) (+ t1 u))) (log (/ v (+ t1 u))))
  (log (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (exp (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))))
  (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u))))
  (* (cbrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))) (cbrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))))
  (cbrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (* (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (- t1) v)
  (* (+ t1 u) (+ t1 u))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (- t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (/ (- t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (sqrt (/ v (+ t1 u))))
  (* (/ (- t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* (/ (- t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ (- t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) 1))
  (* (/ (- t1) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (- t1) (+ t1 u)) (/ (sqrt v) 1))
  (* (/ (- t1) (+ t1 u)) (/ (sqrt v) 1))
  (* (/ (- t1) (+ t1 u)) (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (/ 1 (sqrt (+ t1 u))))
  (* (/ (- t1) (+ t1 u)) (/ 1 1))
  (* (/ (- t1) (+ t1 u)) (/ 1 1))
  (* (/ (- t1) (+ t1 u)) 1)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (- t1) (+ t1 u)) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (/ (- t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (sqrt (/ (- t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ 1 (+ t1 u)) (/ v (+ t1 u)))
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) (/ v (+ t1 u)))
  (* (- t1 u) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) v)
  (* (- t1) (/ v (+ t1 u)))
  (- (log (- t1)) (log (+ t1 u)))
  (log (/ (- t1) (+ t1 u)))
  (exp (/ (- t1) (+ t1 u)))
  (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u))))
  (cbrt (/ (- t1) (+ t1 u)))
  (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  (- (- t1))
  (- (+ t1 u))
  (/ 0 (+ t1 u))
  (/ t1 (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (- t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (sqrt (+ t1 u)))
  (/ (cbrt (- t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) 1)
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) 1)
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (- t1)) (cbrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) 1)
  (/ (sqrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) 1)
  (/ (sqrt (- t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (- (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (- (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (- 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ (- 1) (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ (- 1) 1)
  (/ t1 (+ t1 u))
  (/ (- 1) 1)
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (- (cbrt t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) 1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ (sqrt t1) 1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (- t1))
  (/ t1 (+ t1 u))
  (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ (- t1) 1)
  (/ (- t1) 1)
  (/ (+ t1 u) (cbrt (- t1)))
  (/ (+ t1 u) (sqrt (- t1)))
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (- (cbrt t1)))
  (/ (+ t1 u) (- (sqrt t1)))
  (/ (+ t1 u) (- t1))
  (/ (- t1) (+ (pow t1 3) (pow u 3)))
  (/ (- t1) (- (* t1 t1) (* u u)))
  (- (log v) (log (+ t1 u)))
  (log (/ v (+ t1 u)))
  (exp (/ v (+ t1 u)))
  (/ (* (* v v) v) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))
  (cbrt (/ v (+ t1 u)))
  (* (* (/ v (+ t1 u)) (/ v (+ t1 u))) (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (- v)
  (- (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) 1)
  (/ (cbrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) 1)
  (/ (sqrt v) (+ t1 u))
  (/ (sqrt v) 1)
  (/ (sqrt v) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (/ 1 1)
  (/ v (+ t1 u))
  (/ 1 1)
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) v)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  (/ v 1)
  (/ v 1)
  (/ (+ t1 u) (cbrt v))
  (/ (+ t1 u) (sqrt v))
  (/ (+ t1 u) v)
  (/ v (+ (pow t1 3) (pow u 3)))
  (/ v (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
3.377 * * [simplify]: iteration  0 :  213  enodes  (cost  2501 )
3.435 * * [simplify]: iteration  1 :  593  enodes  (cost  2385 )
3.691 * * [simplify]: iteration  2 :  1910  enodes  (cost  2231 )
4.148 * * [simplify]: iteration  done :  5000  enodes  (cost  2231 )
4.149 * [simplify]: Simplified to:
   (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (log (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (log (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (exp (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (pow (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (pow (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (pow (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (pow (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (* (cbrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))) (cbrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))))
  (cbrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (pow (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))) 3)
  (sqrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (sqrt (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))
  (* (- t1) v)
  (* (+ t1 u) (+ t1 u))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (sqrt (/ (- t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (sqrt (/ (- t1) (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt (/ v (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (sqrt (/ v (+ t1 u))))
  (* (/ (- t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u))))
  (* (* (cbrt v) (cbrt v)) (/ (- t1) (+ t1 u)))
  (* (* (cbrt v) (cbrt v)) (/ (- t1) (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))))
  (* (/ (- t1) (+ t1 u)) (/ (sqrt v) (sqrt (+ t1 u))))
  (* (/ (- t1) (+ t1 u)) (sqrt v))
  (* (/ (- t1) (+ t1 u)) (sqrt v))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ (- t1) (+ t1 u))
  (/ (- t1) (+ t1 u))
  (/ (- t1) (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) (/ v (+ (pow t1 3) (pow u 3))))
  (* (/ (- t1) (+ t1 u)) (/ v (- (* t1 t1) (* u u))))
  (* (cbrt (/ (- t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (sqrt (/ (- t1) (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt (- t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (cbrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (sqrt t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ t1 (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (cbrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- (sqrt t1)) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (cbrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (sqrt (+ t1 u))) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))
  (/ v (* (+ t1 u) (+ t1 u)))
  (* (/ v (+ t1 u)) (+ (* u (- u t1)) (* t1 t1)))
  (* (- t1 u) (/ v (+ t1 u)))
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (log (/ (- t1) (+ t1 u)))
  (log (/ (- t1) (+ t1 u)))
  (exp (/ (- t1) (+ t1 u)))
  (pow (/ (- t1) (+ t1 u)) 3)
  (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u))))
  (cbrt (/ (- t1) (+ t1 u)))
  (pow (/ (- t1) (+ t1 u)) 3)
  (sqrt (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  t1
  (- (+ t1 u))
  0
  (/ t1 (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (- t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (sqrt (+ t1 u)))
  (/ (cbrt (- t1)) (sqrt (+ t1 u)))
  (* (cbrt (- t1)) (cbrt (- t1)))
  (/ (cbrt (- t1)) (+ t1 u))
  (* (cbrt (- t1)) (cbrt (- t1)))
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (- t1)) (cbrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (sqrt (- t1))
  (/ (sqrt (- t1)) (+ t1 u))
  (sqrt (- t1))
  (/ (sqrt (- t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  1
  (/ (- t1) (+ t1 u))
  1
  (/ (- t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (- (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (- (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (/ (- (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (- (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (- (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (- (cbrt t1)) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (- (cbrt t1)) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (sqrt t1)
  (/ (- (sqrt t1)) (+ t1 u))
  (sqrt t1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  1
  (/ (- t1) (+ t1 u))
  1
  (/ (- t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (- t1))
  (/ t1 (+ t1 u))
  (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (sqrt (+ t1 u)))
  (- t1)
  (- t1)
  (/ (+ t1 u) (cbrt (- t1)))
  (/ (+ t1 u) (sqrt (- t1)))
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (- (cbrt t1)))
  (/ (+ t1 u) (- (sqrt t1)))
  (/ (+ t1 u) (- t1))
  (/ (- t1) (+ (pow t1 3) (pow u 3)))
  (/ (- t1) (- (* t1 t1) (* u u)))
  (log (/ v (+ t1 u)))
  (log (/ v (+ t1 u)))
  (exp (/ v (+ t1 u)))
  (pow (/ v (+ t1 u)) 3)
  (* (cbrt (/ v (+ t1 u))) (cbrt (/ v (+ t1 u))))
  (cbrt (/ v (+ t1 u)))
  (pow (/ v (+ t1 u)) 3)
  (sqrt (/ v (+ t1 u)))
  (sqrt (/ v (+ t1 u)))
  (- v)
  (- (+ t1 u))
  (/ (* (cbrt v) (cbrt v)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt v) (cbrt (+ t1 u)))
  (/ (* (cbrt v) (cbrt v)) (sqrt (+ t1 u)))
  (/ (cbrt v) (sqrt (+ t1 u)))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (+ t1 u))
  (* (cbrt v) (cbrt v))
  (/ (cbrt v) (+ t1 u))
  (/ (sqrt v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt v) (cbrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (/ (sqrt v) (sqrt (+ t1 u)))
  (sqrt v)
  (/ (sqrt v) (+ t1 u))
  (sqrt v)
  (/ (sqrt v) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  1
  (/ v (+ t1 u))
  1
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) v)
  (/ v (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (sqrt (+ t1 u)))
  v
  v
  (/ (+ t1 u) (cbrt v))
  (/ (+ t1 u) (sqrt v))
  (/ (+ t1 u) v)
  (/ v (+ (pow t1 3) (pow u 3)))
  (/ v (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
4.151 * * * [progress]: adding candidates to table
4.513 * * [progress]: iteration 3 / 4
4.513 * * * [progress]: picking best candidate
4.522 * * * * [pick]: Picked  #<alt (λ (u v t1) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))>
4.522 * * * [progress]: localizing error
4.529 * * * [progress]: generating rewritten candidates
4.529 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
4.557 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.570 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.585 * * * [progress]: generating series expansions
4.585 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
4.585 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 u v) around 0
4.585 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v
4.585 * [taylor]: Taking taylor expansion of -1 in v
4.585 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v
4.585 * [taylor]: Taking taylor expansion of (* t1 v) in v
4.585 * [taylor]: Taking taylor expansion of t1 in v
4.585 * [taylor]: Taking taylor expansion of v in v
4.585 * [taylor]: Taking taylor expansion of (+ t1 u) in v
4.585 * [taylor]: Taking taylor expansion of t1 in v
4.585 * [taylor]: Taking taylor expansion of u in v
4.586 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
4.586 * [taylor]: Taking taylor expansion of -1 in u
4.586 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u
4.586 * [taylor]: Taking taylor expansion of (* t1 v) in u
4.586 * [taylor]: Taking taylor expansion of t1 in u
4.586 * [taylor]: Taking taylor expansion of v in u
4.586 * [taylor]: Taking taylor expansion of (+ t1 u) in u
4.586 * [taylor]: Taking taylor expansion of t1 in u
4.586 * [taylor]: Taking taylor expansion of u in u
4.586 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1
4.586 * [taylor]: Taking taylor expansion of -1 in t1
4.586 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
4.586 * [taylor]: Taking taylor expansion of (* t1 v) in t1
4.586 * [taylor]: Taking taylor expansion of t1 in t1
4.586 * [taylor]: Taking taylor expansion of v in t1
4.586 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
4.586 * [taylor]: Taking taylor expansion of t1 in t1
4.586 * [taylor]: Taking taylor expansion of u in t1
4.587 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1
4.587 * [taylor]: Taking taylor expansion of -1 in t1
4.587 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
4.587 * [taylor]: Taking taylor expansion of (* t1 v) in t1
4.587 * [taylor]: Taking taylor expansion of t1 in t1
4.587 * [taylor]: Taking taylor expansion of v in t1
4.587 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
4.587 * [taylor]: Taking taylor expansion of t1 in t1
4.587 * [taylor]: Taking taylor expansion of u in t1
4.587 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in u
4.587 * [taylor]: Taking taylor expansion of -1 in u
4.587 * [taylor]: Taking taylor expansion of (/ v u) in u
4.587 * [taylor]: Taking taylor expansion of v in u
4.588 * [taylor]: Taking taylor expansion of u in u
4.588 * [taylor]: Taking taylor expansion of 0 in v
4.590 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
4.590 * [taylor]: Taking taylor expansion of v in u
4.590 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.590 * [taylor]: Taking taylor expansion of u in u
4.592 * [taylor]: Taking taylor expansion of 0 in v
4.593 * [taylor]: Taking taylor expansion of 0 in v
4.595 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in u
4.595 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
4.595 * [taylor]: Taking taylor expansion of v in u
4.595 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.595 * [taylor]: Taking taylor expansion of u in u
4.601 * [taylor]: Taking taylor expansion of 0 in v
4.603 * [taylor]: Taking taylor expansion of 0 in v
4.603 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 u v) around 0
4.603 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
4.603 * [taylor]: Taking taylor expansion of -1 in v
4.603 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
4.603 * [taylor]: Taking taylor expansion of t1 in v
4.603 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
4.603 * [taylor]: Taking taylor expansion of v in v
4.603 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
4.603 * [taylor]: Taking taylor expansion of (/ 1 u) in v
4.603 * [taylor]: Taking taylor expansion of u in v
4.603 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
4.603 * [taylor]: Taking taylor expansion of t1 in v
4.604 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
4.604 * [taylor]: Taking taylor expansion of -1 in u
4.604 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
4.604 * [taylor]: Taking taylor expansion of t1 in u
4.605 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
4.605 * [taylor]: Taking taylor expansion of v in u
4.605 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
4.605 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.605 * [taylor]: Taking taylor expansion of u in u
4.605 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
4.605 * [taylor]: Taking taylor expansion of t1 in u
4.605 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
4.605 * [taylor]: Taking taylor expansion of -1 in t1
4.605 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
4.605 * [taylor]: Taking taylor expansion of t1 in t1
4.605 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
4.605 * [taylor]: Taking taylor expansion of v in t1
4.605 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.605 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.605 * [taylor]: Taking taylor expansion of u in t1
4.605 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.605 * [taylor]: Taking taylor expansion of t1 in t1
4.607 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
4.607 * [taylor]: Taking taylor expansion of -1 in t1
4.607 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
4.607 * [taylor]: Taking taylor expansion of t1 in t1
4.607 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
4.607 * [taylor]: Taking taylor expansion of v in t1
4.607 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.607 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.607 * [taylor]: Taking taylor expansion of u in t1
4.607 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.607 * [taylor]: Taking taylor expansion of t1 in t1
4.608 * [taylor]: Taking taylor expansion of (/ -1 v) in u
4.608 * [taylor]: Taking taylor expansion of -1 in u
4.608 * [taylor]: Taking taylor expansion of v in u
4.609 * [taylor]: Taking taylor expansion of 0 in v
4.610 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
4.610 * [taylor]: Taking taylor expansion of (* v u) in u
4.610 * [taylor]: Taking taylor expansion of v in u
4.610 * [taylor]: Taking taylor expansion of u in u
4.611 * [taylor]: Taking taylor expansion of 0 in v
4.612 * [taylor]: Taking taylor expansion of 0 in v
4.614 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in u
4.614 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
4.614 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
4.614 * [taylor]: Taking taylor expansion of v in u
4.614 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.614 * [taylor]: Taking taylor expansion of u in u
4.617 * [taylor]: Taking taylor expansion of 0 in v
4.617 * [taylor]: Taking taylor expansion of 0 in v
4.618 * [taylor]: Taking taylor expansion of 0 in v
4.620 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
4.620 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
4.620 * [taylor]: Taking taylor expansion of v in u
4.620 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.621 * [taylor]: Taking taylor expansion of u in u
4.627 * [taylor]: Taking taylor expansion of 0 in v
4.628 * [taylor]: Taking taylor expansion of 0 in v
4.629 * [taylor]: Taking taylor expansion of 0 in v
4.629 * [taylor]: Taking taylor expansion of 0 in v
4.629 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 u v) around 0
4.630 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
4.630 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
4.630 * [taylor]: Taking taylor expansion of t1 in v
4.630 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
4.630 * [taylor]: Taking taylor expansion of v in v
4.630 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
4.630 * [taylor]: Taking taylor expansion of (/ 1 u) in v
4.630 * [taylor]: Taking taylor expansion of u in v
4.630 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
4.630 * [taylor]: Taking taylor expansion of t1 in v
4.636 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
4.636 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
4.636 * [taylor]: Taking taylor expansion of t1 in u
4.636 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
4.636 * [taylor]: Taking taylor expansion of v in u
4.636 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
4.636 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.636 * [taylor]: Taking taylor expansion of u in u
4.636 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
4.636 * [taylor]: Taking taylor expansion of t1 in u
4.636 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
4.636 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
4.636 * [taylor]: Taking taylor expansion of t1 in t1
4.636 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
4.636 * [taylor]: Taking taylor expansion of v in t1
4.636 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.637 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.637 * [taylor]: Taking taylor expansion of u in t1
4.637 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.637 * [taylor]: Taking taylor expansion of t1 in t1
4.638 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
4.638 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
4.638 * [taylor]: Taking taylor expansion of t1 in t1
4.638 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
4.638 * [taylor]: Taking taylor expansion of v in t1
4.638 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.638 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.638 * [taylor]: Taking taylor expansion of u in t1
4.638 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.638 * [taylor]: Taking taylor expansion of t1 in t1
4.640 * [taylor]: Taking taylor expansion of (/ 1 v) in u
4.640 * [taylor]: Taking taylor expansion of v in u
4.640 * [taylor]: Taking taylor expansion of 0 in v
4.641 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in u
4.641 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
4.641 * [taylor]: Taking taylor expansion of (* v u) in u
4.641 * [taylor]: Taking taylor expansion of v in u
4.641 * [taylor]: Taking taylor expansion of u in u
4.643 * [taylor]: Taking taylor expansion of 0 in v
4.643 * [taylor]: Taking taylor expansion of 0 in v
4.645 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
4.645 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
4.645 * [taylor]: Taking taylor expansion of v in u
4.645 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.645 * [taylor]: Taking taylor expansion of u in u
4.648 * [taylor]: Taking taylor expansion of 0 in v
4.649 * [taylor]: Taking taylor expansion of 0 in v
4.649 * [taylor]: Taking taylor expansion of 0 in v
4.652 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 3)))) in u
4.652 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
4.652 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
4.652 * [taylor]: Taking taylor expansion of v in u
4.652 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.652 * [taylor]: Taking taylor expansion of u in u
4.658 * [taylor]: Taking taylor expansion of 0 in v
4.660 * [taylor]: Taking taylor expansion of 0 in v
4.661 * [taylor]: Taking taylor expansion of 0 in v
4.661 * [taylor]: Taking taylor expansion of 0 in v
4.661 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.661 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
4.661 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
4.661 * [taylor]: Taking taylor expansion of -1 in v
4.661 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
4.661 * [taylor]: Taking taylor expansion of (* t1 v) in v
4.661 * [taylor]: Taking taylor expansion of t1 in v
4.661 * [taylor]: Taking taylor expansion of v in v
4.661 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
4.661 * [taylor]: Taking taylor expansion of (+ t1 u) in v
4.661 * [taylor]: Taking taylor expansion of t1 in v
4.661 * [taylor]: Taking taylor expansion of u in v
4.662 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
4.662 * [taylor]: Taking taylor expansion of -1 in u
4.662 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
4.662 * [taylor]: Taking taylor expansion of (* t1 v) in u
4.662 * [taylor]: Taking taylor expansion of t1 in u
4.662 * [taylor]: Taking taylor expansion of v in u
4.662 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
4.662 * [taylor]: Taking taylor expansion of (+ t1 u) in u
4.662 * [taylor]: Taking taylor expansion of t1 in u
4.662 * [taylor]: Taking taylor expansion of u in u
4.662 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
4.662 * [taylor]: Taking taylor expansion of -1 in t1
4.662 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
4.662 * [taylor]: Taking taylor expansion of (* t1 v) in t1
4.662 * [taylor]: Taking taylor expansion of t1 in t1
4.662 * [taylor]: Taking taylor expansion of v in t1
4.662 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
4.662 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
4.662 * [taylor]: Taking taylor expansion of t1 in t1
4.662 * [taylor]: Taking taylor expansion of u in t1
4.663 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
4.663 * [taylor]: Taking taylor expansion of -1 in t1
4.663 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
4.663 * [taylor]: Taking taylor expansion of (* t1 v) in t1
4.663 * [taylor]: Taking taylor expansion of t1 in t1
4.663 * [taylor]: Taking taylor expansion of v in t1
4.663 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
4.663 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
4.663 * [taylor]: Taking taylor expansion of t1 in t1
4.663 * [taylor]: Taking taylor expansion of u in t1
4.663 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
4.663 * [taylor]: Taking taylor expansion of -1 in u
4.663 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
4.663 * [taylor]: Taking taylor expansion of v in u
4.663 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.664 * [taylor]: Taking taylor expansion of u in u
4.667 * [taylor]: Taking taylor expansion of 0 in v
4.668 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
4.668 * [taylor]: Taking taylor expansion of 2 in u
4.668 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
4.668 * [taylor]: Taking taylor expansion of v in u
4.668 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.668 * [taylor]: Taking taylor expansion of u in u
4.675 * [taylor]: Taking taylor expansion of 0 in v
4.677 * [taylor]: Taking taylor expansion of 0 in v
4.679 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in u
4.679 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
4.679 * [taylor]: Taking taylor expansion of 3 in u
4.679 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
4.679 * [taylor]: Taking taylor expansion of v in u
4.679 * [taylor]: Taking taylor expansion of (pow u 4) in u
4.679 * [taylor]: Taking taylor expansion of u in u
4.689 * [taylor]: Taking taylor expansion of 0 in v
4.692 * [taylor]: Taking taylor expansion of 0 in v
4.693 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
4.693 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
4.693 * [taylor]: Taking taylor expansion of -1 in v
4.693 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
4.693 * [taylor]: Taking taylor expansion of t1 in v
4.693 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
4.693 * [taylor]: Taking taylor expansion of v in v
4.693 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
4.693 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
4.693 * [taylor]: Taking taylor expansion of (/ 1 u) in v
4.693 * [taylor]: Taking taylor expansion of u in v
4.693 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
4.693 * [taylor]: Taking taylor expansion of t1 in v
4.695 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
4.695 * [taylor]: Taking taylor expansion of -1 in u
4.695 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
4.695 * [taylor]: Taking taylor expansion of t1 in u
4.695 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
4.695 * [taylor]: Taking taylor expansion of v in u
4.695 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
4.695 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
4.695 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.695 * [taylor]: Taking taylor expansion of u in u
4.695 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
4.695 * [taylor]: Taking taylor expansion of t1 in u
4.696 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
4.696 * [taylor]: Taking taylor expansion of -1 in t1
4.696 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
4.696 * [taylor]: Taking taylor expansion of t1 in t1
4.696 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
4.696 * [taylor]: Taking taylor expansion of v in t1
4.696 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
4.696 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.696 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.696 * [taylor]: Taking taylor expansion of u in t1
4.696 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.696 * [taylor]: Taking taylor expansion of t1 in t1
4.698 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
4.698 * [taylor]: Taking taylor expansion of -1 in t1
4.698 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
4.698 * [taylor]: Taking taylor expansion of t1 in t1
4.698 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
4.698 * [taylor]: Taking taylor expansion of v in t1
4.698 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
4.698 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.698 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.698 * [taylor]: Taking taylor expansion of u in t1
4.698 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.698 * [taylor]: Taking taylor expansion of t1 in t1
4.700 * [taylor]: Taking taylor expansion of (/ -1 v) in u
4.700 * [taylor]: Taking taylor expansion of -1 in u
4.700 * [taylor]: Taking taylor expansion of v in u
4.700 * [taylor]: Taking taylor expansion of 0 in v
4.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
4.702 * [taylor]: Taking taylor expansion of 2 in u
4.702 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
4.702 * [taylor]: Taking taylor expansion of (* v u) in u
4.702 * [taylor]: Taking taylor expansion of v in u
4.702 * [taylor]: Taking taylor expansion of u in u
4.705 * [taylor]: Taking taylor expansion of 0 in v
4.705 * [taylor]: Taking taylor expansion of 0 in v
4.708 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u
4.708 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
4.708 * [taylor]: Taking taylor expansion of 3 in u
4.708 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
4.708 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
4.708 * [taylor]: Taking taylor expansion of v in u
4.708 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.708 * [taylor]: Taking taylor expansion of u in u
4.713 * [taylor]: Taking taylor expansion of 0 in v
4.715 * [taylor]: Taking taylor expansion of 0 in v
4.715 * [taylor]: Taking taylor expansion of 0 in v
4.722 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
4.722 * [taylor]: Taking taylor expansion of 4 in u
4.722 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
4.722 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
4.722 * [taylor]: Taking taylor expansion of v in u
4.722 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.722 * [taylor]: Taking taylor expansion of u in u
4.732 * [taylor]: Taking taylor expansion of 0 in v
4.735 * [taylor]: Taking taylor expansion of 0 in v
4.737 * [taylor]: Taking taylor expansion of 0 in v
4.737 * [taylor]: Taking taylor expansion of 0 in v
4.738 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
4.738 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
4.738 * [taylor]: Taking taylor expansion of -1 in v
4.738 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
4.738 * [taylor]: Taking taylor expansion of t1 in v
4.738 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
4.738 * [taylor]: Taking taylor expansion of v in v
4.738 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
4.738 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
4.738 * [taylor]: Taking taylor expansion of (/ 1 u) in v
4.738 * [taylor]: Taking taylor expansion of u in v
4.738 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
4.738 * [taylor]: Taking taylor expansion of t1 in v
4.740 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
4.740 * [taylor]: Taking taylor expansion of -1 in u
4.740 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
4.740 * [taylor]: Taking taylor expansion of t1 in u
4.740 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
4.740 * [taylor]: Taking taylor expansion of v in u
4.740 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
4.740 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
4.740 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.740 * [taylor]: Taking taylor expansion of u in u
4.740 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
4.740 * [taylor]: Taking taylor expansion of t1 in u
4.741 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
4.741 * [taylor]: Taking taylor expansion of -1 in t1
4.741 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
4.741 * [taylor]: Taking taylor expansion of t1 in t1
4.741 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
4.741 * [taylor]: Taking taylor expansion of v in t1
4.741 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
4.741 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.741 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.741 * [taylor]: Taking taylor expansion of u in t1
4.741 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.741 * [taylor]: Taking taylor expansion of t1 in t1
4.743 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
4.743 * [taylor]: Taking taylor expansion of -1 in t1
4.743 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
4.743 * [taylor]: Taking taylor expansion of t1 in t1
4.743 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
4.743 * [taylor]: Taking taylor expansion of v in t1
4.743 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
4.743 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.743 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.743 * [taylor]: Taking taylor expansion of u in t1
4.743 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.743 * [taylor]: Taking taylor expansion of t1 in t1
4.745 * [taylor]: Taking taylor expansion of (/ -1 v) in u
4.745 * [taylor]: Taking taylor expansion of -1 in u
4.745 * [taylor]: Taking taylor expansion of v in u
4.745 * [taylor]: Taking taylor expansion of 0 in v
4.747 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
4.747 * [taylor]: Taking taylor expansion of 2 in u
4.747 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
4.747 * [taylor]: Taking taylor expansion of (* v u) in u
4.747 * [taylor]: Taking taylor expansion of v in u
4.747 * [taylor]: Taking taylor expansion of u in u
4.749 * [taylor]: Taking taylor expansion of 0 in v
4.750 * [taylor]: Taking taylor expansion of 0 in v
4.752 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u
4.753 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
4.753 * [taylor]: Taking taylor expansion of 3 in u
4.753 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
4.753 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
4.753 * [taylor]: Taking taylor expansion of v in u
4.753 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.753 * [taylor]: Taking taylor expansion of u in u
4.758 * [taylor]: Taking taylor expansion of 0 in v
4.760 * [taylor]: Taking taylor expansion of 0 in v
4.760 * [taylor]: Taking taylor expansion of 0 in v
4.763 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
4.763 * [taylor]: Taking taylor expansion of 4 in u
4.763 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
4.763 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
4.763 * [taylor]: Taking taylor expansion of v in u
4.763 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.763 * [taylor]: Taking taylor expansion of u in u
4.773 * [taylor]: Taking taylor expansion of 0 in v
4.776 * [taylor]: Taking taylor expansion of 0 in v
4.779 * [taylor]: Taking taylor expansion of 0 in v
4.779 * [taylor]: Taking taylor expansion of 0 in v
4.779 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.779 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0
4.779 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
4.779 * [taylor]: Taking taylor expansion of -1 in u
4.779 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
4.779 * [taylor]: Taking taylor expansion of t1 in u
4.779 * [taylor]: Taking taylor expansion of (+ t1 u) in u
4.779 * [taylor]: Taking taylor expansion of t1 in u
4.779 * [taylor]: Taking taylor expansion of u in u
4.779 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
4.779 * [taylor]: Taking taylor expansion of -1 in t1
4.779 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
4.779 * [taylor]: Taking taylor expansion of t1 in t1
4.779 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
4.779 * [taylor]: Taking taylor expansion of t1 in t1
4.779 * [taylor]: Taking taylor expansion of u in t1
4.779 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
4.779 * [taylor]: Taking taylor expansion of -1 in t1
4.779 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
4.779 * [taylor]: Taking taylor expansion of t1 in t1
4.779 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
4.780 * [taylor]: Taking taylor expansion of t1 in t1
4.780 * [taylor]: Taking taylor expansion of u in t1
4.780 * [taylor]: Taking taylor expansion of (/ -1 u) in u
4.780 * [taylor]: Taking taylor expansion of -1 in u
4.780 * [taylor]: Taking taylor expansion of u in u
4.781 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
4.781 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.781 * [taylor]: Taking taylor expansion of u in u
4.784 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u
4.784 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
4.784 * [taylor]: Taking taylor expansion of (pow u 3) in u
4.784 * [taylor]: Taking taylor expansion of u in u
4.791 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
4.791 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
4.791 * [taylor]: Taking taylor expansion of -1 in u
4.791 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
4.791 * [taylor]: Taking taylor expansion of t1 in u
4.791 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
4.791 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.791 * [taylor]: Taking taylor expansion of u in u
4.791 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
4.791 * [taylor]: Taking taylor expansion of t1 in u
4.792 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
4.792 * [taylor]: Taking taylor expansion of -1 in t1
4.792 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
4.792 * [taylor]: Taking taylor expansion of t1 in t1
4.792 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.792 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.792 * [taylor]: Taking taylor expansion of u in t1
4.792 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.792 * [taylor]: Taking taylor expansion of t1 in t1
4.794 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
4.794 * [taylor]: Taking taylor expansion of -1 in t1
4.794 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
4.794 * [taylor]: Taking taylor expansion of t1 in t1
4.794 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.794 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.794 * [taylor]: Taking taylor expansion of u in t1
4.794 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.794 * [taylor]: Taking taylor expansion of t1 in t1
4.795 * [taylor]: Taking taylor expansion of -1 in u
4.797 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.797 * [taylor]: Taking taylor expansion of u in u
4.805 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
4.805 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
4.805 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.805 * [taylor]: Taking taylor expansion of u in u
4.809 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
4.809 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
4.809 * [taylor]: Taking taylor expansion of -1 in u
4.809 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
4.809 * [taylor]: Taking taylor expansion of t1 in u
4.809 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
4.809 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.809 * [taylor]: Taking taylor expansion of u in u
4.810 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
4.810 * [taylor]: Taking taylor expansion of t1 in u
4.810 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
4.810 * [taylor]: Taking taylor expansion of -1 in t1
4.810 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
4.810 * [taylor]: Taking taylor expansion of t1 in t1
4.810 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.810 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.810 * [taylor]: Taking taylor expansion of u in t1
4.810 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.810 * [taylor]: Taking taylor expansion of t1 in t1
4.812 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
4.812 * [taylor]: Taking taylor expansion of -1 in t1
4.812 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
4.812 * [taylor]: Taking taylor expansion of t1 in t1
4.812 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
4.812 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
4.812 * [taylor]: Taking taylor expansion of u in t1
4.812 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
4.812 * [taylor]: Taking taylor expansion of t1 in t1
4.814 * [taylor]: Taking taylor expansion of -1 in u
4.815 * [taylor]: Taking taylor expansion of (/ 1 u) in u
4.815 * [taylor]: Taking taylor expansion of u in u
4.819 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
4.819 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
4.819 * [taylor]: Taking taylor expansion of (pow u 2) in u
4.819 * [taylor]: Taking taylor expansion of u in u
4.823 * * * [progress]: simplifying candidates
4.825 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- t1) (+ t1 u)) v)
  (+ (- (log (- t1)) (log (+ t1 u))) (log v))
  (+ (log (/ (- t1) (+ t1 u))) (log v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (exp (* (/ (- t1) (+ t1 u)) v))
  (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v))
  (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (* (* v v) v))
  (* (cbrt (* (/ (- t1) (+ t1 u)) v)) (cbrt (* (/ (- t1) (+ t1 u)) v)))
  (cbrt (* (/ (- t1) (+ t1 u)) v))
  (* (* (* (/ (- t1) (+ t1 u)) v) (* (/ (- t1) (+ t1 u)) v)) (* (/ (- t1) (+ t1 u)) v))
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ (- t1) (+ t1 u)) (sqrt v))
  (* (/ (- t1) (+ t1 u)) 1)
  (* (cbrt (/ (- t1) (+ t1 u))) v)
  (* (sqrt (/ (- t1) (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (cbrt t1) (cbrt (+ t1 u))) v)
  (* (/ (cbrt t1) (sqrt (+ t1 u))) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (cbrt (+ t1 u))) v)
  (* (/ (sqrt t1) (sqrt (+ t1 u))) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ 1 (+ t1 u)) v)
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) v)
  (* (- t1 u) v)
  (* (- t1) v)
  (- (+ (- (log (- t1)) (log (+ t1 u))) (log v)) (log (+ t1 u)))
  (- (+ (log (/ (- t1) (+ t1 u))) (log v)) (log (+ t1 u)))
  (- (log (* (/ (- t1) (+ t1 u)) v)) (log (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (exp (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (/ (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (/ (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (* (* v v) v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (/ (* (* (* (/ (- t1) (+ t1 u)) v) (* (/ (- t1) (+ t1 u)) v)) (* (/ (- t1) (+ t1 u)) v)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))) (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))))
  (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (* (* (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (sqrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (sqrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (- (* (/ (- t1) (+ t1 u)) v))
  (- (+ t1 u))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (/ (/ (- t1) (+ t1 u)) 1)
  (/ v (+ t1 u))
  (/ (/ (- t1) (+ t1 u)) 1)
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))
  (/ (* (/ t1 (+ t1 u)) v) (+ t1 u))
  (/ (* (/ (- t1) (+ t1 u)) v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (* (/ (- t1) (+ t1 u)) v) (sqrt (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) 1)
  (/ (* (/ (- t1) (+ t1 u)) v) 1)
  (/ (+ t1 u) v)
  (/ (* (/ (- t1) (+ t1 u)) v) (+ (pow t1 3) (pow u 3)))
  (/ (* (/ (- t1) (+ t1 u)) v) (- (* t1 t1) (* u u)))
  (* (+ t1 u) (+ t1 u))
  (- (log (- t1)) (log (+ t1 u)))
  (log (/ (- t1) (+ t1 u)))
  (exp (/ (- t1) (+ t1 u)))
  (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u))))
  (cbrt (/ (- t1) (+ t1 u)))
  (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  (- (- t1))
  (- (+ t1 u))
  (/ 0 (+ t1 u))
  (/ t1 (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (- t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (sqrt (+ t1 u)))
  (/ (cbrt (- t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) 1)
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) 1)
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (- t1)) (cbrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) 1)
  (/ (sqrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) 1)
  (/ (sqrt (- t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (- (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (- (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (- 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ (- 1) (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ (- 1) 1)
  (/ t1 (+ t1 u))
  (/ (- 1) 1)
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (- (cbrt t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) 1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ (sqrt t1) 1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (- t1))
  (/ t1 (+ t1 u))
  (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ (- t1) 1)
  (/ (- t1) 1)
  (/ (+ t1 u) (cbrt (- t1)))
  (/ (+ t1 u) (sqrt (- t1)))
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (- (cbrt t1)))
  (/ (+ t1 u) (- (sqrt t1)))
  (/ (+ t1 u) (- t1))
  (/ (- t1) (+ (pow t1 3) (pow u 3)))
  (/ (- t1) (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
4.830 * * [simplify]: iteration  0 :  192  enodes  (cost  1973 )
4.873 * * [simplify]: iteration  1 :  474  enodes  (cost  1885 )
5.116 * * [simplify]: iteration  2 :  1595  enodes  (cost  1725 )
5.730 * * [simplify]: iteration  done :  5000  enodes  (cost  1725 )
5.731 * [simplify]: Simplified to:
   (* (/ t1 (+ t1 u)) (- v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (exp (* (/ (- t1) (+ t1 u)) v))
  (pow (* (/ (- t1) (+ t1 u)) v) 3)
  (pow (* (/ (- t1) (+ t1 u)) v) 3)
  (* (cbrt (* (/ (- t1) (+ t1 u)) v)) (cbrt (* (/ (- t1) (+ t1 u)) v)))
  (cbrt (* (/ (- t1) (+ t1 u)) v))
  (pow (* (/ (- t1) (+ t1 u)) v) 3)
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ (- t1) (+ t1 u)) (sqrt v))
  (/ (- t1) (+ t1 u))
  (* (cbrt (/ (- t1) (+ t1 u))) v)
  (* (sqrt (/ (- t1) (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) (- v))
  (* (/ t1 (+ t1 u)) (- v))
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (cbrt t1) (cbrt (+ t1 u))) v)
  (* (/ (cbrt t1) (sqrt (+ t1 u))) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (cbrt (+ t1 u))) v)
  (* (/ (sqrt t1) (sqrt (+ t1 u))) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) (- v))
  (* (/ t1 (+ t1 u)) (- v))
  (* (/ t1 (+ t1 u)) (- v))
  (/ v (+ t1 u))
  (* (+ (* t1 t1) (* u (- u t1))) v)
  (* (- t1 u) v)
  (* (- t1) v)
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (exp (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (* (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))) (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))))
  (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (sqrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (sqrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (* (/ t1 (+ t1 u)) v)
  (- (+ t1 u))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (/ (- t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ (- t1) (+ t1 u))
  (/ v (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))
  (/ (* (/ t1 (+ t1 u)) v) (+ t1 u))
  (/ (* (/ (- t1) (+ t1 u)) v) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (* (/ (- t1) (+ t1 u)) v) (sqrt (+ t1 u)))
  (* (/ t1 (+ t1 u)) (- v))
  (* (/ t1 (+ t1 u)) (- v))
  (/ (+ t1 u) v)
  (/ (* (/ (- t1) (+ t1 u)) v) (+ (pow t1 3) (pow u 3)))
  (/ (* (/ (- t1) (+ t1 u)) v) (- (* t1 t1) (* u u)))
  (* (+ t1 u) (+ t1 u))
  (log (/ (- t1) (+ t1 u)))
  (log (/ (- t1) (+ t1 u)))
  (exp (/ (- t1) (+ t1 u)))
  (pow (/ (- t1) (+ t1 u)) 3)
  (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u))))
  (cbrt (/ (- t1) (+ t1 u)))
  (pow (/ (- t1) (+ t1 u)) 3)
  (sqrt (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  t1
  (- (+ t1 u))
  0
  (/ t1 (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (- t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (sqrt (+ t1 u)))
  (/ (cbrt (- t1)) (sqrt (+ t1 u)))
  (* (cbrt (- t1)) (cbrt (- t1)))
  (/ (cbrt (- t1)) (+ t1 u))
  (* (cbrt (- t1)) (cbrt (- t1)))
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (- t1)) (cbrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (sqrt (- t1))
  (/ (sqrt (- t1)) (+ t1 u))
  (sqrt (- t1))
  (/ (sqrt (- t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  1
  (/ (- t1) (+ t1 u))
  1
  (/ (- t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (- (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (- (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (/ (- (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (- (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (- (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (- (cbrt t1)) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (- (cbrt t1)) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (sqrt t1)
  (/ (- (sqrt t1)) (+ t1 u))
  (sqrt t1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  1
  (/ (- t1) (+ t1 u))
  1
  (/ (- t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (- t1))
  (/ t1 (+ t1 u))
  (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (sqrt (+ t1 u)))
  (- t1)
  (- t1)
  (/ (+ t1 u) (cbrt (- t1)))
  (/ (+ t1 u) (sqrt (- t1)))
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (- (cbrt t1)))
  (/ (+ t1 u) (- (sqrt t1)))
  (/ (+ t1 u) (- t1))
  (/ (- t1) (+ (pow t1 3) (pow u 3)))
  (/ (- t1) (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  0
  0
  0
5.732 * * * [progress]: adding candidates to table
6.193 * * [progress]: iteration 4 / 4
6.193 * * * [progress]: picking best candidate
6.201 * * * * [pick]: Picked  #<alt (λ (u v t1) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))>
6.201 * * * [progress]: localizing error
6.209 * * * [progress]: generating rewritten candidates
6.209 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.232 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
6.260 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
6.275 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
6.293 * * * [progress]: generating series expansions
6.293 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.293 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in (t1 u v) around 0
6.293 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in v
6.293 * [taylor]: Taking taylor expansion of -1 in v
6.293 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in v
6.293 * [taylor]: Taking taylor expansion of (* t1 v) in v
6.293 * [taylor]: Taking taylor expansion of t1 in v
6.293 * [taylor]: Taking taylor expansion of v in v
6.293 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
6.293 * [taylor]: Taking taylor expansion of (+ t1 u) in v
6.293 * [taylor]: Taking taylor expansion of t1 in v
6.293 * [taylor]: Taking taylor expansion of u in v
6.294 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in u
6.294 * [taylor]: Taking taylor expansion of -1 in u
6.294 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in u
6.294 * [taylor]: Taking taylor expansion of (* t1 v) in u
6.294 * [taylor]: Taking taylor expansion of t1 in u
6.294 * [taylor]: Taking taylor expansion of v in u
6.294 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
6.294 * [taylor]: Taking taylor expansion of (+ t1 u) in u
6.294 * [taylor]: Taking taylor expansion of t1 in u
6.294 * [taylor]: Taking taylor expansion of u in u
6.294 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
6.295 * [taylor]: Taking taylor expansion of -1 in t1
6.295 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
6.295 * [taylor]: Taking taylor expansion of (* t1 v) in t1
6.295 * [taylor]: Taking taylor expansion of t1 in t1
6.295 * [taylor]: Taking taylor expansion of v in t1
6.295 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
6.295 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.295 * [taylor]: Taking taylor expansion of t1 in t1
6.295 * [taylor]: Taking taylor expansion of u in t1
6.295 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (pow (+ t1 u) 2))) in t1
6.295 * [taylor]: Taking taylor expansion of -1 in t1
6.295 * [taylor]: Taking taylor expansion of (/ (* t1 v) (pow (+ t1 u) 2)) in t1
6.295 * [taylor]: Taking taylor expansion of (* t1 v) in t1
6.295 * [taylor]: Taking taylor expansion of t1 in t1
6.295 * [taylor]: Taking taylor expansion of v in t1
6.295 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
6.295 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.295 * [taylor]: Taking taylor expansion of t1 in t1
6.295 * [taylor]: Taking taylor expansion of u in t1
6.296 * [taylor]: Taking taylor expansion of (* -1 (/ v (pow u 2))) in u
6.296 * [taylor]: Taking taylor expansion of -1 in u
6.296 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
6.296 * [taylor]: Taking taylor expansion of v in u
6.296 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.296 * [taylor]: Taking taylor expansion of u in u
6.299 * [taylor]: Taking taylor expansion of 0 in v
6.300 * [taylor]: Taking taylor expansion of (* 2 (/ v (pow u 3))) in u
6.300 * [taylor]: Taking taylor expansion of 2 in u
6.300 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
6.300 * [taylor]: Taking taylor expansion of v in u
6.300 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.301 * [taylor]: Taking taylor expansion of u in u
6.307 * [taylor]: Taking taylor expansion of 0 in v
6.310 * [taylor]: Taking taylor expansion of 0 in v
6.316 * [taylor]: Taking taylor expansion of (- (* 3 (/ v (pow u 4)))) in u
6.316 * [taylor]: Taking taylor expansion of (* 3 (/ v (pow u 4))) in u
6.316 * [taylor]: Taking taylor expansion of 3 in u
6.316 * [taylor]: Taking taylor expansion of (/ v (pow u 4)) in u
6.316 * [taylor]: Taking taylor expansion of v in u
6.316 * [taylor]: Taking taylor expansion of (pow u 4) in u
6.316 * [taylor]: Taking taylor expansion of u in u
6.326 * [taylor]: Taking taylor expansion of 0 in v
6.330 * [taylor]: Taking taylor expansion of 0 in v
6.330 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
6.330 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
6.330 * [taylor]: Taking taylor expansion of -1 in v
6.330 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
6.330 * [taylor]: Taking taylor expansion of t1 in v
6.330 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
6.330 * [taylor]: Taking taylor expansion of v in v
6.330 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
6.330 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
6.330 * [taylor]: Taking taylor expansion of (/ 1 u) in v
6.330 * [taylor]: Taking taylor expansion of u in v
6.330 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
6.330 * [taylor]: Taking taylor expansion of t1 in v
6.332 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
6.332 * [taylor]: Taking taylor expansion of -1 in u
6.332 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
6.332 * [taylor]: Taking taylor expansion of t1 in u
6.332 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
6.332 * [taylor]: Taking taylor expansion of v in u
6.332 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
6.332 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.332 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.332 * [taylor]: Taking taylor expansion of u in u
6.333 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.333 * [taylor]: Taking taylor expansion of t1 in u
6.333 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.333 * [taylor]: Taking taylor expansion of -1 in t1
6.333 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.333 * [taylor]: Taking taylor expansion of t1 in t1
6.333 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.333 * [taylor]: Taking taylor expansion of v in t1
6.333 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.333 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.333 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.333 * [taylor]: Taking taylor expansion of u in t1
6.333 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.333 * [taylor]: Taking taylor expansion of t1 in t1
6.335 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.335 * [taylor]: Taking taylor expansion of -1 in t1
6.335 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.335 * [taylor]: Taking taylor expansion of t1 in t1
6.335 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.335 * [taylor]: Taking taylor expansion of v in t1
6.335 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.335 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.335 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.335 * [taylor]: Taking taylor expansion of u in t1
6.335 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.335 * [taylor]: Taking taylor expansion of t1 in t1
6.337 * [taylor]: Taking taylor expansion of (/ -1 v) in u
6.337 * [taylor]: Taking taylor expansion of -1 in u
6.337 * [taylor]: Taking taylor expansion of v in u
6.337 * [taylor]: Taking taylor expansion of 0 in v
6.339 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
6.339 * [taylor]: Taking taylor expansion of 2 in u
6.339 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
6.339 * [taylor]: Taking taylor expansion of (* v u) in u
6.339 * [taylor]: Taking taylor expansion of v in u
6.339 * [taylor]: Taking taylor expansion of u in u
6.342 * [taylor]: Taking taylor expansion of 0 in v
6.342 * [taylor]: Taking taylor expansion of 0 in v
6.344 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u
6.344 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
6.344 * [taylor]: Taking taylor expansion of 3 in u
6.344 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
6.344 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
6.345 * [taylor]: Taking taylor expansion of v in u
6.345 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.345 * [taylor]: Taking taylor expansion of u in u
6.350 * [taylor]: Taking taylor expansion of 0 in v
6.351 * [taylor]: Taking taylor expansion of 0 in v
6.352 * [taylor]: Taking taylor expansion of 0 in v
6.355 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
6.355 * [taylor]: Taking taylor expansion of 4 in u
6.355 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
6.355 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
6.355 * [taylor]: Taking taylor expansion of v in u
6.355 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.355 * [taylor]: Taking taylor expansion of u in u
6.364 * [taylor]: Taking taylor expansion of 0 in v
6.367 * [taylor]: Taking taylor expansion of 0 in v
6.369 * [taylor]: Taking taylor expansion of 0 in v
6.369 * [taylor]: Taking taylor expansion of 0 in v
6.370 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
6.370 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
6.370 * [taylor]: Taking taylor expansion of -1 in v
6.370 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
6.370 * [taylor]: Taking taylor expansion of t1 in v
6.370 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
6.370 * [taylor]: Taking taylor expansion of v in v
6.370 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
6.370 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
6.370 * [taylor]: Taking taylor expansion of (/ 1 u) in v
6.370 * [taylor]: Taking taylor expansion of u in v
6.370 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
6.370 * [taylor]: Taking taylor expansion of t1 in v
6.372 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
6.372 * [taylor]: Taking taylor expansion of -1 in u
6.372 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
6.372 * [taylor]: Taking taylor expansion of t1 in u
6.372 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
6.372 * [taylor]: Taking taylor expansion of v in u
6.372 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
6.372 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.372 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.372 * [taylor]: Taking taylor expansion of u in u
6.373 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.373 * [taylor]: Taking taylor expansion of t1 in u
6.373 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.373 * [taylor]: Taking taylor expansion of -1 in t1
6.373 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.373 * [taylor]: Taking taylor expansion of t1 in t1
6.373 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.373 * [taylor]: Taking taylor expansion of v in t1
6.373 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.373 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.373 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.373 * [taylor]: Taking taylor expansion of u in t1
6.373 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.373 * [taylor]: Taking taylor expansion of t1 in t1
6.375 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.375 * [taylor]: Taking taylor expansion of -1 in t1
6.375 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.375 * [taylor]: Taking taylor expansion of t1 in t1
6.375 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.375 * [taylor]: Taking taylor expansion of v in t1
6.375 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.375 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.375 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.375 * [taylor]: Taking taylor expansion of u in t1
6.375 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.375 * [taylor]: Taking taylor expansion of t1 in t1
6.377 * [taylor]: Taking taylor expansion of (/ -1 v) in u
6.377 * [taylor]: Taking taylor expansion of -1 in u
6.377 * [taylor]: Taking taylor expansion of v in u
6.377 * [taylor]: Taking taylor expansion of 0 in v
6.379 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* v u))) in u
6.379 * [taylor]: Taking taylor expansion of 2 in u
6.379 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
6.379 * [taylor]: Taking taylor expansion of (* v u) in u
6.379 * [taylor]: Taking taylor expansion of v in u
6.379 * [taylor]: Taking taylor expansion of u in u
6.382 * [taylor]: Taking taylor expansion of 0 in v
6.382 * [taylor]: Taking taylor expansion of 0 in v
6.384 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* v (pow u 2))))) in u
6.385 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* v (pow u 2)))) in u
6.385 * [taylor]: Taking taylor expansion of 3 in u
6.385 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
6.385 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
6.385 * [taylor]: Taking taylor expansion of v in u
6.385 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.385 * [taylor]: Taking taylor expansion of u in u
6.390 * [taylor]: Taking taylor expansion of 0 in v
6.392 * [taylor]: Taking taylor expansion of 0 in v
6.392 * [taylor]: Taking taylor expansion of 0 in v
6.397 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* v (pow u 3)))) in u
6.397 * [taylor]: Taking taylor expansion of 4 in u
6.397 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
6.397 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
6.397 * [taylor]: Taking taylor expansion of v in u
6.397 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.397 * [taylor]: Taking taylor expansion of u in u
6.407 * [taylor]: Taking taylor expansion of 0 in v
6.410 * [taylor]: Taking taylor expansion of 0 in v
6.412 * [taylor]: Taking taylor expansion of 0 in v
6.412 * [taylor]: Taking taylor expansion of 0 in v
6.412 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
6.412 * [approximate]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in (t1 u v) around 0
6.412 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in v
6.412 * [taylor]: Taking taylor expansion of -1 in v
6.412 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in v
6.412 * [taylor]: Taking taylor expansion of (* t1 v) in v
6.412 * [taylor]: Taking taylor expansion of t1 in v
6.412 * [taylor]: Taking taylor expansion of v in v
6.412 * [taylor]: Taking taylor expansion of (+ t1 u) in v
6.412 * [taylor]: Taking taylor expansion of t1 in v
6.412 * [taylor]: Taking taylor expansion of u in v
6.413 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in u
6.413 * [taylor]: Taking taylor expansion of -1 in u
6.413 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in u
6.413 * [taylor]: Taking taylor expansion of (* t1 v) in u
6.413 * [taylor]: Taking taylor expansion of t1 in u
6.413 * [taylor]: Taking taylor expansion of v in u
6.413 * [taylor]: Taking taylor expansion of (+ t1 u) in u
6.413 * [taylor]: Taking taylor expansion of t1 in u
6.413 * [taylor]: Taking taylor expansion of u in u
6.413 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1
6.413 * [taylor]: Taking taylor expansion of -1 in t1
6.413 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
6.413 * [taylor]: Taking taylor expansion of (* t1 v) in t1
6.413 * [taylor]: Taking taylor expansion of t1 in t1
6.413 * [taylor]: Taking taylor expansion of v in t1
6.413 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.413 * [taylor]: Taking taylor expansion of t1 in t1
6.413 * [taylor]: Taking taylor expansion of u in t1
6.413 * [taylor]: Taking taylor expansion of (* -1 (/ (* t1 v) (+ t1 u))) in t1
6.413 * [taylor]: Taking taylor expansion of -1 in t1
6.413 * [taylor]: Taking taylor expansion of (/ (* t1 v) (+ t1 u)) in t1
6.413 * [taylor]: Taking taylor expansion of (* t1 v) in t1
6.413 * [taylor]: Taking taylor expansion of t1 in t1
6.413 * [taylor]: Taking taylor expansion of v in t1
6.414 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.414 * [taylor]: Taking taylor expansion of t1 in t1
6.414 * [taylor]: Taking taylor expansion of u in t1
6.414 * [taylor]: Taking taylor expansion of (* -1 (/ v u)) in u
6.414 * [taylor]: Taking taylor expansion of -1 in u
6.414 * [taylor]: Taking taylor expansion of (/ v u) in u
6.414 * [taylor]: Taking taylor expansion of v in u
6.414 * [taylor]: Taking taylor expansion of u in u
6.415 * [taylor]: Taking taylor expansion of 0 in v
6.416 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
6.416 * [taylor]: Taking taylor expansion of v in u
6.416 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.416 * [taylor]: Taking taylor expansion of u in u
6.418 * [taylor]: Taking taylor expansion of 0 in v
6.420 * [taylor]: Taking taylor expansion of 0 in v
6.421 * [taylor]: Taking taylor expansion of (- (/ v (pow u 3))) in u
6.421 * [taylor]: Taking taylor expansion of (/ v (pow u 3)) in u
6.421 * [taylor]: Taking taylor expansion of v in u
6.421 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.421 * [taylor]: Taking taylor expansion of u in u
6.427 * [taylor]: Taking taylor expansion of 0 in v
6.429 * [taylor]: Taking taylor expansion of 0 in v
6.429 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 u v) around 0
6.429 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
6.429 * [taylor]: Taking taylor expansion of -1 in v
6.429 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
6.429 * [taylor]: Taking taylor expansion of t1 in v
6.429 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
6.429 * [taylor]: Taking taylor expansion of v in v
6.429 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
6.429 * [taylor]: Taking taylor expansion of (/ 1 u) in v
6.429 * [taylor]: Taking taylor expansion of u in v
6.429 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
6.429 * [taylor]: Taking taylor expansion of t1 in v
6.430 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
6.430 * [taylor]: Taking taylor expansion of -1 in u
6.430 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
6.430 * [taylor]: Taking taylor expansion of t1 in u
6.431 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
6.431 * [taylor]: Taking taylor expansion of v in u
6.431 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.431 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.431 * [taylor]: Taking taylor expansion of u in u
6.431 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.431 * [taylor]: Taking taylor expansion of t1 in u
6.431 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
6.431 * [taylor]: Taking taylor expansion of -1 in t1
6.431 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
6.431 * [taylor]: Taking taylor expansion of t1 in t1
6.431 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
6.431 * [taylor]: Taking taylor expansion of v in t1
6.431 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.431 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.431 * [taylor]: Taking taylor expansion of u in t1
6.431 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.431 * [taylor]: Taking taylor expansion of t1 in t1
6.433 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
6.433 * [taylor]: Taking taylor expansion of -1 in t1
6.433 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
6.433 * [taylor]: Taking taylor expansion of t1 in t1
6.433 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
6.433 * [taylor]: Taking taylor expansion of v in t1
6.433 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.433 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.433 * [taylor]: Taking taylor expansion of u in t1
6.433 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.433 * [taylor]: Taking taylor expansion of t1 in t1
6.434 * [taylor]: Taking taylor expansion of (/ -1 v) in u
6.434 * [taylor]: Taking taylor expansion of -1 in u
6.434 * [taylor]: Taking taylor expansion of v in u
6.434 * [taylor]: Taking taylor expansion of 0 in v
6.436 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
6.436 * [taylor]: Taking taylor expansion of (* v u) in u
6.436 * [taylor]: Taking taylor expansion of v in u
6.436 * [taylor]: Taking taylor expansion of u in u
6.437 * [taylor]: Taking taylor expansion of 0 in v
6.437 * [taylor]: Taking taylor expansion of 0 in v
6.439 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 2)))) in u
6.439 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
6.439 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
6.439 * [taylor]: Taking taylor expansion of v in u
6.439 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.439 * [taylor]: Taking taylor expansion of u in u
6.443 * [taylor]: Taking taylor expansion of 0 in v
6.443 * [taylor]: Taking taylor expansion of 0 in v
6.443 * [taylor]: Taking taylor expansion of 0 in v
6.446 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
6.446 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
6.446 * [taylor]: Taking taylor expansion of v in u
6.446 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.446 * [taylor]: Taking taylor expansion of u in u
6.452 * [taylor]: Taking taylor expansion of 0 in v
6.454 * [taylor]: Taking taylor expansion of 0 in v
6.455 * [taylor]: Taking taylor expansion of 0 in v
6.455 * [taylor]: Taking taylor expansion of 0 in v
6.455 * [approximate]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in (t1 u v) around 0
6.455 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in v
6.455 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in v
6.455 * [taylor]: Taking taylor expansion of t1 in v
6.455 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in v
6.455 * [taylor]: Taking taylor expansion of v in v
6.455 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
6.455 * [taylor]: Taking taylor expansion of (/ 1 u) in v
6.455 * [taylor]: Taking taylor expansion of u in v
6.455 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
6.455 * [taylor]: Taking taylor expansion of t1 in v
6.456 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in u
6.456 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in u
6.456 * [taylor]: Taking taylor expansion of t1 in u
6.456 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in u
6.456 * [taylor]: Taking taylor expansion of v in u
6.456 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.456 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.456 * [taylor]: Taking taylor expansion of u in u
6.457 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.457 * [taylor]: Taking taylor expansion of t1 in u
6.457 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
6.457 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
6.457 * [taylor]: Taking taylor expansion of t1 in t1
6.457 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
6.457 * [taylor]: Taking taylor expansion of v in t1
6.457 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.457 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.457 * [taylor]: Taking taylor expansion of u in t1
6.457 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.457 * [taylor]: Taking taylor expansion of t1 in t1
6.459 * [taylor]: Taking taylor expansion of (/ 1 (* t1 (* v (+ (/ 1 u) (/ 1 t1))))) in t1
6.459 * [taylor]: Taking taylor expansion of (* t1 (* v (+ (/ 1 u) (/ 1 t1)))) in t1
6.459 * [taylor]: Taking taylor expansion of t1 in t1
6.459 * [taylor]: Taking taylor expansion of (* v (+ (/ 1 u) (/ 1 t1))) in t1
6.459 * [taylor]: Taking taylor expansion of v in t1
6.459 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.459 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.459 * [taylor]: Taking taylor expansion of u in t1
6.459 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.459 * [taylor]: Taking taylor expansion of t1 in t1
6.460 * [taylor]: Taking taylor expansion of (/ 1 v) in u
6.460 * [taylor]: Taking taylor expansion of v in u
6.460 * [taylor]: Taking taylor expansion of 0 in v
6.462 * [taylor]: Taking taylor expansion of (- (/ 1 (* v u))) in u
6.462 * [taylor]: Taking taylor expansion of (/ 1 (* v u)) in u
6.462 * [taylor]: Taking taylor expansion of (* v u) in u
6.462 * [taylor]: Taking taylor expansion of v in u
6.462 * [taylor]: Taking taylor expansion of u in u
6.463 * [taylor]: Taking taylor expansion of 0 in v
6.463 * [taylor]: Taking taylor expansion of 0 in v
6.465 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 2))) in u
6.465 * [taylor]: Taking taylor expansion of (* v (pow u 2)) in u
6.465 * [taylor]: Taking taylor expansion of v in u
6.465 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.465 * [taylor]: Taking taylor expansion of u in u
6.468 * [taylor]: Taking taylor expansion of 0 in v
6.469 * [taylor]: Taking taylor expansion of 0 in v
6.470 * [taylor]: Taking taylor expansion of 0 in v
6.473 * [taylor]: Taking taylor expansion of (- (/ 1 (* v (pow u 3)))) in u
6.473 * [taylor]: Taking taylor expansion of (/ 1 (* v (pow u 3))) in u
6.473 * [taylor]: Taking taylor expansion of (* v (pow u 3)) in u
6.473 * [taylor]: Taking taylor expansion of v in u
6.473 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.473 * [taylor]: Taking taylor expansion of u in u
6.482 * [taylor]: Taking taylor expansion of 0 in v
6.483 * [taylor]: Taking taylor expansion of 0 in v
6.484 * [taylor]: Taking taylor expansion of 0 in v
6.484 * [taylor]: Taking taylor expansion of 0 in v
6.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
6.484 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in (t1 u v) around 0
6.484 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in v
6.484 * [taylor]: Taking taylor expansion of -1 in v
6.484 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in v
6.484 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in v
6.484 * [taylor]: Taking taylor expansion of (+ t1 u) in v
6.484 * [taylor]: Taking taylor expansion of t1 in v
6.484 * [taylor]: Taking taylor expansion of u in v
6.484 * [taylor]: Taking taylor expansion of (* t1 v) in v
6.484 * [taylor]: Taking taylor expansion of t1 in v
6.484 * [taylor]: Taking taylor expansion of v in v
6.485 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in u
6.485 * [taylor]: Taking taylor expansion of -1 in u
6.485 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in u
6.485 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in u
6.485 * [taylor]: Taking taylor expansion of (+ t1 u) in u
6.485 * [taylor]: Taking taylor expansion of t1 in u
6.485 * [taylor]: Taking taylor expansion of u in u
6.485 * [taylor]: Taking taylor expansion of (* t1 v) in u
6.485 * [taylor]: Taking taylor expansion of t1 in u
6.485 * [taylor]: Taking taylor expansion of v in u
6.485 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in t1
6.485 * [taylor]: Taking taylor expansion of -1 in t1
6.485 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in t1
6.485 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
6.485 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.485 * [taylor]: Taking taylor expansion of t1 in t1
6.485 * [taylor]: Taking taylor expansion of u in t1
6.485 * [taylor]: Taking taylor expansion of (* t1 v) in t1
6.485 * [taylor]: Taking taylor expansion of t1 in t1
6.485 * [taylor]: Taking taylor expansion of v in t1
6.486 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (+ t1 u) 2) (* t1 v))) in t1
6.486 * [taylor]: Taking taylor expansion of -1 in t1
6.486 * [taylor]: Taking taylor expansion of (/ (pow (+ t1 u) 2) (* t1 v)) in t1
6.486 * [taylor]: Taking taylor expansion of (pow (+ t1 u) 2) in t1
6.486 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.486 * [taylor]: Taking taylor expansion of t1 in t1
6.486 * [taylor]: Taking taylor expansion of u in t1
6.486 * [taylor]: Taking taylor expansion of (* t1 v) in t1
6.486 * [taylor]: Taking taylor expansion of t1 in t1
6.486 * [taylor]: Taking taylor expansion of v in t1
6.486 * [taylor]: Taking taylor expansion of (* -1 (/ (pow u 2) v)) in u
6.486 * [taylor]: Taking taylor expansion of -1 in u
6.487 * [taylor]: Taking taylor expansion of (/ (pow u 2) v) in u
6.487 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.487 * [taylor]: Taking taylor expansion of u in u
6.487 * [taylor]: Taking taylor expansion of v in u
6.488 * [taylor]: Taking taylor expansion of (- (* 2 (/ u v))) in u
6.488 * [taylor]: Taking taylor expansion of (* 2 (/ u v)) in u
6.488 * [taylor]: Taking taylor expansion of 2 in u
6.488 * [taylor]: Taking taylor expansion of (/ u v) in u
6.488 * [taylor]: Taking taylor expansion of u in u
6.488 * [taylor]: Taking taylor expansion of v in u
6.490 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in u
6.490 * [taylor]: Taking taylor expansion of (/ 1 v) in u
6.490 * [taylor]: Taking taylor expansion of v in u
6.490 * [taylor]: Taking taylor expansion of (- (/ 1 v)) in v
6.490 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.490 * [taylor]: Taking taylor expansion of v in v
6.490 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 v))) in v
6.490 * [taylor]: Taking taylor expansion of (* 2 (/ 1 v)) in v
6.490 * [taylor]: Taking taylor expansion of 2 in v
6.490 * [taylor]: Taking taylor expansion of (/ 1 v) in v
6.490 * [taylor]: Taking taylor expansion of v in v
6.491 * [taylor]: Taking taylor expansion of (/ -1 v) in v
6.491 * [taylor]: Taking taylor expansion of -1 in v
6.491 * [taylor]: Taking taylor expansion of v in v
6.492 * [approximate]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
6.492 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
6.492 * [taylor]: Taking taylor expansion of -1 in v
6.492 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
6.492 * [taylor]: Taking taylor expansion of t1 in v
6.492 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
6.492 * [taylor]: Taking taylor expansion of v in v
6.492 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
6.492 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
6.492 * [taylor]: Taking taylor expansion of (/ 1 u) in v
6.492 * [taylor]: Taking taylor expansion of u in v
6.492 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
6.492 * [taylor]: Taking taylor expansion of t1 in v
6.492 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
6.492 * [taylor]: Taking taylor expansion of -1 in u
6.492 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
6.492 * [taylor]: Taking taylor expansion of t1 in u
6.492 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
6.492 * [taylor]: Taking taylor expansion of v in u
6.492 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
6.492 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.493 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.493 * [taylor]: Taking taylor expansion of u in u
6.493 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.493 * [taylor]: Taking taylor expansion of t1 in u
6.493 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.493 * [taylor]: Taking taylor expansion of -1 in t1
6.493 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.493 * [taylor]: Taking taylor expansion of t1 in t1
6.493 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.493 * [taylor]: Taking taylor expansion of v in t1
6.493 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.493 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.493 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.493 * [taylor]: Taking taylor expansion of u in t1
6.493 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.493 * [taylor]: Taking taylor expansion of t1 in t1
6.494 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.494 * [taylor]: Taking taylor expansion of -1 in t1
6.494 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.494 * [taylor]: Taking taylor expansion of t1 in t1
6.494 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.494 * [taylor]: Taking taylor expansion of v in t1
6.494 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.494 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.494 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.494 * [taylor]: Taking taylor expansion of u in t1
6.494 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.494 * [taylor]: Taking taylor expansion of t1 in t1
6.495 * [taylor]: Taking taylor expansion of 0 in u
6.496 * [taylor]: Taking taylor expansion of (- v) in u
6.496 * [taylor]: Taking taylor expansion of v in u
6.499 * [taylor]: Taking taylor expansion of (- (* 2 (/ v u))) in u
6.499 * [taylor]: Taking taylor expansion of (* 2 (/ v u)) in u
6.499 * [taylor]: Taking taylor expansion of 2 in u
6.499 * [taylor]: Taking taylor expansion of (/ v u) in u
6.499 * [taylor]: Taking taylor expansion of v in u
6.499 * [taylor]: Taking taylor expansion of u in u
6.499 * [taylor]: Taking taylor expansion of 0 in v
6.502 * [taylor]: Taking taylor expansion of (- (/ v (pow u 2))) in u
6.502 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
6.502 * [taylor]: Taking taylor expansion of v in u
6.502 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.502 * [taylor]: Taking taylor expansion of u in u
6.502 * [taylor]: Taking taylor expansion of (- v) in v
6.502 * [taylor]: Taking taylor expansion of v in v
6.503 * [taylor]: Taking taylor expansion of (- (* 2 v)) in v
6.503 * [taylor]: Taking taylor expansion of (* 2 v) in v
6.503 * [taylor]: Taking taylor expansion of 2 in v
6.503 * [taylor]: Taking taylor expansion of v in v
6.503 * [taylor]: Taking taylor expansion of (- v) in v
6.503 * [taylor]: Taking taylor expansion of v in v
6.503 * [taylor]: Taking taylor expansion of 0 in v
6.504 * [approximate]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in (t1 u v) around 0
6.504 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in v
6.504 * [taylor]: Taking taylor expansion of -1 in v
6.504 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in v
6.504 * [taylor]: Taking taylor expansion of t1 in v
6.504 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in v
6.504 * [taylor]: Taking taylor expansion of v in v
6.504 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in v
6.504 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in v
6.504 * [taylor]: Taking taylor expansion of (/ 1 u) in v
6.504 * [taylor]: Taking taylor expansion of u in v
6.504 * [taylor]: Taking taylor expansion of (/ 1 t1) in v
6.504 * [taylor]: Taking taylor expansion of t1 in v
6.504 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in u
6.504 * [taylor]: Taking taylor expansion of -1 in u
6.504 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in u
6.504 * [taylor]: Taking taylor expansion of t1 in u
6.504 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in u
6.504 * [taylor]: Taking taylor expansion of v in u
6.504 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in u
6.504 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.504 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.504 * [taylor]: Taking taylor expansion of u in u
6.505 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.505 * [taylor]: Taking taylor expansion of t1 in u
6.505 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.505 * [taylor]: Taking taylor expansion of -1 in t1
6.505 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.505 * [taylor]: Taking taylor expansion of t1 in t1
6.505 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.505 * [taylor]: Taking taylor expansion of v in t1
6.505 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.505 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.505 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.505 * [taylor]: Taking taylor expansion of u in t1
6.505 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.505 * [taylor]: Taking taylor expansion of t1 in t1
6.506 * [taylor]: Taking taylor expansion of (* -1 (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)))) in t1
6.506 * [taylor]: Taking taylor expansion of -1 in t1
6.506 * [taylor]: Taking taylor expansion of (* t1 (* v (pow (+ (/ 1 u) (/ 1 t1)) 2))) in t1
6.506 * [taylor]: Taking taylor expansion of t1 in t1
6.506 * [taylor]: Taking taylor expansion of (* v (pow (+ (/ 1 u) (/ 1 t1)) 2)) in t1
6.506 * [taylor]: Taking taylor expansion of v in t1
6.506 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 u) (/ 1 t1)) 2) in t1
6.506 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.506 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.506 * [taylor]: Taking taylor expansion of u in t1
6.506 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.506 * [taylor]: Taking taylor expansion of t1 in t1
6.507 * [taylor]: Taking taylor expansion of 0 in u
6.508 * [taylor]: Taking taylor expansion of (- v) in u
6.508 * [taylor]: Taking taylor expansion of v in u
6.511 * [taylor]: Taking taylor expansion of (- (* 2 (/ v u))) in u
6.511 * [taylor]: Taking taylor expansion of (* 2 (/ v u)) in u
6.511 * [taylor]: Taking taylor expansion of 2 in u
6.511 * [taylor]: Taking taylor expansion of (/ v u) in u
6.511 * [taylor]: Taking taylor expansion of v in u
6.511 * [taylor]: Taking taylor expansion of u in u
6.511 * [taylor]: Taking taylor expansion of 0 in v
6.514 * [taylor]: Taking taylor expansion of (- (/ v (pow u 2))) in u
6.514 * [taylor]: Taking taylor expansion of (/ v (pow u 2)) in u
6.514 * [taylor]: Taking taylor expansion of v in u
6.514 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.514 * [taylor]: Taking taylor expansion of u in u
6.514 * [taylor]: Taking taylor expansion of (- v) in v
6.514 * [taylor]: Taking taylor expansion of v in v
6.514 * [taylor]: Taking taylor expansion of (- (* 2 v)) in v
6.514 * [taylor]: Taking taylor expansion of (* 2 v) in v
6.514 * [taylor]: Taking taylor expansion of 2 in v
6.514 * [taylor]: Taking taylor expansion of v in v
6.515 * [taylor]: Taking taylor expansion of (- v) in v
6.515 * [taylor]: Taking taylor expansion of v in v
6.515 * [taylor]: Taking taylor expansion of 0 in v
6.515 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
6.515 * [approximate]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in (t1 u) around 0
6.515 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in u
6.515 * [taylor]: Taking taylor expansion of -1 in u
6.515 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in u
6.515 * [taylor]: Taking taylor expansion of t1 in u
6.515 * [taylor]: Taking taylor expansion of (+ t1 u) in u
6.515 * [taylor]: Taking taylor expansion of t1 in u
6.515 * [taylor]: Taking taylor expansion of u in u
6.516 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
6.516 * [taylor]: Taking taylor expansion of -1 in t1
6.516 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
6.516 * [taylor]: Taking taylor expansion of t1 in t1
6.516 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.516 * [taylor]: Taking taylor expansion of t1 in t1
6.516 * [taylor]: Taking taylor expansion of u in t1
6.516 * [taylor]: Taking taylor expansion of (* -1 (/ t1 (+ t1 u))) in t1
6.516 * [taylor]: Taking taylor expansion of -1 in t1
6.516 * [taylor]: Taking taylor expansion of (/ t1 (+ t1 u)) in t1
6.516 * [taylor]: Taking taylor expansion of t1 in t1
6.516 * [taylor]: Taking taylor expansion of (+ t1 u) in t1
6.516 * [taylor]: Taking taylor expansion of t1 in t1
6.516 * [taylor]: Taking taylor expansion of u in t1
6.516 * [taylor]: Taking taylor expansion of (/ -1 u) in u
6.516 * [taylor]: Taking taylor expansion of -1 in u
6.516 * [taylor]: Taking taylor expansion of u in u
6.517 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
6.517 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.517 * [taylor]: Taking taylor expansion of u in u
6.521 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 3))) in u
6.521 * [taylor]: Taking taylor expansion of (/ 1 (pow u 3)) in u
6.521 * [taylor]: Taking taylor expansion of (pow u 3) in u
6.521 * [taylor]: Taking taylor expansion of u in u
6.528 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
6.528 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
6.528 * [taylor]: Taking taylor expansion of -1 in u
6.528 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
6.528 * [taylor]: Taking taylor expansion of t1 in u
6.528 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.528 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.528 * [taylor]: Taking taylor expansion of u in u
6.528 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.528 * [taylor]: Taking taylor expansion of t1 in u
6.529 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
6.529 * [taylor]: Taking taylor expansion of -1 in t1
6.529 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
6.529 * [taylor]: Taking taylor expansion of t1 in t1
6.529 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.529 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.529 * [taylor]: Taking taylor expansion of u in t1
6.529 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.529 * [taylor]: Taking taylor expansion of t1 in t1
6.531 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
6.531 * [taylor]: Taking taylor expansion of -1 in t1
6.531 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
6.531 * [taylor]: Taking taylor expansion of t1 in t1
6.531 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.531 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.531 * [taylor]: Taking taylor expansion of u in t1
6.531 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.531 * [taylor]: Taking taylor expansion of t1 in t1
6.533 * [taylor]: Taking taylor expansion of -1 in u
6.534 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.534 * [taylor]: Taking taylor expansion of u in u
6.538 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
6.538 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
6.538 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.538 * [taylor]: Taking taylor expansion of u in u
6.542 * [approximate]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in (t1 u) around 0
6.542 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in u
6.542 * [taylor]: Taking taylor expansion of -1 in u
6.542 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in u
6.542 * [taylor]: Taking taylor expansion of t1 in u
6.542 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in u
6.542 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.542 * [taylor]: Taking taylor expansion of u in u
6.542 * [taylor]: Taking taylor expansion of (/ 1 t1) in u
6.542 * [taylor]: Taking taylor expansion of t1 in u
6.543 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
6.543 * [taylor]: Taking taylor expansion of -1 in t1
6.543 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
6.543 * [taylor]: Taking taylor expansion of t1 in t1
6.543 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.543 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.543 * [taylor]: Taking taylor expansion of u in t1
6.543 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.543 * [taylor]: Taking taylor expansion of t1 in t1
6.545 * [taylor]: Taking taylor expansion of (/ -1 (* t1 (+ (/ 1 u) (/ 1 t1)))) in t1
6.545 * [taylor]: Taking taylor expansion of -1 in t1
6.545 * [taylor]: Taking taylor expansion of (* t1 (+ (/ 1 u) (/ 1 t1))) in t1
6.545 * [taylor]: Taking taylor expansion of t1 in t1
6.545 * [taylor]: Taking taylor expansion of (+ (/ 1 u) (/ 1 t1)) in t1
6.545 * [taylor]: Taking taylor expansion of (/ 1 u) in t1
6.545 * [taylor]: Taking taylor expansion of u in t1
6.545 * [taylor]: Taking taylor expansion of (/ 1 t1) in t1
6.545 * [taylor]: Taking taylor expansion of t1 in t1
6.546 * [taylor]: Taking taylor expansion of -1 in u
6.548 * [taylor]: Taking taylor expansion of (/ 1 u) in u
6.548 * [taylor]: Taking taylor expansion of u in u
6.552 * [taylor]: Taking taylor expansion of (- (/ 1 (pow u 2))) in u
6.552 * [taylor]: Taking taylor expansion of (/ 1 (pow u 2)) in u
6.552 * [taylor]: Taking taylor expansion of (pow u 2) in u
6.552 * [taylor]: Taking taylor expansion of u in u
6.556 * * * [progress]: simplifying candidates
6.561 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1)
  (- (- (log (+ t1 u)) (+ (- (log (- t1)) (log (+ t1 u))) (log v))))
  (- (- (log (+ t1 u)) (+ (log (/ (- t1) (+ t1 u))) (log v))))
  (- (- (log (+ t1 u)) (log (* (/ (- t1) (+ t1 u)) v))))
  (- (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (- 0 (- (log (+ t1 u)) (+ (- (log (- t1)) (log (+ t1 u))) (log v))))
  (- 0 (- (log (+ t1 u)) (+ (log (/ (- t1) (+ t1 u))) (log v))))
  (- 0 (- (log (+ t1 u)) (log (* (/ (- t1) (+ t1 u)) v))))
  (- 0 (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (- (log 1) (- (log (+ t1 u)) (+ (- (log (- t1)) (log (+ t1 u))) (log v))))
  (- (log 1) (- (log (+ t1 u)) (+ (log (/ (- t1) (+ t1 u))) (log v))))
  (- (log 1) (- (log (+ t1 u)) (log (* (/ (- t1) (+ t1 u)) v))))
  (- (log 1) (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (log (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (exp (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v))))
  (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (* (* v v) v))))
  (/ (* (* 1 1) 1) (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (/ (- t1) (+ t1 u)) v) (* (/ (- t1) (+ t1 u)) v)) (* (/ (- t1) (+ t1 u)) v))))
  (/ (* (* 1 1) 1) (* (* (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)) (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (* (cbrt (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))) (cbrt (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (cbrt (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (* (* (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (sqrt (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (sqrt (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (- 1)
  (- (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ (cbrt 1) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (cbrt 1) (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (+ t1 u))))
  (/ (cbrt 1) (/ (cbrt (+ t1 u)) v))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ t1 u)) (/ (- t1) (+ t1 u))))
  (/ (cbrt 1) (/ (sqrt (+ t1 u)) v))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (/ (- t1) (+ t1 u))))
  (/ (cbrt 1) (/ (+ t1 u) v))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (/ (- t1) (+ t1 u))))
  (/ (cbrt 1) (/ (+ t1 u) v))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ (* (cbrt 1) (cbrt 1)) (+ t1 u))
  (/ (cbrt 1) (/ 1 (* (/ (- t1) (+ t1 u)) v)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ t1 u) (* (- t1) v)))
  (/ (cbrt 1) (+ t1 u))
  (/ (sqrt 1) (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ (sqrt 1) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (sqrt 1) (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (sqrt 1) (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (sqrt 1) (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (+ t1 u))))
  (/ (sqrt 1) (/ (cbrt (+ t1 u)) v))
  (/ (sqrt 1) (/ (sqrt (+ t1 u)) (/ (- t1) (+ t1 u))))
  (/ (sqrt 1) (/ (sqrt (+ t1 u)) v))
  (/ (sqrt 1) (/ 1 (/ (- t1) (+ t1 u))))
  (/ (sqrt 1) (/ (+ t1 u) v))
  (/ (sqrt 1) (/ 1 (/ (- t1) (+ t1 u))))
  (/ (sqrt 1) (/ (+ t1 u) v))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ (sqrt 1) (+ t1 u))
  (/ (sqrt 1) (/ 1 (* (/ (- t1) (+ t1 u)) v)))
  (/ (sqrt 1) (/ (+ t1 u) (* (- t1) v)))
  (/ (sqrt 1) (+ t1 u))
  (/ 1 (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ 1 (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (+ t1 u))))
  (/ 1 (/ (cbrt (+ t1 u)) v))
  (/ 1 (/ (sqrt (+ t1 u)) (/ (- t1) (+ t1 u))))
  (/ 1 (/ (sqrt (+ t1 u)) v))
  (/ 1 (/ 1 (/ (- t1) (+ t1 u))))
  (/ 1 (/ (+ t1 u) v))
  (/ 1 (/ 1 (/ (- t1) (+ t1 u))))
  (/ 1 (/ (+ t1 u) v))
  (/ 1 1)
  (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ 1 (+ t1 u))
  (/ 1 (/ 1 (* (/ (- t1) (+ t1 u)) v)))
  (/ 1 (/ (+ t1 u) (* (- t1) v)))
  (/ 1 (+ t1 u))
  (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)) 1)
  (/ 1 (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (+ t1 u))))
  (/ 1 (/ (sqrt (+ t1 u)) (/ (- t1) (+ t1 u))))
  (/ 1 (/ 1 (/ (- t1) (+ t1 u))))
  (/ 1 (/ 1 (/ (- t1) (+ t1 u))))
  (/ 1 1)
  (/ 1 (+ t1 u))
  (/ 1 (/ (+ t1 u) (* (- t1) v)))
  (/ (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)) (cbrt 1))
  (/ (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)) (sqrt 1))
  (/ (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)) 1)
  (/ 1 (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (+ (- (log (- t1)) (log (+ t1 u))) (log v))
  (+ (log (/ (- t1) (+ t1 u))) (log v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (exp (* (/ (- t1) (+ t1 u)) v))
  (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v))
  (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (* (* v v) v))
  (* (cbrt (* (/ (- t1) (+ t1 u)) v)) (cbrt (* (/ (- t1) (+ t1 u)) v)))
  (cbrt (* (/ (- t1) (+ t1 u)) v))
  (* (* (* (/ (- t1) (+ t1 u)) v) (* (/ (- t1) (+ t1 u)) v)) (* (/ (- t1) (+ t1 u)) v))
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ (- t1) (+ t1 u)) (sqrt v))
  (* (/ (- t1) (+ t1 u)) 1)
  (* (cbrt (/ (- t1) (+ t1 u))) v)
  (* (sqrt (/ (- t1) (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (cbrt t1) (cbrt (+ t1 u))) v)
  (* (/ (cbrt t1) (sqrt (+ t1 u))) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (cbrt (+ t1 u))) v)
  (* (/ (sqrt t1) (sqrt (+ t1 u))) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ 1 (+ t1 u)) v)
  (* (+ (* t1 t1) (- (* u u) (* t1 u))) v)
  (* (- t1 u) v)
  (* (- t1) v)
  (- (log (+ t1 u)) (+ (- (log (- t1)) (log (+ t1 u))) (log v)))
  (- (log (+ t1 u)) (+ (log (/ (- t1) (+ t1 u))) (log v)))
  (- (log (+ t1 u)) (log (* (/ (- t1) (+ t1 u)) v)))
  (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (exp (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u))) (* (* v v) v)))
  (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u))) (* (* v v) v)))
  (/ (* (* (+ t1 u) (+ t1 u)) (+ t1 u)) (* (* (* (/ (- t1) (+ t1 u)) v) (* (/ (- t1) (+ t1 u)) v)) (* (/ (- t1) (+ t1 u)) v)))
  (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (* (* (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)) (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (- (+ t1 u))
  (- (* (/ (- t1) (+ t1 u)) v))
  (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (/ (- t1) (+ t1 u)))
  (/ (cbrt (+ t1 u)) v)
  (/ (sqrt (+ t1 u)) (/ (- t1) (+ t1 u)))
  (/ (sqrt (+ t1 u)) v)
  (/ 1 (/ (- t1) (+ t1 u)))
  (/ (+ t1 u) v)
  (/ 1 (/ (- t1) (+ t1 u)))
  (/ (+ t1 u) v)
  (/ 1 (* (/ (- t1) (+ t1 u)) v))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ (+ t1 u) (/ (- t1) (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) (cbrt (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) (sqrt (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ (+ t1 u) (* (- t1) v))
  (* (* (/ (- t1) (+ t1 u)) v) (+ (* t1 t1) (- (* u u) (* t1 u))))
  (* (* (/ (- t1) (+ t1 u)) v) (- t1 u))
  (- (log (- t1)) (log (+ t1 u)))
  (log (/ (- t1) (+ t1 u)))
  (exp (/ (- t1) (+ t1 u)))
  (/ (* (* (- t1) (- t1)) (- t1)) (* (* (+ t1 u) (+ t1 u)) (+ t1 u)))
  (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u))))
  (cbrt (/ (- t1) (+ t1 u)))
  (* (* (/ (- t1) (+ t1 u)) (/ (- t1) (+ t1 u))) (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  (- (- t1))
  (- (+ t1 u))
  (/ 0 (+ t1 u))
  (/ t1 (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (- t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (sqrt (+ t1 u)))
  (/ (cbrt (- t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) 1)
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) 1)
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (- t1)) (cbrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) 1)
  (/ (sqrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) 1)
  (/ (sqrt (- t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ -1 1)
  (/ t1 (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) 1)
  (/ (cbrt t1) (+ t1 u))
  (/ (- (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (- (sqrt t1)) 1)
  (/ (sqrt t1) (+ t1 u))
  (/ (- 1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ (- 1) (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  (/ (- 1) 1)
  (/ t1 (+ t1 u))
  (/ (- 1) 1)
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (- (cbrt t1)) (sqrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) 1)
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) 1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ (sqrt t1) 1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 1)
  (/ (- t1) (+ t1 u))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (- t1))
  (/ t1 (+ t1 u))
  (/ (- t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (sqrt (+ t1 u)))
  (/ (- t1) 1)
  (/ (- t1) 1)
  (/ (+ t1 u) (cbrt (- t1)))
  (/ (+ t1 u) (sqrt (- t1)))
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (- (cbrt t1)))
  (/ (+ t1 u) (- (sqrt t1)))
  (/ (+ t1 u) (- t1))
  (/ (- t1) (+ (pow t1 3) (pow u 3)))
  (/ (- t1) (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  (- (+ (/ (pow u 2) (* t1 v)) (+ (* 2 (/ u v)) (/ t1 v))))
  0
  0
  0
  0
  0
6.570 * * [simplify]: iteration  0 :  277  enodes  (cost  3398 )
6.653 * * [simplify]: iteration  1 :  679  enodes  (cost  3138 )
6.918 * * [simplify]: iteration  2 :  2101  enodes  (cost  2767 )
7.548 * * [simplify]: iteration  done :  5001  enodes  (cost  2761 )
7.549 * [simplify]: Simplified to:
   -1
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (log (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (exp (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (* (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))) (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))))
  (cbrt (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))
  (pow (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)) 3)
  (sqrt (/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v)))
  (sqrt (/ (/ (- t1) (+ t1 u)) (/ (+ t1 u) v)))
  -1
  (- (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (/ 1 (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ 1 (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (- (/ t1 (+ t1 u)))
  (/ v (+ t1 u))
  (- (/ t1 (+ t1 u)))
  (/ v (+ t1 u))
  1
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ 1 (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ 1 (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (- (/ t1 (+ t1 u)))
  (/ v (+ t1 u))
  (- (/ t1 (+ t1 u)))
  (/ v (+ t1 u))
  1
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ 1 (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (/ 1 (+ t1 u))
  (/ 1 (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ 1 (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ v (cbrt (+ t1 u)))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (/ v (sqrt (+ t1 u)))
  (- (/ t1 (+ t1 u)))
  (/ v (+ t1 u))
  (- (/ t1 (+ t1 u)))
  (/ v (+ t1 u))
  1
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ 1 (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (/ 1 (+ t1 u))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (* (+ t1 u) (/ (+ t1 u) (* (- t1) v)))
  (/ 1 (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))))
  (/ 1 (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (/ (- t1) (+ t1 u)) (sqrt (+ t1 u)))
  (- (/ t1 (+ t1 u)))
  (- (/ t1 (+ t1 u)))
  1
  (/ 1 (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (* (+ t1 u) (/ (+ t1 u) (* (- t1) v)))
  (* (+ t1 u) (/ (+ t1 u) (* (- t1) v)))
  (* (+ t1 u) (/ (+ t1 u) (* (- t1) v)))
  (/ 1 (+ t1 u))
  (* (/ (- t1) (+ t1 u)) v)
  (log (* (/ (- t1) (+ t1 u)) v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (log (* (/ (- t1) (+ t1 u)) v))
  (exp (* (/ (- t1) (+ t1 u)) v))
  (pow (* (/ (- t1) (+ t1 u)) v) 3)
  (pow (* (/ (- t1) (+ t1 u)) v) 3)
  (* (cbrt (* (/ (- t1) (+ t1 u)) v)) (cbrt (* (/ (- t1) (+ t1 u)) v)))
  (cbrt (* (/ (- t1) (+ t1 u)) v))
  (pow (* (/ (- t1) (+ t1 u)) v) 3)
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (sqrt (* (/ (- t1) (+ t1 u)) v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (sqrt (/ (- t1) (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) (sqrt v))
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) (* (cbrt v) (cbrt v)))
  (* (/ (- t1) (+ t1 u)) (sqrt v))
  (- (/ t1 (+ t1 u)))
  (* (cbrt (/ (- t1) (+ t1 u))) v)
  (* (sqrt (/ (- t1) (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (cbrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (cbrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (sqrt (+ t1 u))) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (sqrt (- t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (cbrt t1) (cbrt (+ t1 u))) v)
  (* (/ (cbrt t1) (sqrt (+ t1 u))) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (cbrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (cbrt (+ t1 u))) v)
  (* (/ (sqrt t1) (sqrt (+ t1 u))) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ (sqrt t1) (+ t1 u)) v)
  (* (/ t1 (cbrt (+ t1 u))) v)
  (* (/ t1 (sqrt (+ t1 u))) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ t1 (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (cbrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (cbrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (sqrt (+ t1 u))) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- (sqrt t1)) (+ t1 u)) v)
  (* (/ (- t1) (cbrt (+ t1 u))) v)
  (* (/ (- t1) (sqrt (+ t1 u))) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (* (/ (- t1) (+ t1 u)) v)
  (/ v (+ t1 u))
  (* v (+ (* t1 t1) (* u (- u t1))))
  (* (- t1 u) v)
  (* (- t1) v)
  (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (log (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (exp (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (pow (/ (+ t1 u) (* v (- (/ t1 (+ t1 u))))) 3)
  (pow (/ (+ t1 u) (* v (- (/ t1 (+ t1 u))))) 3)
  (pow (/ (+ t1 u) (* v (- (/ t1 (+ t1 u))))) 3)
  (* (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))) (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))
  (cbrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (pow (/ (+ t1 u) (* v (- (/ t1 (+ t1 u))))) 3)
  (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (sqrt (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v)))
  (- (+ t1 u))
  (* (/ t1 (+ t1 u)) v)
  (* (/ (* (cbrt (+ t1 u)) (cbrt (+ t1 u))) (- t1)) (+ t1 u))
  (/ (cbrt (+ t1 u)) v)
  (* (/ (sqrt (+ t1 u)) (- t1)) (+ t1 u))
  (/ (sqrt (+ t1 u)) v)
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) v)
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) v)
  (/ (+ t1 u) (* (- t1) v))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ (+ t1 u) (/ (- t1) (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) (cbrt (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) (sqrt (+ t1 u)))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
  (/ (+ t1 u) (* (- t1) v))
  (* (/ (- t1) (+ t1 u)) (* v (+ (* t1 t1) (* u (- u t1)))))
  (* (* (/ (- t1) (+ t1 u)) v) (- t1 u))
  (log (/ (- t1) (+ t1 u)))
  (log (/ (- t1) (+ t1 u)))
  (exp (/ (- t1) (+ t1 u)))
  (pow (/ (- t1) (+ t1 u)) 3)
  (* (cbrt (/ (- t1) (+ t1 u))) (cbrt (/ (- t1) (+ t1 u))))
  (cbrt (/ (- t1) (+ t1 u)))
  (pow (/ (- t1) (+ t1 u)) 3)
  (sqrt (/ (- t1) (+ t1 u)))
  (sqrt (/ (- t1) (+ t1 u)))
  t1
  (- (+ t1 u))
  0
  (/ t1 (+ t1 u))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt (- t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt (- t1)) (cbrt (- t1))) (sqrt (+ t1 u)))
  (/ (cbrt (- t1)) (sqrt (+ t1 u)))
  (* (cbrt (- t1)) (cbrt (- t1)))
  (/ (cbrt (- t1)) (+ t1 u))
  (* (cbrt (- t1)) (cbrt (- t1)))
  (/ (cbrt (- t1)) (+ t1 u))
  (/ (sqrt (- t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt (- t1)) (cbrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (/ (sqrt (- t1)) (sqrt (+ t1 u)))
  (sqrt (- t1))
  (/ (sqrt (- t1)) (+ t1 u))
  (sqrt (- t1))
  (/ (sqrt (- t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  1
  (- (/ t1 (+ t1 u)))
  1
  (- (/ t1 (+ t1 u)))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (- (* (cbrt t1) (cbrt t1))) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (cbrt t1) (cbrt (+ t1 u)))
  (/ (- (* (cbrt t1) (cbrt t1))) (sqrt (+ t1 u)))
  (/ (cbrt t1) (sqrt (+ t1 u)))
  (- (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (- (* (cbrt t1) (cbrt t1)))
  (/ (cbrt t1) (+ t1 u))
  (/ (- (sqrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (sqrt t1) (cbrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (- (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (- (sqrt t1))
  (/ (sqrt t1) (+ t1 u))
  (/ -1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ t1 (cbrt (+ t1 u)))
  (/ -1 (sqrt (+ t1 u)))
  (/ t1 (sqrt (+ t1 u)))
  -1
  (/ t1 (+ t1 u))
  -1
  (/ t1 (+ t1 u))
  (/ (* (cbrt t1) (cbrt t1)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (cbrt t1)) (cbrt (+ t1 u)))
  (/ (* (cbrt t1) (cbrt t1)) (sqrt (+ t1 u)))
  (/ (- (cbrt t1)) (sqrt (+ t1 u)))
  (* (cbrt t1) (cbrt t1))
  (/ (- (cbrt t1)) (+ t1 u))
  (* (cbrt t1) (cbrt t1))
  (/ (- (cbrt t1)) (+ t1 u))
  (/ (sqrt t1) (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- (sqrt t1)) (cbrt (+ t1 u)))
  (/ (sqrt t1) (sqrt (+ t1 u)))
  (/ (- (sqrt t1)) (sqrt (+ t1 u)))
  (sqrt t1)
  (/ (- (sqrt t1)) (+ t1 u))
  (sqrt t1)
  (/ (- (sqrt t1)) (+ t1 u))
  (/ 1 (* (cbrt (+ t1 u)) (cbrt (+ t1 u))))
  (/ (- t1) (cbrt (+ t1 u)))
  (/ 1 (sqrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  1
  (- (/ t1 (+ t1 u)))
  1
  (- (/ t1 (+ t1 u)))
  (/ 1 (+ t1 u))
  (/ (+ t1 u) (- t1))
  (/ t1 (+ t1 u))
  (/ (/ (- t1) (cbrt (+ t1 u))) (cbrt (+ t1 u)))
  (/ (- t1) (sqrt (+ t1 u)))
  (- t1)
  (- t1)
  (/ (+ t1 u) (cbrt (- t1)))
  (/ (+ t1 u) (sqrt (- t1)))
  (/ (+ t1 u) (- t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (cbrt t1))
  (/ (+ t1 u) (sqrt t1))
  (/ (+ t1 u) t1)
  (/ (+ t1 u) (- (cbrt t1)))
  (/ (+ t1 u) (- (sqrt t1)))
  (/ (+ t1 u) (- t1))
  (/ (- t1) (+ (pow t1 3) (pow u 3)))
  (/ (- t1) (- (* t1 t1) (* u u)))
  0
  0
  0
  0
  0
  0
  (- (+ (/ (pow u 2) (* t1 v)) (+ (* 2 (/ u v)) (/ t1 v))))
  0
  0
  0
  0
  0
7.551 * * * [progress]: adding candidates to table
7.945 * [progress]: [Phase 3 of 3] Extracting.
7.945 * * [regime]: Finding splitpoints for: (#<alt (λ (u v t1) (* (* (* (cbrt v) (cbrt v)) (/ (- t1) (+ t1 u))) (/ (cbrt v) (+ t1 u))))> #<alt (λ (u v t1) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))> #<alt (λ (u v t1) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))> #<alt (λ (u v t1) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))> #<alt (λ (u v t1) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (- t1) (* (+ t1 u) (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (/ (* (/ (- t1) (+ t1 u)) v) (- (* t1 t1) (* u u))) (- t1 u)))>)
7.947 * * * [regime-changes]: Trying 3 branch expressions: (t1 v u)
7.947 * * * * [regimes]: Trying to branch on t1 from (#<alt (λ (u v t1) (* (* (* (cbrt v) (cbrt v)) (/ (- t1) (+ t1 u))) (/ (cbrt v) (+ t1 u))))> #<alt (λ (u v t1) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))> #<alt (λ (u v t1) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))> #<alt (λ (u v t1) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))> #<alt (λ (u v t1) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (- t1) (* (+ t1 u) (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (/ (* (/ (- t1) (+ t1 u)) v) (- (* t1 t1) (* u u))) (- t1 u)))>)
7.973 * * * * [regimes]: Trying to branch on v from (#<alt (λ (u v t1) (* (* (* (cbrt v) (cbrt v)) (/ (- t1) (+ t1 u))) (/ (cbrt v) (+ t1 u))))> #<alt (λ (u v t1) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))> #<alt (λ (u v t1) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))> #<alt (λ (u v t1) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))> #<alt (λ (u v t1) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (- t1) (* (+ t1 u) (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (/ (* (/ (- t1) (+ t1 u)) v) (- (* t1 t1) (* u u))) (- t1 u)))>)
7.994 * * * * [regimes]: Trying to branch on u from (#<alt (λ (u v t1) (* (* (* (cbrt v) (cbrt v)) (/ (- t1) (+ t1 u))) (/ (cbrt v) (+ t1 u))))> #<alt (λ (u v t1) (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u)))> #<alt (λ (u v t1) (/ 1 (/ (+ t1 u) (* (/ (- t1) (+ t1 u)) v))))> #<alt (λ (u v t1) (/ (* (- t1) (/ v (+ t1 u))) (+ t1 u)))> #<alt (λ (u v t1) (* (/ (- t1) (+ t1 u)) (/ v (+ t1 u))))> #<alt (λ (u v t1) (/ (- t1) (* (+ t1 u) (/ (+ t1 u) v))))> #<alt (λ (u v t1) (* (/ (* (/ (- t1) (+ t1 u)) v) (- (* t1 t1) (* u u))) (- t1 u)))>)
8.018 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
8.019 * * [simplify]: iteration  0 :  8  enodes  (cost  12 )
8.019 * * [simplify]: iteration  1 :  12  enodes  (cost  12 )
8.020 * * [simplify]: iteration  2 :  16  enodes  (cost  12 )
8.020 * * [simplify]: iteration  3 :  21  enodes  (cost  12 )
8.021 * * [simplify]: iteration  done :  21  enodes  (cost  12 )
8.021 * [simplify]: Simplified to:
   (/ (* (/ (- t1) (+ t1 u)) v) (+ t1 u))
8.553 * [regime-testing]: Baseline error score: 1.2689571384784986
8.553 * [regime-testing]: Oracle error score: 0.019794955619813058
8.555 * [regime-testing]: End program error score: 1.2689571384784986