22.593 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.048 * * * [progress]: [2/2] Setting up program.
0.051 * [progress]: [Phase 2 of 3] Improving.
0.051 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.053 * * [simplify]: iteration  0 :  30  enodes  (cost  8 )
0.054 * * [simplify]: iteration  1 :  89  enodes  (cost  7 )
0.057 * * [simplify]: iteration  2 :  291  enodes  (cost  7 )
0.061 * * [simplify]: iteration  3 :  898  enodes  (cost  7 )
0.073 * * [simplify]: iteration  4 :  2565  enodes  (cost  7 )
0.100 * * [simplify]: iteration  5 :  5001  enodes  (cost  7 )
0.101 * [simplify]: Simplified to:
   (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
0.105 * * [progress]: iteration 1 / 4
0.105 * * * [progress]: picking best candidate
0.107 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))>
0.107 * * * [progress]: localizing error
0.119 * * * [progress]: generating rewritten candidates
0.119 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3 2)
0.122 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3)
0.127 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.128 * * * [progress]: generating series expansions
0.128 * * * * [progress]: [ 1 / 3 ] generating series at (2 3 2)
0.128 * [approximate]: Taking taylor expansion of (* (log t) z) in (z t) around 0
0.128 * [taylor]: Taking taylor expansion of (* (log t) z) in t
0.128 * [taylor]: Taking taylor expansion of (log t) in t
0.128 * [taylor]: Taking taylor expansion of t in t
0.128 * [taylor]: Taking taylor expansion of z in t
0.128 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.128 * [taylor]: Taking taylor expansion of (log t) in z
0.128 * [taylor]: Taking taylor expansion of t in z
0.128 * [taylor]: Taking taylor expansion of z in z
0.128 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.128 * [taylor]: Taking taylor expansion of (log t) in z
0.128 * [taylor]: Taking taylor expansion of t in z
0.128 * [taylor]: Taking taylor expansion of z in z
0.129 * [taylor]: Taking taylor expansion of 0 in t
0.129 * [taylor]: Taking taylor expansion of (log t) in t
0.129 * [taylor]: Taking taylor expansion of t in t
0.132 * [taylor]: Taking taylor expansion of 0 in t
0.134 * [taylor]: Taking taylor expansion of 0 in t
0.138 * [approximate]: Taking taylor expansion of (/ (log (/ 1 t)) z) in (z t) around 0
0.138 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
0.138 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.138 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.138 * [taylor]: Taking taylor expansion of t in t
0.138 * [taylor]: Taking taylor expansion of z in t
0.139 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
0.139 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.139 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.139 * [taylor]: Taking taylor expansion of t in z
0.139 * [taylor]: Taking taylor expansion of z in z
0.139 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
0.139 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.139 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.139 * [taylor]: Taking taylor expansion of t in z
0.139 * [taylor]: Taking taylor expansion of z in z
0.139 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.139 * [taylor]: Taking taylor expansion of t in t
0.141 * [taylor]: Taking taylor expansion of 0 in t
0.144 * [taylor]: Taking taylor expansion of 0 in t
0.149 * [taylor]: Taking taylor expansion of 0 in t
0.149 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in (z t) around 0
0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in t
0.149 * [taylor]: Taking taylor expansion of -1 in t
0.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
0.149 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.149 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.149 * [taylor]: Taking taylor expansion of -1 in t
0.149 * [taylor]: Taking taylor expansion of t in t
0.150 * [taylor]: Taking taylor expansion of z in t
0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
0.151 * [taylor]: Taking taylor expansion of -1 in z
0.151 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
0.151 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.151 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.151 * [taylor]: Taking taylor expansion of -1 in z
0.151 * [taylor]: Taking taylor expansion of t in z
0.151 * [taylor]: Taking taylor expansion of z in z
0.151 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z
0.151 * [taylor]: Taking taylor expansion of -1 in z
0.151 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
0.151 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.151 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.151 * [taylor]: Taking taylor expansion of -1 in z
0.151 * [taylor]: Taking taylor expansion of t in z
0.151 * [taylor]: Taking taylor expansion of z in z
0.152 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t
0.152 * [taylor]: Taking taylor expansion of -1 in t
0.152 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.152 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.152 * [taylor]: Taking taylor expansion of -1 in t
0.152 * [taylor]: Taking taylor expansion of t in t
0.154 * [taylor]: Taking taylor expansion of 0 in t
0.159 * [taylor]: Taking taylor expansion of 0 in t
0.166 * [taylor]: Taking taylor expansion of 0 in t
0.166 * * * * [progress]: [ 2 / 3 ] generating series at (2 3)
0.166 * [approximate]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in (x y z t) around 0
0.166 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in t
0.166 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t
0.166 * [taylor]: Taking taylor expansion of x in t
0.166 * [taylor]: Taking taylor expansion of (+ z y) in t
0.166 * [taylor]: Taking taylor expansion of z in t
0.166 * [taylor]: Taking taylor expansion of y in t
0.166 * [taylor]: Taking taylor expansion of (* (log t) z) in t
0.166 * [taylor]: Taking taylor expansion of (log t) in t
0.167 * [taylor]: Taking taylor expansion of t in t
0.167 * [taylor]: Taking taylor expansion of z in t
0.167 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in z
0.167 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
0.167 * [taylor]: Taking taylor expansion of x in z
0.167 * [taylor]: Taking taylor expansion of (+ z y) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [taylor]: Taking taylor expansion of y in z
0.167 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.167 * [taylor]: Taking taylor expansion of (log t) in z
0.167 * [taylor]: Taking taylor expansion of t in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in y
0.167 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
0.167 * [taylor]: Taking taylor expansion of x in y
0.167 * [taylor]: Taking taylor expansion of (+ z y) in y
0.167 * [taylor]: Taking taylor expansion of z in y
0.167 * [taylor]: Taking taylor expansion of y in y
0.167 * [taylor]: Taking taylor expansion of (* (log t) z) in y
0.167 * [taylor]: Taking taylor expansion of (log t) in y
0.167 * [taylor]: Taking taylor expansion of t in y
0.167 * [taylor]: Taking taylor expansion of z in y
0.167 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
0.167 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.167 * [taylor]: Taking taylor expansion of (+ z y) in x
0.167 * [taylor]: Taking taylor expansion of z in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of (* (log t) z) in x
0.167 * [taylor]: Taking taylor expansion of (log t) in x
0.167 * [taylor]: Taking taylor expansion of t in x
0.167 * [taylor]: Taking taylor expansion of z in x
0.167 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
0.167 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.167 * [taylor]: Taking taylor expansion of (+ z y) in x
0.167 * [taylor]: Taking taylor expansion of z in x
0.167 * [taylor]: Taking taylor expansion of y in x
0.167 * [taylor]: Taking taylor expansion of (* (log t) z) in x
0.167 * [taylor]: Taking taylor expansion of (log t) in x
0.167 * [taylor]: Taking taylor expansion of t in x
0.168 * [taylor]: Taking taylor expansion of z in x
0.168 * [taylor]: Taking taylor expansion of (- (+ z y) (* (log t) z)) in y
0.168 * [taylor]: Taking taylor expansion of (+ z y) in y
0.168 * [taylor]: Taking taylor expansion of z in y
0.168 * [taylor]: Taking taylor expansion of y in y
0.168 * [taylor]: Taking taylor expansion of (* (log t) z) in y
0.168 * [taylor]: Taking taylor expansion of (log t) in y
0.168 * [taylor]: Taking taylor expansion of t in y
0.168 * [taylor]: Taking taylor expansion of z in y
0.168 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
0.168 * [taylor]: Taking taylor expansion of z in z
0.168 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.168 * [taylor]: Taking taylor expansion of (log t) in z
0.168 * [taylor]: Taking taylor expansion of t in z
0.168 * [taylor]: Taking taylor expansion of z in z
0.169 * [taylor]: Taking taylor expansion of 0 in t
0.170 * [taylor]: Taking taylor expansion of 1 in y
0.170 * [taylor]: Taking taylor expansion of 1 in z
0.170 * [taylor]: Taking taylor expansion of 1 in t
0.171 * [taylor]: Taking taylor expansion of 1 in z
0.171 * [taylor]: Taking taylor expansion of 1 in t
0.172 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t
0.172 * [taylor]: Taking taylor expansion of 1 in t
0.172 * [taylor]: Taking taylor expansion of (log t) in t
0.172 * [taylor]: Taking taylor expansion of t in t
0.173 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in (x y z t) around 0
0.173 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in t
0.173 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.174 * [taylor]: Taking taylor expansion of y in t
0.174 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
0.174 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.174 * [taylor]: Taking taylor expansion of z in t
0.174 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.174 * [taylor]: Taking taylor expansion of x in t
0.174 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
0.174 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.174 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.174 * [taylor]: Taking taylor expansion of t in t
0.174 * [taylor]: Taking taylor expansion of z in t
0.175 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in z
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.175 * [taylor]: Taking taylor expansion of y in z
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
0.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.175 * [taylor]: Taking taylor expansion of z in z
0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.175 * [taylor]: Taking taylor expansion of x in z
0.175 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
0.175 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.175 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.175 * [taylor]: Taking taylor expansion of t in z
0.175 * [taylor]: Taking taylor expansion of z in z
0.175 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in y
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.175 * [taylor]: Taking taylor expansion of y in y
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.176 * [taylor]: Taking taylor expansion of z in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.176 * [taylor]: Taking taylor expansion of x in y
0.176 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
0.176 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.176 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.176 * [taylor]: Taking taylor expansion of t in y
0.176 * [taylor]: Taking taylor expansion of z in y
0.176 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.176 * [taylor]: Taking taylor expansion of y in x
0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.176 * [taylor]: Taking taylor expansion of z in x
0.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.176 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
0.176 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.177 * [taylor]: Taking taylor expansion of t in x
0.177 * [taylor]: Taking taylor expansion of z in x
0.177 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
0.177 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.177 * [taylor]: Taking taylor expansion of z in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
0.177 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.177 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.177 * [taylor]: Taking taylor expansion of t in x
0.177 * [taylor]: Taking taylor expansion of z in x
0.178 * [taylor]: Taking taylor expansion of 1 in y
0.179 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ 1 t)) z)) in y
0.179 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.179 * [taylor]: Taking taylor expansion of z in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.179 * [taylor]: Taking taylor expansion of y in y
0.179 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
0.179 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.179 * [taylor]: Taking taylor expansion of t in y
0.179 * [taylor]: Taking taylor expansion of z in y
0.180 * [taylor]: Taking taylor expansion of 1 in z
0.180 * [taylor]: Taking taylor expansion of 1 in z
0.182 * [taylor]: Taking taylor expansion of 0 in y
0.183 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
0.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.183 * [taylor]: Taking taylor expansion of z in z
0.183 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
0.183 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.183 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.183 * [taylor]: Taking taylor expansion of t in z
0.183 * [taylor]: Taking taylor expansion of z in z
0.183 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
0.183 * [taylor]: Taking taylor expansion of 1 in t
0.183 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.183 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.183 * [taylor]: Taking taylor expansion of t in t
0.184 * [taylor]: Taking taylor expansion of 0 in z
0.184 * [taylor]: Taking taylor expansion of 1 in t
0.184 * [taylor]: Taking taylor expansion of 1 in t
0.185 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z t) around 0
0.185 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in t
0.185 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
0.185 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.185 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.185 * [taylor]: Taking taylor expansion of -1 in t
0.185 * [taylor]: Taking taylor expansion of t in t
0.186 * [taylor]: Taking taylor expansion of z in t
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.187 * [taylor]: Taking taylor expansion of y in t
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
0.187 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.187 * [taylor]: Taking taylor expansion of z in t
0.187 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.187 * [taylor]: Taking taylor expansion of x in t
0.187 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
0.187 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
0.187 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.187 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.187 * [taylor]: Taking taylor expansion of -1 in z
0.187 * [taylor]: Taking taylor expansion of t in z
0.187 * [taylor]: Taking taylor expansion of z in z
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.187 * [taylor]: Taking taylor expansion of y in z
0.187 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
0.187 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.188 * [taylor]: Taking taylor expansion of z in z
0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.188 * [taylor]: Taking taylor expansion of x in z
0.188 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
0.188 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
0.188 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.188 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.188 * [taylor]: Taking taylor expansion of -1 in y
0.188 * [taylor]: Taking taylor expansion of t in y
0.188 * [taylor]: Taking taylor expansion of z in y
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.188 * [taylor]: Taking taylor expansion of y in y
0.188 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.188 * [taylor]: Taking taylor expansion of z in y
0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.188 * [taylor]: Taking taylor expansion of x in y
0.188 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
0.188 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
0.188 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.188 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.189 * [taylor]: Taking taylor expansion of -1 in x
0.189 * [taylor]: Taking taylor expansion of t in x
0.189 * [taylor]: Taking taylor expansion of z in x
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.189 * [taylor]: Taking taylor expansion of z in x
0.189 * [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 (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
0.189 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
0.189 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.189 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.189 * [taylor]: Taking taylor expansion of -1 in x
0.189 * [taylor]: Taking taylor expansion of t in x
0.189 * [taylor]: Taking taylor expansion of z in x
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.189 * [taylor]: Taking taylor expansion of y in x
0.189 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.189 * [taylor]: Taking taylor expansion of z in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of -1 in y
0.191 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (/ 1 z))) in y
0.191 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
0.191 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.191 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.191 * [taylor]: Taking taylor expansion of -1 in y
0.191 * [taylor]: Taking taylor expansion of t in y
0.191 * [taylor]: Taking taylor expansion of z in y
0.192 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.192 * [taylor]: Taking taylor expansion of y in y
0.192 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.192 * [taylor]: Taking taylor expansion of z in y
0.193 * [taylor]: Taking taylor expansion of -1 in z
0.193 * [taylor]: Taking taylor expansion of -1 in z
0.195 * [taylor]: Taking taylor expansion of 0 in y
0.195 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
0.195 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
0.195 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.195 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.195 * [taylor]: Taking taylor expansion of -1 in z
0.195 * [taylor]: Taking taylor expansion of t in z
0.195 * [taylor]: Taking taylor expansion of z in z
0.195 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.196 * [taylor]: Taking taylor expansion of z in z
0.196 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
0.196 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.196 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.196 * [taylor]: Taking taylor expansion of -1 in t
0.196 * [taylor]: Taking taylor expansion of t in t
0.197 * [taylor]: Taking taylor expansion of 1 in t
0.198 * [taylor]: Taking taylor expansion of 0 in z
0.198 * [taylor]: Taking taylor expansion of -1 in t
0.198 * [taylor]: Taking taylor expansion of -1 in t
0.199 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.199 * [approximate]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in (b a x y z t) around 0
0.199 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in t
0.199 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.199 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in t
0.199 * [taylor]: Taking taylor expansion of b in t
0.199 * [taylor]: Taking taylor expansion of (- a 0.5) in t
0.199 * [taylor]: Taking taylor expansion of a in t
0.199 * [taylor]: Taking taylor expansion of 0.5 in t
0.199 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in t
0.199 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t
0.199 * [taylor]: Taking taylor expansion of x in t
0.199 * [taylor]: Taking taylor expansion of (+ z y) in t
0.199 * [taylor]: Taking taylor expansion of z in t
0.199 * [taylor]: Taking taylor expansion of y in t
0.199 * [taylor]: Taking taylor expansion of (* (log t) z) in t
0.199 * [taylor]: Taking taylor expansion of (log t) in t
0.199 * [taylor]: Taking taylor expansion of t in t
0.200 * [taylor]: Taking taylor expansion of z in t
0.200 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in z
0.200 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.200 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in z
0.200 * [taylor]: Taking taylor expansion of b in z
0.200 * [taylor]: Taking taylor expansion of (- a 0.5) in z
0.200 * [taylor]: Taking taylor expansion of a in z
0.200 * [taylor]: Taking taylor expansion of 0.5 in z
0.200 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in z
0.200 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z
0.200 * [taylor]: Taking taylor expansion of x in z
0.200 * [taylor]: Taking taylor expansion of (+ z y) in z
0.200 * [taylor]: Taking taylor expansion of z in z
0.200 * [taylor]: Taking taylor expansion of y in z
0.200 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.200 * [taylor]: Taking taylor expansion of (log t) in z
0.200 * [taylor]: Taking taylor expansion of t in z
0.200 * [taylor]: Taking taylor expansion of z in z
0.200 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in y
0.200 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.200 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in y
0.200 * [taylor]: Taking taylor expansion of b in y
0.200 * [taylor]: Taking taylor expansion of (- a 0.5) in y
0.200 * [taylor]: Taking taylor expansion of a in y
0.200 * [taylor]: Taking taylor expansion of 0.5 in y
0.200 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in y
0.200 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y
0.200 * [taylor]: Taking taylor expansion of x in y
0.200 * [taylor]: Taking taylor expansion of (+ z y) in y
0.200 * [taylor]: Taking taylor expansion of z in y
0.200 * [taylor]: Taking taylor expansion of y in y
0.200 * [taylor]: Taking taylor expansion of (* (log t) z) in y
0.200 * [taylor]: Taking taylor expansion of (log t) in y
0.200 * [taylor]: Taking taylor expansion of t in y
0.200 * [taylor]: Taking taylor expansion of z in y
0.200 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in x
0.201 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.201 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in x
0.201 * [taylor]: Taking taylor expansion of b in x
0.201 * [taylor]: Taking taylor expansion of (- a 0.5) in x
0.201 * [taylor]: Taking taylor expansion of a in x
0.201 * [taylor]: Taking taylor expansion of 0.5 in x
0.201 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
0.201 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of (+ z y) in x
0.201 * [taylor]: Taking taylor expansion of z in x
0.201 * [taylor]: Taking taylor expansion of y in x
0.201 * [taylor]: Taking taylor expansion of (* (log t) z) in x
0.201 * [taylor]: Taking taylor expansion of (log t) in x
0.201 * [taylor]: Taking taylor expansion of t in x
0.201 * [taylor]: Taking taylor expansion of z in x
0.201 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in a
0.201 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.201 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in a
0.201 * [taylor]: Taking taylor expansion of b in a
0.201 * [taylor]: Taking taylor expansion of (- a 0.5) in a
0.201 * [taylor]: Taking taylor expansion of a in a
0.201 * [taylor]: Taking taylor expansion of 0.5 in a
0.201 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in a
0.201 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in a
0.201 * [taylor]: Taking taylor expansion of x in a
0.201 * [taylor]: Taking taylor expansion of (+ z y) in a
0.201 * [taylor]: Taking taylor expansion of z in a
0.201 * [taylor]: Taking taylor expansion of y in a
0.201 * [taylor]: Taking taylor expansion of (* (log t) z) in a
0.201 * [taylor]: Taking taylor expansion of (log t) in a
0.201 * [taylor]: Taking taylor expansion of t in a
0.201 * [taylor]: Taking taylor expansion of z in a
0.201 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in b
0.201 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.201 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in b
0.201 * [taylor]: Taking taylor expansion of b in b
0.201 * [taylor]: Taking taylor expansion of (- a 0.5) in b
0.201 * [taylor]: Taking taylor expansion of a in b
0.201 * [taylor]: Taking taylor expansion of 0.5 in b
0.201 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in b
0.201 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in b
0.201 * [taylor]: Taking taylor expansion of x in b
0.201 * [taylor]: Taking taylor expansion of (+ z y) in b
0.201 * [taylor]: Taking taylor expansion of z in b
0.202 * [taylor]: Taking taylor expansion of y in b
0.202 * [taylor]: Taking taylor expansion of (* (log t) z) in b
0.202 * [taylor]: Taking taylor expansion of (log t) in b
0.202 * [taylor]: Taking taylor expansion of t in b
0.202 * [taylor]: Taking taylor expansion of z in b
0.202 * [taylor]: Taking taylor expansion of (fma b (- a 0.5) (- (+ x (+ z y)) (* (log t) z))) in b
0.202 * [taylor]: Rewrote expression to (+ (* b (- a 0.5)) (- (+ x (+ z y)) (* (log t) z)))
0.202 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in b
0.202 * [taylor]: Taking taylor expansion of b in b
0.202 * [taylor]: Taking taylor expansion of (- a 0.5) in b
0.202 * [taylor]: Taking taylor expansion of a in b
0.202 * [taylor]: Taking taylor expansion of 0.5 in b
0.202 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in b
0.202 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in b
0.202 * [taylor]: Taking taylor expansion of x in b
0.202 * [taylor]: Taking taylor expansion of (+ z y) in b
0.202 * [taylor]: Taking taylor expansion of z in b
0.202 * [taylor]: Taking taylor expansion of y in b
0.202 * [taylor]: Taking taylor expansion of (* (log t) z) in b
0.202 * [taylor]: Taking taylor expansion of (log t) in b
0.202 * [taylor]: Taking taylor expansion of t in b
0.202 * [taylor]: Taking taylor expansion of z in b
0.203 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in a
0.203 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in a
0.203 * [taylor]: Taking taylor expansion of x in a
0.203 * [taylor]: Taking taylor expansion of (+ z y) in a
0.203 * [taylor]: Taking taylor expansion of z in a
0.203 * [taylor]: Taking taylor expansion of y in a
0.203 * [taylor]: Taking taylor expansion of (* (log t) z) in a
0.203 * [taylor]: Taking taylor expansion of (log t) in a
0.203 * [taylor]: Taking taylor expansion of t in a
0.203 * [taylor]: Taking taylor expansion of z in a
0.203 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x
0.203 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of (+ z y) in x
0.203 * [taylor]: Taking taylor expansion of z in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of (* (log t) z) in x
0.203 * [taylor]: Taking taylor expansion of (log t) in x
0.203 * [taylor]: Taking taylor expansion of t in x
0.203 * [taylor]: Taking taylor expansion of z in x
0.203 * [taylor]: Taking taylor expansion of (- (+ z y) (* (log t) z)) in y
0.204 * [taylor]: Taking taylor expansion of (+ z y) in y
0.204 * [taylor]: Taking taylor expansion of z in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [taylor]: Taking taylor expansion of (* (log t) z) in y
0.204 * [taylor]: Taking taylor expansion of (log t) in y
0.204 * [taylor]: Taking taylor expansion of t in y
0.204 * [taylor]: Taking taylor expansion of z in y
0.204 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z
0.204 * [taylor]: Taking taylor expansion of z in z
0.204 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.204 * [taylor]: Taking taylor expansion of (log t) in z
0.204 * [taylor]: Taking taylor expansion of t in z
0.204 * [taylor]: Taking taylor expansion of z in z
0.204 * [taylor]: Taking taylor expansion of 0 in t
0.206 * [taylor]: Taking taylor expansion of (- a 0.5) in a
0.206 * [taylor]: Taking taylor expansion of a in a
0.207 * [taylor]: Taking taylor expansion of 0.5 in a
0.207 * [taylor]: Taking taylor expansion of (- 0.5) in x
0.207 * [taylor]: Taking taylor expansion of 0.5 in x
0.208 * [taylor]: Taking taylor expansion of (- 0.5) in y
0.208 * [taylor]: Taking taylor expansion of 0.5 in y
0.208 * [taylor]: Taking taylor expansion of (- 0.5) in z
0.208 * [taylor]: Taking taylor expansion of 0.5 in z
0.208 * [taylor]: Taking taylor expansion of (- 0.5) in t
0.208 * [taylor]: Taking taylor expansion of 0.5 in t
0.210 * [taylor]: Taking taylor expansion of 0 in x
0.210 * [taylor]: Taking taylor expansion of 0 in y
0.210 * [taylor]: Taking taylor expansion of 0 in z
0.210 * [taylor]: Taking taylor expansion of 0 in t
0.211 * [taylor]: Taking taylor expansion of 1 in y
0.211 * [taylor]: Taking taylor expansion of 1 in z
0.212 * [taylor]: Taking taylor expansion of 1 in t
0.213 * [taylor]: Taking taylor expansion of 1 in z
0.213 * [taylor]: Taking taylor expansion of 1 in t
0.214 * [approximate]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in (b a x y z t) around 0
0.214 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in t
0.214 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.214 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in t
0.214 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.214 * [taylor]: Taking taylor expansion of b in t
0.214 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in t
0.214 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.214 * [taylor]: Taking taylor expansion of a in t
0.214 * [taylor]: Taking taylor expansion of 0.5 in t
0.214 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in t
0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.214 * [taylor]: Taking taylor expansion of y in t
0.214 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
0.214 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.214 * [taylor]: Taking taylor expansion of z in t
0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.214 * [taylor]: Taking taylor expansion of x in t
0.214 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t
0.215 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.215 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.215 * [taylor]: Taking taylor expansion of t in t
0.215 * [taylor]: Taking taylor expansion of z in t
0.216 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in z
0.216 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.216 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 b) in z
0.216 * [taylor]: Taking taylor expansion of b in z
0.216 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.216 * [taylor]: Taking taylor expansion of a in z
0.216 * [taylor]: Taking taylor expansion of 0.5 in z
0.216 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in z
0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.216 * [taylor]: Taking taylor expansion of y in z
0.216 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.216 * [taylor]: Taking taylor expansion of z in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.216 * [taylor]: Taking taylor expansion of x in z
0.216 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
0.216 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.216 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.216 * [taylor]: Taking taylor expansion of t in z
0.216 * [taylor]: Taking taylor expansion of z in z
0.217 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in y
0.217 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.217 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.217 * [taylor]: Taking taylor expansion of b in y
0.217 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.217 * [taylor]: Taking taylor expansion of a in y
0.217 * [taylor]: Taking taylor expansion of 0.5 in y
0.217 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in y
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.217 * [taylor]: Taking taylor expansion of y in y
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.217 * [taylor]: Taking taylor expansion of z in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.217 * [taylor]: Taking taylor expansion of x in y
0.217 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
0.217 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.217 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.217 * [taylor]: Taking taylor expansion of t in y
0.217 * [taylor]: Taking taylor expansion of z in y
0.217 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in x
0.218 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.218 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 b) in x
0.218 * [taylor]: Taking taylor expansion of b in x
0.218 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.218 * [taylor]: Taking taylor expansion of a in x
0.218 * [taylor]: Taking taylor expansion of 0.5 in x
0.218 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
0.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.218 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.218 * [taylor]: Taking taylor expansion of z in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
0.218 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.218 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.218 * [taylor]: Taking taylor expansion of t in x
0.218 * [taylor]: Taking taylor expansion of z in x
0.218 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in a
0.218 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.218 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in a
0.218 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.218 * [taylor]: Taking taylor expansion of b in a
0.219 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
0.219 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.219 * [taylor]: Taking taylor expansion of a in a
0.219 * [taylor]: Taking taylor expansion of 0.5 in a
0.219 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in a
0.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in a
0.219 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.219 * [taylor]: Taking taylor expansion of y in a
0.219 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in a
0.219 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.219 * [taylor]: Taking taylor expansion of z in a
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.219 * [taylor]: Taking taylor expansion of x in a
0.219 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in a
0.219 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.219 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.219 * [taylor]: Taking taylor expansion of t in a
0.219 * [taylor]: Taking taylor expansion of z in a
0.219 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in b
0.219 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.219 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in b
0.219 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.219 * [taylor]: Taking taylor expansion of b in b
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.220 * [taylor]: Taking taylor expansion of a in b
0.220 * [taylor]: Taking taylor expansion of 0.5 in b
0.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in b
0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.220 * [taylor]: Taking taylor expansion of y in b
0.220 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.220 * [taylor]: Taking taylor expansion of z in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.220 * [taylor]: Taking taylor expansion of x in b
0.220 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in b
0.220 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.220 * [taylor]: Taking taylor expansion of t in b
0.220 * [taylor]: Taking taylor expansion of z in b
0.220 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (/ 1 a) 0.5) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z))) in b
0.220 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (/ 1 a) 0.5)) (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)))
0.220 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (/ 1 a) 0.5)) in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.220 * [taylor]: Taking taylor expansion of b in b
0.221 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b
0.221 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.221 * [taylor]: Taking taylor expansion of a in b
0.221 * [taylor]: Taking taylor expansion of 0.5 in b
0.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in b
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in b
0.221 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.221 * [taylor]: Taking taylor expansion of y in b
0.221 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in b
0.221 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.221 * [taylor]: Taking taylor expansion of z in b
0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.221 * [taylor]: Taking taylor expansion of x in b
0.221 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in b
0.221 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
0.221 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.221 * [taylor]: Taking taylor expansion of t in b
0.221 * [taylor]: Taking taylor expansion of z in b
0.222 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a
0.222 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.222 * [taylor]: Taking taylor expansion of a in a
0.222 * [taylor]: Taking taylor expansion of 0.5 in a
0.222 * [taylor]: Taking taylor expansion of 1 in x
0.224 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in a
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in a
0.224 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.224 * [taylor]: Taking taylor expansion of y in a
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in a
0.224 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.224 * [taylor]: Taking taylor expansion of z in a
0.224 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.224 * [taylor]: Taking taylor expansion of x in a
0.224 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in a
0.224 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.224 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.224 * [taylor]: Taking taylor expansion of t in a
0.224 * [taylor]: Taking taylor expansion of z in a
0.228 * [taylor]: Taking taylor expansion of (- 0.5) in x
0.228 * [taylor]: Taking taylor expansion of 0.5 in x
0.228 * [taylor]: Taking taylor expansion of 1 in y
0.232 * [taylor]: Taking taylor expansion of 0 in a
0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) (/ (log (/ 1 t)) z)) in x
0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.232 * [taylor]: Taking taylor expansion of z in x
0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.233 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x
0.233 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x
0.233 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.233 * [taylor]: Taking taylor expansion of t in x
0.233 * [taylor]: Taking taylor expansion of z in x
0.233 * [taylor]: Taking taylor expansion of 1 in y
0.234 * [taylor]: Taking taylor expansion of 0 in x
0.235 * [taylor]: Taking taylor expansion of (- 0.5) in y
0.235 * [taylor]: Taking taylor expansion of 0.5 in y
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [taylor]: Taking taylor expansion of 1 in z
0.239 * [taylor]: Taking taylor expansion of 0 in a
0.239 * [taylor]: Taking taylor expansion of 0 in x
0.241 * [taylor]: Taking taylor expansion of 0 in x
0.242 * [taylor]: Taking taylor expansion of 0 in x
0.242 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ 1 t)) z)) in y
0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.242 * [taylor]: Taking taylor expansion of y in y
0.243 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.243 * [taylor]: Taking taylor expansion of z in y
0.243 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y
0.243 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.243 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.243 * [taylor]: Taking taylor expansion of t in y
0.243 * [taylor]: Taking taylor expansion of z in y
0.243 * [taylor]: Taking taylor expansion of 1 in z
0.244 * [taylor]: Taking taylor expansion of 0 in y
0.244 * [taylor]: Taking taylor expansion of 0 in y
0.244 * [taylor]: Taking taylor expansion of 0 in y
0.244 * [taylor]: Taking taylor expansion of 1 in z
0.244 * [taylor]: Taking taylor expansion of (- 0.5) in z
0.244 * [taylor]: Taking taylor expansion of 0.5 in z
0.244 * [taylor]: Taking taylor expansion of 0 in z
0.244 * [taylor]: Taking taylor expansion of 0 in z
0.244 * [taylor]: Taking taylor expansion of 1 in t
0.250 * [taylor]: Taking taylor expansion of 0 in a
0.250 * [taylor]: Taking taylor expansion of 0 in x
0.250 * [taylor]: Taking taylor expansion of 0 in x
0.252 * [taylor]: Taking taylor expansion of 0 in x
0.253 * [taylor]: Taking taylor expansion of 0 in x
0.253 * [taylor]: Taking taylor expansion of 0 in y
0.253 * [taylor]: Taking taylor expansion of 0 in y
0.253 * [taylor]: Taking taylor expansion of 0 in y
0.255 * [taylor]: Taking taylor expansion of 0 in y
0.255 * [taylor]: Taking taylor expansion of 0 in y
0.255 * [taylor]: Taking taylor expansion of 0 in y
0.256 * [taylor]: Taking taylor expansion of 0 in y
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z
0.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.256 * [taylor]: Taking taylor expansion of z in z
0.256 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z
0.256 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.257 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.257 * [taylor]: Taking taylor expansion of t in z
0.257 * [taylor]: Taking taylor expansion of z in z
0.257 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t
0.257 * [taylor]: Taking taylor expansion of 1 in t
0.257 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.257 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.257 * [taylor]: Taking taylor expansion of t in t
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 0 in z
0.258 * [taylor]: Taking taylor expansion of 1 in t
0.260 * [approximate]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in (b a x y z t) around 0
0.260 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in t
0.260 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.260 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in t
0.260 * [taylor]: Taking taylor expansion of (/ -1 b) in t
0.260 * [taylor]: Taking taylor expansion of -1 in t
0.260 * [taylor]: Taking taylor expansion of b in t
0.260 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in t
0.260 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in t
0.260 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.260 * [taylor]: Taking taylor expansion of a in t
0.260 * [taylor]: Taking taylor expansion of 0.5 in t
0.260 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in t
0.260 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t
0.260 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.260 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.260 * [taylor]: Taking taylor expansion of -1 in t
0.260 * [taylor]: Taking taylor expansion of t in t
0.260 * [taylor]: Taking taylor expansion of z in t
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t
0.262 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.262 * [taylor]: Taking taylor expansion of y in t
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t
0.262 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.262 * [taylor]: Taking taylor expansion of z in t
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.262 * [taylor]: Taking taylor expansion of x in t
0.262 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in z
0.262 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.262 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in z
0.262 * [taylor]: Taking taylor expansion of (/ -1 b) in z
0.262 * [taylor]: Taking taylor expansion of -1 in z
0.262 * [taylor]: Taking taylor expansion of b in z
0.262 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in z
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in z
0.262 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.262 * [taylor]: Taking taylor expansion of a in z
0.262 * [taylor]: Taking taylor expansion of 0.5 in z
0.262 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z
0.262 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
0.262 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.262 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.262 * [taylor]: Taking taylor expansion of -1 in z
0.262 * [taylor]: Taking taylor expansion of t in z
0.262 * [taylor]: Taking taylor expansion of z in z
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z
0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.263 * [taylor]: Taking taylor expansion of y in z
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z
0.263 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.263 * [taylor]: Taking taylor expansion of z in z
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.263 * [taylor]: Taking taylor expansion of x in z
0.263 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in y
0.263 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.263 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in y
0.263 * [taylor]: Taking taylor expansion of (/ -1 b) in y
0.263 * [taylor]: Taking taylor expansion of -1 in y
0.263 * [taylor]: Taking taylor expansion of b in y
0.263 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in y
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.263 * [taylor]: Taking taylor expansion of a in y
0.263 * [taylor]: Taking taylor expansion of 0.5 in y
0.263 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y
0.263 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
0.263 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.263 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.263 * [taylor]: Taking taylor expansion of -1 in y
0.263 * [taylor]: Taking taylor expansion of t in y
0.263 * [taylor]: Taking taylor expansion of z in y
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y
0.264 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.264 * [taylor]: Taking taylor expansion of z in y
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.264 * [taylor]: Taking taylor expansion of x in y
0.264 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in x
0.264 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.264 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in x
0.264 * [taylor]: Taking taylor expansion of (/ -1 b) in x
0.264 * [taylor]: Taking taylor expansion of -1 in x
0.264 * [taylor]: Taking taylor expansion of b in x
0.264 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.264 * [taylor]: Taking taylor expansion of a in x
0.264 * [taylor]: Taking taylor expansion of 0.5 in x
0.264 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x
0.264 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
0.264 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.264 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.264 * [taylor]: Taking taylor expansion of -1 in x
0.264 * [taylor]: Taking taylor expansion of t in x
0.264 * [taylor]: Taking taylor expansion of z in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.264 * [taylor]: Taking taylor expansion of y in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.265 * [taylor]: Taking taylor expansion of z in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in a
0.265 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.265 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in a
0.265 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.265 * [taylor]: Taking taylor expansion of -1 in a
0.265 * [taylor]: Taking taylor expansion of b in a
0.265 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in a
0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
0.265 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.265 * [taylor]: Taking taylor expansion of a in a
0.265 * [taylor]: Taking taylor expansion of 0.5 in a
0.265 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in a
0.265 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in a
0.265 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
0.265 * [taylor]: Taking taylor expansion of (/ -1 t) in a
0.265 * [taylor]: Taking taylor expansion of -1 in a
0.265 * [taylor]: Taking taylor expansion of t in a
0.266 * [taylor]: Taking taylor expansion of z in a
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in a
0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.266 * [taylor]: Taking taylor expansion of y in a
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in a
0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.266 * [taylor]: Taking taylor expansion of z in a
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.266 * [taylor]: Taking taylor expansion of x in a
0.266 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in b
0.266 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.266 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in b
0.266 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.266 * [taylor]: Taking taylor expansion of -1 in b
0.266 * [taylor]: Taking taylor expansion of b in b
0.266 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in b
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b
0.266 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.266 * [taylor]: Taking taylor expansion of a in b
0.266 * [taylor]: Taking taylor expansion of 0.5 in b
0.266 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in b
0.266 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in b
0.266 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b
0.266 * [taylor]: Taking taylor expansion of (/ -1 t) in b
0.266 * [taylor]: Taking taylor expansion of -1 in b
0.266 * [taylor]: Taking taylor expansion of t in b
0.267 * [taylor]: Taking taylor expansion of z in b
0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in b
0.267 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.267 * [taylor]: Taking taylor expansion of y in b
0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in b
0.267 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.267 * [taylor]: Taking taylor expansion of z in b
0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.267 * [taylor]: Taking taylor expansion of x in b
0.267 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 a) 0.5)) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))))) in b
0.267 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 a) 0.5))) (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))))
0.267 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 a) 0.5))) in b
0.267 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.267 * [taylor]: Taking taylor expansion of -1 in b
0.267 * [taylor]: Taking taylor expansion of b in b
0.267 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in b
0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b
0.267 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.267 * [taylor]: Taking taylor expansion of a in b
0.267 * [taylor]: Taking taylor expansion of 0.5 in b
0.267 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in b
0.267 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in b
0.267 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b
0.267 * [taylor]: Taking taylor expansion of (/ -1 t) in b
0.267 * [taylor]: Taking taylor expansion of -1 in b
0.267 * [taylor]: Taking taylor expansion of t in b
0.267 * [taylor]: Taking taylor expansion of z in b
0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in b
0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.268 * [taylor]: Taking taylor expansion of y in b
0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in b
0.268 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.268 * [taylor]: Taking taylor expansion of z in b
0.268 * [taylor]: Taking taylor expansion of (/ 1 x) in b
0.268 * [taylor]: Taking taylor expansion of x in b
0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a
0.268 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.268 * [taylor]: Taking taylor expansion of a in a
0.268 * [taylor]: Taking taylor expansion of 0.5 in a
0.269 * [taylor]: Taking taylor expansion of 1 in x
0.270 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in a
0.270 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in a
0.270 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a
0.270 * [taylor]: Taking taylor expansion of (/ -1 t) in a
0.270 * [taylor]: Taking taylor expansion of -1 in a
0.270 * [taylor]: Taking taylor expansion of t in a
0.271 * [taylor]: Taking taylor expansion of z in a
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.271 * [taylor]: Taking taylor expansion of z in a
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.271 * [taylor]: Taking taylor expansion of y in a
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in a
0.271 * [taylor]: Taking taylor expansion of x in a
0.271 * [taylor]: Taking taylor expansion of 0.5 in x
0.272 * [taylor]: Taking taylor expansion of 1 in y
0.275 * [taylor]: Taking taylor expansion of 0 in a
0.276 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.276 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x
0.276 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x
0.276 * [taylor]: Taking taylor expansion of (/ -1 t) in x
0.276 * [taylor]: Taking taylor expansion of -1 in x
0.276 * [taylor]: Taking taylor expansion of t in x
0.276 * [taylor]: Taking taylor expansion of z in x
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.276 * [taylor]: Taking taylor expansion of z in x
0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.276 * [taylor]: Taking taylor expansion of y in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.277 * [taylor]: Taking taylor expansion of -1 in y
0.278 * [taylor]: Taking taylor expansion of 0 in x
0.278 * [taylor]: Taking taylor expansion of 0.5 in y
0.278 * [taylor]: Taking taylor expansion of 0 in y
0.278 * [taylor]: Taking taylor expansion of 1 in z
0.283 * [taylor]: Taking taylor expansion of 0 in a
0.283 * [taylor]: Taking taylor expansion of 0 in x
0.285 * [taylor]: Taking taylor expansion of 0 in x
0.285 * [taylor]: Taking taylor expansion of 0 in x
0.286 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 z) (/ 1 y))) in y
0.286 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y
0.286 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y
0.286 * [taylor]: Taking taylor expansion of (/ -1 t) in y
0.286 * [taylor]: Taking taylor expansion of -1 in y
0.286 * [taylor]: Taking taylor expansion of t in y
0.286 * [taylor]: Taking taylor expansion of z in y
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
0.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.286 * [taylor]: Taking taylor expansion of z in y
0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.286 * [taylor]: Taking taylor expansion of y in y
0.287 * [taylor]: Taking taylor expansion of -1 in z
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of 0 in y
0.287 * [taylor]: Taking taylor expansion of -1 in z
0.288 * [taylor]: Taking taylor expansion of 0.5 in z
0.288 * [taylor]: Taking taylor expansion of 0 in z
0.288 * [taylor]: Taking taylor expansion of 0 in z
0.288 * [taylor]: Taking taylor expansion of 1 in t
0.294 * [taylor]: Taking taylor expansion of 0 in a
0.294 * [taylor]: Taking taylor expansion of 0 in x
0.294 * [taylor]: Taking taylor expansion of 0 in x
0.296 * [taylor]: Taking taylor expansion of 0 in x
0.297 * [taylor]: Taking taylor expansion of 0 in x
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.299 * [taylor]: Taking taylor expansion of 0 in y
0.300 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z
0.300 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z
0.300 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z
0.300 * [taylor]: Taking taylor expansion of (/ -1 t) in z
0.300 * [taylor]: Taking taylor expansion of -1 in z
0.300 * [taylor]: Taking taylor expansion of t in z
0.300 * [taylor]: Taking taylor expansion of z in z
0.300 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.300 * [taylor]: Taking taylor expansion of z in z
0.300 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t
0.300 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t
0.300 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.300 * [taylor]: Taking taylor expansion of -1 in t
0.301 * [taylor]: Taking taylor expansion of t in t
0.301 * [taylor]: Taking taylor expansion of 1 in t
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.302 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of 0 in z
0.303 * [taylor]: Taking taylor expansion of -1 in t
0.304 * * * [progress]: simplifying candidates
0.304 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3))
  (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t)))))
  (- (* z (log t)))
  (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t))))
  (+ (+ (+ x y) z) (* z (log t)))
  (- z (* z (log t)))
  (- (+ y z) (* z (log t)))
  (- (+ x z) (* z (log t)))
  (- (+ x y) (* z (log t)))
  (- (* z (log t)))
  (* b (- a 0.5))
  (* (log t) z)
  (* -1 (* (log (/ 1 t)) z))
  (* z (- (log -1) (log (/ -1 t))))
  (- (+ x (+ z y)) (* (log t) z))
  (+ x (+ z (+ (* (log (/ 1 t)) z) y)))
  (- (+ (* (log (/ -1 t)) z) (+ x (+ z y))) (* (log -1) z))
  (- (+ x y) (* 0.5 b))
  (+ (* (log (/ 1 t)) z) (+ (* a b) (+ z y)))
  (- (+ (* (log (/ -1 t)) z) (+ (* a b) (+ z y))) (* (log -1) z))
