19.482 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.034 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
0.040 * * [simplify]: iteration  0 :  38  enodes  (cost  10 )
0.041 * * [simplify]: iteration  1 :  118  enodes  (cost  9 )
0.044 * * [simplify]: iteration  2 :  428  enodes  (cost  9 )
0.051 * * [simplify]: iteration  3 :  1763  enodes  (cost  9 )
0.078 * * [simplify]: iteration  4 :  5002  enodes  (cost  8 )
0.079 * [simplify]: Simplified to:
   (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
0.083 * * [progress]: iteration 1 / 4
0.083 * * * [progress]: picking best candidate
0.086 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>
0.086 * * * [progress]: localizing error
0.099 * * * [progress]: generating rewritten candidates
0.100 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 1)
0.100 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3)
0.111 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 2)
0.125 * * * [progress]: generating series expansions
0.125 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 1)
0.125 * [approximate]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in (b y t x) around 0
0.125 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in x
0.127 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.127 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in x
0.127 * [taylor]: Taking taylor expansion of b in x
0.127 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in x
0.127 * [taylor]: Taking taylor expansion of (+ t y) in x
0.127 * [taylor]: Taking taylor expansion of t in x
0.127 * [taylor]: Taking taylor expansion of y in x
0.127 * [taylor]: Taking taylor expansion of 2.0 in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.127 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in t
0.127 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.127 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in t
0.127 * [taylor]: Taking taylor expansion of b in t
0.127 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t
0.127 * [taylor]: Taking taylor expansion of (+ t y) in t
0.127 * [taylor]: Taking taylor expansion of t in t
0.127 * [taylor]: Taking taylor expansion of y in t
0.127 * [taylor]: Taking taylor expansion of 2.0 in t
0.127 * [taylor]: Taking taylor expansion of x in t
0.127 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in y
0.127 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.127 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in y
0.127 * [taylor]: Taking taylor expansion of b in y
0.127 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
0.127 * [taylor]: Taking taylor expansion of (+ t y) in y
0.127 * [taylor]: Taking taylor expansion of t in y
0.127 * [taylor]: Taking taylor expansion of y in y
0.127 * [taylor]: Taking taylor expansion of 2.0 in y
0.127 * [taylor]: Taking taylor expansion of x in y
0.127 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b
0.127 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.127 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b
0.127 * [taylor]: Taking taylor expansion of b in b
0.127 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b
0.127 * [taylor]: Taking taylor expansion of (+ t y) in b
0.127 * [taylor]: Taking taylor expansion of t in b
0.127 * [taylor]: Taking taylor expansion of y in b
0.127 * [taylor]: Taking taylor expansion of 2.0 in b
0.127 * [taylor]: Taking taylor expansion of x in b
0.127 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b
0.128 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.128 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b
0.128 * [taylor]: Taking taylor expansion of b in b
0.128 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b
0.128 * [taylor]: Taking taylor expansion of (+ t y) in b
0.128 * [taylor]: Taking taylor expansion of t in b
0.128 * [taylor]: Taking taylor expansion of y in b
0.128 * [taylor]: Taking taylor expansion of 2.0 in b
0.128 * [taylor]: Taking taylor expansion of x in b
0.129 * [taylor]: Taking taylor expansion of x in y
0.129 * [taylor]: Taking taylor expansion of x in t
0.129 * [taylor]: Taking taylor expansion of x in x
0.130 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
0.130 * [taylor]: Taking taylor expansion of (+ t y) in y
0.130 * [taylor]: Taking taylor expansion of t in y
0.130 * [taylor]: Taking taylor expansion of y in y
0.130 * [taylor]: Taking taylor expansion of 2.0 in y
0.130 * [taylor]: Taking taylor expansion of (- t 2.0) in t
0.130 * [taylor]: Taking taylor expansion of t in t
0.130 * [taylor]: Taking taylor expansion of 2.0 in t
0.131 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.131 * [taylor]: Taking taylor expansion of 2.0 in x
0.132 * [taylor]: Taking taylor expansion of 0 in t
0.132 * [taylor]: Taking taylor expansion of 0 in x
0.132 * [taylor]: Taking taylor expansion of 0 in x
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [taylor]: Taking taylor expansion of 0 in t
0.134 * [taylor]: Taking taylor expansion of 0 in x
0.134 * [taylor]: Taking taylor expansion of 1 in t
0.134 * [taylor]: Taking taylor expansion of 1 in x
0.135 * [approximate]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in (b y t x) around 0
0.135 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in x
0.136 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.136 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 b) in x
0.136 * [taylor]: Taking taylor expansion of b in x
0.136 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in x
0.136 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.136 * [taylor]: Taking taylor expansion of y in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.136 * [taylor]: Taking taylor expansion of t in x
0.136 * [taylor]: Taking taylor expansion of 2.0 in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in t
0.136 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.136 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in t
0.136 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.136 * [taylor]: Taking taylor expansion of b in t
0.136 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t
0.136 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t
0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.136 * [taylor]: Taking taylor expansion of y in t
0.136 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.136 * [taylor]: Taking taylor expansion of t in t
0.137 * [taylor]: Taking taylor expansion of 2.0 in t
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.137 * [taylor]: Taking taylor expansion of x in t
0.137 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in y
0.137 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.137 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.137 * [taylor]: Taking taylor expansion of b in y
0.137 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
0.137 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.137 * [taylor]: Taking taylor expansion of t in y
0.137 * [taylor]: Taking taylor expansion of 2.0 in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.137 * [taylor]: Taking taylor expansion of x in y
0.137 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b
0.138 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.138 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b
0.138 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.138 * [taylor]: Taking taylor expansion of b in b
0.138 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b
0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.138 * [taylor]: Taking taylor expansion of y in b
0.138 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.138 * [taylor]: Taking taylor expansion of t in b
0.138 * [taylor]: Taking taylor expansion of 2.0 in b
0.138 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.138 * [taylor]: Taking taylor expansion of x in b
0.138 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b
0.138 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.138 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b
0.138 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.138 * [taylor]: Taking taylor expansion of b in b
0.139 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b
0.139 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.139 * [taylor]: Taking taylor expansion of y in b
0.139 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.139 * [taylor]: Taking taylor expansion of t in b
0.139 * [taylor]: Taking taylor expansion of 2.0 in b
0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.139 * [taylor]: Taking taylor expansion of x in b
0.140 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
0.140 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
0.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.140 * [taylor]: Taking taylor expansion of y in y
0.140 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.140 * [taylor]: Taking taylor expansion of t in y
0.140 * [taylor]: Taking taylor expansion of 2.0 in y
0.141 * [taylor]: Taking taylor expansion of 1 in t
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.142 * [taylor]: Taking taylor expansion of x in y
0.143 * [taylor]: Taking taylor expansion of (- (/ 1 t) 2.0) in t
0.143 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.143 * [taylor]: Taking taylor expansion of t in t
0.144 * [taylor]: Taking taylor expansion of 2.0 in t
0.144 * [taylor]: Taking taylor expansion of 1 in x
0.144 * [taylor]: Taking taylor expansion of 1 in x
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.146 * [taylor]: Taking taylor expansion of x in t
0.148 * [taylor]: Taking taylor expansion of 0 in t
0.149 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.149 * [taylor]: Taking taylor expansion of 2.0 in x
0.149 * [taylor]: Taking taylor expansion of 0 in x
0.151 * [taylor]: Taking taylor expansion of 0 in y
0.152 * [taylor]: Taking taylor expansion of 0 in t
0.152 * [taylor]: Taking taylor expansion of 0 in t
0.153 * [taylor]: Taking taylor expansion of 0 in t
0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.154 * [approximate]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in (b y t x) around 0
0.154 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in x
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 x
0.154 * [taylor]: Taking taylor expansion of (/ -1 b) in x
0.154 * [taylor]: Taking taylor expansion of -1 in x
0.154 * [taylor]: Taking taylor expansion of b in x
0.154 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in x
0.154 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.154 * [taylor]: Taking taylor expansion of y in x
0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in x
0.155 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.155 * [taylor]: Taking taylor expansion of t in x
0.155 * [taylor]: Taking taylor expansion of 2.0 in x
0.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.155 * [taylor]: Taking taylor expansion of -1 in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in t
0.155 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.155 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t
0.155 * [taylor]: Taking taylor expansion of (/ -1 b) in t
0.155 * [taylor]: Taking taylor expansion of -1 in t
0.155 * [taylor]: Taking taylor expansion of b in t
0.155 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t
0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t
0.155 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.155 * [taylor]: Taking taylor expansion of y in t
0.155 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t
0.155 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.155 * [taylor]: Taking taylor expansion of t in t
0.156 * [taylor]: Taking taylor expansion of 2.0 in t
0.156 * [taylor]: Taking taylor expansion of (/ -1 x) in t
0.156 * [taylor]: Taking taylor expansion of -1 in t
0.156 * [taylor]: Taking taylor expansion of x in t
0.156 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in y
0.156 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.156 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y
0.156 * [taylor]: Taking taylor expansion of (/ -1 b) in y
0.156 * [taylor]: Taking taylor expansion of -1 in y
0.156 * [taylor]: Taking taylor expansion of b in y
0.156 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.156 * [taylor]: Taking taylor expansion of y in y
0.156 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
0.156 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.156 * [taylor]: Taking taylor expansion of t in y
0.156 * [taylor]: Taking taylor expansion of 2.0 in y
0.156 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.156 * [taylor]: Taking taylor expansion of -1 in y
0.156 * [taylor]: Taking taylor expansion of x in y
0.156 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b
0.156 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.157 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b
0.157 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.157 * [taylor]: Taking taylor expansion of -1 in b
0.157 * [taylor]: Taking taylor expansion of b in b
0.157 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b
0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b
0.157 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.157 * [taylor]: Taking taylor expansion of y in b
0.157 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b
0.157 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.157 * [taylor]: Taking taylor expansion of t in b
0.157 * [taylor]: Taking taylor expansion of 2.0 in b
0.157 * [taylor]: Taking taylor expansion of (/ -1 x) in b
0.157 * [taylor]: Taking taylor expansion of -1 in b
0.157 * [taylor]: Taking taylor expansion of x in b
0.157 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b
0.157 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.157 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b
0.157 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.157 * [taylor]: Taking taylor expansion of -1 in b
0.157 * [taylor]: Taking taylor expansion of b in b
0.158 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b
0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b
0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.158 * [taylor]: Taking taylor expansion of y in b
0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b
0.158 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.158 * [taylor]: Taking taylor expansion of t in b
0.158 * [taylor]: Taking taylor expansion of 2.0 in b
0.158 * [taylor]: Taking taylor expansion of (/ -1 x) in b
0.158 * [taylor]: Taking taylor expansion of -1 in b
0.158 * [taylor]: Taking taylor expansion of x in b
0.158 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
0.158 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.159 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
0.159 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.159 * [taylor]: Taking taylor expansion of t in y
0.159 * [taylor]: Taking taylor expansion of 2.0 in y
0.159 * [taylor]: Taking taylor expansion of 1 in t
0.161 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.161 * [taylor]: Taking taylor expansion of x in y
0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t
0.162 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.162 * [taylor]: Taking taylor expansion of t in t
0.162 * [taylor]: Taking taylor expansion of 2.0 in t
0.162 * [taylor]: Taking taylor expansion of 1 in x
0.162 * [taylor]: Taking taylor expansion of 1 in x
0.165 * [taylor]: Taking taylor expansion of 0 in y
0.165 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.165 * [taylor]: Taking taylor expansion of x in t
0.166 * [taylor]: Taking taylor expansion of 0 in t
0.167 * [taylor]: Taking taylor expansion of 2.0 in x
0.167 * [taylor]: Taking taylor expansion of 0 in x
0.170 * [taylor]: Taking taylor expansion of 0 in y
0.170 * [taylor]: Taking taylor expansion of 0 in t
0.171 * [taylor]: Taking taylor expansion of 0 in t
0.172 * [taylor]: Taking taylor expansion of 0 in t
0.172 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.172 * [taylor]: Taking taylor expansion of x in x
0.173 * * * * [progress]: [ 2 / 3 ] generating series at (2 3)
0.173 * [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.173 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in a
0.173 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in a
0.173 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in a
0.173 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.173 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in a
0.173 * [taylor]: Taking taylor expansion of b in a
0.174 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in a
0.174 * [taylor]: Taking taylor expansion of (+ t y) in a
0.174 * [taylor]: Taking taylor expansion of t in a
0.174 * [taylor]: Taking taylor expansion of y in a
0.174 * [taylor]: Taking taylor expansion of 2.0 in a
0.174 * [taylor]: Taking taylor expansion of x in a
0.174 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
0.174 * [taylor]: Taking taylor expansion of 1.0 in a
0.174 * [taylor]: Taking taylor expansion of a in a
0.174 * [taylor]: Taking taylor expansion of (* t a) in a
0.174 * [taylor]: Taking taylor expansion of t in a
0.174 * [taylor]: Taking taylor expansion of a in a
0.174 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in x
0.174 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in x
0.174 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in x
0.174 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.174 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in x
0.174 * [taylor]: Taking taylor expansion of b in x
0.174 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in x
0.174 * [taylor]: Taking taylor expansion of (+ t y) in x
0.174 * [taylor]: Taking taylor expansion of t in x
0.174 * [taylor]: Taking taylor expansion of y in x
0.174 * [taylor]: Taking taylor expansion of 2.0 in x
0.174 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (* 1.0 a) in x
0.174 * [taylor]: Taking taylor expansion of 1.0 in x
0.174 * [taylor]: Taking taylor expansion of a in x
0.174 * [taylor]: Taking taylor expansion of (* t a) in x
0.174 * [taylor]: Taking taylor expansion of t in x
0.174 * [taylor]: Taking taylor expansion of a in x
0.174 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in t
0.174 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in t
0.174 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in t
0.174 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.174 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in t
0.174 * [taylor]: Taking taylor expansion of b in t
0.174 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t
0.174 * [taylor]: Taking taylor expansion of (+ t y) in t
0.174 * [taylor]: Taking taylor expansion of t in t
0.174 * [taylor]: Taking taylor expansion of y in t
0.174 * [taylor]: Taking taylor expansion of 2.0 in t
0.174 * [taylor]: Taking taylor expansion of x in t
0.174 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
0.174 * [taylor]: Taking taylor expansion of 1.0 in t
0.174 * [taylor]: Taking taylor expansion of a in t
0.174 * [taylor]: Taking taylor expansion of (* t a) in t
0.174 * [taylor]: Taking taylor expansion of t in t
0.175 * [taylor]: Taking taylor expansion of a in t
0.175 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in y
0.175 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in y
0.175 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in y
0.175 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.175 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in y
0.175 * [taylor]: Taking taylor expansion of b in y
0.175 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
0.175 * [taylor]: Taking taylor expansion of (+ t y) in y
0.175 * [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 x in y
0.175 * [taylor]: Taking taylor expansion of (* 1.0 a) in y
0.175 * [taylor]: Taking taylor expansion of 1.0 in y
0.175 * [taylor]: Taking taylor expansion of a in y
0.175 * [taylor]: Taking taylor expansion of (* t a) in y
0.175 * [taylor]: Taking taylor expansion of t in y
0.175 * [taylor]: Taking taylor expansion of a in y
0.175 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in b
0.175 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in b
0.175 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b
0.175 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.175 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b
0.175 * [taylor]: Taking taylor expansion of b in b
0.175 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b
0.175 * [taylor]: Taking taylor expansion of (+ t y) in b
0.175 * [taylor]: Taking taylor expansion of t in b
0.175 * [taylor]: Taking taylor expansion of y in b
0.175 * [taylor]: Taking taylor expansion of 2.0 in b
0.175 * [taylor]: Taking taylor expansion of x in b
0.175 * [taylor]: Taking taylor expansion of (* 1.0 a) in b
0.175 * [taylor]: Taking taylor expansion of 1.0 in b
0.175 * [taylor]: Taking taylor expansion of a in b
0.175 * [taylor]: Taking taylor expansion of (* t a) in b
0.175 * [taylor]: Taking taylor expansion of t in b
0.175 * [taylor]: Taking taylor expansion of a in b
0.175 * [taylor]: Taking taylor expansion of (- (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) (* t a)) in b
0.175 * [taylor]: Taking taylor expansion of (+ (fma b (- (+ t y) 2.0) x) (* 1.0 a)) in b
0.175 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) x) in b
0.175 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) x)
0.175 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b
0.175 * [taylor]: Taking taylor expansion of b in b
0.175 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b
0.175 * [taylor]: Taking taylor expansion of (+ t y) in b
0.175 * [taylor]: Taking taylor expansion of t in b
0.176 * [taylor]: Taking taylor expansion of y in b
0.176 * [taylor]: Taking taylor expansion of 2.0 in b
0.176 * [taylor]: Taking taylor expansion of x in b
0.176 * [taylor]: Taking taylor expansion of (* 1.0 a) in b
0.176 * [taylor]: Taking taylor expansion of 1.0 in b
0.176 * [taylor]: Taking taylor expansion of a in b
0.176 * [taylor]: Taking taylor expansion of (* t a) in b
0.176 * [taylor]: Taking taylor expansion of t in b
0.176 * [taylor]: Taking taylor expansion of a in b
0.177 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* t a)) in y
0.177 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in y
0.177 * [taylor]: Taking taylor expansion of (* 1.0 a) in y
0.177 * [taylor]: Taking taylor expansion of 1.0 in y
0.177 * [taylor]: Taking taylor expansion of a in y
0.177 * [taylor]: Taking taylor expansion of x in y
0.177 * [taylor]: Taking taylor expansion of (* t a) in y
0.177 * [taylor]: Taking taylor expansion of t in y
0.177 * [taylor]: Taking taylor expansion of a in y
0.177 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* t a)) in t
0.177 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in t
0.177 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
0.177 * [taylor]: Taking taylor expansion of 1.0 in t
0.177 * [taylor]: Taking taylor expansion of a in t
0.177 * [taylor]: Taking taylor expansion of x in t
0.177 * [taylor]: Taking taylor expansion of (* t a) in t
0.177 * [taylor]: Taking taylor expansion of t in t
0.177 * [taylor]: Taking taylor expansion of a in t
0.177 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in x
0.178 * [taylor]: Taking taylor expansion of (* 1.0 a) in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of a in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
0.178 * [taylor]: Taking taylor expansion of 1.0 in a
0.178 * [taylor]: Taking taylor expansion of a in a
0.180 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y
0.180 * [taylor]: Taking taylor expansion of (+ t y) in y
0.180 * [taylor]: Taking taylor expansion of t in y
0.180 * [taylor]: Taking taylor expansion of y in y
0.180 * [taylor]: Taking taylor expansion of 2.0 in y
0.180 * [taylor]: Taking taylor expansion of (- t 2.0) in t
0.180 * [taylor]: Taking taylor expansion of t in t
0.180 * [taylor]: Taking taylor expansion of 2.0 in t
0.181 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.181 * [taylor]: Taking taylor expansion of 2.0 in x
0.181 * [taylor]: Taking taylor expansion of (- 2.0) in a
0.181 * [taylor]: Taking taylor expansion of 2.0 in a
0.183 * [taylor]: Taking taylor expansion of 0 in t
0.183 * [taylor]: Taking taylor expansion of 0 in x
0.183 * [taylor]: Taking taylor expansion of 0 in a
0.184 * [taylor]: Taking taylor expansion of (- a) in x
0.184 * [taylor]: Taking taylor expansion of a in x
0.184 * [taylor]: Taking taylor expansion of (- a) in a
0.184 * [taylor]: Taking taylor expansion of a in a
0.185 * [taylor]: Taking taylor expansion of 1 in a
0.187 * [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.187 * [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.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in a
0.187 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.187 * [taylor]: Taking taylor expansion of 1.0 in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.187 * [taylor]: Taking taylor expansion of a in a
0.187 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in a
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 a
0.187 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.187 * [taylor]: Taking taylor expansion of b in a
0.187 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in a
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.187 * [taylor]: Taking taylor expansion of y in a
0.187 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.188 * [taylor]: Taking taylor expansion of t in a
0.188 * [taylor]: Taking taylor expansion of 2.0 in a
0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.188 * [taylor]: Taking taylor expansion of x in a
0.188 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.188 * [taylor]: Taking taylor expansion of (* t a) in a
0.188 * [taylor]: Taking taylor expansion of t in a
0.188 * [taylor]: Taking taylor expansion of a in a
0.188 * [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.188 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in x
0.188 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.188 * [taylor]: Taking taylor expansion of 1.0 in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.188 * [taylor]: Taking taylor expansion of a in x
0.188 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in x
0.188 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.188 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 b) in x
0.188 * [taylor]: Taking taylor expansion of b in x
0.188 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in x
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.188 * [taylor]: Taking taylor expansion of y in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.188 * [taylor]: Taking taylor expansion of t in x
0.188 * [taylor]: Taking taylor expansion of 2.0 in x
0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.189 * [taylor]: Taking taylor expansion of (* t a) in x
0.189 * [taylor]: Taking taylor expansion of t in x
0.189 * [taylor]: Taking taylor expansion of a in x
0.189 * [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.189 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in t
0.189 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.189 * [taylor]: Taking taylor expansion of 1.0 in t
0.189 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.189 * [taylor]: Taking taylor expansion of a in t
0.189 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in t
0.189 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.189 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in t
0.189 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.189 * [taylor]: Taking taylor expansion of b in t
0.189 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.189 * [taylor]: Taking taylor expansion of y in t
0.190 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.190 * [taylor]: Taking taylor expansion of t in t
0.190 * [taylor]: Taking taylor expansion of 2.0 in t
0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.190 * [taylor]: Taking taylor expansion of x in t
0.190 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.190 * [taylor]: Taking taylor expansion of (* t a) in t
0.190 * [taylor]: Taking taylor expansion of t in t
0.190 * [taylor]: Taking taylor expansion of a in t
0.190 * [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.190 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in y
0.190 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.190 * [taylor]: Taking taylor expansion of 1.0 in y
0.190 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.190 * [taylor]: Taking taylor expansion of a in y
0.190 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in y
0.191 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.191 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in y
0.191 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.191 * [taylor]: Taking taylor expansion of b in y
0.191 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
0.191 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.191 * [taylor]: Taking taylor expansion of y in y
0.191 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.191 * [taylor]: Taking taylor expansion of t in y
0.191 * [taylor]: Taking taylor expansion of 2.0 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.191 * [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.191 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in b
0.191 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.191 * [taylor]: Taking taylor expansion of 1.0 in b
0.191 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.191 * [taylor]: Taking taylor expansion of a in b
0.191 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b
0.191 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.191 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b
0.191 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.191 * [taylor]: Taking taylor expansion of b in b
0.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b
0.192 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b
0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.192 * [taylor]: Taking taylor expansion of y in b
0.192 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.192 * [taylor]: Taking taylor expansion of t in b
0.192 * [taylor]: Taking taylor expansion of 2.0 in b
0.192 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.192 * [taylor]: Taking taylor expansion of x in b
0.192 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.192 * [taylor]: Taking taylor expansion of (* t a) in b
0.192 * [taylor]: Taking taylor expansion of t in b
0.192 * [taylor]: Taking taylor expansion of a in b
0.192 * [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.192 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x))) in b
0.192 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.192 * [taylor]: Taking taylor expansion of 1.0 in b
0.192 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.192 * [taylor]: Taking taylor expansion of a in b
0.192 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (/ 1 x)) in b
0.192 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (/ 1 x))
0.192 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b
0.192 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.192 * [taylor]: Taking taylor expansion of b in b
0.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b
0.193 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b
0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.193 * [taylor]: Taking taylor expansion of y in b
0.193 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.193 * [taylor]: Taking taylor expansion of t in b
0.193 * [taylor]: Taking taylor expansion of 2.0 in b
0.193 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.193 * [taylor]: Taking taylor expansion of x in b
0.193 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.193 * [taylor]: Taking taylor expansion of (* t a) in b
0.193 * [taylor]: Taking taylor expansion of t in b
0.193 * [taylor]: Taking taylor expansion of a in b
0.194 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y
0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y
0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.194 * [taylor]: Taking taylor expansion of y in y
0.194 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.194 * [taylor]: Taking taylor expansion of t in y
0.194 * [taylor]: Taking taylor expansion of 2.0 in y
0.195 * [taylor]: Taking taylor expansion of 1 in t
0.197 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in y
0.197 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y
0.197 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.197 * [taylor]: Taking taylor expansion of 1.0 in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.197 * [taylor]: Taking taylor expansion of a in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.197 * [taylor]: Taking taylor expansion of x in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.197 * [taylor]: Taking taylor expansion of (* t a) in y
0.197 * [taylor]: Taking taylor expansion of t in y
0.197 * [taylor]: Taking taylor expansion of a in y
0.198 * [taylor]: Taking taylor expansion of (- (/ 1 t) 2.0) in t
0.198 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.198 * [taylor]: Taking taylor expansion of t in t
0.198 * [taylor]: Taking taylor expansion of 2.0 in t
0.199 * [taylor]: Taking taylor expansion of 1 in x
0.199 * [taylor]: Taking taylor expansion of 1 in x
0.202 * [taylor]: Taking taylor expansion of 0 in y
0.202 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in t
0.202 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t
0.202 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.202 * [taylor]: Taking taylor expansion of 1.0 in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.202 * [taylor]: Taking taylor expansion of a in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.202 * [taylor]: Taking taylor expansion of x in t
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.202 * [taylor]: Taking taylor expansion of (* t a) in t
0.202 * [taylor]: Taking taylor expansion of t in t
0.202 * [taylor]: Taking taylor expansion of a in t
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.203 * [taylor]: Taking taylor expansion of a in x
0.204 * [taylor]: Taking taylor expansion of 0 in t
0.205 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.205 * [taylor]: Taking taylor expansion of 2.0 in x
0.205 * [taylor]: Taking taylor expansion of 0 in x
0.205 * [taylor]: Taking taylor expansion of 1 in a
0.205 * [taylor]: Taking taylor expansion of 1 in a
0.215 * [taylor]: Taking taylor expansion of 0 in y
0.215 * [taylor]: Taking taylor expansion of 0 in t
0.216 * [taylor]: Taking taylor expansion of 0 in t
0.218 * [taylor]: Taking taylor expansion of 0 in t
0.219 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
0.219 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.219 * [taylor]: Taking taylor expansion of 1.0 in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.219 * [taylor]: Taking taylor expansion of a in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.219 * [taylor]: Taking taylor expansion of 1 in a
0.219 * [taylor]: Taking taylor expansion of 0 in x
0.220 * [taylor]: Taking taylor expansion of 0 in x
0.220 * [taylor]: Taking taylor expansion of 0 in x
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.220 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.220 * [taylor]: Taking taylor expansion of a in a
0.221 * [taylor]: Taking taylor expansion of (- 2.0) in a
0.221 * [taylor]: Taking taylor expansion of 2.0 in a
0.221 * [taylor]: Taking taylor expansion of 0 in a
0.221 * [taylor]: Taking taylor expansion of 0 in a
0.221 * [taylor]: Taking taylor expansion of 0 in a
0.222 * [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.222 * [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.222 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in a
0.223 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.223 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in a
0.223 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.223 * [taylor]: Taking taylor expansion of -1 in a
0.223 * [taylor]: Taking taylor expansion of b in a
0.223 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in a
0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.223 * [taylor]: Taking taylor expansion of y in a
0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.223 * [taylor]: Taking taylor expansion of t in a
0.223 * [taylor]: Taking taylor expansion of 2.0 in a
0.223 * [taylor]: Taking taylor expansion of (/ -1 x) in a
0.223 * [taylor]: Taking taylor expansion of -1 in a
0.223 * [taylor]: Taking taylor expansion of x in a
0.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.223 * [taylor]: Taking taylor expansion of (* t a) in a
0.223 * [taylor]: Taking taylor expansion of t in a
0.223 * [taylor]: Taking taylor expansion of a in a
0.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.223 * [taylor]: Taking taylor expansion of 1.0 in a
0.223 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.223 * [taylor]: Taking taylor expansion of a in a
0.224 * [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.224 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in x
0.224 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.224 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in x
0.224 * [taylor]: Taking taylor expansion of (/ -1 b) in x
0.224 * [taylor]: Taking taylor expansion of -1 in x
0.224 * [taylor]: Taking taylor expansion of b in x
0.224 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in x
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in x
0.224 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.224 * [taylor]: Taking taylor expansion of y in x
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in x
0.224 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.224 * [taylor]: Taking taylor expansion of t in x
0.224 * [taylor]: Taking taylor expansion of 2.0 in x
0.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.224 * [taylor]: Taking taylor expansion of -1 in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.225 * [taylor]: Taking taylor expansion of (* t a) in x
0.225 * [taylor]: Taking taylor expansion of t in x
0.225 * [taylor]: Taking taylor expansion of a in x
0.225 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.225 * [taylor]: Taking taylor expansion of 1.0 in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.225 * [taylor]: Taking taylor expansion of a in x
0.225 * [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.225 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in t
0.225 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.225 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t
0.225 * [taylor]: Taking taylor expansion of (/ -1 b) in t
0.225 * [taylor]: Taking taylor expansion of -1 in t
0.225 * [taylor]: Taking taylor expansion of b in t
0.225 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t
0.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t
0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.225 * [taylor]: Taking taylor expansion of y in t
0.225 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t
0.225 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.225 * [taylor]: Taking taylor expansion of t in t
0.225 * [taylor]: Taking taylor expansion of 2.0 in t
0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in t
0.225 * [taylor]: Taking taylor expansion of -1 in t
0.225 * [taylor]: Taking taylor expansion of x in t
0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) 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.226 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.226 * [taylor]: Taking taylor expansion of 1.0 in t
0.226 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.226 * [taylor]: Taking taylor expansion of a in t
0.226 * [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.226 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in y
0.226 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.226 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y
0.226 * [taylor]: Taking taylor expansion of (/ -1 b) in y
0.226 * [taylor]: Taking taylor expansion of -1 in y
0.226 * [taylor]: Taking taylor expansion of b in y
0.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y
0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.226 * [taylor]: Taking taylor expansion of y in y
0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
0.227 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.227 * [taylor]: Taking taylor expansion of t in y
0.227 * [taylor]: Taking taylor expansion of 2.0 in y
0.227 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.227 * [taylor]: Taking taylor expansion of -1 in y
0.227 * [taylor]: Taking taylor expansion of x in y
0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y
0.227 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.227 * [taylor]: Taking taylor expansion of (* t a) in y
0.227 * [taylor]: Taking taylor expansion of t in y
0.227 * [taylor]: Taking taylor expansion of a in y
0.227 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.227 * [taylor]: Taking taylor expansion of 1.0 in y
0.227 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.227 * [taylor]: Taking taylor expansion of a in y
0.227 * [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.227 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b
0.227 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.227 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b
0.227 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.227 * [taylor]: Taking taylor expansion of -1 in b
0.227 * [taylor]: Taking taylor expansion of b in b
0.227 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b
0.227 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b
0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.228 * [taylor]: Taking taylor expansion of y in b
0.228 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b
0.228 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.228 * [taylor]: Taking taylor expansion of t in b
0.228 * [taylor]: Taking taylor expansion of 2.0 in b
0.228 * [taylor]: Taking taylor expansion of (/ -1 x) in b
0.228 * [taylor]: Taking taylor expansion of -1 in b
0.228 * [taylor]: Taking taylor expansion of x in b
0.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b
0.228 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.228 * [taylor]: Taking taylor expansion of (* t a) in b
0.228 * [taylor]: Taking taylor expansion of t in b
0.228 * [taylor]: Taking taylor expansion of a in b
0.228 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.228 * [taylor]: Taking taylor expansion of 1.0 in b
0.228 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.228 * [taylor]: Taking taylor expansion of a in b
0.228 * [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.228 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (/ -1 x)) in b
0.228 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (/ -1 x))
0.228 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b
0.228 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.228 * [taylor]: Taking taylor expansion of -1 in b
0.228 * [taylor]: Taking taylor expansion of b in b
0.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b
0.228 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b
0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.229 * [taylor]: Taking taylor expansion of y in b
0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b
0.229 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.229 * [taylor]: Taking taylor expansion of t in b
0.229 * [taylor]: Taking taylor expansion of 2.0 in b
0.229 * [taylor]: Taking taylor expansion of (/ -1 x) in b
0.229 * [taylor]: Taking taylor expansion of -1 in b
0.229 * [taylor]: Taking taylor expansion of x in b
0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b
0.229 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.229 * [taylor]: Taking taylor expansion of (* t a) in b
0.229 * [taylor]: Taking taylor expansion of t in b
0.229 * [taylor]: Taking taylor expansion of a in b
0.229 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.229 * [taylor]: Taking taylor expansion of 1.0 in b
0.229 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.229 * [taylor]: Taking taylor expansion of a in b
0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y
0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.230 * [taylor]: Taking taylor expansion of t in y
0.230 * [taylor]: Taking taylor expansion of 2.0 in y
0.230 * [taylor]: Taking taylor expansion of 1 in t
0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in y
0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y
0.232 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.232 * [taylor]: Taking taylor expansion of (* t a) in y
0.232 * [taylor]: Taking taylor expansion of t in y
0.233 * [taylor]: Taking taylor expansion of a in y
0.233 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y
0.233 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.233 * [taylor]: Taking taylor expansion of 1.0 in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.233 * [taylor]: Taking taylor expansion of a in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.233 * [taylor]: Taking taylor expansion of x in y
0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t
0.233 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.233 * [taylor]: Taking taylor expansion of t in t
0.234 * [taylor]: Taking taylor expansion of 2.0 in t
0.234 * [taylor]: Taking taylor expansion of 1 in x
0.234 * [taylor]: Taking taylor expansion of 1 in x
0.238 * [taylor]: Taking taylor expansion of 0 in y
0.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in t
0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in t
0.238 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.238 * [taylor]: Taking taylor expansion of (* t a) in t
0.238 * [taylor]: Taking taylor expansion of t in t
0.238 * [taylor]: Taking taylor expansion of a in t
0.238 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t
0.238 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.239 * [taylor]: Taking taylor expansion of 1.0 in t
0.239 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.239 * [taylor]: Taking taylor expansion of a in t
0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.239 * [taylor]: Taking taylor expansion of x in t
0.239 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in x
0.239 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.239 * [taylor]: Taking taylor expansion of a in x
0.240 * [taylor]: Taking taylor expansion of 0 in t
0.241 * [taylor]: Taking taylor expansion of 2.0 in x
0.241 * [taylor]: Taking taylor expansion of 0 in x
0.241 * [taylor]: Taking taylor expansion of 1 in a
0.241 * [taylor]: Taking taylor expansion of 1 in a
0.246 * [taylor]: Taking taylor expansion of 0 in y
0.246 * [taylor]: Taking taylor expansion of 0 in t
0.247 * [taylor]: Taking taylor expansion of 0 in t
0.248 * [taylor]: Taking taylor expansion of 0 in t
0.249 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x
0.249 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
0.249 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.249 * [taylor]: Taking taylor expansion of 1.0 in x
0.249 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.249 * [taylor]: Taking taylor expansion of a in x
0.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.249 * [taylor]: Taking taylor expansion of x in x
0.250 * [taylor]: Taking taylor expansion of -1 in a
0.250 * [taylor]: Taking taylor expansion of 0 in x
0.251 * [taylor]: Taking taylor expansion of 0 in x
0.251 * [taylor]: Taking taylor expansion of 0 in x
0.251 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.251 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.251 * [taylor]: Taking taylor expansion of a in a
0.251 * [taylor]: Taking taylor expansion of 2.0 in a
0.251 * [taylor]: Taking taylor expansion of 0 in a
0.251 * [taylor]: Taking taylor expansion of 0 in a
0.252 * [taylor]: Taking taylor expansion of 0 in a
0.252 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 2)
0.252 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0
0.252 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a
0.252 * [taylor]: Taking taylor expansion of (- t 1.0) in a
0.252 * [taylor]: Taking taylor expansion of t in a
0.252 * [taylor]: Taking taylor expansion of 1.0 in a
0.252 * [taylor]: Taking taylor expansion of a in a
0.252 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t
0.252 * [taylor]: Taking taylor expansion of (- t 1.0) in t
0.252 * [taylor]: Taking taylor expansion of t in t
0.252 * [taylor]: Taking taylor expansion of 1.0 in t
0.253 * [taylor]: Taking taylor expansion of a in t
0.253 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t
0.253 * [taylor]: Taking taylor expansion of (- t 1.0) in t
0.253 * [taylor]: Taking taylor expansion of t in t
0.253 * [taylor]: Taking taylor expansion of 1.0 in t
0.253 * [taylor]: Taking taylor expansion of a in t
0.254 * [taylor]: Taking taylor expansion of (* -1.0 a) in a
0.254 * [taylor]: Taking taylor expansion of -1.0 in a
0.254 * [taylor]: Taking taylor expansion of a in a
0.255 * [taylor]: Taking taylor expansion of a in a
0.257 * [taylor]: Taking taylor expansion of 0 in a
0.259 * [taylor]: Taking taylor expansion of 0 in a
0.261 * [taylor]: Taking taylor expansion of 0 in a
0.261 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0
0.261 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a
0.261 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a
0.261 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.261 * [taylor]: Taking taylor expansion of t in a
0.261 * [taylor]: Taking taylor expansion of 1.0 in a
0.261 * [taylor]: Taking taylor expansion of a in a
0.262 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t
0.262 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t
0.262 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.262 * [taylor]: Taking taylor expansion of t in t
0.262 * [taylor]: Taking taylor expansion of 1.0 in t
0.262 * [taylor]: Taking taylor expansion of a in t
0.263 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t
0.263 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t
0.263 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.263 * [taylor]: Taking taylor expansion of t in t
0.263 * [taylor]: Taking taylor expansion of 1.0 in t
0.263 * [taylor]: Taking taylor expansion of a in t
0.263 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.263 * [taylor]: Taking taylor expansion of a in a
0.265 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
0.265 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.265 * [taylor]: Taking taylor expansion of 1.0 in a
0.265 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.265 * [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.273 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0
0.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
0.273 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.273 * [taylor]: Taking taylor expansion of t in a
0.273 * [taylor]: Taking taylor expansion of 1.0 in a
0.273 * [taylor]: Taking taylor expansion of a in a
0.273 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.273 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.273 * [taylor]: Taking taylor expansion of t in t
0.273 * [taylor]: Taking taylor expansion of 1.0 in t
0.273 * [taylor]: Taking taylor expansion of a in t
0.274 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.274 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.274 * [taylor]: Taking taylor expansion of t in t
0.274 * [taylor]: Taking taylor expansion of 1.0 in t
0.274 * [taylor]: Taking taylor expansion of a in t
0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.275 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.276 * [taylor]: Taking taylor expansion of 1.0 in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.278 * [taylor]: Taking taylor expansion of 0 in a
0.280 * [taylor]: Taking taylor expansion of 0 in a
0.281 * * * [progress]: simplifying candidates
0.283 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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 (* (cbrt (fma b (- (+ y t) 2.0) x)) (cbrt (fma b (- (+ y t) 2.0) x))) (cbrt (fma b (- (+ y t) 2.0) x)) (- (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))))))
  (fma (- (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))))
  (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)) (- (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))))
  (fma (- (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))
  (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)) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (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)) (- (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)))))
  (fma (- (* (sqrt (- t 1.0)) (sqrt a))) (* (sqrt (- t 1.0)) (sqrt a)) (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a))))
  (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)) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (fma (- (cbrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (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)) (- (* (sqrt a) (* (- t 1.0) (sqrt a)))))
  (fma (- (sqrt a)) (* (- t 1.0) (sqrt a)) (* (sqrt a) (* (- t 1.0) (sqrt a))))
  (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) 1))))
  (fma (- a) (* (- t 1.0) 1) (* a (* (- t 1.0) 1)))
  (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)) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (fma (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (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)) (- (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0)))))
  (fma (- (* (sqrt (- t 1.0)) a)) (sqrt (- t 1.0)) (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0))))
  (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)) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (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)) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (fma (- (* (- (sqrt t) (sqrt 1.0)) a)) (+ (sqrt t) (sqrt 1.0)) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (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)) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (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)) (- (* (- t 1.0) a)))
  (fma (- (- t 1.0)) a (* (- t 1.0) a))
  (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 (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))))))
  (fma (- (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))))
  (fma (- (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)))))
  (fma (- (* (sqrt (- t 1.0)) (sqrt a))) (* (sqrt (- t 1.0)) (sqrt a)) (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (fma (- (cbrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (sqrt a) (* (- t 1.0) (sqrt a)))))
  (fma (- (sqrt a)) (* (- t 1.0) (sqrt a)) (* (sqrt a) (* (- t 1.0) (sqrt a))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* a (* (- t 1.0) 1))))
  (fma (- a) (* (- t 1.0) 1) (* a (* (- t 1.0) 1)))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (fma (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0)))))
  (fma (- (* (sqrt (- t 1.0)) a)) (sqrt (- t 1.0)) (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (fma (- (* (- (sqrt t) (sqrt 1.0)) a)) (+ (sqrt t) (sqrt 1.0)) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (fma b (- (+ y t) 2.0) x)) (- (* (- t 1.0) a)))
  (fma (- (- t 1.0)) a (* (- t 1.0) a))
  (fma 1 (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) (- (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))))))
  (fma (- (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))))
  (fma (- (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)))))
  (fma (- (* (sqrt (- t 1.0)) (sqrt a))) (* (sqrt (- t 1.0)) (sqrt a)) (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (fma (- (cbrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (sqrt a) (* (- t 1.0) (sqrt a)))))
  (fma (- (sqrt a)) (* (- t 1.0) (sqrt a)) (* (sqrt a) (* (- t 1.0) (sqrt a))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* a (* (- t 1.0) 1))))
  (fma (- a) (* (- t 1.0) 1) (* a (* (- t 1.0) 1)))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (fma (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0)))))
  (fma (- (* (sqrt (- t 1.0)) a)) (sqrt (- t 1.0)) (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (fma (- (* (- (sqrt t) (sqrt 1.0)) a)) (+ (sqrt t) (sqrt 1.0)) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma 1 (fma b (- (+ y t) 2.0) x) (- (* (- t 1.0) a)))
  (fma (- (- t 1.0)) a (* (- t 1.0) 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)) (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))
  (+ (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (* (- t 1.0) a)))
  (- (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (* (- t 1.0) a)))
  (+ (sqrt (fma b (- (+ y t) 2.0) x)) (* (sqrt (- t 1.0)) (sqrt a)))
  (- (sqrt (fma b (- (+ y t) 2.0) x)) (* (sqrt (- t 1.0)) (sqrt 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))
  (- 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.292 * * [simplify]: iteration  0 :  434  enodes  (cost  1448 )
0.298 * * [simplify]: iteration  1 :  1389  enodes  (cost  1037 )
0.327 * * [simplify]: iteration  2 :  5002  enodes  (cost  1034 )
0.333 * [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))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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)) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (+ (- (cbrt a)) (cbrt a)))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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)) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (* (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (+ (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) a)))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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)) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (- (+ (sqrt t) (sqrt 1.0))) (+ (sqrt t) (sqrt 1.0))))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (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))))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (+ (- (cbrt a)) (cbrt a)))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (* (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (+ (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) a)))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (- (+ (sqrt t) (sqrt 1.0))) (+ (sqrt t) (sqrt 1.0))))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (+ (- (cbrt a)) (cbrt a)))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (* (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (+ (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) a)))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (- (+ (sqrt t) (sqrt 1.0))) (+ (sqrt t) (sqrt 1.0))))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))
  (* (- 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)))
  (- (* a (- t 1.0)))
  (- (* a (- t 1.0)))
  (- (* a (- t 1.0)))
  (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 (- t 1.0) (* a (fma (- t 1.0) a (fma b (- (+ y t) 2.0) x))) (* (fma b (- (+ y t) 2.0) x) (fma b (- (+ y t) 2.0) x)))
  (- (* a (- t 1.0)))
  (* (- (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))
  (+ (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (* (- t 1.0) a)))
  (- (sqrt (fma b (- (+ y t) 2.0) x)) (sqrt (* (- t 1.0) a)))
  (fma (sqrt a) (sqrt (- t 1.0)) (sqrt (fma b (- (+ y t) 2.0) x)))
  (- (sqrt (fma b (- (+ y t) 2.0) x)) (* (sqrt (- t 1.0)) (sqrt 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))
  (- x (* (- t 1.0) a))
  (- (* a (- t 1.0)))
  (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)
  (* a (sqrt (- t 1.0)))
  (* (- 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)
  (fma b y (- x (* 2.0 b)))
  (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))
  (* (- t 1.0) a)
  (* (- t 1.0) a)
  (* (- t 1.0) a)
0.333 * * * [progress]: adding candidates to table
0.697 * * [progress]: iteration 2 / 4
0.697 * * * [progress]: picking best candidate
0.700 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))>
0.700 * * * [progress]: localizing error
0.713 * * * [progress]: generating rewritten candidates
0.713 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3)
0.726 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 2)
0.735 * * * [progress]: generating series expansions
0.735 * * * * [progress]: [ 1 / 2 ] generating series at (2 3)
0.736 * [approximate]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in (b y x t a) around 0
0.736 * [taylor]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in a
0.736 * [taylor]: Taking taylor expansion of (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) in a
0.736 * [taylor]: Taking taylor expansion of (fma b y (- x (* 2.0 b))) in a
0.736 * [taylor]: Rewrote expression to (+ (* b y) (- x (* 2.0 b)))
0.736 * [taylor]: Taking taylor expansion of (* b y) in a
0.736 * [taylor]: Taking taylor expansion of b in a
0.736 * [taylor]: Taking taylor expansion of y in a
0.736 * [taylor]: Taking taylor expansion of (- x (* 2.0 b)) in a
0.736 * [taylor]: Taking taylor expansion of x in a
0.736 * [taylor]: Taking taylor expansion of (* 2.0 b) in a
0.736 * [taylor]: Taking taylor expansion of 2.0 in a
0.736 * [taylor]: Taking taylor expansion of b in a
0.736 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
0.736 * [taylor]: Taking taylor expansion of 1.0 in a
0.736 * [taylor]: Taking taylor expansion of a in a
0.736 * [taylor]: Taking taylor expansion of (* t a) in a
0.736 * [taylor]: Taking taylor expansion of t in a
0.736 * [taylor]: Taking taylor expansion of a in a
0.736 * [taylor]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in t
0.736 * [taylor]: Taking taylor expansion of (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) in t
0.736 * [taylor]: Taking taylor expansion of (fma b y (- x (* 2.0 b))) in t
0.736 * [taylor]: Rewrote expression to (+ (* b y) (- x (* 2.0 b)))
0.736 * [taylor]: Taking taylor expansion of (* b y) in t
0.736 * [taylor]: Taking taylor expansion of b in t
0.736 * [taylor]: Taking taylor expansion of y in t
0.736 * [taylor]: Taking taylor expansion of (- x (* 2.0 b)) in t
0.736 * [taylor]: Taking taylor expansion of x in t
0.736 * [taylor]: Taking taylor expansion of (* 2.0 b) in t
0.736 * [taylor]: Taking taylor expansion of 2.0 in t
0.736 * [taylor]: Taking taylor expansion of b in t
0.736 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
0.736 * [taylor]: Taking taylor expansion of 1.0 in t
0.736 * [taylor]: Taking taylor expansion of a in t
0.736 * [taylor]: Taking taylor expansion of (* t a) in t
0.736 * [taylor]: Taking taylor expansion of t in t
0.736 * [taylor]: Taking taylor expansion of a in t
0.736 * [taylor]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in x
0.736 * [taylor]: Taking taylor expansion of (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) in x
0.736 * [taylor]: Taking taylor expansion of (fma b y (- x (* 2.0 b))) in x
0.737 * [taylor]: Rewrote expression to (+ (* b y) (- x (* 2.0 b)))
0.737 * [taylor]: Taking taylor expansion of (* b y) in x
0.737 * [taylor]: Taking taylor expansion of b in x
0.737 * [taylor]: Taking taylor expansion of y in x
0.737 * [taylor]: Taking taylor expansion of (- x (* 2.0 b)) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of (* 2.0 b) in x
0.737 * [taylor]: Taking taylor expansion of 2.0 in x
0.737 * [taylor]: Taking taylor expansion of b in x
0.737 * [taylor]: Taking taylor expansion of (* 1.0 a) in x
0.737 * [taylor]: Taking taylor expansion of 1.0 in x
0.737 * [taylor]: Taking taylor expansion of a in x
0.737 * [taylor]: Taking taylor expansion of (* t a) in x
0.737 * [taylor]: Taking taylor expansion of t in x
0.737 * [taylor]: Taking taylor expansion of a in x
0.737 * [taylor]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in y
0.737 * [taylor]: Taking taylor expansion of (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) in y
0.737 * [taylor]: Taking taylor expansion of (fma b y (- x (* 2.0 b))) in y
0.737 * [taylor]: Rewrote expression to (+ (* b y) (- x (* 2.0 b)))
0.737 * [taylor]: Taking taylor expansion of (* b y) in y
0.737 * [taylor]: Taking taylor expansion of b in y
0.737 * [taylor]: Taking taylor expansion of y in y
0.737 * [taylor]: Taking taylor expansion of (- x (* 2.0 b)) in y
0.737 * [taylor]: Taking taylor expansion of x in y
0.737 * [taylor]: Taking taylor expansion of (* 2.0 b) in y
0.737 * [taylor]: Taking taylor expansion of 2.0 in y
0.737 * [taylor]: Taking taylor expansion of b in y
0.737 * [taylor]: Taking taylor expansion of (* 1.0 a) in y
0.737 * [taylor]: Taking taylor expansion of 1.0 in y
0.737 * [taylor]: Taking taylor expansion of a in y
0.737 * [taylor]: Taking taylor expansion of (* t a) in y
0.737 * [taylor]: Taking taylor expansion of t in y
0.737 * [taylor]: Taking taylor expansion of a in y
0.737 * [taylor]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in b
0.737 * [taylor]: Taking taylor expansion of (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) in b
0.737 * [taylor]: Taking taylor expansion of (fma b y (- x (* 2.0 b))) in b
0.737 * [taylor]: Rewrote expression to (+ (* b y) (- x (* 2.0 b)))
0.737 * [taylor]: Taking taylor expansion of (* b y) in b
0.737 * [taylor]: Taking taylor expansion of b in b
0.737 * [taylor]: Taking taylor expansion of y in b
0.737 * [taylor]: Taking taylor expansion of (- x (* 2.0 b)) in b
0.737 * [taylor]: Taking taylor expansion of x in b
0.737 * [taylor]: Taking taylor expansion of (* 2.0 b) in b
0.737 * [taylor]: Taking taylor expansion of 2.0 in b
0.737 * [taylor]: Taking taylor expansion of b in b
0.737 * [taylor]: Taking taylor expansion of (* 1.0 a) in b
0.737 * [taylor]: Taking taylor expansion of 1.0 in b
0.737 * [taylor]: Taking taylor expansion of a in b
0.737 * [taylor]: Taking taylor expansion of (* t a) in b
0.738 * [taylor]: Taking taylor expansion of t in b
0.738 * [taylor]: Taking taylor expansion of a in b
0.738 * [taylor]: Taking taylor expansion of (- (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) (* t a)) in b
0.738 * [taylor]: Taking taylor expansion of (+ (fma b y (- x (* 2.0 b))) (* 1.0 a)) in b
0.738 * [taylor]: Taking taylor expansion of (fma b y (- x (* 2.0 b))) in b
0.738 * [taylor]: Rewrote expression to (+ (* b y) (- x (* 2.0 b)))
0.738 * [taylor]: Taking taylor expansion of (* b y) in b
0.738 * [taylor]: Taking taylor expansion of b in b
0.738 * [taylor]: Taking taylor expansion of y in b
0.738 * [taylor]: Taking taylor expansion of (- x (* 2.0 b)) in b
0.738 * [taylor]: Taking taylor expansion of x in b
0.738 * [taylor]: Taking taylor expansion of (* 2.0 b) in b
0.738 * [taylor]: Taking taylor expansion of 2.0 in b
0.738 * [taylor]: Taking taylor expansion of b in b
0.738 * [taylor]: Taking taylor expansion of (* 1.0 a) in b
0.738 * [taylor]: Taking taylor expansion of 1.0 in b
0.738 * [taylor]: Taking taylor expansion of a in b
0.738 * [taylor]: Taking taylor expansion of (* t a) in b
0.738 * [taylor]: Taking taylor expansion of t in b
0.738 * [taylor]: Taking taylor expansion of a in b
0.739 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* t a)) in y
0.739 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in y
0.739 * [taylor]: Taking taylor expansion of (* 1.0 a) in y
0.739 * [taylor]: Taking taylor expansion of 1.0 in y
0.739 * [taylor]: Taking taylor expansion of a in y
0.739 * [taylor]: Taking taylor expansion of x in y
0.739 * [taylor]: Taking taylor expansion of (* t a) in y
0.739 * [taylor]: Taking taylor expansion of t in y
0.739 * [taylor]: Taking taylor expansion of a in y
0.739 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) x) (* t a)) in x
0.739 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) x) in x
0.739 * [taylor]: Taking taylor expansion of (* 1.0 a) in x
0.739 * [taylor]: Taking taylor expansion of 1.0 in x
0.739 * [taylor]: Taking taylor expansion of a in x
0.739 * [taylor]: Taking taylor expansion of x in x
0.739 * [taylor]: Taking taylor expansion of (* t a) in x
0.739 * [taylor]: Taking taylor expansion of t in x
0.739 * [taylor]: Taking taylor expansion of a in x
0.740 * [taylor]: Taking taylor expansion of (- (* 1.0 a) (* t a)) in t
0.740 * [taylor]: Taking taylor expansion of (* 1.0 a) in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [taylor]: Taking taylor expansion of a in t
0.740 * [taylor]: Taking taylor expansion of (* t a) in t
0.740 * [taylor]: Taking taylor expansion of t in t
0.740 * [taylor]: Taking taylor expansion of a in t
0.740 * [taylor]: Taking taylor expansion of (* 1.0 a) in a
0.740 * [taylor]: Taking taylor expansion of 1.0 in a
0.740 * [taylor]: Taking taylor expansion of a in a
0.743 * [taylor]: Taking taylor expansion of (- y 2.0) in y
0.743 * [taylor]: Taking taylor expansion of y in y
0.743 * [taylor]: Taking taylor expansion of 2.0 in y
0.744 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.744 * [taylor]: Taking taylor expansion of 2.0 in x
0.744 * [taylor]: Taking taylor expansion of (- 2.0) in t
0.744 * [taylor]: Taking taylor expansion of 2.0 in t
0.744 * [taylor]: Taking taylor expansion of (- 2.0) in a
0.744 * [taylor]: Taking taylor expansion of 2.0 in a
0.746 * [taylor]: Taking taylor expansion of 0 in x
0.746 * [taylor]: Taking taylor expansion of 0 in t
0.746 * [taylor]: Taking taylor expansion of 0 in a
0.747 * [taylor]: Taking taylor expansion of 1 in t
0.747 * [taylor]: Taking taylor expansion of 1 in a
0.747 * [taylor]: Taking taylor expansion of (- a) in a
0.747 * [taylor]: Taking taylor expansion of a in a
0.750 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in (b y x t a) around 0
0.750 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in a
0.750 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) in a
0.750 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.750 * [taylor]: Taking taylor expansion of 1.0 in a
0.750 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.750 * [taylor]: Taking taylor expansion of a in a
0.750 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b)))) in a
0.750 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 y)) (- (/ 1 x) (* 2.0 (/ 1 b))))
0.750 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 y)) in a
0.751 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.751 * [taylor]: Taking taylor expansion of b in a
0.751 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.751 * [taylor]: Taking taylor expansion of y in a
0.751 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 2.0 (/ 1 b))) in a
0.751 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.751 * [taylor]: Taking taylor expansion of x in a
0.751 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a
0.751 * [taylor]: Taking taylor expansion of 2.0 in a
0.751 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.751 * [taylor]: Taking taylor expansion of b in a
0.751 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.751 * [taylor]: Taking taylor expansion of (* t a) in a
0.751 * [taylor]: Taking taylor expansion of t in a
0.751 * [taylor]: Taking taylor expansion of a in a
0.751 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in t
0.751 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) in t
0.751 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.751 * [taylor]: Taking taylor expansion of 1.0 in t
0.751 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.751 * [taylor]: Taking taylor expansion of a in t
0.751 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b)))) in t
0.751 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 y)) (- (/ 1 x) (* 2.0 (/ 1 b))))
0.751 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 y)) in t
0.751 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.751 * [taylor]: Taking taylor expansion of b in t
0.751 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.751 * [taylor]: Taking taylor expansion of y in t
0.752 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 2.0 (/ 1 b))) in t
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.752 * [taylor]: Taking taylor expansion of x in t
0.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
0.752 * [taylor]: Taking taylor expansion of 2.0 in t
0.752 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.752 * [taylor]: Taking taylor expansion of b in t
0.752 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.752 * [taylor]: Taking taylor expansion of (* t a) in t
0.752 * [taylor]: Taking taylor expansion of t in t
0.752 * [taylor]: Taking taylor expansion of a in t
0.752 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in x
0.752 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) in x
0.752 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.752 * [taylor]: Taking taylor expansion of 1.0 in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.752 * [taylor]: Taking taylor expansion of a in x
0.752 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b)))) in x
0.752 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 y)) (- (/ 1 x) (* 2.0 (/ 1 b))))
0.752 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 y)) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 b) in x
0.752 * [taylor]: Taking taylor expansion of b in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.752 * [taylor]: Taking taylor expansion of y in x
0.752 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 2.0 (/ 1 b))) in x
0.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.752 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in x
0.753 * [taylor]: Taking taylor expansion of 2.0 in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 b) in x
0.753 * [taylor]: Taking taylor expansion of b in x
0.753 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.753 * [taylor]: Taking taylor expansion of (* t a) in x
0.753 * [taylor]: Taking taylor expansion of t in x
0.753 * [taylor]: Taking taylor expansion of a in x
0.753 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in y
0.753 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) in y
0.753 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.753 * [taylor]: Taking taylor expansion of 1.0 in y
0.753 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.753 * [taylor]: Taking taylor expansion of a in y
0.753 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b)))) in y
0.753 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 y)) (- (/ 1 x) (* 2.0 (/ 1 b))))
0.753 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 y)) in y
0.753 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.753 * [taylor]: Taking taylor expansion of b in y
0.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.753 * [taylor]: Taking taylor expansion of y in y
0.754 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 2.0 (/ 1 b))) in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.754 * [taylor]: Taking taylor expansion of x in y
0.754 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y
0.754 * [taylor]: Taking taylor expansion of 2.0 in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.754 * [taylor]: Taking taylor expansion of b in y
0.754 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.754 * [taylor]: Taking taylor expansion of (* t a) in y
0.754 * [taylor]: Taking taylor expansion of t in y
0.754 * [taylor]: Taking taylor expansion of a in y
0.754 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in b
0.754 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) in b
0.754 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.754 * [taylor]: Taking taylor expansion of 1.0 in b
0.754 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.754 * [taylor]: Taking taylor expansion of a in b
0.754 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b)))) in b
0.754 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 y)) (- (/ 1 x) (* 2.0 (/ 1 b))))
0.754 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 y)) in b
0.754 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.754 * [taylor]: Taking taylor expansion of b in b
0.754 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.754 * [taylor]: Taking taylor expansion of y in b
0.754 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 2.0 (/ 1 b))) in b
0.754 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.754 * [taylor]: Taking taylor expansion of x in b
0.754 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
0.755 * [taylor]: Taking taylor expansion of 2.0 in b
0.755 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.755 * [taylor]: Taking taylor expansion of b in b
0.755 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.755 * [taylor]: Taking taylor expansion of (* t a) in b
0.755 * [taylor]: Taking taylor expansion of t in b
0.755 * [taylor]: Taking taylor expansion of a in b
0.755 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) (/ 1 (* t a))) in b
0.755 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b))))) in b
0.755 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.755 * [taylor]: Taking taylor expansion of 1.0 in b
0.755 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.755 * [taylor]: Taking taylor expansion of a in b
0.755 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 y) (- (/ 1 x) (* 2.0 (/ 1 b)))) in b
0.755 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 y)) (- (/ 1 x) (* 2.0 (/ 1 b))))
0.755 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 y)) in b
0.755 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.755 * [taylor]: Taking taylor expansion of b in b
0.755 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.755 * [taylor]: Taking taylor expansion of y in b
0.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 2.0 (/ 1 b))) in b
0.756 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.756 * [taylor]: Taking taylor expansion of x in b
0.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
0.756 * [taylor]: Taking taylor expansion of 2.0 in b
0.756 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.756 * [taylor]: Taking taylor expansion of b in b
0.756 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.756 * [taylor]: Taking taylor expansion of (* t a) in b
0.756 * [taylor]: Taking taylor expansion of t in b
0.756 * [taylor]: Taking taylor expansion of a in b
0.757 * [taylor]: Taking taylor expansion of (- (/ 1 y) 2.0) in y
0.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.757 * [taylor]: Taking taylor expansion of y in y
0.758 * [taylor]: Taking taylor expansion of 2.0 in y
0.758 * [taylor]: Taking taylor expansion of 1 in x
0.760 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in y
0.760 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y
0.760 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.760 * [taylor]: Taking taylor expansion of 1.0 in y
0.760 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.760 * [taylor]: Taking taylor expansion of a in y
0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.760 * [taylor]: Taking taylor expansion of x in y
0.760 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.760 * [taylor]: Taking taylor expansion of (* t a) in y
0.760 * [taylor]: Taking taylor expansion of t in y
0.760 * [taylor]: Taking taylor expansion of a in y
0.762 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.762 * [taylor]: Taking taylor expansion of 2.0 in x
0.762 * [taylor]: Taking taylor expansion of 1 in t
0.765 * [taylor]: Taking taylor expansion of 0 in y
0.766 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 a)) (/ 1 x)) (/ 1 (* t a))) in x
0.766 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
0.766 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.766 * [taylor]: Taking taylor expansion of 1.0 in x
0.766 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.766 * [taylor]: Taking taylor expansion of a in x
0.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.766 * [taylor]: Taking taylor expansion of (* t a) in x
0.766 * [taylor]: Taking taylor expansion of t in x
0.766 * [taylor]: Taking taylor expansion of a in x
0.767 * [taylor]: Taking taylor expansion of 1 in t
0.768 * [taylor]: Taking taylor expansion of 0 in x
0.768 * [taylor]: Taking taylor expansion of (- 2.0) in t
0.768 * [taylor]: Taking taylor expansion of 2.0 in t
0.768 * [taylor]: Taking taylor expansion of 0 in t
0.768 * [taylor]: Taking taylor expansion of 1 in a
0.773 * [taylor]: Taking taylor expansion of 0 in y
0.773 * [taylor]: Taking taylor expansion of 0 in x
0.774 * [taylor]: Taking taylor expansion of 0 in x
0.775 * [taylor]: Taking taylor expansion of 0 in x
0.776 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (/ 1 (* t a))) in t
0.776 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.776 * [taylor]: Taking taylor expansion of 1.0 in t
0.776 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.776 * [taylor]: Taking taylor expansion of a in t
0.776 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.776 * [taylor]: Taking taylor expansion of (* t a) in t
0.776 * [taylor]: Taking taylor expansion of t in t
0.776 * [taylor]: Taking taylor expansion of a in t
0.776 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.776 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.776 * [taylor]: Taking taylor expansion of a in a
0.777 * [taylor]: Taking taylor expansion of 0 in t
0.777 * [taylor]: Taking taylor expansion of 0 in t
0.777 * [taylor]: Taking taylor expansion of 0 in t
0.777 * [taylor]: Taking taylor expansion of 1 in a
0.777 * [taylor]: Taking taylor expansion of (- 2.0) in a
0.777 * [taylor]: Taking taylor expansion of 2.0 in a
0.778 * [taylor]: Taking taylor expansion of 0 in a
0.778 * [taylor]: Taking taylor expansion of 0 in a
0.783 * [taylor]: Taking taylor expansion of 0 in y
0.783 * [taylor]: Taking taylor expansion of 0 in x
0.783 * [taylor]: Taking taylor expansion of 0 in x
0.785 * [taylor]: Taking taylor expansion of 0 in x
0.786 * [taylor]: Taking taylor expansion of 0 in x
0.786 * [taylor]: Taking taylor expansion of 0 in t
0.786 * [taylor]: Taking taylor expansion of 0 in t
0.786 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.788 * [taylor]: Taking taylor expansion of 0 in t
0.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.789 * [taylor]: Taking taylor expansion of 1.0 in a
0.789 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.789 * [taylor]: Taking taylor expansion of a in a
0.791 * [approximate]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in (b y x t a) around 0
0.791 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in a
0.791 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) in a
0.791 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 y)) (- (* 2.0 (/ 1 b)) (/ 1 x)))
0.791 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 y)) in a
0.791 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.791 * [taylor]: Taking taylor expansion of -1 in a
0.791 * [taylor]: Taking taylor expansion of b in a
0.791 * [taylor]: Taking taylor expansion of (/ -1 y) in a
0.791 * [taylor]: Taking taylor expansion of -1 in a
0.791 * [taylor]: Taking taylor expansion of y in a
0.791 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (/ 1 x)) in a
0.791 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a
0.791 * [taylor]: Taking taylor expansion of 2.0 in a
0.791 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.791 * [taylor]: Taking taylor expansion of b in a
0.791 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.791 * [taylor]: Taking taylor expansion of x in a
0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in a
0.791 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a
0.791 * [taylor]: Taking taylor expansion of (* t a) in a
0.791 * [taylor]: Taking taylor expansion of t in a
0.791 * [taylor]: Taking taylor expansion of a 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.792 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in t
0.792 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) in t
0.792 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 y)) (- (* 2.0 (/ 1 b)) (/ 1 x)))
0.792 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 y)) in t
0.792 * [taylor]: Taking taylor expansion of (/ -1 b) in t
0.792 * [taylor]: Taking taylor expansion of -1 in t
0.792 * [taylor]: Taking taylor expansion of b in t
0.792 * [taylor]: Taking taylor expansion of (/ -1 y) in t
0.792 * [taylor]: Taking taylor expansion of -1 in t
0.792 * [taylor]: Taking taylor expansion of y in t
0.792 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (/ 1 x)) in t
0.792 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t
0.792 * [taylor]: Taking taylor expansion of 2.0 in t
0.792 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.792 * [taylor]: Taking taylor expansion of b in t
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.792 * [taylor]: Taking taylor expansion of x in t
0.792 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in t
0.793 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.793 * [taylor]: Taking taylor expansion of (* t a) in t
0.793 * [taylor]: Taking taylor expansion of t in t
0.793 * [taylor]: Taking taylor expansion of a in t
0.793 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.793 * [taylor]: Taking taylor expansion of 1.0 in t
0.793 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.793 * [taylor]: Taking taylor expansion of a in t
0.793 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in x
0.793 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) in x
0.793 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 y)) (- (* 2.0 (/ 1 b)) (/ 1 x)))
0.793 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 y)) in x
0.793 * [taylor]: Taking taylor expansion of (/ -1 b) in x
0.793 * [taylor]: Taking taylor expansion of -1 in x
0.793 * [taylor]: Taking taylor expansion of b in x
0.793 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.793 * [taylor]: Taking taylor expansion of -1 in x
0.793 * [taylor]: Taking taylor expansion of y in x
0.793 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (/ 1 x)) in x
0.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in x
0.793 * [taylor]: Taking taylor expansion of 2.0 in x
0.793 * [taylor]: Taking taylor expansion of (/ 1 b) in x
0.793 * [taylor]: Taking taylor expansion of b in x
0.793 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.793 * [taylor]: Taking taylor expansion of x in x
0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.794 * [taylor]: Taking taylor expansion of (* t a) in x
0.794 * [taylor]: Taking taylor expansion of t in x
0.794 * [taylor]: Taking taylor expansion of a in x
0.794 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.794 * [taylor]: Taking taylor expansion of 1.0 in x
0.794 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.794 * [taylor]: Taking taylor expansion of a in x
0.794 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in y
0.794 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) in y
0.794 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 y)) (- (* 2.0 (/ 1 b)) (/ 1 x)))
0.794 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 y)) in y
0.794 * [taylor]: Taking taylor expansion of (/ -1 b) in y
0.794 * [taylor]: Taking taylor expansion of -1 in y
0.794 * [taylor]: Taking taylor expansion of b in y
0.794 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.794 * [taylor]: Taking taylor expansion of -1 in y
0.794 * [taylor]: Taking taylor expansion of y in y
0.794 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (/ 1 x)) in y
0.794 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y
0.794 * [taylor]: Taking taylor expansion of 2.0 in y
0.794 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.795 * [taylor]: Taking taylor expansion of b in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.795 * [taylor]: Taking taylor expansion of x in y
0.795 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.795 * [taylor]: Taking taylor expansion of (* t a) in y
0.795 * [taylor]: Taking taylor expansion of t in y
0.795 * [taylor]: Taking taylor expansion of a in y
0.795 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.795 * [taylor]: Taking taylor expansion of 1.0 in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.795 * [taylor]: Taking taylor expansion of a in y
0.795 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in b
0.795 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) in b
0.795 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 y)) (- (* 2.0 (/ 1 b)) (/ 1 x)))
0.795 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 y)) in b
0.795 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.795 * [taylor]: Taking taylor expansion of -1 in b
0.795 * [taylor]: Taking taylor expansion of b in b
0.795 * [taylor]: Taking taylor expansion of (/ -1 y) in b
0.795 * [taylor]: Taking taylor expansion of -1 in b
0.795 * [taylor]: Taking taylor expansion of y in b
0.795 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (/ 1 x)) in b
0.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
0.795 * [taylor]: Taking taylor expansion of 2.0 in b
0.795 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.795 * [taylor]: Taking taylor expansion of b in b
0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.796 * [taylor]: Taking taylor expansion of x in b
0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b
0.796 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.796 * [taylor]: Taking taylor expansion of (* t a) in b
0.796 * [taylor]: Taking taylor expansion of t in b
0.796 * [taylor]: Taking taylor expansion of a in b
0.796 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.796 * [taylor]: Taking taylor expansion of 1.0 in b
0.796 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.796 * [taylor]: Taking taylor expansion of a in b
0.796 * [taylor]: Taking taylor expansion of (- (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in b
0.796 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 y) (- (* 2.0 (/ 1 b)) (/ 1 x))) in b
0.796 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 y)) (- (* 2.0 (/ 1 b)) (/ 1 x)))
0.796 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 y)) in b
0.796 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.796 * [taylor]: Taking taylor expansion of -1 in b
0.796 * [taylor]: Taking taylor expansion of b in b
0.796 * [taylor]: Taking taylor expansion of (/ -1 y) in b
0.797 * [taylor]: Taking taylor expansion of -1 in b
0.797 * [taylor]: Taking taylor expansion of y in b
0.797 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (/ 1 x)) in b
0.797 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b
0.797 * [taylor]: Taking taylor expansion of 2.0 in b
0.797 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.797 * [taylor]: Taking taylor expansion of b in b
0.797 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.797 * [taylor]: Taking taylor expansion of x in b
0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b
0.797 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b
0.797 * [taylor]: Taking taylor expansion of (* t a) in b
0.797 * [taylor]: Taking taylor expansion of t in b
0.797 * [taylor]: Taking taylor expansion of a in b
0.797 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b
0.797 * [taylor]: Taking taylor expansion of 1.0 in b
0.797 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.797 * [taylor]: Taking taylor expansion of a in b
0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 2.0) in y
0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.798 * [taylor]: Taking taylor expansion of 2.0 in y
0.798 * [taylor]: Taking taylor expansion of 1 in x
0.800 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in y
0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y
0.801 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y
0.801 * [taylor]: Taking taylor expansion of (* t a) in y
0.801 * [taylor]: Taking taylor expansion of t in y
0.801 * [taylor]: Taking taylor expansion of a in y
0.801 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y
0.801 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y
0.801 * [taylor]: Taking taylor expansion of 1.0 in y
0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.801 * [taylor]: Taking taylor expansion of a in y
0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.801 * [taylor]: Taking taylor expansion of x in y
0.801 * [taylor]: Taking taylor expansion of 2.0 in x
0.801 * [taylor]: Taking taylor expansion of 1 in t
0.808 * [taylor]: Taking taylor expansion of 0 in y
0.809 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x
0.809 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x
0.809 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x
0.809 * [taylor]: Taking taylor expansion of (* t a) in x
0.809 * [taylor]: Taking taylor expansion of t in x
0.809 * [taylor]: Taking taylor expansion of a in x
0.809 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x
0.809 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x
0.809 * [taylor]: Taking taylor expansion of 1.0 in x
0.809 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.809 * [taylor]: Taking taylor expansion of a in x
0.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.809 * [taylor]: Taking taylor expansion of x in x
0.810 * [taylor]: Taking taylor expansion of -1 in t
0.811 * [taylor]: Taking taylor expansion of 0 in x
0.811 * [taylor]: Taking taylor expansion of 2.0 in t
0.811 * [taylor]: Taking taylor expansion of 0 in t
0.811 * [taylor]: Taking taylor expansion of 1 in a
0.816 * [taylor]: Taking taylor expansion of 0 in y
0.816 * [taylor]: Taking taylor expansion of 0 in x
0.817 * [taylor]: Taking taylor expansion of 0 in x
0.818 * [taylor]: Taking taylor expansion of 0 in x
0.818 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in t
0.819 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in t
0.819 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t
0.819 * [taylor]: Taking taylor expansion of (* t a) in t
0.819 * [taylor]: Taking taylor expansion of t in t
0.819 * [taylor]: Taking taylor expansion of a in t
0.819 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t
0.819 * [taylor]: Taking taylor expansion of 1.0 in t
0.819 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.819 * [taylor]: Taking taylor expansion of a in t
0.819 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
0.819 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.819 * [taylor]: Taking taylor expansion of a in a
0.820 * [taylor]: Taking taylor expansion of 0 in t
0.820 * [taylor]: Taking taylor expansion of 0 in t
0.820 * [taylor]: Taking taylor expansion of 0 in t
0.820 * [taylor]: Taking taylor expansion of -1 in a
0.820 * [taylor]: Taking taylor expansion of 2.0 in a
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.820 * [taylor]: Taking taylor expansion of 0 in a
0.825 * [taylor]: Taking taylor expansion of 0 in y
0.825 * [taylor]: Taking taylor expansion of 0 in x
0.825 * [taylor]: Taking taylor expansion of 0 in x
0.827 * [taylor]: Taking taylor expansion of 0 in x
0.828 * [taylor]: Taking taylor expansion of 0 in x
0.828 * [taylor]: Taking taylor expansion of 0 in t
0.828 * [taylor]: Taking taylor expansion of 0 in t
0.828 * [taylor]: Taking taylor expansion of 0 in t
0.830 * [taylor]: Taking taylor expansion of 0 in t
0.830 * [taylor]: Taking taylor expansion of 0 in t
0.830 * [taylor]: Taking taylor expansion of 0 in t
0.830 * [taylor]: Taking taylor expansion of 0 in t
0.830 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
0.830 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.830 * [taylor]: Taking taylor expansion of 1.0 in a
0.830 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.830 * [taylor]: Taking taylor expansion of a in a
0.833 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 2)
0.833 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0
0.833 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a
0.833 * [taylor]: Taking taylor expansion of (- t 1.0) in a
0.833 * [taylor]: Taking taylor expansion of t in a
0.833 * [taylor]: Taking taylor expansion of 1.0 in a
0.833 * [taylor]: Taking taylor expansion of a in a
0.833 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t
0.833 * [taylor]: Taking taylor expansion of (- t 1.0) in t
0.833 * [taylor]: Taking taylor expansion of t in t
0.833 * [taylor]: Taking taylor expansion of 1.0 in t
0.833 * [taylor]: Taking taylor expansion of a in t
0.833 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t
0.833 * [taylor]: Taking taylor expansion of (- t 1.0) in t
0.833 * [taylor]: Taking taylor expansion of t in t
0.833 * [taylor]: Taking taylor expansion of 1.0 in t
0.833 * [taylor]: Taking taylor expansion of a in t
0.834 * [taylor]: Taking taylor expansion of (* -1.0 a) in a
0.834 * [taylor]: Taking taylor expansion of -1.0 in a
0.834 * [taylor]: Taking taylor expansion of a in a
0.835 * [taylor]: Taking taylor expansion of a in a
0.837 * [taylor]: Taking taylor expansion of 0 in a
0.839 * [taylor]: Taking taylor expansion of 0 in a
0.841 * [taylor]: Taking taylor expansion of 0 in a
0.841 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0
0.841 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a
0.841 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a
0.841 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.841 * [taylor]: Taking taylor expansion of t in a
0.841 * [taylor]: Taking taylor expansion of 1.0 in a
0.842 * [taylor]: Taking taylor expansion of a in a
0.842 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t
0.842 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t
0.842 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.842 * [taylor]: Taking taylor expansion of t in t
0.842 * [taylor]: Taking taylor expansion of 1.0 in t
0.842 * [taylor]: Taking taylor expansion of a in t
0.843 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t
0.843 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t
0.843 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.843 * [taylor]: Taking taylor expansion of t in t
0.843 * [taylor]: Taking taylor expansion of 1.0 in t
0.843 * [taylor]: Taking taylor expansion of a in t
0.843 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.843 * [taylor]: Taking taylor expansion of a in a
0.845 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a
0.845 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.845 * [taylor]: Taking taylor expansion of 1.0 in a
0.845 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.845 * [taylor]: Taking taylor expansion of a in a
0.848 * [taylor]: Taking taylor expansion of 0 in a
0.850 * [taylor]: Taking taylor expansion of 0 in a
0.852 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0
0.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a
0.852 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.852 * [taylor]: Taking taylor expansion of t in a
0.852 * [taylor]: Taking taylor expansion of 1.0 in a
0.852 * [taylor]: Taking taylor expansion of a in a
0.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t
0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.852 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.852 * [taylor]: Taking taylor expansion of t in t
0.853 * [taylor]: Taking taylor expansion of 1.0 in t
0.853 * [taylor]: Taking taylor expansion of a in t
0.853 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t
0.853 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
0.853 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.853 * [taylor]: Taking taylor expansion of t in t
0.853 * [taylor]: Taking taylor expansion of 1.0 in t
0.853 * [taylor]: Taking taylor expansion of a in t
0.854 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.854 * [taylor]: Taking taylor expansion of a in a
0.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a
0.855 * [taylor]: Taking taylor expansion of 1.0 in a
0.855 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.855 * [taylor]: Taking taylor expansion of a in a
0.856 * [taylor]: Taking taylor expansion of 0 in a
0.859 * [taylor]: Taking taylor expansion of 0 in a
0.860 * * * [progress]: simplifying candidates
0.862 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (fma (- a) (- t 1.0) (* a (- t 1.0)))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))))))
  (fma (- (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))))
  (fma (- (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)))))
  (fma (- (* (sqrt (- t 1.0)) (sqrt a))) (* (sqrt (- t 1.0)) (sqrt a)) (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (fma (- (cbrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (sqrt a) (* (- t 1.0) (sqrt a)))))
  (fma (- (sqrt a)) (* (- t 1.0) (sqrt a)) (* (sqrt a) (* (- t 1.0) (sqrt a))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (* (- t 1.0) 1))))
  (fma (- a) (* (- t 1.0) 1) (* a (* (- t 1.0) 1)))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (fma (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0)))))
  (fma (- (* (sqrt (- t 1.0)) a)) (sqrt (- t 1.0)) (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (fma (- (* (- (sqrt t) (sqrt 1.0)) a)) (+ (sqrt t) (sqrt 1.0)) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (- t 1.0) a)))
  (fma (- (- t 1.0)) a (* (- t 1.0) a))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (fma (- a) (- t 1.0) (* a (- t 1.0)))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))))))
  (fma (- (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))))
  (fma (- (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)))))
  (fma (- (* (sqrt (- t 1.0)) (sqrt a))) (* (sqrt (- t 1.0)) (sqrt a)) (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (fma (- (cbrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (sqrt a) (* (- t 1.0) (sqrt a)))))
  (fma (- (sqrt a)) (* (- t 1.0) (sqrt a)) (* (sqrt a) (* (- t 1.0) (sqrt a))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* a (* (- t 1.0) 1))))
  (fma (- a) (* (- t 1.0) 1) (* a (* (- t 1.0) 1)))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (fma (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0)))))
  (fma (- (* (sqrt (- t 1.0)) a)) (sqrt (- t 1.0)) (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (fma (- (* (- (sqrt t) (sqrt 1.0)) a)) (+ (sqrt t) (sqrt 1.0)) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (fma b y (- x (* 2.0 b)))) (- (* (- t 1.0) a)))
  (fma (- (- t 1.0)) a (* (- t 1.0) a))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* a (- t 1.0))))
  (fma (- a) (- t 1.0) (* a (- t 1.0)))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))))))
  (fma (- (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (* (cbrt (* (- t 1.0) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a)))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)))))
  (fma (- (sqrt (* (- t 1.0) a))) (sqrt (* (- t 1.0) a)) (* (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)))))
  (fma (- (* (sqrt (- t 1.0)) (sqrt a))) (* (sqrt (- t 1.0)) (sqrt a)) (* (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (fma (- (cbrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (sqrt a) (* (- t 1.0) (sqrt a)))))
  (fma (- (sqrt a)) (* (- t 1.0) (sqrt a)) (* (sqrt a) (* (- t 1.0) (sqrt a))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* a (* (- t 1.0) 1))))
  (fma (- a) (* (- t 1.0) 1) (* a (* (- t 1.0) 1)))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (fma (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0)))))
  (fma (- (* (sqrt (- t 1.0)) a)) (sqrt (- t 1.0)) (* (* (sqrt (- t 1.0)) a) (sqrt (- t 1.0))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (fma (- (* (- (sqrt t) (sqrt 1.0)) a)) (+ (sqrt t) (sqrt 1.0)) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (* (- t 1.0) a) 1)))
  (fma (- (* (- t 1.0) a)) 1 (* (* (- t 1.0) a) 1))
  (fma 1 (fma b y (- x (* 2.0 b))) (- (* (- t 1.0) a)))
  (fma (- (- t 1.0)) a (* (- t 1.0) a))
  (expm1 (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (log1p (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (- (* (- t 1.0) a))
  (- (* (- t 1.0) a))
  (- (* (- t 1.0) a))
  (/ (exp (fma b y (- x (* 2.0 b)))) (exp (* (- t 1.0) a)))
  (log (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (exp (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (* (cbrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))) (cbrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))
  (cbrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (* (* (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)) (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))) (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (sqrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (sqrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (- (pow (fma b y (- x (* 2.0 b))) 3) (pow (* (- t 1.0) a) 3))
  (+ (* (fma b y (- x (* 2.0 b))) (fma b y (- x (* 2.0 b)))) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))
  (- (* (- t 1.0) a))
  (- (* (fma b y (- x (* 2.0 b))) (fma b y (- x (* 2.0 b)))) (* (* (- t 1.0) a) (* (- t 1.0) a)))
  (+ (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (+ (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (* (- t 1.0) a)))
  (- (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (* (- t 1.0) a)))
  (+ (sqrt (fma b y (- x (* 2.0 b)))) (* (sqrt (- t 1.0)) (sqrt a)))
  (- (sqrt (fma b y (- x (* 2.0 b)))) (* (sqrt (- t 1.0)) (sqrt a)))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (- (- x (* 2.0 b)) (* (- 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)
  (- (+ (* 1.0 a) x) (* 2.0 b))
  (- (+ (* y b) (* 1.0 a)) (* a t))
  (- (+ (* y b) (* 1.0 a)) (* a t))
  (- (* a t) (* 1.0 a))
  (- (* a t) (* 1.0 a))
  (- (* a t) (* 1.0 a))
0.869 * * [simplify]: iteration  0 :  410  enodes  (cost  1396 )
0.876 * * [simplify]: iteration  1 :  1350  enodes  (cost  988 )
0.903 * * [simplify]: iteration  2 :  5002  enodes  (cost  985 )
0.907 * [simplify]: Simplified to:
   (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a))))))
  (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (+ (- (cbrt a)) (cbrt a)))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0))))))
  (* (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (+ (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) a)))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0)))))
  (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (- (+ (sqrt t) (sqrt 1.0))) (+ (sqrt t) (sqrt 1.0))))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (fma (* (cbrt (fma b y (- x (* 2.0 b)))) (cbrt (fma b y (- x (* 2.0 b))))) (cbrt (fma b y (- x (* 2.0 b)))) (- (* a (- t 1.0))))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (+ (- (cbrt a)) (cbrt a)))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (* (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (+ (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) a)))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (- (+ (sqrt t) (sqrt 1.0))) (+ (sqrt t) (sqrt 1.0))))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (cbrt a) (* (- t 1.0) (* (cbrt a) (cbrt a)))))
  (* (* (- t 1.0) (* (cbrt a) (cbrt a))) (+ (- (cbrt a)) (cbrt a)))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (* (cbrt (- t 1.0)) a) (* (cbrt (- t 1.0)) (cbrt (- t 1.0)))))
  (* (* (cbrt (- t 1.0)) (cbrt (- t 1.0))) (+ (- (* (cbrt (- t 1.0)) a)) (* (cbrt (- t 1.0)) a)))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (sqrt t) (sqrt 1.0))))
  (* (* (- (sqrt t) (sqrt 1.0)) a) (+ (- (+ (sqrt t) (sqrt 1.0))) (+ (sqrt t) (sqrt 1.0))))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (* (- t 1.0) (+ (- a) a))
  (expm1 (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (log1p (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (- (* a (- t 1.0)))
  (- (* a (- t 1.0)))
  (- (* a (- t 1.0)))
  (exp (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (log (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (exp (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (* (cbrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))) (cbrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))
  (cbrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (pow (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)) 3)
  (sqrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (sqrt (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)))
  (- (pow (fma b y (- x (* 2.0 b))) 3) (pow (* (- t 1.0) a) 3))
  (fma (- t 1.0) (* a (fma (- t 1.0) a (fma b y (- x (* 2.0 b))))) (* (fma b y (- x (* 2.0 b))) (fma b y (- x (* 2.0 b)))))
  (- (* a (- t 1.0)))
  (* (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a)) (fma (- t 1.0) a (fma b y (- x (* 2.0 b)))))
  (fma (- t 1.0) a (fma b y (- x (* 2.0 b))))
  (+ (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (* (- t 1.0) a)))
  (- (sqrt (fma b y (- x (* 2.0 b)))) (sqrt (* (- t 1.0) a)))
  (fma (sqrt a) (sqrt (- t 1.0)) (sqrt (fma b y (- x (* 2.0 b)))))
  (- (sqrt (fma b y (- x (* 2.0 b)))) (* (sqrt (- t 1.0)) (sqrt a)))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))
  (- (- x (* 2.0 b)) (* (- t 1.0) a))
  (- (* a (- t 1.0)))
  (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)
  (* a (sqrt (- t 1.0)))
  (* (- 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)
  (fma a 1.0 (- x (* 2.0 b)))
  (fma a (- 1.0 t) (* y b))
  (fma a (- 1.0 t) (* y b))
  (* (- t 1.0) a)
  (* (- t 1.0) a)
  (* (- t 1.0) a)
0.908 * * * [progress]: adding candidates to table
1.092 * [progress]: [Phase 3 of 3] Extracting.
1.092 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.093 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x)
1.093 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.112 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.129 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.147 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.164 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.183 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b y (- x (* 2.0 b))) (* (- t 1.0) a))))> #<alt (λ (x y z t a b) (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a))))>)
1.200 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.200 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
1.201 * * [simplify]: iteration  0 :  18  enodes  (cost  8 )
1.201 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
1.201 * [simplify]: Simplified to:
   (fma (- 1.0 y) z (- (fma b (- (+ y t) 2.0) x) (* (- t 1.0) a)))
2.334 * [regime-testing]: Baseline error score: 0.01818875523144514
2.335 * [regime-testing]: Oracle error score: 0.016313520827144604
2.336 * [regime-testing]: End program error score: 0.01818875523144514