13.104 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying using # : (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.049 * * [simplify]: iteration 0 : 38 enodes (cost 10 ) 0.050 * * [simplify]: iteration 1 : 118 enodes (cost 9 ) 0.053 * * [simplify]: iteration 2 : 428 enodes (cost 9 ) 0.060 * * [simplify]: iteration 3 : 1763 enodes (cost 9 ) 0.088 * * [simplify]: iteration 4 : 5002 enodes (cost 8 ) 0.088 * [simplify]: Simplified to: (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) 0.093 * * [progress]: iteration 1 / 4 0.093 * * * [progress]: picking best candidate 0.096 * * * * [pick]: Picked # 0.096 * * * [progress]: localizing error 0.109 * * * [progress]: generating rewritten candidates 0.109 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 1) 0.110 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3) 0.114 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 2) 0.121 * * * [progress]: generating series expansions 0.121 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 1) 0.121 * [approximate]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in (b y t x) around 0 0.121 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in x 0.121 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.121 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in x 0.121 * [taylor]: Taking taylor expansion of b in x 0.121 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in x 0.121 * [taylor]: Taking taylor expansion of (+ t y) in x 0.121 * [taylor]: Taking taylor expansion of t in x 0.121 * [taylor]: Taking taylor expansion of y in x 0.121 * [taylor]: Taking taylor expansion of 2.0 in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in t 0.121 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.121 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in t 0.121 * [taylor]: Taking taylor expansion of b in t 0.122 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.122 * [taylor]: Taking taylor expansion of (+ t y) in t 0.122 * [taylor]: Taking taylor expansion of t in t 0.122 * [taylor]: Taking taylor expansion of y in t 0.122 * [taylor]: Taking taylor expansion of 2.0 in t 0.122 * [taylor]: Taking taylor expansion of x in t 0.122 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in y 0.122 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.122 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in y 0.122 * [taylor]: Taking taylor expansion of b in y 0.122 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.122 * [taylor]: Taking taylor expansion of (+ t y) in y 0.122 * [taylor]: Taking taylor expansion of t in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of 2.0 in y 0.122 * [taylor]: Taking taylor expansion of x in y 0.122 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b 0.122 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.122 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 0.122 * [taylor]: Taking taylor expansion of b in b 0.122 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.122 * [taylor]: Taking taylor expansion of (+ t y) in b 0.122 * [taylor]: Taking taylor expansion of t in b 0.122 * [taylor]: Taking taylor expansion of y in b 0.122 * [taylor]: Taking taylor expansion of 2.0 in b 0.122 * [taylor]: Taking taylor expansion of x in b 0.122 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b 0.122 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.122 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 0.122 * [taylor]: Taking taylor expansion of b in b 0.122 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.122 * [taylor]: Taking taylor expansion of (+ t y) in b 0.122 * [taylor]: Taking taylor expansion of t in b 0.122 * [taylor]: Taking taylor expansion of y in b 0.122 * [taylor]: Taking taylor expansion of 2.0 in b 0.122 * [taylor]: Taking taylor expansion of x in b 0.123 * [taylor]: Taking taylor expansion of x in y 0.123 * [taylor]: Taking taylor expansion of x in t 0.123 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.124 * [taylor]: Taking taylor expansion of (+ t y) in y 0.124 * [taylor]: Taking taylor expansion of t in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of 2.0 in y 0.125 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.125 * [taylor]: Taking taylor expansion of t in t 0.125 * [taylor]: Taking taylor expansion of 2.0 in t 0.126 * [taylor]: Taking taylor expansion of (- 2.0) in x 0.126 * [taylor]: Taking taylor expansion of 2.0 in x 0.126 * [taylor]: Taking taylor expansion of 0 in t 0.126 * [taylor]: Taking taylor expansion of 0 in x 0.126 * [taylor]: Taking taylor expansion of 0 in x 0.128 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [taylor]: Taking taylor expansion of 0 in t 0.128 * [taylor]: Taking taylor expansion of 0 in x 0.129 * [taylor]: Taking taylor expansion of 1 in t 0.129 * [taylor]: Taking taylor expansion of 1 in x 0.130 * [approximate]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in (b y t x) around 0 0.130 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in x 0.130 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.130 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in x 0.130 * [taylor]: Taking taylor expansion of b in x 0.130 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in x 0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.130 * [taylor]: Taking taylor expansion of y in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.130 * [taylor]: Taking taylor expansion of t in x 0.130 * [taylor]: Taking taylor expansion of 2.0 in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in t 0.130 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.130 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in t 0.130 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.130 * [taylor]: Taking taylor expansion of b in t 0.130 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.130 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.131 * [taylor]: Taking taylor expansion of y in t 0.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.131 * [taylor]: Taking taylor expansion of t in t 0.131 * [taylor]: Taking taylor expansion of 2.0 in t 0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.131 * [taylor]: Taking taylor expansion of x in t 0.131 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in y 0.131 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.131 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in y 0.131 * [taylor]: Taking taylor expansion of (/ 1 b) in y 0.131 * [taylor]: Taking taylor expansion of b in y 0.131 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.131 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.131 * [taylor]: Taking taylor expansion of t in y 0.131 * [taylor]: Taking taylor expansion of 2.0 in y 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.132 * [taylor]: Taking taylor expansion of x in y 0.132 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b 0.132 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.132 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 0.132 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.132 * [taylor]: Taking taylor expansion of b in b 0.132 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.132 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.132 * [taylor]: Taking taylor expansion of y in b 0.132 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.132 * [taylor]: Taking taylor expansion of t in b 0.132 * [taylor]: Taking taylor expansion of 2.0 in b 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in b 0.132 * [taylor]: Taking taylor expansion of x in b 0.132 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b 0.132 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.132 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 0.132 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.132 * [taylor]: Taking taylor expansion of b in b 0.133 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.133 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.133 * [taylor]: Taking taylor expansion of y in b 0.133 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.133 * [taylor]: Taking taylor expansion of t in b 0.133 * [taylor]: Taking taylor expansion of 2.0 in b 0.133 * [taylor]: Taking taylor expansion of (/ 1 x) in b 0.133 * [taylor]: Taking taylor expansion of x in b 0.134 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.134 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.134 * [taylor]: Taking taylor expansion of t in y 0.134 * [taylor]: Taking taylor expansion of 2.0 in y 0.135 * [taylor]: Taking taylor expansion of 1 in t 0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.136 * [taylor]: Taking taylor expansion of x in y 0.137 * [taylor]: Taking taylor expansion of (- (/ 1 t) 2.0) in t 0.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.137 * [taylor]: Taking taylor expansion of t in t 0.137 * [taylor]: Taking taylor expansion of 2.0 in t 0.138 * [taylor]: Taking taylor expansion of 1 in x 0.138 * [taylor]: Taking taylor expansion of 1 in x 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.140 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.140 * [taylor]: Taking taylor expansion of x in t 0.141 * [taylor]: Taking taylor expansion of 0 in t 0.143 * [taylor]: Taking taylor expansion of (- 2.0) in x 0.143 * [taylor]: Taking taylor expansion of 2.0 in x 0.143 * [taylor]: Taking taylor expansion of 0 in x 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [taylor]: Taking taylor expansion of 0 in t 0.145 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of 0 in t 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [approximate]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in (b y t x) around 0 0.148 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in x 0.148 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.148 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in x 0.148 * [taylor]: Taking taylor expansion of (/ -1 b) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of b in x 0.148 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in x 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.148 * [taylor]: Taking taylor expansion of t in x 0.148 * [taylor]: Taking taylor expansion of 2.0 in x 0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in t 0.148 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.148 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 0.148 * [taylor]: Taking taylor expansion of (/ -1 b) in t 0.148 * [taylor]: Taking taylor expansion of -1 in t 0.148 * [taylor]: Taking taylor expansion of b in t 0.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.149 * [taylor]: Taking taylor expansion of y in t 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.149 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.149 * [taylor]: Taking taylor expansion of t in t 0.149 * [taylor]: Taking taylor expansion of 2.0 in t 0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in t 0.149 * [taylor]: Taking taylor expansion of -1 in t 0.149 * [taylor]: Taking taylor expansion of x in t 0.149 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in y 0.149 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.149 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 0.149 * [taylor]: Taking taylor expansion of (/ -1 b) in y 0.149 * [taylor]: Taking taylor expansion of -1 in y 0.149 * [taylor]: Taking taylor expansion of b in y 0.149 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.153 * [taylor]: Taking taylor expansion of t in y 0.153 * [taylor]: Taking taylor expansion of 2.0 in y 0.153 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.153 * [taylor]: Taking taylor expansion of -1 in y 0.153 * [taylor]: Taking taylor expansion of x in y 0.153 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b 0.153 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.153 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 0.153 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.153 * [taylor]: Taking taylor expansion of -1 in b 0.153 * [taylor]: Taking taylor expansion of b in b 0.153 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.153 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.153 * [taylor]: Taking taylor expansion of y in b 0.153 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.154 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.154 * [taylor]: Taking taylor expansion of t in b 0.154 * [taylor]: Taking taylor expansion of 2.0 in b 0.154 * [taylor]: Taking taylor expansion of (/ -1 x) in b 0.154 * [taylor]: Taking taylor expansion of -1 in b 0.154 * [taylor]: Taking taylor expansion of x in b 0.154 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b 0.154 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.154 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 0.154 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.154 * [taylor]: Taking taylor expansion of -1 in b 0.154 * [taylor]: Taking taylor expansion of b in b 0.154 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.154 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.154 * [taylor]: Taking taylor expansion of y in b 0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.154 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.154 * [taylor]: Taking taylor expansion of t in b 0.154 * [taylor]: Taking taylor expansion of 2.0 in b 0.154 * [taylor]: Taking taylor expansion of (/ -1 x) in b 0.154 * [taylor]: Taking taylor expansion of -1 in b 0.154 * [taylor]: Taking taylor expansion of x in b 0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.155 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.155 * [taylor]: Taking taylor expansion of t in y 0.155 * [taylor]: Taking taylor expansion of 2.0 in y 0.155 * [taylor]: Taking taylor expansion of 1 in t 0.157 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.157 * [taylor]: Taking taylor expansion of x in y 0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.158 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.158 * [taylor]: Taking taylor expansion of t in t 0.158 * [taylor]: Taking taylor expansion of 2.0 in t 0.158 * [taylor]: Taking taylor expansion of 1 in x 0.158 * [taylor]: Taking taylor expansion of 1 in x 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.161 * [taylor]: Taking taylor expansion of x in t 0.162 * [taylor]: Taking taylor expansion of 0 in t 0.163 * [taylor]: Taking taylor expansion of 2.0 in x 0.163 * [taylor]: Taking taylor expansion of 0 in x 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.166 * [taylor]: Taking taylor expansion of 0 in t 0.166 * [taylor]: Taking taylor expansion of 0 in t 0.167 * [taylor]: Taking taylor expansion of 0 in t 0.167 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.167 * [taylor]: Taking taylor expansion of x in x 0.168 * * * * [progress]: [ 2 / 3 ] generating series at (2 3) 0.169 * [approximate]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in (b y t x a) around 0 0.169 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in a 0.169 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in a 0.169 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in a 0.169 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.169 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in a 0.169 * [taylor]: Taking taylor expansion of b in a 0.169 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in a 0.169 * [taylor]: Taking taylor expansion of (+ t y) in a 0.169 * [taylor]: Taking taylor expansion of t in a 0.169 * [taylor]: Taking taylor expansion of y in a 0.169 * [taylor]: Taking taylor expansion of 2.0 in a 0.169 * [taylor]: Taking taylor expansion of x in a 0.169 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 0.169 * [taylor]: Taking taylor expansion of 1.0 in a 0.169 * [taylor]: Taking taylor expansion of a in a 0.169 * [taylor]: Taking taylor expansion of (* t a) in a 0.169 * [taylor]: Taking taylor expansion of t in a 0.169 * [taylor]: Taking taylor expansion of a in a 0.169 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in x 0.169 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in x 0.169 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in x 0.169 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.169 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in x 0.169 * [taylor]: Taking taylor expansion of b in x 0.169 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in x 0.169 * [taylor]: Taking taylor expansion of (+ t y) in x 0.169 * [taylor]: Taking taylor expansion of t in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.169 * [taylor]: Taking taylor expansion of 2.0 in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of (* 1.0 a) in x 0.169 * [taylor]: Taking taylor expansion of 1.0 in x 0.169 * [taylor]: Taking taylor expansion of a in x 0.169 * [taylor]: Taking taylor expansion of (* t a) in x 0.169 * [taylor]: Taking taylor expansion of t in x 0.169 * [taylor]: Taking taylor expansion of a in x 0.169 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in t 0.169 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in t 0.169 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in t 0.170 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.170 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in t 0.170 * [taylor]: Taking taylor expansion of b in t 0.170 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.170 * [taylor]: Taking taylor expansion of (+ t y) in t 0.170 * [taylor]: Taking taylor expansion of t in t 0.170 * [taylor]: Taking taylor expansion of y in t 0.170 * [taylor]: Taking taylor expansion of 2.0 in t 0.170 * [taylor]: Taking taylor expansion of x in t 0.170 * [taylor]: Taking taylor expansion of (* 1.0 a) in t 0.170 * [taylor]: Taking taylor expansion of 1.0 in t 0.170 * [taylor]: Taking taylor expansion of a in t 0.170 * [taylor]: Taking taylor expansion of (* t a) in t 0.170 * [taylor]: Taking taylor expansion of t in t 0.170 * [taylor]: Taking taylor expansion of a in t 0.170 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in y 0.170 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in y 0.170 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in y 0.170 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.170 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in y 0.170 * [taylor]: Taking taylor expansion of b in y 0.170 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.170 * [taylor]: Taking taylor expansion of (+ t y) in y 0.170 * [taylor]: Taking taylor expansion of t in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of 2.0 in y 0.170 * [taylor]: Taking taylor expansion of x in y 0.170 * [taylor]: Taking taylor expansion of (* 1.0 a) in y 0.170 * [taylor]: Taking taylor expansion of 1.0 in y 0.170 * [taylor]: Taking taylor expansion of a in y 0.170 * [taylor]: Taking taylor expansion of (* t a) in y 0.170 * [taylor]: Taking taylor expansion of t in y 0.170 * [taylor]: Taking taylor expansion of a in y 0.170 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in b 0.170 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in b 0.170 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b 0.170 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.170 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 0.170 * [taylor]: Taking taylor expansion of b in b 0.170 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.170 * [taylor]: Taking taylor expansion of (+ t y) in b 0.170 * [taylor]: Taking taylor expansion of t in b 0.170 * [taylor]: Taking taylor expansion of y in b 0.170 * [taylor]: Taking taylor expansion of 2.0 in b 0.170 * [taylor]: Taking taylor expansion of x in b 0.170 * [taylor]: Taking taylor expansion of (* 1.0 a) in b 0.170 * [taylor]: Taking taylor expansion of 1.0 in b 0.170 * [taylor]: Taking taylor expansion of a in b 0.170 * [taylor]: Taking taylor expansion of (* t a) in b 0.170 * [taylor]: Taking taylor expansion of t in b 0.170 * [taylor]: Taking taylor expansion of a in b 0.171 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in b 0.171 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in b 0.171 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b 0.171 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.171 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 0.171 * [taylor]: Taking taylor expansion of b in b 0.171 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.171 * [taylor]: Taking taylor expansion of (+ t y) in b 0.171 * [taylor]: Taking taylor expansion of t in b 0.171 * [taylor]: Taking taylor expansion of y in b 0.171 * [taylor]: Taking taylor expansion of 2.0 in b 0.171 * [taylor]: Taking taylor expansion of x in b 0.171 * [taylor]: Taking taylor expansion of (* 1.0 a) in b 0.171 * [taylor]: Taking taylor expansion of 1.0 in b 0.171 * [taylor]: Taking taylor expansion of a in b 0.171 * [taylor]: Taking taylor expansion of (* t a) in b 0.171 * [taylor]: Taking taylor expansion of t in b 0.171 * [taylor]: Taking taylor expansion of a in b 0.172 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* t a)) in y 0.172 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in y 0.172 * [taylor]: Taking taylor expansion of (* 1.0 a) in y 0.172 * [taylor]: Taking taylor expansion of 1.0 in y 0.172 * [taylor]: Taking taylor expansion of a in y 0.172 * [taylor]: Taking taylor expansion of x in y 0.172 * [taylor]: Taking taylor expansion of (* t a) in y 0.172 * [taylor]: Taking taylor expansion of t in y 0.172 * [taylor]: Taking taylor expansion of a in y 0.172 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* t a)) in t 0.172 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in t 0.172 * [taylor]: Taking taylor expansion of (* 1.0 a) in t 0.172 * [taylor]: Taking taylor expansion of 1.0 in t 0.172 * [taylor]: Taking taylor expansion of a in t 0.172 * [taylor]: Taking taylor expansion of x in t 0.172 * [taylor]: Taking taylor expansion of (* t a) in t 0.172 * [taylor]: Taking taylor expansion of t in t 0.172 * [taylor]: Taking taylor expansion of a in t 0.172 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in x 0.172 * [taylor]: Taking taylor expansion of (* 1.0 a) in x 0.172 * [taylor]: Taking taylor expansion of 1.0 in x 0.172 * [taylor]: Taking taylor expansion of a in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.173 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 0.173 * [taylor]: Taking taylor expansion of 1.0 in a 0.173 * [taylor]: Taking taylor expansion of a in a 0.174 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.174 * [taylor]: Taking taylor expansion of (+ t y) in y 0.174 * [taylor]: Taking taylor expansion of t in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of 2.0 in y 0.175 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.175 * [taylor]: Taking taylor expansion of t in t 0.175 * [taylor]: Taking taylor expansion of 2.0 in t 0.176 * [taylor]: Taking taylor expansion of (- 2.0) in x 0.176 * [taylor]: Taking taylor expansion of 2.0 in x 0.176 * [taylor]: Taking taylor expansion of (- 2.0) in a 0.176 * [taylor]: Taking taylor expansion of 2.0 in a 0.178 * [taylor]: Taking taylor expansion of 0 in t 0.178 * [taylor]: Taking taylor expansion of 0 in x 0.178 * [taylor]: Taking taylor expansion of 0 in a 0.178 * [taylor]: Taking taylor expansion of (- a) in x 0.178 * [taylor]: Taking taylor expansion of a in x 0.178 * [taylor]: Taking taylor expansion of (- a) in a 0.179 * [taylor]: Taking taylor expansion of a in a 0.179 * [taylor]: Taking taylor expansion of 1 in a 0.181 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in (b y t x a) around 0 0.181 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in a 0.181 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in a 0.181 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.181 * [taylor]: Taking taylor expansion of 1.0 in a 0.181 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.182 * [taylor]: Taking taylor expansion of a in a 0.182 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in a 0.182 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.182 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in a 0.182 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.182 * [taylor]: Taking taylor expansion of b in a 0.182 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in a 0.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in a 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in a 0.182 * [taylor]: Taking taylor expansion of y in a 0.182 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.182 * [taylor]: Taking taylor expansion of t in a 0.182 * [taylor]: Taking taylor expansion of 2.0 in a 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.182 * [taylor]: Taking taylor expansion of x in a 0.182 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 0.182 * [taylor]: Taking taylor expansion of (* t a) in a 0.182 * [taylor]: Taking taylor expansion of t in a 0.182 * [taylor]: Taking taylor expansion of a in a 0.183 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in x 0.183 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in x 0.183 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.183 * [taylor]: Taking taylor expansion of 1.0 in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.183 * [taylor]: Taking taylor expansion of a in x 0.183 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in x 0.183 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.183 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 b) in x 0.183 * [taylor]: Taking taylor expansion of b in x 0.183 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in x 0.183 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.183 * [taylor]: Taking taylor expansion of t in x 0.183 * [taylor]: Taking taylor expansion of 2.0 in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 0.183 * [taylor]: Taking taylor expansion of (* t a) in x 0.183 * [taylor]: Taking taylor expansion of t in x 0.183 * [taylor]: Taking taylor expansion of a in x 0.183 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in t 0.183 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in t 0.183 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.184 * [taylor]: Taking taylor expansion of 1.0 in t 0.184 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.184 * [taylor]: Taking taylor expansion of a in t 0.184 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in t 0.184 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.184 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in t 0.184 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.184 * [taylor]: Taking taylor expansion of b in t 0.184 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.184 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.184 * [taylor]: Taking taylor expansion of y in t 0.184 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.184 * [taylor]: Taking taylor expansion of t in t 0.184 * [taylor]: Taking taylor expansion of 2.0 in t 0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.184 * [taylor]: Taking taylor expansion of x in t 0.184 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.184 * [taylor]: Taking taylor expansion of (* t a) in t 0.184 * [taylor]: Taking taylor expansion of t in t 0.184 * [taylor]: Taking taylor expansion of a in t 0.185 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in y 0.185 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in y 0.185 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.185 * [taylor]: Taking taylor expansion of 1.0 in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.185 * [taylor]: Taking taylor expansion of a in y 0.185 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in y 0.185 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.185 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 b) in y 0.185 * [taylor]: Taking taylor expansion of b in y 0.185 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.185 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.185 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.185 * [taylor]: Taking taylor expansion of t in y 0.185 * [taylor]: Taking taylor expansion of 2.0 in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.185 * [taylor]: Taking taylor expansion of x in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.185 * [taylor]: Taking taylor expansion of (* t a) in y 0.185 * [taylor]: Taking taylor expansion of t in y 0.185 * [taylor]: Taking taylor expansion of a in y 0.185 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in b 0.185 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in b 0.186 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 0.186 * [taylor]: Taking taylor expansion of 1.0 in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.186 * [taylor]: Taking taylor expansion of a in b 0.186 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b 0.186 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.186 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.186 * [taylor]: Taking taylor expansion of b in b 0.186 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.186 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.186 * [taylor]: Taking taylor expansion of y in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.186 * [taylor]: Taking taylor expansion of t in b 0.186 * [taylor]: Taking taylor expansion of 2.0 in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 x) in b 0.186 * [taylor]: Taking taylor expansion of x in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b 0.186 * [taylor]: Taking taylor expansion of (* t a) in b 0.186 * [taylor]: Taking taylor expansion of t in b 0.186 * [taylor]: Taking taylor expansion of a in b 0.186 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) (/ 1 (* t a))) in b 0.186 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in b 0.186 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 0.186 * [taylor]: Taking taylor expansion of 1.0 in b 0.186 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.186 * [taylor]: Taking taylor expansion of a in b 0.186 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b 0.187 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.187 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 0.187 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.187 * [taylor]: Taking taylor expansion of b in b 0.187 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.187 * [taylor]: Taking taylor expansion of y in b 0.187 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.187 * [taylor]: Taking taylor expansion of t in b 0.187 * [taylor]: Taking taylor expansion of 2.0 in b 0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in b 0.187 * [taylor]: Taking taylor expansion of x in b 0.187 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b 0.187 * [taylor]: Taking taylor expansion of (* t a) in b 0.187 * [taylor]: Taking taylor expansion of t in b 0.187 * [taylor]: Taking taylor expansion of a in b 0.188 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.189 * [taylor]: Taking taylor expansion of t in y 0.189 * [taylor]: Taking taylor expansion of 2.0 in y 0.189 * [taylor]: Taking taylor expansion of 1 in t 0.191 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in y 0.191 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y 0.191 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.191 * [taylor]: Taking taylor expansion of 1.0 in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.191 * [taylor]: Taking taylor expansion of a in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.191 * [taylor]: Taking taylor expansion of x in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.191 * [taylor]: Taking taylor expansion of (* t a) in y 0.191 * [taylor]: Taking taylor expansion of t in y 0.191 * [taylor]: Taking taylor expansion of a in y 0.192 * [taylor]: Taking taylor expansion of (- (/ 1 t) 2.0) in t 0.193 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.193 * [taylor]: Taking taylor expansion of t in t 0.193 * [taylor]: Taking taylor expansion of 2.0 in t 0.193 * [taylor]: Taking taylor expansion of 1 in x 0.193 * [taylor]: Taking taylor expansion of 1 in x 0.196 * [taylor]: Taking taylor expansion of 0 in y 0.197 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in t 0.197 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t 0.197 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.197 * [taylor]: Taking taylor expansion of 1.0 in t 0.197 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.197 * [taylor]: Taking taylor expansion of a in t 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.197 * [taylor]: Taking taylor expansion of x in t 0.197 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.197 * [taylor]: Taking taylor expansion of (* t a) in t 0.197 * [taylor]: Taking taylor expansion of t in t 0.197 * [taylor]: Taking taylor expansion of a in t 0.197 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.197 * [taylor]: Taking taylor expansion of a in x 0.199 * [taylor]: Taking taylor expansion of 0 in t 0.200 * [taylor]: Taking taylor expansion of (- 2.0) in x 0.200 * [taylor]: Taking taylor expansion of 2.0 in x 0.200 * [taylor]: Taking taylor expansion of 0 in x 0.200 * [taylor]: Taking taylor expansion of 1 in a 0.200 * [taylor]: Taking taylor expansion of 1 in a 0.204 * [taylor]: Taking taylor expansion of 0 in y 0.204 * [taylor]: Taking taylor expansion of 0 in t 0.205 * [taylor]: Taking taylor expansion of 0 in t 0.206 * [taylor]: Taking taylor expansion of 0 in t 0.207 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.208 * [taylor]: Taking taylor expansion of a in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of 1 in a 0.208 * [taylor]: Taking taylor expansion of 0 in x 0.209 * [taylor]: Taking taylor expansion of 0 in x 0.209 * [taylor]: Taking taylor expansion of 0 in x 0.209 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.209 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.209 * [taylor]: Taking taylor expansion of a in a 0.210 * [taylor]: Taking taylor expansion of (- 2.0) in a 0.210 * [taylor]: Taking taylor expansion of 2.0 in a 0.210 * [taylor]: Taking taylor expansion of 0 in a 0.210 * [taylor]: Taking taylor expansion of 0 in a 0.210 * [taylor]: Taking taylor expansion of 0 in a 0.211 * [approximate]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in (b y t x a) around 0 0.211 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in a 0.211 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in a 0.211 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.211 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in a 0.211 * [taylor]: Taking taylor expansion of (/ -1 b) in a 0.211 * [taylor]: Taking taylor expansion of -1 in a 0.211 * [taylor]: Taking taylor expansion of b in a 0.211 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in a 0.211 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in a 0.211 * [taylor]: Taking taylor expansion of (/ 1 y) in a 0.211 * [taylor]: Taking taylor expansion of y in a 0.212 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.212 * [taylor]: Taking taylor expansion of t in a 0.212 * [taylor]: Taking taylor expansion of 2.0 in a 0.212 * [taylor]: Taking taylor expansion of (/ -1 x) in a 0.212 * [taylor]: Taking taylor expansion of -1 in a 0.212 * [taylor]: Taking taylor expansion of x in a 0.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 0.212 * [taylor]: Taking taylor expansion of (* t a) in a 0.212 * [taylor]: Taking taylor expansion of t in a 0.212 * [taylor]: Taking taylor expansion of a in a 0.212 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.212 * [taylor]: Taking taylor expansion of 1.0 in a 0.212 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.212 * [taylor]: Taking taylor expansion of a in a 0.212 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in x 0.212 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in x 0.213 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.213 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in x 0.213 * [taylor]: Taking taylor expansion of (/ -1 b) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of b in x 0.213 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in x 0.213 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.213 * [taylor]: Taking taylor expansion of t in x 0.213 * [taylor]: Taking taylor expansion of 2.0 in x 0.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 0.213 * [taylor]: Taking taylor expansion of (* t a) in x 0.213 * [taylor]: Taking taylor expansion of t in x 0.213 * [taylor]: Taking taylor expansion of a in x 0.213 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.213 * [taylor]: Taking taylor expansion of 1.0 in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.213 * [taylor]: Taking taylor expansion of a in x 0.213 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in t 0.213 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in t 0.213 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.214 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 0.214 * [taylor]: Taking taylor expansion of (/ -1 b) in t 0.214 * [taylor]: Taking taylor expansion of -1 in t 0.214 * [taylor]: Taking taylor expansion of b in t 0.214 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.214 * [taylor]: Taking taylor expansion of y in t 0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.214 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.214 * [taylor]: Taking taylor expansion of t in t 0.214 * [taylor]: Taking taylor expansion of 2.0 in t 0.214 * [taylor]: Taking taylor expansion of (/ -1 x) in t 0.214 * [taylor]: Taking taylor expansion of -1 in t 0.214 * [taylor]: Taking taylor expansion of x in t 0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in t 0.214 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.214 * [taylor]: Taking taylor expansion of (* t a) in t 0.214 * [taylor]: Taking taylor expansion of t in t 0.214 * [taylor]: Taking taylor expansion of a in t 0.214 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.215 * [taylor]: Taking taylor expansion of 1.0 in t 0.215 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.215 * [taylor]: Taking taylor expansion of a in t 0.215 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in y 0.215 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in y 0.215 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.215 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 0.215 * [taylor]: Taking taylor expansion of (/ -1 b) in y 0.215 * [taylor]: Taking taylor expansion of -1 in y 0.215 * [taylor]: Taking taylor expansion of b in y 0.215 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.215 * [taylor]: Taking taylor expansion of t in y 0.215 * [taylor]: Taking taylor expansion of 2.0 in y 0.215 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.215 * [taylor]: Taking taylor expansion of -1 in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.215 * [taylor]: Taking taylor expansion of (* t a) in y 0.215 * [taylor]: Taking taylor expansion of t in y 0.215 * [taylor]: Taking taylor expansion of a in y 0.215 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.215 * [taylor]: Taking taylor expansion of 1.0 in y 0.215 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.215 * [taylor]: Taking taylor expansion of a in y 0.216 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in b 0.216 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b 0.216 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.216 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 0.216 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.216 * [taylor]: Taking taylor expansion of -1 in b 0.216 * [taylor]: Taking taylor expansion of b in b 0.216 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.216 * [taylor]: Taking taylor expansion of y in b 0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.216 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.216 * [taylor]: Taking taylor expansion of t in b 0.216 * [taylor]: Taking taylor expansion of 2.0 in b 0.216 * [taylor]: Taking taylor expansion of (/ -1 x) in b 0.216 * [taylor]: Taking taylor expansion of -1 in b 0.216 * [taylor]: Taking taylor expansion of x in b 0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b 0.216 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b 0.216 * [taylor]: Taking taylor expansion of (* t a) in b 0.216 * [taylor]: Taking taylor expansion of t in b 0.216 * [taylor]: Taking taylor expansion of a in b 0.216 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 0.216 * [taylor]: Taking taylor expansion of 1.0 in b 0.216 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.216 * [taylor]: Taking taylor expansion of a in b 0.216 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in b 0.217 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b 0.217 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.217 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 0.217 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.217 * [taylor]: Taking taylor expansion of -1 in b 0.217 * [taylor]: Taking taylor expansion of b in b 0.217 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.217 * [taylor]: Taking taylor expansion of y in b 0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.217 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.217 * [taylor]: Taking taylor expansion of t in b 0.217 * [taylor]: Taking taylor expansion of 2.0 in b 0.217 * [taylor]: Taking taylor expansion of (/ -1 x) in b 0.217 * [taylor]: Taking taylor expansion of -1 in b 0.217 * [taylor]: Taking taylor expansion of x in b 0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b 0.217 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b 0.217 * [taylor]: Taking taylor expansion of (* t a) in b 0.217 * [taylor]: Taking taylor expansion of t in b 0.217 * [taylor]: Taking taylor expansion of a in b 0.217 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 0.217 * [taylor]: Taking taylor expansion of 1.0 in b 0.217 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.217 * [taylor]: Taking taylor expansion of a in b 0.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.218 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.218 * [taylor]: Taking taylor expansion of t in y 0.218 * [taylor]: Taking taylor expansion of 2.0 in y 0.219 * [taylor]: Taking taylor expansion of 1 in t 0.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in y 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.221 * [taylor]: Taking taylor expansion of (* t a) in y 0.221 * [taylor]: Taking taylor expansion of t in y 0.221 * [taylor]: Taking taylor expansion of a in y 0.221 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y 0.221 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.221 * [taylor]: Taking taylor expansion of 1.0 in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.221 * [taylor]: Taking taylor expansion of a in y 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.221 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.221 * [taylor]: Taking taylor expansion of t in t 0.222 * [taylor]: Taking taylor expansion of 2.0 in t 0.222 * [taylor]: Taking taylor expansion of 1 in x 0.222 * [taylor]: Taking taylor expansion of 1 in x 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in t 0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in t 0.226 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.226 * [taylor]: Taking taylor expansion of (* t a) in t 0.226 * [taylor]: Taking taylor expansion of t in t 0.226 * [taylor]: Taking taylor expansion of a in t 0.227 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t 0.227 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.227 * [taylor]: Taking taylor expansion of 1.0 in t 0.227 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.227 * [taylor]: Taking taylor expansion of a in t 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.227 * [taylor]: Taking taylor expansion of x in t 0.227 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in x 0.227 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.227 * [taylor]: Taking taylor expansion of a in x 0.228 * [taylor]: Taking taylor expansion of 0 in t 0.229 * [taylor]: Taking taylor expansion of 2.0 in x 0.229 * [taylor]: Taking taylor expansion of 0 in x 0.229 * [taylor]: Taking taylor expansion of 1 in a 0.229 * [taylor]: Taking taylor expansion of 1 in a 0.233 * [taylor]: Taking taylor expansion of 0 in y 0.233 * [taylor]: Taking taylor expansion of 0 in t 0.235 * [taylor]: Taking taylor expansion of 0 in t 0.236 * [taylor]: Taking taylor expansion of 0 in t 0.237 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x 0.237 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x 0.237 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.237 * [taylor]: Taking taylor expansion of 1.0 in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.237 * [taylor]: Taking taylor expansion of a in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.238 * [taylor]: Taking taylor expansion of -1 in a 0.238 * [taylor]: Taking taylor expansion of 0 in x 0.239 * [taylor]: Taking taylor expansion of 0 in x 0.239 * [taylor]: Taking taylor expansion of 0 in x 0.239 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.239 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.239 * [taylor]: Taking taylor expansion of a in a 0.243 * [taylor]: Taking taylor expansion of 2.0 in a 0.243 * [taylor]: Taking taylor expansion of 0 in a 0.243 * [taylor]: Taking taylor expansion of 0 in a 0.243 * [taylor]: Taking taylor expansion of 0 in a 0.244 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 2) 0.244 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 0.244 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.244 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.244 * [taylor]: Taking taylor expansion of t in a 0.244 * [taylor]: Taking taylor expansion of 1.0 in a 0.244 * [taylor]: Taking taylor expansion of a in a 0.244 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.244 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.244 * [taylor]: Taking taylor expansion of t in t 0.244 * [taylor]: Taking taylor expansion of 1.0 in t 0.244 * [taylor]: Taking taylor expansion of a in t 0.244 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.244 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.244 * [taylor]: Taking taylor expansion of t in t 0.244 * [taylor]: Taking taylor expansion of 1.0 in t 0.244 * [taylor]: Taking taylor expansion of a in t 0.245 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.245 * [taylor]: Taking taylor expansion of -1.0 in a 0.245 * [taylor]: Taking taylor expansion of a in a 0.246 * [taylor]: Taking taylor expansion of a in a 0.249 * [taylor]: Taking taylor expansion of 0 in a 0.250 * [taylor]: Taking taylor expansion of 0 in a 0.252 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.253 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.253 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.253 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.253 * [taylor]: Taking taylor expansion of t in a 0.253 * [taylor]: Taking taylor expansion of 1.0 in a 0.253 * [taylor]: Taking taylor expansion of a in a 0.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.254 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.254 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.254 * [taylor]: Taking taylor expansion of t in t 0.254 * [taylor]: Taking taylor expansion of 1.0 in t 0.254 * [taylor]: Taking taylor expansion of a in t 0.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.254 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.254 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.254 * [taylor]: Taking taylor expansion of t in t 0.255 * [taylor]: Taking taylor expansion of 1.0 in t 0.255 * [taylor]: Taking taylor expansion of a in t 0.255 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.255 * [taylor]: Taking taylor expansion of a in a 0.257 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a 0.257 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.257 * [taylor]: Taking taylor expansion of 1.0 in a 0.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.257 * [taylor]: Taking taylor expansion of a in a 0.259 * [taylor]: Taking taylor expansion of 0 in a 0.262 * [taylor]: Taking taylor expansion of 0 in a 0.264 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.264 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.264 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.264 * [taylor]: Taking taylor expansion of t in a 0.264 * [taylor]: Taking taylor expansion of 1.0 in a 0.264 * [taylor]: Taking taylor expansion of a in a 0.264 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.264 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.264 * [taylor]: Taking taylor expansion of t in t 0.264 * [taylor]: Taking taylor expansion of 1.0 in t 0.264 * [taylor]: Taking taylor expansion of a in t 0.265 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.265 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.265 * [taylor]: Taking taylor expansion of t in t 0.265 * [taylor]: Taking taylor expansion of 1.0 in t 0.265 * [taylor]: Taking taylor expansion of a in t 0.265 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.265 * [taylor]: Taking taylor expansion of a in a 0.266 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.267 * [taylor]: Taking taylor expansion of 1.0 in a 0.267 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.267 * [taylor]: Taking taylor expansion of a in a 0.268 * [taylor]: Taking taylor expansion of 0 in a 0.270 * [taylor]: Taking taylor expansion of 0 in a 0.272 * * * [progress]: simplifying candidates 0.273 * [simplify]: Simplifying using # : (expm1 (fma b (- (+ y t) 2.0) x)) (log1p (fma b (- (+ y t) 2.0) x)) (* b (- (+ y t) 2.0)) (log (fma b (- (+ y t) 2.0) x)) (exp (fma b (- (+ y t) 2.0) x)) (* (cbrt (fma b (- (+ y t) 2.0) x)) (cbrt (fma b (- (+ y t) 2.0) x))) (cbrt (fma b (- (+ y t) 2.0) x)) (* (* (fma b (- (+ y t) 2.0) x) (fma b (- (+ y t) 2.0) x)) (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (fma (* (cbrt (fma b (- (+ y t) 2.0) x)) (cbrt (fma b (- (+ y t) 2.0) x))) (cbrt (fma b (- (+ y t) 2.0) x)) (- (* a (- t 1.0)))) (fma (- a) (- t 1.0) (* a (- t 1.0))) (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* a (- t 1.0)))) (fma (- a) (- t 1.0) (* a (- t 1.0))) (fma 1 (fma b (- (+ y t) 2.0) x) (- (* a (- t 1.0)))) (fma (- a) (- t 1.0) (* a (- t 1.0))) (expm1 (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (log1p (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (/ (exp (fma b (- (+ y t) 2.0) x)) (exp (* (- t 1.0) a))) (log (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (exp (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (* (cbrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (cbrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (cbrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (* (* (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)) (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)) (+ (* (fma b (- (+ y t) 2.0) x) (fma b (- (+ y t) 2.0) x)) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (- (* (- t 1.0) a)) (- (* (fma b (- (+ y t) 2.0) x) (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (+ (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)) (- x (* (- t 1.0) a)) (- (* (- t 1.0) a)) (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (+ (* y b) x) (* 2.0 b)) (+ (* y b) (+ x (* t b))) (+ (* y b) (+ x (* t b))) (- (+ (* 1.0 a) x) (* 2.0 b)) (- (+ (* y b) (* t b)) (* a t)) (- (+ (* y b) (* t b)) (* a t)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 0.278 * * [simplify]: iteration 0 : 234 enodes (cost 364 ) 0.282 * * [simplify]: iteration 1 : 798 enodes (cost 324 ) 0.299 * * [simplify]: iteration 2 : 4190 enodes (cost 312 ) 0.362 * * [simplify]: iteration 3 : 5001 enodes (cost 310 ) 0.364 * [simplify]: Simplified to: (expm1 (fma b (- (+ y t) 2.0) x)) (log1p (fma b (- (+ y t) 2.0) x)) (* b (- (+ y t) 2.0)) (log (fma b (- (+ y t) 2.0) x)) (exp (fma b (- (+ y t) 2.0) x)) (* (cbrt (fma b (- (+ y t) 2.0) x)) (cbrt (fma b (- (+ y t) 2.0) x))) (cbrt (fma b (- (+ y t) 2.0) x)) (pow (fma b (- (+ y t) 2.0) x) 3) (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (pow (cbrt (fma b (- (+ y t) 2.0) x)) 3) (* a (- t 1.0))) (* (- t 1.0) (+ (- a) a)) (- (fma b (- (+ y t) 2.0) x) (* a (- t 1.0))) (* (- t 1.0) (+ (- a) a)) (- (fma b (- (+ y t) 2.0) x) (* a (- t 1.0))) (* (- t 1.0) (+ (- a) a)) (expm1 (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (log1p (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (exp (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (log (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (exp (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (* (cbrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (cbrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))) (cbrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (pow (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)) 3) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (sqrt (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))) (- (pow (fma b (- (+ y t) 2.0) x) 3) (pow (* (- t 1.0) a) 3)) (fma (fma b (- (+ y t) 2.0) x) (fma (- t 1.0) a (fma b (- (+ y t) 2.0) x)) (* (* (- t 1.0) a) (* (- t 1.0) a))) (- (* (- t 1.0) a)) (* (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)) (fma (- t 1.0) a (fma b (- (+ y t) 2.0) x))) (fma (- t 1.0) a (fma b (- (+ y t) 2.0) x)) (- x (* (- t 1.0) a)) (- (* (- t 1.0) a)) (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) (* a (- t 1.0)) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* a (- t 1.0)) (* (- (sqrt t) (sqrt 1.0)) a) (* a (- t 1.0)) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (fma b (- y 2.0) x) (fma b y (fma b t x)) (fma b y (fma b t x)) (fma a 1.0 (- x (* 2.0 b))) (fma t (- b a) (* y b)) (fma t (- b a) (* y b)) (* a (- t 1.0)) (* a (- t 1.0)) (* a (- t 1.0)) 0.365 * * * [progress]: adding candidates to table 0.560 * * [progress]: iteration 2 / 4 0.560 * * * [progress]: picking best candidate 0.566 * * * * [pick]: Picked # 0.566 * * * [progress]: localizing error 0.586 * * * [progress]: generating rewritten candidates 0.586 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 0.600 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 2) 0.605 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 1) 0.610 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1) 0.614 * * * [progress]: generating series expansions 0.614 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 0.614 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 0.614 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.614 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.614 * [taylor]: Taking taylor expansion of t in a 0.614 * [taylor]: Taking taylor expansion of 1.0 in a 0.614 * [taylor]: Taking taylor expansion of a in a 0.614 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.614 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.614 * [taylor]: Taking taylor expansion of t in t 0.614 * [taylor]: Taking taylor expansion of 1.0 in t 0.614 * [taylor]: Taking taylor expansion of a in t 0.614 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.614 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.614 * [taylor]: Taking taylor expansion of t in t 0.614 * [taylor]: Taking taylor expansion of 1.0 in t 0.614 * [taylor]: Taking taylor expansion of a in t 0.616 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.616 * [taylor]: Taking taylor expansion of -1.0 in a 0.616 * [taylor]: Taking taylor expansion of a in a 0.617 * [taylor]: Taking taylor expansion of a in a 0.619 * [taylor]: Taking taylor expansion of 0 in a 0.621 * [taylor]: Taking taylor expansion of 0 in a 0.623 * [taylor]: Taking taylor expansion of 0 in a 0.624 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.624 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.624 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.624 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.624 * [taylor]: Taking taylor expansion of t in a 0.624 * [taylor]: Taking taylor expansion of 1.0 in a 0.624 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.625 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.625 * [taylor]: Taking taylor expansion of t in t 0.625 * [taylor]: Taking taylor expansion of 1.0 in t 0.625 * [taylor]: Taking taylor expansion of a in t 0.625 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.625 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.625 * [taylor]: Taking taylor expansion of t in t 0.626 * [taylor]: Taking taylor expansion of 1.0 in t 0.626 * [taylor]: Taking taylor expansion of a in t 0.626 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.626 * [taylor]: Taking taylor expansion of a in a 0.628 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a 0.628 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.628 * [taylor]: Taking taylor expansion of 1.0 in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.628 * [taylor]: Taking taylor expansion of a in a 0.630 * [taylor]: Taking taylor expansion of 0 in a 0.633 * [taylor]: Taking taylor expansion of 0 in a 0.635 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.635 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.635 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.636 * [taylor]: Taking taylor expansion of t in a 0.636 * [taylor]: Taking taylor expansion of 1.0 in a 0.636 * [taylor]: Taking taylor expansion of a in a 0.636 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.636 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.636 * [taylor]: Taking taylor expansion of t in t 0.636 * [taylor]: Taking taylor expansion of 1.0 in t 0.636 * [taylor]: Taking taylor expansion of a in t 0.636 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.636 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.636 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.636 * [taylor]: Taking taylor expansion of t in t 0.637 * [taylor]: Taking taylor expansion of 1.0 in t 0.637 * [taylor]: Taking taylor expansion of a in t 0.637 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.637 * [taylor]: Taking taylor expansion of a in a 0.638 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.638 * [taylor]: Taking taylor expansion of 1.0 in a 0.638 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.638 * [taylor]: Taking taylor expansion of a in a 0.640 * [taylor]: Taking taylor expansion of 0 in a 0.642 * [taylor]: Taking taylor expansion of 0 in a 0.644 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 2) 0.644 * [approximate]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in (t a) around 0 0.644 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in a 0.644 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.644 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.644 * [taylor]: Taking taylor expansion of t in a 0.644 * [taylor]: Taking taylor expansion of 1.0 in a 0.644 * [taylor]: Taking taylor expansion of a in a 0.647 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 0.647 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.647 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.647 * [taylor]: Taking taylor expansion of t in t 0.647 * [taylor]: Taking taylor expansion of 1.0 in t 0.647 * [taylor]: Taking taylor expansion of a in t 0.648 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 0.649 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.649 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.649 * [taylor]: Taking taylor expansion of t in t 0.649 * [taylor]: Taking taylor expansion of 1.0 in t 0.649 * [taylor]: Taking taylor expansion of a in t 0.651 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 0.651 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.651 * [taylor]: Taking taylor expansion of -1.0 in a 0.651 * [taylor]: Taking taylor expansion of a in a 0.653 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (sqrt (* -1.0 a)))) in a 0.653 * [taylor]: Taking taylor expansion of 1/2 in a 0.653 * [taylor]: Taking taylor expansion of (/ a (sqrt (* -1.0 a))) in a 0.653 * [taylor]: Taking taylor expansion of a in a 0.653 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 0.653 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.653 * [taylor]: Taking taylor expansion of -1.0 in a 0.653 * [taylor]: Taking taylor expansion of a in a 0.658 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3))) in a 0.658 * [taylor]: Taking taylor expansion of -1/8 in a 0.658 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3)) in a 0.658 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.658 * [taylor]: Taking taylor expansion of a in a 0.658 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1.0 a)) 3) in a 0.658 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 0.658 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.658 * [taylor]: Taking taylor expansion of -1.0 in a 0.658 * [taylor]: Taking taylor expansion of a in a 0.671 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in (t a) around 0 0.671 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in a 0.671 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.671 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.671 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.671 * [taylor]: Taking taylor expansion of t in a 0.671 * [taylor]: Taking taylor expansion of 1.0 in a 0.671 * [taylor]: Taking taylor expansion of a in a 0.672 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 0.672 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.672 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.672 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.672 * [taylor]: Taking taylor expansion of t in t 0.672 * [taylor]: Taking taylor expansion of 1.0 in t 0.672 * [taylor]: Taking taylor expansion of a in t 0.673 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 0.673 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.673 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.673 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.673 * [taylor]: Taking taylor expansion of t in t 0.679 * [taylor]: Taking taylor expansion of 1.0 in t 0.679 * [taylor]: Taking taylor expansion of a in t 0.680 * [taylor]: Taking taylor expansion of 0 in a 0.680 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 0.680 * [taylor]: Taking taylor expansion of +nan.0 in a 0.680 * [taylor]: Taking taylor expansion of a in a 0.682 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) in a 0.682 * [taylor]: Taking taylor expansion of +nan.0 in a 0.682 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2))))) in a 0.682 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.682 * [taylor]: Taking taylor expansion of 1.0 in a 0.682 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.682 * [taylor]: Taking taylor expansion of a in a 0.683 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 2)))) in a 0.683 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.683 * [taylor]: Taking taylor expansion of +nan.0 in a 0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.683 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.683 * [taylor]: Taking taylor expansion of a in a 0.690 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 0.690 * [taylor]: Taking taylor expansion of +nan.0 in a 0.690 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 0.690 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.690 * [taylor]: Taking taylor expansion of +nan.0 in a 0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.690 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.690 * [taylor]: Taking taylor expansion of a in a 0.690 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 0.690 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 0.690 * [taylor]: Taking taylor expansion of +nan.0 in a 0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.691 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.691 * [taylor]: Taking taylor expansion of a in a 0.703 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in (t a) around 0 0.703 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in a 0.703 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.703 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.703 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.703 * [taylor]: Taking taylor expansion of t in a 0.703 * [taylor]: Taking taylor expansion of 1.0 in a 0.703 * [taylor]: Taking taylor expansion of a in a 0.704 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 0.704 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.704 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.704 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.704 * [taylor]: Taking taylor expansion of t in t 0.704 * [taylor]: Taking taylor expansion of 1.0 in t 0.704 * [taylor]: Taking taylor expansion of a in t 0.705 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 0.705 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.705 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.705 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.705 * [taylor]: Taking taylor expansion of t in t 0.705 * [taylor]: Taking taylor expansion of 1.0 in t 0.705 * [taylor]: Taking taylor expansion of a in t 0.706 * [taylor]: Taking taylor expansion of 0 in a 0.706 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 0.706 * [taylor]: Taking taylor expansion of +nan.0 in a 0.706 * [taylor]: Taking taylor expansion of a in a 0.708 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2))))) in a 0.708 * [taylor]: Taking taylor expansion of +nan.0 in a 0.708 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2)))) in a 0.708 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.708 * [taylor]: Taking taylor expansion of 1.0 in a 0.708 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.708 * [taylor]: Taking taylor expansion of a in a 0.709 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.709 * [taylor]: Taking taylor expansion of +nan.0 in a 0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.709 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.709 * [taylor]: Taking taylor expansion of a in a 0.715 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 0.715 * [taylor]: Taking taylor expansion of +nan.0 in a 0.716 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 0.716 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.716 * [taylor]: Taking taylor expansion of +nan.0 in a 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.716 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.716 * [taylor]: Taking taylor expansion of a in a 0.716 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 0.716 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 0.716 * [taylor]: Taking taylor expansion of +nan.0 in a 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.716 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.716 * [taylor]: Taking taylor expansion of a in a 0.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 1) 0.728 * [approximate]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in (t a) around 0 0.728 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in a 0.729 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.729 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.729 * [taylor]: Taking taylor expansion of t in a 0.729 * [taylor]: Taking taylor expansion of 1.0 in a 0.729 * [taylor]: Taking taylor expansion of a in a 0.731 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 0.731 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.731 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.731 * [taylor]: Taking taylor expansion of t in t 0.731 * [taylor]: Taking taylor expansion of 1.0 in t 0.731 * [taylor]: Taking taylor expansion of a in t 0.732 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 0.733 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.733 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.733 * [taylor]: Taking taylor expansion of t in t 0.733 * [taylor]: Taking taylor expansion of 1.0 in t 0.733 * [taylor]: Taking taylor expansion of a in t 0.735 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 0.735 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.735 * [taylor]: Taking taylor expansion of -1.0 in a 0.735 * [taylor]: Taking taylor expansion of a in a 0.737 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (sqrt (* -1.0 a)))) in a 0.737 * [taylor]: Taking taylor expansion of 1/2 in a 0.738 * [taylor]: Taking taylor expansion of (/ a (sqrt (* -1.0 a))) in a 0.738 * [taylor]: Taking taylor expansion of a in a 0.738 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 0.738 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.738 * [taylor]: Taking taylor expansion of -1.0 in a 0.738 * [taylor]: Taking taylor expansion of a in a 0.742 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3))) in a 0.742 * [taylor]: Taking taylor expansion of -1/8 in a 0.742 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3)) in a 0.742 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.742 * [taylor]: Taking taylor expansion of a in a 0.742 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1.0 a)) 3) in a 0.742 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 0.742 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.742 * [taylor]: Taking taylor expansion of -1.0 in a 0.742 * [taylor]: Taking taylor expansion of a in a 0.755 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in (t a) around 0 0.755 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in a 0.755 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.755 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.755 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.755 * [taylor]: Taking taylor expansion of t in a 0.755 * [taylor]: Taking taylor expansion of 1.0 in a 0.755 * [taylor]: Taking taylor expansion of a in a 0.756 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 0.756 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.756 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.756 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.756 * [taylor]: Taking taylor expansion of t in t 0.756 * [taylor]: Taking taylor expansion of 1.0 in t 0.756 * [taylor]: Taking taylor expansion of a in t 0.757 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 0.757 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.757 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.757 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.757 * [taylor]: Taking taylor expansion of t in t 0.757 * [taylor]: Taking taylor expansion of 1.0 in t 0.757 * [taylor]: Taking taylor expansion of a in t 0.758 * [taylor]: Taking taylor expansion of 0 in a 0.758 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 0.758 * [taylor]: Taking taylor expansion of +nan.0 in a 0.759 * [taylor]: Taking taylor expansion of a in a 0.767 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) in a 0.767 * [taylor]: Taking taylor expansion of +nan.0 in a 0.767 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2))))) in a 0.767 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.767 * [taylor]: Taking taylor expansion of 1.0 in a 0.767 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.767 * [taylor]: Taking taylor expansion of a in a 0.767 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 2)))) in a 0.767 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.767 * [taylor]: Taking taylor expansion of +nan.0 in a 0.767 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.767 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.767 * [taylor]: Taking taylor expansion of a in a 0.774 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 0.774 * [taylor]: Taking taylor expansion of +nan.0 in a 0.774 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 0.774 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.774 * [taylor]: Taking taylor expansion of +nan.0 in a 0.774 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.774 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.774 * [taylor]: Taking taylor expansion of a in a 0.775 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 0.775 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 0.775 * [taylor]: Taking taylor expansion of +nan.0 in a 0.775 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.775 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.775 * [taylor]: Taking taylor expansion of a in a 0.787 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in (t a) around 0 0.787 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in a 0.787 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.787 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.787 * [taylor]: Taking taylor expansion of t in a 0.787 * [taylor]: Taking taylor expansion of 1.0 in a 0.787 * [taylor]: Taking taylor expansion of a in a 0.788 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 0.788 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.788 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.788 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.788 * [taylor]: Taking taylor expansion of t in t 0.788 * [taylor]: Taking taylor expansion of 1.0 in t 0.788 * [taylor]: Taking taylor expansion of a in t 0.789 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 0.789 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.789 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.789 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.789 * [taylor]: Taking taylor expansion of t in t 0.790 * [taylor]: Taking taylor expansion of 1.0 in t 0.790 * [taylor]: Taking taylor expansion of a in t 0.791 * [taylor]: Taking taylor expansion of 0 in a 0.791 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 0.791 * [taylor]: Taking taylor expansion of +nan.0 in a 0.791 * [taylor]: Taking taylor expansion of a in a 0.792 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2))))) in a 0.792 * [taylor]: Taking taylor expansion of +nan.0 in a 0.792 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2)))) in a 0.792 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.792 * [taylor]: Taking taylor expansion of 1.0 in a 0.792 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.792 * [taylor]: Taking taylor expansion of a in a 0.793 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.793 * [taylor]: Taking taylor expansion of +nan.0 in a 0.793 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.793 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.793 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 0.799 * [taylor]: Taking taylor expansion of +nan.0 in a 0.799 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 0.799 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 0.799 * [taylor]: Taking taylor expansion of +nan.0 in a 0.799 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.799 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.800 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 0.800 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 0.800 * [taylor]: Taking taylor expansion of +nan.0 in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.800 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.800 * [taylor]: Taking taylor expansion of a in a 0.812 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1) 0.812 * [approximate]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in (b y t x) around 0 0.812 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in x 0.812 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.812 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in x 0.812 * [taylor]: Taking taylor expansion of b in x 0.813 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in x 0.813 * [taylor]: Taking taylor expansion of (+ t y) in x 0.813 * [taylor]: Taking taylor expansion of t in x 0.813 * [taylor]: Taking taylor expansion of y in x 0.813 * [taylor]: Taking taylor expansion of 2.0 in x 0.813 * [taylor]: Taking taylor expansion of x in x 0.813 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in t 0.813 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.813 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in t 0.813 * [taylor]: Taking taylor expansion of b in t 0.813 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.813 * [taylor]: Taking taylor expansion of (+ t y) in t 0.813 * [taylor]: Taking taylor expansion of t in t 0.813 * [taylor]: Taking taylor expansion of y in t 0.813 * [taylor]: Taking taylor expansion of 2.0 in t 0.813 * [taylor]: Taking taylor expansion of x in t 0.813 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in y 0.813 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.813 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in y 0.813 * [taylor]: Taking taylor expansion of b in y 0.813 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.813 * [taylor]: Taking taylor expansion of (+ t y) in y 0.813 * [taylor]: Taking taylor expansion of t in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.813 * [taylor]: Taking taylor expansion of 2.0 in y 0.813 * [taylor]: Taking taylor expansion of x in y 0.813 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b 0.813 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.813 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 0.813 * [taylor]: Taking taylor expansion of b in b 0.813 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.813 * [taylor]: Taking taylor expansion of (+ t y) in b 0.813 * [taylor]: Taking taylor expansion of t in b 0.813 * [taylor]: Taking taylor expansion of y in b 0.813 * [taylor]: Taking taylor expansion of 2.0 in b 0.813 * [taylor]: Taking taylor expansion of x in b 0.813 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b 0.813 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x) 0.813 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 0.813 * [taylor]: Taking taylor expansion of b in b 0.813 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.813 * [taylor]: Taking taylor expansion of (+ t y) in b 0.813 * [taylor]: Taking taylor expansion of t in b 0.814 * [taylor]: Taking taylor expansion of y in b 0.814 * [taylor]: Taking taylor expansion of 2.0 in b 0.814 * [taylor]: Taking taylor expansion of x in b 0.814 * [taylor]: Taking taylor expansion of x in y 0.814 * [taylor]: Taking taylor expansion of x in t 0.814 * [taylor]: Taking taylor expansion of x in x 0.815 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.815 * [taylor]: Taking taylor expansion of (+ t y) in y 0.815 * [taylor]: Taking taylor expansion of t in y 0.815 * [taylor]: Taking taylor expansion of y in y 0.815 * [taylor]: Taking taylor expansion of 2.0 in y 0.816 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.816 * [taylor]: Taking taylor expansion of t in t 0.816 * [taylor]: Taking taylor expansion of 2.0 in t 0.817 * [taylor]: Taking taylor expansion of (- 2.0) in x 0.817 * [taylor]: Taking taylor expansion of 2.0 in x 0.817 * [taylor]: Taking taylor expansion of 0 in t 0.817 * [taylor]: Taking taylor expansion of 0 in x 0.817 * [taylor]: Taking taylor expansion of 0 in x 0.819 * [taylor]: Taking taylor expansion of 0 in y 0.819 * [taylor]: Taking taylor expansion of 0 in t 0.819 * [taylor]: Taking taylor expansion of 0 in x 0.819 * [taylor]: Taking taylor expansion of 1 in t 0.819 * [taylor]: Taking taylor expansion of 1 in x 0.820 * [approximate]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in (b y t x) around 0 0.820 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in x 0.820 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.820 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 b) in x 0.820 * [taylor]: Taking taylor expansion of b in x 0.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in x 0.821 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.821 * [taylor]: Taking taylor expansion of y in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.821 * [taylor]: Taking taylor expansion of t in x 0.821 * [taylor]: Taking taylor expansion of 2.0 in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in t 0.821 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.821 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in t 0.821 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.821 * [taylor]: Taking taylor expansion of b in t 0.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.821 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.821 * [taylor]: Taking taylor expansion of y in t 0.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.821 * [taylor]: Taking taylor expansion of t in t 0.822 * [taylor]: Taking taylor expansion of 2.0 in t 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.822 * [taylor]: Taking taylor expansion of x in t 0.822 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in y 0.822 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.822 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in y 0.822 * [taylor]: Taking taylor expansion of (/ 1 b) in y 0.822 * [taylor]: Taking taylor expansion of b in y 0.822 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.822 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.822 * [taylor]: Taking taylor expansion of y in y 0.822 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.822 * [taylor]: Taking taylor expansion of t in y 0.822 * [taylor]: Taking taylor expansion of 2.0 in y 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.822 * [taylor]: Taking taylor expansion of x in y 0.822 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b 0.822 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.822 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 0.822 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.822 * [taylor]: Taking taylor expansion of b in b 0.823 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.823 * [taylor]: Taking taylor expansion of y in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.823 * [taylor]: Taking taylor expansion of t in b 0.823 * [taylor]: Taking taylor expansion of 2.0 in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in b 0.823 * [taylor]: Taking taylor expansion of x in b 0.823 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b 0.823 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x)) 0.823 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.823 * [taylor]: Taking taylor expansion of b in b 0.823 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.823 * [taylor]: Taking taylor expansion of y in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.823 * [taylor]: Taking taylor expansion of t in b 0.823 * [taylor]: Taking taylor expansion of 2.0 in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in b 0.823 * [taylor]: Taking taylor expansion of x in b 0.824 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.824 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.825 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.825 * [taylor]: Taking taylor expansion of t in y 0.825 * [taylor]: Taking taylor expansion of 2.0 in y 0.825 * [taylor]: Taking taylor expansion of 1 in t 0.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.827 * [taylor]: Taking taylor expansion of x in y 0.828 * [taylor]: Taking taylor expansion of (- (/ 1 t) 2.0) in t 0.828 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.828 * [taylor]: Taking taylor expansion of t in t 0.828 * [taylor]: Taking taylor expansion of 2.0 in t 0.828 * [taylor]: Taking taylor expansion of 1 in x 0.828 * [taylor]: Taking taylor expansion of 1 in x 0.831 * [taylor]: Taking taylor expansion of 0 in y 0.831 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.831 * [taylor]: Taking taylor expansion of x in t 0.832 * [taylor]: Taking taylor expansion of 0 in t 0.833 * [taylor]: Taking taylor expansion of (- 2.0) in x 0.833 * [taylor]: Taking taylor expansion of 2.0 in x 0.833 * [taylor]: Taking taylor expansion of 0 in x 0.836 * [taylor]: Taking taylor expansion of 0 in y 0.836 * [taylor]: Taking taylor expansion of 0 in t 0.836 * [taylor]: Taking taylor expansion of 0 in t 0.837 * [taylor]: Taking taylor expansion of 0 in t 0.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.837 * [taylor]: Taking taylor expansion of x in x 0.838 * [approximate]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in (b y t x) around 0 0.838 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in x 0.838 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.839 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in x 0.839 * [taylor]: Taking taylor expansion of (/ -1 b) in x 0.839 * [taylor]: Taking taylor expansion of -1 in x 0.839 * [taylor]: Taking taylor expansion of b in x 0.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in x 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in x 0.839 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.839 * [taylor]: Taking taylor expansion of y in x 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in x 0.839 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.839 * [taylor]: Taking taylor expansion of t in x 0.839 * [taylor]: Taking taylor expansion of 2.0 in x 0.839 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.839 * [taylor]: Taking taylor expansion of -1 in x 0.839 * [taylor]: Taking taylor expansion of x in x 0.839 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in t 0.839 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.839 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 0.839 * [taylor]: Taking taylor expansion of (/ -1 b) in t 0.839 * [taylor]: Taking taylor expansion of -1 in t 0.839 * [taylor]: Taking taylor expansion of b in t 0.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.839 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.839 * [taylor]: Taking taylor expansion of y in t 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.839 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.839 * [taylor]: Taking taylor expansion of t in t 0.840 * [taylor]: Taking taylor expansion of 2.0 in t 0.840 * [taylor]: Taking taylor expansion of (/ -1 x) in t 0.840 * [taylor]: Taking taylor expansion of -1 in t 0.840 * [taylor]: Taking taylor expansion of x in t 0.840 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in y 0.840 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.840 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 0.840 * [taylor]: Taking taylor expansion of (/ -1 b) in y 0.840 * [taylor]: Taking taylor expansion of -1 in y 0.840 * [taylor]: Taking taylor expansion of b in y 0.840 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.840 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.840 * [taylor]: Taking taylor expansion of y in y 0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.840 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.840 * [taylor]: Taking taylor expansion of t in y 0.840 * [taylor]: Taking taylor expansion of 2.0 in y 0.840 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.840 * [taylor]: Taking taylor expansion of -1 in y 0.840 * [taylor]: Taking taylor expansion of x in y 0.841 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b 0.841 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.841 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 0.841 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.841 * [taylor]: Taking taylor expansion of -1 in b 0.841 * [taylor]: Taking taylor expansion of b in b 0.841 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.841 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.841 * [taylor]: Taking taylor expansion of y in b 0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.841 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.841 * [taylor]: Taking taylor expansion of t in b 0.841 * [taylor]: Taking taylor expansion of 2.0 in b 0.841 * [taylor]: Taking taylor expansion of (/ -1 x) in b 0.841 * [taylor]: Taking taylor expansion of -1 in b 0.841 * [taylor]: Taking taylor expansion of x in b 0.841 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b 0.841 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x)) 0.841 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 0.841 * [taylor]: Taking taylor expansion of (/ -1 b) in b 0.841 * [taylor]: Taking taylor expansion of -1 in b 0.841 * [taylor]: Taking taylor expansion of b in b 0.842 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.842 * [taylor]: Taking taylor expansion of y in b 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.842 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.842 * [taylor]: Taking taylor expansion of t in b 0.842 * [taylor]: Taking taylor expansion of 2.0 in b 0.842 * [taylor]: Taking taylor expansion of (/ -1 x) in b 0.842 * [taylor]: Taking taylor expansion of -1 in b 0.842 * [taylor]: Taking taylor expansion of x in b 0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.842 * [taylor]: Taking taylor expansion of y in y 0.843 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.843 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.843 * [taylor]: Taking taylor expansion of t in y 0.843 * [taylor]: Taking taylor expansion of 2.0 in y 0.843 * [taylor]: Taking taylor expansion of 1 in t 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 0.845 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.845 * [taylor]: Taking taylor expansion of x in y 0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.845 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.845 * [taylor]: Taking taylor expansion of t in t 0.846 * [taylor]: Taking taylor expansion of 2.0 in t 0.846 * [taylor]: Taking taylor expansion of 1 in x 0.846 * [taylor]: Taking taylor expansion of 1 in x 0.853 * [taylor]: Taking taylor expansion of 0 in y 0.854 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.854 * [taylor]: Taking taylor expansion of x in t 0.855 * [taylor]: Taking taylor expansion of 0 in t 0.855 * [taylor]: Taking taylor expansion of 2.0 in x 0.855 * [taylor]: Taking taylor expansion of 0 in x 0.859 * [taylor]: Taking taylor expansion of 0 in y 0.859 * [taylor]: Taking taylor expansion of 0 in t 0.859 * [taylor]: Taking taylor expansion of 0 in t 0.860 * [taylor]: Taking taylor expansion of 0 in t 0.860 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.861 * * * [progress]: simplifying candidates 0.863 * [simplify]: Simplifying using # : (expm1 (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (log1p (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (+ 1 1) (+ (log (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a)))) (log (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (exp (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)))) (* (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))) (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (* (- t 1.0) a) (* (- t 1.0) a)) (sqrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (sqrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ t 1.0))) (* (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (+ t 1.0)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a))))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (* (sqrt (- t 1.0)) (sqrt (- t 1.0))) (* (sqrt a) (sqrt a)) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* 1 1) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (- t 1.0) a)) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a))))) (* (sqrt (* (- t 1.0) a)) (sqrt (- t 1.0))) (* (sqrt (* (- t 1.0) a)) (sqrt (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- t 1.0) a)) 1) (* (cbrt (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (* (sqrt a) (sqrt (* (- t 1.0) a))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (* (- t 1.0) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (fma b (- (+ y t) 2.0) x)) (log1p (fma b (- (+ y t) 2.0) x)) (* b (- (+ y t) 2.0)) (log (fma b (- (+ y t) 2.0) x)) (exp (fma b (- (+ y t) 2.0) x)) (* (cbrt (fma b (- (+ y t) 2.0) x)) (cbrt (fma b (- (+ y t) 2.0) x))) (cbrt (fma b (- (+ y t) 2.0) x)) (* (* (fma b (- (+ y t) 2.0) x) (fma b (- (+ y t) 2.0) x)) (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (+ (* +nan.0 a) (- (+ (* +nan.0 (pow t 2)) (- (* +nan.0 t)))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* +nan.0 a) (- (+ (* +nan.0 (pow t 2)) (- (* +nan.0 t)))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* y b) x) (* 2.0 b)) (+ (* y b) (+ x (* t b))) (+ (* y b) (+ x (* t b))) 0.868 * * [simplify]: iteration 0 : 249 enodes (cost 559 ) 0.873 * * [simplify]: iteration 1 : 939 enodes (cost 478 ) 0.897 * * [simplify]: iteration 2 : 5001 enodes (cost 455 ) 0.901 * [simplify]: Simplified to: (expm1 (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (log1p (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) 1 1 1 2 1 1 1 1 1 1 (pow (sqrt (* (- t 1.0) a)) 4) (* (- t 1.0) a) (pow (sqrt (* (- t 1.0) a)) 4) (pow (sqrt (* (- t 1.0) a)) 4) (pow (sqrt (* (- t 1.0) a)) 4) (pow (sqrt (* (- t 1.0) a)) 4) 2 (+ (log (- t 1.0)) (log a)) (+ (log (- t 1.0)) (log a)) (pow (exp (- t 1.0)) a) (pow (* (- t 1.0) a) 3) (* (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))) (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (pow (* (- t 1.0) a) 3) (pow (sqrt (* (- t 1.0) a)) 4) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (- (pow t 3) (pow 1.0 3)) a) (fma t t (fma 1.0 1.0 (* t 1.0))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ t 1.0))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ t 1.0))) (* (- (* t t) (* 1.0 1.0)) a) (+ t 1.0) (pow (cbrt (sqrt (* (- t 1.0) a))) 4) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (- t 1.0) a (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) 1 (* (- t 1.0) a) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) 1 2 1 1 1 1 (* (pow (cbrt (sqrt (* (- t 1.0) a))) 4) (cbrt (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- t 1.0) a)) (sqrt (- t 1.0))) (pow (sqrt (sqrt (* (- t 1.0) a))) 3) (sqrt (* (- t 1.0) a)) (pow (cbrt (sqrt (* (- t 1.0) a))) 4) (* (sqrt a) (sqrt (* (- t 1.0) a))) (pow (sqrt (sqrt (* (- t 1.0) a))) 3) (* (- t 1.0) a) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (pow (sqrt (* (- t 1.0) a)) 3) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) 1/2 1/2 (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (pow (sqrt (* (- t 1.0) a)) 3) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) 1/2 1/2 (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (fma b (- (+ y t) 2.0) x)) (log1p (fma b (- (+ y t) 2.0) x)) (* b (- (+ y t) 2.0)) (log (fma b (- (+ y t) 2.0) x)) (exp (fma b (- (+ y t) 2.0) x)) (* (cbrt (fma b (- (+ y t) 2.0) x)) (cbrt (fma b (- (+ y t) 2.0) x))) (cbrt (fma b (- (+ y t) 2.0) x)) (pow (fma b (- (+ y t) 2.0) x) 3) (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) (fma (- a) +nan.0 (* +nan.0 (- (pow t 2) t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma (- a) +nan.0 (* +nan.0 (- (pow t 2) t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma b y (- x (* 2.0 b))) (fma b y (fma b t x)) (fma b y (fma b t x)) 0.901 * * * [progress]: adding candidates to table 1.187 * * [progress]: iteration 3 / 4 1.187 * * * [progress]: picking best candidate 1.192 * * * * [pick]: Picked # 1.192 * * * [progress]: localizing error 1.206 * * * [progress]: generating rewritten candidates 1.206 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.207 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3) 1.208 * * * [progress]: generating series expansions 1.208 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.208 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in (y z t b a) around 0 1.208 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in a 1.208 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma t (- b a) (* y b))) 1.208 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in a 1.208 * [taylor]: Taking taylor expansion of (- 1.0 y) in a 1.208 * [taylor]: Taking taylor expansion of 1.0 in a 1.208 * [taylor]: Taking taylor expansion of y in a 1.208 * [taylor]: Taking taylor expansion of z in a 1.208 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in a 1.208 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.208 * [taylor]: Taking taylor expansion of (* t (- b a)) in a 1.208 * [taylor]: Taking taylor expansion of t in a 1.208 * [taylor]: Taking taylor expansion of (- b a) in a 1.208 * [taylor]: Taking taylor expansion of b in a 1.208 * [taylor]: Taking taylor expansion of a in a 1.208 * [taylor]: Taking taylor expansion of (* y b) in a 1.208 * [taylor]: Taking taylor expansion of y in a 1.208 * [taylor]: Taking taylor expansion of b in a 1.208 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in b 1.208 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma t (- b a) (* y b))) 1.208 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in b 1.208 * [taylor]: Taking taylor expansion of (- 1.0 y) in b 1.208 * [taylor]: Taking taylor expansion of 1.0 in b 1.208 * [taylor]: Taking taylor expansion of y in b 1.209 * [taylor]: Taking taylor expansion of z in b 1.209 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in b 1.209 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.209 * [taylor]: Taking taylor expansion of (* t (- b a)) in b 1.209 * [taylor]: Taking taylor expansion of t in b 1.209 * [taylor]: Taking taylor expansion of (- b a) in b 1.209 * [taylor]: Taking taylor expansion of b in b 1.209 * [taylor]: Taking taylor expansion of a in b 1.209 * [taylor]: Taking taylor expansion of (* y b) in b 1.209 * [taylor]: Taking taylor expansion of y in b 1.209 * [taylor]: Taking taylor expansion of b in b 1.209 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in t 1.209 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma t (- b a) (* y b))) 1.209 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in t 1.209 * [taylor]: Taking taylor expansion of (- 1.0 y) in t 1.209 * [taylor]: Taking taylor expansion of 1.0 in t 1.209 * [taylor]: Taking taylor expansion of y in t 1.209 * [taylor]: Taking taylor expansion of z in t 1.209 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in t 1.209 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.209 * [taylor]: Taking taylor expansion of (* t (- b a)) in t 1.209 * [taylor]: Taking taylor expansion of t in t 1.209 * [taylor]: Taking taylor expansion of (- b a) in t 1.209 * [taylor]: Taking taylor expansion of b in t 1.209 * [taylor]: Taking taylor expansion of a in t 1.209 * [taylor]: Taking taylor expansion of (* y b) in t 1.209 * [taylor]: Taking taylor expansion of y in t 1.209 * [taylor]: Taking taylor expansion of b in t 1.209 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in z 1.209 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma t (- b a) (* y b))) 1.209 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z 1.209 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 1.209 * [taylor]: Taking taylor expansion of 1.0 in z 1.209 * [taylor]: Taking taylor expansion of y in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in z 1.209 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.209 * [taylor]: Taking taylor expansion of (* t (- b a)) in z 1.209 * [taylor]: Taking taylor expansion of t in z 1.209 * [taylor]: Taking taylor expansion of (- b a) in z 1.209 * [taylor]: Taking taylor expansion of b in z 1.210 * [taylor]: Taking taylor expansion of a in z 1.210 * [taylor]: Taking taylor expansion of (* y b) in z 1.210 * [taylor]: Taking taylor expansion of y in z 1.210 * [taylor]: Taking taylor expansion of b in z 1.210 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in y 1.210 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma t (- b a) (* y b))) 1.210 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 1.210 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 1.210 * [taylor]: Taking taylor expansion of 1.0 in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of z in y 1.210 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in y 1.210 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.210 * [taylor]: Taking taylor expansion of (* t (- b a)) in y 1.210 * [taylor]: Taking taylor expansion of t in y 1.210 * [taylor]: Taking taylor expansion of (- b a) in y 1.210 * [taylor]: Taking taylor expansion of b in y 1.210 * [taylor]: Taking taylor expansion of a in y 1.210 * [taylor]: Taking taylor expansion of (* y b) in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of b in y 1.210 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z (fma t (- b a) (* y b))) in y 1.210 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) (fma t (- b a) (* y b))) 1.210 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 1.210 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 1.210 * [taylor]: Taking taylor expansion of 1.0 in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of z in y 1.210 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in y 1.210 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.210 * [taylor]: Taking taylor expansion of (* t (- b a)) in y 1.210 * [taylor]: Taking taylor expansion of t in y 1.210 * [taylor]: Taking taylor expansion of (- b a) in y 1.210 * [taylor]: Taking taylor expansion of b in y 1.210 * [taylor]: Taking taylor expansion of a in y 1.210 * [taylor]: Taking taylor expansion of (* y b) in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.210 * [taylor]: Taking taylor expansion of b in y 1.212 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* t b)) (* t a)) in z 1.212 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* t b)) in z 1.212 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.212 * [taylor]: Taking taylor expansion of 1.0 in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (* t b) in z 1.212 * [taylor]: Taking taylor expansion of t in z 1.212 * [taylor]: Taking taylor expansion of b in z 1.212 * [taylor]: Taking taylor expansion of (* t a) in z 1.212 * [taylor]: Taking taylor expansion of t in z 1.212 * [taylor]: Taking taylor expansion of a in z 1.212 * [taylor]: Taking taylor expansion of (- (* t b) (* t a)) in t 1.212 * [taylor]: Taking taylor expansion of (* t b) in t 1.212 * [taylor]: Taking taylor expansion of t in t 1.212 * [taylor]: Taking taylor expansion of b in t 1.212 * [taylor]: Taking taylor expansion of (* t a) in t 1.212 * [taylor]: Taking taylor expansion of t in t 1.212 * [taylor]: Taking taylor expansion of a in t 1.213 * [taylor]: Taking taylor expansion of 0 in b 1.213 * [taylor]: Taking taylor expansion of 0 in a 1.214 * [taylor]: Taking taylor expansion of (- b z) in z 1.214 * [taylor]: Taking taylor expansion of b in z 1.214 * [taylor]: Taking taylor expansion of z in z 1.215 * [taylor]: Taking taylor expansion of b in t 1.215 * [taylor]: Taking taylor expansion of b in b 1.215 * [taylor]: Taking taylor expansion of 0 in a 1.216 * [taylor]: Taking taylor expansion of 1.0 in t 1.217 * [taylor]: Taking taylor expansion of 1.0 in b 1.217 * [taylor]: Taking taylor expansion of 1.0 in a 1.217 * [taylor]: Taking taylor expansion of (- b a) in b 1.217 * [taylor]: Taking taylor expansion of b in b 1.217 * [taylor]: Taking taylor expansion of a in b 1.217 * [taylor]: Taking taylor expansion of (- a) in a 1.217 * [taylor]: Taking taylor expansion of a in a 1.217 * [taylor]: Taking taylor expansion of 0 in a 1.220 * [taylor]: Taking taylor expansion of 0 in z 1.220 * [taylor]: Taking taylor expansion of 0 in t 1.220 * [taylor]: Taking taylor expansion of 0 in b 1.220 * [taylor]: Taking taylor expansion of 0 in a 1.221 * [taylor]: Taking taylor expansion of -1 in t 1.221 * [taylor]: Taking taylor expansion of -1 in b 1.221 * [taylor]: Taking taylor expansion of -1 in a 1.223 * [taylor]: Taking taylor expansion of 0 in t 1.223 * [taylor]: Taking taylor expansion of 0 in b 1.223 * [taylor]: Taking taylor expansion of 0 in a 1.223 * [taylor]: Taking taylor expansion of 0 in b 1.223 * [taylor]: Taking taylor expansion of 0 in a 1.223 * [taylor]: Taking taylor expansion of 0 in b 1.223 * [taylor]: Taking taylor expansion of 0 in a 1.224 * [taylor]: Taking taylor expansion of 0 in b 1.224 * [taylor]: Taking taylor expansion of 0 in a 1.224 * [taylor]: Taking taylor expansion of 1 in a 1.225 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in (y z t b a) around 0 1.225 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in a 1.225 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) 1.225 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in a 1.225 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in a 1.225 * [taylor]: Taking taylor expansion of 1.0 in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in a 1.225 * [taylor]: Taking taylor expansion of y in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.225 * [taylor]: Taking taylor expansion of z in a 1.225 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in a 1.225 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.225 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.225 * [taylor]: Taking taylor expansion of t in a 1.225 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.225 * [taylor]: Taking taylor expansion of b in a 1.225 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.225 * [taylor]: Taking taylor expansion of a in a 1.226 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 1.226 * [taylor]: Taking taylor expansion of (* y b) in a 1.226 * [taylor]: Taking taylor expansion of y in a 1.226 * [taylor]: Taking taylor expansion of b in a 1.226 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in b 1.226 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) 1.226 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in b 1.226 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in b 1.226 * [taylor]: Taking taylor expansion of 1.0 in b 1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.226 * [taylor]: Taking taylor expansion of y in b 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.226 * [taylor]: Taking taylor expansion of z in b 1.226 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in b 1.226 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.226 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in b 1.226 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.226 * [taylor]: Taking taylor expansion of t in b 1.226 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.226 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.226 * [taylor]: Taking taylor expansion of b in b 1.227 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.227 * [taylor]: Taking taylor expansion of a in b 1.227 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.227 * [taylor]: Taking taylor expansion of (* y b) in b 1.227 * [taylor]: Taking taylor expansion of y in b 1.227 * [taylor]: Taking taylor expansion of b in b 1.227 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in t 1.227 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) 1.227 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in t 1.227 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in t 1.227 * [taylor]: Taking taylor expansion of 1.0 in t 1.227 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.227 * [taylor]: Taking taylor expansion of y in t 1.227 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.227 * [taylor]: Taking taylor expansion of z in t 1.227 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in t 1.227 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.227 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in t 1.227 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.227 * [taylor]: Taking taylor expansion of t in t 1.228 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in t 1.228 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.228 * [taylor]: Taking taylor expansion of b in t 1.228 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.228 * [taylor]: Taking taylor expansion of a in t 1.228 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.228 * [taylor]: Taking taylor expansion of (* y b) in t 1.228 * [taylor]: Taking taylor expansion of y in t 1.228 * [taylor]: Taking taylor expansion of b in t 1.228 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in z 1.228 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) 1.228 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in z 1.228 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 1.228 * [taylor]: Taking taylor expansion of 1.0 in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.228 * [taylor]: Taking taylor expansion of y in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.228 * [taylor]: Taking taylor expansion of z in z 1.228 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in z 1.229 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.229 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in z 1.229 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.229 * [taylor]: Taking taylor expansion of t in z 1.229 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in z 1.229 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.229 * [taylor]: Taking taylor expansion of b in z 1.229 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.229 * [taylor]: Taking taylor expansion of a in z 1.229 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in z 1.229 * [taylor]: Taking taylor expansion of (* y b) in z 1.229 * [taylor]: Taking taylor expansion of y in z 1.229 * [taylor]: Taking taylor expansion of b in z 1.229 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in y 1.229 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) 1.229 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y 1.229 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 1.229 * [taylor]: Taking taylor expansion of 1.0 in y 1.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.229 * [taylor]: Taking taylor expansion of y in y 1.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.229 * [taylor]: Taking taylor expansion of z in y 1.229 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in y 1.229 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.229 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.230 * [taylor]: Taking taylor expansion of t in y 1.230 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.230 * [taylor]: Taking taylor expansion of b in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.230 * [taylor]: Taking taylor expansion of a in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.230 * [taylor]: Taking taylor expansion of (* y b) in y 1.230 * [taylor]: Taking taylor expansion of y in y 1.230 * [taylor]: Taking taylor expansion of b in y 1.230 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) in y 1.230 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b)))) 1.230 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y 1.230 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 1.230 * [taylor]: Taking taylor expansion of 1.0 in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.230 * [taylor]: Taking taylor expansion of y in y 1.230 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.231 * [taylor]: Taking taylor expansion of z in y 1.231 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in y 1.231 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.231 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in y 1.231 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.231 * [taylor]: Taking taylor expansion of t in y 1.231 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in y 1.231 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.231 * [taylor]: Taking taylor expansion of b in y 1.231 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.231 * [taylor]: Taking taylor expansion of a in y 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.231 * [taylor]: Taking taylor expansion of (* y b) in y 1.231 * [taylor]: Taking taylor expansion of y in y 1.231 * [taylor]: Taking taylor expansion of b in y 1.232 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in z 1.232 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.232 * [taylor]: Taking taylor expansion of b in z 1.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.232 * [taylor]: Taking taylor expansion of z in z 1.233 * [taylor]: Taking taylor expansion of -1 in t 1.235 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (* 1.0 (/ 1 z))) (/ 1 (* a t))) in z 1.235 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 1.0 (/ 1 z))) in z 1.235 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z 1.235 * [taylor]: Taking taylor expansion of (* t b) in z 1.235 * [taylor]: Taking taylor expansion of t in z 1.235 * [taylor]: Taking taylor expansion of b in z 1.235 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.235 * [taylor]: Taking taylor expansion of 1.0 in z 1.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.235 * [taylor]: Taking taylor expansion of z in z 1.235 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in z 1.235 * [taylor]: Taking taylor expansion of (* a t) in z 1.235 * [taylor]: Taking taylor expansion of a in z 1.235 * [taylor]: Taking taylor expansion of t in z 1.236 * [taylor]: Taking taylor expansion of 1.0 in t 1.237 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.237 * [taylor]: Taking taylor expansion of b in t 1.237 * [taylor]: Taking taylor expansion of -1 in b 1.241 * [taylor]: Taking taylor expansion of 0 in z 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (/ 1 (* a t))) in t 1.242 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.242 * [taylor]: Taking taylor expansion of (* t b) in t 1.242 * [taylor]: Taking taylor expansion of t in t 1.242 * [taylor]: Taking taylor expansion of b in t 1.242 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in t 1.242 * [taylor]: Taking taylor expansion of (* a t) in t 1.242 * [taylor]: Taking taylor expansion of a in t 1.242 * [taylor]: Taking taylor expansion of t in t 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.242 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.242 * [taylor]: Taking taylor expansion of b in b 1.243 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.243 * [taylor]: Taking taylor expansion of a in b 1.243 * [taylor]: Taking taylor expansion of 1 in a 1.244 * [taylor]: Taking taylor expansion of 0 in t 1.244 * [taylor]: Taking taylor expansion of 1.0 in b 1.244 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.244 * [taylor]: Taking taylor expansion of b in b 1.244 * [taylor]: Taking taylor expansion of 1 in a 1.244 * [taylor]: Taking taylor expansion of 0 in b 1.244 * [taylor]: Taking taylor expansion of -1 in a 1.249 * [taylor]: Taking taylor expansion of 0 in z 1.249 * [taylor]: Taking taylor expansion of 0 in t 1.251 * [taylor]: Taking taylor expansion of 0 in t 1.252 * [taylor]: Taking taylor expansion of 0 in t 1.254 * [taylor]: Taking taylor expansion of 0 in b 1.254 * [taylor]: Taking taylor expansion of 0 in b 1.254 * [taylor]: Taking taylor expansion of 0 in b 1.254 * [taylor]: Taking taylor expansion of 0 in b 1.254 * [taylor]: Taking taylor expansion of 0 in b 1.254 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.254 * [taylor]: Taking taylor expansion of a in a 1.255 * [taylor]: Taking taylor expansion of 1.0 in a 1.255 * [taylor]: Taking taylor expansion of 0 in a 1.255 * [taylor]: Taking taylor expansion of 0 in a 1.255 * [taylor]: Taking taylor expansion of 0 in a 1.257 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in (y z t b a) around 0 1.257 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in a 1.257 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) 1.257 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in a 1.257 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in a 1.257 * [taylor]: Taking taylor expansion of (/ 1 y) in a 1.257 * [taylor]: Taking taylor expansion of y in a 1.257 * [taylor]: Taking taylor expansion of 1.0 in a 1.257 * [taylor]: Taking taylor expansion of (/ -1 z) in a 1.257 * [taylor]: Taking taylor expansion of -1 in a 1.257 * [taylor]: Taking taylor expansion of z in a 1.257 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in a 1.257 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.257 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in a 1.257 * [taylor]: Taking taylor expansion of (/ -1 t) in a 1.257 * [taylor]: Taking taylor expansion of -1 in a 1.257 * [taylor]: Taking taylor expansion of t in a 1.257 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 1.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.257 * [taylor]: Taking taylor expansion of a in a 1.257 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.257 * [taylor]: Taking taylor expansion of b in a 1.258 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 1.258 * [taylor]: Taking taylor expansion of (* y b) in a 1.258 * [taylor]: Taking taylor expansion of y in a 1.258 * [taylor]: Taking taylor expansion of b in a 1.258 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in b 1.258 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) 1.258 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in b 1.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in b 1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.258 * [taylor]: Taking taylor expansion of y in b 1.258 * [taylor]: Taking taylor expansion of 1.0 in b 1.258 * [taylor]: Taking taylor expansion of (/ -1 z) in b 1.258 * [taylor]: Taking taylor expansion of -1 in b 1.258 * [taylor]: Taking taylor expansion of z in b 1.258 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in b 1.258 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.258 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in b 1.258 * [taylor]: Taking taylor expansion of (/ -1 t) in b 1.258 * [taylor]: Taking taylor expansion of -1 in b 1.258 * [taylor]: Taking taylor expansion of t in b 1.258 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 1.258 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.258 * [taylor]: Taking taylor expansion of a in b 1.258 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.258 * [taylor]: Taking taylor expansion of b in b 1.258 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.258 * [taylor]: Taking taylor expansion of (* y b) in b 1.259 * [taylor]: Taking taylor expansion of y in b 1.259 * [taylor]: Taking taylor expansion of b in b 1.259 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in t 1.259 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) 1.259 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in t 1.259 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in t 1.259 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.259 * [taylor]: Taking taylor expansion of y in t 1.259 * [taylor]: Taking taylor expansion of 1.0 in t 1.259 * [taylor]: Taking taylor expansion of (/ -1 z) in t 1.259 * [taylor]: Taking taylor expansion of -1 in t 1.259 * [taylor]: Taking taylor expansion of z in t 1.259 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in t 1.259 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.259 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in t 1.259 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.259 * [taylor]: Taking taylor expansion of -1 in t 1.259 * [taylor]: Taking taylor expansion of t in t 1.260 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in t 1.260 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.260 * [taylor]: Taking taylor expansion of a in t 1.260 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.260 * [taylor]: Taking taylor expansion of b in t 1.260 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.260 * [taylor]: Taking taylor expansion of (* y b) in t 1.260 * [taylor]: Taking taylor expansion of y in t 1.260 * [taylor]: Taking taylor expansion of b in t 1.260 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in z 1.260 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) 1.260 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in z 1.260 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.260 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.260 * [taylor]: Taking taylor expansion of y in z 1.260 * [taylor]: Taking taylor expansion of 1.0 in z 1.260 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.260 * [taylor]: Taking taylor expansion of -1 in z 1.260 * [taylor]: Taking taylor expansion of z in z 1.260 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in z 1.261 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.261 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in z 1.261 * [taylor]: Taking taylor expansion of (/ -1 t) in z 1.261 * [taylor]: Taking taylor expansion of -1 in z 1.261 * [taylor]: Taking taylor expansion of t in z 1.261 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in z 1.261 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.261 * [taylor]: Taking taylor expansion of a in z 1.261 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.261 * [taylor]: Taking taylor expansion of b in z 1.261 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in z 1.261 * [taylor]: Taking taylor expansion of (* y b) in z 1.261 * [taylor]: Taking taylor expansion of y in z 1.261 * [taylor]: Taking taylor expansion of b in z 1.261 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in y 1.261 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) 1.261 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y 1.261 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.261 * [taylor]: Taking taylor expansion of y in y 1.261 * [taylor]: Taking taylor expansion of 1.0 in y 1.261 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.261 * [taylor]: Taking taylor expansion of -1 in y 1.261 * [taylor]: Taking taylor expansion of z in y 1.261 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in y 1.262 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.262 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in y 1.262 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.262 * [taylor]: Taking taylor expansion of -1 in y 1.262 * [taylor]: Taking taylor expansion of t in y 1.262 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in y 1.262 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.262 * [taylor]: Taking taylor expansion of a in y 1.262 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.262 * [taylor]: Taking taylor expansion of b in y 1.262 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.262 * [taylor]: Taking taylor expansion of (* y b) in y 1.262 * [taylor]: Taking taylor expansion of y in y 1.262 * [taylor]: Taking taylor expansion of b in y 1.262 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) in y 1.262 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b)))) 1.262 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y 1.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.262 * [taylor]: Taking taylor expansion of y in y 1.263 * [taylor]: Taking taylor expansion of 1.0 in y 1.263 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.263 * [taylor]: Taking taylor expansion of -1 in y 1.263 * [taylor]: Taking taylor expansion of z in y 1.263 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in y 1.263 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.263 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in y 1.263 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.263 * [taylor]: Taking taylor expansion of -1 in y 1.263 * [taylor]: Taking taylor expansion of t in y 1.263 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.263 * [taylor]: Taking taylor expansion of a in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.263 * [taylor]: Taking taylor expansion of b in y 1.263 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.263 * [taylor]: Taking taylor expansion of (* y b) in y 1.263 * [taylor]: Taking taylor expansion of y in y 1.263 * [taylor]: Taking taylor expansion of b in y 1.264 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in z 1.264 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.264 * [taylor]: Taking taylor expansion of b in z 1.264 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.264 * [taylor]: Taking taylor expansion of z in z 1.265 * [taylor]: Taking taylor expansion of -1 in t 1.267 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (/ 1 (* a t)))) in z 1.267 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z 1.267 * [taylor]: Taking taylor expansion of (* t b) in z 1.267 * [taylor]: Taking taylor expansion of t in z 1.267 * [taylor]: Taking taylor expansion of b in z 1.267 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* a t))) in z 1.267 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.267 * [taylor]: Taking taylor expansion of 1.0 in z 1.267 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.267 * [taylor]: Taking taylor expansion of z in z 1.267 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in z 1.267 * [taylor]: Taking taylor expansion of (* a t) in z 1.267 * [taylor]: Taking taylor expansion of a in z 1.267 * [taylor]: Taking taylor expansion of t in z 1.269 * [taylor]: Taking taylor expansion of (- 1.0) in t 1.269 * [taylor]: Taking taylor expansion of 1.0 in t 1.269 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.269 * [taylor]: Taking taylor expansion of b in t 1.269 * [taylor]: Taking taylor expansion of -1 in b 1.273 * [taylor]: Taking taylor expansion of 0 in z 1.274 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (/ 1 (* a t))) in t 1.274 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.274 * [taylor]: Taking taylor expansion of (* t b) in t 1.274 * [taylor]: Taking taylor expansion of t in t 1.274 * [taylor]: Taking taylor expansion of b in t 1.274 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in t 1.274 * [taylor]: Taking taylor expansion of (* a t) in t 1.274 * [taylor]: Taking taylor expansion of a in t 1.274 * [taylor]: Taking taylor expansion of t in t 1.275 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.275 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.275 * [taylor]: Taking taylor expansion of b in b 1.275 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.275 * [taylor]: Taking taylor expansion of a in b 1.275 * [taylor]: Taking taylor expansion of 1 in a 1.276 * [taylor]: Taking taylor expansion of 0 in t 1.277 * [taylor]: Taking taylor expansion of (- 1.0) in b 1.277 * [taylor]: Taking taylor expansion of 1.0 in b 1.277 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.277 * [taylor]: Taking taylor expansion of b in b 1.277 * [taylor]: Taking taylor expansion of 1 in a 1.277 * [taylor]: Taking taylor expansion of 0 in b 1.277 * [taylor]: Taking taylor expansion of -1 in a 1.281 * [taylor]: Taking taylor expansion of 0 in z 1.281 * [taylor]: Taking taylor expansion of 0 in t 1.283 * [taylor]: Taking taylor expansion of 0 in t 1.289 * [taylor]: Taking taylor expansion of 0 in t 1.291 * [taylor]: Taking taylor expansion of 0 in b 1.291 * [taylor]: Taking taylor expansion of 0 in b 1.291 * [taylor]: Taking taylor expansion of 0 in b 1.291 * [taylor]: Taking taylor expansion of 0 in b 1.291 * [taylor]: Taking taylor expansion of 0 in b 1.292 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.292 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.292 * [taylor]: Taking taylor expansion of a in a 1.293 * [taylor]: Taking taylor expansion of (- 1.0) in a 1.293 * [taylor]: Taking taylor expansion of 1.0 in a 1.293 * [taylor]: Taking taylor expansion of 0 in a 1.293 * [taylor]: Taking taylor expansion of 0 in a 1.293 * [taylor]: Taking taylor expansion of 0 in a 1.294 * * * * [progress]: [ 2 / 2 ] generating series at (2 3) 1.294 * [approximate]: Taking taylor expansion of (fma t (- b a) (* y b)) in (t b a y) around 0 1.294 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in y 1.294 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.294 * [taylor]: Taking taylor expansion of (* t (- b a)) in y 1.294 * [taylor]: Taking taylor expansion of t in y 1.294 * [taylor]: Taking taylor expansion of (- b a) in y 1.294 * [taylor]: Taking taylor expansion of b in y 1.294 * [taylor]: Taking taylor expansion of a in y 1.294 * [taylor]: Taking taylor expansion of (* y b) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of b in y 1.294 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in a 1.295 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.295 * [taylor]: Taking taylor expansion of (* t (- b a)) in a 1.295 * [taylor]: Taking taylor expansion of t in a 1.295 * [taylor]: Taking taylor expansion of (- b a) in a 1.295 * [taylor]: Taking taylor expansion of b in a 1.295 * [taylor]: Taking taylor expansion of a in a 1.295 * [taylor]: Taking taylor expansion of (* y b) in a 1.295 * [taylor]: Taking taylor expansion of y in a 1.295 * [taylor]: Taking taylor expansion of b in a 1.295 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in b 1.295 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.295 * [taylor]: Taking taylor expansion of (* t (- b a)) in b 1.295 * [taylor]: Taking taylor expansion of t in b 1.295 * [taylor]: Taking taylor expansion of (- b a) in b 1.295 * [taylor]: Taking taylor expansion of b in b 1.295 * [taylor]: Taking taylor expansion of a in b 1.295 * [taylor]: Taking taylor expansion of (* y b) in b 1.295 * [taylor]: Taking taylor expansion of y in b 1.295 * [taylor]: Taking taylor expansion of b in b 1.295 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in t 1.295 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.295 * [taylor]: Taking taylor expansion of (* t (- b a)) in t 1.295 * [taylor]: Taking taylor expansion of t in t 1.295 * [taylor]: Taking taylor expansion of (- b a) in t 1.295 * [taylor]: Taking taylor expansion of b in t 1.295 * [taylor]: Taking taylor expansion of a in t 1.295 * [taylor]: Taking taylor expansion of (* y b) in t 1.295 * [taylor]: Taking taylor expansion of y in t 1.295 * [taylor]: Taking taylor expansion of b in t 1.295 * [taylor]: Taking taylor expansion of (fma t (- b a) (* y b)) in t 1.295 * [taylor]: Rewrote expression to (+ (* t (- b a)) (* y b)) 1.295 * [taylor]: Taking taylor expansion of (* t (- b a)) in t 1.295 * [taylor]: Taking taylor expansion of t in t 1.295 * [taylor]: Taking taylor expansion of (- b a) in t 1.295 * [taylor]: Taking taylor expansion of b in t 1.295 * [taylor]: Taking taylor expansion of a in t 1.295 * [taylor]: Taking taylor expansion of (* y b) in t 1.295 * [taylor]: Taking taylor expansion of y in t 1.295 * [taylor]: Taking taylor expansion of b in t 1.296 * [taylor]: Taking taylor expansion of (* y b) in b 1.296 * [taylor]: Taking taylor expansion of y in b 1.296 * [taylor]: Taking taylor expansion of b in b 1.296 * [taylor]: Taking taylor expansion of 0 in a 1.296 * [taylor]: Taking taylor expansion of 0 in y 1.296 * [taylor]: Taking taylor expansion of (- b a) in b 1.296 * [taylor]: Taking taylor expansion of b in b 1.296 * [taylor]: Taking taylor expansion of a in b 1.297 * [taylor]: Taking taylor expansion of (- a) in a 1.297 * [taylor]: Taking taylor expansion of a in a 1.297 * [taylor]: Taking taylor expansion of 0 in y 1.297 * [taylor]: Taking taylor expansion of y in a 1.297 * [taylor]: Taking taylor expansion of y in y 1.297 * [taylor]: Taking taylor expansion of 0 in y 1.299 * [taylor]: Taking taylor expansion of 0 in b 1.299 * [taylor]: Taking taylor expansion of 0 in a 1.299 * [taylor]: Taking taylor expansion of 0 in y 1.299 * [approximate]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in (t b a y) around 0 1.299 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in y 1.299 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.299 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in y 1.299 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.299 * [taylor]: Taking taylor expansion of t in y 1.299 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in y 1.299 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.299 * [taylor]: Taking taylor expansion of b in y 1.299 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.299 * [taylor]: Taking taylor expansion of a in y 1.299 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.300 * [taylor]: Taking taylor expansion of (* y b) in y 1.300 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of b in y 1.300 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in a 1.300 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.300 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in a 1.300 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.300 * [taylor]: Taking taylor expansion of t in a 1.300 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 1.300 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.300 * [taylor]: Taking taylor expansion of b in a 1.300 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.300 * [taylor]: Taking taylor expansion of a in a 1.300 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 1.300 * [taylor]: Taking taylor expansion of (* y b) in a 1.300 * [taylor]: Taking taylor expansion of y in a 1.300 * [taylor]: Taking taylor expansion of b in a 1.301 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in b 1.301 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.301 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in b 1.301 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.301 * [taylor]: Taking taylor expansion of t in b 1.301 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.301 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.301 * [taylor]: Taking taylor expansion of b in b 1.301 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.301 * [taylor]: Taking taylor expansion of a in b 1.301 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.301 * [taylor]: Taking taylor expansion of (* y b) in b 1.301 * [taylor]: Taking taylor expansion of y in b 1.301 * [taylor]: Taking taylor expansion of b in b 1.301 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in t 1.302 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.302 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in t 1.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.302 * [taylor]: Taking taylor expansion of t in t 1.302 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in t 1.302 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.302 * [taylor]: Taking taylor expansion of b in t 1.302 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.302 * [taylor]: Taking taylor expansion of a in t 1.302 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.302 * [taylor]: Taking taylor expansion of (* y b) in t 1.302 * [taylor]: Taking taylor expansion of y in t 1.302 * [taylor]: Taking taylor expansion of b in t 1.302 * [taylor]: Taking taylor expansion of (fma (/ 1 t) (- (/ 1 b) (/ 1 a)) (/ 1 (* y b))) in t 1.302 * [taylor]: Rewrote expression to (+ (* (/ 1 t) (- (/ 1 b) (/ 1 a))) (/ 1 (* y b))) 1.302 * [taylor]: Taking taylor expansion of (* (/ 1 t) (- (/ 1 b) (/ 1 a))) in t 1.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.302 * [taylor]: Taking taylor expansion of t in t 1.303 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in t 1.303 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.303 * [taylor]: Taking taylor expansion of b in t 1.303 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.303 * [taylor]: Taking taylor expansion of a in t 1.303 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.303 * [taylor]: Taking taylor expansion of (* y b) in t 1.303 * [taylor]: Taking taylor expansion of y in t 1.303 * [taylor]: Taking taylor expansion of b in t 1.303 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.303 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.303 * [taylor]: Taking taylor expansion of b in b 1.303 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.303 * [taylor]: Taking taylor expansion of a in b 1.304 * [taylor]: Taking taylor expansion of 1 in a 1.305 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.305 * [taylor]: Taking taylor expansion of (* y b) in b 1.305 * [taylor]: Taking taylor expansion of y in b 1.305 * [taylor]: Taking taylor expansion of b in b 1.305 * [taylor]: Taking taylor expansion of (/ 1 y) in a 1.305 * [taylor]: Taking taylor expansion of y in a 1.306 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.306 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.306 * [taylor]: Taking taylor expansion of a in a 1.306 * [taylor]: Taking taylor expansion of -1 in y 1.306 * [taylor]: Taking taylor expansion of 1 in y 1.308 * [taylor]: Taking taylor expansion of 0 in b 1.309 * [taylor]: Taking taylor expansion of 0 in a 1.310 * [taylor]: Taking taylor expansion of 0 in a 1.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.310 * [taylor]: Taking taylor expansion of y in y 1.311 * [taylor]: Taking taylor expansion of 0 in y 1.311 * [taylor]: Taking taylor expansion of 0 in y 1.312 * [approximate]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in (t b a y) around 0 1.312 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in y 1.312 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.312 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in y 1.312 * [taylor]: Taking taylor expansion of (/ -1 t) in y 1.312 * [taylor]: Taking taylor expansion of -1 in y 1.312 * [taylor]: Taking taylor expansion of t in y 1.312 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in y 1.312 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.312 * [taylor]: Taking taylor expansion of a in y 1.312 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.312 * [taylor]: Taking taylor expansion of b in y 1.312 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.312 * [taylor]: Taking taylor expansion of (* y b) in y 1.312 * [taylor]: Taking taylor expansion of y in y 1.312 * [taylor]: Taking taylor expansion of b in y 1.313 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in a 1.313 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.313 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in a 1.313 * [taylor]: Taking taylor expansion of (/ -1 t) in a 1.313 * [taylor]: Taking taylor expansion of -1 in a 1.313 * [taylor]: Taking taylor expansion of t in a 1.313 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in a 1.313 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.313 * [taylor]: Taking taylor expansion of a in a 1.313 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.313 * [taylor]: Taking taylor expansion of b in a 1.313 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 1.313 * [taylor]: Taking taylor expansion of (* y b) in a 1.313 * [taylor]: Taking taylor expansion of y in a 1.313 * [taylor]: Taking taylor expansion of b in a 1.313 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in b 1.313 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.313 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in b 1.313 * [taylor]: Taking taylor expansion of (/ -1 t) in b 1.313 * [taylor]: Taking taylor expansion of -1 in b 1.313 * [taylor]: Taking taylor expansion of t in b 1.313 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in b 1.313 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.313 * [taylor]: Taking taylor expansion of a in b 1.314 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.314 * [taylor]: Taking taylor expansion of b in b 1.314 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.314 * [taylor]: Taking taylor expansion of (* y b) in b 1.314 * [taylor]: Taking taylor expansion of y in b 1.314 * [taylor]: Taking taylor expansion of b in b 1.314 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in t 1.314 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.314 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in t 1.314 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.314 * [taylor]: Taking taylor expansion of -1 in t 1.314 * [taylor]: Taking taylor expansion of t in t 1.315 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in t 1.315 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.315 * [taylor]: Taking taylor expansion of a in t 1.315 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.315 * [taylor]: Taking taylor expansion of b in t 1.315 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.315 * [taylor]: Taking taylor expansion of (* y b) in t 1.315 * [taylor]: Taking taylor expansion of y in t 1.315 * [taylor]: Taking taylor expansion of b in t 1.315 * [taylor]: Taking taylor expansion of (fma (/ -1 t) (- (/ 1 a) (/ 1 b)) (/ 1 (* y b))) in t 1.315 * [taylor]: Rewrote expression to (+ (* (/ -1 t) (- (/ 1 a) (/ 1 b))) (/ 1 (* y b))) 1.315 * [taylor]: Taking taylor expansion of (* (/ -1 t) (- (/ 1 a) (/ 1 b))) in t 1.315 * [taylor]: Taking taylor expansion of (/ -1 t) in t 1.315 * [taylor]: Taking taylor expansion of -1 in t 1.315 * [taylor]: Taking taylor expansion of t in t 1.315 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 b)) in t 1.315 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.315 * [taylor]: Taking taylor expansion of a in t 1.316 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.316 * [taylor]: Taking taylor expansion of b in t 1.316 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.316 * [taylor]: Taking taylor expansion of (* y b) in t 1.316 * [taylor]: Taking taylor expansion of y in t 1.316 * [taylor]: Taking taylor expansion of b in t 1.316 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.316 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.316 * [taylor]: Taking taylor expansion of b in b 1.316 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.316 * [taylor]: Taking taylor expansion of a in b 1.317 * [taylor]: Taking taylor expansion of 1 in a 1.318 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.318 * [taylor]: Taking taylor expansion of (* y b) in b 1.318 * [taylor]: Taking taylor expansion of y in b 1.318 * [taylor]: Taking taylor expansion of b in b 1.319 * [taylor]: Taking taylor expansion of (/ 1 y) in a 1.319 * [taylor]: Taking taylor expansion of y in a 1.319 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.319 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.319 * [taylor]: Taking taylor expansion of a in a 1.320 * [taylor]: Taking taylor expansion of -1 in y 1.320 * [taylor]: Taking taylor expansion of 1 in y 1.322 * [taylor]: Taking taylor expansion of 0 in b 1.323 * [taylor]: Taking taylor expansion of 0 in a 1.324 * [taylor]: Taking taylor expansion of 0 in a 1.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.324 * [taylor]: Taking taylor expansion of y in y 1.325 * [taylor]: Taking taylor expansion of 0 in y 1.325 * [taylor]: Taking taylor expansion of 0 in y 1.325 * * * [progress]: simplifying candidates 1.326 * [simplify]: Simplifying using # : (expm1 (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (log1p (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (* (- 1.0 y) z) (log (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (exp (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (* (cbrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (cbrt (fma (- 1.0 y) z (fma t (- b a) (* y b))))) (cbrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (* (* (fma (- 1.0 y) z (fma t (- b a) (* y b))) (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (sqrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (sqrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (expm1 (fma t (- b a) (* y b))) (log1p (fma t (- b a) (* y b))) (* t (- b a)) (log (fma t (- b a) (* y b))) (exp (fma t (- b a) (* y b))) (* (cbrt (fma t (- b a) (* y b))) (cbrt (fma t (- b a) (* y b)))) (cbrt (fma t (- b a) (* y b))) (* (* (fma t (- b a) (* y b)) (fma t (- b a) (* y b))) (fma t (- b a) (* y b))) (sqrt (fma t (- b a) (* y b))) (sqrt (fma t (- b a) (* y b))) (- (+ (* y b) (* 1.0 z)) (* z y)) (- (+ (* y b) (* t b)) (* a t)) (- (+ (* y b) (* t b)) (* a t)) 0 (- (+ (* y b) (* t b)) (* a t)) (- (+ (* y b) (* t b)) (* a t)) 1.329 * * [simplify]: iteration 0 : 69 enodes (cost 149 ) 1.331 * * [simplify]: iteration 1 : 151 enodes (cost 122 ) 1.334 * * [simplify]: iteration 2 : 648 enodes (cost 121 ) 1.349 * * [simplify]: iteration 3 : 4459 enodes (cost 121 ) 1.443 * * [simplify]: iteration 4 : 5001 enodes (cost 121 ) 1.444 * [simplify]: Simplified to: (expm1 (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (log1p (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (* (- 1.0 y) z) (log (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (exp (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (* (cbrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (cbrt (fma (- 1.0 y) z (fma t (- b a) (* y b))))) (cbrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (pow (fma (- 1.0 y) z (fma t (- b a) (* y b))) 3) (sqrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (sqrt (fma (- 1.0 y) z (fma t (- b a) (* y b)))) (expm1 (fma t (- b a) (* y b))) (log1p (fma t (- b a) (* y b))) (* t (- b a)) (log (fma t (- b a) (* y b))) (exp (fma t (- b a) (* y b))) (* (cbrt (fma t (- b a) (* y b))) (cbrt (fma t (- b a) (* y b)))) (cbrt (fma t (- b a) (* y b))) (pow (fma t (- b a) (* y b)) 3) (sqrt (fma t (- b a) (* y b))) (sqrt (fma t (- b a) (* y b))) (fma z (- 1.0 y) (* y b)) (fma t (- b a) (* y b)) (fma t (- b a) (* y b)) 0 (fma t (- b a) (* y b)) (fma t (- b a) (* y b)) 1.444 * * * [progress]: adding candidates to table 1.516 * * [progress]: iteration 4 / 4 1.516 * * * [progress]: picking best candidate 1.519 * * * * [pick]: Picked # 1.519 * * * [progress]: localizing error 1.535 * * * [progress]: generating rewritten candidates 1.535 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 1.554 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 2) 1.559 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 1) 1.564 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 2 2 1) 1.575 * * * [progress]: generating series expansions 1.575 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 1.575 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 1.575 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.575 * [taylor]: Taking taylor expansion of (- t 1.0) in a 1.575 * [taylor]: Taking taylor expansion of t in a 1.575 * [taylor]: Taking taylor expansion of 1.0 in a 1.575 * [taylor]: Taking taylor expansion of a in a 1.575 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.575 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.575 * [taylor]: Taking taylor expansion of t in t 1.575 * [taylor]: Taking taylor expansion of 1.0 in t 1.575 * [taylor]: Taking taylor expansion of a in t 1.575 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.575 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.575 * [taylor]: Taking taylor expansion of t in t 1.575 * [taylor]: Taking taylor expansion of 1.0 in t 1.575 * [taylor]: Taking taylor expansion of a in t 1.577 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.577 * [taylor]: Taking taylor expansion of -1.0 in a 1.577 * [taylor]: Taking taylor expansion of a in a 1.578 * [taylor]: Taking taylor expansion of a in a 1.580 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.584 * [taylor]: Taking taylor expansion of 0 in a 1.585 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 1.585 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.585 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 1.585 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.585 * [taylor]: Taking taylor expansion of t in a 1.585 * [taylor]: Taking taylor expansion of 1.0 in a 1.585 * [taylor]: Taking taylor expansion of a in a 1.585 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.585 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.585 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.585 * [taylor]: Taking taylor expansion of t in t 1.586 * [taylor]: Taking taylor expansion of 1.0 in t 1.586 * [taylor]: Taking taylor expansion of a in t 1.586 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.586 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.586 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.586 * [taylor]: Taking taylor expansion of t in t 1.586 * [taylor]: Taking taylor expansion of 1.0 in t 1.586 * [taylor]: Taking taylor expansion of a in t 1.587 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.587 * [taylor]: Taking taylor expansion of a in a 1.589 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a 1.589 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.589 * [taylor]: Taking taylor expansion of 1.0 in a 1.589 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.589 * [taylor]: Taking taylor expansion of a in a 1.591 * [taylor]: Taking taylor expansion of 0 in a 1.594 * [taylor]: Taking taylor expansion of 0 in a 1.596 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 1.596 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.596 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 1.596 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.596 * [taylor]: Taking taylor expansion of t in a 1.596 * [taylor]: Taking taylor expansion of 1.0 in a 1.596 * [taylor]: Taking taylor expansion of a in a 1.596 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.597 * [taylor]: Taking taylor expansion of t in t 1.597 * [taylor]: Taking taylor expansion of 1.0 in t 1.597 * [taylor]: Taking taylor expansion of a in t 1.597 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.597 * [taylor]: Taking taylor expansion of t in t 1.597 * [taylor]: Taking taylor expansion of 1.0 in t 1.597 * [taylor]: Taking taylor expansion of a in t 1.598 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.598 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.599 * [taylor]: Taking taylor expansion of 1.0 in a 1.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.601 * [taylor]: Taking taylor expansion of 0 in a 1.603 * [taylor]: Taking taylor expansion of 0 in a 1.605 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 2) 1.605 * [approximate]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in (t a) around 0 1.605 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in a 1.605 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.605 * [taylor]: Taking taylor expansion of (- t 1.0) in a 1.605 * [taylor]: Taking taylor expansion of t in a 1.605 * [taylor]: Taking taylor expansion of 1.0 in a 1.605 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 1.607 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.607 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.607 * [taylor]: Taking taylor expansion of t in t 1.607 * [taylor]: Taking taylor expansion of 1.0 in t 1.607 * [taylor]: Taking taylor expansion of a in t 1.609 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 1.609 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.609 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.609 * [taylor]: Taking taylor expansion of t in t 1.609 * [taylor]: Taking taylor expansion of 1.0 in t 1.609 * [taylor]: Taking taylor expansion of a in t 1.611 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 1.611 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.611 * [taylor]: Taking taylor expansion of -1.0 in a 1.611 * [taylor]: Taking taylor expansion of a in a 1.613 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (sqrt (* -1.0 a)))) in a 1.613 * [taylor]: Taking taylor expansion of 1/2 in a 1.613 * [taylor]: Taking taylor expansion of (/ a (sqrt (* -1.0 a))) in a 1.613 * [taylor]: Taking taylor expansion of a in a 1.613 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 1.613 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.613 * [taylor]: Taking taylor expansion of -1.0 in a 1.613 * [taylor]: Taking taylor expansion of a in a 1.618 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3))) in a 1.618 * [taylor]: Taking taylor expansion of -1/8 in a 1.618 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3)) in a 1.618 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.618 * [taylor]: Taking taylor expansion of a in a 1.618 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1.0 a)) 3) in a 1.618 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 1.618 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.618 * [taylor]: Taking taylor expansion of -1.0 in a 1.618 * [taylor]: Taking taylor expansion of a in a 1.630 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in (t a) around 0 1.630 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in a 1.630 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.630 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 1.630 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.630 * [taylor]: Taking taylor expansion of t in a 1.630 * [taylor]: Taking taylor expansion of 1.0 in a 1.630 * [taylor]: Taking taylor expansion of a in a 1.631 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 1.631 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.631 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.631 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.631 * [taylor]: Taking taylor expansion of t in t 1.632 * [taylor]: Taking taylor expansion of 1.0 in t 1.632 * [taylor]: Taking taylor expansion of a in t 1.633 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 1.633 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.633 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.633 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.633 * [taylor]: Taking taylor expansion of t in t 1.633 * [taylor]: Taking taylor expansion of 1.0 in t 1.633 * [taylor]: Taking taylor expansion of a in t 1.634 * [taylor]: Taking taylor expansion of 0 in a 1.634 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 1.634 * [taylor]: Taking taylor expansion of +nan.0 in a 1.634 * [taylor]: Taking taylor expansion of a in a 1.636 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) in a 1.636 * [taylor]: Taking taylor expansion of +nan.0 in a 1.636 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2))))) in a 1.636 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.636 * [taylor]: Taking taylor expansion of 1.0 in a 1.636 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.636 * [taylor]: Taking taylor expansion of a in a 1.637 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 2)))) in a 1.637 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.637 * [taylor]: Taking taylor expansion of +nan.0 in a 1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.637 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.637 * [taylor]: Taking taylor expansion of a in a 1.649 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 1.649 * [taylor]: Taking taylor expansion of +nan.0 in a 1.649 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 1.649 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.649 * [taylor]: Taking taylor expansion of +nan.0 in a 1.649 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.650 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.650 * [taylor]: Taking taylor expansion of a in a 1.650 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 1.650 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 1.650 * [taylor]: Taking taylor expansion of +nan.0 in a 1.650 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.650 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.650 * [taylor]: Taking taylor expansion of a in a 1.662 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in (t a) around 0 1.662 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in a 1.662 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.662 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 1.662 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.662 * [taylor]: Taking taylor expansion of t in a 1.662 * [taylor]: Taking taylor expansion of 1.0 in a 1.662 * [taylor]: Taking taylor expansion of a in a 1.663 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 1.663 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.663 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.663 * [taylor]: Taking taylor expansion of t in t 1.664 * [taylor]: Taking taylor expansion of 1.0 in t 1.664 * [taylor]: Taking taylor expansion of a in t 1.664 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 1.664 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.664 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.665 * [taylor]: Taking taylor expansion of t in t 1.665 * [taylor]: Taking taylor expansion of 1.0 in t 1.665 * [taylor]: Taking taylor expansion of a in t 1.666 * [taylor]: Taking taylor expansion of 0 in a 1.666 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 1.666 * [taylor]: Taking taylor expansion of +nan.0 in a 1.666 * [taylor]: Taking taylor expansion of a in a 1.667 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2))))) in a 1.668 * [taylor]: Taking taylor expansion of +nan.0 in a 1.668 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2)))) in a 1.668 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.668 * [taylor]: Taking taylor expansion of 1.0 in a 1.668 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.668 * [taylor]: Taking taylor expansion of a in a 1.668 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.668 * [taylor]: Taking taylor expansion of +nan.0 in a 1.668 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.668 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.668 * [taylor]: Taking taylor expansion of a in a 1.674 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 1.674 * [taylor]: Taking taylor expansion of +nan.0 in a 1.674 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 1.675 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.675 * [taylor]: Taking taylor expansion of +nan.0 in a 1.675 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.675 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.675 * [taylor]: Taking taylor expansion of a in a 1.675 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 1.675 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 1.675 * [taylor]: Taking taylor expansion of +nan.0 in a 1.675 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.675 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.675 * [taylor]: Taking taylor expansion of a in a 1.687 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 1) 1.687 * [approximate]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in (t a) around 0 1.687 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in a 1.687 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.687 * [taylor]: Taking taylor expansion of (- t 1.0) in a 1.687 * [taylor]: Taking taylor expansion of t in a 1.687 * [taylor]: Taking taylor expansion of 1.0 in a 1.687 * [taylor]: Taking taylor expansion of a in a 1.689 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 1.689 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.689 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.689 * [taylor]: Taking taylor expansion of t in t 1.689 * [taylor]: Taking taylor expansion of 1.0 in t 1.689 * [taylor]: Taking taylor expansion of a in t 1.691 * [taylor]: Taking taylor expansion of (sqrt (* (- t 1.0) a)) in t 1.691 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.691 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.691 * [taylor]: Taking taylor expansion of t in t 1.691 * [taylor]: Taking taylor expansion of 1.0 in t 1.691 * [taylor]: Taking taylor expansion of a in t 1.693 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 1.693 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.693 * [taylor]: Taking taylor expansion of -1.0 in a 1.693 * [taylor]: Taking taylor expansion of a in a 1.696 * [taylor]: Taking taylor expansion of (* 1/2 (/ a (sqrt (* -1.0 a)))) in a 1.696 * [taylor]: Taking taylor expansion of 1/2 in a 1.696 * [taylor]: Taking taylor expansion of (/ a (sqrt (* -1.0 a))) in a 1.696 * [taylor]: Taking taylor expansion of a in a 1.696 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 1.696 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.696 * [taylor]: Taking taylor expansion of -1.0 in a 1.696 * [taylor]: Taking taylor expansion of a in a 1.700 * [taylor]: Taking taylor expansion of (* -1/8 (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3))) in a 1.700 * [taylor]: Taking taylor expansion of -1/8 in a 1.700 * [taylor]: Taking taylor expansion of (/ (pow a 2) (pow (sqrt (* -1.0 a)) 3)) in a 1.700 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.700 * [taylor]: Taking taylor expansion of a in a 1.701 * [taylor]: Taking taylor expansion of (pow (sqrt (* -1.0 a)) 3) in a 1.701 * [taylor]: Taking taylor expansion of (sqrt (* -1.0 a)) in a 1.701 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.701 * [taylor]: Taking taylor expansion of -1.0 in a 1.701 * [taylor]: Taking taylor expansion of a in a 1.713 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in (t a) around 0 1.713 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in a 1.713 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.713 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 1.713 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.713 * [taylor]: Taking taylor expansion of t in a 1.713 * [taylor]: Taking taylor expansion of 1.0 in a 1.713 * [taylor]: Taking taylor expansion of a in a 1.714 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 1.714 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.714 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.714 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.714 * [taylor]: Taking taylor expansion of t in t 1.714 * [taylor]: Taking taylor expansion of 1.0 in t 1.714 * [taylor]: Taking taylor expansion of a in t 1.715 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 t) 1.0) a)) in t 1.715 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.715 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.715 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.715 * [taylor]: Taking taylor expansion of t in t 1.715 * [taylor]: Taking taylor expansion of 1.0 in t 1.715 * [taylor]: Taking taylor expansion of a in t 1.716 * [taylor]: Taking taylor expansion of 0 in a 1.716 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 1.716 * [taylor]: Taking taylor expansion of +nan.0 in a 1.716 * [taylor]: Taking taylor expansion of a in a 1.719 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2)))))) in a 1.719 * [taylor]: Taking taylor expansion of +nan.0 in a 1.719 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (- (* +nan.0 (/ 1 (pow a 2))))) in a 1.719 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.719 * [taylor]: Taking taylor expansion of 1.0 in a 1.719 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.719 * [taylor]: Taking taylor expansion of a in a 1.719 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 2)))) in a 1.719 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.719 * [taylor]: Taking taylor expansion of +nan.0 in a 1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.719 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.719 * [taylor]: Taking taylor expansion of a in a 1.732 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 1.732 * [taylor]: Taking taylor expansion of +nan.0 in a 1.732 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 1.732 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.732 * [taylor]: Taking taylor expansion of +nan.0 in a 1.732 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.732 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.732 * [taylor]: Taking taylor expansion of a in a 1.732 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 1.732 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 1.732 * [taylor]: Taking taylor expansion of +nan.0 in a 1.732 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.732 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.732 * [taylor]: Taking taylor expansion of a in a 1.745 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in (t a) around 0 1.745 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in a 1.745 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.745 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 1.745 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.745 * [taylor]: Taking taylor expansion of t in a 1.745 * [taylor]: Taking taylor expansion of 1.0 in a 1.745 * [taylor]: Taking taylor expansion of a in a 1.746 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 1.746 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.746 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.746 * [taylor]: Taking taylor expansion of t in t 1.746 * [taylor]: Taking taylor expansion of 1.0 in t 1.746 * [taylor]: Taking taylor expansion of a in t 1.747 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 t) 1.0) a)) in t 1.747 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.747 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.747 * [taylor]: Taking taylor expansion of t in t 1.747 * [taylor]: Taking taylor expansion of 1.0 in t 1.747 * [taylor]: Taking taylor expansion of a in t 1.748 * [taylor]: Taking taylor expansion of 0 in a 1.748 * [taylor]: Taking taylor expansion of (/ +nan.0 a) in a 1.748 * [taylor]: Taking taylor expansion of +nan.0 in a 1.748 * [taylor]: Taking taylor expansion of a in a 1.750 * [taylor]: Taking taylor expansion of (* +nan.0 (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2))))) in a 1.750 * [taylor]: Taking taylor expansion of +nan.0 in a 1.750 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (* +nan.0 (/ 1 (pow a 2)))) in a 1.750 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.750 * [taylor]: Taking taylor expansion of 1.0 in a 1.750 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.750 * [taylor]: Taking taylor expansion of a in a 1.751 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.751 * [taylor]: Taking taylor expansion of +nan.0 in a 1.751 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.751 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.751 * [taylor]: Taking taylor expansion of a in a 1.758 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3)))))) in a 1.758 * [taylor]: Taking taylor expansion of +nan.0 in a 1.758 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow a 2))) (- (* +nan.0 (/ 1 (pow a 3))))) in a 1.758 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 2))) in a 1.758 * [taylor]: Taking taylor expansion of +nan.0 in a 1.758 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.758 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.758 * [taylor]: Taking taylor expansion of a in a 1.758 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow a 3)))) in a 1.758 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow a 3))) in a 1.759 * [taylor]: Taking taylor expansion of +nan.0 in a 1.759 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 1.759 * [taylor]: Taking taylor expansion of (pow a 3) in a 1.759 * [taylor]: Taking taylor expansion of a in a 1.771 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 2 2 1) 1.771 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 1.771 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.771 * [taylor]: Taking taylor expansion of (- t 1.0) in a 1.771 * [taylor]: Taking taylor expansion of t in a 1.771 * [taylor]: Taking taylor expansion of 1.0 in a 1.771 * [taylor]: Taking taylor expansion of a in a 1.771 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.771 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.771 * [taylor]: Taking taylor expansion of t in t 1.771 * [taylor]: Taking taylor expansion of 1.0 in t 1.771 * [taylor]: Taking taylor expansion of a in t 1.771 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.771 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.771 * [taylor]: Taking taylor expansion of t in t 1.771 * [taylor]: Taking taylor expansion of 1.0 in t 1.771 * [taylor]: Taking taylor expansion of a in t 1.772 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.772 * [taylor]: Taking taylor expansion of -1.0 in a 1.772 * [taylor]: Taking taylor expansion of a in a 1.773 * [taylor]: Taking taylor expansion of a in a 1.776 * [taylor]: Taking taylor expansion of 0 in a 1.777 * [taylor]: Taking taylor expansion of 0 in a 1.780 * [taylor]: Taking taylor expansion of 0 in a 1.780 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 1.780 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.780 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 1.780 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.780 * [taylor]: Taking taylor expansion of t in a 1.780 * [taylor]: Taking taylor expansion of 1.0 in a 1.780 * [taylor]: Taking taylor expansion of a in a 1.781 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.781 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.781 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.781 * [taylor]: Taking taylor expansion of t in t 1.781 * [taylor]: Taking taylor expansion of 1.0 in t 1.781 * [taylor]: Taking taylor expansion of a in t 1.781 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.781 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.781 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.781 * [taylor]: Taking taylor expansion of t in t 1.782 * [taylor]: Taking taylor expansion of 1.0 in t 1.782 * [taylor]: Taking taylor expansion of a in t 1.782 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.782 * [taylor]: Taking taylor expansion of a in a 1.784 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a 1.784 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.784 * [taylor]: Taking taylor expansion of 1.0 in a 1.784 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.784 * [taylor]: Taking taylor expansion of a in a 1.786 * [taylor]: Taking taylor expansion of 0 in a 1.789 * [taylor]: Taking taylor expansion of 0 in a 1.791 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 1.792 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.792 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 1.792 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.792 * [taylor]: Taking taylor expansion of t in a 1.792 * [taylor]: Taking taylor expansion of 1.0 in a 1.792 * [taylor]: Taking taylor expansion of a in a 1.792 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.792 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.792 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.792 * [taylor]: Taking taylor expansion of t in t 1.792 * [taylor]: Taking taylor expansion of 1.0 in t 1.792 * [taylor]: Taking taylor expansion of a in t 1.792 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.793 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.793 * [taylor]: Taking taylor expansion of t in t 1.793 * [taylor]: Taking taylor expansion of 1.0 in t 1.793 * [taylor]: Taking taylor expansion of a in t 1.793 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.793 * [taylor]: Taking taylor expansion of a in a 1.794 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.794 * [taylor]: Taking taylor expansion of 1.0 in a 1.794 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.794 * [taylor]: Taking taylor expansion of a in a 1.796 * [taylor]: Taking taylor expansion of 0 in a 1.800 * [taylor]: Taking taylor expansion of 0 in a 1.801 * * * [progress]: simplifying candidates 1.803 * [simplify]: Simplifying using # : (expm1 (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (log1p (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- t 1.0) a) (* (- t 1.0) a)) (+ 1 1) (+ (log (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a)))) (log (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (exp (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)))) (* (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))) (cbrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (* (- t 1.0) a) (* (- t 1.0) a)) (sqrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (sqrt (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ t 1.0))) (* (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (+ t 1.0)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ t 1.0)) (sqrt (+ t 1.0))) (* (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a))))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (* (sqrt (- t 1.0)) (sqrt (- t 1.0))) (* (sqrt a) (sqrt a)) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* 1 1) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (- t 1.0) a)) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a))))) (* (sqrt (* (- t 1.0) a)) (sqrt (- t 1.0))) (* (sqrt (* (- t 1.0) a)) (sqrt (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- t 1.0) a)) 1) (* (cbrt (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (* (sqrt a) (sqrt (* (- t 1.0) a))) (* (sqrt (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- t 1.0) a))) (* (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (* (- t 1.0) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (* (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a))) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (+ (* +nan.0 a) (- (+ (* +nan.0 (pow t 2)) (- (* +nan.0 t)))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* +nan.0 a) (- (+ (* +nan.0 (pow t 2)) (- (* +nan.0 t)))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (+ (* +nan.0 a) (- (* +nan.0 (/ a t))))) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 1.809 * * [simplify]: iteration 0 : 254 enodes (cost 539 ) 1.815 * * [simplify]: iteration 1 : 1055 enodes (cost 484 ) 1.844 * * [simplify]: iteration 2 : 5001 enodes (cost 461 ) 1.848 * [simplify]: Simplified to: (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) 1 1 1 2 1 1 1 1 1 1 (pow (sqrt (* (- t 1.0) a)) 4) (* (- t 1.0) a) (pow (sqrt (* (- t 1.0) a)) 4) (pow (sqrt (* (- t 1.0) a)) 4) (pow (sqrt (* (- t 1.0) a)) 4) (pow (sqrt (* (- t 1.0) a)) 4) 2 (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (pow (sqrt (* (- t 1.0) a)) 4) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (- (pow t 3) (pow 1.0 3)) a) (fma t t (fma 1.0 1.0 (* t 1.0))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ t 1.0))) (* (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (+ t 1.0))) (* (- (* t t) (* 1.0 1.0)) a) (+ t 1.0) (pow (cbrt (sqrt (* (- t 1.0) a))) 4) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (- t 1.0) a (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) 1 (* (- t 1.0) a) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) 1 2 1 1 1 1 (* (pow (cbrt (sqrt (* (- t 1.0) a))) 4) (cbrt (sqrt (* (- t 1.0) a)))) (* (sqrt (* (- t 1.0) a)) (sqrt (- t 1.0))) (pow (sqrt (sqrt (* (- t 1.0) a))) 3) (sqrt (* (- t 1.0) a)) (pow (cbrt (sqrt (* (- t 1.0) a))) 4) (* (sqrt a) (sqrt (* (- t 1.0) a))) (pow (sqrt (sqrt (* (- t 1.0) a))) 3) (* (- t 1.0) a) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (pow t 3) (pow 1.0 3)) a))) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- (* t t) (* 1.0 1.0)) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (pow (sqrt (* (- t 1.0) a)) 3) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) 1/2 1/2 (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (sqrt (* (- t 1.0) a))) (log1p (sqrt (* (- t 1.0) a))) (log (sqrt (* (- t 1.0) a))) (exp (sqrt (* (- t 1.0) a))) (* (cbrt (sqrt (* (- t 1.0) a))) (cbrt (sqrt (* (- t 1.0) a)))) (cbrt (sqrt (* (- t 1.0) a))) (pow (sqrt (* (- t 1.0) a)) 3) (sqrt (- t 1.0)) (sqrt a) (sqrt (* (- (pow t 3) (pow 1.0 3)) a)) (sqrt (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (sqrt (* (- (* t t) (* 1.0 1.0)) a)) (sqrt (+ t 1.0)) 1/2 1/2 (sqrt (sqrt (* (- t 1.0) a))) (sqrt (sqrt (* (- t 1.0) a))) (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) (fma (- a) +nan.0 (* +nan.0 (- (pow t 2) t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma (- a) +nan.0 (* +nan.0 (- (pow t 2) t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (fma (- a) +nan.0 (* +nan.0 (/ a t))) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) 1.854 * * * [progress]: adding candidates to table 2.191 * [progress]: [Phase 3 of 3] Extracting. 2.191 * * [regime]: Finding splitpoints for: (# # #) 2.192 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x) 2.192 * * * * [regimes]: Trying to branch on b from (# # #) 2.214 * * * * [regimes]: Trying to branch on a from (# # #) 2.238 * * * * [regimes]: Trying to branch on t from (# # #) 2.263 * * * * [regimes]: Trying to branch on z from (# # #) 2.286 * * * * [regimes]: Trying to branch on y from (# # #) 2.311 * * * * [regimes]: Trying to branch on x from (# # #) 2.333 * * * [regime]: Found split indices: #