0.307 * * [simplify]: iteration  0 :  175  enodes  (cost  107 )
0.311 * * [simplify]: iteration  1 :  678  enodes  (cost  100 )
0.326 * * [simplify]: iteration  2 :  4184  enodes  (cost  96 )
0.388 * * [simplify]: iteration  3 :  5001  enodes  (cost  95 )
0.389 * [simplify]: Simplified to:
   (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3))
  (fma (* z (log t)) (fma (log t) z (+ x (+ z y))) (* (+ (+ x y) z) (+ (+ x y) z)))
  (- (* z (log t)))
  (* (- (+ x (+ z y)) (* (log t) z)) (fma (log t) z (+ x (+ z y))))
  (fma (log t) z (+ x (+ z y)))
  (- z (* z (log t)))
  (+ (fma (log (/ 1 t)) z y) z)
  (- (+ x z) (* z (log t)))
  (- (+ x y) (* z (log t)))
  (- (* z (log t)))
  (* b (- a 0.5))
  (* z (log t))
  (* z (log t))
  (* z (log t))
  (- (+ x (+ z y)) (* (log t) z))
  (- (+ x (+ z y)) (* (log t) z))
  (fma z (- (log (/ -1 t)) (log -1)) (+ x (+ z y)))
  (- (+ x y) (* 0.5 b))
  (fma (log (/ 1 t)) z (fma a b (+ z y)))
  (fma z (log (/ -1 t)) (- (fma a b (+ z y)) (* (log -1) z)))
