16.919 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.104 * * * [progress]: [2/2] Setting up program. 0.107 * [progress]: [Phase 2 of 3] Improving. 0.107 * [simplify]: Simplifying using # : (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t) 0.108 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.110 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 0.113 * * [simplify]: iteration 2 : 48 enodes (cost 17 ) 0.120 * * [simplify]: iteration 3 : 86 enodes (cost 17 ) 0.137 * * [simplify]: iteration 4 : 190 enodes (cost 17 ) 0.191 * * [simplify]: iteration 5 : 413 enodes (cost 17 ) 0.488 * * [simplify]: iteration 6 : 953 enodes (cost 17 ) 2.028 * * [simplify]: iteration 7 : 1992 enodes (cost 17 ) 6.188 * * [simplify]: iteration 8 : 2586 enodes (cost 17 ) 8.006 * * [simplify]: iteration 9 : 2687 enodes (cost 17 ) 9.047 * * [simplify]: iteration done : 2687 enodes (cost 17 ) 9.047 * [simplify]: Simplified to: (- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t) 9.048 * * [progress]: iteration 1 / 4 9.048 * * * [progress]: picking best candidate 9.050 * * * * [pick]: Picked # 9.050 * * * [progress]: localizing error 9.064 * * * [progress]: generating rewritten candidates 9.064 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 9.066 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 9.078 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 9.100 * * * [progress]: generating series expansions 9.100 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 9.100 * [approximate]: Taking taylor expansion of (log (- 1.0 y)) in (y) around 0 9.100 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y 9.100 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.100 * [taylor]: Taking taylor expansion of 1.0 in y 9.100 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y 9.102 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.102 * [taylor]: Taking taylor expansion of 1.0 in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.114 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in (y) around 0 9.115 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y 9.115 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.115 * [taylor]: Taking taylor expansion of 1.0 in y 9.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.115 * [taylor]: Taking taylor expansion of y in y 9.116 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y 9.116 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.116 * [taylor]: Taking taylor expansion of 1.0 in y 9.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.116 * [taylor]: Taking taylor expansion of y in y 9.131 * [approximate]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in (y) around 0 9.131 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 9.131 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.131 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.131 * [taylor]: Taking taylor expansion of y in y 9.131 * [taylor]: Taking taylor expansion of 1.0 in y 9.132 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 9.132 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.132 * [taylor]: Taking taylor expansion of y in y 9.132 * [taylor]: Taking taylor expansion of 1.0 in y 9.144 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 9.144 * [approximate]: Taking taylor expansion of (* (- x 1.0) (log y)) in (x y) around 0 9.144 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log y)) in y 9.144 * [taylor]: Taking taylor expansion of (- x 1.0) in y 9.144 * [taylor]: Taking taylor expansion of x in y 9.144 * [taylor]: Taking taylor expansion of 1.0 in y 9.144 * [taylor]: Taking taylor expansion of (log y) in y 9.144 * [taylor]: Taking taylor expansion of y in y 9.145 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log y)) in x 9.145 * [taylor]: Taking taylor expansion of (- x 1.0) in x 9.145 * [taylor]: Taking taylor expansion of x in x 9.145 * [taylor]: Taking taylor expansion of 1.0 in x 9.145 * [taylor]: Taking taylor expansion of (log y) in x 9.145 * [taylor]: Taking taylor expansion of y in x 9.145 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log y)) in x 9.145 * [taylor]: Taking taylor expansion of (- x 1.0) in x 9.145 * [taylor]: Taking taylor expansion of x in x 9.145 * [taylor]: Taking taylor expansion of 1.0 in x 9.145 * [taylor]: Taking taylor expansion of (log y) in x 9.145 * [taylor]: Taking taylor expansion of y in x 9.146 * [taylor]: Taking taylor expansion of (* -1.0 (log y)) in y 9.146 * [taylor]: Taking taylor expansion of -1.0 in y 9.146 * [taylor]: Taking taylor expansion of (log y) in y 9.146 * [taylor]: Taking taylor expansion of y in y 9.148 * [taylor]: Taking taylor expansion of (log y) in y 9.148 * [taylor]: Taking taylor expansion of y in y 9.152 * [taylor]: Taking taylor expansion of 0 in y 9.158 * [taylor]: Taking taylor expansion of 0 in y 9.159 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in (x y) around 0 9.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in y 9.159 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 9.159 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.159 * [taylor]: Taking taylor expansion of x in y 9.159 * [taylor]: Taking taylor expansion of 1.0 in y 9.159 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.159 * [taylor]: Taking taylor expansion of y in y 9.159 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in x 9.159 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 9.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.159 * [taylor]: Taking taylor expansion of x in x 9.160 * [taylor]: Taking taylor expansion of 1.0 in x 9.160 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.160 * [taylor]: Taking taylor expansion of y in x 9.160 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in x 9.160 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 9.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.160 * [taylor]: Taking taylor expansion of x in x 9.160 * [taylor]: Taking taylor expansion of 1.0 in x 9.160 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.160 * [taylor]: Taking taylor expansion of y in x 9.160 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.161 * [taylor]: Taking taylor expansion of y in y 9.164 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ 1 y)))) in y 9.164 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in y 9.164 * [taylor]: Taking taylor expansion of 1.0 in y 9.164 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.164 * [taylor]: Taking taylor expansion of y in y 9.168 * [taylor]: Taking taylor expansion of 0 in y 9.180 * [taylor]: Taking taylor expansion of 0 in y 9.180 * [approximate]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in (x y) around 0 9.180 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in y 9.180 * [taylor]: Taking taylor expansion of -1 in y 9.180 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (+ 1.0 (/ 1 x))) in y 9.180 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.180 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.180 * [taylor]: Taking taylor expansion of -1 in y 9.180 * [taylor]: Taking taylor expansion of y in y 9.181 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 9.181 * [taylor]: Taking taylor expansion of 1.0 in y 9.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.181 * [taylor]: Taking taylor expansion of x in y 9.181 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in x 9.181 * [taylor]: Taking taylor expansion of -1 in x 9.181 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (+ 1.0 (/ 1 x))) in x 9.181 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.181 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.181 * [taylor]: Taking taylor expansion of -1 in x 9.181 * [taylor]: Taking taylor expansion of y in x 9.181 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 9.181 * [taylor]: Taking taylor expansion of 1.0 in x 9.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.181 * [taylor]: Taking taylor expansion of x in x 9.181 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in x 9.181 * [taylor]: Taking taylor expansion of -1 in x 9.181 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (+ 1.0 (/ 1 x))) in x 9.182 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 9.182 * [taylor]: Taking taylor expansion of (/ -1 y) in x 9.182 * [taylor]: Taking taylor expansion of -1 in x 9.182 * [taylor]: Taking taylor expansion of y in x 9.182 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 9.182 * [taylor]: Taking taylor expansion of 1.0 in x 9.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.182 * [taylor]: Taking taylor expansion of x in x 9.182 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 9.182 * [taylor]: Taking taylor expansion of -1 in y 9.182 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.182 * [taylor]: Taking taylor expansion of -1 in y 9.182 * [taylor]: Taking taylor expansion of y in y 9.186 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ -1 y)))) in y 9.186 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in y 9.186 * [taylor]: Taking taylor expansion of 1.0 in y 9.186 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 9.186 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.186 * [taylor]: Taking taylor expansion of -1 in y 9.186 * [taylor]: Taking taylor expansion of y in y 9.193 * [taylor]: Taking taylor expansion of 0 in y 9.203 * [taylor]: Taking taylor expansion of 0 in y 9.204 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 9.204 * [approximate]: Taking taylor expansion of (* (log (- 1.0 y)) (- z 1.0)) in (z y) around 0 9.204 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) (- z 1.0)) in y 9.204 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y 9.204 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.204 * [taylor]: Taking taylor expansion of 1.0 in y 9.204 * [taylor]: Taking taylor expansion of y in y 9.205 * [taylor]: Taking taylor expansion of (- z 1.0) in y 9.205 * [taylor]: Taking taylor expansion of z in y 9.205 * [taylor]: Taking taylor expansion of 1.0 in y 9.205 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) (- z 1.0)) in z 9.205 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in z 9.205 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 9.205 * [taylor]: Taking taylor expansion of 1.0 in z 9.205 * [taylor]: Taking taylor expansion of y in z 9.205 * [taylor]: Taking taylor expansion of (- z 1.0) in z 9.205 * [taylor]: Taking taylor expansion of z in z 9.205 * [taylor]: Taking taylor expansion of 1.0 in z 9.205 * [taylor]: Taking taylor expansion of (* (log (- 1.0 y)) (- z 1.0)) in z 9.205 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in z 9.205 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 9.205 * [taylor]: Taking taylor expansion of 1.0 in z 9.205 * [taylor]: Taking taylor expansion of y in z 9.205 * [taylor]: Taking taylor expansion of (- z 1.0) in z 9.205 * [taylor]: Taking taylor expansion of z in z 9.206 * [taylor]: Taking taylor expansion of 1.0 in z 9.207 * [taylor]: Taking taylor expansion of (* -1.0 (log (- 1.0 y))) in y 9.207 * [taylor]: Taking taylor expansion of -1.0 in y 9.207 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y 9.207 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.207 * [taylor]: Taking taylor expansion of 1.0 in y 9.207 * [taylor]: Taking taylor expansion of y in y 9.210 * [taylor]: Taking taylor expansion of (log (- 1.0 y)) in y 9.210 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 9.210 * [taylor]: Taking taylor expansion of 1.0 in y 9.210 * [taylor]: Taking taylor expansion of y in y 9.217 * [approximate]: Taking taylor expansion of (* (log (- 1.0 (/ 1 y))) (- (/ 1 z) 1.0)) in (z y) around 0 9.217 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 y))) (- (/ 1 z) 1.0)) in y 9.217 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y 9.217 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.217 * [taylor]: Taking taylor expansion of 1.0 in y 9.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.217 * [taylor]: Taking taylor expansion of y in y 9.218 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1.0) in y 9.218 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.218 * [taylor]: Taking taylor expansion of z in y 9.218 * [taylor]: Taking taylor expansion of 1.0 in y 9.218 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 y))) (- (/ 1 z) 1.0)) in z 9.219 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in z 9.219 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 9.219 * [taylor]: Taking taylor expansion of 1.0 in z 9.219 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.219 * [taylor]: Taking taylor expansion of y in z 9.219 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1.0) in z 9.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.219 * [taylor]: Taking taylor expansion of z in z 9.219 * [taylor]: Taking taylor expansion of 1.0 in z 9.219 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 y))) (- (/ 1 z) 1.0)) in z 9.219 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in z 9.219 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 9.219 * [taylor]: Taking taylor expansion of 1.0 in z 9.219 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.219 * [taylor]: Taking taylor expansion of y in z 9.219 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1.0) in z 9.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.219 * [taylor]: Taking taylor expansion of z in z 9.220 * [taylor]: Taking taylor expansion of 1.0 in z 9.220 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y 9.220 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.220 * [taylor]: Taking taylor expansion of 1.0 in y 9.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.220 * [taylor]: Taking taylor expansion of y in y 9.225 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (- 1.0 (/ 1 y))))) in y 9.225 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 y)))) in y 9.225 * [taylor]: Taking taylor expansion of 1.0 in y 9.225 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 y))) in y 9.225 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 9.225 * [taylor]: Taking taylor expansion of 1.0 in y 9.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.225 * [taylor]: Taking taylor expansion of y in y 9.234 * [approximate]: Taking taylor expansion of (* -1 (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0))) in (z y) around 0 9.234 * [taylor]: Taking taylor expansion of (* -1 (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0))) in y 9.234 * [taylor]: Taking taylor expansion of -1 in y 9.234 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0)) in y 9.234 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 9.234 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.234 * [taylor]: Taking taylor expansion of y in y 9.234 * [taylor]: Taking taylor expansion of 1.0 in y 9.235 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 9.235 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.235 * [taylor]: Taking taylor expansion of z in y 9.235 * [taylor]: Taking taylor expansion of 1.0 in y 9.235 * [taylor]: Taking taylor expansion of (* -1 (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0))) in z 9.235 * [taylor]: Taking taylor expansion of -1 in z 9.235 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0)) in z 9.235 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in z 9.235 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 9.235 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.235 * [taylor]: Taking taylor expansion of y in z 9.235 * [taylor]: Taking taylor expansion of 1.0 in z 9.235 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 9.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.235 * [taylor]: Taking taylor expansion of z in z 9.235 * [taylor]: Taking taylor expansion of 1.0 in z 9.236 * [taylor]: Taking taylor expansion of (* -1 (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0))) in z 9.236 * [taylor]: Taking taylor expansion of -1 in z 9.236 * [taylor]: Taking taylor expansion of (* (log (+ (/ 1 y) 1.0)) (+ (/ 1 z) 1.0)) in z 9.236 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in z 9.236 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 9.236 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.236 * [taylor]: Taking taylor expansion of y in z 9.236 * [taylor]: Taking taylor expansion of 1.0 in z 9.236 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 9.236 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.236 * [taylor]: Taking taylor expansion of z in z 9.236 * [taylor]: Taking taylor expansion of 1.0 in z 9.237 * [taylor]: Taking taylor expansion of (* -1 (log (+ (/ 1 y) 1.0))) in y 9.237 * [taylor]: Taking taylor expansion of -1 in y 9.237 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 9.237 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.237 * [taylor]: Taking taylor expansion of y in y 9.237 * [taylor]: Taking taylor expansion of 1.0 in y 9.240 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (+ (/ 1 y) 1.0)))) in y 9.240 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ (/ 1 y) 1.0))) in y 9.240 * [taylor]: Taking taylor expansion of 1.0 in y 9.240 * [taylor]: Taking taylor expansion of (log (+ (/ 1 y) 1.0)) in y 9.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 9.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.240 * [taylor]: Taking taylor expansion of y in y 9.240 * [taylor]: Taking taylor expansion of 1.0 in y 9.247 * * * [progress]: simplifying candidates 9.248 * [simplify]: Simplifying using # : (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (log (cbrt (- 1.0 y))) (log (sqrt (- 1.0 y))) (log (sqrt (- 1.0 y))) (log 1) (log (- 1.0 y)) (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))) (log 1) (log (- 1.0 y)) (log (- (pow 1.0 3) (pow y 3))) (log (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (log (- (* 1.0 1.0) (* y y))) (log (+ 1.0 y)) (log (- 1.0 y)) (log (log (- 1.0 y))) (exp (log (- 1.0 y))) (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))) (cbrt (log (- 1.0 y))) (* (* (log (- 1.0 y)) (log (- 1.0 y))) (log (- 1.0 y))) (sqrt (log (- 1.0 y))) (sqrt (log (- 1.0 y))) (* (- x 1.0) (log y)) (+ (log (- x 1.0)) (log (log y))) (log (* (- x 1.0) (log y))) (exp (* (- x 1.0) (log y))) (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (- x 1.0) (log y))) (cbrt (* (- x 1.0) (log y)))) (cbrt (* (- x 1.0) (log y))) (* (* (* (- x 1.0) (log y)) (* (- x 1.0) (log y))) (* (- x 1.0) (log y))) (sqrt (* (- x 1.0) (log y))) (sqrt (* (- x 1.0) (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (- x 1.0) (log (* (cbrt y) (cbrt y)))) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log 1)) (* (- x 1.0) (log y)) (* (log (* (cbrt y) (cbrt y))) (- x 1.0)) (* (log (cbrt y)) (- x 1.0)) (* (log (sqrt y)) (- x 1.0)) (* (log (sqrt y)) (- x 1.0)) (* (log 1) (- x 1.0)) (* (log y) (- x 1.0)) (* (- x 1.0) 1) (* (- x 1.0) (* (cbrt (log y)) (cbrt (log y)))) (* (- x 1.0) (sqrt (log y))) (* (- x 1.0) 1) (* (cbrt (- x 1.0)) (log y)) (* (sqrt (- x 1.0)) (log y)) (* (- x 1.0) (log y)) (* (- (sqrt x) (sqrt 1.0)) (log y)) (* (- x 1.0) (log y)) (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (- (* x x) (* 1.0 1.0)) (log y)) (* (- z 1.0) (log (- 1.0 y))) (+ (log (- z 1.0)) (log (log (- 1.0 y)))) (log (* (- z 1.0) (log (- 1.0 y)))) (exp (* (- z 1.0) (log (- 1.0 y)))) (* (* (* (- z 1.0) (- z 1.0)) (- z 1.0)) (* (* (log (- 1.0 y)) (log (- 1.0 y))) (log (- 1.0 y)))) (* (cbrt (* (- z 1.0) (log (- 1.0 y)))) (cbrt (* (- z 1.0) (log (- 1.0 y))))) (cbrt (* (- z 1.0) (log (- 1.0 y)))) (* (* (* (- z 1.0) (log (- 1.0 y))) (* (- z 1.0) (log (- 1.0 y)))) (* (- z 1.0) (log (- 1.0 y)))) (sqrt (* (- z 1.0) (log (- 1.0 y)))) (sqrt (* (- z 1.0) (log (- 1.0 y)))) (* (sqrt (- z 1.0)) (sqrt (log (- 1.0 y)))) (* (sqrt (- z 1.0)) (sqrt (log (- 1.0 y)))) (* (- z 1.0) (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) (* (- z 1.0) (log (cbrt (- 1.0 y)))) (* (- z 1.0) (log (sqrt (- 1.0 y)))) (* (- z 1.0) (log (sqrt (- 1.0 y)))) (* (- z 1.0) (log 1)) (* (- z 1.0) (log (- 1.0 y))) (* (- z 1.0) (log (+ (sqrt 1.0) (sqrt y)))) (* (- z 1.0) (log (- (sqrt 1.0) (sqrt y)))) (* (- z 1.0) (log 1)) (* (- z 1.0) (log (- 1.0 y))) (* (log (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (- z 1.0)) (* (log (cbrt (- 1.0 y))) (- z 1.0)) (* (log (sqrt (- 1.0 y))) (- z 1.0)) (* (log (sqrt (- 1.0 y))) (- z 1.0)) (* (log 1) (- z 1.0)) (* (log (- 1.0 y)) (- z 1.0)) (* (log (+ (sqrt 1.0) (sqrt y))) (- z 1.0)) (* (log (- (sqrt 1.0) (sqrt y))) (- z 1.0)) (* (log 1) (- z 1.0)) (* (log (- 1.0 y)) (- z 1.0)) (* (- z 1.0) 1) (* (- z 1.0) (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y))))) (* (- z 1.0) (sqrt (log (- 1.0 y)))) (* (- z 1.0) 1) (* (cbrt (- z 1.0)) (log (- 1.0 y))) (* (sqrt (- z 1.0)) (log (- 1.0 y))) (* (- z 1.0) (log (- 1.0 y))) (* (- (sqrt z) (sqrt 1.0)) (log (- 1.0 y))) (* (- z 1.0) (log (- 1.0 y))) (* (- (pow z 3) (pow 1.0 3)) (log (- 1.0 y))) (* (- (* z z) (* 1.0 1.0)) (log (- 1.0 y))) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- (log -1) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ 1 y))))) (- (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (pow y 2))) (log (/ -1 y))))) (- (* x (log y)) (* 1.0 (log y))) (- (* 1.0 (log (/ 1 y))) (* x (log (/ 1 y)))) (- (+ (* (log -1) x) (* 1.0 (log (/ -1 y)))) (+ (* 1.0 (log -1)) (* x (log (/ -1 y))))) (- (+ (* z (log 1.0)) (* 1.0 y)) (* 1.0 (log 1.0))) (- (+ (* (log -1) z) (* 1.0 (log (/ 1 y)))) (+ (* 1.0 (log -1)) (+ (* 1.0 (/ z y)) (* z (log (/ 1 y)))))) (- (* 1.0 (log (/ -1 y))) (+ (* 1.0 (/ z y)) (* z (log (/ -1 y))))) 9.253 * * [simplify]: iteration 0 : 191 enodes (cost 1019 ) 9.286 * * [simplify]: iteration 1 : 391 enodes (cost 985 ) 9.392 * * [simplify]: iteration 2 : 1225 enodes (cost 871 ) 10.085 * * [simplify]: iteration 3 : 3935 enodes (cost 854 ) 10.984 * * [simplify]: iteration done : 5001 enodes (cost 854 ) 10.984 * [simplify]: Simplified to: (* (log (cbrt (- 1.0 y))) 2) (log (cbrt (- 1.0 y))) (log (sqrt (- 1.0 y))) (log (sqrt (- 1.0 y))) 0 (log (- 1.0 y)) (log (+ (sqrt 1.0) (sqrt y))) (log (- (sqrt 1.0) (sqrt y))) 0 (log (- 1.0 y)) (log (- (pow 1.0 3) (pow y 3))) (log (+ (* 1.0 1.0) (* y (+ 1.0 y)))) (log (- (* 1.0 1.0) (* y y))) (log (+ 1.0 y)) (log (- 1.0 y)) (log (log (- 1.0 y))) (- 1.0 y) (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y)))) (cbrt (log (- 1.0 y))) (pow (log (- 1.0 y)) 3) (sqrt (log (- 1.0 y))) (sqrt (log (- 1.0 y))) (* (log y) (- x 1.0)) (log (* (- x 1.0) (log y))) (log (* (- x 1.0) (log y))) (pow y (- x 1.0)) (pow (* (log y) (- x 1.0)) 3) (* (cbrt (* (- x 1.0) (log y))) (cbrt (* (- x 1.0) (log y)))) (cbrt (* (- x 1.0) (log y))) (pow (* (log y) (- x 1.0)) 3) (sqrt (* (- x 1.0) (log y))) (sqrt (* (- x 1.0) (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log (sqrt y))) 0 (* (log y) (- x 1.0)) (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log (sqrt y))) 0 (* (log y) (- x 1.0)) (- x 1.0) (* (- x 1.0) (* (cbrt (log y)) (cbrt (log y)))) (* (- x 1.0) (sqrt (log y))) (- x 1.0) (* (cbrt (- x 1.0)) (log y)) (* (sqrt (- x 1.0)) (log y)) (* (log y) (- x 1.0)) (* (- (sqrt x) (sqrt 1.0)) (log y)) (* (log y) (- x 1.0)) (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (- (* x x) (* 1.0 1.0)) (log y)) (* (- z 1.0) (log (- 1.0 y))) (log (* (- z 1.0) (log (- 1.0 y)))) (log (* (- z 1.0) (log (- 1.0 y)))) (pow (- 1.0 y) (- z 1.0)) (pow (* (- z 1.0) (log (- 1.0 y))) 3) (* (cbrt (* (- z 1.0) (log (- 1.0 y)))) (cbrt (* (- z 1.0) (log (- 1.0 y))))) (cbrt (* (- z 1.0) (log (- 1.0 y)))) (pow (* (- z 1.0) (log (- 1.0 y))) 3) (sqrt (* (- z 1.0) (log (- 1.0 y)))) (sqrt (* (- z 1.0) (log (- 1.0 y)))) (* (sqrt (- z 1.0)) (sqrt (log (- 1.0 y)))) (* (sqrt (- z 1.0)) (sqrt (log (- 1.0 y)))) (* (- z 1.0) (* 2 (log (cbrt (- 1.0 y))))) (* (- z 1.0) (log (cbrt (- 1.0 y)))) (* (log (sqrt (- 1.0 y))) (- z 1.0)) (* (log (sqrt (- 1.0 y))) (- z 1.0)) 0 (* (- z 1.0) (log (- 1.0 y))) (* (log (+ (sqrt 1.0) (sqrt y))) (- z 1.0)) (* (log (- (sqrt 1.0) (sqrt y))) (- z 1.0)) 0 (* (- z 1.0) (log (- 1.0 y))) (* (- z 1.0) (* 2 (log (cbrt (- 1.0 y))))) (* (- z 1.0) (log (cbrt (- 1.0 y)))) (* (log (sqrt (- 1.0 y))) (- z 1.0)) (* (log (sqrt (- 1.0 y))) (- z 1.0)) 0 (* (- z 1.0) (log (- 1.0 y))) (* (log (+ (sqrt 1.0) (sqrt y))) (- z 1.0)) (* (log (- (sqrt 1.0) (sqrt y))) (- z 1.0)) 0 (* (- z 1.0) (log (- 1.0 y))) (- z 1.0) (* (- z 1.0) (* (cbrt (log (- 1.0 y))) (cbrt (log (- 1.0 y))))) (* (- z 1.0) (sqrt (log (- 1.0 y)))) (- z 1.0) (* (cbrt (- z 1.0)) (log (- 1.0 y))) (* (sqrt (- z 1.0)) (log (- 1.0 y))) (* (- z 1.0) (log (- 1.0 y))) (* (- (sqrt z) (sqrt 1.0)) (log (- 1.0 y))) (* (- z 1.0) (log (- 1.0 y))) (* (- (pow z 3) (pow 1.0 3)) (log (- 1.0 y))) (* (- (* z z) (* 1.0 1.0)) (log (- 1.0 y))) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- (- (log -1) (/ 1.0 y)) (- (/ 0.5 (* y y)) (log y))) (- (/ (- 1.0) y) (+ (log (/ -1 y)) (/ 0.5 (* y y)))) (* (log y) (- x 1.0)) (* (log y) (- x 1.0)) (+ (* (log -1) x) (- (* (log (/ -1 y)) (- 1.0 x)) (* 1.0 (log -1)))) (+ (* 1.0 y) (* (log 1.0) (- z 1.0))) (+ (* (log -1) z) (+ (* 1.0 (- (- (log y)) (+ (log -1) (/ z y)))) (* (log y) z))) (- (* (log (/ -1 y)) (- 1.0 z)) (* 1.0 (/ z y))) 10.985 * * * [progress]: adding candidates to table 11.223 * * [progress]: iteration 2 / 4 11.223 * * * [progress]: picking best candidate 11.248 * * * * [pick]: Picked # 11.248 * * * [progress]: localizing error 11.269 * * * [progress]: generating rewritten candidates 11.269 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 11.280 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 11.316 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 11.333 * * * [progress]: generating series expansions 11.333 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 11.333 * [approximate]: Taking taylor expansion of (* (- x 1.0) (log y)) in (x y) around 0 11.333 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log y)) in y 11.333 * [taylor]: Taking taylor expansion of (- x 1.0) in y 11.333 * [taylor]: Taking taylor expansion of x in y 11.333 * [taylor]: Taking taylor expansion of 1.0 in y 11.333 * [taylor]: Taking taylor expansion of (log y) in y 11.333 * [taylor]: Taking taylor expansion of y in y 11.334 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log y)) in x 11.334 * [taylor]: Taking taylor expansion of (- x 1.0) in x 11.334 * [taylor]: Taking taylor expansion of x in x 11.334 * [taylor]: Taking taylor expansion of 1.0 in x 11.334 * [taylor]: Taking taylor expansion of (log y) in x 11.334 * [taylor]: Taking taylor expansion of y in x 11.334 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log y)) in x 11.334 * [taylor]: Taking taylor expansion of (- x 1.0) in x 11.334 * [taylor]: Taking taylor expansion of x in x 11.334 * [taylor]: Taking taylor expansion of 1.0 in x 11.334 * [taylor]: Taking taylor expansion of (log y) in x 11.334 * [taylor]: Taking taylor expansion of y in x 11.335 * [taylor]: Taking taylor expansion of (* -1.0 (log y)) in y 11.335 * [taylor]: Taking taylor expansion of -1.0 in y 11.335 * [taylor]: Taking taylor expansion of (log y) in y 11.335 * [taylor]: Taking taylor expansion of y in y 11.337 * [taylor]: Taking taylor expansion of (log y) in y 11.337 * [taylor]: Taking taylor expansion of y in y 11.341 * [taylor]: Taking taylor expansion of 0 in y 11.347 * [taylor]: Taking taylor expansion of 0 in y 11.347 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in (x y) around 0 11.348 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in y 11.348 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 11.348 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.348 * [taylor]: Taking taylor expansion of x in y 11.348 * [taylor]: Taking taylor expansion of 1.0 in y 11.348 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.348 * [taylor]: Taking taylor expansion of y in y 11.348 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in x 11.348 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 11.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.348 * [taylor]: Taking taylor expansion of x in x 11.348 * [taylor]: Taking taylor expansion of 1.0 in x 11.348 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.349 * [taylor]: Taking taylor expansion of y in x 11.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (/ 1 y))) in x 11.349 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.349 * [taylor]: Taking taylor expansion of x in x 11.349 * [taylor]: Taking taylor expansion of 1.0 in x 11.349 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.349 * [taylor]: Taking taylor expansion of y in x 11.349 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.349 * [taylor]: Taking taylor expansion of y in y 11.352 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ 1 y)))) in y 11.352 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in y 11.353 * [taylor]: Taking taylor expansion of 1.0 in y 11.353 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.353 * [taylor]: Taking taylor expansion of y in y 11.357 * [taylor]: Taking taylor expansion of 0 in y 11.364 * [taylor]: Taking taylor expansion of 0 in y 11.365 * [approximate]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in (x y) around 0 11.365 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in y 11.365 * [taylor]: Taking taylor expansion of -1 in y 11.365 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (+ 1.0 (/ 1 x))) in y 11.365 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.365 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.365 * [taylor]: Taking taylor expansion of -1 in y 11.365 * [taylor]: Taking taylor expansion of y in y 11.366 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 11.366 * [taylor]: Taking taylor expansion of 1.0 in y 11.366 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.366 * [taylor]: Taking taylor expansion of x in y 11.366 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in x 11.366 * [taylor]: Taking taylor expansion of -1 in x 11.366 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (+ 1.0 (/ 1 x))) in x 11.366 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 11.366 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.366 * [taylor]: Taking taylor expansion of -1 in x 11.366 * [taylor]: Taking taylor expansion of y in x 11.366 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 11.366 * [taylor]: Taking taylor expansion of 1.0 in x 11.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.366 * [taylor]: Taking taylor expansion of x in x 11.366 * [taylor]: Taking taylor expansion of (* -1 (* (log (/ -1 y)) (+ 1.0 (/ 1 x)))) in x 11.366 * [taylor]: Taking taylor expansion of -1 in x 11.366 * [taylor]: Taking taylor expansion of (* (log (/ -1 y)) (+ 1.0 (/ 1 x))) in x 11.366 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 11.366 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.366 * [taylor]: Taking taylor expansion of -1 in x 11.366 * [taylor]: Taking taylor expansion of y in x 11.366 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 11.366 * [taylor]: Taking taylor expansion of 1.0 in x 11.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.366 * [taylor]: Taking taylor expansion of x in x 11.367 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 11.367 * [taylor]: Taking taylor expansion of -1 in y 11.367 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.367 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.367 * [taylor]: Taking taylor expansion of -1 in y 11.367 * [taylor]: Taking taylor expansion of y in y 11.370 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ -1 y)))) in y 11.370 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in y 11.371 * [taylor]: Taking taylor expansion of 1.0 in y 11.371 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.371 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.371 * [taylor]: Taking taylor expansion of -1 in y 11.371 * [taylor]: Taking taylor expansion of y in y 11.378 * [taylor]: Taking taylor expansion of 0 in y 11.387 * [taylor]: Taking taylor expansion of 0 in y 11.389 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 11.390 * [approximate]: Taking taylor expansion of (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) in (z y) around 0 11.390 * [taylor]: Taking taylor expansion of (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) in y 11.390 * [taylor]: Taking taylor expansion of (- z 1.0) in y 11.390 * [taylor]: Taking taylor expansion of z in y 11.390 * [taylor]: Taking taylor expansion of 1.0 in y 11.390 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) in y 11.390 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.390 * [taylor]: Taking taylor expansion of 1.0 in y 11.390 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) in y 11.390 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 11.390 * [taylor]: Taking taylor expansion of 1.0 in y 11.390 * [taylor]: Taking taylor expansion of y in y 11.390 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow y 2) (pow 1.0 2))) in y 11.390 * [taylor]: Taking taylor expansion of 1/2 in y 11.390 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y 11.390 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.390 * [taylor]: Taking taylor expansion of y in y 11.390 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.390 * [taylor]: Taking taylor expansion of 1.0 in y 11.391 * [taylor]: Taking taylor expansion of (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) in z 11.391 * [taylor]: Taking taylor expansion of (- z 1.0) in z 11.391 * [taylor]: Taking taylor expansion of z in z 11.391 * [taylor]: Taking taylor expansion of 1.0 in z 11.391 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) in z 11.391 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.391 * [taylor]: Taking taylor expansion of 1.0 in z 11.391 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) in z 11.391 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 11.391 * [taylor]: Taking taylor expansion of 1.0 in z 11.391 * [taylor]: Taking taylor expansion of y in z 11.391 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow y 2) (pow 1.0 2))) in z 11.391 * [taylor]: Taking taylor expansion of 1/2 in z 11.392 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in z 11.392 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.392 * [taylor]: Taking taylor expansion of y in z 11.392 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.392 * [taylor]: Taking taylor expansion of 1.0 in z 11.392 * [taylor]: Taking taylor expansion of (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) in z 11.392 * [taylor]: Taking taylor expansion of (- z 1.0) in z 11.392 * [taylor]: Taking taylor expansion of z in z 11.392 * [taylor]: Taking taylor expansion of 1.0 in z 11.392 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) in z 11.392 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.392 * [taylor]: Taking taylor expansion of 1.0 in z 11.392 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) in z 11.392 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 11.392 * [taylor]: Taking taylor expansion of 1.0 in z 11.392 * [taylor]: Taking taylor expansion of y in z 11.392 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow y 2) (pow 1.0 2))) in z 11.392 * [taylor]: Taking taylor expansion of 1/2 in z 11.392 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in z 11.393 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.393 * [taylor]: Taking taylor expansion of y in z 11.393 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.393 * [taylor]: Taking taylor expansion of 1.0 in z 11.395 * [taylor]: Taking taylor expansion of (* -1.0 (- (log 1.0) (+ (* 0.5 (pow y 2)) (* 1.0 y)))) in y 11.395 * [taylor]: Taking taylor expansion of -1.0 in y 11.395 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 0.5 (pow y 2)) (* 1.0 y))) in y 11.395 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.395 * [taylor]: Taking taylor expansion of 1.0 in y 11.395 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow y 2)) (* 1.0 y)) in y 11.395 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y 11.395 * [taylor]: Taking taylor expansion of 0.5 in y 11.396 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.396 * [taylor]: Taking taylor expansion of y in y 11.396 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 11.396 * [taylor]: Taking taylor expansion of 1.0 in y 11.396 * [taylor]: Taking taylor expansion of y in y 11.406 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 0.5 (pow y 2)) (* 1.0 y))) in y 11.406 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.406 * [taylor]: Taking taylor expansion of 1.0 in y 11.407 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow y 2)) (* 1.0 y)) in y 11.407 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y 11.407 * [taylor]: Taking taylor expansion of 0.5 in y 11.407 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.407 * [taylor]: Taking taylor expansion of y in y 11.407 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 11.407 * [taylor]: Taking taylor expansion of 1.0 in y 11.407 * [taylor]: Taking taylor expansion of y in y 11.414 * [approximate]: Taking taylor expansion of (* (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) (- (/ 1 z) 1.0)) in (z y) around 0 11.414 * [taylor]: Taking taylor expansion of (* (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) (- (/ 1 z) 1.0)) in y 11.414 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) in y 11.414 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.414 * [taylor]: Taking taylor expansion of 1.0 in y 11.415 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y))) in y 11.415 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) in y 11.415 * [taylor]: Taking taylor expansion of 1/2 in y 11.415 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in y 11.415 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in y 11.415 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.415 * [taylor]: Taking taylor expansion of y in y 11.415 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.415 * [taylor]: Taking taylor expansion of 1.0 in y 11.416 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.416 * [taylor]: Taking taylor expansion of 1.0 in y 11.416 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.416 * [taylor]: Taking taylor expansion of y in y 11.416 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1.0) in y 11.416 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.416 * [taylor]: Taking taylor expansion of z in y 11.416 * [taylor]: Taking taylor expansion of 1.0 in y 11.416 * [taylor]: Taking taylor expansion of (* (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) (- (/ 1 z) 1.0)) in z 11.416 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) in z 11.416 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.416 * [taylor]: Taking taylor expansion of 1.0 in z 11.417 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y))) in z 11.417 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) in z 11.417 * [taylor]: Taking taylor expansion of 1/2 in z 11.417 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in z 11.417 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.417 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.417 * [taylor]: Taking taylor expansion of y in z 11.417 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.417 * [taylor]: Taking taylor expansion of 1.0 in z 11.417 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 11.417 * [taylor]: Taking taylor expansion of 1.0 in z 11.417 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.417 * [taylor]: Taking taylor expansion of y in z 11.417 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1.0) in z 11.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.417 * [taylor]: Taking taylor expansion of z in z 11.418 * [taylor]: Taking taylor expansion of 1.0 in z 11.418 * [taylor]: Taking taylor expansion of (* (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) (- (/ 1 z) 1.0)) in z 11.418 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y)))) in z 11.418 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.418 * [taylor]: Taking taylor expansion of 1.0 in z 11.418 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) (* 1.0 (/ 1 y))) in z 11.418 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) in z 11.418 * [taylor]: Taking taylor expansion of 1/2 in z 11.418 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in z 11.418 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.418 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.418 * [taylor]: Taking taylor expansion of y in z 11.418 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.418 * [taylor]: Taking taylor expansion of 1.0 in z 11.419 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 11.419 * [taylor]: Taking taylor expansion of 1.0 in z 11.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.419 * [taylor]: Taking taylor expansion of y in z 11.419 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1.0) in z 11.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.419 * [taylor]: Taking taylor expansion of z in z 11.419 * [taylor]: Taking taylor expansion of 1.0 in z 11.421 * [taylor]: Taking taylor expansion of (- (log 1.0) (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 (pow y 2))))) in y 11.421 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.421 * [taylor]: Taking taylor expansion of 1.0 in y 11.421 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 (pow y 2)))) in y 11.421 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.421 * [taylor]: Taking taylor expansion of 1.0 in y 11.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.421 * [taylor]: Taking taylor expansion of y in y 11.421 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 11.421 * [taylor]: Taking taylor expansion of 0.5 in y 11.421 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.421 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.421 * [taylor]: Taking taylor expansion of y in y 11.429 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 (pow y 2)))) (* 1.0 (log 1.0))) in y 11.429 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 0.5 (/ 1 (pow y 2)))) in y 11.429 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.429 * [taylor]: Taking taylor expansion of 1.0 in y 11.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.429 * [taylor]: Taking taylor expansion of y in y 11.429 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 11.429 * [taylor]: Taking taylor expansion of 0.5 in y 11.429 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.429 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.429 * [taylor]: Taking taylor expansion of y in y 11.430 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.430 * [taylor]: Taking taylor expansion of 1.0 in y 11.430 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.430 * [taylor]: Taking taylor expansion of 1.0 in y 11.435 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))))) in (z y) around 0 11.436 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))))) in y 11.436 * [taylor]: Taking taylor expansion of -1 in y 11.436 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))))) in y 11.436 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in y 11.436 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.436 * [taylor]: Taking taylor expansion of z in y 11.436 * [taylor]: Taking taylor expansion of 1.0 in y 11.436 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))) in y 11.436 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (log 1.0)) in y 11.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.436 * [taylor]: Taking taylor expansion of 1.0 in y 11.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.436 * [taylor]: Taking taylor expansion of y in y 11.436 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.436 * [taylor]: Taking taylor expansion of 1.0 in y 11.436 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) in y 11.436 * [taylor]: Taking taylor expansion of 1/2 in y 11.436 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in y 11.436 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in y 11.436 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.436 * [taylor]: Taking taylor expansion of y in y 11.436 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.437 * [taylor]: Taking taylor expansion of 1.0 in y 11.437 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))))) in z 11.438 * [taylor]: Taking taylor expansion of -1 in z 11.438 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))))) in z 11.438 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 11.438 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.438 * [taylor]: Taking taylor expansion of z in z 11.438 * [taylor]: Taking taylor expansion of 1.0 in z 11.438 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))) in z 11.438 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (log 1.0)) in z 11.438 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 11.438 * [taylor]: Taking taylor expansion of 1.0 in z 11.438 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.438 * [taylor]: Taking taylor expansion of y in z 11.438 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.438 * [taylor]: Taking taylor expansion of 1.0 in z 11.438 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) in z 11.438 * [taylor]: Taking taylor expansion of 1/2 in z 11.438 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in z 11.438 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.438 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.438 * [taylor]: Taking taylor expansion of y in z 11.438 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.438 * [taylor]: Taking taylor expansion of 1.0 in z 11.439 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))))) in z 11.439 * [taylor]: Taking taylor expansion of -1 in z 11.439 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 1.0) (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))))) in z 11.439 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1.0) in z 11.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.439 * [taylor]: Taking taylor expansion of z in z 11.439 * [taylor]: Taking taylor expansion of 1.0 in z 11.439 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2))))) in z 11.439 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (log 1.0)) in z 11.439 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 11.439 * [taylor]: Taking taylor expansion of 1.0 in z 11.439 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.439 * [taylor]: Taking taylor expansion of y in z 11.439 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.439 * [taylor]: Taking taylor expansion of 1.0 in z 11.440 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow y 2) (pow 1.0 2)))) in z 11.440 * [taylor]: Taking taylor expansion of 1/2 in z 11.440 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in z 11.440 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.440 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.440 * [taylor]: Taking taylor expansion of y in z 11.440 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.440 * [taylor]: Taking taylor expansion of 1.0 in z 11.442 * [taylor]: Taking taylor expansion of (* -1 (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 0.5 (/ 1 (pow y 2))))) in y 11.442 * [taylor]: Taking taylor expansion of -1 in y 11.442 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 y)) (log 1.0)) (* 0.5 (/ 1 (pow y 2)))) in y 11.442 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (log 1.0)) in y 11.442 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.442 * [taylor]: Taking taylor expansion of 1.0 in y 11.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.442 * [taylor]: Taking taylor expansion of y in y 11.443 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.443 * [taylor]: Taking taylor expansion of 1.0 in y 11.443 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 11.443 * [taylor]: Taking taylor expansion of 0.5 in y 11.443 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.443 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.443 * [taylor]: Taking taylor expansion of y in y 11.451 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (pow y 2))) (+ (* 1.0 (/ 1 y)) (* 1.0 (log 1.0)))) in y 11.451 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 11.451 * [taylor]: Taking taylor expansion of 0.5 in y 11.451 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.451 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.451 * [taylor]: Taking taylor expansion of y in y 11.451 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (* 1.0 (log 1.0))) in y 11.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.451 * [taylor]: Taking taylor expansion of 1.0 in y 11.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.452 * [taylor]: Taking taylor expansion of y in y 11.452 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.452 * [taylor]: Taking taylor expansion of 1.0 in y 11.452 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.452 * [taylor]: Taking taylor expansion of 1.0 in y 11.457 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 11.458 * [approximate]: Taking taylor expansion of (- (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) in (x y z) around 0 11.458 * [taylor]: Taking taylor expansion of (- (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) in z 11.458 * [taylor]: Taking taylor expansion of (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) in z 11.458 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in z 11.458 * [taylor]: Taking taylor expansion of z in z 11.458 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.458 * [taylor]: Taking taylor expansion of 1.0 in z 11.459 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y))) in z 11.459 * [taylor]: Taking taylor expansion of (* 0.5 (/ (pow y 2) (pow 1.0 2))) in z 11.459 * [taylor]: Taking taylor expansion of 0.5 in z 11.459 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in z 11.459 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.459 * [taylor]: Taking taylor expansion of y in z 11.459 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.459 * [taylor]: Taking taylor expansion of 1.0 in z 11.459 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 1.0 y)) in z 11.459 * [taylor]: Taking taylor expansion of (* x (log y)) in z 11.459 * [taylor]: Taking taylor expansion of x in z 11.459 * [taylor]: Taking taylor expansion of (log y) in z 11.459 * [taylor]: Taking taylor expansion of y in z 11.459 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 11.459 * [taylor]: Taking taylor expansion of 1.0 in z 11.459 * [taylor]: Taking taylor expansion of y in z 11.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) in z 11.459 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in z 11.459 * [taylor]: Taking taylor expansion of 1.0 in z 11.459 * [taylor]: Taking taylor expansion of (* z y) in z 11.459 * [taylor]: Taking taylor expansion of z in z 11.459 * [taylor]: Taking taylor expansion of y in z 11.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))) in z 11.459 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in z 11.459 * [taylor]: Taking taylor expansion of 1.0 in z 11.459 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.459 * [taylor]: Taking taylor expansion of 1.0 in z 11.460 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))) in z 11.460 * [taylor]: Taking taylor expansion of (* 1.0 (log y)) in z 11.460 * [taylor]: Taking taylor expansion of 1.0 in z 11.460 * [taylor]: Taking taylor expansion of (log y) in z 11.460 * [taylor]: Taking taylor expansion of y in z 11.460 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))) in z 11.460 * [taylor]: Taking taylor expansion of 1/2 in z 11.460 * [taylor]: Taking taylor expansion of (/ (* z (pow y 2)) (pow 1.0 2)) in z 11.460 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 11.460 * [taylor]: Taking taylor expansion of z in z 11.460 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.460 * [taylor]: Taking taylor expansion of y in z 11.460 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.460 * [taylor]: Taking taylor expansion of 1.0 in z 11.461 * [taylor]: Taking taylor expansion of (- (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) in y 11.461 * [taylor]: Taking taylor expansion of (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) in y 11.461 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in y 11.461 * [taylor]: Taking taylor expansion of z in y 11.461 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.461 * [taylor]: Taking taylor expansion of 1.0 in y 11.461 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y))) in y 11.461 * [taylor]: Taking taylor expansion of (* 0.5 (/ (pow y 2) (pow 1.0 2))) in y 11.461 * [taylor]: Taking taylor expansion of 0.5 in y 11.461 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in y 11.461 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.461 * [taylor]: Taking taylor expansion of y in y 11.461 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.461 * [taylor]: Taking taylor expansion of 1.0 in y 11.462 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 1.0 y)) in y 11.462 * [taylor]: Taking taylor expansion of (* x (log y)) in y 11.462 * [taylor]: Taking taylor expansion of x in y 11.462 * [taylor]: Taking taylor expansion of (log y) in y 11.462 * [taylor]: Taking taylor expansion of y in y 11.462 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 11.462 * [taylor]: Taking taylor expansion of 1.0 in y 11.462 * [taylor]: Taking taylor expansion of y in y 11.462 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) in y 11.463 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in y 11.463 * [taylor]: Taking taylor expansion of 1.0 in y 11.463 * [taylor]: Taking taylor expansion of (* z y) in y 11.463 * [taylor]: Taking taylor expansion of z in y 11.463 * [taylor]: Taking taylor expansion of y in y 11.463 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))) in y 11.463 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.463 * [taylor]: Taking taylor expansion of 1.0 in y 11.463 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.463 * [taylor]: Taking taylor expansion of 1.0 in y 11.463 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))) in y 11.463 * [taylor]: Taking taylor expansion of (* 1.0 (log y)) in y 11.463 * [taylor]: Taking taylor expansion of 1.0 in y 11.463 * [taylor]: Taking taylor expansion of (log y) in y 11.463 * [taylor]: Taking taylor expansion of y in y 11.463 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))) in y 11.463 * [taylor]: Taking taylor expansion of 1/2 in y 11.463 * [taylor]: Taking taylor expansion of (/ (* z (pow y 2)) (pow 1.0 2)) in y 11.463 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 11.463 * [taylor]: Taking taylor expansion of z in y 11.463 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.463 * [taylor]: Taking taylor expansion of y in y 11.463 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.463 * [taylor]: Taking taylor expansion of 1.0 in y 11.464 * [taylor]: Taking taylor expansion of (- (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) in x 11.464 * [taylor]: Taking taylor expansion of (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) in x 11.464 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in x 11.464 * [taylor]: Taking taylor expansion of z in x 11.464 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.464 * [taylor]: Taking taylor expansion of 1.0 in x 11.464 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y))) in x 11.464 * [taylor]: Taking taylor expansion of (* 0.5 (/ (pow y 2) (pow 1.0 2))) in x 11.464 * [taylor]: Taking taylor expansion of 0.5 in x 11.464 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in x 11.464 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.464 * [taylor]: Taking taylor expansion of y in x 11.464 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.464 * [taylor]: Taking taylor expansion of 1.0 in x 11.465 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 1.0 y)) in x 11.465 * [taylor]: Taking taylor expansion of (* x (log y)) in x 11.465 * [taylor]: Taking taylor expansion of x in x 11.465 * [taylor]: Taking taylor expansion of (log y) in x 11.465 * [taylor]: Taking taylor expansion of y in x 11.465 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 11.465 * [taylor]: Taking taylor expansion of 1.0 in x 11.465 * [taylor]: Taking taylor expansion of y in x 11.465 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) in x 11.465 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in x 11.465 * [taylor]: Taking taylor expansion of 1.0 in x 11.465 * [taylor]: Taking taylor expansion of (* z y) in x 11.465 * [taylor]: Taking taylor expansion of z in x 11.465 * [taylor]: Taking taylor expansion of y in x 11.465 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))) in x 11.465 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in x 11.465 * [taylor]: Taking taylor expansion of 1.0 in x 11.465 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.465 * [taylor]: Taking taylor expansion of 1.0 in x 11.465 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))) in x 11.465 * [taylor]: Taking taylor expansion of (* 1.0 (log y)) in x 11.466 * [taylor]: Taking taylor expansion of 1.0 in x 11.466 * [taylor]: Taking taylor expansion of (log y) in x 11.466 * [taylor]: Taking taylor expansion of y in x 11.466 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))) in x 11.466 * [taylor]: Taking taylor expansion of 1/2 in x 11.466 * [taylor]: Taking taylor expansion of (/ (* z (pow y 2)) (pow 1.0 2)) in x 11.466 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in x 11.466 * [taylor]: Taking taylor expansion of z in x 11.466 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.466 * [taylor]: Taking taylor expansion of y in x 11.466 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.466 * [taylor]: Taking taylor expansion of 1.0 in x 11.466 * [taylor]: Taking taylor expansion of (- (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))))) in x 11.466 * [taylor]: Taking taylor expansion of (+ (* z (log 1.0)) (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y)))) in x 11.466 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in x 11.466 * [taylor]: Taking taylor expansion of z in x 11.466 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.466 * [taylor]: Taking taylor expansion of 1.0 in x 11.467 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (pow y 2) (pow 1.0 2))) (+ (* x (log y)) (* 1.0 y))) in x 11.467 * [taylor]: Taking taylor expansion of (* 0.5 (/ (pow y 2) (pow 1.0 2))) in x 11.467 * [taylor]: Taking taylor expansion of 0.5 in x 11.467 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow 1.0 2)) in x 11.467 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.467 * [taylor]: Taking taylor expansion of y in x 11.467 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.467 * [taylor]: Taking taylor expansion of 1.0 in x 11.467 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 1.0 y)) in x 11.467 * [taylor]: Taking taylor expansion of (* x (log y)) in x 11.467 * [taylor]: Taking taylor expansion of x in x 11.467 * [taylor]: Taking taylor expansion of (log y) in x 11.467 * [taylor]: Taking taylor expansion of y in x 11.467 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 11.467 * [taylor]: Taking taylor expansion of 1.0 in x 11.467 * [taylor]: Taking taylor expansion of y in x 11.467 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))))) in x 11.467 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in x 11.467 * [taylor]: Taking taylor expansion of 1.0 in x 11.467 * [taylor]: Taking taylor expansion of (* z y) in x 11.467 * [taylor]: Taking taylor expansion of z in x 11.467 * [taylor]: Taking taylor expansion of y in x 11.467 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))))) in x 11.467 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in x 11.467 * [taylor]: Taking taylor expansion of 1.0 in x 11.467 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.467 * [taylor]: Taking taylor expansion of 1.0 in x 11.468 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log y)) (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2)))) in x 11.468 * [taylor]: Taking taylor expansion of (* 1.0 (log y)) in x 11.468 * [taylor]: Taking taylor expansion of 1.0 in x 11.468 * [taylor]: Taking taylor expansion of (log y) in x 11.468 * [taylor]: Taking taylor expansion of y in x 11.468 * [taylor]: Taking taylor expansion of (* 1/2 (/ (* z (pow y 2)) (pow 1.0 2))) in x 11.468 * [taylor]: Taking taylor expansion of 1/2 in x 11.468 * [taylor]: Taking taylor expansion of (/ (* z (pow y 2)) (pow 1.0 2)) in x 11.468 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in x 11.468 * [taylor]: Taking taylor expansion of z in x 11.468 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.468 * [taylor]: Taking taylor expansion of y in x 11.468 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.468 * [taylor]: Taking taylor expansion of 1.0 in x 11.474 * [taylor]: Taking taylor expansion of (- (+ (* z (log 1.0)) (+ (* 0.5 (pow y 2)) (* 1.0 y))) (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 0.5 (* z (pow y 2))))))) in y 11.474 * [taylor]: Taking taylor expansion of (+ (* z (log 1.0)) (+ (* 0.5 (pow y 2)) (* 1.0 y))) in y 11.474 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in y 11.474 * [taylor]: Taking taylor expansion of z in y 11.474 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.474 * [taylor]: Taking taylor expansion of 1.0 in y 11.474 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow y 2)) (* 1.0 y)) in y 11.474 * [taylor]: Taking taylor expansion of (* 0.5 (pow y 2)) in y 11.474 * [taylor]: Taking taylor expansion of 0.5 in y 11.474 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.474 * [taylor]: Taking taylor expansion of y in y 11.474 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 11.474 * [taylor]: Taking taylor expansion of 1.0 in y 11.474 * [taylor]: Taking taylor expansion of y in y 11.474 * [taylor]: Taking taylor expansion of (+ (* 1.0 (* z y)) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 0.5 (* z (pow y 2)))))) in y 11.474 * [taylor]: Taking taylor expansion of (* 1.0 (* z y)) in y 11.474 * [taylor]: Taking taylor expansion of 1.0 in y 11.474 * [taylor]: Taking taylor expansion of (* z y) in y 11.474 * [taylor]: Taking taylor expansion of z in y 11.474 * [taylor]: Taking taylor expansion of y in y 11.474 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log y)) (* 0.5 (* z (pow y 2))))) in y 11.474 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.474 * [taylor]: Taking taylor expansion of 1.0 in y 11.474 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.475 * [taylor]: Taking taylor expansion of 1.0 in y 11.475 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log y)) (* 0.5 (* z (pow y 2)))) in y 11.475 * [taylor]: Taking taylor expansion of (* 1.0 (log y)) in y 11.475 * [taylor]: Taking taylor expansion of 1.0 in y 11.475 * [taylor]: Taking taylor expansion of (log y) in y 11.475 * [taylor]: Taking taylor expansion of y in y 11.475 * [taylor]: Taking taylor expansion of (* 0.5 (* z (pow y 2))) in y 11.475 * [taylor]: Taking taylor expansion of 0.5 in y 11.475 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 11.475 * [taylor]: Taking taylor expansion of z in y 11.475 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.475 * [taylor]: Taking taylor expansion of y in y 11.480 * [taylor]: Taking taylor expansion of (- (* z (log 1.0)) (+ (* 1.0 (log 1.0)) (* 1.0 (log y)))) in z 11.480 * [taylor]: Taking taylor expansion of (* z (log 1.0)) in z 11.480 * [taylor]: Taking taylor expansion of z in z 11.480 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.480 * [taylor]: Taking taylor expansion of 1.0 in z 11.480 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (* 1.0 (log y))) in z 11.480 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in z 11.480 * [taylor]: Taking taylor expansion of 1.0 in z 11.480 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.480 * [taylor]: Taking taylor expansion of 1.0 in z 11.481 * [taylor]: Taking taylor expansion of (* 1.0 (log y)) in z 11.481 * [taylor]: Taking taylor expansion of 1.0 in z 11.481 * [taylor]: Taking taylor expansion of (log y) in z 11.481 * [taylor]: Taking taylor expansion of y in z 11.496 * [taylor]: Taking taylor expansion of (log y) in y 11.496 * [taylor]: Taking taylor expansion of y in y 11.496 * [taylor]: Taking taylor expansion of (log y) in z 11.496 * [taylor]: Taking taylor expansion of y in z 11.502 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 z)) in z 11.502 * [taylor]: Taking taylor expansion of 1.0 in z 11.502 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 11.502 * [taylor]: Taking taylor expansion of 1.0 in z 11.502 * [taylor]: Taking taylor expansion of z in z 11.505 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))))) in (x y z) around 0 11.505 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))))) in z 11.505 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) in z 11.505 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 11.505 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 11.505 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.505 * [taylor]: Taking taylor expansion of y in z 11.506 * [taylor]: Taking taylor expansion of x in z 11.506 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z))) in z 11.506 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 11.506 * [taylor]: Taking taylor expansion of 1.0 in z 11.506 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.506 * [taylor]: Taking taylor expansion of y in z 11.506 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)) in z 11.506 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in z 11.506 * [taylor]: Taking taylor expansion of 0.5 in z 11.506 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in z 11.506 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.506 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.506 * [taylor]: Taking taylor expansion of y in z 11.506 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.506 * [taylor]: Taking taylor expansion of 1.0 in z 11.506 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in z 11.506 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.506 * [taylor]: Taking taylor expansion of 1.0 in z 11.507 * [taylor]: Taking taylor expansion of z in z 11.507 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))))) in z 11.507 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in z 11.507 * [taylor]: Taking taylor expansion of 1.0 in z 11.507 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 11.507 * [taylor]: Taking taylor expansion of (* z y) in z 11.507 * [taylor]: Taking taylor expansion of z in z 11.507 * [taylor]: Taking taylor expansion of y in z 11.508 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))) in z 11.508 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in z 11.508 * [taylor]: Taking taylor expansion of 1/2 in z 11.508 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in z 11.508 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in z 11.508 * [taylor]: Taking taylor expansion of z in z 11.508 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.508 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.508 * [taylor]: Taking taylor expansion of y in z 11.508 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.508 * [taylor]: Taking taylor expansion of 1.0 in z 11.509 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))) in z 11.509 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in z 11.510 * [taylor]: Taking taylor expansion of 1.0 in z 11.510 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.510 * [taylor]: Taking taylor expansion of 1.0 in z 11.510 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in z 11.510 * [taylor]: Taking taylor expansion of 1.0 in z 11.510 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 11.510 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.510 * [taylor]: Taking taylor expansion of y in z 11.510 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))))) in y 11.510 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) in y 11.510 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 11.510 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.510 * [taylor]: Taking taylor expansion of y in y 11.511 * [taylor]: Taking taylor expansion of x in y 11.511 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z))) in y 11.511 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.511 * [taylor]: Taking taylor expansion of 1.0 in y 11.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.511 * [taylor]: Taking taylor expansion of y in y 11.511 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)) in y 11.512 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in y 11.512 * [taylor]: Taking taylor expansion of 0.5 in y 11.512 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in y 11.512 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in y 11.512 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.512 * [taylor]: Taking taylor expansion of y in y 11.512 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.512 * [taylor]: Taking taylor expansion of 1.0 in y 11.513 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in y 11.513 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.513 * [taylor]: Taking taylor expansion of 1.0 in y 11.513 * [taylor]: Taking taylor expansion of z in y 11.513 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))))) in y 11.513 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in y 11.513 * [taylor]: Taking taylor expansion of 1.0 in y 11.513 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 11.513 * [taylor]: Taking taylor expansion of (* z y) in y 11.513 * [taylor]: Taking taylor expansion of z in y 11.513 * [taylor]: Taking taylor expansion of y in y 11.514 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))) in y 11.514 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in y 11.514 * [taylor]: Taking taylor expansion of 1/2 in y 11.514 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in y 11.514 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in y 11.514 * [taylor]: Taking taylor expansion of z in y 11.514 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in y 11.514 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.514 * [taylor]: Taking taylor expansion of y in y 11.514 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.514 * [taylor]: Taking taylor expansion of 1.0 in y 11.515 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))) in y 11.515 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.515 * [taylor]: Taking taylor expansion of 1.0 in y 11.515 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.515 * [taylor]: Taking taylor expansion of 1.0 in y 11.515 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in y 11.515 * [taylor]: Taking taylor expansion of 1.0 in y 11.515 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.515 * [taylor]: Taking taylor expansion of y in y 11.516 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))))) in x 11.516 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) in x 11.516 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 11.516 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.516 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.516 * [taylor]: Taking taylor expansion of y in x 11.516 * [taylor]: Taking taylor expansion of x in x 11.516 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z))) in x 11.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 11.516 * [taylor]: Taking taylor expansion of 1.0 in x 11.516 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.516 * [taylor]: Taking taylor expansion of y in x 11.516 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)) in x 11.516 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in x 11.516 * [taylor]: Taking taylor expansion of 0.5 in x 11.516 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in x 11.516 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.516 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.516 * [taylor]: Taking taylor expansion of y in x 11.516 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.516 * [taylor]: Taking taylor expansion of 1.0 in x 11.517 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in x 11.517 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.517 * [taylor]: Taking taylor expansion of 1.0 in x 11.517 * [taylor]: Taking taylor expansion of z in x 11.517 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))))) in x 11.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in x 11.517 * [taylor]: Taking taylor expansion of 1.0 in x 11.517 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 11.517 * [taylor]: Taking taylor expansion of (* z y) in x 11.517 * [taylor]: Taking taylor expansion of z in x 11.517 * [taylor]: Taking taylor expansion of y in x 11.517 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))) in x 11.517 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in x 11.517 * [taylor]: Taking taylor expansion of 1/2 in x 11.517 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in x 11.517 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in x 11.517 * [taylor]: Taking taylor expansion of z in x 11.517 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.517 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.517 * [taylor]: Taking taylor expansion of y in x 11.517 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.518 * [taylor]: Taking taylor expansion of 1.0 in x 11.518 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))) in x 11.518 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in x 11.518 * [taylor]: Taking taylor expansion of 1.0 in x 11.518 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.518 * [taylor]: Taking taylor expansion of 1.0 in x 11.518 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in x 11.518 * [taylor]: Taking taylor expansion of 1.0 in x 11.518 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.518 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.518 * [taylor]: Taking taylor expansion of y in x 11.519 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))))) in x 11.519 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)))) in x 11.519 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 11.519 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.519 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.519 * [taylor]: Taking taylor expansion of y in x 11.519 * [taylor]: Taking taylor expansion of x in x 11.519 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z))) in x 11.519 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 11.519 * [taylor]: Taking taylor expansion of 1.0 in x 11.519 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.519 * [taylor]: Taking taylor expansion of y in x 11.519 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) (/ (log 1.0) z)) in x 11.519 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in x 11.519 * [taylor]: Taking taylor expansion of 0.5 in x 11.519 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in x 11.519 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.519 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.519 * [taylor]: Taking taylor expansion of y in x 11.519 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.519 * [taylor]: Taking taylor expansion of 1.0 in x 11.519 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in x 11.519 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.519 * [taylor]: Taking taylor expansion of 1.0 in x 11.520 * [taylor]: Taking taylor expansion of z in x 11.520 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))))) in x 11.520 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in x 11.520 * [taylor]: Taking taylor expansion of 1.0 in x 11.520 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 11.520 * [taylor]: Taking taylor expansion of (* z y) in x 11.520 * [taylor]: Taking taylor expansion of z in x 11.520 * [taylor]: Taking taylor expansion of y in x 11.520 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y))))) in x 11.520 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in x 11.520 * [taylor]: Taking taylor expansion of 1/2 in x 11.520 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in x 11.520 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in x 11.520 * [taylor]: Taking taylor expansion of z in x 11.520 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.520 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.520 * [taylor]: Taking taylor expansion of y in x 11.520 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.520 * [taylor]: Taking taylor expansion of 1.0 in x 11.521 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (* 1.0 (log (/ 1 y)))) in x 11.521 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in x 11.521 * [taylor]: Taking taylor expansion of 1.0 in x 11.521 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.521 * [taylor]: Taking taylor expansion of 1.0 in x 11.521 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in x 11.521 * [taylor]: Taking taylor expansion of 1.0 in x 11.521 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 11.521 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.521 * [taylor]: Taking taylor expansion of y in x 11.522 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.522 * [taylor]: Taking taylor expansion of y in y 11.529 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (pow y 2))) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log (/ 1 y))) (* 0.5 (/ 1 (* z (pow y 2)))))))) in y 11.530 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow y 2))) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) in y 11.530 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 11.530 * [taylor]: Taking taylor expansion of 0.5 in y 11.530 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.530 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.530 * [taylor]: Taking taylor expansion of y in y 11.530 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)) in y 11.530 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.530 * [taylor]: Taking taylor expansion of 1.0 in y 11.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.530 * [taylor]: Taking taylor expansion of y in y 11.530 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in y 11.530 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.530 * [taylor]: Taking taylor expansion of 1.0 in y 11.531 * [taylor]: Taking taylor expansion of z in y 11.531 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log (/ 1 y))) (* 0.5 (/ 1 (* z (pow y 2))))))) in y 11.531 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in y 11.531 * [taylor]: Taking taylor expansion of 1.0 in y 11.531 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 11.531 * [taylor]: Taking taylor expansion of (* z y) in y 11.531 * [taylor]: Taking taylor expansion of z in y 11.531 * [taylor]: Taking taylor expansion of y in y 11.531 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log (/ 1 y))) (* 0.5 (/ 1 (* z (pow y 2)))))) in y 11.532 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.532 * [taylor]: Taking taylor expansion of 1.0 in y 11.532 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.532 * [taylor]: Taking taylor expansion of 1.0 in y 11.532 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 y))) (* 0.5 (/ 1 (* z (pow y 2))))) in y 11.532 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 y))) in y 11.532 * [taylor]: Taking taylor expansion of 1.0 in y 11.532 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 11.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.532 * [taylor]: Taking taylor expansion of y in y 11.533 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in y 11.533 * [taylor]: Taking taylor expansion of 0.5 in y 11.533 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y 11.533 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 11.533 * [taylor]: Taking taylor expansion of z in y 11.533 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.533 * [taylor]: Taking taylor expansion of y in y 11.534 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.5 (/ 1 z))) in z 11.534 * [taylor]: Taking taylor expansion of 0.5 in z 11.534 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 11.534 * [taylor]: Taking taylor expansion of 0.5 in z 11.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.534 * [taylor]: Taking taylor expansion of z in z 11.546 * [taylor]: Taking taylor expansion of 0 in y 11.549 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 z))) in z 11.549 * [taylor]: Taking taylor expansion of 1.0 in z 11.549 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 11.549 * [taylor]: Taking taylor expansion of 1.0 in z 11.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.550 * [taylor]: Taking taylor expansion of z in z 11.551 * [taylor]: Taking taylor expansion of (- (log y)) in z 11.551 * [taylor]: Taking taylor expansion of (log y) in z 11.551 * [taylor]: Taking taylor expansion of y in z 11.555 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))))) in (x y z) around 0 11.555 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))))) in z 11.555 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) in z 11.555 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in z 11.555 * [taylor]: Taking taylor expansion of 1/2 in z 11.555 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in z 11.555 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in z 11.555 * [taylor]: Taking taylor expansion of z in z 11.555 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.555 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.555 * [taylor]: Taking taylor expansion of y in z 11.555 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.555 * [taylor]: Taking taylor expansion of 1.0 in z 11.557 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in z 11.557 * [taylor]: Taking taylor expansion of 0.5 in z 11.557 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in z 11.557 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in z 11.557 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.557 * [taylor]: Taking taylor expansion of y in z 11.557 * [taylor]: Taking taylor expansion of (pow 1.0 2) in z 11.557 * [taylor]: Taking taylor expansion of 1.0 in z 11.557 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))))) in z 11.557 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in z 11.557 * [taylor]: Taking taylor expansion of 1.0 in z 11.557 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 11.557 * [taylor]: Taking taylor expansion of (* z y) in z 11.557 * [taylor]: Taking taylor expansion of z in z 11.557 * [taylor]: Taking taylor expansion of y in z 11.558 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))) in z 11.558 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 11.558 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 11.558 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.558 * [taylor]: Taking taylor expansion of -1 in z 11.558 * [taylor]: Taking taylor expansion of y in z 11.558 * [taylor]: Taking taylor expansion of x in z 11.558 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))) in z 11.558 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in z 11.558 * [taylor]: Taking taylor expansion of 1.0 in z 11.558 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 11.558 * [taylor]: Taking taylor expansion of (/ -1 y) in z 11.558 * [taylor]: Taking taylor expansion of -1 in z 11.558 * [taylor]: Taking taylor expansion of y in z 11.558 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) in z 11.558 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in z 11.558 * [taylor]: Taking taylor expansion of 1.0 in z 11.558 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.558 * [taylor]: Taking taylor expansion of 1.0 in z 11.558 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)) in z 11.559 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 11.559 * [taylor]: Taking taylor expansion of 1.0 in z 11.559 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.559 * [taylor]: Taking taylor expansion of y in z 11.559 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in z 11.559 * [taylor]: Taking taylor expansion of (log 1.0) in z 11.559 * [taylor]: Taking taylor expansion of 1.0 in z 11.559 * [taylor]: Taking taylor expansion of z in z 11.560 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))))) in y 11.560 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) in y 11.560 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in y 11.560 * [taylor]: Taking taylor expansion of 1/2 in y 11.560 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in y 11.560 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in y 11.560 * [taylor]: Taking taylor expansion of z in y 11.560 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in y 11.560 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.560 * [taylor]: Taking taylor expansion of y in y 11.560 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.560 * [taylor]: Taking taylor expansion of 1.0 in y 11.561 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in y 11.561 * [taylor]: Taking taylor expansion of 0.5 in y 11.561 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in y 11.561 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in y 11.561 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.561 * [taylor]: Taking taylor expansion of y in y 11.561 * [taylor]: Taking taylor expansion of (pow 1.0 2) in y 11.561 * [taylor]: Taking taylor expansion of 1.0 in y 11.562 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))))) in y 11.562 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in y 11.562 * [taylor]: Taking taylor expansion of 1.0 in y 11.562 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 11.562 * [taylor]: Taking taylor expansion of (* z y) in y 11.562 * [taylor]: Taking taylor expansion of z in y 11.562 * [taylor]: Taking taylor expansion of y in y 11.562 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))) in y 11.562 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 11.562 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.562 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.562 * [taylor]: Taking taylor expansion of -1 in y 11.562 * [taylor]: Taking taylor expansion of y in y 11.563 * [taylor]: Taking taylor expansion of x in y 11.564 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))) in y 11.564 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in y 11.564 * [taylor]: Taking taylor expansion of 1.0 in y 11.564 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.564 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.564 * [taylor]: Taking taylor expansion of -1 in y 11.564 * [taylor]: Taking taylor expansion of y in y 11.565 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) in y 11.565 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.565 * [taylor]: Taking taylor expansion of 1.0 in y 11.565 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.565 * [taylor]: Taking taylor expansion of 1.0 in y 11.565 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)) in y 11.565 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.565 * [taylor]: Taking taylor expansion of 1.0 in y 11.565 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.565 * [taylor]: Taking taylor expansion of y in y 11.565 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in y 11.565 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.566 * [taylor]: Taking taylor expansion of 1.0 in y 11.566 * [taylor]: Taking taylor expansion of z in y 11.566 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))))) in x 11.566 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) in x 11.566 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in x 11.566 * [taylor]: Taking taylor expansion of 1/2 in x 11.566 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in x 11.566 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in x 11.566 * [taylor]: Taking taylor expansion of z in x 11.566 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.566 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.566 * [taylor]: Taking taylor expansion of y in x 11.566 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.566 * [taylor]: Taking taylor expansion of 1.0 in x 11.567 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in x 11.567 * [taylor]: Taking taylor expansion of 0.5 in x 11.567 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in x 11.567 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.567 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.567 * [taylor]: Taking taylor expansion of y in x 11.567 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.567 * [taylor]: Taking taylor expansion of 1.0 in x 11.567 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))))) in x 11.568 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in x 11.568 * [taylor]: Taking taylor expansion of 1.0 in x 11.568 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 11.568 * [taylor]: Taking taylor expansion of (* z y) in x 11.568 * [taylor]: Taking taylor expansion of z in x 11.568 * [taylor]: Taking taylor expansion of y in x 11.568 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))) in x 11.568 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 11.568 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 11.568 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.568 * [taylor]: Taking taylor expansion of -1 in x 11.568 * [taylor]: Taking taylor expansion of y in x 11.568 * [taylor]: Taking taylor expansion of x in x 11.568 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))) in x 11.568 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in x 11.568 * [taylor]: Taking taylor expansion of 1.0 in x 11.568 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 11.568 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.568 * [taylor]: Taking taylor expansion of -1 in x 11.568 * [taylor]: Taking taylor expansion of y in x 11.568 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) in x 11.568 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in x 11.568 * [taylor]: Taking taylor expansion of 1.0 in x 11.568 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.568 * [taylor]: Taking taylor expansion of 1.0 in x 11.568 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)) in x 11.568 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 11.568 * [taylor]: Taking taylor expansion of 1.0 in x 11.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.568 * [taylor]: Taking taylor expansion of y in x 11.569 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in x 11.569 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.569 * [taylor]: Taking taylor expansion of 1.0 in x 11.569 * [taylor]: Taking taylor expansion of z in x 11.569 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))))) in x 11.569 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2))))) in x 11.569 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* z (* (pow y 2) (pow 1.0 2))))) in x 11.569 * [taylor]: Taking taylor expansion of 1/2 in x 11.569 * [taylor]: Taking taylor expansion of (/ 1 (* z (* (pow y 2) (pow 1.0 2)))) in x 11.569 * [taylor]: Taking taylor expansion of (* z (* (pow y 2) (pow 1.0 2))) in x 11.569 * [taylor]: Taking taylor expansion of z in x 11.569 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.569 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.569 * [taylor]: Taking taylor expansion of y in x 11.569 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.569 * [taylor]: Taking taylor expansion of 1.0 in x 11.570 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* (pow y 2) (pow 1.0 2)))) in x 11.570 * [taylor]: Taking taylor expansion of 0.5 in x 11.570 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (pow 1.0 2))) in x 11.570 * [taylor]: Taking taylor expansion of (* (pow y 2) (pow 1.0 2)) in x 11.570 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.570 * [taylor]: Taking taylor expansion of y in x 11.570 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 11.570 * [taylor]: Taking taylor expansion of 1.0 in x 11.571 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))))) in x 11.571 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in x 11.571 * [taylor]: Taking taylor expansion of 1.0 in x 11.571 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 11.571 * [taylor]: Taking taylor expansion of (* z y) in x 11.571 * [taylor]: Taking taylor expansion of z in x 11.571 * [taylor]: Taking taylor expansion of y in x 11.571 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 y)) x) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))) in x 11.571 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 11.571 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 11.571 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.571 * [taylor]: Taking taylor expansion of -1 in x 11.571 * [taylor]: Taking taylor expansion of y in x 11.571 * [taylor]: Taking taylor expansion of x in x 11.571 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))) in x 11.571 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in x 11.571 * [taylor]: Taking taylor expansion of 1.0 in x 11.571 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 11.571 * [taylor]: Taking taylor expansion of (/ -1 y) in x 11.571 * [taylor]: Taking taylor expansion of -1 in x 11.571 * [taylor]: Taking taylor expansion of y in x 11.571 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) in x 11.571 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in x 11.571 * [taylor]: Taking taylor expansion of 1.0 in x 11.571 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.571 * [taylor]: Taking taylor expansion of 1.0 in x 11.571 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)) in x 11.571 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 11.572 * [taylor]: Taking taylor expansion of 1.0 in x 11.572 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.572 * [taylor]: Taking taylor expansion of y in x 11.572 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in x 11.572 * [taylor]: Taking taylor expansion of (log 1.0) in x 11.572 * [taylor]: Taking taylor expansion of 1.0 in x 11.572 * [taylor]: Taking taylor expansion of z in x 11.572 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 11.572 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.572 * [taylor]: Taking taylor expansion of -1 in y 11.572 * [taylor]: Taking taylor expansion of y in y 11.582 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 (pow y 2))) (* 0.5 (/ 1 (* z (pow y 2))))) (+ (* 1.0 (/ 1 (* z y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))))) in y 11.582 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow y 2))) (* 0.5 (/ 1 (* z (pow y 2))))) in y 11.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow y 2))) in y 11.582 * [taylor]: Taking taylor expansion of 0.5 in y 11.582 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.582 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.582 * [taylor]: Taking taylor expansion of y in y 11.583 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* z (pow y 2)))) in y 11.583 * [taylor]: Taking taylor expansion of 0.5 in y 11.583 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y 11.583 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 11.583 * [taylor]: Taking taylor expansion of z in y 11.583 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.583 * [taylor]: Taking taylor expansion of y in y 11.583 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (* z y))) (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))))) in y 11.583 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* z y))) in y 11.583 * [taylor]: Taking taylor expansion of 1.0 in y 11.583 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 11.583 * [taylor]: Taking taylor expansion of (* z y) in y 11.583 * [taylor]: Taking taylor expansion of z in y 11.583 * [taylor]: Taking taylor expansion of y in y 11.584 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log 1.0)) (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)))) in y 11.584 * [taylor]: Taking taylor expansion of (* 1.0 (log 1.0)) in y 11.584 * [taylor]: Taking taylor expansion of 1.0 in y 11.584 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.584 * [taylor]: Taking taylor expansion of 1.0 in y 11.584 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ -1 y))) (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z))) in y 11.584 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 y))) in y 11.584 * [taylor]: Taking taylor expansion of 1.0 in y 11.584 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 11.584 * [taylor]: Taking taylor expansion of (/ -1 y) in y 11.584 * [taylor]: Taking taylor expansion of -1 in y 11.584 * [taylor]: Taking taylor expansion of y in y 11.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ (log 1.0) z)) in y 11.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 11.585 * [taylor]: Taking taylor expansion of 1.0 in y 11.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.585 * [taylor]: Taking taylor expansion of y in y 11.588 * [taylor]: Taking taylor expansion of (/ (log 1.0) z) in y 11.588 * [taylor]: Taking taylor expansion of (log 1.0) in y 11.588 * [taylor]: Taking taylor expansion of 1.0 in y 11.588 * [taylor]: Taking taylor expansion of z in y 11.589 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) 0.5) in z 11.589 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 11.589 * [taylor]: Taking taylor expansion of 0.5 in z 11.589 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.589 * [taylor]: Taking taylor expansion of z in z 11.589 * [taylor]: Taking taylor expansion of 0.5 in z 11.601 * [taylor]: Taking taylor expansion of 0 in y 11.605 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) 1.0)) in z 11.605 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) 1.0) in z 11.605 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 11.605 * [taylor]: Taking taylor expansion of 1.0 in z 11.605 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.605 * [taylor]: Taking taylor expansion of z in z 11.605 * [taylor]: Taking taylor expansion of 1.0 in z 11.607 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 11.607 * [taylor]: Taking taylor expansion of (log y) in z 11.607 * [taylor]: Taking taylor expansion of y in z 11.607 * [taylor]: Taking taylor expansion of (log -1) in z 11.607 * [taylor]: Taking taylor expansion of -1 in z 11.609 * * * [progress]: simplifying candidates 11.612 * [simplify]: Simplifying using # : (* (- x 1.0) (log y)) (+ (log (- x 1.0)) (log (log y))) (log (* (- x 1.0) (log y))) (exp (* (- x 1.0) (log y))) (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* (log y) (log y)) (log y))) (* (cbrt (* (- x 1.0) (log y))) (cbrt (* (- x 1.0) (log y)))) (cbrt (* (- x 1.0) (log y))) (* (* (* (- x 1.0) (log y)) (* (- x 1.0) (log y))) (* (- x 1.0) (log y))) (sqrt (* (- x 1.0) (log y))) (sqrt (* (- x 1.0) (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (- x 1.0) (log (* (cbrt y) (cbrt y)))) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log 1)) (* (- x 1.0) (log y)) (* (log (* (cbrt y) (cbrt y))) (- x 1.0)) (* (log (cbrt y)) (- x 1.0)) (* (log (sqrt y)) (- x 1.0)) (* (log (sqrt y)) (- x 1.0)) (* (log 1) (- x 1.0)) (* (log y) (- x 1.0)) (* (- x 1.0) 1) (* (- x 1.0) (* (cbrt (log y)) (cbrt (log y)))) (* (- x 1.0) (sqrt (log y))) (* (- x 1.0) 1) (* (cbrt (- x 1.0)) (log y)) (* (sqrt (- x 1.0)) (log y)) (* (- x 1.0) (log y)) (* (- (sqrt x) (sqrt 1.0)) (log y)) (* (- x 1.0) (log y)) (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (- (* x x) (* 1.0 1.0)) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (log (- z 1.0)) (log (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (log (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (exp (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (* (* (- z 1.0) (- z 1.0)) (- z 1.0)) (* (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (cbrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (cbrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (cbrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (* (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (sqrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (sqrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- (pow z 3) (pow 1.0 3)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (- (pow z 3) (pow 1.0 3)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (* z z) (* 1.0 1.0)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))) (* (+ z 1.0) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (- (* z z) (* 1.0 1.0)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (sqrt (- z 1.0)) (sqrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (sqrt (- z 1.0)) (sqrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- z 1.0) (log 1.0)) (* (- z 1.0) (- (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (log (* (cbrt 1.0) (cbrt 1.0)))) (* (- z 1.0) (- (log (cbrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (log (sqrt 1.0))) (* (- z 1.0) (- (log (sqrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (log 1)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (log 1.0)) (* (- z 1.0) (- (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (- z 1.0)) (* (- (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log (* (cbrt 1.0) (cbrt 1.0))) (- z 1.0)) (* (- (log (cbrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log (sqrt 1.0)) (- z 1.0)) (* (- (log (sqrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log 1) (- z 1.0)) (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log 1.0) (- z 1.0)) (* (- (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (- z 1.0) (* (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (- z 1.0) (sqrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- z 1.0) 1) (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- z 1.0) 1) (* (- z 1.0) 1) (* (cbrt (- z 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (sqrt (- z 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (sqrt z) (sqrt 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))) (* (- z 1.0) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- (pow z 3) (pow 1.0 3)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (* z z) (* 1.0 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (exp (* (- x 1.0) (log y))) (exp (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (log (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (exp (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (* (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (sqrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (sqrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (pow z 3) (pow 1.0 3)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (pow z 3) (pow 1.0 3)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (+ z 1.0) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (* z z) (* 1.0 1.0)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (+ z 1.0) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (* z z) (* 1.0 1.0)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- z 1.0) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- z 1.0) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ (* z z) (+ (* 1.0 1.0) (* z 1.0)))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (pow z 3) (pow 1.0 3)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ (* z z) (+ (* 1.0 1.0) (* z 1.0)))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ z 1.0)) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (* z z) (* 1.0 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ z 1.0)) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (* (- (pow z 3) (pow 1.0 3)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (+ x 1.0) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ x 1.0) (* (- (pow z 3) (pow 1.0 3)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (* (+ (* z z) (+ (* 1.0 1.0) (* z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (* (+ z 1.0) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (* (- (* z z) (* 1.0 1.0)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (+ x 1.0) (* (+ z 1.0) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ x 1.0) (* (- (* z z) (* 1.0 1.0)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ x 1.0) (* (- z 1.0) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (+ x 1.0) (+ (* (log 1.0) (log 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (* (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (+ x 1.0) (* (- z 1.0) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ (* z z) (+ (* 1.0 1.0) (* z 1.0)))) (* (+ x 1.0) (* (- (pow z 3) (pow 1.0 3)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ x 1.0) (+ (* z z) (+ (* 1.0 1.0) (* z 1.0)))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ z 1.0)) (* (+ x 1.0) (* (- (* z z) (* 1.0 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ x 1.0) (+ z 1.0)) (+ (pow (* (- x 1.0) (log y)) 3) (pow (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 3)) (+ (* (* (- x 1.0) (log y)) (* (- x 1.0) (log y))) (- (* (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (- (* (* (- x 1.0) (log y)) (* (- x 1.0) (log y))) (* (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (- (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log 1.0))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (* (cbrt 1.0) (cbrt 1.0))))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (sqrt 1.0)))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log 1))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log 1.0))) (+ (* (- x 1.0) (log y)) (* (log 1.0) (- z 1.0))) (+ (* (- x 1.0) (log y)) (* (log (* (cbrt 1.0) (cbrt 1.0))) (- z 1.0))) (+ (* (- x 1.0) (log y)) (* (log (sqrt 1.0)) (- z 1.0))) (+ (* (- x 1.0) (log y)) (* (log 1) (- z 1.0))) (+ (* (- x 1.0) (log y)) (* (log 1.0) (- z 1.0))) (+ (* (- x 1.0) (log (cbrt y))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (- x 1.0) (log (sqrt y))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log (cbrt y)) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log (sqrt y)) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log y) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (* x (log y)) (* 1.0 (log y))) (- (* 1.0 (log (/ 1 y))) (* x (log (/ 1 y)))) (- (+ (* (log -1) x) (* 1.0 (log (/ -1 y)))) (+ (* 1.0 (log -1)) (* x (log (/ -1 y))))) (- (+ (* z (log 1.0)) (* 1.0 y)) (* 1.0 (log 1.0))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) (- (+ (* x (log y)) (* 1.0 y)) (+ (* 1.0 (log 1.0)) (* 1.0 (log y)))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) 11.623 * * [simplify]: iteration 0 : 293 enodes (cost 4405 ) 11.683 * * [simplify]: iteration 1 : 825 enodes (cost 4046 ) 11.925 * * [simplify]: iteration 2 : 3932 enodes (cost 3901 ) 12.712 * * [simplify]: iteration done : 5000 enodes (cost 3897 ) 12.713 * [simplify]: Simplified to: (* (log y) (- x 1.0)) (log (* (- x 1.0) (log y))) (log (* (- x 1.0) (log y))) (pow y (- x 1.0)) (pow (* (log y) (- x 1.0)) 3) (* (cbrt (* (- x 1.0) (log y))) (cbrt (* (- x 1.0) (log y)))) (cbrt (* (- x 1.0) (log y))) (pow (* (log y) (- x 1.0)) 3) (sqrt (* (- x 1.0) (log y))) (sqrt (* (- x 1.0) (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (sqrt (- x 1.0)) (sqrt (log y))) (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log (sqrt y))) 0 (* (log y) (- x 1.0)) (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (sqrt y))) (* (- x 1.0) (log (sqrt y))) 0 (* (log y) (- x 1.0)) (- x 1.0) (* (- x 1.0) (* (cbrt (log y)) (cbrt (log y)))) (* (- x 1.0) (sqrt (log y))) (- x 1.0) (* (cbrt (- x 1.0)) (log y)) (* (sqrt (- x 1.0)) (log y)) (* (log y) (- x 1.0)) (* (- (sqrt x) (sqrt 1.0)) (log y)) (* (log y) (- x 1.0)) (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (- (* x x) (* 1.0 1.0)) (log y)) (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (log (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (log (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (exp (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (pow (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) 3) (* (cbrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (cbrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (cbrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (pow (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) 3) (sqrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (sqrt (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- (pow z 3) (pow 1.0 3)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (* (- (pow z 3) (pow 1.0 3)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (* z z) (* 1.0 1.0)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))) (* (+ z 1.0) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (* (- (* z z) (* 1.0 1.0)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (sqrt (- z 1.0)) (sqrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (sqrt (- z 1.0)) (sqrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- z 1.0) (log 1.0)) (* (- z 1.0) (- (* (/ (pow y 2) (pow 1.0 2)) -1/2) (* 1.0 y))) (* (- z 1.0) (* 2 (log (cbrt 1.0)))) (* (- (log (cbrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log (sqrt 1.0)) (- z 1.0)) (* (- (log (sqrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) 0 (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (- z 1.0) (log 1.0)) (* (- z 1.0) (- (* (/ (pow y 2) (pow 1.0 2)) -1/2) (* 1.0 y))) (* (- z 1.0) (log 1.0)) (* (- z 1.0) (- (* (/ (pow y 2) (pow 1.0 2)) -1/2) (* 1.0 y))) (* (- z 1.0) (* 2 (log (cbrt 1.0)))) (* (- (log (cbrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log (sqrt 1.0)) (- z 1.0)) (* (- (log (sqrt 1.0)) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) 0 (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (- z 1.0) (log 1.0)) (* (- z 1.0) (- (* (/ (pow y 2) (pow 1.0 2)) -1/2) (* 1.0 y))) (* (- z 1.0) (* (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (cbrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (- z 1.0) (sqrt (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- z 1.0) (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- z 1.0) (- z 1.0) (* (cbrt (- z 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (sqrt (- z 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (- (sqrt z) (sqrt 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (- z 1.0) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))) (* (- z 1.0) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (- (pow z 3) (pow 1.0 3)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (* z z) (* 1.0 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (exp (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (pow y (- x 1.0))) (log (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (exp (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (pow y (- x 1.0))) (* (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (cbrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (pow (+ (* (log y) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) 3) (sqrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (sqrt (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (+ (* (+ (* x x) (* 1.0 (+ x 1.0))) (* (- (pow z 3) (pow 1.0 3)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3)))) (* (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (* (- (pow x 3) (pow 1.0 3)) (log y)))) (* (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (* (- (pow z 3) (pow 1.0 3)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* x x) (* 1.0 (+ x 1.0)))) (* (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (pow x 3) (pow 1.0 3)) (log y)))) (* (+ (* x x) (* 1.0 (+ x 1.0))) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ z 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (* (+ (* x x) (* 1.0 (+ x 1.0))) (* (- (* z z) (* 1.0 1.0)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3))))) (* (* (+ z 1.0) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (+ (* (* (- (* z z) (* 1.0 1.0)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* x x) (* 1.0 (+ x 1.0)))) (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (+ (* x x) (* 1.0 (+ x 1.0))) (* (- z 1.0) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3)))) (* (- (pow x 3) (pow 1.0 3)) (* (log y) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))))) (* (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0))) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (* (- z 1.0) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* x x) (* 1.0 (+ x 1.0)))) (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ (* x x) (* 1.0 (+ x 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (* (+ (* x x) (* 1.0 (+ x 1.0))) (* (- (pow z 3) (pow 1.0 3)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ (* z z) (* 1.0 (+ z 1.0))))) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (* (- (pow x 3) (pow 1.0 3)) (log y)) (+ z 1.0)) (* (* (- (* z z) (* 1.0 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (* x x) (* 1.0 (+ x 1.0))))) (* (+ z 1.0) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (+ x 1.0) (* (- (pow z 3) (pow 1.0 3)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3)))) (* (* (- (* x x) (* 1.0 1.0)) (log y)) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))))) (* (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ x 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (+ (* (+ x 1.0) (* (- (pow z 3) (pow 1.0 3)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- (* x x) (* 1.0 1.0)) (log y)))) (* (+ x 1.0) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (+ x 1.0) (* (- (* z z) (* 1.0 1.0)) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3)))) (* (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ z 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0))))) (* (* (+ x 1.0) (+ z 1.0)) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ x 1.0) (* (- (* z z) (* 1.0 1.0)) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (* (+ z 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (+ x 1.0) (* (- z 1.0) (- (pow (log 1.0) 3) (pow (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) 3)))) (* (- (* x x) (* 1.0 1.0)) (* (log y) (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0)))))) (* (+ (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (log 1.0) (log 1.0))) (+ x 1.0)) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (+ x 1.0) (* (- z 1.0) (- (* (log 1.0) (log 1.0)) (* (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))) (* (+ x 1.0) (+ (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (+ (* (+ x 1.0) (* (- (pow z 3) (pow 1.0 3)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (+ (* z z) (* 1.0 (+ z 1.0))) (* (- (* x x) (* 1.0 1.0)) (log y)))) (* (+ (* z z) (* 1.0 (+ z 1.0))) (+ x 1.0)) (+ (* (* (- (* x x) (* 1.0 1.0)) (log y)) (+ z 1.0)) (* (+ x 1.0) (* (- (* z z) (* 1.0 1.0)) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (* (+ x 1.0) (+ z 1.0)) (+ (pow (* (- x 1.0) (log y)) 3) (pow (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) 3)) (+ (* (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (- (* (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))) (- z 1.0)) (* (log y) (- x 1.0)))) (* (* (- x 1.0) (log y)) (* (- x 1.0) (log y)))) (- (* (* (- x 1.0) (log y)) (* (- x 1.0) (log y))) (* (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (- (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (- x 1.0) (log y)) (* (log 1.0) (- z 1.0))) (+ (* (- z 1.0) (* 2 (log (cbrt 1.0)))) (* (log y) (- x 1.0))) (+ (* (- x 1.0) (log y)) (* (log (sqrt 1.0)) (- z 1.0))) (+ (* (log y) (- x 1.0)) 0) (+ (* (- x 1.0) (log y)) (* (log 1.0) (- z 1.0))) (+ (* (- x 1.0) (log y)) (* (log 1.0) (- z 1.0))) (+ (* (- z 1.0) (* 2 (log (cbrt 1.0)))) (* (log y) (- x 1.0))) (+ (* (- x 1.0) (log y)) (* (log (sqrt 1.0)) (- z 1.0))) (+ (* (log y) (- x 1.0)) 0) (+ (* (- x 1.0) (log y)) (* (log 1.0) (- z 1.0))) (+ (* (log (cbrt y)) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log (sqrt y)) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log y) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log (cbrt y)) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log (sqrt y)) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (+ (* (log y) (- x 1.0)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (* (log y) (- x 1.0)) (* (- (log y)) (- 1.0 x)) (- (+ (* (log -1) x) (* 1.0 (log (/ -1 y)))) (+ (* 1.0 (log -1)) (* x (log (/ -1 y))))) (+ (* 1.0 y) (* (log 1.0) (- z 1.0))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) (+ (* x (log y)) (* 1.0 (- y (+ (log 1.0) (log y))))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) (- (* 0.5 (pow y 2)) (+ (* 1.0 (* z y)) (* 0.5 (* z (pow y 2))))) 12.715 * * * [progress]: adding candidates to table 13.273 * * [progress]: iteration 3 / 4 13.273 * * * [progress]: picking best candidate 13.304 * * * * [pick]: Picked # 13.304 * * * [progress]: localizing error 13.333 * * * [progress]: generating rewritten candidates 13.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 13.334 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 13.335 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 13.348 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 13.362 * * * [progress]: generating series expansions 13.362 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 13.363 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.363 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.363 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.363 * [taylor]: Taking taylor expansion of 1/3 in y 13.363 * [taylor]: Taking taylor expansion of (log y) in y 13.363 * [taylor]: Taking taylor expansion of y in y 13.364 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.364 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.364 * [taylor]: Taking taylor expansion of 1/3 in y 13.364 * [taylor]: Taking taylor expansion of (log y) in y 13.364 * [taylor]: Taking taylor expansion of y in y 13.418 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.418 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.418 * [taylor]: Taking taylor expansion of 1/3 in y 13.418 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.418 * [taylor]: Taking taylor expansion of y in y 13.419 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.419 * [taylor]: Taking taylor expansion of 1/3 in y 13.419 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.419 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.419 * [taylor]: Taking taylor expansion of y in y 13.473 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.473 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.473 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.473 * [taylor]: Taking taylor expansion of -1 in y 13.474 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.474 * [taylor]: Taking taylor expansion of 1/3 in y 13.474 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.474 * [taylor]: Taking taylor expansion of y in y 13.475 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.475 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.475 * [taylor]: Taking taylor expansion of -1 in y 13.476 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.476 * [taylor]: Taking taylor expansion of 1/3 in y 13.476 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.476 * [taylor]: Taking taylor expansion of y in y 13.543 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 13.543 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 13.543 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.543 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.543 * [taylor]: Taking taylor expansion of 1/3 in y 13.543 * [taylor]: Taking taylor expansion of (log y) in y 13.543 * [taylor]: Taking taylor expansion of y in y 13.544 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.544 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.544 * [taylor]: Taking taylor expansion of 1/3 in y 13.544 * [taylor]: Taking taylor expansion of (log y) in y 13.544 * [taylor]: Taking taylor expansion of y in y 13.597 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 13.597 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.597 * [taylor]: Taking taylor expansion of 1/3 in y 13.597 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.597 * [taylor]: Taking taylor expansion of y in y 13.598 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.598 * [taylor]: Taking taylor expansion of 1/3 in y 13.598 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.598 * [taylor]: Taking taylor expansion of y in y 13.653 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 13.653 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.653 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.653 * [taylor]: Taking taylor expansion of -1 in y 13.654 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.654 * [taylor]: Taking taylor expansion of 1/3 in y 13.654 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.654 * [taylor]: Taking taylor expansion of y in y 13.655 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.655 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.655 * [taylor]: Taking taylor expansion of -1 in y 13.656 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.656 * [taylor]: Taking taylor expansion of 1/3 in y 13.656 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.656 * [taylor]: Taking taylor expansion of y in y 13.721 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 13.722 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (* 3.0 (log (pow y 1/3)))) in (y x) around 0 13.722 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (* 3.0 (log (pow y 1/3)))) in x 13.722 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 13.722 * [taylor]: Taking taylor expansion of 3 in x 13.722 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 13.722 * [taylor]: Taking taylor expansion of x in x 13.722 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.722 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.722 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.722 * [taylor]: Taking taylor expansion of 1/3 in x 13.722 * [taylor]: Taking taylor expansion of (log y) in x 13.722 * [taylor]: Taking taylor expansion of y in x 13.722 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow y 1/3))) in x 13.722 * [taylor]: Taking taylor expansion of 3.0 in x 13.722 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.722 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.722 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.722 * [taylor]: Taking taylor expansion of 1/3 in x 13.722 * [taylor]: Taking taylor expansion of (log y) in x 13.722 * [taylor]: Taking taylor expansion of y in x 13.722 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (* 3.0 (log (pow y 1/3)))) in y 13.722 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 13.722 * [taylor]: Taking taylor expansion of 3 in y 13.722 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 13.723 * [taylor]: Taking taylor expansion of x in y 13.723 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.723 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.723 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.723 * [taylor]: Taking taylor expansion of 1/3 in y 13.723 * [taylor]: Taking taylor expansion of (log y) in y 13.723 * [taylor]: Taking taylor expansion of y in y 13.723 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow y 1/3))) in y 13.723 * [taylor]: Taking taylor expansion of 3.0 in y 13.723 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.723 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.723 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.723 * [taylor]: Taking taylor expansion of 1/3 in y 13.723 * [taylor]: Taking taylor expansion of (log y) in y 13.723 * [taylor]: Taking taylor expansion of y in y 13.724 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (* 3.0 (log (pow y 1/3)))) in y 13.724 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 13.724 * [taylor]: Taking taylor expansion of 3 in y 13.724 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 13.724 * [taylor]: Taking taylor expansion of x in y 13.724 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.724 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.724 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.724 * [taylor]: Taking taylor expansion of 1/3 in y 13.724 * [taylor]: Taking taylor expansion of (log y) in y 13.724 * [taylor]: Taking taylor expansion of y in y 13.725 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow y 1/3))) in y 13.725 * [taylor]: Taking taylor expansion of 3.0 in y 13.725 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 13.725 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 13.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 13.725 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 13.725 * [taylor]: Taking taylor expansion of 1/3 in y 13.725 * [taylor]: Taking taylor expansion of (log y) in y 13.725 * [taylor]: Taking taylor expansion of y in y 13.726 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (* 3.0 (log (pow y 1/3)))) in x 13.726 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 13.726 * [taylor]: Taking taylor expansion of 3 in x 13.726 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 13.726 * [taylor]: Taking taylor expansion of x in x 13.726 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.726 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.726 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.726 * [taylor]: Taking taylor expansion of 1/3 in x 13.726 * [taylor]: Taking taylor expansion of (log y) in x 13.726 * [taylor]: Taking taylor expansion of y in x 13.727 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow y 1/3))) in x 13.727 * [taylor]: Taking taylor expansion of 3.0 in x 13.727 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 13.727 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 13.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 13.727 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 13.727 * [taylor]: Taking taylor expansion of 1/3 in x 13.727 * [taylor]: Taking taylor expansion of (log y) in x 13.727 * [taylor]: Taking taylor expansion of y in x 13.733 * [taylor]: Taking taylor expansion of 0 in x 13.748 * [taylor]: Taking taylor expansion of 0 in x 13.773 * [taylor]: Taking taylor expansion of 0 in x 13.773 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (* 3.0 (log (pow (/ 1 y) 1/3)))) in (y x) around 0 13.773 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (* 3.0 (log (pow (/ 1 y) 1/3)))) in x 13.773 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 13.773 * [taylor]: Taking taylor expansion of 3 in x 13.773 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 13.774 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.774 * [taylor]: Taking taylor expansion of 1/3 in x 13.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.774 * [taylor]: Taking taylor expansion of y in x 13.774 * [taylor]: Taking taylor expansion of x in x 13.774 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow (/ 1 y) 1/3))) in x 13.774 * [taylor]: Taking taylor expansion of 3.0 in x 13.774 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 13.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.774 * [taylor]: Taking taylor expansion of 1/3 in x 13.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.774 * [taylor]: Taking taylor expansion of y in x 13.774 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (* 3.0 (log (pow (/ 1 y) 1/3)))) in y 13.774 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 13.774 * [taylor]: Taking taylor expansion of 3 in y 13.774 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 13.774 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.774 * [taylor]: Taking taylor expansion of 1/3 in y 13.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.774 * [taylor]: Taking taylor expansion of y in y 13.775 * [taylor]: Taking taylor expansion of x in y 13.776 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow (/ 1 y) 1/3))) in y 13.776 * [taylor]: Taking taylor expansion of 3.0 in y 13.776 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.776 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.776 * [taylor]: Taking taylor expansion of 1/3 in y 13.776 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.776 * [taylor]: Taking taylor expansion of y in y 13.777 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (* 3.0 (log (pow (/ 1 y) 1/3)))) in y 13.777 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 13.777 * [taylor]: Taking taylor expansion of 3 in y 13.777 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 13.777 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.777 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.777 * [taylor]: Taking taylor expansion of 1/3 in y 13.777 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.777 * [taylor]: Taking taylor expansion of y in y 13.778 * [taylor]: Taking taylor expansion of x in y 13.778 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow (/ 1 y) 1/3))) in y 13.778 * [taylor]: Taking taylor expansion of 3.0 in y 13.778 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 13.778 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.778 * [taylor]: Taking taylor expansion of 1/3 in y 13.778 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.778 * [taylor]: Taking taylor expansion of y in y 13.779 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow y -1/3)) x)) (* 3.0 (log (pow y -1/3)))) in x 13.779 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 13.779 * [taylor]: Taking taylor expansion of 3 in x 13.779 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 13.779 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 13.779 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 13.779 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 13.779 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 13.779 * [taylor]: Taking taylor expansion of -1/3 in x 13.779 * [taylor]: Taking taylor expansion of (log y) in x 13.780 * [taylor]: Taking taylor expansion of y in x 13.780 * [taylor]: Taking taylor expansion of x in x 13.780 * [taylor]: Taking taylor expansion of (* 3.0 (log (pow y -1/3))) in x 13.780 * [taylor]: Taking taylor expansion of 3.0 in x 13.780 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 13.780 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 13.780 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 13.780 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 13.780 * [taylor]: Taking taylor expansion of -1/3 in x 13.780 * [taylor]: Taking taylor expansion of (log y) in x 13.780 * [taylor]: Taking taylor expansion of y in x 13.787 * [taylor]: Taking taylor expansion of 0 in x 13.805 * [taylor]: Taking taylor expansion of 0 in x 13.828 * [taylor]: Taking taylor expansion of 0 in x 13.867 * [taylor]: Taking taylor expansion of 0 in x 13.867 * [approximate]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in (y x) around 0 13.868 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 13.868 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 13.868 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 13.868 * [taylor]: Taking taylor expansion of 3 in x 13.868 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 13.868 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.868 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.868 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.868 * [taylor]: Taking taylor expansion of -1 in x 13.868 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.868 * [taylor]: Taking taylor expansion of 1/3 in x 13.868 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.869 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.869 * [taylor]: Taking taylor expansion of y in x 13.869 * [taylor]: Taking taylor expansion of x in x 13.870 * [taylor]: Taking taylor expansion of (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 13.870 * [taylor]: Taking taylor expansion of 3.0 in x 13.870 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.870 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.870 * [taylor]: Taking taylor expansion of -1 in x 13.871 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.871 * [taylor]: Taking taylor expansion of 1/3 in x 13.871 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.871 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.871 * [taylor]: Taking taylor expansion of y in x 13.872 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 13.872 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 13.872 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 13.872 * [taylor]: Taking taylor expansion of 3 in y 13.872 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 13.872 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.872 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.872 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.872 * [taylor]: Taking taylor expansion of -1 in y 13.873 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.873 * [taylor]: Taking taylor expansion of 1/3 in y 13.873 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.873 * [taylor]: Taking taylor expansion of y in y 13.874 * [taylor]: Taking taylor expansion of x in y 13.875 * [taylor]: Taking taylor expansion of (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.875 * [taylor]: Taking taylor expansion of 3.0 in y 13.875 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.875 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.875 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.875 * [taylor]: Taking taylor expansion of -1 in y 13.881 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.881 * [taylor]: Taking taylor expansion of 1/3 in y 13.881 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.881 * [taylor]: Taking taylor expansion of y in y 13.883 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in y 13.883 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 13.883 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 13.883 * [taylor]: Taking taylor expansion of 3 in y 13.883 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 13.883 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.883 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.883 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.883 * [taylor]: Taking taylor expansion of -1 in y 13.884 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.884 * [taylor]: Taking taylor expansion of 1/3 in y 13.884 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.884 * [taylor]: Taking taylor expansion of y in y 13.886 * [taylor]: Taking taylor expansion of x in y 13.886 * [taylor]: Taking taylor expansion of (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 13.886 * [taylor]: Taking taylor expansion of 3.0 in y 13.886 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 13.886 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 13.886 * [taylor]: Taking taylor expansion of (cbrt -1) in y 13.886 * [taylor]: Taking taylor expansion of -1 in y 13.887 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 13.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 13.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 13.887 * [taylor]: Taking taylor expansion of 1/3 in y 13.887 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 13.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.887 * [taylor]: Taking taylor expansion of y in y 13.891 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))))) in x 13.891 * [taylor]: Taking taylor expansion of (+ (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in x 13.891 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 13.891 * [taylor]: Taking taylor expansion of 3 in x 13.891 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 13.891 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.891 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.892 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.892 * [taylor]: Taking taylor expansion of -1 in x 13.892 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.892 * [taylor]: Taking taylor expansion of 1/3 in x 13.892 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.892 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.892 * [taylor]: Taking taylor expansion of y in x 13.893 * [taylor]: Taking taylor expansion of x in x 13.894 * [taylor]: Taking taylor expansion of (* 3.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in x 13.894 * [taylor]: Taking taylor expansion of 3.0 in x 13.894 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 13.894 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 13.894 * [taylor]: Taking taylor expansion of (cbrt -1) in x 13.894 * [taylor]: Taking taylor expansion of -1 in x 13.895 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 13.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 13.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 13.895 * [taylor]: Taking taylor expansion of 1/3 in x 13.895 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 13.895 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.895 * [taylor]: Taking taylor expansion of y in x 13.906 * [taylor]: Taking taylor expansion of 0 in x 13.929 * [taylor]: Taking taylor expansion of 0 in x 13.962 * [taylor]: Taking taylor expansion of 0 in x 14.022 * [taylor]: Taking taylor expansion of 0 in x 14.023 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 14.023 * [approximate]: Taking taylor expansion of (* (- x 1.0) (log (pow y 1/3))) in (x y) around 0 14.023 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log (pow y 1/3))) in y 14.023 * [taylor]: Taking taylor expansion of (- x 1.0) in y 14.023 * [taylor]: Taking taylor expansion of x in y 14.023 * [taylor]: Taking taylor expansion of 1.0 in y 14.023 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 14.023 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.023 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.023 * [taylor]: Taking taylor expansion of 1/3 in y 14.023 * [taylor]: Taking taylor expansion of (log y) in y 14.023 * [taylor]: Taking taylor expansion of y in y 14.024 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log (pow y 1/3))) in x 14.024 * [taylor]: Taking taylor expansion of (- x 1.0) in x 14.024 * [taylor]: Taking taylor expansion of x in x 14.024 * [taylor]: Taking taylor expansion of 1.0 in x 14.024 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 14.024 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 14.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 14.024 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 14.024 * [taylor]: Taking taylor expansion of 1/3 in x 14.024 * [taylor]: Taking taylor expansion of (log y) in x 14.024 * [taylor]: Taking taylor expansion of y in x 14.024 * [taylor]: Taking taylor expansion of (* (- x 1.0) (log (pow y 1/3))) in x 14.024 * [taylor]: Taking taylor expansion of (- x 1.0) in x 14.024 * [taylor]: Taking taylor expansion of x in x 14.024 * [taylor]: Taking taylor expansion of 1.0 in x 14.024 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 14.024 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 14.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 14.024 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 14.024 * [taylor]: Taking taylor expansion of 1/3 in x 14.024 * [taylor]: Taking taylor expansion of (log y) in x 14.024 * [taylor]: Taking taylor expansion of y in x 14.026 * [taylor]: Taking taylor expansion of (* -1.0 (log (pow y 1/3))) in y 14.026 * [taylor]: Taking taylor expansion of -1.0 in y 14.026 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 14.026 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.026 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.026 * [taylor]: Taking taylor expansion of 1/3 in y 14.026 * [taylor]: Taking taylor expansion of (log y) in y 14.026 * [taylor]: Taking taylor expansion of y in y 14.030 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 14.030 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 14.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 14.030 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 14.030 * [taylor]: Taking taylor expansion of 1/3 in y 14.030 * [taylor]: Taking taylor expansion of (log y) in y 14.030 * [taylor]: Taking taylor expansion of y in y 14.038 * [taylor]: Taking taylor expansion of 0 in y 14.051 * [taylor]: Taking taylor expansion of 0 in y 14.052 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (pow (/ 1 y) 1/3))) in (x y) around 0 14.052 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (pow (/ 1 y) 1/3))) in y 14.052 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 14.052 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.052 * [taylor]: Taking taylor expansion of x in y 14.052 * [taylor]: Taking taylor expansion of 1.0 in y 14.052 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 14.052 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.052 * [taylor]: Taking taylor expansion of 1/3 in y 14.052 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.052 * [taylor]: Taking taylor expansion of y in y 14.053 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (pow (/ 1 y) 1/3))) in x 14.053 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 14.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.053 * [taylor]: Taking taylor expansion of x in x 14.053 * [taylor]: Taking taylor expansion of 1.0 in x 14.053 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 14.053 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 14.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 14.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 14.053 * [taylor]: Taking taylor expansion of 1/3 in x 14.053 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.053 * [taylor]: Taking taylor expansion of y in x 14.054 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (log (pow (/ 1 y) 1/3))) in x 14.054 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 14.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.054 * [taylor]: Taking taylor expansion of x in x 14.054 * [taylor]: Taking taylor expansion of 1.0 in x 14.054 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 14.054 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 14.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 14.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 14.054 * [taylor]: Taking taylor expansion of 1/3 in x 14.054 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.054 * [taylor]: Taking taylor expansion of y in x 14.055 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 14.055 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.055 * [taylor]: Taking taylor expansion of 1/3 in y 14.055 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.055 * [taylor]: Taking taylor expansion of y in y 14.065 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (pow (/ 1 y) 1/3)))) in y 14.066 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (/ 1 y) 1/3))) in y 14.066 * [taylor]: Taking taylor expansion of 1.0 in y 14.066 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 14.066 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.066 * [taylor]: Taking taylor expansion of 1/3 in y 14.066 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.066 * [taylor]: Taking taylor expansion of y in y 14.075 * [taylor]: Taking taylor expansion of 0 in y 14.090 * [taylor]: Taking taylor expansion of 0 in y 14.091 * [approximate]: Taking taylor expansion of (* -1 (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x)))) in (x y) around 0 14.091 * [taylor]: Taking taylor expansion of (* -1 (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x)))) in y 14.091 * [taylor]: Taking taylor expansion of -1 in y 14.091 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x))) in y 14.091 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 14.091 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.091 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.091 * [taylor]: Taking taylor expansion of -1 in y 14.092 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.092 * [taylor]: Taking taylor expansion of 1/3 in y 14.092 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.092 * [taylor]: Taking taylor expansion of y in y 14.093 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 14.093 * [taylor]: Taking taylor expansion of 1.0 in y 14.093 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.093 * [taylor]: Taking taylor expansion of x in y 14.093 * [taylor]: Taking taylor expansion of (* -1 (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x)))) in x 14.093 * [taylor]: Taking taylor expansion of -1 in x 14.094 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x))) in x 14.094 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 14.094 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 14.094 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.094 * [taylor]: Taking taylor expansion of -1 in x 14.094 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 14.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 14.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 14.094 * [taylor]: Taking taylor expansion of 1/3 in x 14.094 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.094 * [taylor]: Taking taylor expansion of y in x 14.095 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 14.095 * [taylor]: Taking taylor expansion of 1.0 in x 14.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.095 * [taylor]: Taking taylor expansion of x in x 14.096 * [taylor]: Taking taylor expansion of (* -1 (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x)))) in x 14.096 * [taylor]: Taking taylor expansion of -1 in x 14.096 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 y) 1/3))) (+ 1.0 (/ 1 x))) in x 14.096 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 14.096 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 14.096 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.096 * [taylor]: Taking taylor expansion of -1 in x 14.096 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 14.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 14.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 14.097 * [taylor]: Taking taylor expansion of 1/3 in x 14.097 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 14.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.097 * [taylor]: Taking taylor expansion of y in x 14.097 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 14.097 * [taylor]: Taking taylor expansion of 1.0 in x 14.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.098 * [taylor]: Taking taylor expansion of x in x 14.099 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 14.099 * [taylor]: Taking taylor expansion of -1 in y 14.099 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 14.099 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.099 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.099 * [taylor]: Taking taylor expansion of -1 in y 14.100 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.100 * [taylor]: Taking taylor expansion of 1/3 in y 14.100 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.100 * [taylor]: Taking taylor expansion of y in y 14.107 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 14.107 * [taylor]: Taking taylor expansion of (* 1.0 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 14.107 * [taylor]: Taking taylor expansion of 1.0 in y 14.107 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 14.107 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 14.107 * [taylor]: Taking taylor expansion of (cbrt -1) in y 14.107 * [taylor]: Taking taylor expansion of -1 in y 14.108 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 14.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 14.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 14.108 * [taylor]: Taking taylor expansion of 1/3 in y 14.108 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 14.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.108 * [taylor]: Taking taylor expansion of y in y 14.123 * [taylor]: Taking taylor expansion of 0 in y 14.147 * [taylor]: Taking taylor expansion of 0 in y 14.148 * * * [progress]: simplifying candidates 14.155 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* (* 2 (log (cbrt y))) (- x 1.0))) (exp (* (- x 1.0) (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y))))) (+ (* (* (* 2 (log (cbrt y))) (- (pow x 3) (pow 1.0 3))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (pow x 3) (pow 1.0 3)) (log (cbrt y))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (+ (* (* (* 2 (log (cbrt y))) (- (pow x 3) (pow 1.0 3))) (+ x 1.0)) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (* (- (* x x) (* 1.0 1.0)) (log (cbrt y))))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ x 1.0)) (+ (* (* (* 2 (log (cbrt y))) (- (* x x) (* 1.0 1.0))) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (* (+ x 1.0) (* (- (pow x 3) (pow 1.0 3)) (log (cbrt y))))) (* (+ x 1.0) (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (+ (* (* (* 2 (log (cbrt y))) (- (* x x) (* 1.0 1.0))) (+ x 1.0)) (* (+ x 1.0) (* (- (* x x) (* 1.0 1.0)) (log (cbrt y))))) (* (+ x 1.0) (+ x 1.0)) (+ (pow (* (* 2 (log (cbrt y))) (- x 1.0)) 3) (pow (* (- x 1.0) (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) (- x 1.0)) (* (* 2 (log (cbrt y))) (- x 1.0))) (- (* (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) (- x 1.0)) (* (* 2 (log (cbrt y))) (- x 1.0))) (* (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (- x 1.0) (log 1))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (log (cbrt (* (cbrt y) (cbrt y)))) (- x 1.0))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (log (cbrt (sqrt y))) (- x 1.0))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (log (cbrt 1)) (- x 1.0))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (- x 1.0))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (log (sqrt (cbrt y))) (- x 1.0))) (+ (* (* 2 (log (cbrt y))) (- x 1.0)) (* (log 1) (- x 1.0))) (+ (* (* 2 (log (cbrt y))) (- 1.0)) (* (- x 1.0) (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) (- 1.0)) (* (- x 1.0) (log (cbrt y)))) (+ (* (- 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y)))) (+ (* (- 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))) (+ (log (- x 1.0)) (log (log (cbrt y)))) (log (* (- x 1.0) (log (cbrt y)))) (exp (* (- x 1.0) (log (cbrt y)))) (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* (- x 1.0) (log (cbrt y)))) (cbrt (* (- x 1.0) (log (cbrt y))))) (cbrt (* (- x 1.0) (log (cbrt y)))) (* (* (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (cbrt y)))) (* (- x 1.0) (log (cbrt y)))) (sqrt (* (- x 1.0) (log (cbrt y)))) (sqrt (* (- x 1.0) (log (cbrt y)))) (* (sqrt (- x 1.0)) (sqrt (log (cbrt y)))) (* (sqrt (- x 1.0)) (sqrt (log (cbrt y)))) (* (- x 1.0) (log (cbrt (* (cbrt y) (cbrt y))))) (* (- x 1.0) (log (cbrt (cbrt y)))) (* (- x 1.0) (log (cbrt (sqrt y)))) (* (- x 1.0) (log (cbrt (sqrt y)))) (* (- x 1.0) (log (cbrt 1))) (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* (- x 1.0) (log (cbrt (cbrt y)))) (* (- x 1.0) (log (sqrt (cbrt y)))) (* (- x 1.0) (log (sqrt (cbrt y)))) (* (- x 1.0) (log 1)) (* (- x 1.0) (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) (- x 1.0)) (* (log (cbrt (cbrt y))) (- x 1.0)) (* (log (cbrt (sqrt y))) (- x 1.0)) (* (log (cbrt (sqrt y))) (- x 1.0)) (* (log (cbrt 1)) (- x 1.0)) (* (log (cbrt y)) (- x 1.0)) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (- x 1.0)) (* (log (cbrt (cbrt y))) (- x 1.0)) (* (log (sqrt (cbrt y))) (- x 1.0)) (* (log (sqrt (cbrt y))) (- x 1.0)) (* (log 1) (- x 1.0)) (* (log (cbrt y)) (- x 1.0)) (* (- x 1.0) 1/3) (* (- x 1.0) 1) (* (- x 1.0) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (- x 1.0) (sqrt (log (cbrt y)))) (* (- x 1.0) 1) (* (cbrt (- x 1.0)) (log (cbrt y))) (* (sqrt (- x 1.0)) (log (cbrt y))) (* (- x 1.0) (log (cbrt y))) (* (- (sqrt x) (sqrt 1.0)) (log (cbrt y))) (* (- x 1.0) (log (cbrt y))) (* (- (pow x 3) (pow 1.0 3)) (log (cbrt y))) (* (- (* x x) (* 1.0 1.0)) (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (- (* 3 (* x (log (pow y 1/3)))) (* 3.0 (log (pow y 1/3)))) (- (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* 3.0 (log (pow (/ 1 y) -1/3)))) (- (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (* 3.0 (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (- (* x (log (pow y 1/3))) (* 1.0 (log (pow y 1/3)))) (- (* x (log (pow (/ 1 y) -1/3))) (* 1.0 (log (pow (/ 1 y) -1/3)))) (- (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))) (* 1.0 (log (* (pow (* -1 y) 1/3) (cbrt -1))))) 14.160 * * [simplify]: iteration 0 : 173 enodes (cost 1509 ) 14.196 * * [simplify]: iteration 1 : 445 enodes (cost 1370 ) 14.512 * * [simplify]: iteration 2 : 1753 enodes (cost 1115 ) 15.194 * * [simplify]: iteration done : 5000 enodes (cost 1111 ) 15.194 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 3 (* (log (cbrt y)) (- x 1.0)))) (log (* 3 (* (log (cbrt y)) (- x 1.0)))) (exp (* 3 (* (log (cbrt y)) (- x 1.0)))) (* (cbrt (* 3 (* (log (cbrt y)) (- x 1.0)))) (cbrt (* 3 (* (log (cbrt y)) (- x 1.0))))) (cbrt (* 3 (* (log (cbrt y)) (- x 1.0)))) (pow (* 3 (* (log (cbrt y)) (- x 1.0))) 3) (sqrt (* 3 (* (log (cbrt y)) (- x 1.0)))) (sqrt (* 3 (* (log (cbrt y)) (- x 1.0)))) (* (+ (* x x) (* 1.0 (+ x 1.0))) (+ (* (- (pow x 3) (pow 1.0 3)) (* 2/3 (log y))) (* (- (pow x 3) (pow 1.0 3)) (log (cbrt y))))) (* (+ (* x x) (* 1.0 (+ x 1.0))) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (* (- (* x x) (* 1.0 1.0)) (log (cbrt y))) (+ (* x x) (* 1.0 (+ x 1.0)))) (* (* (- (pow x 3) (pow 1.0 3)) (+ x 1.0)) (* 2/3 (log y)))) (* (+ x 1.0) (+ (* x x) (* 1.0 (+ x 1.0)))) (+ (* (+ x 1.0) (* (- (pow x 3) (pow 1.0 3)) (log (cbrt y)))) (* (- (* x x) (* 1.0 1.0)) (* (* 2/3 (log y)) (+ (* x x) (* 1.0 (+ x 1.0)))))) (* (+ x 1.0) (+ (* x x) (* 1.0 (+ x 1.0)))) (* (+ x 1.0) (+ (* (- (* x x) (* 1.0 1.0)) (log (cbrt y))) (* (* 2/3 (log y)) (- (* x x) (* 1.0 1.0))))) (* (+ x 1.0) (+ x 1.0)) (+ (pow (* (- x 1.0) (* 2/3 (log y))) 3) (pow (* (log (cbrt y)) (- x 1.0)) 3)) (+ (* 4 (* (* (- x 1.0) (log (cbrt y))) (* (- x 1.0) (log (cbrt y))))) (* (- x 1.0) (* (log (cbrt y)) (* (- x 1.0) (- (log (cbrt y)) (* 2/3 (log y))))))) (* (* 3 (* (log (cbrt y)) (- x 1.0))) (* (- x 1.0) (- (* 2/3 (log y)) (log (cbrt y))))) (* (- x 1.0) (- (* 2/3 (log y)) (log (cbrt y)))) (* (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y))) (- x 1.0)) (* (- x 1.0) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (- x 1.0) (+ (log 1) (* 2/3 (log y)))) (* (- x 1.0) (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y)))) (* (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))) (- x 1.0)) (* (- x 1.0) (* 2/3 (log y))) (* (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y))) (- x 1.0)) (* (- x 1.0) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (- x 1.0) (+ (log 1) (* 2/3 (log y)))) (* (- x 1.0) (+ (* 2 (log (cbrt (cbrt y)))) (* 2/3 (log y)))) (* (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))) (- x 1.0)) (* (- x 1.0) (* 2/3 (log y))) (* (log (cbrt y)) (- (- x 1.0) (* 2 1.0))) (* (log (cbrt y)) (- (- x 1.0) (* 2 1.0))) (* (log (cbrt y)) (- (- x 1.0) (* 2 1.0))) (* (log (cbrt y)) (- (- x 1.0) (* 2 1.0))) (* (log (cbrt y)) (- x 1.0)) (log (* (- x 1.0) (log (cbrt y)))) (log (* (- x 1.0) (log (cbrt y)))) (pow (cbrt y) (- x 1.0)) (pow (* (log (cbrt y)) (- x 1.0)) 3) (* (cbrt (* (- x 1.0) (log (cbrt y)))) (cbrt (* (- x 1.0) (log (cbrt y))))) (cbrt (* (- x 1.0) (log (cbrt y)))) (pow (* (log (cbrt y)) (- x 1.0)) 3) (sqrt (* (- x 1.0) (log (cbrt y)))) (sqrt (* (- x 1.0) (log (cbrt y)))) (* (sqrt (- x 1.0)) (sqrt (log (cbrt y)))) (* (sqrt (- x 1.0)) (sqrt (log (cbrt y)))) (* (log (cbrt (pow y 2/3))) (- x 1.0)) (* (- x 1.0) (log (cbrt (cbrt y)))) (* (log (cbrt (sqrt y))) (- x 1.0)) (* (log (cbrt (sqrt y))) (- x 1.0)) (* (log 1) (- x 1.0)) (* (log (cbrt y)) (- x 1.0)) (* (- x 1.0) (* 2 (log (cbrt (cbrt y))))) (* (- x 1.0) (log (cbrt (cbrt y)))) (* (- x 1.0) (log (sqrt (cbrt y)))) (* (- x 1.0) (log (sqrt (cbrt y)))) 0 (* (log (cbrt y)) (- x 1.0)) (* (log (cbrt (pow y 2/3))) (- x 1.0)) (* (- x 1.0) (log (cbrt (cbrt y)))) (* (log (cbrt (sqrt y))) (- x 1.0)) (* (log (cbrt (sqrt y))) (- x 1.0)) (* (log 1) (- x 1.0)) (* (log (cbrt y)) (- x 1.0)) (* (- x 1.0) (* 2 (log (cbrt (cbrt y))))) (* (- x 1.0) (log (cbrt (cbrt y)))) (* (- x 1.0) (log (sqrt (cbrt y)))) (* (- x 1.0) (log (sqrt (cbrt y)))) 0 (* (log (cbrt y)) (- x 1.0)) (* (- x 1.0) 1/3) (- x 1.0) (* (- x 1.0) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* (- x 1.0) (sqrt (log (cbrt y)))) (- x 1.0) (* (cbrt (- x 1.0)) (log (cbrt y))) (* (sqrt (- x 1.0)) (log (cbrt y))) (* (log (cbrt y)) (- x 1.0)) (* (- (sqrt x) (sqrt 1.0)) (log (cbrt y))) (* (log (cbrt y)) (- x 1.0)) (* (- (pow x 3) (pow 1.0 3)) (log (cbrt y))) (* (- (* x x) (* 1.0 1.0)) (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log (cbrt y)) (- (* 3 x) 3.0)) (* (* (- (log y)) -1/3) (- (* 3 x) 3.0)) (* (log (* (cbrt (- y)) (cbrt -1))) (- (* 3 x) 3.0)) (* (log (cbrt y)) (- x 1.0)) (* (* (- (log y)) -1/3) (- x 1.0)) (* (log (* (cbrt (- y)) (cbrt -1))) (- x 1.0)) 15.195 * * * [progress]: adding candidates to table 15.721 * * [progress]: iteration 4 / 4 15.721 * * * [progress]: picking best candidate 15.758 * * * * [pick]: Picked # 15.758 * * * [progress]: localizing error 15.789 * * * [progress]: generating rewritten candidates 15.789 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 15.790 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 2 1) 15.791 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 15.791 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2 1 1) 15.793 * * * [progress]: generating series expansions 15.793 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 15.793 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 15.793 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 15.793 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 15.793 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 15.793 * [taylor]: Taking taylor expansion of 1/9 in y 15.793 * [taylor]: Taking taylor expansion of (log y) in y 15.793 * [taylor]: Taking taylor expansion of y in y 15.794 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 15.794 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 15.794 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 15.794 * [taylor]: Taking taylor expansion of 1/9 in y 15.794 * [taylor]: Taking taylor expansion of (log y) in y 15.794 * [taylor]: Taking taylor expansion of y in y 15.844 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 15.844 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.844 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.844 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.844 * [taylor]: Taking taylor expansion of 1/9 in y 15.844 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.844 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.845 * [taylor]: Taking taylor expansion of y in y 15.845 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.845 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.845 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.845 * [taylor]: Taking taylor expansion of 1/9 in y 15.845 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.845 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.845 * [taylor]: Taking taylor expansion of y in y 15.900 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 15.900 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 15.900 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 15.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 15.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 15.900 * [taylor]: Taking taylor expansion of 1/3 in y 15.900 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 15.900 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.900 * [taylor]: Taking taylor expansion of -1 in y 15.904 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.904 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.904 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.904 * [taylor]: Taking taylor expansion of 1/9 in y 15.904 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.904 * [taylor]: Taking taylor expansion of y in y 15.905 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 15.905 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 15.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 15.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 15.905 * [taylor]: Taking taylor expansion of 1/3 in y 15.905 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 15.905 * [taylor]: Taking taylor expansion of (cbrt -1) in y 15.905 * [taylor]: Taking taylor expansion of -1 in y 15.908 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 15.908 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 15.908 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 15.908 * [taylor]: Taking taylor expansion of 1/9 in y 15.908 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 15.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.908 * [taylor]: Taking taylor expansion of y in y 16.028 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 2 1) 16.028 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 16.028 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 16.028 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 16.028 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 16.028 * [taylor]: Taking taylor expansion of 1/9 in y 16.028 * [taylor]: Taking taylor expansion of (log y) in y 16.028 * [taylor]: Taking taylor expansion of y in y 16.028 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 16.028 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 16.028 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 16.028 * [taylor]: Taking taylor expansion of 1/9 in y 16.028 * [taylor]: Taking taylor expansion of (log y) in y 16.028 * [taylor]: Taking taylor expansion of y in y 16.084 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 16.084 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 16.084 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 16.085 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 16.085 * [taylor]: Taking taylor expansion of 1/9 in y 16.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.085 * [taylor]: Taking taylor expansion of y in y 16.085 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 16.085 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 16.085 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 16.085 * [taylor]: Taking taylor expansion of 1/9 in y 16.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.086 * [taylor]: Taking taylor expansion of y in y 16.142 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 16.143 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 16.143 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 16.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 16.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 16.143 * [taylor]: Taking taylor expansion of 1/3 in y 16.143 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 16.143 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.143 * [taylor]: Taking taylor expansion of -1 in y 16.146 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 16.146 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 16.146 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 16.146 * [taylor]: Taking taylor expansion of 1/9 in y 16.146 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.146 * [taylor]: Taking taylor expansion of y in y 16.147 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 16.147 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 16.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 16.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 16.147 * [taylor]: Taking taylor expansion of 1/3 in y 16.147 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 16.147 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.147 * [taylor]: Taking taylor expansion of -1 in y 16.151 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 16.151 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 16.151 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 16.151 * [taylor]: Taking taylor expansion of 1/9 in y 16.151 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.151 * [taylor]: Taking taylor expansion of y in y 16.279 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 16.280 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 16.280 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.280 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.280 * [taylor]: Taking taylor expansion of 1/3 in y 16.280 * [taylor]: Taking taylor expansion of (log y) in y 16.280 * [taylor]: Taking taylor expansion of y in y 16.280 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.280 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.280 * [taylor]: Taking taylor expansion of 1/3 in y 16.280 * [taylor]: Taking taylor expansion of (log y) in y 16.280 * [taylor]: Taking taylor expansion of y in y 16.328 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 16.328 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.328 * [taylor]: Taking taylor expansion of 1/3 in y 16.328 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.328 * [taylor]: Taking taylor expansion of y in y 16.329 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.329 * [taylor]: Taking taylor expansion of 1/3 in y 16.329 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.329 * [taylor]: Taking taylor expansion of y in y 16.386 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 16.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 16.386 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.386 * [taylor]: Taking taylor expansion of -1 in y 16.387 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.387 * [taylor]: Taking taylor expansion of 1/3 in y 16.387 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.387 * [taylor]: Taking taylor expansion of y in y 16.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 16.388 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.388 * [taylor]: Taking taylor expansion of -1 in y 16.388 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.388 * [taylor]: Taking taylor expansion of 1/3 in y 16.388 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.388 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.388 * [taylor]: Taking taylor expansion of y in y 16.455 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2 1 1) 16.455 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 16.455 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.455 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.455 * [taylor]: Taking taylor expansion of 1/3 in y 16.455 * [taylor]: Taking taylor expansion of (log y) in y 16.455 * [taylor]: Taking taylor expansion of y in y 16.456 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 16.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 16.456 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 16.456 * [taylor]: Taking taylor expansion of 1/3 in y 16.456 * [taylor]: Taking taylor expansion of (log y) in y 16.456 * [taylor]: Taking taylor expansion of y in y 16.508 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 16.508 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.508 * [taylor]: Taking taylor expansion of 1/3 in y 16.508 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.508 * [taylor]: Taking taylor expansion of y in y 16.509 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.509 * [taylor]: Taking taylor expansion of 1/3 in y 16.509 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.509 * [taylor]: Taking taylor expansion of y in y 16.560 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 16.560 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 16.560 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.560 * [taylor]: Taking taylor expansion of -1 in y 16.560 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.561 * [taylor]: Taking taylor expansion of 1/3 in y 16.561 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.561 * [taylor]: Taking taylor expansion of y in y 16.561 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 16.561 * [taylor]: Taking taylor expansion of (cbrt -1) in y 16.561 * [taylor]: Taking taylor expansion of -1 in y 16.562 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 16.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 16.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 16.562 * [taylor]: Taking taylor expansion of 1/3 in y 16.562 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 16.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y 16.562 * [taylor]: Taking taylor expansion of y in y 16.630 * * * [progress]: simplifying candidates 16.630 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 16.632 * * [simplify]: iteration 0 : 42 enodes (cost 346 ) 16.644 * * [simplify]: iteration 1 : 75 enodes (cost 330 ) 16.655 * * [simplify]: iteration 2 : 147 enodes (cost 302 ) 16.678 * * [simplify]: iteration 3 : 306 enodes (cost 290 ) 16.751 * * [simplify]: iteration 4 : 855 enodes (cost 290 ) 17.382 * * [simplify]: iteration 5 : 3493 enodes (cost 290 ) 18.635 * * [simplify]: iteration done : 5001 enodes (cost 290 ) 18.636 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt 1) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt 1) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 18.636 * * * [progress]: adding candidates to table 19.062 * [progress]: [Phase 3 of 3] Extracting. 19.062 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 19.069 * * * [regime-changes]: Trying 6 branch expressions: ((- z 1.0) (- x 1.0) t z y x) 19.069 * * * * [regimes]: Trying to branch on (- z 1.0) from (# # # # # # # # #) 19.125 * * * * [regimes]: Trying to branch on (- x 1.0) from (# # # # # # # # #) 19.180 * * * * [regimes]: Trying to branch on t from (# # # # # # # # #) 19.236 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 19.292 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 19.350 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 19.406 * * * [regime]: Found split indices: #