30.091 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.055 * [simplify]: Simplifying using # : (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) 0.056 * * [simplify]: iteration 0 : 15 enodes (cost 16 ) 0.057 * * [simplify]: iteration 1 : 30 enodes (cost 16 ) 0.062 * * [simplify]: iteration 2 : 87 enodes (cost 15 ) 0.085 * * [simplify]: iteration 3 : 242 enodes (cost 15 ) 0.182 * * [simplify]: iteration 4 : 710 enodes (cost 15 ) 1.020 * * [simplify]: iteration 5 : 1952 enodes (cost 14 ) 4.377 * * [simplify]: iteration 6 : 4021 enodes (cost 14 ) 5.959 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 5.959 * [simplify]: Simplified to: (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) 5.964 * * [progress]: iteration 1 / 4 5.964 * * * [progress]: picking best candidate 5.970 * * * * [pick]: Picked # 5.970 * * * [progress]: localizing error 5.983 * * * [progress]: generating rewritten candidates 5.983 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 5.983 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3) 5.984 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 5.990 * * * [progress]: generating series expansions 5.990 * * * * [progress]: [ 1 / 3 ] generating series at (2) 5.990 * [approximate]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in (z t a b x y) around 0 5.990 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in y 5.990 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.990 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in y 5.990 * [taylor]: Taking taylor expansion of z in y 5.990 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y 5.990 * [taylor]: Taking taylor expansion of 1 in y 5.990 * [taylor]: Taking taylor expansion of (log t) in y 5.990 * [taylor]: Taking taylor expansion of t in y 5.990 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in y 5.990 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.990 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in y 5.990 * [taylor]: Taking taylor expansion of (- a 0.5) in y 5.990 * [taylor]: Taking taylor expansion of a in y 5.990 * [taylor]: Taking taylor expansion of 0.5 in y 5.990 * [taylor]: Taking taylor expansion of b in y 5.990 * [taylor]: Taking taylor expansion of (+ x y) in y 5.990 * [taylor]: Taking taylor expansion of x in y 5.991 * [taylor]: Taking taylor expansion of y in y 5.991 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in x 5.991 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.991 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in x 5.991 * [taylor]: Taking taylor expansion of z in x 5.991 * [taylor]: Taking taylor expansion of (- 1 (log t)) in x 5.991 * [taylor]: Taking taylor expansion of 1 in x 5.991 * [taylor]: Taking taylor expansion of (log t) in x 5.991 * [taylor]: Taking taylor expansion of t in x 5.991 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in x 5.991 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.991 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in x 5.991 * [taylor]: Taking taylor expansion of (- a 0.5) in x 5.991 * [taylor]: Taking taylor expansion of a in x 5.991 * [taylor]: Taking taylor expansion of 0.5 in x 5.991 * [taylor]: Taking taylor expansion of b in x 5.991 * [taylor]: Taking taylor expansion of (+ x y) in x 5.991 * [taylor]: Taking taylor expansion of x in x 5.991 * [taylor]: Taking taylor expansion of y in x 5.991 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in b 5.991 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.991 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in b 5.991 * [taylor]: Taking taylor expansion of z in b 5.991 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b 5.991 * [taylor]: Taking taylor expansion of 1 in b 5.991 * [taylor]: Taking taylor expansion of (log t) in b 5.991 * [taylor]: Taking taylor expansion of t in b 5.991 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in b 5.991 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.991 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in b 5.991 * [taylor]: Taking taylor expansion of (- a 0.5) in b 5.991 * [taylor]: Taking taylor expansion of a in b 5.991 * [taylor]: Taking taylor expansion of 0.5 in b 5.991 * [taylor]: Taking taylor expansion of b in b 5.991 * [taylor]: Taking taylor expansion of (+ x y) in b 5.991 * [taylor]: Taking taylor expansion of x in b 5.991 * [taylor]: Taking taylor expansion of y in b 5.992 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in a 5.992 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.992 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in a 5.992 * [taylor]: Taking taylor expansion of z in a 5.992 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a 5.992 * [taylor]: Taking taylor expansion of 1 in a 5.992 * [taylor]: Taking taylor expansion of (log t) in a 5.992 * [taylor]: Taking taylor expansion of t in a 5.992 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in a 5.992 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.992 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a 5.992 * [taylor]: Taking taylor expansion of (- a 0.5) in a 5.992 * [taylor]: Taking taylor expansion of a in a 5.992 * [taylor]: Taking taylor expansion of 0.5 in a 5.992 * [taylor]: Taking taylor expansion of b in a 5.992 * [taylor]: Taking taylor expansion of (+ x y) in a 5.992 * [taylor]: Taking taylor expansion of x in a 5.992 * [taylor]: Taking taylor expansion of y in a 5.992 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in t 5.992 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.992 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in t 5.992 * [taylor]: Taking taylor expansion of z in t 5.992 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t 5.992 * [taylor]: Taking taylor expansion of 1 in t 5.992 * [taylor]: Taking taylor expansion of (log t) in t 5.992 * [taylor]: Taking taylor expansion of t in t 5.993 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in t 5.993 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.993 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in t 5.993 * [taylor]: Taking taylor expansion of (- a 0.5) in t 5.993 * [taylor]: Taking taylor expansion of a in t 5.993 * [taylor]: Taking taylor expansion of 0.5 in t 5.993 * [taylor]: Taking taylor expansion of b in t 5.993 * [taylor]: Taking taylor expansion of (+ x y) in t 5.993 * [taylor]: Taking taylor expansion of x in t 5.993 * [taylor]: Taking taylor expansion of y in t 5.993 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in z 5.993 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.993 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in z 5.993 * [taylor]: Taking taylor expansion of z in z 5.993 * [taylor]: Taking taylor expansion of (- 1 (log t)) in z 5.993 * [taylor]: Taking taylor expansion of 1 in z 5.993 * [taylor]: Taking taylor expansion of (log t) in z 5.993 * [taylor]: Taking taylor expansion of t in z 5.993 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in z 5.993 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.994 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in z 5.994 * [taylor]: Taking taylor expansion of (- a 0.5) in z 5.994 * [taylor]: Taking taylor expansion of a in z 5.994 * [taylor]: Taking taylor expansion of 0.5 in z 5.994 * [taylor]: Taking taylor expansion of b in z 5.994 * [taylor]: Taking taylor expansion of (+ x y) in z 5.994 * [taylor]: Taking taylor expansion of x in z 5.994 * [taylor]: Taking taylor expansion of y in z 5.994 * [taylor]: Taking taylor expansion of (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) in z 5.994 * [taylor]: Rewrote expression to (+ (* z (- 1 (log t))) (fma (- a 0.5) b (+ x y))) 5.994 * [taylor]: Taking taylor expansion of (* z (- 1 (log t))) in z 5.994 * [taylor]: Taking taylor expansion of z in z 5.994 * [taylor]: Taking taylor expansion of (- 1 (log t)) in z 5.994 * [taylor]: Taking taylor expansion of 1 in z 5.994 * [taylor]: Taking taylor expansion of (log t) in z 5.994 * [taylor]: Taking taylor expansion of t in z 5.994 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in z 5.994 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 5.994 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in z 5.994 * [taylor]: Taking taylor expansion of (- a 0.5) in z 5.994 * [taylor]: Taking taylor expansion of a in z 5.994 * [taylor]: Taking taylor expansion of 0.5 in z 5.994 * [taylor]: Taking taylor expansion of b in z 5.994 * [taylor]: Taking taylor expansion of (+ x y) in z 5.994 * [taylor]: Taking taylor expansion of x in z 5.994 * [taylor]: Taking taylor expansion of y in z 5.996 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ x y)) (* 0.5 b)) in t 5.996 * [taylor]: Taking taylor expansion of (+ (* a b) (+ x y)) in t 5.996 * [taylor]: Taking taylor expansion of (* a b) in t 5.996 * [taylor]: Taking taylor expansion of a in t 5.996 * [taylor]: Taking taylor expansion of b in t 5.996 * [taylor]: Taking taylor expansion of (+ x y) in t 5.996 * [taylor]: Taking taylor expansion of x in t 5.996 * [taylor]: Taking taylor expansion of y in t 5.996 * [taylor]: Taking taylor expansion of (* 0.5 b) in t 5.996 * [taylor]: Taking taylor expansion of 0.5 in t 5.996 * [taylor]: Taking taylor expansion of b in t 5.997 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ y x)) (* 0.5 b)) in a 5.997 * [taylor]: Taking taylor expansion of (+ (* a b) (+ y x)) in a 5.997 * [taylor]: Taking taylor expansion of (* a b) in a 5.997 * [taylor]: Taking taylor expansion of a in a 5.997 * [taylor]: Taking taylor expansion of b in a 5.997 * [taylor]: Taking taylor expansion of (+ y x) in a 5.997 * [taylor]: Taking taylor expansion of y in a 5.997 * [taylor]: Taking taylor expansion of x in a 5.997 * [taylor]: Taking taylor expansion of (* 0.5 b) in a 5.997 * [taylor]: Taking taylor expansion of 0.5 in a 5.997 * [taylor]: Taking taylor expansion of b in a 5.997 * [taylor]: Taking taylor expansion of (- (+ x y) (* 0.5 b)) in b 5.997 * [taylor]: Taking taylor expansion of (+ x y) in b 5.997 * [taylor]: Taking taylor expansion of x in b 5.997 * [taylor]: Taking taylor expansion of y in b 5.997 * [taylor]: Taking taylor expansion of (* 0.5 b) in b 5.997 * [taylor]: Taking taylor expansion of 0.5 in b 5.997 * [taylor]: Taking taylor expansion of b in b 5.998 * [taylor]: Taking taylor expansion of (+ x y) in x 5.998 * [taylor]: Taking taylor expansion of x in x 5.998 * [taylor]: Taking taylor expansion of y in x 5.998 * [taylor]: Taking taylor expansion of y in y 6.001 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t 6.001 * [taylor]: Taking taylor expansion of 1 in t 6.001 * [taylor]: Taking taylor expansion of (log t) in t 6.001 * [taylor]: Taking taylor expansion of t in t 6.001 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a 6.001 * [taylor]: Taking taylor expansion of 1 in a 6.001 * [taylor]: Taking taylor expansion of (log t) in a 6.001 * [taylor]: Taking taylor expansion of t in a 6.001 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b 6.001 * [taylor]: Taking taylor expansion of 1 in b 6.002 * [taylor]: Taking taylor expansion of (log t) in b 6.002 * [taylor]: Taking taylor expansion of t in b 6.002 * [taylor]: Taking taylor expansion of (- 1 (log t)) in x 6.002 * [taylor]: Taking taylor expansion of 1 in x 6.002 * [taylor]: Taking taylor expansion of (log t) in x 6.002 * [taylor]: Taking taylor expansion of t in x 6.002 * [taylor]: Taking taylor expansion of (- 1 (log t)) in y 6.002 * [taylor]: Taking taylor expansion of 1 in y 6.002 * [taylor]: Taking taylor expansion of (log t) in y 6.002 * [taylor]: Taking taylor expansion of t in y 6.003 * [taylor]: Taking taylor expansion of 0 in a 6.003 * [taylor]: Taking taylor expansion of 0 in b 6.004 * [taylor]: Taking taylor expansion of 0 in x 6.004 * [taylor]: Taking taylor expansion of 0 in y 6.005 * [taylor]: Taking taylor expansion of b in b 6.005 * [taylor]: Taking taylor expansion of 0 in x 6.005 * [taylor]: Taking taylor expansion of 0 in y 6.007 * [taylor]: Taking taylor expansion of (- 0.5) in x 6.007 * [taylor]: Taking taylor expansion of 0.5 in x 6.007 * [taylor]: Taking taylor expansion of (- 0.5) in y 6.007 * [taylor]: Taking taylor expansion of 0.5 in y 6.008 * [taylor]: Taking taylor expansion of 1 in y 6.009 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in (z t a b x y) around 0 6.009 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in y 6.010 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.010 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in y 6.010 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.010 * [taylor]: Taking taylor expansion of z in y 6.010 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in y 6.010 * [taylor]: Taking taylor expansion of 1 in y 6.010 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 6.010 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.010 * [taylor]: Taking taylor expansion of t in y 6.010 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in y 6.010 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.010 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in y 6.010 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in y 6.010 * [taylor]: Taking taylor expansion of (/ 1 a) in y 6.010 * [taylor]: Taking taylor expansion of a in y 6.010 * [taylor]: Taking taylor expansion of 0.5 in y 6.010 * [taylor]: Taking taylor expansion of (/ 1 b) in y 6.010 * [taylor]: Taking taylor expansion of b in y 6.010 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.010 * [taylor]: Taking taylor expansion of y in y 6.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.011 * [taylor]: Taking taylor expansion of x in y 6.011 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in x 6.011 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.011 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in x 6.011 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.011 * [taylor]: Taking taylor expansion of z in x 6.011 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in x 6.011 * [taylor]: Taking taylor expansion of 1 in x 6.011 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 6.011 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.011 * [taylor]: Taking taylor expansion of t in x 6.011 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in x 6.011 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.011 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in x 6.011 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in x 6.011 * [taylor]: Taking taylor expansion of (/ 1 a) in x 6.011 * [taylor]: Taking taylor expansion of a in x 6.011 * [taylor]: Taking taylor expansion of 0.5 in x 6.011 * [taylor]: Taking taylor expansion of (/ 1 b) in x 6.011 * [taylor]: Taking taylor expansion of b in x 6.011 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.011 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.011 * [taylor]: Taking taylor expansion of y in x 6.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.012 * [taylor]: Taking taylor expansion of x in x 6.012 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in b 6.012 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.012 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in b 6.012 * [taylor]: Taking taylor expansion of (/ 1 z) in b 6.012 * [taylor]: Taking taylor expansion of z in b 6.012 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in b 6.012 * [taylor]: Taking taylor expansion of 1 in b 6.012 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b 6.013 * [taylor]: Taking taylor expansion of (/ 1 t) in b 6.013 * [taylor]: Taking taylor expansion of t in b 6.013 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in b 6.013 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.013 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in b 6.013 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b 6.013 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.013 * [taylor]: Taking taylor expansion of a in b 6.013 * [taylor]: Taking taylor expansion of 0.5 in b 6.013 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.013 * [taylor]: Taking taylor expansion of b in b 6.013 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.013 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.013 * [taylor]: Taking taylor expansion of y in b 6.013 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.013 * [taylor]: Taking taylor expansion of x in b 6.013 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in a 6.014 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.014 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in a 6.014 * [taylor]: Taking taylor expansion of (/ 1 z) in a 6.014 * [taylor]: Taking taylor expansion of z in a 6.014 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in a 6.014 * [taylor]: Taking taylor expansion of 1 in a 6.014 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a 6.014 * [taylor]: Taking taylor expansion of (/ 1 t) in a 6.014 * [taylor]: Taking taylor expansion of t in a 6.014 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in a 6.014 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.014 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in a 6.014 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a 6.014 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.014 * [taylor]: Taking taylor expansion of a in a 6.014 * [taylor]: Taking taylor expansion of 0.5 in a 6.014 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.014 * [taylor]: Taking taylor expansion of b in a 6.014 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.015 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.015 * [taylor]: Taking taylor expansion of y in a 6.015 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.015 * [taylor]: Taking taylor expansion of x in a 6.015 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in t 6.015 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.015 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in t 6.015 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.015 * [taylor]: Taking taylor expansion of z in t 6.015 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t 6.015 * [taylor]: Taking taylor expansion of 1 in t 6.015 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 6.015 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.015 * [taylor]: Taking taylor expansion of t in t 6.016 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in t 6.016 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.016 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in t 6.016 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in t 6.016 * [taylor]: Taking taylor expansion of (/ 1 a) in t 6.016 * [taylor]: Taking taylor expansion of a in t 6.016 * [taylor]: Taking taylor expansion of 0.5 in t 6.016 * [taylor]: Taking taylor expansion of (/ 1 b) in t 6.016 * [taylor]: Taking taylor expansion of b in t 6.016 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 6.016 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.016 * [taylor]: Taking taylor expansion of y in t 6.016 * [taylor]: Taking taylor expansion of (/ 1 x) in t 6.016 * [taylor]: Taking taylor expansion of x in t 6.016 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in z 6.016 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.016 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in z 6.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.016 * [taylor]: Taking taylor expansion of z in z 6.017 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in z 6.017 * [taylor]: Taking taylor expansion of 1 in z 6.017 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 6.017 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.017 * [taylor]: Taking taylor expansion of t in z 6.017 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in z 6.017 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.017 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in z 6.017 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z 6.017 * [taylor]: Taking taylor expansion of (/ 1 a) in z 6.017 * [taylor]: Taking taylor expansion of a in z 6.017 * [taylor]: Taking taylor expansion of 0.5 in z 6.017 * [taylor]: Taking taylor expansion of (/ 1 b) in z 6.017 * [taylor]: Taking taylor expansion of b in z 6.017 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 6.017 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.017 * [taylor]: Taking taylor expansion of y in z 6.017 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.017 * [taylor]: Taking taylor expansion of x in z 6.017 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- 1 (log (/ 1 t))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) in z 6.017 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- 1 (log (/ 1 t)))) (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x)))) 6.017 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- 1 (log (/ 1 t)))) in z 6.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.017 * [taylor]: Taking taylor expansion of z in z 6.018 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in z 6.018 * [taylor]: Taking taylor expansion of 1 in z 6.018 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 6.018 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.018 * [taylor]: Taking taylor expansion of t in z 6.018 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in z 6.018 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.018 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in z 6.018 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in z 6.018 * [taylor]: Taking taylor expansion of (/ 1 a) in z 6.018 * [taylor]: Taking taylor expansion of a in z 6.018 * [taylor]: Taking taylor expansion of 0.5 in z 6.018 * [taylor]: Taking taylor expansion of (/ 1 b) in z 6.018 * [taylor]: Taking taylor expansion of b in z 6.018 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 6.018 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.018 * [taylor]: Taking taylor expansion of y in z 6.018 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.018 * [taylor]: Taking taylor expansion of x in z 6.019 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t 6.019 * [taylor]: Taking taylor expansion of 1 in t 6.019 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 6.019 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.019 * [taylor]: Taking taylor expansion of t in t 6.020 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a 6.020 * [taylor]: Taking taylor expansion of (log t) in a 6.020 * [taylor]: Taking taylor expansion of t in a 6.020 * [taylor]: Taking taylor expansion of 1 in a 6.023 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b))) in t 6.023 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) in t 6.023 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 6.023 * [taylor]: Taking taylor expansion of (* a b) in t 6.023 * [taylor]: Taking taylor expansion of a in t 6.023 * [taylor]: Taking taylor expansion of b in t 6.023 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 6.023 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.023 * [taylor]: Taking taylor expansion of y in t 6.023 * [taylor]: Taking taylor expansion of (/ 1 x) in t 6.023 * [taylor]: Taking taylor expansion of x in t 6.023 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t 6.023 * [taylor]: Taking taylor expansion of 0.5 in t 6.023 * [taylor]: Taking taylor expansion of (/ 1 b) in t 6.023 * [taylor]: Taking taylor expansion of b in t 6.024 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) (* 0.5 (/ 1 b))) in a 6.024 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 y) (/ 1 x))) in a 6.024 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 6.024 * [taylor]: Taking taylor expansion of (* a b) in a 6.024 * [taylor]: Taking taylor expansion of a in a 6.024 * [taylor]: Taking taylor expansion of b in a 6.024 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.024 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.024 * [taylor]: Taking taylor expansion of y in a 6.024 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.024 * [taylor]: Taking taylor expansion of x in a 6.024 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a 6.024 * [taylor]: Taking taylor expansion of 0.5 in a 6.025 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.025 * [taylor]: Taking taylor expansion of b in a 6.025 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.025 * [taylor]: Taking taylor expansion of b in b 6.025 * [taylor]: Taking taylor expansion of 1 in x 6.027 * [taylor]: Taking taylor expansion of 0 in a 6.027 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b 6.027 * [taylor]: Taking taylor expansion of (log t) in b 6.027 * [taylor]: Taking taylor expansion of t in b 6.027 * [taylor]: Taking taylor expansion of 1 in b 6.032 * [taylor]: Taking taylor expansion of 0 in t 6.032 * [taylor]: Taking taylor expansion of 0 in a 6.033 * [taylor]: Taking taylor expansion of 0 in a 6.036 * [taylor]: Taking taylor expansion of 0 in a 6.037 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (* 0.5 (/ 1 b))) in b 6.037 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.037 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.037 * [taylor]: Taking taylor expansion of y in b 6.037 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.037 * [taylor]: Taking taylor expansion of x in b 6.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 6.037 * [taylor]: Taking taylor expansion of 0.5 in b 6.037 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.037 * [taylor]: Taking taylor expansion of b in b 6.039 * [taylor]: Taking taylor expansion of (- 0.5) in x 6.039 * [taylor]: Taking taylor expansion of 0.5 in x 6.039 * [taylor]: Taking taylor expansion of 0 in b 6.040 * [taylor]: Taking taylor expansion of 0 in b 6.040 * [taylor]: Taking taylor expansion of 0 in x 6.040 * [taylor]: Taking taylor expansion of (+ (log t) 1) in x 6.040 * [taylor]: Taking taylor expansion of (log t) in x 6.040 * [taylor]: Taking taylor expansion of t in x 6.040 * [taylor]: Taking taylor expansion of 1 in x 6.041 * [taylor]: Taking taylor expansion of 1 in y 6.047 * [taylor]: Taking taylor expansion of 0 in t 6.047 * [taylor]: Taking taylor expansion of 0 in a 6.047 * [taylor]: Taking taylor expansion of 0 in a 6.049 * [taylor]: Taking taylor expansion of 0 in a 6.058 * [taylor]: Taking taylor expansion of 0 in a 6.058 * [taylor]: Taking taylor expansion of 0 in b 6.058 * [taylor]: Taking taylor expansion of 0 in b 6.058 * [taylor]: Taking taylor expansion of 0 in b 6.060 * [taylor]: Taking taylor expansion of 0 in b 6.061 * [taylor]: Taking taylor expansion of 0 in b 6.062 * [taylor]: Taking taylor expansion of 0 in b 6.064 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.064 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.064 * [taylor]: Taking taylor expansion of y in x 6.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.064 * [taylor]: Taking taylor expansion of x in x 6.065 * [taylor]: Taking taylor expansion of 1 in y 6.065 * [taylor]: Taking taylor expansion of 0 in x 6.065 * [taylor]: Taking taylor expansion of 0 in x 6.065 * [taylor]: Taking taylor expansion of 0 in x 6.066 * [taylor]: Taking taylor expansion of 0 in x 6.066 * [taylor]: Taking taylor expansion of (- 0.5) in y 6.066 * [taylor]: Taking taylor expansion of 0.5 in y 6.066 * [taylor]: Taking taylor expansion of 0 in y 6.067 * [taylor]: Taking taylor expansion of (+ (log t) 1) in y 6.067 * [taylor]: Taking taylor expansion of (log t) in y 6.067 * [taylor]: Taking taylor expansion of t in y 6.067 * [taylor]: Taking taylor expansion of 1 in y 6.067 * [taylor]: Taking taylor expansion of 0 in y 6.075 * [taylor]: Taking taylor expansion of 0 in t 6.075 * [taylor]: Taking taylor expansion of 0 in a 6.075 * [taylor]: Taking taylor expansion of 0 in a 6.075 * [taylor]: Taking taylor expansion of 0 in a 6.078 * [taylor]: Taking taylor expansion of 0 in a 6.084 * [taylor]: Taking taylor expansion of 0 in a 6.084 * [taylor]: Taking taylor expansion of 0 in b 6.084 * [taylor]: Taking taylor expansion of 0 in b 6.085 * [taylor]: Taking taylor expansion of 0 in b 6.085 * [taylor]: Taking taylor expansion of 0 in b 6.085 * [taylor]: Taking taylor expansion of 0 in b 6.085 * [taylor]: Taking taylor expansion of 0 in b 6.085 * [taylor]: Taking taylor expansion of 0 in b 6.088 * [taylor]: Taking taylor expansion of 0 in b 6.088 * [taylor]: Taking taylor expansion of 0 in b 6.090 * [taylor]: Taking taylor expansion of 0 in b 6.090 * [taylor]: Taking taylor expansion of 0 in x 6.090 * [taylor]: Taking taylor expansion of 0 in x 6.090 * [taylor]: Taking taylor expansion of 0 in x 6.090 * [taylor]: Taking taylor expansion of 0 in x 6.090 * [taylor]: Taking taylor expansion of 0 in x 6.090 * [taylor]: Taking taylor expansion of 0 in x 6.092 * [taylor]: Taking taylor expansion of 0 in x 6.092 * [taylor]: Taking taylor expansion of 0 in x 6.092 * [taylor]: Taking taylor expansion of 0 in x 6.093 * [taylor]: Taking taylor expansion of 0 in x 6.094 * [taylor]: Taking taylor expansion of 0 in x 6.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.095 * [taylor]: Taking taylor expansion of y in y 6.095 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.096 * [taylor]: Taking taylor expansion of 0 in y 6.097 * [taylor]: Taking taylor expansion of 0 in y 6.097 * [taylor]: Taking taylor expansion of 0 in y 6.099 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in (z t a b x y) around 0 6.099 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in y 6.099 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.099 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in y 6.099 * [taylor]: Taking taylor expansion of (/ -1 z) in y 6.099 * [taylor]: Taking taylor expansion of -1 in y 6.099 * [taylor]: Taking taylor expansion of z in y 6.099 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in y 6.099 * [taylor]: Taking taylor expansion of 1 in y 6.099 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 6.099 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.099 * [taylor]: Taking taylor expansion of -1 in y 6.099 * [taylor]: Taking taylor expansion of t in y 6.099 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in y 6.099 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.099 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in y 6.099 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in y 6.099 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in y 6.099 * [taylor]: Taking taylor expansion of (/ 1 a) in y 6.100 * [taylor]: Taking taylor expansion of a in y 6.100 * [taylor]: Taking taylor expansion of 0.5 in y 6.100 * [taylor]: Taking taylor expansion of (/ -1 b) in y 6.100 * [taylor]: Taking taylor expansion of -1 in y 6.100 * [taylor]: Taking taylor expansion of b in y 6.100 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 6.100 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.100 * [taylor]: Taking taylor expansion of y in y 6.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.100 * [taylor]: Taking taylor expansion of x in y 6.100 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in x 6.100 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.100 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in x 6.100 * [taylor]: Taking taylor expansion of (/ -1 z) in x 6.100 * [taylor]: Taking taylor expansion of -1 in x 6.100 * [taylor]: Taking taylor expansion of z in x 6.100 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in x 6.100 * [taylor]: Taking taylor expansion of 1 in x 6.100 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 6.101 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.101 * [taylor]: Taking taylor expansion of -1 in x 6.101 * [taylor]: Taking taylor expansion of t in x 6.101 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in x 6.101 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.101 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in x 6.101 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in x 6.101 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in x 6.101 * [taylor]: Taking taylor expansion of (/ 1 a) in x 6.101 * [taylor]: Taking taylor expansion of a in x 6.101 * [taylor]: Taking taylor expansion of 0.5 in x 6.101 * [taylor]: Taking taylor expansion of (/ -1 b) in x 6.101 * [taylor]: Taking taylor expansion of -1 in x 6.101 * [taylor]: Taking taylor expansion of b in x 6.101 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 6.101 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.101 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.101 * [taylor]: Taking taylor expansion of y in x 6.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.101 * [taylor]: Taking taylor expansion of x in x 6.102 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in b 6.102 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.102 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in b 6.102 * [taylor]: Taking taylor expansion of (/ -1 z) in b 6.102 * [taylor]: Taking taylor expansion of -1 in b 6.102 * [taylor]: Taking taylor expansion of z in b 6.102 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in b 6.102 * [taylor]: Taking taylor expansion of 1 in b 6.102 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b 6.102 * [taylor]: Taking taylor expansion of (/ -1 t) in b 6.102 * [taylor]: Taking taylor expansion of -1 in b 6.102 * [taylor]: Taking taylor expansion of t in b 6.102 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in b 6.102 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.102 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in b 6.102 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in b 6.102 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b 6.102 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.102 * [taylor]: Taking taylor expansion of a in b 6.102 * [taylor]: Taking taylor expansion of 0.5 in b 6.102 * [taylor]: Taking taylor expansion of (/ -1 b) in b 6.102 * [taylor]: Taking taylor expansion of -1 in b 6.102 * [taylor]: Taking taylor expansion of b in b 6.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in b 6.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.103 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.103 * [taylor]: Taking taylor expansion of y in b 6.103 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.103 * [taylor]: Taking taylor expansion of x in b 6.103 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in a 6.103 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.103 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in a 6.103 * [taylor]: Taking taylor expansion of (/ -1 z) in a 6.103 * [taylor]: Taking taylor expansion of -1 in a 6.103 * [taylor]: Taking taylor expansion of z in a 6.103 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in a 6.103 * [taylor]: Taking taylor expansion of 1 in a 6.103 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a 6.103 * [taylor]: Taking taylor expansion of (/ -1 t) in a 6.103 * [taylor]: Taking taylor expansion of -1 in a 6.103 * [taylor]: Taking taylor expansion of t in a 6.103 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in a 6.103 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.103 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in a 6.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in a 6.104 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a 6.104 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.104 * [taylor]: Taking taylor expansion of a in a 6.104 * [taylor]: Taking taylor expansion of 0.5 in a 6.104 * [taylor]: Taking taylor expansion of (/ -1 b) in a 6.104 * [taylor]: Taking taylor expansion of -1 in a 6.104 * [taylor]: Taking taylor expansion of b in a 6.104 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in a 6.104 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.104 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.104 * [taylor]: Taking taylor expansion of y in a 6.104 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.104 * [taylor]: Taking taylor expansion of x in a 6.104 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in t 6.104 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.104 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in t 6.104 * [taylor]: Taking taylor expansion of (/ -1 z) in t 6.104 * [taylor]: Taking taylor expansion of -1 in t 6.104 * [taylor]: Taking taylor expansion of z in t 6.105 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in t 6.105 * [taylor]: Taking taylor expansion of 1 in t 6.105 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 6.105 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.105 * [taylor]: Taking taylor expansion of -1 in t 6.105 * [taylor]: Taking taylor expansion of t in t 6.105 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in t 6.105 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.105 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in t 6.106 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in t 6.106 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in t 6.106 * [taylor]: Taking taylor expansion of (/ 1 a) in t 6.106 * [taylor]: Taking taylor expansion of a in t 6.106 * [taylor]: Taking taylor expansion of 0.5 in t 6.106 * [taylor]: Taking taylor expansion of (/ -1 b) in t 6.106 * [taylor]: Taking taylor expansion of -1 in t 6.106 * [taylor]: Taking taylor expansion of b in t 6.106 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in t 6.106 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 6.106 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.106 * [taylor]: Taking taylor expansion of y in t 6.106 * [taylor]: Taking taylor expansion of (/ 1 x) in t 6.106 * [taylor]: Taking taylor expansion of x in t 6.106 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in z 6.106 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.106 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in z 6.106 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.106 * [taylor]: Taking taylor expansion of -1 in z 6.106 * [taylor]: Taking taylor expansion of z in z 6.106 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in z 6.107 * [taylor]: Taking taylor expansion of 1 in z 6.107 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 6.107 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.107 * [taylor]: Taking taylor expansion of -1 in z 6.107 * [taylor]: Taking taylor expansion of t in z 6.107 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in z 6.107 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.107 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in z 6.107 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in z 6.107 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in z 6.107 * [taylor]: Taking taylor expansion of (/ 1 a) in z 6.107 * [taylor]: Taking taylor expansion of a in z 6.107 * [taylor]: Taking taylor expansion of 0.5 in z 6.107 * [taylor]: Taking taylor expansion of (/ -1 b) in z 6.107 * [taylor]: Taking taylor expansion of -1 in z 6.107 * [taylor]: Taking taylor expansion of b in z 6.107 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z 6.107 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 6.107 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.107 * [taylor]: Taking taylor expansion of y in z 6.107 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.107 * [taylor]: Taking taylor expansion of x in z 6.107 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- 1 (log (/ -1 t))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) in z 6.107 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- 1 (log (/ -1 t)))) (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x))))) 6.107 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- 1 (log (/ -1 t)))) in z 6.107 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.107 * [taylor]: Taking taylor expansion of -1 in z 6.107 * [taylor]: Taking taylor expansion of z in z 6.108 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in z 6.108 * [taylor]: Taking taylor expansion of 1 in z 6.108 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 6.108 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.108 * [taylor]: Taking taylor expansion of -1 in z 6.108 * [taylor]: Taking taylor expansion of t in z 6.108 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in z 6.108 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.108 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in z 6.108 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in z 6.108 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in z 6.108 * [taylor]: Taking taylor expansion of (/ 1 a) in z 6.108 * [taylor]: Taking taylor expansion of a in z 6.108 * [taylor]: Taking taylor expansion of 0.5 in z 6.108 * [taylor]: Taking taylor expansion of (/ -1 b) in z 6.108 * [taylor]: Taking taylor expansion of -1 in z 6.108 * [taylor]: Taking taylor expansion of b in z 6.109 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in z 6.109 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 6.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.109 * [taylor]: Taking taylor expansion of y in z 6.109 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.109 * [taylor]: Taking taylor expansion of x in z 6.109 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t 6.109 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 6.109 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.109 * [taylor]: Taking taylor expansion of -1 in t 6.109 * [taylor]: Taking taylor expansion of t in t 6.110 * [taylor]: Taking taylor expansion of 1 in t 6.111 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in a 6.111 * [taylor]: Taking taylor expansion of (log -1) in a 6.111 * [taylor]: Taking taylor expansion of -1 in a 6.112 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a 6.112 * [taylor]: Taking taylor expansion of (log t) in a 6.112 * [taylor]: Taking taylor expansion of t in a 6.112 * [taylor]: Taking taylor expansion of 1 in a 6.115 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) (+ (/ 1 y) (/ 1 x))) in t 6.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t 6.115 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 6.115 * [taylor]: Taking taylor expansion of (* a b) in t 6.115 * [taylor]: Taking taylor expansion of a in t 6.115 * [taylor]: Taking taylor expansion of b in t 6.115 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t 6.115 * [taylor]: Taking taylor expansion of 0.5 in t 6.115 * [taylor]: Taking taylor expansion of (/ 1 b) in t 6.115 * [taylor]: Taking taylor expansion of b in t 6.115 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 6.115 * [taylor]: Taking taylor expansion of (/ 1 y) in t 6.115 * [taylor]: Taking taylor expansion of y in t 6.115 * [taylor]: Taking taylor expansion of (/ 1 x) in t 6.115 * [taylor]: Taking taylor expansion of x in t 6.115 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) (+ (/ 1 y) (/ 1 x))) in a 6.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a 6.115 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 6.115 * [taylor]: Taking taylor expansion of (* a b) in a 6.115 * [taylor]: Taking taylor expansion of a in a 6.115 * [taylor]: Taking taylor expansion of b in a 6.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a 6.116 * [taylor]: Taking taylor expansion of 0.5 in a 6.116 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.116 * [taylor]: Taking taylor expansion of b in a 6.116 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.116 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.116 * [taylor]: Taking taylor expansion of y in a 6.116 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.116 * [taylor]: Taking taylor expansion of x in a 6.116 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.116 * [taylor]: Taking taylor expansion of b in b 6.117 * [taylor]: Taking taylor expansion of 1 in x 6.119 * [taylor]: Taking taylor expansion of 0 in a 6.119 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in b 6.119 * [taylor]: Taking taylor expansion of (log -1) in b 6.119 * [taylor]: Taking taylor expansion of -1 in b 6.119 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b 6.119 * [taylor]: Taking taylor expansion of (log t) in b 6.119 * [taylor]: Taking taylor expansion of t in b 6.119 * [taylor]: Taking taylor expansion of 1 in b 6.124 * [taylor]: Taking taylor expansion of 0 in t 6.124 * [taylor]: Taking taylor expansion of 0 in a 6.126 * [taylor]: Taking taylor expansion of 0 in a 6.129 * [taylor]: Taking taylor expansion of 0 in a 6.130 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 b)) (+ (/ 1 y) (/ 1 x))) in b 6.130 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 6.130 * [taylor]: Taking taylor expansion of 0.5 in b 6.130 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.130 * [taylor]: Taking taylor expansion of b in b 6.130 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.130 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.130 * [taylor]: Taking taylor expansion of y in b 6.130 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.130 * [taylor]: Taking taylor expansion of x in b 6.131 * [taylor]: Taking taylor expansion of 0.5 in x 6.131 * [taylor]: Taking taylor expansion of 0 in b 6.133 * [taylor]: Taking taylor expansion of 0 in b 6.134 * [taylor]: Taking taylor expansion of 0 in x 6.134 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in x 6.134 * [taylor]: Taking taylor expansion of (log -1) in x 6.134 * [taylor]: Taking taylor expansion of -1 in x 6.134 * [taylor]: Taking taylor expansion of (+ (log t) 1) in x 6.134 * [taylor]: Taking taylor expansion of (log t) in x 6.135 * [taylor]: Taking taylor expansion of t in x 6.135 * [taylor]: Taking taylor expansion of 1 in x 6.135 * [taylor]: Taking taylor expansion of 1 in y 6.141 * [taylor]: Taking taylor expansion of 0 in t 6.141 * [taylor]: Taking taylor expansion of 0 in a 6.141 * [taylor]: Taking taylor expansion of 0 in a 6.143 * [taylor]: Taking taylor expansion of 0 in a 6.147 * [taylor]: Taking taylor expansion of 0 in a 6.147 * [taylor]: Taking taylor expansion of 0 in b 6.147 * [taylor]: Taking taylor expansion of 0 in b 6.147 * [taylor]: Taking taylor expansion of 0 in b 6.153 * [taylor]: Taking taylor expansion of 0 in b 6.153 * [taylor]: Taking taylor expansion of 0 in b 6.157 * [taylor]: Taking taylor expansion of 0 in b 6.158 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 6.158 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.158 * [taylor]: Taking taylor expansion of y in x 6.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.158 * [taylor]: Taking taylor expansion of x in x 6.159 * [taylor]: Taking taylor expansion of -1 in y 6.159 * [taylor]: Taking taylor expansion of 0 in x 6.159 * [taylor]: Taking taylor expansion of 0 in x 6.160 * [taylor]: Taking taylor expansion of 0 in x 6.162 * [taylor]: Taking taylor expansion of 0 in x 6.162 * [taylor]: Taking taylor expansion of 0.5 in y 6.162 * [taylor]: Taking taylor expansion of 0 in y 6.163 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in y 6.163 * [taylor]: Taking taylor expansion of (log -1) in y 6.163 * [taylor]: Taking taylor expansion of -1 in y 6.164 * [taylor]: Taking taylor expansion of (+ (log t) 1) in y 6.164 * [taylor]: Taking taylor expansion of (log t) in y 6.164 * [taylor]: Taking taylor expansion of t in y 6.164 * [taylor]: Taking taylor expansion of 1 in y 6.164 * [taylor]: Taking taylor expansion of 0 in y 6.173 * [taylor]: Taking taylor expansion of 0 in t 6.173 * [taylor]: Taking taylor expansion of 0 in a 6.173 * [taylor]: Taking taylor expansion of 0 in a 6.173 * [taylor]: Taking taylor expansion of 0 in a 6.176 * [taylor]: Taking taylor expansion of 0 in a 6.182 * [taylor]: Taking taylor expansion of 0 in a 6.182 * [taylor]: Taking taylor expansion of 0 in b 6.182 * [taylor]: Taking taylor expansion of 0 in b 6.182 * [taylor]: Taking taylor expansion of 0 in b 6.182 * [taylor]: Taking taylor expansion of 0 in b 6.182 * [taylor]: Taking taylor expansion of 0 in b 6.183 * [taylor]: Taking taylor expansion of 0 in b 6.183 * [taylor]: Taking taylor expansion of 0 in b 6.186 * [taylor]: Taking taylor expansion of 0 in b 6.186 * [taylor]: Taking taylor expansion of 0 in b 6.191 * [taylor]: Taking taylor expansion of 0 in b 6.191 * [taylor]: Taking taylor expansion of 0 in x 6.191 * [taylor]: Taking taylor expansion of 0 in x 6.191 * [taylor]: Taking taylor expansion of 0 in x 6.192 * [taylor]: Taking taylor expansion of 0 in x 6.192 * [taylor]: Taking taylor expansion of 0 in x 6.192 * [taylor]: Taking taylor expansion of 0 in x 6.194 * [taylor]: Taking taylor expansion of 0 in x 6.194 * [taylor]: Taking taylor expansion of 0 in x 6.194 * [taylor]: Taking taylor expansion of 0 in x 6.194 * [taylor]: Taking taylor expansion of 0 in x 6.198 * [taylor]: Taking taylor expansion of 0 in x 6.199 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 6.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.199 * [taylor]: Taking taylor expansion of y in y 6.199 * [taylor]: Taking taylor expansion of 0 in y 6.199 * [taylor]: Taking taylor expansion of 0 in y 6.199 * [taylor]: Taking taylor expansion of 0 in y 6.200 * [taylor]: Taking taylor expansion of 0 in y 6.200 * [taylor]: Taking taylor expansion of 0 in y 6.200 * [taylor]: Taking taylor expansion of 0 in y 6.202 * [taylor]: Taking taylor expansion of 0 in y 6.202 * [taylor]: Taking taylor expansion of 0 in y 6.204 * * * * [progress]: [ 2 / 3 ] generating series at (2 3) 6.204 * [approximate]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in (a b x y) around 0 6.204 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in y 6.204 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 6.204 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in y 6.204 * [taylor]: Taking taylor expansion of (- a 0.5) in y 6.204 * [taylor]: Taking taylor expansion of a in y 6.204 * [taylor]: Taking taylor expansion of 0.5 in y 6.204 * [taylor]: Taking taylor expansion of b in y 6.204 * [taylor]: Taking taylor expansion of (+ x y) in y 6.204 * [taylor]: Taking taylor expansion of x in y 6.204 * [taylor]: Taking taylor expansion of y in y 6.204 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in x 6.204 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 6.204 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in x 6.204 * [taylor]: Taking taylor expansion of (- a 0.5) in x 6.204 * [taylor]: Taking taylor expansion of a in x 6.204 * [taylor]: Taking taylor expansion of 0.5 in x 6.204 * [taylor]: Taking taylor expansion of b in x 6.204 * [taylor]: Taking taylor expansion of (+ x y) in x 6.204 * [taylor]: Taking taylor expansion of x in x 6.204 * [taylor]: Taking taylor expansion of y in x 6.204 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in b 6.205 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 6.205 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in b 6.205 * [taylor]: Taking taylor expansion of (- a 0.5) in b 6.205 * [taylor]: Taking taylor expansion of a in b 6.205 * [taylor]: Taking taylor expansion of 0.5 in b 6.205 * [taylor]: Taking taylor expansion of b in b 6.205 * [taylor]: Taking taylor expansion of (+ x y) in b 6.205 * [taylor]: Taking taylor expansion of x in b 6.205 * [taylor]: Taking taylor expansion of y in b 6.205 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in a 6.205 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 6.205 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a 6.205 * [taylor]: Taking taylor expansion of (- a 0.5) in a 6.205 * [taylor]: Taking taylor expansion of a in a 6.205 * [taylor]: Taking taylor expansion of 0.5 in a 6.205 * [taylor]: Taking taylor expansion of b in a 6.205 * [taylor]: Taking taylor expansion of (+ x y) in a 6.205 * [taylor]: Taking taylor expansion of x in a 6.205 * [taylor]: Taking taylor expansion of y in a 6.205 * [taylor]: Taking taylor expansion of (fma (- a 0.5) b (+ x y)) in a 6.205 * [taylor]: Rewrote expression to (+ (* (- a 0.5) b) (+ x y)) 6.205 * [taylor]: Taking taylor expansion of (* (- a 0.5) b) in a 6.205 * [taylor]: Taking taylor expansion of (- a 0.5) in a 6.205 * [taylor]: Taking taylor expansion of a in a 6.205 * [taylor]: Taking taylor expansion of 0.5 in a 6.205 * [taylor]: Taking taylor expansion of b in a 6.205 * [taylor]: Taking taylor expansion of (+ x y) in a 6.205 * [taylor]: Taking taylor expansion of x in a 6.205 * [taylor]: Taking taylor expansion of y in a 6.207 * [taylor]: Taking taylor expansion of (- (+ x y) (* 0.5 b)) in b 6.207 * [taylor]: Taking taylor expansion of (+ x y) in b 6.207 * [taylor]: Taking taylor expansion of x in b 6.207 * [taylor]: Taking taylor expansion of y in b 6.207 * [taylor]: Taking taylor expansion of (* 0.5 b) in b 6.207 * [taylor]: Taking taylor expansion of 0.5 in b 6.207 * [taylor]: Taking taylor expansion of b in b 6.207 * [taylor]: Taking taylor expansion of (+ x y) in x 6.207 * [taylor]: Taking taylor expansion of x in x 6.207 * [taylor]: Taking taylor expansion of y in x 6.207 * [taylor]: Taking taylor expansion of y in y 6.209 * [taylor]: Taking taylor expansion of b in b 6.209 * [taylor]: Taking taylor expansion of 0 in x 6.209 * [taylor]: Taking taylor expansion of 0 in y 6.211 * [taylor]: Taking taylor expansion of (- 0.5) in x 6.211 * [taylor]: Taking taylor expansion of 0.5 in x 6.211 * [taylor]: Taking taylor expansion of (- 0.5) in y 6.211 * [taylor]: Taking taylor expansion of 0.5 in y 6.212 * [taylor]: Taking taylor expansion of 1 in y 6.213 * [approximate]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in (a b x y) around 0 6.213 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in y 6.213 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.214 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in y 6.214 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in y 6.214 * [taylor]: Taking taylor expansion of (/ 1 a) in y 6.214 * [taylor]: Taking taylor expansion of a in y 6.214 * [taylor]: Taking taylor expansion of 0.5 in y 6.214 * [taylor]: Taking taylor expansion of (/ 1 b) in y 6.214 * [taylor]: Taking taylor expansion of b in y 6.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.214 * [taylor]: Taking taylor expansion of y in y 6.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.214 * [taylor]: Taking taylor expansion of x in y 6.214 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in x 6.214 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.214 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in x 6.214 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in x 6.214 * [taylor]: Taking taylor expansion of (/ 1 a) in x 6.214 * [taylor]: Taking taylor expansion of a in x 6.214 * [taylor]: Taking taylor expansion of 0.5 in x 6.214 * [taylor]: Taking taylor expansion of (/ 1 b) in x 6.214 * [taylor]: Taking taylor expansion of b in x 6.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.215 * [taylor]: Taking taylor expansion of y in x 6.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.215 * [taylor]: Taking taylor expansion of x in x 6.215 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in b 6.215 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.215 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in b 6.215 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b 6.215 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.215 * [taylor]: Taking taylor expansion of a in b 6.215 * [taylor]: Taking taylor expansion of 0.5 in b 6.215 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.215 * [taylor]: Taking taylor expansion of b in b 6.216 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.216 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.216 * [taylor]: Taking taylor expansion of y in b 6.216 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.216 * [taylor]: Taking taylor expansion of x in b 6.216 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in a 6.216 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in a 6.216 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a 6.216 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.216 * [taylor]: Taking taylor expansion of a in a 6.216 * [taylor]: Taking taylor expansion of 0.5 in a 6.216 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.216 * [taylor]: Taking taylor expansion of b in a 6.216 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.216 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.216 * [taylor]: Taking taylor expansion of y in a 6.216 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.216 * [taylor]: Taking taylor expansion of x in a 6.216 * [taylor]: Taking taylor expansion of (fma (- (/ 1 a) 0.5) (/ 1 b) (+ (/ 1 y) (/ 1 x))) in a 6.217 * [taylor]: Rewrote expression to (+ (* (- (/ 1 a) 0.5) (/ 1 b)) (+ (/ 1 y) (/ 1 x))) 6.217 * [taylor]: Taking taylor expansion of (* (- (/ 1 a) 0.5) (/ 1 b)) in a 6.217 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a 6.217 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.217 * [taylor]: Taking taylor expansion of a in a 6.217 * [taylor]: Taking taylor expansion of 0.5 in a 6.217 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.217 * [taylor]: Taking taylor expansion of b in a 6.217 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.217 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.217 * [taylor]: Taking taylor expansion of y in a 6.217 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.217 * [taylor]: Taking taylor expansion of x in a 6.218 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.218 * [taylor]: Taking taylor expansion of b in b 6.218 * [taylor]: Taking taylor expansion of 1 in x 6.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (* 0.5 (/ 1 b))) in b 6.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.220 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.220 * [taylor]: Taking taylor expansion of y in b 6.220 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.220 * [taylor]: Taking taylor expansion of x in b 6.220 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 6.220 * [taylor]: Taking taylor expansion of 0.5 in b 6.221 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.221 * [taylor]: Taking taylor expansion of b in b 6.222 * [taylor]: Taking taylor expansion of (- 0.5) in x 6.222 * [taylor]: Taking taylor expansion of 0.5 in x 6.223 * [taylor]: Taking taylor expansion of 0 in x 6.223 * [taylor]: Taking taylor expansion of 1 in y 6.225 * [taylor]: Taking taylor expansion of 0 in b 6.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.226 * [taylor]: Taking taylor expansion of y in x 6.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.227 * [taylor]: Taking taylor expansion of x in x 6.227 * [taylor]: Taking taylor expansion of 1 in y 6.228 * [taylor]: Taking taylor expansion of 0 in x 6.228 * [taylor]: Taking taylor expansion of (- 0.5) in y 6.228 * [taylor]: Taking taylor expansion of 0.5 in y 6.228 * [taylor]: Taking taylor expansion of 0 in y 6.228 * [taylor]: Taking taylor expansion of 0 in y 6.231 * [taylor]: Taking taylor expansion of 0 in b 6.231 * [taylor]: Taking taylor expansion of 0 in x 6.233 * [taylor]: Taking taylor expansion of 0 in x 6.234 * [taylor]: Taking taylor expansion of 0 in x 6.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.234 * [taylor]: Taking taylor expansion of y in y 6.234 * [taylor]: Taking taylor expansion of 0 in y 6.235 * [taylor]: Taking taylor expansion of 0 in y 6.235 * [taylor]: Taking taylor expansion of 0 in y 6.235 * [taylor]: Taking taylor expansion of 0 in y 6.236 * [approximate]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in (a b x y) around 0 6.236 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in y 6.236 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.236 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in y 6.236 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in y 6.236 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in y 6.236 * [taylor]: Taking taylor expansion of (/ 1 a) in y 6.236 * [taylor]: Taking taylor expansion of a in y 6.236 * [taylor]: Taking taylor expansion of 0.5 in y 6.236 * [taylor]: Taking taylor expansion of (/ -1 b) in y 6.236 * [taylor]: Taking taylor expansion of -1 in y 6.236 * [taylor]: Taking taylor expansion of b in y 6.236 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in y 6.236 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.236 * [taylor]: Taking taylor expansion of y in y 6.237 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.237 * [taylor]: Taking taylor expansion of x in y 6.237 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in x 6.237 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.237 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in x 6.237 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in x 6.237 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in x 6.237 * [taylor]: Taking taylor expansion of (/ 1 a) in x 6.237 * [taylor]: Taking taylor expansion of a in x 6.237 * [taylor]: Taking taylor expansion of 0.5 in x 6.237 * [taylor]: Taking taylor expansion of (/ -1 b) in x 6.237 * [taylor]: Taking taylor expansion of -1 in x 6.237 * [taylor]: Taking taylor expansion of b in x 6.237 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 6.237 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.237 * [taylor]: Taking taylor expansion of y in x 6.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.237 * [taylor]: Taking taylor expansion of x in x 6.238 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in b 6.238 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.238 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in b 6.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in b 6.238 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b 6.238 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.238 * [taylor]: Taking taylor expansion of a in b 6.238 * [taylor]: Taking taylor expansion of 0.5 in b 6.238 * [taylor]: Taking taylor expansion of (/ -1 b) in b 6.238 * [taylor]: Taking taylor expansion of -1 in b 6.238 * [taylor]: Taking taylor expansion of b in b 6.238 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in b 6.238 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.238 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.238 * [taylor]: Taking taylor expansion of y in b 6.239 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.239 * [taylor]: Taking taylor expansion of x in b 6.239 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in a 6.239 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.239 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in a 6.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in a 6.239 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a 6.239 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.239 * [taylor]: Taking taylor expansion of a in a 6.239 * [taylor]: Taking taylor expansion of 0.5 in a 6.239 * [taylor]: Taking taylor expansion of (/ -1 b) in a 6.239 * [taylor]: Taking taylor expansion of -1 in a 6.239 * [taylor]: Taking taylor expansion of b in a 6.239 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in a 6.239 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.239 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.239 * [taylor]: Taking taylor expansion of y in a 6.239 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.239 * [taylor]: Taking taylor expansion of x in a 6.239 * [taylor]: Taking taylor expansion of (fma (- (+ (/ 1 a) 0.5)) (/ -1 b) (- (+ (/ 1 y) (/ 1 x)))) in a 6.240 * [taylor]: Rewrote expression to (+ (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) (- (+ (/ 1 y) (/ 1 x)))) 6.240 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 a) 0.5)) (/ -1 b)) in a 6.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) 0.5)) in a 6.240 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a 6.240 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.240 * [taylor]: Taking taylor expansion of a in a 6.240 * [taylor]: Taking taylor expansion of 0.5 in a 6.240 * [taylor]: Taking taylor expansion of (/ -1 b) in a 6.240 * [taylor]: Taking taylor expansion of -1 in a 6.240 * [taylor]: Taking taylor expansion of b in a 6.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in a 6.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 6.240 * [taylor]: Taking taylor expansion of (/ 1 y) in a 6.240 * [taylor]: Taking taylor expansion of y in a 6.240 * [taylor]: Taking taylor expansion of (/ 1 x) in a 6.240 * [taylor]: Taking taylor expansion of x in a 6.241 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.241 * [taylor]: Taking taylor expansion of b in b 6.241 * [taylor]: Taking taylor expansion of 1 in x 6.243 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 b)) (+ (/ 1 y) (/ 1 x))) in b 6.243 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 6.244 * [taylor]: Taking taylor expansion of 0.5 in b 6.244 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.244 * [taylor]: Taking taylor expansion of b in b 6.244 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 6.244 * [taylor]: Taking taylor expansion of (/ 1 y) in b 6.244 * [taylor]: Taking taylor expansion of y in b 6.244 * [taylor]: Taking taylor expansion of (/ 1 x) in b 6.244 * [taylor]: Taking taylor expansion of x in b 6.245 * [taylor]: Taking taylor expansion of 0.5 in x 6.245 * [taylor]: Taking taylor expansion of 0 in x 6.245 * [taylor]: Taking taylor expansion of 1 in y 6.252 * [taylor]: Taking taylor expansion of 0 in b 6.253 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x))) in x 6.253 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.253 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.253 * [taylor]: Taking taylor expansion of y in x 6.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.253 * [taylor]: Taking taylor expansion of x in x 6.254 * [taylor]: Taking taylor expansion of -1 in y 6.255 * [taylor]: Taking taylor expansion of 0 in x 6.255 * [taylor]: Taking taylor expansion of 0.5 in y 6.255 * [taylor]: Taking taylor expansion of 0 in y 6.255 * [taylor]: Taking taylor expansion of 0 in y 6.258 * [taylor]: Taking taylor expansion of 0 in b 6.258 * [taylor]: Taking taylor expansion of 0 in x 6.260 * [taylor]: Taking taylor expansion of 0 in x 6.261 * [taylor]: Taking taylor expansion of 0 in x 6.262 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 6.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.262 * [taylor]: Taking taylor expansion of y in y 6.262 * [taylor]: Taking taylor expansion of 0 in y 6.262 * [taylor]: Taking taylor expansion of 0 in y 6.262 * [taylor]: Taking taylor expansion of 0 in y 6.262 * [taylor]: Taking taylor expansion of 0 in y 6.263 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 6.264 * [approximate]: Taking taylor expansion of (- 1 (log t)) in (t) around 0 6.264 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t 6.264 * [taylor]: Taking taylor expansion of 1 in t 6.264 * [taylor]: Taking taylor expansion of (log t) in t 6.264 * [taylor]: Taking taylor expansion of t in t 6.264 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t 6.264 * [taylor]: Taking taylor expansion of 1 in t 6.264 * [taylor]: Taking taylor expansion of (log t) in t 6.264 * [taylor]: Taking taylor expansion of t in t 6.301 * [approximate]: Taking taylor expansion of (- 1 (log (/ 1 t))) in (t) around 0 6.301 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t 6.302 * [taylor]: Taking taylor expansion of 1 in t 6.302 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 6.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.302 * [taylor]: Taking taylor expansion of t in t 6.302 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t 6.302 * [taylor]: Taking taylor expansion of 1 in t 6.302 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 6.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.302 * [taylor]: Taking taylor expansion of t in t 6.346 * [approximate]: Taking taylor expansion of (- 1 (log (/ -1 t))) in (t) around 0 6.346 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in t 6.346 * [taylor]: Taking taylor expansion of 1 in t 6.346 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 6.346 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.346 * [taylor]: Taking taylor expansion of -1 in t 6.346 * [taylor]: Taking taylor expansion of t in t 6.347 * [taylor]: Taking taylor expansion of (- 1 (log (/ -1 t))) in t 6.347 * [taylor]: Taking taylor expansion of 1 in t 6.347 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 6.347 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.347 * [taylor]: Taking taylor expansion of -1 in t 6.347 * [taylor]: Taking taylor expansion of t in t 6.391 * * * [progress]: simplifying candidates 6.392 * [simplify]: Simplifying using # : (expm1 (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (log1p (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (* z (- 1 (log t))) (log (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (exp (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (* (cbrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (cbrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))))) (cbrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (* (* (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (sqrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (sqrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (expm1 (fma (- a 0.5) b (+ x y))) (log1p (fma (- a 0.5) b (+ x y))) (* (- a 0.5) b) (log (fma (- a 0.5) b (+ x y))) (exp (fma (- a 0.5) b (+ x y))) (* (cbrt (fma (- a 0.5) b (+ x y))) (cbrt (fma (- a 0.5) b (+ x y)))) (cbrt (fma (- a 0.5) b (+ x y))) (* (* (fma (- a 0.5) b (+ x y)) (fma (- a 0.5) b (+ x y))) (fma (- a 0.5) b (+ x y))) (sqrt (fma (- a 0.5) b (+ x y))) (sqrt (fma (- a 0.5) b (+ x y))) (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (log t) 1))) (fma (- (log t)) 1 (* (log t) 1)) (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt (log t)) (* (cbrt (log t)) (cbrt (log t)))))) (fma (- (cbrt (log t))) (* (cbrt (log t)) (cbrt (log t))) (* (cbrt (log t)) (* (cbrt (log t)) (cbrt (log t))))) (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt (log t)) (sqrt (log t))))) (fma (- (sqrt (log t))) (sqrt (log t)) (* (sqrt (log t)) (sqrt (log t)))) (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (log t) 1))) (fma (- (log t)) 1 (* (log t) 1)) (fma (sqrt 1) (sqrt 1) (- (* (log t) 1))) (fma (- (log t)) 1 (* (log t) 1)) (fma (sqrt 1) (sqrt 1) (- (* (cbrt (log t)) (* (cbrt (log t)) (cbrt (log t)))))) (fma (- (cbrt (log t))) (* (cbrt (log t)) (cbrt (log t))) (* (cbrt (log t)) (* (cbrt (log t)) (cbrt (log t))))) (fma (sqrt 1) (sqrt 1) (- (* (sqrt (log t)) (sqrt (log t))))) (fma (- (sqrt (log t))) (sqrt (log t)) (* (sqrt (log t)) (sqrt (log t)))) (fma (sqrt 1) (sqrt 1) (- (* (log t) 1))) (fma (- (log t)) 1 (* (log t) 1)) (fma 1 1 (- (* (log t) 1))) (fma (- (log t)) 1 (* (log t) 1)) (fma 1 1 (- (* (cbrt (log t)) (* (cbrt (log t)) (cbrt (log t)))))) (fma (- (cbrt (log t))) (* (cbrt (log t)) (cbrt (log t))) (* (cbrt (log t)) (* (cbrt (log t)) (cbrt (log t))))) (fma 1 1 (- (* (sqrt (log t)) (sqrt (log t))))) (fma (- (sqrt (log t))) (sqrt (log t)) (* (sqrt (log t)) (sqrt (log t)))) (fma 1 1 (- (* (log t) 1))) (fma (- (log t)) 1 (* (log t) 1)) (expm1 (- 1 (log t))) (log1p (- 1 (log t))) (- (log t)) (- (log t)) (- (log t)) (/ (exp 1) t) (log (- 1 (log t))) (exp (- 1 (log t))) (* (cbrt (- 1 (log t))) (cbrt (- 1 (log t)))) (cbrt (- 1 (log t))) (* (* (- 1 (log t)) (- 1 (log t))) (- 1 (log t))) (sqrt (- 1 (log t))) (sqrt (- 1 (log t))) (- (pow 1 3) (pow (log t) 3)) (+ (* 1 1) (+ (* (log t) (log t)) (* 1 (log t)))) (- (log t)) (- (* 1 1) (* (log t) (log t))) (+ 1 (log t)) (+ (sqrt 1) (sqrt (log t))) (- (sqrt 1) (sqrt (log t))) (+ 1 (sqrt (log t))) (- 1 (sqrt (log t))) (- 1 (log t)) (- 1 (log t)) (- 1 (log (* (cbrt t) (cbrt t)))) (- 1 (log (sqrt t))) (- 1 (log 1)) (- (log t)) (- (+ x z) (+ (* (log t) z) (* 0.5 b))) (+ x (+ (* a b) y)) (+ x (+ (* a b) y)) (- (+ x y) (* 0.5 b)) (+ x (+ (* a b) y)) (+ x (+ (* a b) y)) (- 1 (log t)) (+ (log (/ 1 t)) 1) (- (+ (log (/ -1 t)) 1) (log -1)) 6.395 * * [simplify]: iteration 0 : 114 enodes (cost 848 ) 6.424 * * [simplify]: iteration 1 : 217 enodes (cost 678 ) 6.484 * * [simplify]: iteration 2 : 478 enodes (cost 567 ) 6.811 * * [simplify]: iteration 3 : 1711 enodes (cost 507 ) 8.006 * * [simplify]: iteration done : 5000 enodes (cost 507 ) 8.007 * [simplify]: Simplified to: (expm1 (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (log1p (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (- z (* (log t) z)) (log (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (exp (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (* (cbrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (cbrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))))) (cbrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (pow (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y))) 3) (sqrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (sqrt (fma z (- 1 (log t)) (fma (- a 0.5) b (+ x y)))) (expm1 (fma (- a 0.5) b (+ x y))) (log1p (fma (- a 0.5) b (+ x y))) (* (- a 0.5) b) (log (fma (- a 0.5) b (+ x y))) (exp (fma (- a 0.5) b (+ x y))) (* (cbrt (fma (- a 0.5) b (+ x y))) (cbrt (fma (- a 0.5) b (+ x y)))) (cbrt (fma (- a 0.5) b (+ x y))) (pow (fma (- a 0.5) b (+ x y)) 3) (sqrt (fma (- a 0.5) b (+ x y))) (sqrt (fma (- a 0.5) b (+ x y))) (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (- 1 (log t)) 0 (expm1 (- 1 (log t))) (log1p (- 1 (log t))) (- (log t)) (- (log t)) (- (log t)) (/ E t) (log1p (- (log t))) (/ E t) (* (cbrt (- 1 (log t))) (cbrt (- 1 (log t)))) (cbrt (- 1 (log t))) (pow (- 1 (log t)) 3) (sqrt (- 1 (log t))) (sqrt (- 1 (log t))) (- 1 (pow (log t) 3)) (fma (log t) (+ 1 (log t)) 1) (- (log t)) (- 1 (* (log t) (log t))) (+ 1 (log t)) (+ (sqrt (log t)) 1) (- 1 (sqrt (log t))) (+ (sqrt (log t)) 1) (- 1 (sqrt (log t))) (- 1 (log t)) (- 1 (log t)) (- 1 (* 2 (log (cbrt t)))) (- 1 (log (sqrt t))) 1 (- (log t)) (- (+ x z) (fma (log t) z (* 0.5 b))) (+ (fma a b y) x) (+ (fma a b y) x) (- (+ x y) (* 0.5 b)) (+ (fma a b y) x) (+ (fma a b y) x) (- 1 (log t)) (- 1 (log t)) (- (+ (log (/ -1 t)) 1) (log -1)) 8.007 * * * [progress]: adding candidates to table 8.202 * * [progress]: iteration 2 / 4 8.202 * * * [progress]: picking best candidate 8.223 * * * * [pick]: Picked # 8.223 * * * [progress]: localizing error 8.240 * * * [progress]: generating rewritten candidates 8.240 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 8.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 8.347 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 8.357 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 8.682 * * * [progress]: generating series expansions 8.682 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 8.682 * [approximate]: Taking taylor expansion of (* (log t) z) in (z t) around 0 8.682 * [taylor]: Taking taylor expansion of (* (log t) z) in t 8.682 * [taylor]: Taking taylor expansion of (log t) in t 8.682 * [taylor]: Taking taylor expansion of t in t 8.683 * [taylor]: Taking taylor expansion of z in t 8.683 * [taylor]: Taking taylor expansion of (* (log t) z) in z 8.683 * [taylor]: Taking taylor expansion of (log t) in z 8.683 * [taylor]: Taking taylor expansion of t in z 8.683 * [taylor]: Taking taylor expansion of z in z 8.683 * [taylor]: Taking taylor expansion of (* (log t) z) in z 8.683 * [taylor]: Taking taylor expansion of (log t) in z 8.683 * [taylor]: Taking taylor expansion of t in z 8.683 * [taylor]: Taking taylor expansion of z in z 8.683 * [taylor]: Taking taylor expansion of 0 in t 8.684 * [taylor]: Taking taylor expansion of (log t) in t 8.684 * [taylor]: Taking taylor expansion of t in t 8.687 * [taylor]: Taking taylor expansion of 0 in t 8.690 * [taylor]: Taking taylor expansion of 0 in t 8.691 * [approximate]: Taking taylor expansion of (/ (log (/ 1 t)) z) in (z t) around 0 8.691 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t 8.691 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 8.691 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.691 * [taylor]: Taking taylor expansion of t in t 8.691 * [taylor]: Taking taylor expansion of z in t 8.692 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z 8.692 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 8.692 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.692 * [taylor]: Taking taylor expansion of t in z 8.692 * [taylor]: Taking taylor expansion of z in z 8.692 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z 8.692 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 8.692 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.692 * [taylor]: Taking taylor expansion of t in z 8.692 * [taylor]: Taking taylor expansion of z in z 8.692 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 8.692 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.692 * [taylor]: Taking taylor expansion of t in t 8.695 * [taylor]: Taking taylor expansion of 0 in t 8.702 * [taylor]: Taking taylor expansion of 0 in t 8.708 * [taylor]: Taking taylor expansion of 0 in t 8.708 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in (z t) around 0 8.708 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in t 8.708 * [taylor]: Taking taylor expansion of -1 in t 8.708 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t 8.708 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 8.708 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.708 * [taylor]: Taking taylor expansion of -1 in t 8.708 * [taylor]: Taking taylor expansion of t in t 8.709 * [taylor]: Taking taylor expansion of z in t 8.710 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z 8.710 * [taylor]: Taking taylor expansion of -1 in z 8.710 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z 8.710 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 8.710 * [taylor]: Taking taylor expansion of (/ -1 t) in z 8.710 * [taylor]: Taking taylor expansion of -1 in z 8.710 * [taylor]: Taking taylor expansion of t in z 8.710 * [taylor]: Taking taylor expansion of z in z 8.711 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 t)) z)) in z 8.711 * [taylor]: Taking taylor expansion of -1 in z 8.711 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z 8.711 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 8.711 * [taylor]: Taking taylor expansion of (/ -1 t) in z 8.711 * [taylor]: Taking taylor expansion of -1 in z 8.711 * [taylor]: Taking taylor expansion of t in z 8.711 * [taylor]: Taking taylor expansion of z in z 8.711 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 t))) in t 8.711 * [taylor]: Taking taylor expansion of -1 in t 8.711 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 8.711 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.711 * [taylor]: Taking taylor expansion of -1 in t 8.711 * [taylor]: Taking taylor expansion of t in t 8.714 * [taylor]: Taking taylor expansion of 0 in t 8.720 * [taylor]: Taking taylor expansion of 0 in t 8.728 * [taylor]: Taking taylor expansion of 0 in t 8.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 8.729 * [approximate]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in (x y z t) around 0 8.729 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in t 8.729 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in t 8.729 * [taylor]: Taking taylor expansion of x in t 8.729 * [taylor]: Taking taylor expansion of (+ z y) in t 8.729 * [taylor]: Taking taylor expansion of z in t 8.729 * [taylor]: Taking taylor expansion of y in t 8.729 * [taylor]: Taking taylor expansion of (* (log t) z) in t 8.729 * [taylor]: Taking taylor expansion of (log t) in t 8.729 * [taylor]: Taking taylor expansion of t in t 8.729 * [taylor]: Taking taylor expansion of z in t 8.729 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in z 8.729 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in z 8.729 * [taylor]: Taking taylor expansion of x in z 8.729 * [taylor]: Taking taylor expansion of (+ z y) in z 8.729 * [taylor]: Taking taylor expansion of z in z 8.729 * [taylor]: Taking taylor expansion of y in z 8.729 * [taylor]: Taking taylor expansion of (* (log t) z) in z 8.729 * [taylor]: Taking taylor expansion of (log t) in z 8.729 * [taylor]: Taking taylor expansion of t in z 8.729 * [taylor]: Taking taylor expansion of z in z 8.729 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in y 8.729 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in y 8.729 * [taylor]: Taking taylor expansion of x in y 8.729 * [taylor]: Taking taylor expansion of (+ z y) in y 8.729 * [taylor]: Taking taylor expansion of z in y 8.729 * [taylor]: Taking taylor expansion of y in y 8.729 * [taylor]: Taking taylor expansion of (* (log t) z) in y 8.729 * [taylor]: Taking taylor expansion of (log t) in y 8.730 * [taylor]: Taking taylor expansion of t in y 8.730 * [taylor]: Taking taylor expansion of z in y 8.730 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x 8.730 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x 8.730 * [taylor]: Taking taylor expansion of x in x 8.730 * [taylor]: Taking taylor expansion of (+ z y) in x 8.730 * [taylor]: Taking taylor expansion of z in x 8.730 * [taylor]: Taking taylor expansion of y in x 8.730 * [taylor]: Taking taylor expansion of (* (log t) z) in x 8.730 * [taylor]: Taking taylor expansion of (log t) in x 8.730 * [taylor]: Taking taylor expansion of t in x 8.730 * [taylor]: Taking taylor expansion of z in x 8.730 * [taylor]: Taking taylor expansion of (- (+ x (+ z y)) (* (log t) z)) in x 8.730 * [taylor]: Taking taylor expansion of (+ x (+ z y)) in x 8.730 * [taylor]: Taking taylor expansion of x in x 8.730 * [taylor]: Taking taylor expansion of (+ z y) in x 8.730 * [taylor]: Taking taylor expansion of z in x 8.730 * [taylor]: Taking taylor expansion of y in x 8.730 * [taylor]: Taking taylor expansion of (* (log t) z) in x 8.730 * [taylor]: Taking taylor expansion of (log t) in x 8.730 * [taylor]: Taking taylor expansion of t in x 8.730 * [taylor]: Taking taylor expansion of z in x 8.730 * [taylor]: Taking taylor expansion of (- (+ z y) (* (log t) z)) in y 8.730 * [taylor]: Taking taylor expansion of (+ z y) in y 8.730 * [taylor]: Taking taylor expansion of z in y 8.730 * [taylor]: Taking taylor expansion of y in y 8.730 * [taylor]: Taking taylor expansion of (* (log t) z) in y 8.730 * [taylor]: Taking taylor expansion of (log t) in y 8.730 * [taylor]: Taking taylor expansion of t in y 8.730 * [taylor]: Taking taylor expansion of z in y 8.731 * [taylor]: Taking taylor expansion of (- z (* (log t) z)) in z 8.731 * [taylor]: Taking taylor expansion of z in z 8.731 * [taylor]: Taking taylor expansion of (* (log t) z) in z 8.731 * [taylor]: Taking taylor expansion of (log t) in z 8.731 * [taylor]: Taking taylor expansion of t in z 8.731 * [taylor]: Taking taylor expansion of z in z 8.732 * [taylor]: Taking taylor expansion of 0 in t 8.733 * [taylor]: Taking taylor expansion of 1 in y 8.733 * [taylor]: Taking taylor expansion of 1 in z 8.733 * [taylor]: Taking taylor expansion of 1 in t 8.735 * [taylor]: Taking taylor expansion of 1 in z 8.735 * [taylor]: Taking taylor expansion of 1 in t 8.736 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t 8.736 * [taylor]: Taking taylor expansion of 1 in t 8.736 * [taylor]: Taking taylor expansion of (log t) in t 8.736 * [taylor]: Taking taylor expansion of t in t 8.737 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in (x y z t) around 0 8.737 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in t 8.738 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t 8.738 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.738 * [taylor]: Taking taylor expansion of y in t 8.738 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t 8.738 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.738 * [taylor]: Taking taylor expansion of z in t 8.738 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.738 * [taylor]: Taking taylor expansion of x in t 8.738 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t 8.738 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 8.738 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.738 * [taylor]: Taking taylor expansion of t in t 8.738 * [taylor]: Taking taylor expansion of z in t 8.739 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in z 8.739 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z 8.739 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.739 * [taylor]: Taking taylor expansion of y in z 8.739 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z 8.739 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.739 * [taylor]: Taking taylor expansion of z in z 8.740 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.740 * [taylor]: Taking taylor expansion of x in z 8.740 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z 8.740 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 8.740 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.740 * [taylor]: Taking taylor expansion of t in z 8.740 * [taylor]: Taking taylor expansion of z in z 8.740 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in y 8.740 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y 8.740 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.740 * [taylor]: Taking taylor expansion of y in y 8.740 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y 8.740 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.740 * [taylor]: Taking taylor expansion of z in y 8.740 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.740 * [taylor]: Taking taylor expansion of x in y 8.740 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y 8.740 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 8.740 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.740 * [taylor]: Taking taylor expansion of t in y 8.740 * [taylor]: Taking taylor expansion of z in y 8.741 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x 8.741 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.741 * [taylor]: Taking taylor expansion of y in x 8.741 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.741 * [taylor]: Taking taylor expansion of z in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.741 * [taylor]: Taking taylor expansion of x in x 8.741 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x 8.741 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.741 * [taylor]: Taking taylor expansion of t in x 8.741 * [taylor]: Taking taylor expansion of z in x 8.741 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) (/ (log (/ 1 t)) z)) in x 8.741 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.741 * [taylor]: Taking taylor expansion of y in x 8.741 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.741 * [taylor]: Taking taylor expansion of z in x 8.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.742 * [taylor]: Taking taylor expansion of x in x 8.742 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x 8.742 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 8.742 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.742 * [taylor]: Taking taylor expansion of t in x 8.742 * [taylor]: Taking taylor expansion of z in x 8.743 * [taylor]: Taking taylor expansion of 1 in y 8.744 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ 1 t)) z)) in y 8.744 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 8.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.744 * [taylor]: Taking taylor expansion of z in y 8.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.744 * [taylor]: Taking taylor expansion of y in y 8.744 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y 8.744 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 8.744 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.744 * [taylor]: Taking taylor expansion of t in y 8.744 * [taylor]: Taking taylor expansion of z in y 8.745 * [taylor]: Taking taylor expansion of 1 in z 8.745 * [taylor]: Taking taylor expansion of 1 in z 8.748 * [taylor]: Taking taylor expansion of 0 in y 8.748 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ 1 t)) z)) in z 8.748 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.748 * [taylor]: Taking taylor expansion of z in z 8.749 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z 8.749 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 8.749 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.749 * [taylor]: Taking taylor expansion of t in z 8.749 * [taylor]: Taking taylor expansion of z in z 8.749 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t 8.749 * [taylor]: Taking taylor expansion of 1 in t 8.749 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 8.749 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.749 * [taylor]: Taking taylor expansion of t in t 8.750 * [taylor]: Taking taylor expansion of 0 in z 8.750 * [taylor]: Taking taylor expansion of 1 in t 8.750 * [taylor]: Taking taylor expansion of 1 in t 8.751 * [approximate]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in (x y z t) around 0 8.751 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in t 8.751 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t 8.751 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 8.751 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.751 * [taylor]: Taking taylor expansion of -1 in t 8.751 * [taylor]: Taking taylor expansion of t in t 8.752 * [taylor]: Taking taylor expansion of z in t 8.753 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in t 8.753 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.753 * [taylor]: Taking taylor expansion of y in t 8.754 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in t 8.754 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.754 * [taylor]: Taking taylor expansion of z in t 8.754 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.754 * [taylor]: Taking taylor expansion of x in t 8.754 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in z 8.754 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z 8.754 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 8.754 * [taylor]: Taking taylor expansion of (/ -1 t) in z 8.754 * [taylor]: Taking taylor expansion of -1 in z 8.754 * [taylor]: Taking taylor expansion of t in z 8.754 * [taylor]: Taking taylor expansion of z in z 8.754 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in z 8.754 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.754 * [taylor]: Taking taylor expansion of y in z 8.754 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in z 8.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.754 * [taylor]: Taking taylor expansion of z in z 8.754 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.754 * [taylor]: Taking taylor expansion of x in z 8.754 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in y 8.754 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y 8.754 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 8.755 * [taylor]: Taking taylor expansion of (/ -1 t) in y 8.755 * [taylor]: Taking taylor expansion of -1 in y 8.755 * [taylor]: Taking taylor expansion of t in y 8.755 * [taylor]: Taking taylor expansion of z in y 8.755 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in y 8.755 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.755 * [taylor]: Taking taylor expansion of y in y 8.755 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in y 8.755 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.755 * [taylor]: Taking taylor expansion of z in y 8.755 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.755 * [taylor]: Taking taylor expansion of x in y 8.755 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x 8.755 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x 8.755 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 8.755 * [taylor]: Taking taylor expansion of (/ -1 t) in x 8.755 * [taylor]: Taking taylor expansion of -1 in x 8.755 * [taylor]: Taking taylor expansion of t in x 8.755 * [taylor]: Taking taylor expansion of z in x 8.755 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x 8.755 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.755 * [taylor]: Taking taylor expansion of y in x 8.755 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 8.755 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.755 * [taylor]: Taking taylor expansion of z in x 8.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.756 * [taylor]: Taking taylor expansion of x in x 8.756 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (+ (/ 1 z) (/ 1 x)))) in x 8.756 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x 8.756 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 8.756 * [taylor]: Taking taylor expansion of (/ -1 t) in x 8.756 * [taylor]: Taking taylor expansion of -1 in x 8.756 * [taylor]: Taking taylor expansion of t in x 8.756 * [taylor]: Taking taylor expansion of z in x 8.756 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (/ 1 x))) in x 8.756 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.756 * [taylor]: Taking taylor expansion of y in x 8.756 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 x)) in x 8.756 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.756 * [taylor]: Taking taylor expansion of z in x 8.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.756 * [taylor]: Taking taylor expansion of x in x 8.758 * [taylor]: Taking taylor expansion of -1 in y 8.759 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (+ (/ 1 y) (/ 1 z))) in y 8.759 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y 8.759 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 8.759 * [taylor]: Taking taylor expansion of (/ -1 t) in y 8.759 * [taylor]: Taking taylor expansion of -1 in y 8.759 * [taylor]: Taking taylor expansion of t in y 8.759 * [taylor]: Taking taylor expansion of z in y 8.759 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 8.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.759 * [taylor]: Taking taylor expansion of y in y 8.759 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.759 * [taylor]: Taking taylor expansion of z in y 8.761 * [taylor]: Taking taylor expansion of -1 in z 8.761 * [taylor]: Taking taylor expansion of -1 in z 8.763 * [taylor]: Taking taylor expansion of 0 in y 8.764 * [taylor]: Taking taylor expansion of (- (/ (log (/ -1 t)) z) (/ 1 z)) in z 8.764 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z 8.764 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 8.764 * [taylor]: Taking taylor expansion of (/ -1 t) in z 8.764 * [taylor]: Taking taylor expansion of -1 in z 8.764 * [taylor]: Taking taylor expansion of t in z 8.764 * [taylor]: Taking taylor expansion of z in z 8.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.764 * [taylor]: Taking taylor expansion of z in z 8.765 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t 8.765 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 8.765 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.765 * [taylor]: Taking taylor expansion of -1 in t 8.765 * [taylor]: Taking taylor expansion of t in t 8.765 * [taylor]: Taking taylor expansion of 1 in t 8.767 * [taylor]: Taking taylor expansion of 0 in z 8.767 * [taylor]: Taking taylor expansion of -1 in t 8.767 * [taylor]: Taking taylor expansion of -1 in t 8.768 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 8.768 * [approximate]: Taking taylor expansion of (* b (- a 0.5)) in (a b) around 0 8.768 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in b 8.768 * [taylor]: Taking taylor expansion of b in b 8.768 * [taylor]: Taking taylor expansion of (- a 0.5) in b 8.768 * [taylor]: Taking taylor expansion of a in b 8.768 * [taylor]: Taking taylor expansion of 0.5 in b 8.768 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in a 8.768 * [taylor]: Taking taylor expansion of b in a 8.768 * [taylor]: Taking taylor expansion of (- a 0.5) in a 8.768 * [taylor]: Taking taylor expansion of a in a 8.768 * [taylor]: Taking taylor expansion of 0.5 in a 8.768 * [taylor]: Taking taylor expansion of (* b (- a 0.5)) in a 8.768 * [taylor]: Taking taylor expansion of b in a 8.768 * [taylor]: Taking taylor expansion of (- a 0.5) in a 8.768 * [taylor]: Taking taylor expansion of a in a 8.768 * [taylor]: Taking taylor expansion of 0.5 in a 8.770 * [taylor]: Taking taylor expansion of (* -0.5 b) in b 8.770 * [taylor]: Taking taylor expansion of -0.5 in b 8.770 * [taylor]: Taking taylor expansion of b in b 8.771 * [taylor]: Taking taylor expansion of b in b 8.773 * [taylor]: Taking taylor expansion of 0 in b 8.775 * [taylor]: Taking taylor expansion of 0 in b 8.777 * [taylor]: Taking taylor expansion of 0 in b 8.778 * [approximate]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in (a b) around 0 8.778 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in b 8.778 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in b 8.778 * [taylor]: Taking taylor expansion of (/ 1 a) in b 8.778 * [taylor]: Taking taylor expansion of a in b 8.778 * [taylor]: Taking taylor expansion of 0.5 in b 8.778 * [taylor]: Taking taylor expansion of b in b 8.778 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a 8.778 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a 8.779 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.779 * [taylor]: Taking taylor expansion of a in a 8.779 * [taylor]: Taking taylor expansion of 0.5 in a 8.779 * [taylor]: Taking taylor expansion of b in a 8.779 * [taylor]: Taking taylor expansion of (/ (- (/ 1 a) 0.5) b) in a 8.779 * [taylor]: Taking taylor expansion of (- (/ 1 a) 0.5) in a 8.779 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.779 * [taylor]: Taking taylor expansion of a in a 8.779 * [taylor]: Taking taylor expansion of 0.5 in a 8.780 * [taylor]: Taking taylor expansion of b in a 8.780 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.780 * [taylor]: Taking taylor expansion of b in b 8.782 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 b))) in b 8.782 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 8.782 * [taylor]: Taking taylor expansion of 0.5 in b 8.782 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.782 * [taylor]: Taking taylor expansion of b in b 8.785 * [taylor]: Taking taylor expansion of 0 in b 8.788 * [taylor]: Taking taylor expansion of 0 in b 8.791 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in (a b) around 0 8.791 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in b 8.791 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in b 8.791 * [taylor]: Taking taylor expansion of (/ 1 a) in b 8.791 * [taylor]: Taking taylor expansion of a in b 8.791 * [taylor]: Taking taylor expansion of 0.5 in b 8.791 * [taylor]: Taking taylor expansion of b in b 8.791 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a 8.791 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a 8.791 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.791 * [taylor]: Taking taylor expansion of a in a 8.791 * [taylor]: Taking taylor expansion of 0.5 in a 8.791 * [taylor]: Taking taylor expansion of b in a 8.792 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 0.5) b) in a 8.792 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 0.5) in a 8.792 * [taylor]: Taking taylor expansion of (/ 1 a) in a 8.792 * [taylor]: Taking taylor expansion of a in a 8.792 * [taylor]: Taking taylor expansion of 0.5 in a 8.792 * [taylor]: Taking taylor expansion of b in a 8.792 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.792 * [taylor]: Taking taylor expansion of b in b 8.794 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 8.794 * [taylor]: Taking taylor expansion of 0.5 in b 8.794 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.794 * [taylor]: Taking taylor expansion of b in b 8.796 * [taylor]: Taking taylor expansion of 0 in b 8.801 * [taylor]: Taking taylor expansion of 0 in b 8.803 * * * * [progress]: [ 4 / 4 ] generating series at (2) 8.803 * [approximate]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in (x y z t a b) around 0 8.803 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in b 8.803 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in b 8.804 * [taylor]: Taking taylor expansion of x in b 8.804 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in b 8.804 * [taylor]: Taking taylor expansion of (* a b) in b 8.804 * [taylor]: Taking taylor expansion of a in b 8.804 * [taylor]: Taking taylor expansion of b in b 8.804 * [taylor]: Taking taylor expansion of (+ z y) in b 8.804 * [taylor]: Taking taylor expansion of z in b 8.804 * [taylor]: Taking taylor expansion of y in b 8.804 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in b 8.804 * [taylor]: Taking taylor expansion of (* (log t) z) in b 8.804 * [taylor]: Taking taylor expansion of (log t) in b 8.804 * [taylor]: Taking taylor expansion of t in b 8.804 * [taylor]: Taking taylor expansion of z in b 8.804 * [taylor]: Taking taylor expansion of (* 0.5 b) in b 8.804 * [taylor]: Taking taylor expansion of 0.5 in b 8.804 * [taylor]: Taking taylor expansion of b in b 8.804 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in a 8.804 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in a 8.804 * [taylor]: Taking taylor expansion of x in a 8.804 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in a 8.804 * [taylor]: Taking taylor expansion of (* a b) in a 8.804 * [taylor]: Taking taylor expansion of a in a 8.804 * [taylor]: Taking taylor expansion of b in a 8.804 * [taylor]: Taking taylor expansion of (+ z y) in a 8.804 * [taylor]: Taking taylor expansion of z in a 8.804 * [taylor]: Taking taylor expansion of y in a 8.804 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in a 8.804 * [taylor]: Taking taylor expansion of (* (log t) z) in a 8.804 * [taylor]: Taking taylor expansion of (log t) in a 8.804 * [taylor]: Taking taylor expansion of t in a 8.804 * [taylor]: Taking taylor expansion of z in a 8.804 * [taylor]: Taking taylor expansion of (* 0.5 b) in a 8.804 * [taylor]: Taking taylor expansion of 0.5 in a 8.804 * [taylor]: Taking taylor expansion of b in a 8.804 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in t 8.804 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in t 8.804 * [taylor]: Taking taylor expansion of x in t 8.804 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in t 8.804 * [taylor]: Taking taylor expansion of (* a b) in t 8.804 * [taylor]: Taking taylor expansion of a in t 8.804 * [taylor]: Taking taylor expansion of b in t 8.804 * [taylor]: Taking taylor expansion of (+ z y) in t 8.804 * [taylor]: Taking taylor expansion of z in t 8.804 * [taylor]: Taking taylor expansion of y in t 8.804 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in t 8.804 * [taylor]: Taking taylor expansion of (* (log t) z) in t 8.804 * [taylor]: Taking taylor expansion of (log t) in t 8.804 * [taylor]: Taking taylor expansion of t in t 8.805 * [taylor]: Taking taylor expansion of z in t 8.805 * [taylor]: Taking taylor expansion of (* 0.5 b) in t 8.805 * [taylor]: Taking taylor expansion of 0.5 in t 8.805 * [taylor]: Taking taylor expansion of b in t 8.805 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in z 8.805 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in z 8.805 * [taylor]: Taking taylor expansion of x in z 8.805 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in z 8.805 * [taylor]: Taking taylor expansion of (* a b) in z 8.805 * [taylor]: Taking taylor expansion of a in z 8.805 * [taylor]: Taking taylor expansion of b in z 8.805 * [taylor]: Taking taylor expansion of (+ z y) in z 8.805 * [taylor]: Taking taylor expansion of z in z 8.805 * [taylor]: Taking taylor expansion of y in z 8.805 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in z 8.805 * [taylor]: Taking taylor expansion of (* (log t) z) in z 8.805 * [taylor]: Taking taylor expansion of (log t) in z 8.805 * [taylor]: Taking taylor expansion of t in z 8.805 * [taylor]: Taking taylor expansion of z in z 8.805 * [taylor]: Taking taylor expansion of (* 0.5 b) in z 8.805 * [taylor]: Taking taylor expansion of 0.5 in z 8.805 * [taylor]: Taking taylor expansion of b in z 8.805 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in y 8.805 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in y 8.805 * [taylor]: Taking taylor expansion of x in y 8.805 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in y 8.805 * [taylor]: Taking taylor expansion of (* a b) in y 8.805 * [taylor]: Taking taylor expansion of a in y 8.805 * [taylor]: Taking taylor expansion of b in y 8.805 * [taylor]: Taking taylor expansion of (+ z y) in y 8.805 * [taylor]: Taking taylor expansion of z in y 8.805 * [taylor]: Taking taylor expansion of y in y 8.806 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in y 8.806 * [taylor]: Taking taylor expansion of (* (log t) z) in y 8.806 * [taylor]: Taking taylor expansion of (log t) in y 8.806 * [taylor]: Taking taylor expansion of t in y 8.806 * [taylor]: Taking taylor expansion of z in y 8.806 * [taylor]: Taking taylor expansion of (* 0.5 b) in y 8.806 * [taylor]: Taking taylor expansion of 0.5 in y 8.806 * [taylor]: Taking taylor expansion of b in y 8.806 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in x 8.806 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in x 8.806 * [taylor]: Taking taylor expansion of x in x 8.806 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in x 8.806 * [taylor]: Taking taylor expansion of (* a b) in x 8.806 * [taylor]: Taking taylor expansion of a in x 8.806 * [taylor]: Taking taylor expansion of b in x 8.806 * [taylor]: Taking taylor expansion of (+ z y) in x 8.806 * [taylor]: Taking taylor expansion of z in x 8.806 * [taylor]: Taking taylor expansion of y in x 8.806 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in x 8.806 * [taylor]: Taking taylor expansion of (* (log t) z) in x 8.806 * [taylor]: Taking taylor expansion of (log t) in x 8.806 * [taylor]: Taking taylor expansion of t in x 8.806 * [taylor]: Taking taylor expansion of z in x 8.806 * [taylor]: Taking taylor expansion of (* 0.5 b) in x 8.806 * [taylor]: Taking taylor expansion of 0.5 in x 8.806 * [taylor]: Taking taylor expansion of b in x 8.806 * [taylor]: Taking taylor expansion of (- (+ x (+ (* a b) (+ z y))) (+ (* (log t) z) (* 0.5 b))) in x 8.806 * [taylor]: Taking taylor expansion of (+ x (+ (* a b) (+ z y))) in x 8.806 * [taylor]: Taking taylor expansion of x in x 8.806 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in x 8.806 * [taylor]: Taking taylor expansion of (* a b) in x 8.806 * [taylor]: Taking taylor expansion of a in x 8.806 * [taylor]: Taking taylor expansion of b in x 8.806 * [taylor]: Taking taylor expansion of (+ z y) in x 8.806 * [taylor]: Taking taylor expansion of z in x 8.806 * [taylor]: Taking taylor expansion of y in x 8.806 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in x 8.806 * [taylor]: Taking taylor expansion of (* (log t) z) in x 8.806 * [taylor]: Taking taylor expansion of (log t) in x 8.806 * [taylor]: Taking taylor expansion of t in x 8.806 * [taylor]: Taking taylor expansion of z in x 8.806 * [taylor]: Taking taylor expansion of (* 0.5 b) in x 8.806 * [taylor]: Taking taylor expansion of 0.5 in x 8.806 * [taylor]: Taking taylor expansion of b in x 8.807 * [taylor]: Taking taylor expansion of (- (+ (* a b) (+ z y)) (+ (* (log t) z) (* 0.5 b))) in y 8.807 * [taylor]: Taking taylor expansion of (+ (* a b) (+ z y)) in y 8.807 * [taylor]: Taking taylor expansion of (* a b) in y 8.807 * [taylor]: Taking taylor expansion of a in y 8.807 * [taylor]: Taking taylor expansion of b in y 8.807 * [taylor]: Taking taylor expansion of (+ z y) in y 8.807 * [taylor]: Taking taylor expansion of z in y 8.807 * [taylor]: Taking taylor expansion of y in y 8.807 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in y 8.807 * [taylor]: Taking taylor expansion of (* (log t) z) in y 8.807 * [taylor]: Taking taylor expansion of (log t) in y 8.807 * [taylor]: Taking taylor expansion of t in y 8.807 * [taylor]: Taking taylor expansion of z in y 8.807 * [taylor]: Taking taylor expansion of (* 0.5 b) in y 8.807 * [taylor]: Taking taylor expansion of 0.5 in y 8.807 * [taylor]: Taking taylor expansion of b in y 8.808 * [taylor]: Taking taylor expansion of (- (+ (* a b) z) (+ (* (log t) z) (* 0.5 b))) in z 8.808 * [taylor]: Taking taylor expansion of (+ (* a b) z) in z 8.808 * [taylor]: Taking taylor expansion of (* a b) in z 8.808 * [taylor]: Taking taylor expansion of a in z 8.808 * [taylor]: Taking taylor expansion of b in z 8.808 * [taylor]: Taking taylor expansion of z in z 8.808 * [taylor]: Taking taylor expansion of (+ (* (log t) z) (* 0.5 b)) in z 8.808 * [taylor]: Taking taylor expansion of (* (log t) z) in z 8.808 * [taylor]: Taking taylor expansion of (log t) in z 8.808 * [taylor]: Taking taylor expansion of t in z 8.808 * [taylor]: Taking taylor expansion of z in z 8.808 * [taylor]: Taking taylor expansion of (* 0.5 b) in z 8.808 * [taylor]: Taking taylor expansion of 0.5 in z 8.808 * [taylor]: Taking taylor expansion of b in z 8.808 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in t 8.808 * [taylor]: Taking taylor expansion of (* a b) in t 8.808 * [taylor]: Taking taylor expansion of a in t 8.808 * [taylor]: Taking taylor expansion of b in t 8.808 * [taylor]: Taking taylor expansion of (* 0.5 b) in t 8.808 * [taylor]: Taking taylor expansion of 0.5 in t 8.808 * [taylor]: Taking taylor expansion of b in t 8.808 * [taylor]: Taking taylor expansion of (- (* a b) (* 0.5 b)) in a 8.808 * [taylor]: Taking taylor expansion of (* a b) in a 8.808 * [taylor]: Taking taylor expansion of a in a 8.808 * [taylor]: Taking taylor expansion of b in a 8.808 * [taylor]: Taking taylor expansion of (* 0.5 b) in a 8.808 * [taylor]: Taking taylor expansion of 0.5 in a 8.808 * [taylor]: Taking taylor expansion of b in a 8.808 * [taylor]: Taking taylor expansion of (- (* 0.5 b)) in b 8.808 * [taylor]: Taking taylor expansion of (* 0.5 b) in b 8.808 * [taylor]: Taking taylor expansion of 0.5 in b 8.808 * [taylor]: Taking taylor expansion of b in b 8.812 * [taylor]: Taking taylor expansion of 1 in y 8.812 * [taylor]: Taking taylor expansion of 1 in z 8.812 * [taylor]: Taking taylor expansion of 1 in t 8.812 * [taylor]: Taking taylor expansion of 1 in a 8.812 * [taylor]: Taking taylor expansion of 1 in b 8.814 * [taylor]: Taking taylor expansion of 1 in z 8.814 * [taylor]: Taking taylor expansion of 1 in t 8.814 * [taylor]: Taking taylor expansion of 1 in a 8.814 * [taylor]: Taking taylor expansion of 1 in b 8.816 * [taylor]: Taking taylor expansion of (- 1 (log t)) in t 8.816 * [taylor]: Taking taylor expansion of 1 in t 8.816 * [taylor]: Taking taylor expansion of (log t) in t 8.816 * [taylor]: Taking taylor expansion of t in t 8.817 * [taylor]: Taking taylor expansion of (- 1 (log t)) in a 8.817 * [taylor]: Taking taylor expansion of 1 in a 8.817 * [taylor]: Taking taylor expansion of (log t) in a 8.817 * [taylor]: Taking taylor expansion of t in a 8.817 * [taylor]: Taking taylor expansion of (- 1 (log t)) in b 8.817 * [taylor]: Taking taylor expansion of 1 in b 8.817 * [taylor]: Taking taylor expansion of (log t) in b 8.817 * [taylor]: Taking taylor expansion of t in b 8.818 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in (x y z t a b) around 0 8.818 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in b 8.818 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in b 8.818 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 8.818 * [taylor]: Taking taylor expansion of (* a b) in b 8.818 * [taylor]: Taking taylor expansion of a in b 8.818 * [taylor]: Taking taylor expansion of b in b 8.819 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in b 8.819 * [taylor]: Taking taylor expansion of (/ 1 z) in b 8.819 * [taylor]: Taking taylor expansion of z in b 8.819 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 8.819 * [taylor]: Taking taylor expansion of (/ 1 y) in b 8.819 * [taylor]: Taking taylor expansion of y in b 8.819 * [taylor]: Taking taylor expansion of (/ 1 x) in b 8.819 * [taylor]: Taking taylor expansion of x in b 8.819 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in b 8.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 8.819 * [taylor]: Taking taylor expansion of 0.5 in b 8.819 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.819 * [taylor]: Taking taylor expansion of b in b 8.820 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in b 8.820 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in b 8.820 * [taylor]: Taking taylor expansion of (/ 1 t) in b 8.820 * [taylor]: Taking taylor expansion of t in b 8.820 * [taylor]: Taking taylor expansion of z in b 8.820 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in a 8.820 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in a 8.820 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 8.820 * [taylor]: Taking taylor expansion of (* a b) in a 8.820 * [taylor]: Taking taylor expansion of a in a 8.820 * [taylor]: Taking taylor expansion of b in a 8.820 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in a 8.820 * [taylor]: Taking taylor expansion of (/ 1 z) in a 8.820 * [taylor]: Taking taylor expansion of z in a 8.820 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 8.820 * [taylor]: Taking taylor expansion of (/ 1 y) in a 8.820 * [taylor]: Taking taylor expansion of y in a 8.820 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.820 * [taylor]: Taking taylor expansion of x in a 8.820 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in a 8.820 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a 8.820 * [taylor]: Taking taylor expansion of 0.5 in a 8.820 * [taylor]: Taking taylor expansion of (/ 1 b) in a 8.821 * [taylor]: Taking taylor expansion of b in a 8.821 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in a 8.821 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in a 8.821 * [taylor]: Taking taylor expansion of (/ 1 t) in a 8.821 * [taylor]: Taking taylor expansion of t in a 8.821 * [taylor]: Taking taylor expansion of z in a 8.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in t 8.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t 8.821 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 8.821 * [taylor]: Taking taylor expansion of (* a b) in t 8.821 * [taylor]: Taking taylor expansion of a in t 8.821 * [taylor]: Taking taylor expansion of b in t 8.821 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t 8.821 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.821 * [taylor]: Taking taylor expansion of z in t 8.821 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 8.821 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.821 * [taylor]: Taking taylor expansion of y in t 8.821 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.821 * [taylor]: Taking taylor expansion of x in t 8.821 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in t 8.821 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t 8.821 * [taylor]: Taking taylor expansion of 0.5 in t 8.821 * [taylor]: Taking taylor expansion of (/ 1 b) in t 8.821 * [taylor]: Taking taylor expansion of b in t 8.821 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in t 8.821 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 8.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.821 * [taylor]: Taking taylor expansion of t in t 8.822 * [taylor]: Taking taylor expansion of z in t 8.823 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z 8.823 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z 8.823 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 8.823 * [taylor]: Taking taylor expansion of (* a b) in z 8.823 * [taylor]: Taking taylor expansion of a in z 8.823 * [taylor]: Taking taylor expansion of b in z 8.823 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z 8.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.823 * [taylor]: Taking taylor expansion of z in z 8.823 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 8.823 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.823 * [taylor]: Taking taylor expansion of y in z 8.823 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.823 * [taylor]: Taking taylor expansion of x in z 8.823 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z 8.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z 8.823 * [taylor]: Taking taylor expansion of 0.5 in z 8.823 * [taylor]: Taking taylor expansion of (/ 1 b) in z 8.823 * [taylor]: Taking taylor expansion of b in z 8.823 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z 8.823 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 8.823 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.823 * [taylor]: Taking taylor expansion of t in z 8.824 * [taylor]: Taking taylor expansion of z in z 8.824 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y 8.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 8.824 * [taylor]: Taking taylor expansion of (* a b) in y 8.824 * [taylor]: Taking taylor expansion of a in y 8.824 * [taylor]: Taking taylor expansion of b in y 8.824 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.824 * [taylor]: Taking taylor expansion of z in y 8.824 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.824 * [taylor]: Taking taylor expansion of y in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.824 * [taylor]: Taking taylor expansion of x in y 8.824 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y 8.824 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y 8.824 * [taylor]: Taking taylor expansion of 0.5 in y 8.824 * [taylor]: Taking taylor expansion of (/ 1 b) in y 8.824 * [taylor]: Taking taylor expansion of b in y 8.824 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y 8.824 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 8.825 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.825 * [taylor]: Taking taylor expansion of t in y 8.825 * [taylor]: Taking taylor expansion of z in y 8.825 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x 8.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 8.825 * [taylor]: Taking taylor expansion of (* a b) in x 8.825 * [taylor]: Taking taylor expansion of a in x 8.825 * [taylor]: Taking taylor expansion of b in x 8.825 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.825 * [taylor]: Taking taylor expansion of z in x 8.825 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.825 * [taylor]: Taking taylor expansion of y in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.825 * [taylor]: Taking taylor expansion of x in x 8.825 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x 8.825 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x 8.825 * [taylor]: Taking taylor expansion of 0.5 in x 8.825 * [taylor]: Taking taylor expansion of (/ 1 b) in x 8.825 * [taylor]: Taking taylor expansion of b in x 8.826 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x 8.826 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 8.826 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.826 * [taylor]: Taking taylor expansion of t in x 8.826 * [taylor]: Taking taylor expansion of z in x 8.826 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in x 8.826 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 8.826 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 8.826 * [taylor]: Taking taylor expansion of (* a b) in x 8.826 * [taylor]: Taking taylor expansion of a in x 8.826 * [taylor]: Taking taylor expansion of b in x 8.826 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 8.826 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.826 * [taylor]: Taking taylor expansion of z in x 8.826 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.826 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.826 * [taylor]: Taking taylor expansion of y in x 8.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.826 * [taylor]: Taking taylor expansion of x in x 8.826 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in x 8.827 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x 8.827 * [taylor]: Taking taylor expansion of 0.5 in x 8.827 * [taylor]: Taking taylor expansion of (/ 1 b) in x 8.827 * [taylor]: Taking taylor expansion of b in x 8.827 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in x 8.827 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 8.827 * [taylor]: Taking taylor expansion of (/ 1 t) in x 8.827 * [taylor]: Taking taylor expansion of t in x 8.827 * [taylor]: Taking taylor expansion of z in x 8.828 * [taylor]: Taking taylor expansion of 1 in y 8.829 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ 1 z) (/ 1 y))) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in y 8.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ 1 z) (/ 1 y))) in y 8.829 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 8.829 * [taylor]: Taking taylor expansion of (* a b) in y 8.829 * [taylor]: Taking taylor expansion of a in y 8.829 * [taylor]: Taking taylor expansion of b in y 8.829 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 8.830 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.830 * [taylor]: Taking taylor expansion of z in y 8.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.830 * [taylor]: Taking taylor expansion of y in y 8.830 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in y 8.830 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y 8.830 * [taylor]: Taking taylor expansion of 0.5 in y 8.830 * [taylor]: Taking taylor expansion of (/ 1 b) in y 8.830 * [taylor]: Taking taylor expansion of b in y 8.830 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in y 8.830 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 8.830 * [taylor]: Taking taylor expansion of (/ 1 t) in y 8.830 * [taylor]: Taking taylor expansion of t in y 8.830 * [taylor]: Taking taylor expansion of z in y 8.831 * [taylor]: Taking taylor expansion of 1 in z 8.832 * [taylor]: Taking taylor expansion of 1 in z 8.835 * [taylor]: Taking taylor expansion of 0 in y 8.836 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (/ 1 z)) (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z))) in z 8.836 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 z)) in z 8.836 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 8.836 * [taylor]: Taking taylor expansion of (* a b) in z 8.836 * [taylor]: Taking taylor expansion of a in z 8.836 * [taylor]: Taking taylor expansion of b in z 8.836 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.836 * [taylor]: Taking taylor expansion of z in z 8.837 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 b)) (/ (log (/ 1 t)) z)) in z 8.837 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z 8.837 * [taylor]: Taking taylor expansion of 0.5 in z 8.837 * [taylor]: Taking taylor expansion of (/ 1 b) in z 8.837 * [taylor]: Taking taylor expansion of b in z 8.837 * [taylor]: Taking taylor expansion of (/ (log (/ 1 t)) z) in z 8.837 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 8.837 * [taylor]: Taking taylor expansion of (/ 1 t) in z 8.837 * [taylor]: Taking taylor expansion of t in z 8.837 * [taylor]: Taking taylor expansion of z in z 8.838 * [taylor]: Taking taylor expansion of (- 1 (log (/ 1 t))) in t 8.838 * [taylor]: Taking taylor expansion of 1 in t 8.838 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 8.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.838 * [taylor]: Taking taylor expansion of t in t 8.839 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a 8.839 * [taylor]: Taking taylor expansion of (log t) in a 8.839 * [taylor]: Taking taylor expansion of t in a 8.839 * [taylor]: Taking taylor expansion of 1 in a 8.839 * [taylor]: Taking taylor expansion of 0 in z 8.839 * [taylor]: Taking taylor expansion of 1 in t 8.839 * [taylor]: Taking taylor expansion of 1 in a 8.839 * [taylor]: Taking taylor expansion of 1 in t 8.839 * [taylor]: Taking taylor expansion of 1 in a 8.844 * [taylor]: Taking taylor expansion of 0 in y 8.844 * [taylor]: Taking taylor expansion of 0 in z 8.847 * [taylor]: Taking taylor expansion of 0 in z 8.847 * [taylor]: Taking taylor expansion of 0 in z 8.849 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t 8.849 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 8.849 * [taylor]: Taking taylor expansion of (* a b) in t 8.849 * [taylor]: Taking taylor expansion of a in t 8.849 * [taylor]: Taking taylor expansion of b in t 8.850 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t 8.850 * [taylor]: Taking taylor expansion of 0.5 in t 8.850 * [taylor]: Taking taylor expansion of (/ 1 b) in t 8.850 * [taylor]: Taking taylor expansion of b in t 8.850 * [taylor]: Taking taylor expansion of (- (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a 8.850 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 8.850 * [taylor]: Taking taylor expansion of (* a b) in a 8.850 * [taylor]: Taking taylor expansion of a in a 8.850 * [taylor]: Taking taylor expansion of b in a 8.850 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a 8.850 * [taylor]: Taking taylor expansion of 0.5 in a 8.850 * [taylor]: Taking taylor expansion of (/ 1 b) in a 8.850 * [taylor]: Taking taylor expansion of b in a 8.850 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.850 * [taylor]: Taking taylor expansion of b in b 8.851 * [taylor]: Taking taylor expansion of 0 in t 8.851 * [taylor]: Taking taylor expansion of 0 in a 8.851 * [taylor]: Taking taylor expansion of 0 in t 8.851 * [taylor]: Taking taylor expansion of 0 in a 8.851 * [taylor]: Taking taylor expansion of 0 in t 8.851 * [taylor]: Taking taylor expansion of 0 in a 8.853 * [taylor]: Taking taylor expansion of 0 in a 8.853 * [taylor]: Taking taylor expansion of 0 in a 8.853 * [taylor]: Taking taylor expansion of 0 in a 8.853 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b 8.853 * [taylor]: Taking taylor expansion of (log t) in b 8.853 * [taylor]: Taking taylor expansion of t in b 8.853 * [taylor]: Taking taylor expansion of 1 in b 8.853 * [taylor]: Taking taylor expansion of 1 in b 8.853 * [taylor]: Taking taylor expansion of 1 in b 8.860 * [taylor]: Taking taylor expansion of 0 in y 8.860 * [taylor]: Taking taylor expansion of 0 in z 8.860 * [taylor]: Taking taylor expansion of 0 in z 8.864 * [taylor]: Taking taylor expansion of 0 in z 8.864 * [taylor]: Taking taylor expansion of 0 in z 8.864 * [taylor]: Taking taylor expansion of 0 in t 8.864 * [taylor]: Taking taylor expansion of 0 in a 8.864 * [taylor]: Taking taylor expansion of 0 in t 8.864 * [taylor]: Taking taylor expansion of 0 in a 8.864 * [taylor]: Taking taylor expansion of 0 in t 8.864 * [taylor]: Taking taylor expansion of 0 in a 8.869 * [taylor]: Taking taylor expansion of 0 in t 8.869 * [taylor]: Taking taylor expansion of 0 in a 8.869 * [taylor]: Taking taylor expansion of 0 in t 8.869 * [taylor]: Taking taylor expansion of 0 in a 8.869 * [taylor]: Taking taylor expansion of 0 in t 8.869 * [taylor]: Taking taylor expansion of 0 in a 8.869 * [taylor]: Taking taylor expansion of 0 in t 8.869 * [taylor]: Taking taylor expansion of 0 in a 8.870 * [taylor]: Taking taylor expansion of 0 in a 8.870 * [taylor]: Taking taylor expansion of 0 in a 8.870 * [taylor]: Taking taylor expansion of 0 in a 8.870 * [taylor]: Taking taylor expansion of 0 in a 8.873 * [taylor]: Taking taylor expansion of 0 in a 8.873 * [taylor]: Taking taylor expansion of 0 in a 8.873 * [taylor]: Taking taylor expansion of 0 in a 8.874 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 b))) in b 8.874 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 8.874 * [taylor]: Taking taylor expansion of 0.5 in b 8.874 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.874 * [taylor]: Taking taylor expansion of b in b 8.876 * [taylor]: Taking taylor expansion of 0 in b 8.876 * [taylor]: Taking taylor expansion of 0 in b 8.876 * [taylor]: Taking taylor expansion of 0 in b 8.876 * [taylor]: Taking taylor expansion of 0 in b 8.876 * [taylor]: Taking taylor expansion of 0 in b 8.876 * [taylor]: Taking taylor expansion of 0 in b 8.877 * [taylor]: Taking taylor expansion of 0 in b 8.877 * [taylor]: Taking taylor expansion of 0 in b 8.877 * [taylor]: Taking taylor expansion of 0 in b 8.880 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in (x y z t a b) around 0 8.880 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in b 8.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in b 8.880 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 8.880 * [taylor]: Taking taylor expansion of (* a b) in b 8.880 * [taylor]: Taking taylor expansion of a in b 8.880 * [taylor]: Taking taylor expansion of b in b 8.881 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in b 8.881 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in b 8.881 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in b 8.881 * [taylor]: Taking taylor expansion of (/ -1 t) in b 8.881 * [taylor]: Taking taylor expansion of -1 in b 8.881 * [taylor]: Taking taylor expansion of t in b 8.881 * [taylor]: Taking taylor expansion of z in b 8.881 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 8.881 * [taylor]: Taking taylor expansion of 0.5 in b 8.881 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.881 * [taylor]: Taking taylor expansion of b in b 8.881 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in b 8.881 * [taylor]: Taking taylor expansion of (/ 1 z) in b 8.881 * [taylor]: Taking taylor expansion of z in b 8.881 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in b 8.881 * [taylor]: Taking taylor expansion of (/ 1 y) in b 8.881 * [taylor]: Taking taylor expansion of y in b 8.881 * [taylor]: Taking taylor expansion of (/ 1 x) in b 8.881 * [taylor]: Taking taylor expansion of x in b 8.881 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in a 8.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in a 8.881 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 8.881 * [taylor]: Taking taylor expansion of (* a b) in a 8.881 * [taylor]: Taking taylor expansion of a in a 8.882 * [taylor]: Taking taylor expansion of b in a 8.882 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in a 8.882 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in a 8.882 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in a 8.882 * [taylor]: Taking taylor expansion of (/ -1 t) in a 8.882 * [taylor]: Taking taylor expansion of -1 in a 8.882 * [taylor]: Taking taylor expansion of t in a 8.882 * [taylor]: Taking taylor expansion of z in a 8.882 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a 8.882 * [taylor]: Taking taylor expansion of 0.5 in a 8.882 * [taylor]: Taking taylor expansion of (/ 1 b) in a 8.882 * [taylor]: Taking taylor expansion of b in a 8.882 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in a 8.883 * [taylor]: Taking taylor expansion of (/ 1 z) in a 8.883 * [taylor]: Taking taylor expansion of z in a 8.883 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in a 8.883 * [taylor]: Taking taylor expansion of (/ 1 y) in a 8.883 * [taylor]: Taking taylor expansion of y in a 8.883 * [taylor]: Taking taylor expansion of (/ 1 x) in a 8.883 * [taylor]: Taking taylor expansion of x in a 8.883 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t 8.883 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in t 8.883 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 8.883 * [taylor]: Taking taylor expansion of (* a b) in t 8.883 * [taylor]: Taking taylor expansion of a in t 8.883 * [taylor]: Taking taylor expansion of b in t 8.883 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in t 8.883 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in t 8.883 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 8.883 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.883 * [taylor]: Taking taylor expansion of -1 in t 8.883 * [taylor]: Taking taylor expansion of t in t 8.884 * [taylor]: Taking taylor expansion of z in t 8.885 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t 8.885 * [taylor]: Taking taylor expansion of 0.5 in t 8.885 * [taylor]: Taking taylor expansion of (/ 1 b) in t 8.885 * [taylor]: Taking taylor expansion of b in t 8.885 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t 8.885 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.885 * [taylor]: Taking taylor expansion of z in t 8.885 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t 8.885 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.885 * [taylor]: Taking taylor expansion of y in t 8.885 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.885 * [taylor]: Taking taylor expansion of x in t 8.885 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z 8.885 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in z 8.885 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 8.886 * [taylor]: Taking taylor expansion of (* a b) in z 8.886 * [taylor]: Taking taylor expansion of a in z 8.886 * [taylor]: Taking taylor expansion of b in z 8.886 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in z 8.886 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z 8.886 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 8.886 * [taylor]: Taking taylor expansion of (/ -1 t) in z 8.886 * [taylor]: Taking taylor expansion of -1 in z 8.886 * [taylor]: Taking taylor expansion of t in z 8.886 * [taylor]: Taking taylor expansion of z in z 8.886 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z 8.886 * [taylor]: Taking taylor expansion of 0.5 in z 8.886 * [taylor]: Taking taylor expansion of (/ 1 b) in z 8.886 * [taylor]: Taking taylor expansion of b in z 8.886 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z 8.886 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.886 * [taylor]: Taking taylor expansion of z in z 8.886 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 8.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.886 * [taylor]: Taking taylor expansion of y in z 8.886 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.887 * [taylor]: Taking taylor expansion of x in z 8.887 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y 8.887 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in y 8.887 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 8.887 * [taylor]: Taking taylor expansion of (* a b) in y 8.887 * [taylor]: Taking taylor expansion of a in y 8.887 * [taylor]: Taking taylor expansion of b in y 8.887 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in y 8.887 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y 8.887 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 8.887 * [taylor]: Taking taylor expansion of (/ -1 t) in y 8.887 * [taylor]: Taking taylor expansion of -1 in y 8.887 * [taylor]: Taking taylor expansion of t in y 8.887 * [taylor]: Taking taylor expansion of z in y 8.887 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y 8.887 * [taylor]: Taking taylor expansion of 0.5 in y 8.887 * [taylor]: Taking taylor expansion of (/ 1 b) in y 8.887 * [taylor]: Taking taylor expansion of b in y 8.887 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y 8.887 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.887 * [taylor]: Taking taylor expansion of z in y 8.887 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.887 * [taylor]: Taking taylor expansion of y in y 8.888 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.888 * [taylor]: Taking taylor expansion of x in y 8.888 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 8.888 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in x 8.888 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 8.888 * [taylor]: Taking taylor expansion of (* a b) in x 8.888 * [taylor]: Taking taylor expansion of a in x 8.888 * [taylor]: Taking taylor expansion of b in x 8.888 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in x 8.888 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x 8.888 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 8.888 * [taylor]: Taking taylor expansion of (/ -1 t) in x 8.888 * [taylor]: Taking taylor expansion of -1 in x 8.888 * [taylor]: Taking taylor expansion of t in x 8.888 * [taylor]: Taking taylor expansion of z in x 8.888 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x 8.888 * [taylor]: Taking taylor expansion of 0.5 in x 8.888 * [taylor]: Taking taylor expansion of (/ 1 b) in x 8.888 * [taylor]: Taking taylor expansion of b in x 8.888 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 8.888 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.888 * [taylor]: Taking taylor expansion of z in x 8.888 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.888 * [taylor]: Taking taylor expansion of y in x 8.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.888 * [taylor]: Taking taylor expansion of x in x 8.889 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x 8.889 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 8.889 * [taylor]: Taking taylor expansion of (* a b) in x 8.889 * [taylor]: Taking taylor expansion of a in x 8.889 * [taylor]: Taking taylor expansion of b in x 8.889 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in x 8.889 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in x 8.889 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 8.889 * [taylor]: Taking taylor expansion of (/ -1 t) in x 8.889 * [taylor]: Taking taylor expansion of -1 in x 8.889 * [taylor]: Taking taylor expansion of t in x 8.889 * [taylor]: Taking taylor expansion of z in x 8.889 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in x 8.889 * [taylor]: Taking taylor expansion of 0.5 in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 b) in x 8.889 * [taylor]: Taking taylor expansion of b in x 8.889 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.889 * [taylor]: Taking taylor expansion of z in x 8.889 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.889 * [taylor]: Taking taylor expansion of y in x 8.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.889 * [taylor]: Taking taylor expansion of x in x 8.891 * [taylor]: Taking taylor expansion of -1 in y 8.892 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (+ (/ 1 z) (/ 1 y))) in y 8.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in y 8.892 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 8.892 * [taylor]: Taking taylor expansion of (* a b) in y 8.892 * [taylor]: Taking taylor expansion of a in y 8.892 * [taylor]: Taking taylor expansion of b in y 8.892 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in y 8.892 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in y 8.892 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 8.892 * [taylor]: Taking taylor expansion of (/ -1 t) in y 8.892 * [taylor]: Taking taylor expansion of -1 in y 8.892 * [taylor]: Taking taylor expansion of t in y 8.893 * [taylor]: Taking taylor expansion of z in y 8.893 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in y 8.893 * [taylor]: Taking taylor expansion of 0.5 in y 8.893 * [taylor]: Taking taylor expansion of (/ 1 b) in y 8.893 * [taylor]: Taking taylor expansion of b in y 8.893 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 8.893 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.893 * [taylor]: Taking taylor expansion of z in y 8.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.893 * [taylor]: Taking taylor expansion of y in y 8.894 * [taylor]: Taking taylor expansion of -1 in z 8.894 * [taylor]: Taking taylor expansion of -1 in z 8.897 * [taylor]: Taking taylor expansion of 0 in y 8.899 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) (/ 1 z)) in z 8.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b)))) in z 8.899 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 8.899 * [taylor]: Taking taylor expansion of (* a b) in z 8.899 * [taylor]: Taking taylor expansion of a in z 8.899 * [taylor]: Taking taylor expansion of b in z 8.899 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 t)) z) (* 0.5 (/ 1 b))) in z 8.899 * [taylor]: Taking taylor expansion of (/ (log (/ -1 t)) z) in z 8.899 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 8.899 * [taylor]: Taking taylor expansion of (/ -1 t) in z 8.899 * [taylor]: Taking taylor expansion of -1 in z 8.899 * [taylor]: Taking taylor expansion of t in z 8.899 * [taylor]: Taking taylor expansion of z in z 8.899 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in z 8.899 * [taylor]: Taking taylor expansion of 0.5 in z 8.899 * [taylor]: Taking taylor expansion of (/ 1 b) in z 8.899 * [taylor]: Taking taylor expansion of b in z 8.899 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.899 * [taylor]: Taking taylor expansion of z in z 8.900 * [taylor]: Taking taylor expansion of (- (log (/ -1 t)) 1) in t 8.900 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 8.900 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.900 * [taylor]: Taking taylor expansion of -1 in t 8.900 * [taylor]: Taking taylor expansion of t in t 8.901 * [taylor]: Taking taylor expansion of 1 in t 8.902 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in a 8.902 * [taylor]: Taking taylor expansion of (log -1) in a 8.902 * [taylor]: Taking taylor expansion of -1 in a 8.902 * [taylor]: Taking taylor expansion of (+ (log t) 1) in a 8.902 * [taylor]: Taking taylor expansion of (log t) in a 8.902 * [taylor]: Taking taylor expansion of t in a 8.902 * [taylor]: Taking taylor expansion of 1 in a 8.902 * [taylor]: Taking taylor expansion of 0 in z 8.902 * [taylor]: Taking taylor expansion of -1 in t 8.902 * [taylor]: Taking taylor expansion of -1 in a 8.902 * [taylor]: Taking taylor expansion of -1 in t 8.902 * [taylor]: Taking taylor expansion of -1 in a 8.910 * [taylor]: Taking taylor expansion of 0 in y 8.910 * [taylor]: Taking taylor expansion of 0 in z 8.914 * [taylor]: Taking taylor expansion of 0 in z 8.914 * [taylor]: Taking taylor expansion of 0 in z 8.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in t 8.916 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 8.916 * [taylor]: Taking taylor expansion of (* a b) in t 8.916 * [taylor]: Taking taylor expansion of a in t 8.916 * [taylor]: Taking taylor expansion of b in t 8.917 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in t 8.917 * [taylor]: Taking taylor expansion of 0.5 in t 8.917 * [taylor]: Taking taylor expansion of (/ 1 b) in t 8.917 * [taylor]: Taking taylor expansion of b in t 8.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (* 0.5 (/ 1 b))) in a 8.917 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 8.917 * [taylor]: Taking taylor expansion of (* a b) in a 8.917 * [taylor]: Taking taylor expansion of a in a 8.917 * [taylor]: Taking taylor expansion of b in a 8.917 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in a 8.917 * [taylor]: Taking taylor expansion of 0.5 in a 8.917 * [taylor]: Taking taylor expansion of (/ 1 b) in a 8.917 * [taylor]: Taking taylor expansion of b in a 8.917 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.917 * [taylor]: Taking taylor expansion of b in b 8.918 * [taylor]: Taking taylor expansion of 0 in t 8.918 * [taylor]: Taking taylor expansion of 0 in a 8.918 * [taylor]: Taking taylor expansion of 0 in t 8.918 * [taylor]: Taking taylor expansion of 0 in a 8.918 * [taylor]: Taking taylor expansion of 0 in t 8.918 * [taylor]: Taking taylor expansion of 0 in a 8.920 * [taylor]: Taking taylor expansion of 0 in a 8.920 * [taylor]: Taking taylor expansion of 0 in a 8.920 * [taylor]: Taking taylor expansion of 0 in a 8.920 * [taylor]: Taking taylor expansion of (- (log -1) (+ (log t) 1)) in b 8.920 * [taylor]: Taking taylor expansion of (log -1) in b 8.921 * [taylor]: Taking taylor expansion of -1 in b 8.921 * [taylor]: Taking taylor expansion of (+ (log t) 1) in b 8.921 * [taylor]: Taking taylor expansion of (log t) in b 8.921 * [taylor]: Taking taylor expansion of t in b 8.921 * [taylor]: Taking taylor expansion of 1 in b 8.921 * [taylor]: Taking taylor expansion of -1 in b 8.921 * [taylor]: Taking taylor expansion of -1 in b 8.927 * [taylor]: Taking taylor expansion of 0 in y 8.927 * [taylor]: Taking taylor expansion of 0 in z 8.928 * [taylor]: Taking taylor expansion of 0 in z 8.933 * [taylor]: Taking taylor expansion of 0 in z 8.933 * [taylor]: Taking taylor expansion of 0 in z 8.933 * [taylor]: Taking taylor expansion of 0 in t 8.933 * [taylor]: Taking taylor expansion of 0 in a 8.933 * [taylor]: Taking taylor expansion of 0 in t 8.933 * [taylor]: Taking taylor expansion of 0 in a 8.933 * [taylor]: Taking taylor expansion of 0 in t 8.933 * [taylor]: Taking taylor expansion of 0 in a 8.937 * [taylor]: Taking taylor expansion of 0 in t 8.937 * [taylor]: Taking taylor expansion of 0 in a 8.937 * [taylor]: Taking taylor expansion of 0 in t 8.937 * [taylor]: Taking taylor expansion of 0 in a 8.938 * [taylor]: Taking taylor expansion of 0 in t 8.938 * [taylor]: Taking taylor expansion of 0 in a 8.938 * [taylor]: Taking taylor expansion of 0 in t 8.938 * [taylor]: Taking taylor expansion of 0 in a 8.938 * [taylor]: Taking taylor expansion of 0 in a 8.939 * [taylor]: Taking taylor expansion of 0 in a 8.939 * [taylor]: Taking taylor expansion of 0 in a 8.939 * [taylor]: Taking taylor expansion of 0 in a 8.941 * [taylor]: Taking taylor expansion of 0 in a 8.941 * [taylor]: Taking taylor expansion of 0 in a 8.941 * [taylor]: Taking taylor expansion of 0 in a 8.942 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 b)) in b 8.942 * [taylor]: Taking taylor expansion of 0.5 in b 8.942 * [taylor]: Taking taylor expansion of (/ 1 b) in b 8.942 * [taylor]: Taking taylor expansion of b in b 8.943 * [taylor]: Taking taylor expansion of 0 in b 8.943 * [taylor]: Taking taylor expansion of 0 in b 8.943 * [taylor]: Taking taylor expansion of 0 in b 8.943 * [taylor]: Taking taylor expansion of 0 in b 8.943 * [taylor]: Taking taylor expansion of 0 in b 8.943 * [taylor]: Taking taylor expansion of 0 in b 8.946 * [taylor]: Taking taylor expansion of 0 in b 8.946 * [taylor]: Taking taylor expansion of 0 in b 8.946 * [taylor]: Taking taylor expansion of 0 in b 8.949 * * * [progress]: simplifying candidates 8.951 * [simplify]: Simplifying using # : (expm1 (* z (log t))) (log1p (* z (log t))) (* z (log t)) (+ (log z) (log (log t))) (log (* z (log t))) (exp (* z (log t))) (* (* (* z z) z) (* (* (log t) (log t)) (log t))) (* (cbrt (* z (log t))) (cbrt (* z (log t)))) (cbrt (* z (log t))) (* (* (* z (log t)) (* z (log t))) (* z (log t))) (sqrt (* z (log t))) (sqrt (* z (log t))) (* (sqrt z) (sqrt (log t))) (* (sqrt z) (sqrt (log t))) (* z (log (* (cbrt t) (cbrt t)))) (* z (log (cbrt t))) (* z (log (sqrt t))) (* z (log (sqrt t))) (* z (log 1)) (* z (log t)) (* (log (* (cbrt t) (cbrt t))) z) (* (log (cbrt t)) z) (* (log (sqrt t)) z) (* (log (sqrt t)) z) (* (log 1) z) (* (log t) z) (* z 1) (* z (* (cbrt (log t)) (cbrt (log t)))) (* z (sqrt (log t))) (* z 1) (* (cbrt z) (log t)) (* (sqrt z) (log t)) (* z (log t)) (fma (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z))) (cbrt (+ (+ x y) z)) (- (* (log t) z))) (fma (- (log t)) z (* (log t) z)) (fma (sqrt (+ (+ x y) z)) (sqrt (+ (+ x y) z)) (- (* (log t) z))) (fma (- (log t)) z (* (log t) z)) (fma 1 (+ (+ x y) z) (- (* (log t) z))) (fma (- (log t)) z (* (log t) z)) (fma 1 (+ (+ x y) z) (- (* (log t) z))) (fma (- (log t)) z (* (log t) z)) (fma 1 (+ (+ x y) z) (- (* (log t) z))) (fma (- (log t)) z (* (log t) z)) (expm1 (- (+ (+ x y) z) (* z (log t)))) (log1p (- (+ (+ x y) z) (* z (log t)))) (- (* z (log t))) (- (* z (log t))) (- (* z (log t))) (- (* z (log t))) (- (* z (log t))) (/ (* (* (exp x) (exp y)) (exp z)) (exp (* z (log t)))) (/ (* (exp (+ x y)) (exp z)) (exp (* z (log t)))) (/ (exp (+ (+ x y) z)) (exp (* z (log t)))) (log (- (+ (+ x y) z) (* z (log t)))) (exp (- (+ (+ x y) z) (* z (log t)))) (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t)))) (* (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (- (+ (+ x y) z) (* z (log t)))) (sqrt (- (+ (+ x y) z) (* z (log t)))) (sqrt (- (+ (+ x y) z) (* z (log t)))) (- (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))) (- (+ (+ x y) z) (* z (log (* (cbrt t) (cbrt t))))) (- (+ (+ x y) z) (* z (log (sqrt t)))) (- (+ (+ x y) z) (* z (log 1))) (- (+ (+ x y) z) (* (log (* (cbrt t) (cbrt t))) z)) (- (+ (+ x y) z) (* (log (sqrt t)) z)) (- (+ (+ x y) z) (* (log 1) z)) (- z (* z (log t))) (- (* z (log t))) (expm1 (* (- a 0.5) b)) (log1p (* (- a 0.5) b)) (* (- a 0.5) b) (+ (log (- a 0.5)) (log b)) (log (* (- a 0.5) b)) (exp (* (- a 0.5) b)) (* (* (* (- a 0.5) (- a 0.5)) (- a 0.5)) (* (* b b) b)) (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b))) (cbrt (* (- a 0.5) b)) (* (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- a 0.5) b)) (sqrt (* (- a 0.5) b)) (sqrt (* (- a 0.5) b)) (* (sqrt (- a 0.5)) (sqrt b)) (* (sqrt (- a 0.5)) (sqrt b)) (* (- a 0.5) (* (cbrt b) (cbrt b))) (* (- a 0.5) (sqrt b)) (* (- a 0.5) 1) (* (cbrt (- a 0.5)) b) (* (sqrt (- a 0.5)) b) (* (- a 0.5) b) (* (- (sqrt a) (sqrt 0.5)) b) (* (- a 0.5) b) (* (- (pow a 3) (pow 0.5 3)) b) (* (- (* a a) (* 0.5 0.5)) b) (expm1 (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (log1p (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (* (/ (* (* (exp x) (exp y)) (exp z)) (exp (* z (log t)))) (exp (* (- a 0.5) b))) (* (/ (* (exp (+ x y)) (exp z)) (exp (* z (log t)))) (exp (* (- a 0.5) b))) (* (/ (exp (+ (+ x y) z)) (exp (* z (log t)))) (exp (* (- a 0.5) b))) (* (exp (- (+ (+ x y) z) (* z (log t)))) (exp (* (- a 0.5) b))) (log (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (exp (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (* (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (cbrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (* (* (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (sqrt (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))) (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (pow a 3) (pow 0.5 3)) b))) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (+ (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ a 0.5)) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (* (- (* a a) (* 0.5 0.5)) b))) (* (+ (* (+ (+ x y) z) (+ (+ x y) z)) (+ (* (* z (log t)) (* z (log t))) (* (+ (+ x y) z) (* z (log t))))) (+ a 0.5)) (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (pow a 3) (pow 0.5 3)) b))) (* (+ (+ (+ x y) z) (* z (log t))) (+ (* a a) (+ (* 0.5 0.5) (* a 0.5)))) (+ (* (- (* (+ (+ x y) z) (+ (+ x y) z)) (* (* z (log t)) (* z (log t)))) (+ a 0.5)) (* (+ (+ (+ x y) z) (* z (log t))) (* (- (* a a) (* 0.5 0.5)) b))) (* (+ (+ (+ x y) z) (* z (log t))) (+ a 0.5)) (+ (pow (- (+ (+ x y) z) (* z (log t))) 3) (pow (* (- a 0.5) b) 3)) (+ (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (- (* (* (- a 0.5) b) (* (- a 0.5) b)) (* (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))) (- (* (- (+ (+ x y) z) (* z (log t))) (- (+ (+ x y) z) (* z (log t)))) (* (* (- a 0.5) b) (* (- a 0.5) b))) (- (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)) (+ (fma (- (log t)) z (* (log t) z)) (* (- a 0.5) b)) (+ (fma (- (log t)) z (* (log t) z)) (* (- a 0.5) b)) (+ (fma (- (log t)) z (* (log t) z)) (* (- a 0.5) b)) (+ (fma (- (log t)) z (* (log t) z)) (* (- a 0.5) b)) (+ (fma (- (log t)) z (* (log t) z)) (* (- a 0.5) b)) (+ (- (* z (log t))) (* (- a 0.5) b)) (+ (- z (* z (log t))) (* (- a 0.5) b)) (+ (- (* z (log t))) (* (- a 0.5) b)) (- (* z (log t)) (* (- a 0.5) b)) (* (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)) (- (* a b) (* 0.5 b)) (- (* a b) (* 0.5 b)) (- (* a b) (* 0.5 b)) (- (+ x (+ z y)) (* (log t) z)) (- (+ (* (log (/ 1 t)) z) (+ (* a b) z)) (* 0.5 b)) (- (+ (* (log (/ -1 t)) z) (+ z (* a b))) (+ (* (log -1) z) (* 0.5 b))) 8.957 * * [simplify]: iteration 0 : 222 enodes (cost 1851 ) 9.011 * * [simplify]: iteration 1 : 576 enodes (cost 1715 ) 9.194 * * [simplify]: iteration 2 : 2301 enodes (cost 1571 ) 9.778 * * [simplify]: iteration done : 5000 enodes (cost 1571 ) 9.779 * [simplify]: Simplified to: (expm1 (* z (log t))) (log1p (* z (log t))) (* z (log t)) (log (* z (log t))) (log (* z (log t))) (pow t z) (pow (* z (log t)) 3) (* (cbrt (* z (log t))) (cbrt (* z (log t)))) (cbrt (* z (log t))) (pow (* z (log t)) 3) (sqrt (* z (log t))) (sqrt (* z (log t))) (* (sqrt z) (sqrt (log t))) (* (sqrt z) (sqrt (log t))) (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))) (* z (log (sqrt t))) (* z (log (sqrt t))) 0 (* z (log t)) (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))) (* z (log (sqrt t))) (* z (log (sqrt t))) 0 (* z (log t)) z (* z (* (cbrt (log t)) (cbrt (log t)))) (* z (sqrt (log t))) z (* (cbrt z) (log t)) (* (sqrt z) (log t)) (* z (log t)) (fma (* (cbrt (+ (+ x y) z)) (cbrt (+ (+ x y) z))) (cbrt (+ (+ x y) z)) (- (* (log t) z))) (* (log t) (+ (- z) z)) (+ (+ (fma (- (log t)) z y) z) x) (* (log t) (+ (- z) z)) (+ (+ (fma (- (log t)) z y) z) x) (* (log t) (+ (- z) z)) (+ (+ (fma (- (log t)) z y) z) x) (* (log t) (+ (- z) z)) (+ (+ (fma (- (log t)) z y) z) x) (* (log t) (+ (- z) z)) (expm1 (- (+ (+ x y) z) (* z (log t)))) (log1p (- (+ (+ x y) z) (* z (log t)))) (- (* (log t) z)) (- (* (log t) z)) (- (* (log t) z)) (- (* (log t) z)) (- (* (log t) z)) (/ (exp (+ (+ x y) z)) (pow t z)) (/ (exp (+ (+ x y) z)) (pow t z)) (/ (exp (+ (+ x y) z)) (pow t z)) (log (- (+ (+ x y) z) (* z (log t)))) (/ (exp (+ (+ x y) z)) (pow t z)) (* (cbrt (- (+ (+ x y) z) (* z (log t)))) (cbrt (- (+ (+ x y) z) (* z (log t))))) (cbrt (- (+ (+ x y) z) (* z (log t)))) (pow (- (+ x (+ z y)) (* (log t) z)) 3) (sqrt (- (+ (+ x y) z) (* z (log t)))) (sqrt (- (+ (+ x y) z) (* z (log t)))) (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (fma (* z (log t)) (fma (log t) z (+ (+ z y) x)) (* (+ (+ x y) z) (+ (+ x y) z))) (- (* (log t) z)) (* (+ (+ (fma (- (log t)) z y) z) x) (fma (log t) z (+ (+ z y) x))) (fma (log t) z (+ (+ z y) x)) (- (+ (+ z y) x) (* z (* 2 (log (cbrt t))))) (- (+ (+ x y) z) (* z (log (sqrt t)))) (+ (+ x (+ z y)) 0) (- (+ (+ z y) x) (* z (* 2 (log (cbrt t))))) (- (+ (+ x y) z) (* z (log (sqrt t)))) (+ (+ x (+ z y)) 0) (- z (* z (log t))) (- (* (log t) z)) (expm1 (* (- a 0.5) b)) (log1p (* (- a 0.5) b)) (* (- a 0.5) b) (log (* (- a 0.5) b)) (log (* (- a 0.5) b)) (exp (* (- a 0.5) b)) (pow (* (- a 0.5) b) 3) (* (cbrt (* (- a 0.5) b)) (cbrt (* (- a 0.5) b))) (cbrt (* (- a 0.5) b)) (pow (* (- a 0.5) b) 3) (sqrt (* (- a 0.5) b)) (sqrt (* (- a 0.5) b)) (* (sqrt (- a 0.5)) (sqrt b)) (* (sqrt (- a 0.5)) (sqrt b)) (* (- a 0.5) (* (cbrt b) (cbrt b))) (* (- a 0.5) (sqrt b)) (- a 0.5) (* (cbrt (- a 0.5)) b) (* (sqrt (- a 0.5)) b) (* (- a 0.5) b) (* (- (sqrt a) (sqrt 0.5)) b) (* (- a 0.5) b) (* (- (pow a 3) (pow 0.5 3)) b) (* (- (* a a) (* 0.5 0.5)) b) (expm1 (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (log1p (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (exp (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (exp (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (exp (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (exp (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (log (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (exp (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (* (cbrt (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (cbrt (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x)))) (cbrt (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (pow (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x)) 3) (sqrt (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (sqrt (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (fma (* (- (pow a 3) (pow 0.5 3)) (fma (* z (log t)) (fma (log t) z (+ (+ z y) x)) (* (+ (+ x y) z) (+ (+ x y) z)))) b (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (fma a a (* 0.5 (+ a 0.5))))) (* (fma (* z (log t)) (fma (log t) z (+ (+ z y) x)) (* (+ (+ x y) z) (+ (+ x y) z))) (fma a a (* 0.5 (+ a 0.5)))) (fma (fma (* z (log t)) (fma (log t) z (+ (+ z y) x)) (* (+ (+ x y) z) (+ (+ x y) z))) (* (- (* a a) (* 0.5 0.5)) b) (* (- (pow (+ (+ x y) z) 3) (pow (* z (log t)) 3)) (+ a 0.5))) (* (+ a 0.5) (fma (* z (log t)) (fma (log t) z (+ (+ z y) x)) (* (+ (+ x y) z) (+ (+ x y) z)))) (fma (* (- (pow a 3) (pow 0.5 3)) b) (fma (log t) z (+ (+ z y) x)) (* (fma a a (* 0.5 (+ a 0.5))) (* (+ (+ (fma (- (log t)) z y) z) x) (fma (log t) z (+ (+ z y) x))))) (* (fma (log t) z (+ (+ z y) x)) (fma a a (* 0.5 (+ a 0.5)))) (fma (+ a 0.5) (* (+ (+ (fma (- (log t)) z y) z) x) (fma (log t) z (+ (+ z y) x))) (* (fma (log t) z (+ (+ z y) x)) (* (- (* a a) (* 0.5 0.5)) b))) (* (fma (log t) z (+ (+ z y) x)) (+ a 0.5)) (+ (pow (- (+ (+ x y) z) (* z (log t))) 3) (pow (* (- a 0.5) b) 3)) (fma (- (+ x (+ z y)) (* (log t) z)) (- (+ x (+ z y)) (* (log t) z)) (* (* (- a 0.5) b) (- (* (- a 0.5) b) (- (+ x (+ z y)) (* (log t) z))))) (* (- (+ (+ z y) x) (fma (log t) z (* (- a 0.5) b))) (fma (- a 0.5) b (+ (+ (fma (- (log t)) z y) z) x))) (- (+ (+ z y) x) (fma (log t) z (* (- a 0.5) b))) (fma (- a 0.5) b (* (log t) (+ (- z) z))) (fma (- a 0.5) b (* (log t) (+ (- z) z))) (fma (- a 0.5) b (* (log t) (+ (- z) z))) (fma (- a 0.5) b (* (log t) (+ (- z) z))) (fma (- a 0.5) b (* (log t) (+ (- z) z))) (fma z (- (log t)) (* (- a 0.5) b)) (fma b (- a 0.5) (- z (* z (log t)))) (fma z (- (log t)) (* (- a 0.5) b)) (- (* z (log t)) (* (- a 0.5) b)) (* z (log t)) (* z (log t)) (* z (- (log -1) (log (/ -1 t)))) (+ (+ (fma (- (log t)) z y) z) x) (+ (+ (fma (- (log t)) z y) z) x) (- (fma (log (/ -1 t)) z (+ (+ x y) z)) (* (log -1) z)) (* (- a 0.5) b) (* (- a 0.5) b) (* (- a 0.5) b) (+ (+ (fma (- (log t)) z y) z) x) (fma b (- a 0.5) (- z (* z (log t)))) (- (fma (log (/ -1 t)) z (fma a b z)) (fma (log -1) z (* 0.5 b))) 9.780 * * * [progress]: adding candidates to table 10.191 * * [progress]: iteration 3 / 4 10.191 * * * [progress]: picking best candidate 10.220 * * * * [pick]: Picked # 10.220 * * * [progress]: localizing error 10.239 * * * [progress]: generating rewritten candidates 10.239 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2 1) 10.240 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2 1) 10.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 10.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 10.263 * * * [progress]: generating series expansions 10.263 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2 1) 10.264 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 10.264 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.264 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.264 * [taylor]: Taking taylor expansion of 1/3 in t 10.264 * [taylor]: Taking taylor expansion of (log t) in t 10.264 * [taylor]: Taking taylor expansion of t in t 10.265 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.265 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.265 * [taylor]: Taking taylor expansion of 1/3 in t 10.265 * [taylor]: Taking taylor expansion of (log t) in t 10.265 * [taylor]: Taking taylor expansion of t in t 10.322 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 10.322 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.322 * [taylor]: Taking taylor expansion of 1/3 in t 10.322 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.322 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.322 * [taylor]: Taking taylor expansion of t in t 10.323 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.323 * [taylor]: Taking taylor expansion of 1/3 in t 10.323 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.323 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.323 * [taylor]: Taking taylor expansion of t in t 10.384 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 10.384 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.384 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.384 * [taylor]: Taking taylor expansion of -1 in t 10.385 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.385 * [taylor]: Taking taylor expansion of 1/3 in t 10.385 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.385 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.385 * [taylor]: Taking taylor expansion of t in t 10.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.386 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.386 * [taylor]: Taking taylor expansion of -1 in t 10.387 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.387 * [taylor]: Taking taylor expansion of 1/3 in t 10.387 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.387 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.387 * [taylor]: Taking taylor expansion of t in t 10.461 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2 1) 10.461 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 10.461 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.461 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.461 * [taylor]: Taking taylor expansion of 1/3 in t 10.461 * [taylor]: Taking taylor expansion of (log t) in t 10.461 * [taylor]: Taking taylor expansion of t in t 10.462 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.462 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.462 * [taylor]: Taking taylor expansion of 1/3 in t 10.462 * [taylor]: Taking taylor expansion of (log t) in t 10.462 * [taylor]: Taking taylor expansion of t in t 10.514 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 10.514 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.514 * [taylor]: Taking taylor expansion of 1/3 in t 10.514 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.514 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.514 * [taylor]: Taking taylor expansion of t in t 10.515 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.515 * [taylor]: Taking taylor expansion of 1/3 in t 10.515 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.515 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.515 * [taylor]: Taking taylor expansion of t in t 10.578 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 10.578 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.578 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.578 * [taylor]: Taking taylor expansion of -1 in t 10.579 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.579 * [taylor]: Taking taylor expansion of 1/3 in t 10.579 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.579 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.579 * [taylor]: Taking taylor expansion of t in t 10.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.580 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.580 * [taylor]: Taking taylor expansion of -1 in t 10.581 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.581 * [taylor]: Taking taylor expansion of 1/3 in t 10.581 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.581 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.581 * [taylor]: Taking taylor expansion of t in t 10.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 10.655 * [approximate]: Taking taylor expansion of (* 3 (* (log (pow t 1/3)) z)) in (z t) around 0 10.655 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow t 1/3)) z)) in t 10.655 * [taylor]: Taking taylor expansion of 3 in t 10.655 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in t 10.655 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t 10.655 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.655 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.655 * [taylor]: Taking taylor expansion of 1/3 in t 10.655 * [taylor]: Taking taylor expansion of (log t) in t 10.655 * [taylor]: Taking taylor expansion of t in t 10.656 * [taylor]: Taking taylor expansion of z in t 10.656 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow t 1/3)) z)) in z 10.656 * [taylor]: Taking taylor expansion of 3 in z 10.656 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z 10.656 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z 10.656 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 10.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 10.656 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 10.656 * [taylor]: Taking taylor expansion of 1/3 in z 10.656 * [taylor]: Taking taylor expansion of (log t) in z 10.656 * [taylor]: Taking taylor expansion of t in z 10.656 * [taylor]: Taking taylor expansion of z in z 10.656 * [taylor]: Taking taylor expansion of (* 3 (* (log (pow t 1/3)) z)) in z 10.656 * [taylor]: Taking taylor expansion of 3 in z 10.656 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z 10.656 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z 10.656 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 10.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 10.656 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 10.656 * [taylor]: Taking taylor expansion of 1/3 in z 10.656 * [taylor]: Taking taylor expansion of (log t) in z 10.656 * [taylor]: Taking taylor expansion of t in z 10.657 * [taylor]: Taking taylor expansion of z in z 10.657 * [taylor]: Taking taylor expansion of 0 in t 10.660 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in t 10.660 * [taylor]: Taking taylor expansion of 3 in t 10.660 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t 10.660 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.660 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.660 * [taylor]: Taking taylor expansion of 1/3 in t 10.660 * [taylor]: Taking taylor expansion of (log t) in t 10.660 * [taylor]: Taking taylor expansion of t in t 10.667 * [taylor]: Taking taylor expansion of 0 in t 10.677 * [taylor]: Taking taylor expansion of 0 in t 10.677 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) z)) in (z t) around 0 10.677 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) z)) in t 10.677 * [taylor]: Taking taylor expansion of 3 in t 10.677 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in t 10.677 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t 10.677 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.678 * [taylor]: Taking taylor expansion of 1/3 in t 10.678 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.678 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.678 * [taylor]: Taking taylor expansion of t in t 10.679 * [taylor]: Taking taylor expansion of z in t 10.679 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) z)) in z 10.679 * [taylor]: Taking taylor expansion of 3 in z 10.679 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z 10.679 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z 10.679 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.679 * [taylor]: Taking taylor expansion of 1/3 in z 10.679 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.679 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.679 * [taylor]: Taking taylor expansion of t in z 10.679 * [taylor]: Taking taylor expansion of z in z 10.679 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 t) 1/3)) z)) in z 10.679 * [taylor]: Taking taylor expansion of 3 in z 10.679 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z 10.679 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z 10.679 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.680 * [taylor]: Taking taylor expansion of 1/3 in z 10.680 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.680 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.680 * [taylor]: Taking taylor expansion of t in z 10.680 * [taylor]: Taking taylor expansion of z in z 10.680 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in t 10.680 * [taylor]: Taking taylor expansion of 3 in t 10.680 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t 10.680 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.680 * [taylor]: Taking taylor expansion of 1/3 in t 10.680 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.680 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.680 * [taylor]: Taking taylor expansion of t in t 10.685 * [taylor]: Taking taylor expansion of 0 in t 10.694 * [taylor]: Taking taylor expansion of 0 in t 10.708 * [taylor]: Taking taylor expansion of 0 in t 10.709 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z))) in (z t) around 0 10.709 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z))) in t 10.709 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in t 10.709 * [taylor]: Taking taylor expansion of 3 in t 10.709 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z) in t 10.709 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t 10.709 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.709 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.709 * [taylor]: Taking taylor expansion of -1 in t 10.710 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.710 * [taylor]: Taking taylor expansion of 1/3 in t 10.710 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.710 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.710 * [taylor]: Taking taylor expansion of t in t 10.712 * [taylor]: Taking taylor expansion of z in t 10.712 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z))) in z 10.713 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in z 10.713 * [taylor]: Taking taylor expansion of 3 in z 10.713 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z) in z 10.713 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in z 10.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z 10.713 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.713 * [taylor]: Taking taylor expansion of -1 in z 10.713 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.714 * [taylor]: Taking taylor expansion of 1/3 in z 10.714 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.714 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.714 * [taylor]: Taking taylor expansion of t in z 10.721 * [taylor]: Taking taylor expansion of z in z 10.721 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z))) in z 10.721 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in z 10.721 * [taylor]: Taking taylor expansion of 3 in z 10.721 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z) in z 10.721 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in z 10.721 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z 10.721 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.721 * [taylor]: Taking taylor expansion of -1 in z 10.722 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.722 * [taylor]: Taking taylor expansion of 1/3 in z 10.722 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.722 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.722 * [taylor]: Taking taylor expansion of t in z 10.723 * [taylor]: Taking taylor expansion of z in z 10.725 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in t 10.725 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t 10.725 * [taylor]: Taking taylor expansion of 3 in t 10.725 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t 10.725 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.725 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.725 * [taylor]: Taking taylor expansion of -1 in t 10.726 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.726 * [taylor]: Taking taylor expansion of 1/3 in t 10.726 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.726 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.726 * [taylor]: Taking taylor expansion of t in t 10.734 * [taylor]: Taking taylor expansion of 0 in t 10.748 * [taylor]: Taking taylor expansion of 0 in t 10.770 * [taylor]: Taking taylor expansion of 0 in t 10.770 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 10.770 * [approximate]: Taking taylor expansion of (* (log (pow t 1/3)) z) in (z t) around 0 10.770 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in t 10.771 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t 10.771 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.771 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.771 * [taylor]: Taking taylor expansion of 1/3 in t 10.771 * [taylor]: Taking taylor expansion of (log t) in t 10.771 * [taylor]: Taking taylor expansion of t in t 10.771 * [taylor]: Taking taylor expansion of z in t 10.772 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z 10.772 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z 10.772 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 10.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 10.772 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 10.772 * [taylor]: Taking taylor expansion of 1/3 in z 10.772 * [taylor]: Taking taylor expansion of (log t) in z 10.772 * [taylor]: Taking taylor expansion of t in z 10.772 * [taylor]: Taking taylor expansion of z in z 10.772 * [taylor]: Taking taylor expansion of (* (log (pow t 1/3)) z) in z 10.772 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z 10.772 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 10.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 10.772 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 10.772 * [taylor]: Taking taylor expansion of 1/3 in z 10.772 * [taylor]: Taking taylor expansion of (log t) in z 10.772 * [taylor]: Taking taylor expansion of t in z 10.772 * [taylor]: Taking taylor expansion of z in z 10.772 * [taylor]: Taking taylor expansion of 0 in t 10.775 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t 10.775 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 10.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 10.775 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 10.775 * [taylor]: Taking taylor expansion of 1/3 in t 10.775 * [taylor]: Taking taylor expansion of (log t) in t 10.775 * [taylor]: Taking taylor expansion of t in t 10.781 * [taylor]: Taking taylor expansion of 0 in t 10.790 * [taylor]: Taking taylor expansion of 0 in t 10.790 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in (z t) around 0 10.790 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in t 10.790 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t 10.790 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.790 * [taylor]: Taking taylor expansion of 1/3 in t 10.791 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.791 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.791 * [taylor]: Taking taylor expansion of t in t 10.792 * [taylor]: Taking taylor expansion of z in t 10.792 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z 10.792 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z 10.792 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.792 * [taylor]: Taking taylor expansion of 1/3 in z 10.792 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.792 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.792 * [taylor]: Taking taylor expansion of t in z 10.792 * [taylor]: Taking taylor expansion of z in z 10.792 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 t) 1/3)) z) in z 10.792 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z 10.792 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.792 * [taylor]: Taking taylor expansion of 1/3 in z 10.792 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.792 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.792 * [taylor]: Taking taylor expansion of t in z 10.793 * [taylor]: Taking taylor expansion of z in z 10.793 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t 10.793 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.793 * [taylor]: Taking taylor expansion of 1/3 in t 10.793 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.793 * [taylor]: Taking taylor expansion of t in t 10.797 * [taylor]: Taking taylor expansion of 0 in t 10.805 * [taylor]: Taking taylor expansion of 0 in t 10.818 * [taylor]: Taking taylor expansion of 0 in t 10.824 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in (z t) around 0 10.824 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in t 10.824 * [taylor]: Taking taylor expansion of -1 in t 10.824 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z) in t 10.824 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t 10.824 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.824 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.824 * [taylor]: Taking taylor expansion of -1 in t 10.825 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.825 * [taylor]: Taking taylor expansion of 1/3 in t 10.825 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.825 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.825 * [taylor]: Taking taylor expansion of t in t 10.827 * [taylor]: Taking taylor expansion of z in t 10.828 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in z 10.828 * [taylor]: Taking taylor expansion of -1 in z 10.828 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z) in z 10.828 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in z 10.828 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z 10.828 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.828 * [taylor]: Taking taylor expansion of -1 in z 10.828 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.829 * [taylor]: Taking taylor expansion of 1/3 in z 10.829 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.829 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.829 * [taylor]: Taking taylor expansion of t in z 10.830 * [taylor]: Taking taylor expansion of z in z 10.830 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z)) in z 10.830 * [taylor]: Taking taylor expansion of -1 in z 10.830 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 t) 1/3))) z) in z 10.830 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in z 10.830 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z 10.830 * [taylor]: Taking taylor expansion of (cbrt -1) in z 10.830 * [taylor]: Taking taylor expansion of -1 in z 10.831 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 10.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 10.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 10.831 * [taylor]: Taking taylor expansion of 1/3 in z 10.831 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 10.831 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.831 * [taylor]: Taking taylor expansion of t in z 10.832 * [taylor]: Taking taylor expansion of z in z 10.833 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t 10.833 * [taylor]: Taking taylor expansion of -1 in t 10.833 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t 10.833 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 10.833 * [taylor]: Taking taylor expansion of (cbrt -1) in t 10.833 * [taylor]: Taking taylor expansion of -1 in t 10.834 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 10.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 10.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 10.834 * [taylor]: Taking taylor expansion of 1/3 in t 10.834 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.834 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.834 * [taylor]: Taking taylor expansion of t in t 10.842 * [taylor]: Taking taylor expansion of 0 in t 10.856 * [taylor]: Taking taylor expansion of 0 in t 10.877 * [taylor]: Taking taylor expansion of 0 in t 10.878 * * * [progress]: simplifying candidates 10.880 * [simplify]: Simplifying using # : (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (log1p (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (* (exp (* z (* 2 (log (cbrt t))))) (exp (* z (log (cbrt t))))) (log (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (exp (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (* (cbrt (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (cbrt (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t)))))) (cbrt (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (* (* (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t)))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (sqrt (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (sqrt (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))) (+ (pow (* z (* 2 (log (cbrt t)))) 3) (pow (* z (log (cbrt t))) 3)) (+ (* (* z (* 2 (log (cbrt t)))) (* z (* 2 (log (cbrt t))))) (- (* (* z (log (cbrt t))) (* z (log (cbrt t)))) (* (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t)))))) (- (* (* z (* 2 (log (cbrt t)))) (* z (* 2 (log (cbrt t))))) (* (* z (log (cbrt t))) (* z (log (cbrt t))))) (- (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t)))) (+ (* 2 (log (cbrt t))) (log (cbrt t))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt (* (cbrt t) (cbrt t)))))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt (sqrt t))))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt 1)))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (sqrt (cbrt t))))) (+ (* z (* 2 (log (cbrt t)))) (* z (log 1))) (+ (* z (* 2 (log (cbrt t)))) (* (log (cbrt (* (cbrt t) (cbrt t)))) z)) (+ (* z (* 2 (log (cbrt t)))) (* (log (cbrt (sqrt t))) z)) (+ (* z (* 2 (log (cbrt t)))) (* (log (cbrt 1)) z)) (+ (* z (* 2 (log (cbrt t)))) (* (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))) z)) (+ (* z (* 2 (log (cbrt t)))) (* (log (sqrt (cbrt t))) z)) (+ (* z (* 2 (log (cbrt t)))) (* (log 1) z)) (+ (* z (* 2 (log (cbrt (cbrt t))))) (* z (log (cbrt t)))) (+ (* z (* 2 (log (cbrt (sqrt t))))) (* z (log (cbrt t)))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t)))) (+ (* z (* 2 (log (cbrt (cbrt t))))) (* z (log (cbrt t)))) (+ (* z (* 2 (log (sqrt (cbrt t))))) (* z (log (cbrt t)))) (+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t)))) (+ (* z (* (log (cbrt (cbrt t))) 2)) (* z (log (cbrt t)))) (+ (* z (* (log (cbrt (sqrt t))) 2)) (* z (log (cbrt t)))) (+ (* z (* (log (cbrt t)) 2)) (* z (log (cbrt t)))) (+ (* z (* (log (cbrt (cbrt t))) 2)) (* z (log (cbrt t)))) (+ (* z (* (log (sqrt (cbrt t))) 2)) (* z (log (cbrt t)))) (+ (* z (* (log (cbrt t)) 2)) (* z (log (cbrt t)))) (+ (* (* 2 (log (cbrt (cbrt t)))) z) (* z (log (cbrt t)))) (+ (* (* 2 (log (cbrt (sqrt t)))) z) (* z (log (cbrt t)))) (+ (* (* 2 (log (cbrt t))) z) (* z (log (cbrt t)))) (+ (* (* 2 (log (cbrt (cbrt t)))) z) (* z (log (cbrt t)))) (+ (* (* 2 (log (sqrt (cbrt t)))) z) (* z (log (cbrt t)))) (+ (* (* 2 (log (cbrt t))) z) (* z (log (cbrt t)))) (+ (* (* (log (cbrt (cbrt t))) 2) z) (* z (log (cbrt t)))) (+ (* (* (log (cbrt (sqrt t))) 2) z) (* z (log (cbrt t)))) (+ (* (* (log (cbrt t)) 2) z) (* z (log (cbrt t)))) (+ (* (* (log (cbrt (cbrt t))) 2) z) (* z (log (cbrt t)))) (+ (* (* (log (sqrt (cbrt t))) 2) z) (* z (log (cbrt t)))) (+ (* (* (log (cbrt t)) 2) z) (* z (log (cbrt t)))) (expm1 (* z (log (cbrt t)))) (log1p (* z (log (cbrt t)))) (* z (log (cbrt t))) (+ (log z) (log (log (cbrt t)))) (log (* z (log (cbrt t)))) (exp (* z (log (cbrt t)))) (* (* (* z z) z) (* (* (log (cbrt t)) (log (cbrt t))) (log (cbrt t)))) (* (cbrt (* z (log (cbrt t)))) (cbrt (* z (log (cbrt t))))) (cbrt (* z (log (cbrt t)))) (* (* (* z (log (cbrt t))) (* z (log (cbrt t)))) (* z (log (cbrt t)))) (sqrt (* z (log (cbrt t)))) (sqrt (* z (log (cbrt t)))) (* (sqrt z) (sqrt (log (cbrt t)))) (* (sqrt z) (sqrt (log (cbrt t)))) (* z (log (cbrt (* (cbrt t) (cbrt t))))) (* z (log (cbrt (cbrt t)))) (* z (log (cbrt (sqrt t)))) (* z (log (cbrt (sqrt t)))) (* z (log (cbrt 1))) (* z (log (cbrt t))) (* z (log (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (* z (log (cbrt (cbrt t)))) (* z (log (sqrt (cbrt t)))) (* z (log (sqrt (cbrt t)))) (* z (log 1)) (* z (log (cbrt t))) (* (log (cbrt (* (cbrt t) (cbrt t)))) z) (* (log (cbrt (cbrt t))) z) (* (log (cbrt (sqrt t))) z) (* (log (cbrt (sqrt t))) z) (* (log (cbrt 1)) z) (* (log (cbrt t)) z) (* (log (* (cbrt (cbrt t)) (cbrt (cbrt t)))) z) (* (log (cbrt (cbrt t))) z) (* (log (sqrt (cbrt t))) z) (* (log (sqrt (cbrt t))) z) (* (log 1) z) (* (log (cbrt t)) z) (* z 1/3) (* z 1) (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (* z (sqrt (log (cbrt t)))) (* z 1) (* (cbrt z) (log (cbrt t))) (* (sqrt z) (log (cbrt t))) (* z (log (cbrt t))) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (* 3 (* (log (pow t 1/3)) z)) (* 3 (* z (log (pow (/ 1 t) -1/3)))) (* 3 (* z (log (* (pow (* -1 t) 1/3) (cbrt -1))))) (* (log (pow t 1/3)) z) (* z (log (pow (/ 1 t) -1/3))) (* z (log (* (pow (* -1 t) 1/3) (cbrt -1)))) 10.884 * * [simplify]: iteration 0 : 163 enodes (cost 1298 ) 10.936 * * [simplify]: iteration 1 : 348 enodes (cost 1057 ) 11.040 * * [simplify]: iteration 2 : 984 enodes (cost 949 ) 12.014 * * [simplify]: iteration 3 : 4570 enodes (cost 853 ) 13.918 * * [simplify]: iteration done : 5000 enodes (cost 839 ) 13.919 * [simplify]: Simplified to: (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) t (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) t (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (* (log t) z)) (log1p (* (log t) z)) (exp (* (log t) z)) (log (* (log t) z)) (exp (* (log t) z)) (* (cbrt (* (log t) z)) (cbrt (* (log t) z))) (cbrt (* (log t) z)) (pow (* (log t) z) 3) (sqrt (* (log t) z)) (sqrt (* (log t) z)) (* 9 (pow (* z (log (cbrt t))) 3)) (* z (* z (* (log t) (log (cbrt t))))) (* z (* z (* (log t) (log (cbrt t))))) (* z (log (cbrt t))) (* 1 (log t)) (* z (fma 2/3 (log t) (log (cbrt (pow t 2/3))))) (* z (fma 2/3 (log t) (log (cbrt (sqrt t))))) (* (fma 2/3 (log t) (log 1)) z) (* (fma (log (cbrt (cbrt t))) 2 (* 2/3 (log t))) z) (* z (fma 2/3 (log t) (log (sqrt (cbrt t))))) (* (* (log t) z) 2/3) (* z (fma 2/3 (log t) (log (cbrt (pow t 2/3))))) (* z (fma 2/3 (log t) (log (cbrt (sqrt t))))) (* (fma 2/3 (log t) (log 1)) z) (* (fma (log (cbrt (cbrt t))) 2 (* 2/3 (log t))) z) (* z (fma 2/3 (log t) (log (sqrt (cbrt t))))) (* (* (log t) z) 2/3) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (cbrt (sqrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (sqrt (cbrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (cbrt (sqrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (sqrt (cbrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (cbrt (sqrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (sqrt (cbrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (cbrt (sqrt t))) (log (cbrt t))) z) (* (log t) z) (* z (fma (log (cbrt (cbrt t))) 2 (log (cbrt t)))) (* (fma 2 (log (sqrt (cbrt t))) (log (cbrt t))) z) (* (log t) z) (expm1 (* z (log (cbrt t)))) (log1p (* z (log (cbrt t)))) (* z (log (cbrt t))) (log (* z (log (cbrt t)))) (log (* z (log (cbrt t)))) (pow (cbrt t) z) (pow (* z (log (cbrt t))) 3) (* (cbrt (* z (log (cbrt t)))) (cbrt (* z (log (cbrt t))))) (cbrt (* z (log (cbrt t)))) (pow (* z (log (cbrt t))) 3) (sqrt (* z (log (cbrt t)))) (sqrt (* z (log (cbrt t)))) (* (sqrt z) (sqrt (log (cbrt t)))) (* (sqrt z) (sqrt (log (cbrt t)))) (* z (log (cbrt (pow t 2/3)))) (* z (log (cbrt (cbrt t)))) (* z (log (cbrt (sqrt t)))) (* z (log (cbrt (sqrt t)))) (* z (log 1)) (* z (log (cbrt t))) (* z (* (log (cbrt (cbrt t))) 2)) (* z (log (cbrt (cbrt t)))) (* (log (sqrt (cbrt t))) z) (* (log (sqrt (cbrt t))) z) 0 (* z (log (cbrt t))) (* z (log (cbrt (pow t 2/3)))) (* z (log (cbrt (cbrt t)))) (* z (log (cbrt (sqrt t)))) (* z (log (cbrt (sqrt t)))) (* z (log 1)) (* z (log (cbrt t))) (* z (* (log (cbrt (cbrt t))) 2)) (* z (log (cbrt (cbrt t)))) (* (log (sqrt (cbrt t))) z) (* (log (sqrt (cbrt t))) z) 0 (* z (log (cbrt t))) (* z 1/3) z (* z (* (cbrt (log (cbrt t))) (cbrt (log (cbrt t))))) (* z (sqrt (log (cbrt t)))) z (* (cbrt z) (log (cbrt t))) (* (sqrt z) (log (cbrt t))) (* z (log (cbrt t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt -1) (cbrt (- t))) (* (log t) z) (* (* -1 (- (log t))) z) (* 3 (* (log (* (cbrt -1) (cbrt (- t)))) z)) (* z (log (cbrt t))) (* z (* -1/3 (- (log t)))) (* (log (* (cbrt -1) (cbrt (- t)))) z) 13.920 * * * [progress]: adding candidates to table 14.489 * * [progress]: iteration 4 / 4 14.489 * * * [progress]: picking best candidate 14.515 * * * * [pick]: Picked # 14.515 * * * [progress]: localizing error 14.554 * * * [progress]: generating rewritten candidates 14.554 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 2 1 1) 14.556 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 2 1) 14.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2 1 1) 14.557 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 1) 14.559 * * * [progress]: generating series expansions 14.559 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 2 1 1) 14.559 * [approximate]: Taking taylor expansion of (pow t 2/3) in (t) around 0 14.559 * [taylor]: Taking taylor expansion of (pow t 2/3) in t 14.559 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log t))) in t 14.559 * [taylor]: Taking taylor expansion of (* 2/3 (log t)) in t 14.559 * [taylor]: Taking taylor expansion of 2/3 in t 14.559 * [taylor]: Taking taylor expansion of (log t) in t 14.559 * [taylor]: Taking taylor expansion of t in t 14.560 * [taylor]: Taking taylor expansion of (pow t 2/3) in t 14.561 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log t))) in t 14.561 * [taylor]: Taking taylor expansion of (* 2/3 (log t)) in t 14.561 * [taylor]: Taking taylor expansion of 2/3 in t 14.561 * [taylor]: Taking taylor expansion of (log t) in t 14.561 * [taylor]: Taking taylor expansion of t in t 14.612 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 2/3) in (t) around 0 14.612 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 2/3) in t 14.612 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 t)))) in t 14.612 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 t))) in t 14.612 * [taylor]: Taking taylor expansion of 2/3 in t 14.612 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 14.612 * [taylor]: Taking taylor expansion of (/ 1 t) in t 14.612 * [taylor]: Taking taylor expansion of t in t 14.613 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 2/3) in t 14.613 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 t)))) in t 14.613 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 t))) in t 14.613 * [taylor]: Taking taylor expansion of 2/3 in t 14.613 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 14.613 * [taylor]: Taking taylor expansion of (/ 1 t) in t 14.613 * [taylor]: Taking taylor expansion of t in t 14.675 * [approximate]: Taking taylor expansion of (pow (/ -1 t) 2/3) in (t) around 0 14.675 * [taylor]: Taking taylor expansion of (pow (/ -1 t) 2/3) in t 14.675 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 t)))) in t 14.675 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 t))) in t 14.675 * [taylor]: Taking taylor expansion of 2/3 in t 14.675 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 14.675 * [taylor]: Taking taylor expansion of (/ -1 t) in t 14.675 * [taylor]: Taking taylor expansion of -1 in t 14.675 * [taylor]: Taking taylor expansion of t in t 14.677 * [taylor]: Taking taylor expansion of (pow (/ -1 t) 2/3) in t 14.677 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 t)))) in t 14.677 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 t))) in t 14.677 * [taylor]: Taking taylor expansion of 2/3 in t 14.677 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 14.677 * [taylor]: Taking taylor expansion of (/ -1 t) in t 14.677 * [taylor]: Taking taylor expansion of -1 in t 14.677 * [taylor]: Taking taylor expansion of t in t 14.745 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 2 1) 14.745 * [approximate]: Taking taylor expansion of (pow t 1/9) in (t) around 0 14.745 * [taylor]: Taking taylor expansion of (pow t 1/9) in t 14.745 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log t))) in t 14.745 * [taylor]: Taking taylor expansion of (* 1/9 (log t)) in t 14.745 * [taylor]: Taking taylor expansion of 1/9 in t 14.745 * [taylor]: Taking taylor expansion of (log t) in t 14.745 * [taylor]: Taking taylor expansion of t in t 14.746 * [taylor]: Taking taylor expansion of (pow t 1/9) in t 14.746 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log t))) in t 14.746 * [taylor]: Taking taylor expansion of (* 1/9 (log t)) in t 14.746 * [taylor]: Taking taylor expansion of 1/9 in t 14.746 * [taylor]: Taking taylor expansion of (log t) in t 14.746 * [taylor]: Taking taylor expansion of t in t 14.803 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/9) in (t) around 0 14.803 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t 14.803 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t 14.803 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t 14.803 * [taylor]: Taking taylor expansion of 1/9 in t 14.803 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 14.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t 14.803 * [taylor]: Taking taylor expansion of t in t 14.804 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t 14.804 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t 14.804 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t 14.804 * [taylor]: Taking taylor expansion of 1/9 in t 14.804 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 14.804 * [taylor]: Taking taylor expansion of (/ 1 t) in t 14.804 * [taylor]: Taking taylor expansion of t in t 14.860 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in (t) around 0 14.860 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in t 14.860 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t 14.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t 14.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t 14.860 * [taylor]: Taking taylor expansion of 1/3 in t 14.860 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t 14.860 * [taylor]: Taking taylor expansion of (cbrt -1) in t 14.860 * [taylor]: Taking taylor expansion of -1 in t 14.870 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t 14.870 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t 14.870 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t 14.870 * [taylor]: Taking taylor expansion of 1/9 in t 14.870 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 14.870 * [taylor]: Taking taylor expansion of (/ 1 t) in t 14.870 * [taylor]: Taking taylor expansion of t in t 14.871 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 t) 1/9)) in t 14.871 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t 14.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t 14.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t 14.871 * [taylor]: Taking taylor expansion of 1/3 in t 14.871 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t 14.871 * [taylor]: Taking taylor expansion of (cbrt -1) in t 14.871 * [taylor]: Taking taylor expansion of -1 in t 14.875 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/9) in t 14.875 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 t)))) in t 14.875 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 t))) in t 14.875 * [taylor]: Taking taylor expansion of 1/9 in t 14.875 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 14.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t 14.875 * [taylor]: Taking taylor expansion of t in t 15.006 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2 1 1) 15.006 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 15.006 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 15.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 15.006 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 15.006 * [taylor]: Taking taylor expansion of 1/3 in t 15.006 * [taylor]: Taking taylor expansion of (log t) in t 15.006 * [taylor]: Taking taylor expansion of t in t 15.007 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 15.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 15.007 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 15.007 * [taylor]: Taking taylor expansion of 1/3 in t 15.007 * [taylor]: Taking taylor expansion of (log t) in t 15.007 * [taylor]: Taking taylor expansion of t in t 15.286 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 15.286 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.286 * [taylor]: Taking taylor expansion of 1/3 in t 15.286 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.286 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.286 * [taylor]: Taking taylor expansion of t in t 15.287 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.287 * [taylor]: Taking taylor expansion of 1/3 in t 15.287 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.287 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.287 * [taylor]: Taking taylor expansion of t in t 15.346 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 15.346 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 15.346 * [taylor]: Taking taylor expansion of (cbrt -1) in t 15.346 * [taylor]: Taking taylor expansion of -1 in t 15.347 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.347 * [taylor]: Taking taylor expansion of 1/3 in t 15.347 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.347 * [taylor]: Taking taylor expansion of t in t 15.348 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 15.348 * [taylor]: Taking taylor expansion of (cbrt -1) in t 15.348 * [taylor]: Taking taylor expansion of -1 in t 15.349 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.349 * [taylor]: Taking taylor expansion of 1/3 in t 15.349 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.349 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.349 * [taylor]: Taking taylor expansion of t in t 15.419 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 1) 15.420 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 15.420 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 15.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 15.420 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 15.420 * [taylor]: Taking taylor expansion of 1/3 in t 15.420 * [taylor]: Taking taylor expansion of (log t) in t 15.420 * [taylor]: Taking taylor expansion of t in t 15.420 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 15.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 15.420 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 15.420 * [taylor]: Taking taylor expansion of 1/3 in t 15.420 * [taylor]: Taking taylor expansion of (log t) in t 15.420 * [taylor]: Taking taylor expansion of t in t 15.472 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 15.472 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.472 * [taylor]: Taking taylor expansion of 1/3 in t 15.472 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.472 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.472 * [taylor]: Taking taylor expansion of t in t 15.473 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.473 * [taylor]: Taking taylor expansion of 1/3 in t 15.473 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.473 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.473 * [taylor]: Taking taylor expansion of t in t 15.531 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 15.531 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 15.531 * [taylor]: Taking taylor expansion of (cbrt -1) in t 15.531 * [taylor]: Taking taylor expansion of -1 in t 15.532 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.532 * [taylor]: Taking taylor expansion of 1/3 in t 15.532 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.532 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.532 * [taylor]: Taking taylor expansion of t in t 15.533 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 15.533 * [taylor]: Taking taylor expansion of (cbrt -1) in t 15.533 * [taylor]: Taking taylor expansion of -1 in t 15.534 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 15.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 15.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 15.534 * [taylor]: Taking taylor expansion of 1/3 in t 15.534 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 15.534 * [taylor]: Taking taylor expansion of (/ 1 t) in t 15.534 * [taylor]: Taking taylor expansion of t in t 15.604 * * * [progress]: simplifying candidates 15.605 * [simplify]: Simplifying using # : (expm1 (pow t 2/3)) (log1p (pow t 2/3)) (* (log t) 2/3) (* (log t) 2/3) (* 1 2/3) (pow t (* (cbrt 2/3) (cbrt 2/3))) (pow t (sqrt 2/3)) (pow t 1) (pow (* (cbrt t) (cbrt t)) 2/3) (pow (cbrt t) 2/3) (pow (sqrt t) 2/3) (pow (sqrt t) 2/3) (pow 1 2/3) (pow t 2/3) (log (pow t 2/3)) (exp (pow t 2/3)) (* (cbrt (pow t 2/3)) (cbrt (pow t 2/3))) (cbrt (pow t 2/3)) (* (* (pow t 2/3) (pow t 2/3)) (pow t 2/3)) (sqrt (pow t 2/3)) (sqrt (pow t 2/3)) (pow t (/ 2/3 2)) (pow t (/ 2/3 2)) (expm1 (cbrt (cbrt t))) (log1p (cbrt (cbrt t))) (log (cbrt (cbrt t))) (exp (cbrt (cbrt t))) (cbrt (cbrt (* (cbrt t) (cbrt t)))) (cbrt (cbrt (cbrt t))) (cbrt (cbrt (sqrt t))) (cbrt (cbrt (sqrt t))) (cbrt (cbrt 1)) (cbrt (cbrt t)) (cbrt (* (cbrt (cbrt t)) (cbrt (cbrt t)))) (cbrt (cbrt (cbrt t))) (cbrt (sqrt (cbrt t))) (cbrt (sqrt (cbrt t))) (cbrt 1) (cbrt (cbrt t)) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt (cbrt (cbrt t))) (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t))) (sqrt (cbrt (cbrt t))) (sqrt (cbrt (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (pow t 2/3) (pow (/ 1 t) -2/3) (exp (* 2/3 (- (log -1) (log (/ -1 t))))) (pow t 1/9) (pow (/ 1 t) -1/9) (* (pow (* -1 t) 1/9) (pow (cbrt -1) 1/3)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) 15.607 * * [simplify]: iteration 0 : 81 enodes (cost 384 ) 15.624 * * [simplify]: iteration 1 : 150 enodes (cost 358 ) 15.655 * * [simplify]: iteration 2 : 291 enodes (cost 317 ) 15.735 * * [simplify]: iteration 3 : 716 enodes (cost 303 ) 16.243 * * [simplify]: iteration 4 : 2196 enodes (cost 299 ) 17.384 * * [simplify]: iteration done : 5000 enodes (cost 299 ) 17.384 * [simplify]: Simplified to: (expm1 (pow t 2/3)) (log1p (pow t 2/3)) (* 2/3 (log t)) (* 2/3 (log t)) 2/3 (pow t (* (cbrt 2/3) (cbrt 2/3))) (pow t (sqrt 2/3)) t (pow (pow t 2/3) 2/3) (pow (cbrt t) 2/3) (pow (sqrt t) 2/3) (pow (sqrt t) 2/3) 1 (pow t 2/3) (* 2/3 (log t)) (exp (pow t 2/3)) (pow (pow t 2/3) 2/3) (cbrt (pow t 2/3)) (* t t) (fabs (cbrt t)) (fabs (cbrt t)) (cbrt t) (cbrt t) (expm1 (cbrt (cbrt t))) (log1p (cbrt (cbrt t))) (log (cbrt (cbrt t))) (exp (cbrt (cbrt t))) (cbrt (cbrt (pow t 2/3))) (cbrt (cbrt (cbrt t))) (cbrt (cbrt (sqrt t))) (cbrt (cbrt (sqrt t))) (cbrt 1) (cbrt (cbrt t)) (cbrt (pow (cbrt t) 2/3)) (cbrt (cbrt (cbrt t))) (cbrt (sqrt (cbrt t))) (cbrt (sqrt (cbrt t))) 1 (cbrt (cbrt t)) (* (cbrt (cbrt (cbrt t))) (cbrt (cbrt (cbrt t)))) (cbrt (cbrt (cbrt t))) (cbrt t) (sqrt (cbrt (cbrt t))) (sqrt (cbrt (cbrt t))) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (pow (cbrt t) 2/3) (cbrt (cbrt t)) t (sqrt (cbrt t)) (sqrt (cbrt t)) (expm1 (cbrt t)) (log1p (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (pow (cbrt t) 2/3) (cbrt (cbrt t)) t (sqrt (cbrt t)) (sqrt (cbrt t)) (pow t 2/3) (pow (/ 1 t) -2/3) (pow t 2/3) (pow t 1/9) (pow (/ 1 t) -1/9) (* (cbrt (cbrt -1)) (pow (- t) 1/9)) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt (- t)) (cbrt -1)) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt (- t)) (cbrt -1)) 17.385 * * * [progress]: adding candidates to table 17.817 * [progress]: [Phase 3 of 3] Extracting. 17.817 * * [regime]: Finding splitpoints for: (# # # # # #) 17.822 * * * [regime-changes]: Trying 11 branch expressions: ((- a 0.5) (* (- a 0.5) b) (log t) (+ x y) (- (+ (+ x y) z) (* z (log t))) b a t z y x) 17.822 * * * * [regimes]: Trying to branch on (- a 0.5) from (# # # # # #) 17.862 * * * * [regimes]: Trying to branch on (* (- a 0.5) b) from (# # # # # #) 17.904 * * * * [regimes]: Trying to branch on (log t) from (# # # # # #) 17.950 * * * * [regimes]: Trying to branch on (log t) from (# # # #) 17.986 * * * * [regimes]: Trying to branch on (+ x y) from (# # # # # #) 18.029 * * * * [regimes]: Trying to branch on (- (+ (+ x y) z) (* z (log t))) from (# # # # # #) 18.076 * * * * [regimes]: Trying to branch on b from (# # # # # #) 18.119 * * * * [regimes]: Trying to branch on a from (# # # # # #) 18.160 * * * * [regimes]: Trying to branch on t from (# # # # # #) 18.203 * * * * [regimes]: Trying to branch on z from (# # # # # #) 18.245 * * * * [regimes]: Trying to branch on y from (# # # # # #) 18.288 * * * * [regimes]: Trying to branch on x from (# # # # # #) 18.328 * * * [regime]: Found split indices: #