0.389 * * * [progress]: adding candidates to table
0.440 * * [progress]: iteration 2 / 4
0.440 * * * [progress]: picking best candidate
0.443 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>
0.443 * * * [progress]: localizing error
0.453 * * * [progress]: generating rewritten candidates
0.453 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.454 * * * [progress]: generating series expansions
0.454 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.454 * [approximate]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in (t z a b y) around 0
0.454 * [taylor]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in y
0.454 * [taylor]: Rewrote expression to (+ (* (log (/ 1 t)) z) (fma a b (+ z y)))
0.454 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) z) in y
0.454 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y
0.454 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.454 * [taylor]: Taking taylor expansion of t in y
0.454 * [taylor]: Taking taylor expansion of z in y
0.454 * [taylor]: Taking taylor expansion of (fma a b (+ z y)) in y
0.454 * [taylor]: Rewrote expression to (+ (* a b) (+ z y))
0.454 * [taylor]: Taking taylor expansion of (* a b) in y
0.454 * [taylor]: Taking taylor expansion of a in y
0.454 * [taylor]: Taking taylor expansion of b in y
0.454 * [taylor]: Taking taylor expansion of (+ z y) in y
0.454 * [taylor]: Taking taylor expansion of z in y
0.454 * [taylor]: Taking taylor expansion of y in y
0.454 * [taylor]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in b
0.454 * [taylor]: Rewrote expression to (+ (* (log (/ 1 t)) z) (fma a b (+ z y)))
0.454 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) z) in b
0.454 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b
0.454 * [taylor]: Taking taylor expansion of (/ 1 t) in b
0.454 * [taylor]: Taking taylor expansion of t in b
0.455 * [taylor]: Taking taylor expansion of z in b
0.455 * [taylor]: Taking taylor expansion of (fma a b (+ z y)) in b
0.455 * [taylor]: Rewrote expression to (+ (* a b) (+ z y))
0.455 * [taylor]: Taking taylor expansion of (* a b) in b
0.455 * [taylor]: Taking taylor expansion of a in b
0.455 * [taylor]: Taking taylor expansion of b in b
0.455 * [taylor]: Taking taylor expansion of (+ z y) in b
0.455 * [taylor]: Taking taylor expansion of z in b
0.455 * [taylor]: Taking taylor expansion of y in b
0.455 * [taylor]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in a
0.455 * [taylor]: Rewrote expression to (+ (* (log (/ 1 t)) z) (fma a b (+ z y)))
0.455 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) z) in a
0.455 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a
0.455 * [taylor]: Taking taylor expansion of (/ 1 t) in a
0.455 * [taylor]: Taking taylor expansion of t in a
0.455 * [taylor]: Taking taylor expansion of z in a
0.455 * [taylor]: Taking taylor expansion of (fma a b (+ z y)) in a
0.455 * [taylor]: Rewrote expression to (+ (* a b) (+ z y))
0.455 * [taylor]: Taking taylor expansion of (* a b) in a
0.455 * [taylor]: Taking taylor expansion of a in a
0.455 * [taylor]: Taking taylor expansion of b in a
0.455 * [taylor]: Taking taylor expansion of (+ z y) in a
0.455 * [taylor]: Taking taylor expansion of z in a
0.455 * [taylor]: Taking taylor expansion of y in a
0.455 * [taylor]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in z
0.455 * [taylor]: Rewrote expression to (+ (* (log (/ 1 t)) z) (fma a b (+ z y)))
0.455 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) z) in z
0.455 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z
0.455 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.455 * [taylor]: Taking taylor expansion of t in z
0.455 * [taylor]: Taking taylor expansion of z in z
0.455 * [taylor]: Taking taylor expansion of (fma a b (+ z y)) in z
0.455 * [taylor]: Rewrote expression to (+ (* a b) (+ z y))
0.455 * [taylor]: Taking taylor expansion of (* a b) in z
0.456 * [taylor]: Taking taylor expansion of a in z
0.456 * [taylor]: Taking taylor expansion of b in z
0.456 * [taylor]: Taking taylor expansion of (+ z y) in z
0.456 * [taylor]: Taking taylor expansion of z in z
0.456 * [taylor]: Taking taylor expansion of y in z
0.456 * [taylor]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in t
0.456 * [taylor]: Rewrote expression to (+ (* (log (/ 1 t)) z) (fma a b (+ z y)))
0.456 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) z) in t
0.456 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.456 * [taylor]: Taking taylor expansion of t in t
0.456 * [taylor]: Taking taylor expansion of z in t
0.456 * [taylor]: Taking taylor expansion of (fma a b (+ z y)) in t
0.457 * [taylor]: Rewrote expression to (+ (* a b) (+ z y))
0.457 * [taylor]: Taking taylor expansion of (* a b) in t
0.457 * [taylor]: Taking taylor expansion of a in t
0.457 * [taylor]: Taking taylor expansion of b in t
0.457 * [taylor]: Taking taylor expansion of (+ z y) in t
0.457 * [taylor]: Taking taylor expansion of z in t
0.457 * [taylor]: Taking taylor expansion of y in t
0.457 * [taylor]: Taking taylor expansion of (fma (log (/ 1 t)) z (fma a b (+ z y))) in t
0.457 * [taylor]: Rewrote expression to (+ (* (log (/ 1 t)) z) (fma a b (+ z y)))
0.457 * [taylor]: Taking taylor expansion of (* (log (/ 1 t)) z) in t
0.457 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
0.457 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.457 * [taylor]: Taking taylor expansion of t in t
0.457 * [taylor]: Taking taylor expansion of z in t
0.457 * [taylor]: Taking taylor expansion of (fma a b (+ z y)) in t
0.457 * [taylor]: Rewrote expression to (+ (* a b) (+ z y))
0.457 * [taylor]: Taking taylor expansion of (* a b) in t
0.457 * [taylor]: Taking taylor expansion of a in t
0.457 * [taylor]: Taking taylor expansion of b in t
0.457 * [taylor]: Taking taylor expansion of (+ z y) in t
0.458 * [taylor]: Taking taylor expansion of z in t
0.458 * [taylor]: Taking taylor expansion of y in t
0.458 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ z y)) (* (log t) z)) in z
0.458 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in z
0.458 * [taylor]: Taking taylor expansion of (* a b) in z
0.458 * [taylor]: Taking taylor expansion of a in z
0.458 * [taylor]: Taking taylor expansion of b in z
0.458 * [taylor]: Taking taylor expansion of (+ z y) in z
0.458 * [taylor]: Taking taylor expansion of z in z
0.458 * [taylor]: Taking taylor expansion of y in z
0.458 * [taylor]: Taking taylor expansion of (* (log t) z) in z
0.458 * [taylor]: Taking taylor expansion of (log t) in z
0.458 * [taylor]: Taking taylor expansion of t in z
0.458 * [taylor]: Taking taylor expansion of z in z
0.459 * [taylor]: Taking taylor expansion of (+ (* a b) y) in a
0.459 * [taylor]: Taking taylor expansion of (* a b) in a
0.459 * [taylor]: Taking taylor expansion of a in a
0.459 * [taylor]: Taking taylor expansion of b in a
0.459 * [taylor]: Taking taylor expansion of y in a
0.459 * [taylor]: Taking taylor expansion of y in b
0.459 * [taylor]: Taking taylor expansion of y in y
0.461 * [taylor]: Taking taylor expansion of 0 in z
0.461 * [taylor]: Taking taylor expansion of 0 in a
0.461 * [taylor]: Taking taylor expansion of 0 in b
0.461 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a
0.462 * [taylor]: Taking taylor expansion of 1 in a
0.462 * [taylor]: Taking taylor expansion of (log t) in a
0.462 * [taylor]: Taking taylor expansion of t in a
0.463 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b
0.463 * [taylor]: Taking taylor expansion of 1 in b
0.463 * [taylor]: Taking taylor expansion of (log t) in b
0.463 * [taylor]: Taking taylor expansion of t in b
0.463 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y
0.463 * [taylor]: Taking taylor expansion of 1 in y
0.463 * [taylor]: Taking taylor expansion of (log t) in y
0.463 * [taylor]: Taking taylor expansion of t in y
0.463 * [taylor]: Taking taylor expansion of b in b
0.463 * [taylor]: Taking taylor expansion of 0 in y
0.463 * [taylor]: Taking taylor expansion of 0 in y
0.466 * [taylor]: Taking taylor expansion of 0 in z
0.466 * [taylor]: Taking taylor expansion of 0 in a
0.466 * [taylor]: Taking taylor expansion of 0 in b
0.466 * [taylor]: Taking taylor expansion of 0 in y
0.467 * [taylor]: Taking taylor expansion of 0 in a
0.467 * [taylor]: Taking taylor expansion of 0 in b
0.467 * [taylor]: Taking taylor expansion of 0 in y
0.469 * [taylor]: Taking taylor expansion of 0 in a
0.469 * [taylor]: Taking taylor expansion of 0 in b
0.469 * [taylor]: Taking taylor expansion of 0 in y
0.469 * [taylor]: Taking taylor expansion of 0 in b
0.469 * [taylor]: Taking taylor expansion of 0 in y
0.470 * [taylor]: Taking taylor expansion of 0 in b
0.470 * [taylor]: Taking taylor expansion of 0 in y
0.471 * [taylor]: Taking taylor expansion of 0 in b
0.471 * [taylor]: Taking taylor expansion of 0 in y
0.472 * [approximate]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in (t z a b y) around 0
0.472 * [taylor]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in y
0.472 * [taylor]: Rewrote expression to (+ (* (log t) (/ 1 z)) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))))
0.472 * [taylor]: Taking taylor expansion of (* (log t) (/ 1 z)) in y
0.472 * [taylor]: Taking taylor expansion of (log t) in y
0.472 * [taylor]: Taking taylor expansion of t in y
0.472 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.472 * [taylor]: Taking taylor expansion of z in y
0.472 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))) in y
0.472 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 b)) (+ (/ 1 y) (/ 1 z)))
0.472 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 b)) in y
0.472 * [taylor]: Taking taylor expansion of (/ 1 a) in y
0.472 * [taylor]: Taking taylor expansion of a in y
0.472 * [taylor]: Taking taylor expansion of (/ 1 b) in y
0.472 * [taylor]: Taking taylor expansion of b in y
0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.472 * [taylor]: Taking taylor expansion of y in y
0.472 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.472 * [taylor]: Taking taylor expansion of z in y
0.472 * [taylor]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in b
0.472 * [taylor]: Rewrote expression to (+ (* (log t) (/ 1 z)) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))))
0.472 * [taylor]: Taking taylor expansion of (* (log t) (/ 1 z)) in b
0.472 * [taylor]: Taking taylor expansion of (log t) in b
0.473 * [taylor]: Taking taylor expansion of t in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.473 * [taylor]: Taking taylor expansion of z in b
0.473 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))) in b
0.473 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 b)) (+ (/ 1 y) (/ 1 z)))
0.473 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 b)) in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 a) in b
0.473 * [taylor]: Taking taylor expansion of a in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.473 * [taylor]: Taking taylor expansion of b in b
0.473 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.473 * [taylor]: Taking taylor expansion of y in b
0.473 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.473 * [taylor]: Taking taylor expansion of z in b
0.473 * [taylor]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in a
0.473 * [taylor]: Rewrote expression to (+ (* (log t) (/ 1 z)) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))))
0.473 * [taylor]: Taking taylor expansion of (* (log t) (/ 1 z)) in a
0.473 * [taylor]: Taking taylor expansion of (log t) in a
0.473 * [taylor]: Taking taylor expansion of t in a
0.473 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.473 * [taylor]: Taking taylor expansion of z in a
0.473 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))) in a
0.474 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 b)) (+ (/ 1 y) (/ 1 z)))
0.474 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 b)) in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.474 * [taylor]: Taking taylor expansion of a in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 b) in a
0.474 * [taylor]: Taking taylor expansion of b in a
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.474 * [taylor]: Taking taylor expansion of y in a
0.474 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.474 * [taylor]: Taking taylor expansion of z in a
0.474 * [taylor]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in z
0.474 * [taylor]: Rewrote expression to (+ (* (log t) (/ 1 z)) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))))
0.474 * [taylor]: Taking taylor expansion of (* (log t) (/ 1 z)) in z
0.474 * [taylor]: Taking taylor expansion of (log t) in z
0.474 * [taylor]: Taking taylor expansion of t in z
0.474 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.474 * [taylor]: Taking taylor expansion of z in z
0.474 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))) in z
0.475 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 b)) (+ (/ 1 y) (/ 1 z)))
0.475 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 b)) in z
0.475 * [taylor]: Taking taylor expansion of (/ 1 a) in z
0.475 * [taylor]: Taking taylor expansion of a in z
0.475 * [taylor]: Taking taylor expansion of (/ 1 b) in z
0.475 * [taylor]: Taking taylor expansion of b in z
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.475 * [taylor]: Taking taylor expansion of y in z
0.475 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.475 * [taylor]: Taking taylor expansion of z in z
0.475 * [taylor]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in t
0.475 * [taylor]: Rewrote expression to (+ (* (log t) (/ 1 z)) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))))
0.475 * [taylor]: Taking taylor expansion of (* (log t) (/ 1 z)) in t
0.475 * [taylor]: Taking taylor expansion of (log t) in t
0.475 * [taylor]: Taking taylor expansion of t in t
0.475 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.475 * [taylor]: Taking taylor expansion of z in t
0.476 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))) in t
0.476 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 b)) (+ (/ 1 y) (/ 1 z)))
0.476 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 b)) in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.476 * [taylor]: Taking taylor expansion of a in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.476 * [taylor]: Taking taylor expansion of b in t
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.476 * [taylor]: Taking taylor expansion of y in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.476 * [taylor]: Taking taylor expansion of z in t
0.476 * [taylor]: Taking taylor expansion of (fma (log t) (/ 1 z) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z)))) in t
0.476 * [taylor]: Rewrote expression to (+ (* (log t) (/ 1 z)) (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))))
0.476 * [taylor]: Taking taylor expansion of (* (log t) (/ 1 z)) in t
0.476 * [taylor]: Taking taylor expansion of (log t) in t
0.476 * [taylor]: Taking taylor expansion of t in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.476 * [taylor]: Taking taylor expansion of z in t
0.476 * [taylor]: Taking taylor expansion of (fma (/ 1 a) (/ 1 b) (+ (/ 1 y) (/ 1 z))) in t
0.476 * [taylor]: Rewrote expression to (+ (* (/ 1 a) (/ 1 b)) (+ (/ 1 y) (/ 1 z)))
0.476 * [taylor]: Taking taylor expansion of (* (/ 1 a) (/ 1 b)) in t
0.476 * [taylor]: Taking taylor expansion of (/ 1 a) in t
0.477 * [taylor]: Taking taylor expansion of a in t
0.477 * [taylor]: Taking taylor expansion of (/ 1 b) in t
0.477 * [taylor]: Taking taylor expansion of b in t
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
0.477 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.477 * [taylor]: Taking taylor expansion of y in t
0.477 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.477 * [taylor]: Taking taylor expansion of z in t
0.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (+ (/ 1 z) (/ (log t) z)))) in z
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
0.477 * [taylor]: Taking taylor expansion of (* a b) in z
0.477 * [taylor]: Taking taylor expansion of a in z
0.477 * [taylor]: Taking taylor expansion of b in z
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ (log t) z))) in z
0.478 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.478 * [taylor]: Taking taylor expansion of y in z
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ (log t) z)) in z
0.478 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.478 * [taylor]: Taking taylor expansion of z in z
0.478 * [taylor]: Taking taylor expansion of (/ (log t) z) in z
0.478 * [taylor]: Taking taylor expansion of (log t) in z
0.478 * [taylor]: Taking taylor expansion of t in z
0.478 * [taylor]: Taking taylor expansion of z in z
0.478 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a
0.478 * [taylor]: Taking taylor expansion of (log t) in a
0.478 * [taylor]: Taking taylor expansion of t in a
0.478 * [taylor]: Taking taylor expansion of 1 in a
0.480 * [taylor]: Taking taylor expansion of 0 in z
0.482 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 y)) in a
0.482 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.482 * [taylor]: Taking taylor expansion of (* a b) in a
0.482 * [taylor]: Taking taylor expansion of a in a
0.482 * [taylor]: Taking taylor expansion of b in a
0.482 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.482 * [taylor]: Taking taylor expansion of y in a
0.482 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.482 * [taylor]: Taking taylor expansion of b in b
0.483 * [taylor]: Taking taylor expansion of 1 in y
0.483 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b
0.483 * [taylor]: Taking taylor expansion of (log t) in b
0.483 * [taylor]: Taking taylor expansion of t in b
0.483 * [taylor]: Taking taylor expansion of 1 in b
0.486 * [taylor]: Taking taylor expansion of 0 in z
0.486 * [taylor]: Taking taylor expansion of 0 in a
0.489 * [taylor]: Taking taylor expansion of 0 in a
0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.490 * [taylor]: Taking taylor expansion of y in b
0.490 * [taylor]: Taking taylor expansion of 0 in b
0.491 * [taylor]: Taking taylor expansion of 0 in y
0.491 * [taylor]: Taking taylor expansion of (+ (log t) 1) in y
0.491 * [taylor]: Taking taylor expansion of (log t) in y
0.491 * [taylor]: Taking taylor expansion of t in y
0.491 * [taylor]: Taking taylor expansion of 1 in y
0.496 * [taylor]: Taking taylor expansion of 0 in z
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.496 * [taylor]: Taking taylor expansion of 0 in a
0.500 * [taylor]: Taking taylor expansion of 0 in a
0.500 * [taylor]: Taking taylor expansion of 0 in b
0.500 * [taylor]: Taking taylor expansion of 0 in b
0.501 * [taylor]: Taking taylor expansion of 0 in b
0.503 * [taylor]: Taking taylor expansion of 0 in b
0.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of 0 in y
0.504 * [taylor]: Taking taylor expansion of 0 in y
0.504 * [taylor]: Taking taylor expansion of 0 in y
0.506 * [approximate]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in (t z a b y) around 0
0.506 * [taylor]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in y
0.506 * [taylor]: Rewrote expression to (+ (* (log (* -1 t)) (/ -1 z)) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))))
0.506 * [taylor]: Taking taylor expansion of (* (log (* -1 t)) (/ -1 z)) in y
0.506 * [taylor]: Taking taylor expansion of (log (* -1 t)) in y
0.506 * [taylor]: Taking taylor expansion of (* -1 t) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of t in y
0.506 * [taylor]: Taking taylor expansion of (/ -1 z) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of z in y
0.506 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))) in y
0.506 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 b)) (- (+ (/ 1 y) (/ 1 z))))
0.506 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 b)) in y
0.506 * [taylor]: Taking taylor expansion of (/ -1 a) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of a in y
0.506 * [taylor]: Taking taylor expansion of (/ -1 b) in y
0.506 * [taylor]: Taking taylor expansion of -1 in y
0.506 * [taylor]: Taking taylor expansion of b in y
0.506 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y
0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.506 * [taylor]: Taking taylor expansion of y in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.506 * [taylor]: Taking taylor expansion of z in y
0.507 * [taylor]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in b
0.507 * [taylor]: Rewrote expression to (+ (* (log (* -1 t)) (/ -1 z)) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))))
0.507 * [taylor]: Taking taylor expansion of (* (log (* -1 t)) (/ -1 z)) in b
0.507 * [taylor]: Taking taylor expansion of (log (* -1 t)) in b
0.507 * [taylor]: Taking taylor expansion of (* -1 t) in b
0.507 * [taylor]: Taking taylor expansion of -1 in b
0.507 * [taylor]: Taking taylor expansion of t in b
0.507 * [taylor]: Taking taylor expansion of (/ -1 z) in b
0.507 * [taylor]: Taking taylor expansion of -1 in b
0.507 * [taylor]: Taking taylor expansion of z in b
0.507 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))) in b
0.507 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 b)) (- (+ (/ 1 y) (/ 1 z))))
0.507 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 b)) in b
0.507 * [taylor]: Taking taylor expansion of (/ -1 a) in b
0.507 * [taylor]: Taking taylor expansion of -1 in b
0.507 * [taylor]: Taking taylor expansion of a in b
0.507 * [taylor]: Taking taylor expansion of (/ -1 b) in b
0.507 * [taylor]: Taking taylor expansion of -1 in b
0.507 * [taylor]: Taking taylor expansion of b in b
0.507 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in b
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in b
0.507 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.507 * [taylor]: Taking taylor expansion of y in b
0.507 * [taylor]: Taking taylor expansion of (/ 1 z) in b
0.507 * [taylor]: Taking taylor expansion of z in b
0.508 * [taylor]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in a
0.508 * [taylor]: Rewrote expression to (+ (* (log (* -1 t)) (/ -1 z)) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))))
0.508 * [taylor]: Taking taylor expansion of (* (log (* -1 t)) (/ -1 z)) in a
0.508 * [taylor]: Taking taylor expansion of (log (* -1 t)) in a
0.508 * [taylor]: Taking taylor expansion of (* -1 t) in a
0.508 * [taylor]: Taking taylor expansion of -1 in a
0.508 * [taylor]: Taking taylor expansion of t in a
0.508 * [taylor]: Taking taylor expansion of (/ -1 z) in a
0.508 * [taylor]: Taking taylor expansion of -1 in a
0.508 * [taylor]: Taking taylor expansion of z in a
0.508 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))) in a
0.508 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 b)) (- (+ (/ 1 y) (/ 1 z))))
0.508 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 b)) in a
0.508 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.508 * [taylor]: Taking taylor expansion of -1 in a
0.508 * [taylor]: Taking taylor expansion of a in a
0.508 * [taylor]: Taking taylor expansion of (/ -1 b) in a
0.508 * [taylor]: Taking taylor expansion of -1 in a
0.508 * [taylor]: Taking taylor expansion of b in a
0.508 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in a
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in a
0.508 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.508 * [taylor]: Taking taylor expansion of y in a
0.508 * [taylor]: Taking taylor expansion of (/ 1 z) in a
0.508 * [taylor]: Taking taylor expansion of z in a
0.508 * [taylor]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in z
0.509 * [taylor]: Rewrote expression to (+ (* (log (* -1 t)) (/ -1 z)) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))))
0.509 * [taylor]: Taking taylor expansion of (* (log (* -1 t)) (/ -1 z)) in z
0.509 * [taylor]: Taking taylor expansion of (log (* -1 t)) in z
0.509 * [taylor]: Taking taylor expansion of (* -1 t) in z
0.509 * [taylor]: Taking taylor expansion of -1 in z
0.509 * [taylor]: Taking taylor expansion of t in z
0.509 * [taylor]: Taking taylor expansion of (/ -1 z) in z
0.509 * [taylor]: Taking taylor expansion of -1 in z
0.509 * [taylor]: Taking taylor expansion of z in z
0.509 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))) in z
0.509 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 b)) (- (+ (/ 1 y) (/ 1 z))))
0.509 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 b)) in z
0.509 * [taylor]: Taking taylor expansion of (/ -1 a) in z
0.509 * [taylor]: Taking taylor expansion of -1 in z
0.509 * [taylor]: Taking taylor expansion of a in z
0.509 * [taylor]: Taking taylor expansion of (/ -1 b) in z
0.509 * [taylor]: Taking taylor expansion of -1 in z
0.509 * [taylor]: Taking taylor expansion of b in z
0.509 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in z
0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z
0.509 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.509 * [taylor]: Taking taylor expansion of y in z
0.509 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.509 * [taylor]: Taking taylor expansion of z in z
0.510 * [taylor]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in t
0.510 * [taylor]: Rewrote expression to (+ (* (log (* -1 t)) (/ -1 z)) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))))
0.510 * [taylor]: Taking taylor expansion of (* (log (* -1 t)) (/ -1 z)) in t
0.510 * [taylor]: Taking taylor expansion of (log (* -1 t)) in t
0.510 * [taylor]: Taking taylor expansion of (* -1 t) in t
0.510 * [taylor]: Taking taylor expansion of -1 in t
0.510 * [taylor]: Taking taylor expansion of t in t
0.511 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.511 * [taylor]: Taking taylor expansion of -1 in t
0.511 * [taylor]: Taking taylor expansion of z in t
0.511 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))) in t
0.511 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 b)) (- (+ (/ 1 y) (/ 1 z))))
0.511 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 b)) in t
0.511 * [taylor]: Taking taylor expansion of (/ -1 a) in t
0.511 * [taylor]: Taking taylor expansion of -1 in t
0.511 * [taylor]: Taking taylor expansion of a in t
0.511 * [taylor]: Taking taylor expansion of (/ -1 b) in t
0.511 * [taylor]: Taking taylor expansion of -1 in t
0.511 * [taylor]: Taking taylor expansion of b in t
0.511 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in t
0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
0.511 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.511 * [taylor]: Taking taylor expansion of y in t
0.511 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.511 * [taylor]: Taking taylor expansion of z in t
0.511 * [taylor]: Taking taylor expansion of (fma (log (* -1 t)) (/ -1 z) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z))))) in t
0.511 * [taylor]: Rewrote expression to (+ (* (log (* -1 t)) (/ -1 z)) (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))))
0.511 * [taylor]: Taking taylor expansion of (* (log (* -1 t)) (/ -1 z)) in t
0.511 * [taylor]: Taking taylor expansion of (log (* -1 t)) in t
0.511 * [taylor]: Taking taylor expansion of (* -1 t) in t
0.511 * [taylor]: Taking taylor expansion of -1 in t
0.511 * [taylor]: Taking taylor expansion of t in t
0.512 * [taylor]: Taking taylor expansion of (/ -1 z) in t
0.512 * [taylor]: Taking taylor expansion of -1 in t
0.512 * [taylor]: Taking taylor expansion of z in t
0.512 * [taylor]: Taking taylor expansion of (fma (/ -1 a) (/ -1 b) (- (+ (/ 1 y) (/ 1 z)))) in t
0.513 * [taylor]: Rewrote expression to (+ (* (/ -1 a) (/ -1 b)) (- (+ (/ 1 y) (/ 1 z))))
0.513 * [taylor]: Taking taylor expansion of (* (/ -1 a) (/ -1 b)) in t
0.513 * [taylor]: Taking taylor expansion of (/ -1 a) in t
0.513 * [taylor]: Taking taylor expansion of -1 in t
0.513 * [taylor]: Taking taylor expansion of a in t
0.513 * [taylor]: Taking taylor expansion of (/ -1 b) in t
0.513 * [taylor]: Taking taylor expansion of -1 in t
0.513 * [taylor]: Taking taylor expansion of b in t
0.513 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in t
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t
0.513 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.513 * [taylor]: Taking taylor expansion of y in t
0.513 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.513 * [taylor]: Taking taylor expansion of z in t
0.514 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (+ (/ (log -1) z) (/ (log t) z))))) in z
0.514 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z
0.514 * [taylor]: Taking taylor expansion of (* a b) in z
0.514 * [taylor]: Taking taylor expansion of a in z
0.514 * [taylor]: Taking taylor expansion of b in z
0.514 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (+ (/ (log -1) z) (/ (log t) z)))) in z
0.514 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.515 * [taylor]: Taking taylor expansion of z in z
0.515 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ (log -1) z) (/ (log t) z))) in z
0.515 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.515 * [taylor]: Taking taylor expansion of y in z
0.515 * [taylor]: Taking taylor expansion of (+ (/ (log -1) z) (/ (log t) z)) in z
0.515 * [taylor]: Taking taylor expansion of (/ (log -1) z) in z
0.515 * [taylor]: Taking taylor expansion of (log -1) in z
0.515 * [taylor]: Taking taylor expansion of -1 in z
0.515 * [taylor]: Taking taylor expansion of z in z
0.516 * [taylor]: Taking taylor expansion of (/ (log t) z) in z
0.516 * [taylor]: Taking taylor expansion of (log t) in z
0.516 * [taylor]: Taking taylor expansion of t in z
0.516 * [taylor]: Taking taylor expansion of z in z
0.518 * [taylor]: Taking taylor expansion of (- (+ (log t) (+ (log -1) 1))) in a
0.518 * [taylor]: Taking taylor expansion of (+ (log t) (+ (log -1) 1)) in a
0.518 * [taylor]: Taking taylor expansion of (log t) in a
0.518 * [taylor]: Taking taylor expansion of t in a
0.518 * [taylor]: Taking taylor expansion of (+ (log -1) 1) in a
0.518 * [taylor]: Taking taylor expansion of (log -1) in a
0.518 * [taylor]: Taking taylor expansion of -1 in a
0.518 * [taylor]: Taking taylor expansion of 1 in a
0.521 * [taylor]: Taking taylor expansion of 0 in z
0.527 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (/ 1 y)) in a
0.527 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a
0.527 * [taylor]: Taking taylor expansion of (* a b) in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of b in a
0.528 * [taylor]: Taking taylor expansion of (/ 1 y) in a
0.528 * [taylor]: Taking taylor expansion of y in a
0.528 * [taylor]: Taking taylor expansion of (/ 1 b) in b
0.528 * [taylor]: Taking taylor expansion of b in b
0.528 * [taylor]: Taking taylor expansion of 1 in y
0.530 * [taylor]: Taking taylor expansion of (- (+ (log t) (+ (log -1) 1))) in b
0.530 * [taylor]: Taking taylor expansion of (+ (log t) (+ (log -1) 1)) in b
0.530 * [taylor]: Taking taylor expansion of (log t) in b
0.530 * [taylor]: Taking taylor expansion of t in b
0.530 * [taylor]: Taking taylor expansion of (+ (log -1) 1) in b
0.530 * [taylor]: Taking taylor expansion of (log -1) in b
0.530 * [taylor]: Taking taylor expansion of -1 in b
0.530 * [taylor]: Taking taylor expansion of 1 in b
0.535 * [taylor]: Taking taylor expansion of 0 in z
0.535 * [taylor]: Taking taylor expansion of 0 in a
0.540 * [taylor]: Taking taylor expansion of 0 in a
0.541 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in b
0.541 * [taylor]: Taking taylor expansion of (/ 1 y) in b
0.541 * [taylor]: Taking taylor expansion of y in b
0.542 * [taylor]: Taking taylor expansion of 0 in b
0.543 * [taylor]: Taking taylor expansion of 0 in y
0.545 * [taylor]: Taking taylor expansion of (- (+ (log t) (+ (log -1) 1))) in y
0.545 * [taylor]: Taking taylor expansion of (+ (log t) (+ (log -1) 1)) in y
0.545 * [taylor]: Taking taylor expansion of (log t) in y
0.545 * [taylor]: Taking taylor expansion of t in y
0.545 * [taylor]: Taking taylor expansion of (+ (log -1) 1) in y
0.545 * [taylor]: Taking taylor expansion of (log -1) in y
0.545 * [taylor]: Taking taylor expansion of -1 in y
0.545 * [taylor]: Taking taylor expansion of 1 in y
0.551 * [taylor]: Taking taylor expansion of 0 in z
0.551 * [taylor]: Taking taylor expansion of 0 in a
0.551 * [taylor]: Taking taylor expansion of 0 in a
0.559 * [taylor]: Taking taylor expansion of 0 in a
0.559 * [taylor]: Taking taylor expansion of 0 in b
0.559 * [taylor]: Taking taylor expansion of 0 in b
0.561 * [taylor]: Taking taylor expansion of 0 in b
0.563 * [taylor]: Taking taylor expansion of 0 in b
0.564 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.564 * [taylor]: Taking taylor expansion of y in y
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.565 * [taylor]: Taking taylor expansion of 0 in y
0.566 * [taylor]: Taking taylor expansion of 0 in y
0.570 * * * [progress]: simplifying candidates
0.570 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (/ 1 t)) z)
  (- (+ z y) (* (log t) z))
  (+ (* (log (/ 1 t)) z) (+ (* a b) (+ z y)))
  (+ (* (log (/ -1 t)) z) (+ z (+ (* a b) (+ (* (log -1) z) y))))
