11.381 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.048 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.054 * [simplify]: Simplifying using # : (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.056 * * [simplify]: iteration 0 : 38 enodes (cost 10 ) 0.057 * * [simplify]: iteration 1 : 112 enodes (cost 10 ) 0.059 * * [simplify]: iteration 2 : 384 enodes (cost 10 ) 0.065 * * [simplify]: iteration 3 : 1568 enodes (cost 10 ) 0.091 * * [simplify]: iteration 4 : 5001 enodes (cost 10 ) 0.091 * [simplify]: Simplified to: (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.091 * * [progress]: iteration 1 / 4 0.091 * * * [progress]: picking best candidate 0.100 * * * * [pick]: Picked # 0.100 * * * [progress]: localizing error 0.114 * * * [progress]: generating rewritten candidates 0.114 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.131 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 0.139 * * * [progress]: generating series expansions 0.139 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.139 * [approximate]: Approximating (* (- (+ t y) 2.0) b) in (y t b) around 0 0.140 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.141 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.143 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.143 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.144 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.147 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.147 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.147 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.148 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.149 * [approximate]: Approximating (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 0.154 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.155 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.155 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.156 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.158 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.159 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.161 * [approximate]: Approximating (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 0.164 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.165 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.166 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.168 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.168 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.170 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.170 * [approximate]: Approximating (* (- t 1.0) a) in (t a) around 0 0.171 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.173 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.176 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.181 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.184 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.184 * [approximate]: Approximating (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.186 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.188 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.195 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.198 * [approximate]: Approximating (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.199 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.200 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.203 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.205 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.207 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.208 * [approximate]: Approximating (- (+ x (* 1.0 z)) (* z y)) in (x y z) around 0 0.208 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 0.208 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.210 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 0.210 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.211 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.214 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 0.214 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.214 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.216 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.217 * [approximate]: Approximating (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in (x y z) around 0 0.220 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 0.220 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 0.221 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 0.221 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 0.223 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 0.224 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 0.225 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 0.227 * [approximate]: Approximating (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in (x y z) around 0 0.230 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 0.230 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 0.231 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 0.232 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 0.234 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 0.234 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 0.236 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 0.238 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 0.238 * [approximate]: Approximating (* z (- y 1.0)) in (y z) around 0 0.239 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 0.240 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 0.243 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 0.245 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 0.247 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 0.248 * [approximate]: Approximating (/ (- (/ 1 y) 1.0) z) in (y z) around 0 0.250 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 0.254 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 0.257 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 0.260 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 0.263 * [approximate]: Approximating (/ (+ (/ 1 y) 1.0) z) in (y z) around 0 0.265 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 0.266 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 0.268 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 0.271 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 0.273 * * * [progress]: simplifying candidates 0.274 * [simplify]: Simplifying using # : (* (- (+ y t) 2.0) b) (+ (log (- (+ y t) 2.0)) (log b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b)) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (* (- (+ y t) 2.0) 1) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (/ (exp x) (exp (* (- y 1.0) z))) (log (- x (* (- y 1.0) z))) (exp (- x (* (- y 1.0) z))) (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (* (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (neg (* (- y 1.0) z)) (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ x (* (- y 1.0) z)) (neg (* (- y 1.0) z)) (* (- y 1.0) z) (+ (log (- y 1.0)) (log z)) (log (* (- y 1.0) z)) (exp (* (- y 1.0) z)) (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* z z) z)) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (* (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (* (- y 1.0) 1) (* (cbrt (- y 1.0)) z) (* (sqrt (- y 1.0)) z) (* (- y 1.0) z) (* (- (sqrt y) (sqrt 1.0)) z) (* (- y 1.0) z) (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) 0.278 * * [simplify]: iteration 0 : 361 enodes (cost 390 ) 0.284 * * [simplify]: iteration 1 : 1363 enodes (cost 339 ) 0.308 * * [simplify]: iteration 2 : 5001 enodes (cost 339 ) 0.311 * [simplify]: Simplified to: (* (- (+ y t) 2.0) b) (log (* (- (+ y t) 2.0) b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (pow (* (- (+ y t) 2.0) b) 3) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (pow (* (- (+ y t) 2.0) b) 3) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (- (+ y t) 2.0) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (exp (- x (* (- y 1.0) z))) (log (- x (* (- y 1.0) z))) (exp (- x (* (- y 1.0) z))) (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (pow (- x (* (- y 1.0) z)) 3) (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* (* (- y 1.0) z) (+ (* (- y 1.0) z) x)) (* x x)) (neg (* (- y 1.0) z)) (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ x (* (- y 1.0) z)) (neg (* (- y 1.0) z)) (* (- y 1.0) z) (log (* (- y 1.0) z)) (log (* (- y 1.0) z)) (exp (* (- y 1.0) z)) (pow (* (- y 1.0) z) 3) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (pow (* (- y 1.0) z) 3) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (- y 1.0) (* (cbrt (- y 1.0)) z) (* (sqrt (- y 1.0)) z) (* (- y 1.0) z) (* (- (sqrt y) (sqrt 1.0)) z) (* (- y 1.0) z) (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) (+ (* z (- 1.0 y)) x) (+ (* z (- 1.0 y)) x) (+ (* z (- 1.0 y)) x) (* (- y 1.0) z) (* (- y 1.0) z) (* (- y 1.0) z) 0.311 * * * [progress]: adding candidates to table 0.700 * * [progress]: iteration 2 / 4 0.700 * * * [progress]: picking best candidate 0.712 * * * * [pick]: Picked # 0.712 * * * [progress]: localizing error 0.733 * * * [progress]: generating rewritten candidates 0.733 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.749 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 0.767 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.776 * * * [progress]: generating series expansions 0.776 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.777 * [approximate]: Approximating (/ (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) (+ t (+ y 2.0))) in (y t b) around 0 0.787 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) (+ t (+ y 2.0))) in t 0.788 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) (+ t (+ y 2.0))) in b 0.792 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) (+ t (+ y 2.0))) in t 0.795 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) (+ t (+ y 2.0))) in b 0.798 * [taylor]: Taking taylor expansion of (/ (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) (+ t (+ y 2.0))) in b 0.800 * [approximate]: Approximating (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in (y t b) around 0 0.815 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in t 0.818 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in t 0.818 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in b 0.818 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in b 0.824 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in t 0.825 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (+ (/ 1 y) (+ (/ 1 t) 2.0)) b)) in b 0.828 * [approximate]: Approximating (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in (y t b) around 0 0.841 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in t 0.844 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in t 0.845 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in b 0.845 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in b 0.851 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in t 0.852 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) (* (- 2.0 (+ (/ 1 y) (/ 1 t))) b))) in b 0.853 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.854 * [approximate]: Approximating (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in (y t b) around 0 0.855 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in t 0.857 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in b 0.858 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in t 0.859 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in b 0.860 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in b 0.864 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in t 0.864 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in b 0.865 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in b 0.867 * [taylor]: Taking taylor expansion of (* (- (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) 4.0) b) in b 0.869 * [approximate]: Approximating (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in (y t b) around 0 0.877 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in t 0.879 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in t 0.882 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in t 0.883 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in b 0.883 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in b 0.883 * [taylor]: Taking taylor expansion of (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b) in b 0.887 * [approximate]: Approximating (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in (y t b) around 0 0.895 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in t 0.897 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in t 0.901 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in t 0.901 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in b 0.902 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in b 0.903 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 2 (/ 1 (* t y))) (+ (/ 1 (pow y 2)) (/ 1 (pow t 2)))) 4.0) b)) in b 0.904 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 0.904 * [approximate]: Approximating (pow (+ t y) 2) in (y t) around 0 0.904 * [taylor]: Taking taylor expansion of (pow (+ t y) 2) in t 0.904 * [taylor]: Taking taylor expansion of (pow (+ t y) 2) in t 0.905 * [taylor]: Taking taylor expansion of (pow (+ t y) 2) in t 0.907 * [approximate]: Approximating (pow (+ (/ 1 y) (/ 1 t)) 2) in (y t) around 0 0.909 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 t)) 2) in t 0.910 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 t)) 2) in t 0.912 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 t)) 2) in t 0.913 * [approximate]: Approximating (pow (+ (/ 1 y) (/ 1 t)) 2) in (y t) around 0 0.915 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 t)) 2) in t 0.916 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 t)) 2) in t 0.918 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 t)) 2) in t 0.919 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.920 * [approximate]: Approximating (* (- t 1.0) a) in (t a) around 0 0.921 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.922 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.925 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.927 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.930 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.931 * [approximate]: Approximating (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.933 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.935 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.938 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.942 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.944 * [approximate]: Approximating (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.946 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.948 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.950 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.952 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.954 * * * [progress]: simplifying candidates 0.956 * [simplify]: Simplifying using # : (- (+ (log (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (log b)) (log (+ (+ y t) 2.0))) (- (log (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (log (+ (+ y t) 2.0))) (log (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (exp (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (/ (* (* (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (* b b) b)) (* (* (+ (+ y t) 2.0) (+ (+ y t) 2.0)) (+ (+ y t) 2.0))) (/ (* (* (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (* (+ (+ y t) 2.0) (+ (+ y t) 2.0)) (+ (+ y t) 2.0))) (* (cbrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (cbrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))) (cbrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (* (* (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (sqrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (sqrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (neg (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (neg (+ (+ y t) 2.0)) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (cbrt (+ (+ y t) 2.0)) (cbrt (+ (+ y t) 2.0)))) (/ b (cbrt (+ (+ y t) 2.0))) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (sqrt (+ (+ y t) 2.0))) (/ b (sqrt (+ (+ y t) 2.0))) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) 1) (/ b (+ (+ y t) 2.0)) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) 1) (/ b (+ (+ y t) 2.0)) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) 1) (/ b (+ (+ y t) 2.0)) (/ 1 (+ (+ y t) 2.0)) (/ (+ (+ y t) 2.0) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (cbrt (+ (+ y t) 2.0)) (cbrt (+ (+ y t) 2.0)))) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (sqrt (+ (+ y t) 2.0))) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) 1) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) 1) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) 1) (/ (+ (+ y t) 2.0) b) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (pow (+ y t) 3) (pow 2.0 3))) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (+ (+ y t) 2.0) (+ (* (* (+ y t) (+ y t)) (* (+ y t) (+ y t))) (+ (* (* 2.0 2.0) (* 2.0 2.0)) (* (* (+ y t) (+ y t)) (* 2.0 2.0))))) (* (+ (+ y t) 2.0) (+ (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (log (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (log b)) (log (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (exp (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (* (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (* b b) b)) (* (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (* (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (sqrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (sqrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (sqrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (sqrt b)) (* (sqrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (sqrt b)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (cbrt b) (cbrt b))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (sqrt b)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) 1) (* (cbrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) b) (* (sqrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (pow (* (+ y t) (+ y t)) 3) (pow (* 2.0 2.0) 3)) b) (* (- (* (* (+ y t) (+ y t)) (* (+ y t) (+ y t))) (* (* 2.0 2.0) (* 2.0 2.0))) b) (+ 1 1) (* (+ y t) (+ y t)) (+ 1 1) (+ (log (+ y t)) (log (+ y t))) (log (* (+ y t) (+ y t))) (exp (* (+ y t) (+ y t))) (* (* (* (+ y t) (+ y t)) (+ y t)) (* (* (+ y t) (+ y t)) (+ y t))) (* (cbrt (* (+ y t) (+ y t))) (cbrt (* (+ y t) (+ y t)))) (cbrt (* (+ y t) (+ y t))) (* (* (* (+ y t) (+ y t)) (* (+ y t) (+ y t))) (* (+ y t) (+ y t))) (sqrt (* (+ y t) (+ y t))) (sqrt (* (+ y t) (+ y t))) (* (+ (pow y 3) (pow t 3)) (+ (pow y 3) (pow t 3))) (* (+ (* y y) (- (* t t) (* y t))) (+ (* y y) (- (* t t) (* y t)))) (* (+ (pow y 3) (pow t 3)) (- (* y y) (* t t))) (* (+ (* y y) (- (* t t) (* y t))) (- y t)) (* (- (* y y) (* t t)) (+ (pow y 3) (pow t 3))) (* (- y t) (+ (* y y) (- (* t t) (* y t)))) (* (- (* y y) (* t t)) (- (* y y) (* t t))) (* (- y t) (- y t)) (* (* (cbrt (+ y t)) (cbrt (+ y t))) (* (cbrt (+ y t)) (cbrt (+ y t)))) (* (cbrt (+ y t)) (cbrt (+ y t))) (* (sqrt (+ y t)) (sqrt (+ y t))) (* (sqrt (+ y t)) (sqrt (+ y t))) (* 1 1) (* (+ y t) (+ y t)) (* 1 1) (* (+ y t) (+ y t)) (* 1 1) (* (+ y t) (+ y t)) (* 1 1) (* (+ y t) (+ y t)) (* (sqrt (+ y t)) (sqrt (+ y t))) (* (sqrt (+ y t)) (sqrt (+ y t))) (* 2 1) (* (+ y t) y) (* (+ y t) t) (* y (+ y t)) (* t (+ y t)) (* (+ y t) (* (cbrt (+ y t)) (cbrt (+ y t)))) (* (+ y t) (sqrt (+ y t))) (* (+ y t) 1) (* (+ y t) 1) (* (cbrt (+ y t)) (+ y t)) (* (sqrt (+ y t)) (+ y t)) (* (+ y t) (+ y t)) (* (+ y t) (+ y t)) (* (+ y t) (+ (pow y 3) (pow t 3))) (* (+ y t) (- (* y y) (* t t))) (* (+ (pow y 3) (pow t 3)) (+ y t)) (* (- (* y y) (* t t)) (+ y t)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (+ (* 1.0 (* y b)) (* 1.0 (* t b))) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (* -4.0 b) (+ (* (pow t 2) b) (+ (* 2 (* t (* y b))) (* (pow y 2) b))) (+ (* (pow t 2) b) (+ (* 2 (* t (* y b))) (* (pow y 2) b))) (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) (+ (pow t 2) (+ (pow y 2) (* 2 (* t y)))) (+ (pow t 2) (+ (pow y 2) (* 2 (* t y)))) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 0.964 * * [simplify]: iteration 0 : 579 enodes (cost 851 ) 0.976 * * [simplify]: iteration 1 : 2884 enodes (cost 734 ) 1.032 * * [simplify]: iteration 2 : 5001 enodes (cost 730 ) 1.037 * [simplify]: Simplified to: (log (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (log (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (log (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (exp (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (pow (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)) 3) (pow (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)) 3) (* (cbrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (cbrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))) (cbrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (pow (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)) 3) (sqrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (sqrt (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))) (neg (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (neg (+ (+ y t) 2.0)) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (cbrt (+ (+ y t) 2.0)) (cbrt (+ (+ y t) 2.0)))) (/ b (cbrt (+ (+ y t) 2.0))) (/ (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (sqrt (+ (+ y t) 2.0))) (/ b (sqrt (+ (+ y t) 2.0))) (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (/ b (+ (+ y t) 2.0)) (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (/ b (+ (+ y t) 2.0)) (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (/ b (+ (+ y t) 2.0)) (/ 1 (+ (+ y t) 2.0)) (/ (+ (+ y t) 2.0) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (cbrt (+ (+ y t) 2.0)) (cbrt (+ (+ y t) 2.0)))) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (sqrt (+ (+ y t) 2.0))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (/ (+ (+ y t) 2.0) b) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (pow (+ y t) 3) (pow 2.0 3))) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (+ (* (* 2.0 2.0) (+ (* 2.0 2.0) (* (+ y t) (+ y t)))) (* (pow (+ y t) 3) (+ y t))) (+ (+ y t) 2.0)) (* (+ (+ y t) 2.0) (+ (* (+ y t) (+ y t)) (* 2.0 2.0))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (log (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (log (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (exp (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (pow (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) 3) (* (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b))) (cbrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (pow (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) 3) (sqrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (sqrt (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)) (* (sqrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (sqrt b)) (* (sqrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) (sqrt b)) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (cbrt b) (cbrt b))) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (sqrt b)) (- (* (+ y t) (+ y t)) (* 2.0 2.0)) (* (cbrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) b) (* (sqrt (- (* (+ y t) (+ y t)) (* 2.0 2.0))) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (pow (* (+ y t) (+ y t)) 3) (pow (* 2.0 2.0) 3)) b) (+ (* b (pow (+ y t) 4)) (* b (neg (* (pow 2.0 3) 2.0)))) 2 (* (+ y t) (+ y t)) 2 (* 2 (log (+ y t))) (* 2 (log (+ y t))) (exp (* (+ y t) (+ y t))) (pow (+ y t) 6) (* (cbrt (* (+ y t) (+ y t))) (cbrt (* (+ y t) (+ y t)))) (cbrt (* (+ y t) (+ y t))) (pow (+ y t) 6) (fabs (+ y t)) (fabs (+ y t)) (* (+ (pow y 3) (pow t 3)) (+ (pow y 3) (pow t 3))) (* (+ (* t (- t y)) (pow y 2)) (+ (pow y 2) (* t (- t y)))) (* (- (* y y) (* t t)) (+ (pow y 3) (pow t 3))) (* (- y t) (+ (pow y 2) (* t (- t y)))) (* (- (* y y) (* t t)) (+ (pow y 3) (pow t 3))) (* (- y t) (+ (pow y 2) (* t (- t y)))) (* (- (* y y) (* t t)) (- (* y y) (* t t))) (* (- y t) (- y t)) (pow (cbrt (+ y t)) 4) (* (cbrt (+ y t)) (cbrt (+ y t))) (+ y t) (+ y t) 1 (* (+ y t) (+ y t)) 1 (* (+ y t) (+ y t)) 1 (* (+ y t) (+ y t)) 1 (* (+ y t) (+ y t)) (+ y t) (+ y t) 2 (* y (+ y t)) (* t (+ y t)) (* y (+ y t)) (* t (+ y t)) (* (+ y t) (* (cbrt (+ y t)) (cbrt (+ y t)))) (pow (sqrt (+ y t)) 3) (+ y t) (+ y t) (pow (cbrt (+ y t)) 4) (pow (sqrt (+ y t)) 3) (* (+ y t) (+ y t)) (* (+ y t) (+ y t)) (* (+ y t) (+ (pow y 3) (pow t 3))) (* (- (* y y) (* t t)) (+ y t)) (* (+ y t) (+ (pow y 3) (pow t 3))) (* (- (* y y) (* t t)) (+ y t)) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (+ (* b (- (* 1.0 t) 2.0)) (* 1.0 (* y b))) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* -4.0 b) (+ (* (pow t 2) b) (+ (* 2 (* t (* y b))) (* (pow y 2) b))) (+ (* (pow t 2) b) (+ (* 2 (* t (* y b))) (* (pow y 2) b))) (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) (+ (pow y 2) (+ (pow t 2) (* 2 (* t y)))) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) 1.038 * * * [progress]: adding candidates to table 1.729 * * [progress]: iteration 3 / 4 1.729 * * * [progress]: picking best candidate 1.735 * * * * [pick]: Picked # 1.735 * * * [progress]: localizing error 1.752 * * * [progress]: generating rewritten candidates 1.752 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 1.763 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1.770 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.776 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.786 * * * [progress]: generating series expansions 1.786 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 1.786 * [approximate]: Approximating (* z (- y 1.0)) in (y z) around 0 1.788 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.790 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.792 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.795 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.797 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.797 * [approximate]: Approximating (/ (- (/ 1 y) 1.0) z) in (y z) around 0 1.800 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.802 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.805 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.808 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.811 * [approximate]: Approximating (* -1 (* (+ (/ 1 y) 1.0) (pow (sqrt (/ -1 z)) 2))) in (y z) around 0 1.815 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (pow (sqrt (/ -1 z)) 2))) in z 1.820 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (pow (sqrt (/ -1 z)) 2))) in z 1.845 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 1.845 * [approximate]: Approximating (* (sqrt z) (- y 1.0)) in (y z) around 0 1.848 * [taylor]: Taking taylor expansion of (* (sqrt z) (- y 1.0)) in z 1.851 * [taylor]: Taking taylor expansion of (* (sqrt z) (- y 1.0)) in z 1.856 * [taylor]: Taking taylor expansion of (* (sqrt z) (- y 1.0)) in z 1.865 * [approximate]: Approximating (* (sqrt (/ 1 z)) (- (/ 1 y) 1.0)) in (y z) around 0 1.868 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) 1.0)) in z 1.872 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) 1.0)) in z 1.877 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 z)) (- (/ 1 y) 1.0)) in z 1.885 * [approximate]: Approximating (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 z)))) in (y z) around 0 1.888 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 z)))) in z 1.892 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 z)))) in z 1.898 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) 1.0) (sqrt (/ -1 z)))) in z 1.910 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.910 * [approximate]: Approximating (* (- t 1.0) a) in (t a) around 0 1.912 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.913 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.916 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.921 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.924 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.925 * [approximate]: Approximating (/ (- (/ 1 t) 1.0) a) in (t a) around 0 1.927 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.930 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.933 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.936 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.939 * [approximate]: Approximating (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 1.941 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.942 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.944 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.949 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.949 * [approximate]: Approximating (* (- (+ t y) 2.0) b) in (y t b) around 0 1.950 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.951 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.953 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.953 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.954 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.956 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.956 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.957 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.958 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.959 * [approximate]: Approximating (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 1.963 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.964 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.965 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.965 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.967 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.968 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.970 * [approximate]: Approximating (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 1.973 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 1.974 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 1.974 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 1.975 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 1.976 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 1.977 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 1.979 * * * [progress]: simplifying candidates 1.980 * [simplify]: Simplifying using # : (* (* (- y 1.0) (sqrt z)) (sqrt z)) (* (* (- y 1.0) (sqrt z)) (sqrt z)) (+ (+ (log (- y 1.0)) (log (sqrt z))) (log (sqrt z))) (+ (log (* (- y 1.0) (sqrt z))) (log (sqrt z))) (log (* (* (- y 1.0) (sqrt z)) (sqrt z))) (exp (* (* (- y 1.0) (sqrt z)) (sqrt z))) (* (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (* (* (* (- y 1.0) (sqrt z)) (* (- y 1.0) (sqrt z))) (* (- y 1.0) (sqrt z))) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (cbrt (* (* (- y 1.0) (sqrt z)) (sqrt z)))) (cbrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (* (* (* (* (- y 1.0) (sqrt z)) (sqrt z)) (* (* (- y 1.0) (sqrt z)) (sqrt z))) (* (* (- y 1.0) (sqrt z)) (sqrt z))) (sqrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (sqrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (* (* (- y 1.0) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (* (- y 1.0) (sqrt z)) (sqrt (* (cbrt z) (cbrt z)))) (* (* (- y 1.0) (sqrt z)) (sqrt (sqrt z))) (* (* (- y 1.0) (sqrt z)) (sqrt 1)) (* (* (- y 1.0) (sqrt z)) (sqrt (sqrt z))) (* (* (- y 1.0) (sqrt z)) 1) (* (sqrt z) (sqrt z)) (* (* (- (pow y 3) (pow 1.0 3)) (sqrt z)) (sqrt z)) (* (* (- (* y y) (* 1.0 1.0)) (sqrt z)) (sqrt z)) (* (- y 1.0) (sqrt z)) (+ (log (- y 1.0)) (log (sqrt z))) (log (* (- y 1.0) (sqrt z))) (exp (* (- y 1.0) (sqrt z))) (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* (sqrt z) (sqrt z)) (sqrt z))) (* (cbrt (* (- y 1.0) (sqrt z))) (cbrt (* (- y 1.0) (sqrt z)))) (cbrt (* (- y 1.0) (sqrt z))) (* (* (* (- y 1.0) (sqrt z)) (* (- y 1.0) (sqrt z))) (* (- y 1.0) (sqrt z))) (sqrt (* (- y 1.0) (sqrt z))) (sqrt (* (- y 1.0) (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (- y 1.0) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (- y 1.0) (sqrt (* (cbrt z) (cbrt z)))) (* (- y 1.0) (sqrt (sqrt z))) (* (- y 1.0) (sqrt 1)) (* (- y 1.0) (sqrt (sqrt z))) (* (- y 1.0) 1) (* (cbrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (sqrt z)) (* (- (sqrt y) (sqrt 1.0)) (sqrt z)) (* (- y 1.0) (sqrt z)) (* (- (pow y 3) (pow 1.0 3)) (sqrt z)) (* (- (* y y) (* 1.0 1.0)) (sqrt z)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (* (- (+ y t) 2.0) b) (+ (log (- (+ y t) 2.0)) (log b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b)) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (* (- (+ y t) 2.0) 1) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* (pow NAN 2) y) (+ (* 2 (/ (* (pow NAN 4) y) z)) (* 1.0 (pow NAN 2)))) (- (* NAN (* z y)) (+ (* 1.0 (* (pow NAN 3) (pow z 2))) (* 1.0 (* NAN z)))) (- (+ (/ (* (pow NAN 3) y) z) (* NAN y)) (* 1.0 NAN)) (- (* NAN y) (+ (/ (* (pow NAN 3) y) z) (* 1.0 NAN))) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) 1.985 * * [simplify]: iteration 0 : 463 enodes (cost 515 ) 1.993 * * [simplify]: iteration 1 : 1946 enodes (cost 440 ) 2.025 * * [simplify]: iteration 2 : 5001 enodes (cost 436 ) 2.028 * [simplify]: Simplified to: (* (- y 1.0) z) (* (- y 1.0) z) (+ (log (- y 1.0)) (log z)) (+ (log (- y 1.0)) (log z)) (+ (log (- y 1.0)) (log z)) (pow (exp (- y 1.0)) z) (pow (* (- y 1.0) z) 3) (pow (* (- y 1.0) z) 3) (* (cbrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (cbrt (* (* (- y 1.0) (sqrt z)) (sqrt z)))) (cbrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (pow (* (- y 1.0) z) 3) (sqrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (sqrt (* (* (- y 1.0) (sqrt z)) (sqrt z))) (* (* (- y 1.0) (sqrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (* (* (- y 1.0) (sqrt z)) (sqrt (sqrt z))) (* (- y 1.0) (sqrt z)) (* (* (- y 1.0) (sqrt z)) (sqrt (sqrt z))) (* (- y 1.0) (sqrt z)) z (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (* (- y 1.0) (sqrt z)) (log (* (- y 1.0) (sqrt z))) (log (* (- y 1.0) (sqrt z))) (exp (* (- y 1.0) (sqrt z))) (pow (* (- y 1.0) (sqrt z)) 3) (* (cbrt (* (- y 1.0) (sqrt z))) (cbrt (* (- y 1.0) (sqrt z)))) (cbrt (* (- y 1.0) (sqrt z))) (pow (* (- y 1.0) (sqrt z)) 3) (sqrt (* (- y 1.0) (sqrt z))) (sqrt (* (- y 1.0) (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (sqrt (- y 1.0)) (sqrt (sqrt z))) (* (- y 1.0) (* (cbrt (sqrt z)) (cbrt (sqrt z)))) (* (fabs (cbrt z)) (- y 1.0)) (* (- y 1.0) (sqrt (sqrt z))) (- y 1.0) (* (- y 1.0) (sqrt (sqrt z))) (- y 1.0) (* (cbrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (sqrt z)) (* (- (sqrt y) (sqrt 1.0)) (sqrt z)) (* (- y 1.0) (sqrt z)) (* (- (pow y 3) (pow 1.0 3)) (sqrt z)) (* (- (* y y) (* 1.0 1.0)) (sqrt z)) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (* (- (+ y t) 2.0) b) (log (* (- (+ y t) 2.0) b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (pow (* (- (+ y t) 2.0) b) 3) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (pow (* (- (+ y t) 2.0) b) 3) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (- (+ y t) 2.0) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (* (- y 1.0) z) (* (- y 1.0) z) (- (* (pow NAN 2) y) (+ (* 2 (/ (* (pow NAN 4) y) z)) (* 1.0 (pow NAN 2)))) (- (* NAN (* z y)) (+ (* 1.0 (* (pow NAN 3) (pow z 2))) (* 1.0 (* NAN z)))) (+ (* NAN (- y 1.0)) (/ (* (pow NAN 3) y) z)) (- (* NAN (- y 1.0)) (/ (* (pow NAN 3) y) z)) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) 2.029 * * * [progress]: adding candidates to table 2.627 * * [progress]: iteration 4 / 4 2.627 * * * [progress]: picking best candidate 2.634 * * * * [pick]: Picked # 2.634 * * * [progress]: localizing error 2.657 * * * [progress]: generating rewritten candidates 2.657 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 2.658 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 2 1) 2.660 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2) 2.664 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 2.678 * * * [progress]: generating series expansions 2.678 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 2.678 * [approximate]: Approximating (pow z 1/3) in (z) around 0 2.736 * [approximate]: Approximating (pow (/ 1 z) 1/3) in (z) around 0 2.793 * [approximate]: Approximating (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 2.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 2 1) 2.875 * [approximate]: Approximating (pow z 1/3) in (z) around 0 2.927 * [approximate]: Approximating (pow (/ 1 z) 1/3) in (z) around 0 2.988 * [approximate]: Approximating (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 3.064 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2) 3.064 * [approximate]: Approximating (* (fabs (pow z 1/3)) (sqrt z)) in (z) around 0 3.085 * [approximate]: Approximating (* (sqrt (/ 1 z)) (fabs (pow (/ 1 z) 1/3))) in (z) around 0 3.103 * [approximate]: Approximating (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z))) in (z) around 0 3.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 3.125 * [approximate]: Approximating (* (* (fabs (pow z 1/3)) (- y 1.0)) (pow (pow z 2) 1/3)) in (y z) around 0 3.128 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) (- y 1.0)) (pow (pow z 2) 1/3)) in z 3.132 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) (- y 1.0)) (pow (pow z 2) 1/3)) in z 3.141 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) (- y 1.0)) (pow (pow z 2) 1/3)) in z 3.156 * [taylor]: Taking taylor expansion of (* (* (fabs (pow z 1/3)) (- y 1.0)) (pow (pow z 2) 1/3)) in z 3.156 * [approximate]: Approximating (* (pow (/ 1 (pow z 2)) 1/3) (* (- (/ 1 y) 1.0) (fabs (pow (/ 1 z) 1/3)))) in (y z) around 0 3.164 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (* (- (/ 1 y) 1.0) (fabs (pow (/ 1 z) 1/3)))) in z 3.170 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (* (- (/ 1 y) 1.0) (fabs (pow (/ 1 z) 1/3)))) in z 3.182 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (* (- (/ 1 y) 1.0) (fabs (pow (/ 1 z) 1/3)))) in z 3.199 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (* (- (/ 1 y) 1.0) (fabs (pow (/ 1 z) 1/3)))) in z 3.200 * [approximate]: Approximating (* -1 (* (sqrt (cbrt -1)) (* (* (+ (/ 1 y) 1.0) (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/6)))) in (y z) around 0 3.221 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (* (+ (/ 1 y) 1.0) (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/6)))) in z 3.247 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (* (+ (/ 1 y) 1.0) (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/6)))) in z 3.293 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (cbrt -1)) (* (* (+ (/ 1 y) 1.0) (* (fabs (* (cbrt -1) (pow (/ 1 z) 1/3))) (sqrt (/ -1 z)))) (pow (/ 1 z) 1/6)))) in z 3.328 * * * [progress]: simplifying candidates 3.330 * [simplify]: Simplifying using # : (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (* (sqrt z) (fabs (cbrt z))) (+ (log (sqrt z)) (log (fabs (cbrt z)))) (log (* (sqrt z) (fabs (cbrt z)))) (exp (* (sqrt z) (fabs (cbrt z)))) (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (fabs (cbrt z)) (fabs (cbrt z))) (fabs (cbrt z)))) (* (cbrt (* (sqrt z) (fabs (cbrt z)))) (cbrt (* (sqrt z) (fabs (cbrt z))))) (cbrt (* (sqrt z) (fabs (cbrt z)))) (* (* (* (sqrt z) (fabs (cbrt z))) (* (sqrt z) (fabs (cbrt z)))) (* (sqrt z) (fabs (cbrt z)))) (sqrt (* (sqrt z) (fabs (cbrt z)))) (sqrt (* (sqrt z) (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt z) (* (cbrt (fabs (cbrt z))) (cbrt (fabs (cbrt z))))) (* (sqrt z) (sqrt (fabs (cbrt z)))) (* (sqrt z) 1) (* (cbrt (sqrt z)) (fabs (cbrt z))) (* (sqrt (cbrt z)) (fabs (cbrt z))) (* (sqrt (sqrt z)) (fabs (cbrt z))) (* (sqrt z) (fabs (cbrt z))) (* (sqrt (sqrt z)) (fabs (cbrt z))) (* (sqrt z) (fabs (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (+ (+ (log (- y 1.0)) (+ (log (sqrt z)) (log (fabs (cbrt z))))) (log (sqrt (cbrt z)))) (+ (+ (log (- y 1.0)) (log (* (sqrt z) (fabs (cbrt z))))) (log (sqrt (cbrt z)))) (+ (log (* (- y 1.0) (* (sqrt z) (fabs (cbrt z))))) (log (sqrt (cbrt z)))) (log (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (exp (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (* (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* (* (sqrt z) (sqrt z)) (sqrt z)) (* (* (fabs (cbrt z)) (fabs (cbrt z))) (fabs (cbrt z))))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (sqrt (cbrt z)))) (* (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* (* (sqrt z) (fabs (cbrt z))) (* (sqrt z) (fabs (cbrt z)))) (* (sqrt z) (fabs (cbrt z))))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (sqrt (cbrt z)))) (* (* (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (* (- y 1.0) (* (sqrt z) (fabs (cbrt z))))) (* (- y 1.0) (* (sqrt z) (fabs (cbrt z))))) (* (* (sqrt (cbrt z)) (sqrt (cbrt z))) (sqrt (cbrt z)))) (* (cbrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (cbrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))))) (cbrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (* (* (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (sqrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (sqrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt (* (cbrt z) (cbrt z))))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt (sqrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt 1))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (* (cbrt (cbrt z)) (cbrt (cbrt z))))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (sqrt (cbrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt 1)) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (sqrt (cbrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) 1) (* (* (sqrt z) (fabs (cbrt z))) (sqrt (cbrt z))) (* (* (- (pow y 3) (pow 1.0 3)) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- (* y y) (* 1.0 1.0)) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (+ (* (fabs (pow z 1/3)) (* (pow NAN 5) (pow z 3))) (+ (* (fabs (pow z 1/3)) (* (pow NAN 3) (pow z 2))) (* (fabs (pow z 1/3)) (* NAN z)))) (+ (/ (* (fabs (pow z 1/3)) (pow NAN 5)) (pow z 2)) (+ (/ (* (fabs (pow z 1/3)) (pow NAN 3)) z) (* (fabs (pow z 1/3)) NAN))) (- (+ (* NAN (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (/ (* (pow NAN 5) (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (pow z 2))) (/ (* (pow NAN 3) (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) z)) (- (* (* (fabs (pow z 1/3)) y) (pow (pow z 2) 1/3)) (* 1.0 (* (fabs (pow z 1/3)) (pow (pow z 2) 1/3)))) (- (* (* (fabs (pow z 1/3)) y) (pow (pow z 2) 1/3)) (* 1.0 (* (fabs (pow z 1/3)) (pow (pow z 2) 1/3)))) (- (* (pow (* -1 z) 1/6) (* (sqrt (cbrt -1)) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) (* NAN y)))) (+ (* 1.0 (* (pow (* -1 z) 1/6) (* (sqrt (cbrt -1)) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) NAN)))) (* (pow (/ -1 (pow z 5)) 1/6) (* (sqrt (cbrt -1)) (* y (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) (pow NAN 3))))))) 3.335 * * [simplify]: iteration 0 : 431 enodes (cost 671 ) 3.343 * * [simplify]: iteration 1 : 2002 enodes (cost 596 ) 3.380 * * [simplify]: iteration 2 : 5001 enodes (cost 584 ) 3.383 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (pow z 1/3) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (sqrt z) (fabs (cbrt z))) (log (* (sqrt z) (fabs (cbrt z)))) (log (* (sqrt z) (fabs (cbrt z)))) (exp (* (sqrt z) (fabs (cbrt z)))) (pow (* (sqrt z) (fabs (cbrt z))) 3) (* (cbrt (* (sqrt z) (fabs (cbrt z)))) (cbrt (* (sqrt z) (fabs (cbrt z))))) (cbrt (* (sqrt z) (fabs (cbrt z)))) (pow (* (sqrt z) (fabs (cbrt z))) 3) (sqrt (* (sqrt z) (fabs (cbrt z)))) (sqrt (* (sqrt z) (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt (sqrt z)) (sqrt (fabs (cbrt z)))) (* (sqrt z) (* (cbrt (fabs (cbrt z))) (cbrt (fabs (cbrt z))))) (* (sqrt z) (sqrt (fabs (cbrt z)))) (sqrt z) (* (cbrt (sqrt z)) (fabs (cbrt z))) (* (sqrt (cbrt z)) (fabs (cbrt z))) (* (sqrt (sqrt z)) (fabs (cbrt z))) (* (sqrt z) (fabs (cbrt z))) (* (sqrt (sqrt z)) (fabs (cbrt z))) (* (sqrt z) (fabs (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (log (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (log (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (log (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (log (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (exp (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (pow (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) 3) (pow (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) 3) (pow (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) 3) (* (cbrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (cbrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))))) (cbrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (pow (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) 3) (sqrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (sqrt (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (* (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt (* (cbrt z) (cbrt z))))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt (sqrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt 1))) (* (- y 1.0) (* (* (sqrt z) (fabs (cbrt z))) (fabs (cbrt (cbrt z))))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (sqrt (cbrt z)))) (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (* (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (sqrt (sqrt (cbrt z)))) (* (- y 1.0) (* (sqrt z) (fabs (cbrt z)))) (* (* (sqrt z) (fabs (cbrt z))) (sqrt (cbrt z))) (* (* (- (pow y 3) (pow 1.0 3)) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (* (* (- (* y y) (* 1.0 1.0)) (* (sqrt z) (fabs (cbrt z)))) (sqrt (cbrt z))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) (* (fabs (pow z 1/3)) (+ (* (pow NAN 5) (pow z 3)) (+ (* (pow NAN 3) (pow z 2)) (* NAN z)))) (+ (/ (* (fabs (pow z 1/3)) (pow NAN 5)) (pow z 2)) (+ (/ (* (fabs (pow z 1/3)) (pow NAN 3)) z) (* (fabs (pow z 1/3)) NAN))) (- (+ (* NAN (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (/ (* (pow NAN 5) (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) (pow z 2))) (/ (* (pow NAN 3) (fabs (* (pow (* -1 z) 1/3) (cbrt -1)))) z)) (* (* (fabs (pow z 1/3)) (pow (pow z 2) 1/3)) (- y 1.0)) (* (* (fabs (pow z 1/3)) (pow (pow z 2) 1/3)) (- y 1.0)) (- (* (pow (* -1 z) 1/6) (* (sqrt (cbrt -1)) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) (* NAN y)))) (+ (* 1.0 (* (pow (* -1 z) 1/6) (* (sqrt (cbrt -1)) (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) NAN)))) (* (pow (/ -1 (pow z 5)) 1/6) (* (sqrt (cbrt -1)) (* y (* (fabs (* (pow (* -1 z) 1/3) (cbrt -1))) (pow NAN 3))))))) 3.383 * * * [progress]: adding candidates to table 4.213 * [progress]: [Phase 3 of 3] Extracting. 4.213 * * [regime]: Finding splitpoints for: (# # # #) 4.215 * * * [regime-changes]: Trying 7 branch expressions: ((+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) b a t z y x) 4.216 * * * * [regimes]: Trying to branch on (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) from (# # # #) 4.297 * * * * [regimes]: Trying to branch on b from (# # # #) 4.382 * * * * [regimes]: Trying to branch on a from (# # # #) 4.464 * * * * [regimes]: Trying to branch on t from (# # # #) 4.545 * * * * [regimes]: Trying to branch on z from (# # # #) 4.624 * * * * [regimes]: Trying to branch on y from (# # # #) 4.706 * * * * [regimes]: Trying to branch on x from (# # # #) 4.788 * * * [regime]: Found split indices: #