0.573 * * [simplify]: iteration  0 :  63  enodes  (cost  20 )
0.575 * * [simplify]: iteration  1 :  147  enodes  (cost  19 )
0.577 * * [simplify]: iteration  2 :  378  enodes  (cost  19 )
0.582 * * [simplify]: iteration  3 :  828  enodes  (cost  19 )
0.592 * * [simplify]: iteration  4 :  2014  enodes  (cost  19 )
0.620 * * [simplify]: iteration  5 :  5001  enodes  (cost  17 )
0.620 * [simplify]: Simplified to:
   (- (* (log t) z))
  (fma (- 1 (log t)) z y)
  (fma (- 1 (log t)) z (fma b a y))
  (fma z (log (/ -1 t)) (+ (fma a b (fma (log -1) z y)) z))
0.620 * * * [progress]: adding candidates to table
0.632 * [progress]: [Phase 3 of 3] Extracting.
0.632 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.633 * * * [regime-changes]: Trying 10 branch expressions: ((- a 0.5) (log t) (+ x y) (- (+ (+ x y) z) (* z (log t))) b a t z y x)
0.633 * * * * [regimes]: Trying to branch on (- a 0.5) from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.652 * * * * [regimes]: Trying to branch on (log t) from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.672 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.692 * * * * [regimes]: Trying to branch on (- (+ (+ x y) z) (* z (log t))) from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.715 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.733 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.753 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.771 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.790 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.807 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t a b) (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t)))))> #<alt (λ (x y z t a b) (fma (log (/ 1 t)) z (fma a b (+ z y))))>)
0.827 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.827 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
0.827 * * [simplify]: iteration  0 :  17  enodes  (cost  7 )
0.828 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
0.828 * [simplify]: Simplified to:
   (fma b (- a 0.5) (- (+ (+ x y) z) (* z (log t))))
2.389 * [regime-testing]: Baseline error score: 0.09150203931786545
2.390 * [regime-testing]: Oracle error score: 0.053579817789813876
2.391 * [regime-testing]: End program error score: 0.09150203931786545
2.432 * [regime-testing]: Target error score: 0.3361437101547851