10.668 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (- (log (+ 1.0 (exp x))) (* x y)) 0.054 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.054 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.056 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.057 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.058 * [simplify]: Simplified to: (- (log (+ 1.0 (exp x))) (* x y)) 0.058 * * [progress]: iteration 1 / 4 0.058 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.060 * * * [progress]: localizing error 0.067 * * * [progress]: generating rewritten candidates 0.067 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.070 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.076 * * * [progress]: generating series expansions 0.076 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.076 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0 0.076 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.076 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.076 * [taylor]: Taking taylor expansion of (exp x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of 1.0 in x 0.077 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.077 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.077 * [taylor]: Taking taylor expansion of (exp x) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of 1.0 in x 0.098 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0 0.098 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.098 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of 1.0 in x 0.098 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.098 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of 1.0 in x 0.119 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0 0.119 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.119 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.119 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.119 * [taylor]: Taking taylor expansion of -1 in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of 1.0 in x 0.119 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.119 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.119 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.119 * [taylor]: Taking taylor expansion of -1 in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of 1.0 in x 0.139 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.139 * [approximate]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in (x y) around 0 0.140 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y 0.140 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y 0.140 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y 0.140 * [taylor]: Taking taylor expansion of (exp x) in y 0.140 * [taylor]: Taking taylor expansion of x in y 0.140 * [taylor]: Taking taylor expansion of 1.0 in y 0.140 * [taylor]: Taking taylor expansion of (* x y) in y 0.140 * [taylor]: Taking taylor expansion of x in y 0.140 * [taylor]: Taking taylor expansion of y in y 0.140 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 0.140 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.140 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.140 * [taylor]: Taking taylor expansion of (exp x) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of 1.0 in x 0.140 * [taylor]: Taking taylor expansion of (* x y) in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of y in x 0.140 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 0.140 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.140 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.141 * [taylor]: Taking taylor expansion of (exp x) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of 1.0 in x 0.141 * [taylor]: Taking taylor expansion of (* x y) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of y in x 0.142 * [taylor]: Taking taylor expansion of (log 2.0) in y 0.142 * [taylor]: Taking taylor expansion of 2.0 in y 0.147 * [taylor]: Taking taylor expansion of (- 0.5 y) in y 0.147 * [taylor]: Taking taylor expansion of 0.5 in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y 0.159 * [taylor]: Taking taylor expansion of 0.25 in y 0.159 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y 0.159 * [taylor]: Taking taylor expansion of 1/2 in y 0.159 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y 0.159 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 0.159 * [taylor]: Taking taylor expansion of 2.0 in y 0.161 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0 0.161 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y 0.161 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 0.161 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 0.161 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.161 * [taylor]: Taking taylor expansion of x in y 0.161 * [taylor]: Taking taylor expansion of 1.0 in y 0.161 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.161 * [taylor]: Taking taylor expansion of (* x y) in y 0.161 * [taylor]: Taking taylor expansion of x in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 0.162 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.162 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.162 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of 1.0 in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.162 * [taylor]: Taking taylor expansion of (* x y) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 0.162 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.162 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of 1.0 in x 0.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.163 * [taylor]: Taking taylor expansion of (* x y) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 0.165 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.165 * [taylor]: Taking taylor expansion of x in y 0.165 * [taylor]: Taking taylor expansion of 1.0 in y 0.171 * [taylor]: Taking taylor expansion of 0 in y 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0 0.181 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y 0.181 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 0.181 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 0.181 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.181 * [taylor]: Taking taylor expansion of 1.0 in y 0.181 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.181 * [taylor]: Taking taylor expansion of (* x y) in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 0.182 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.182 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.182 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of 1.0 in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.182 * [taylor]: Taking taylor expansion of (* x y) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 0.183 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.183 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.183 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of 1.0 in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.183 * [taylor]: Taking taylor expansion of (* x y) in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 0.185 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 0.185 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 0.185 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.185 * [taylor]: Taking taylor expansion of -1 in y 0.185 * [taylor]: Taking taylor expansion of x in y 0.185 * [taylor]: Taking taylor expansion of 1.0 in y 0.189 * [taylor]: Taking taylor expansion of 0 in y 0.192 * [taylor]: Taking taylor expansion of 0 in y 0.199 * [taylor]: Taking taylor expansion of 0 in y 0.199 * * * [progress]: simplifying candidates 0.200 * [simplify]: Simplifying using # : (log (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log 1) (log (+ 1.0 (exp x))) (log 1) (log (+ 1.0 (exp x))) (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (log (- (* 1.0 1.0) (* (exp x) (exp x)))) (log (- 1.0 (exp x))) (log (+ 1.0 (exp x))) (log (log (+ 1.0 (exp x)))) (exp (log (+ 1.0 (exp x)))) (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) (cbrt (log (+ 1.0 (exp x)))) (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (/ (+ 1.0 (exp x)) (exp (* x y))) (log (- (log (+ 1.0 (exp x))) (* x y))) (exp (- (log (+ 1.0 (exp x))) (* x y))) (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (* (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y))) (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))) (- (* x y)) (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) (+ (log (+ 1.0 (exp x))) (* x y)) (- (log (cbrt (+ 1.0 (exp x)))) (* x y)) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (+ (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (* x y)) (+ (log (- 1.0 (exp x))) (* x y)) (- (* x y)) (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x))) (- (log (+ (exp x) 1.0)) (* x y)) (- (log (+ (exp x) 1.0)) (* x y)) 0.202 * * [simplify]: iteration 0 : 83 enodes (cost 463 ) 0.214 * * [simplify]: iteration 1 : 179 enodes (cost 437 ) 0.245 * * [simplify]: iteration 2 : 436 enodes (cost 415 ) 0.328 * * [simplify]: iteration 3 : 1188 enodes (cost 409 ) 0.979 * * [simplify]: iteration 4 : 3751 enodes (cost 407 ) 1.867 * * [simplify]: iteration done : 5000 enodes (cost 407 ) 1.868 * [simplify]: Simplified to: (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) 0 (log (+ 1.0 (exp x))) 0 (log (+ 1.0 (exp x))) (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))) (log (- (* 1.0 1.0) (exp (+ x x)))) (log (- 1.0 (exp x))) (log (+ 1.0 (exp x))) (log (log (+ 1.0 (exp x)))) (+ (exp x) 1.0) (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) (cbrt (log (+ 1.0 (exp x)))) (pow (log (+ (exp x) 1.0)) 3) (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (/ (+ 1.0 (exp x)) (exp (* x y))) (log (- (log (+ 1.0 (exp x))) (* x y))) (/ (+ 1.0 (exp x)) (exp (* x y))) (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) (+ (* (log (+ 1.0 (exp x))) (+ (log (+ 1.0 (exp x))) (* x y))) (* (* x y) (* x y))) (- (* x y)) (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) (+ (log (+ 1.0 (exp x))) (* x y)) (- (log (cbrt (+ 1.0 (exp x)))) (* x y)) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (+ (log (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))) (* x y)) (+ (log (- 1.0 (exp x))) (* x y)) (- (* x y)) (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))) (+ (* x (+ 0.5 (* 0.125 x))) (log 2.0)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) 1.868 * * * [progress]: adding candidates to table 1.957 * * [progress]: iteration 2 / 4 1.957 * * * [progress]: picking best candidate 1.962 * * * * [pick]: Picked # 1.962 * * * [progress]: localizing error 1.977 * * * [progress]: generating rewritten candidates 1.977 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1.992 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.507 * * * [progress]: generating series expansions 2.507 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 2.508 * [approximate]: Taking taylor expansion of (- (+ (* 0.25 (pow x 2)) (* 0.5 x)) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) in (x) around 0 2.509 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (pow x 2)) (* 0.5 x)) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) in x 2.509 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x 2.509 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x 2.509 * [taylor]: Taking taylor expansion of 0.25 in x 2.509 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.509 * [taylor]: Taking taylor expansion of 0.5 in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x 2.509 * [taylor]: Taking taylor expansion of 1/2 in x 2.509 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x 2.509 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.509 * [taylor]: Taking taylor expansion of x in x 2.509 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.509 * [taylor]: Taking taylor expansion of 2.0 in x 2.510 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (pow x 2)) (* 0.5 x)) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) in x 2.510 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x 2.510 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x 2.510 * [taylor]: Taking taylor expansion of 0.25 in x 2.510 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.510 * [taylor]: Taking taylor expansion of x in x 2.510 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.510 * [taylor]: Taking taylor expansion of 0.5 in x 2.510 * [taylor]: Taking taylor expansion of x in x 2.510 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x 2.510 * [taylor]: Taking taylor expansion of 1/2 in x 2.510 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x 2.510 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.510 * [taylor]: Taking taylor expansion of x in x 2.510 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.510 * [taylor]: Taking taylor expansion of 2.0 in x 2.546 * [approximate]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2))))) in (x) around 0 2.546 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2))))) in x 2.546 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x 2.546 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.546 * [taylor]: Taking taylor expansion of 0.25 in x 2.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.546 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.546 * [taylor]: Taking taylor expansion of x in x 2.547 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.547 * [taylor]: Taking taylor expansion of 0.5 in x 2.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.547 * [taylor]: Taking taylor expansion of x in x 2.547 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.547 * [taylor]: Taking taylor expansion of 1/2 in x 2.547 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.547 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.547 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.547 * [taylor]: Taking taylor expansion of x in x 2.547 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.547 * [taylor]: Taking taylor expansion of 2.0 in x 2.549 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2))))) in x 2.549 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x 2.549 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.549 * [taylor]: Taking taylor expansion of 0.25 in x 2.549 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.549 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.549 * [taylor]: Taking taylor expansion of x in x 2.549 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.549 * [taylor]: Taking taylor expansion of 0.5 in x 2.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.549 * [taylor]: Taking taylor expansion of x in x 2.550 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.550 * [taylor]: Taking taylor expansion of 1/2 in x 2.550 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.550 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.550 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.550 * [taylor]: Taking taylor expansion of x in x 2.550 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.550 * [taylor]: Taking taylor expansion of 2.0 in x 2.602 * [approximate]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x)))) in (x) around 0 2.602 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x)))) in x 2.602 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.602 * [taylor]: Taking taylor expansion of 0.25 in x 2.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.602 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.602 * [taylor]: Taking taylor expansion of x in x 2.602 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x))) in x 2.602 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.602 * [taylor]: Taking taylor expansion of 1/2 in x 2.602 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.602 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.602 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.602 * [taylor]: Taking taylor expansion of x in x 2.602 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.602 * [taylor]: Taking taylor expansion of 2.0 in x 2.603 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.603 * [taylor]: Taking taylor expansion of 0.5 in x 2.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.603 * [taylor]: Taking taylor expansion of x in x 2.604 * [taylor]: Taking taylor expansion of (- (* 0.25 (/ 1 (pow x 2))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x)))) in x 2.604 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.604 * [taylor]: Taking taylor expansion of 0.25 in x 2.604 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.604 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x))) in x 2.604 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.604 * [taylor]: Taking taylor expansion of 1/2 in x 2.604 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.604 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.604 * [taylor]: Taking taylor expansion of x in x 2.604 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.604 * [taylor]: Taking taylor expansion of 2.0 in x 2.605 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.605 * [taylor]: Taking taylor expansion of 0.5 in x 2.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.606 * [taylor]: Taking taylor expansion of x in x 2.655 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.657 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in (x y) around 0 2.657 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in y 2.657 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in y 2.657 * [taylor]: Taking taylor expansion of (log 2.0) in y 2.657 * [taylor]: Taking taylor expansion of 2.0 in y 2.657 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in y 2.657 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in y 2.657 * [taylor]: Taking taylor expansion of 0.25 in y 2.657 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.657 * [taylor]: Taking taylor expansion of x in y 2.657 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 2.657 * [taylor]: Taking taylor expansion of 0.5 in y 2.657 * [taylor]: Taking taylor expansion of x in y 2.657 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y)) in y 2.657 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in y 2.657 * [taylor]: Taking taylor expansion of 1/2 in y 2.657 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in y 2.657 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.658 * [taylor]: Taking taylor expansion of x in y 2.658 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 2.658 * [taylor]: Taking taylor expansion of 2.0 in y 2.658 * [taylor]: Taking taylor expansion of (* x y) in y 2.658 * [taylor]: Taking taylor expansion of x in y 2.658 * [taylor]: Taking taylor expansion of y in y 2.658 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in x 2.658 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in x 2.658 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.658 * [taylor]: Taking taylor expansion of 2.0 in x 2.658 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x 2.658 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x 2.658 * [taylor]: Taking taylor expansion of 0.25 in x 2.658 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.658 * [taylor]: Taking taylor expansion of x in x 2.658 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.658 * [taylor]: Taking taylor expansion of 0.5 in x 2.658 * [taylor]: Taking taylor expansion of x in x 2.658 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y)) in x 2.658 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x 2.659 * [taylor]: Taking taylor expansion of 1/2 in x 2.659 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x 2.659 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.659 * [taylor]: Taking taylor expansion of x in x 2.659 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.659 * [taylor]: Taking taylor expansion of 2.0 in x 2.659 * [taylor]: Taking taylor expansion of (* x y) in x 2.659 * [taylor]: Taking taylor expansion of x in x 2.659 * [taylor]: Taking taylor expansion of y in x 2.659 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in x 2.659 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in x 2.659 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.659 * [taylor]: Taking taylor expansion of 2.0 in x 2.660 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x 2.660 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x 2.660 * [taylor]: Taking taylor expansion of 0.25 in x 2.660 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.660 * [taylor]: Taking taylor expansion of x in x 2.660 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 2.660 * [taylor]: Taking taylor expansion of 0.5 in x 2.660 * [taylor]: Taking taylor expansion of x in x 2.660 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y)) in x 2.660 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x 2.660 * [taylor]: Taking taylor expansion of 1/2 in x 2.660 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x 2.660 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.660 * [taylor]: Taking taylor expansion of x in x 2.660 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.660 * [taylor]: Taking taylor expansion of 2.0 in x 2.661 * [taylor]: Taking taylor expansion of (* x y) in x 2.661 * [taylor]: Taking taylor expansion of x in x 2.661 * [taylor]: Taking taylor expansion of y in x 2.663 * [taylor]: Taking taylor expansion of (log 2.0) in y 2.663 * [taylor]: Taking taylor expansion of 2.0 in y 2.666 * [taylor]: Taking taylor expansion of (- 0.5 y) in y 2.666 * [taylor]: Taking taylor expansion of 0.5 in y 2.666 * [taylor]: Taking taylor expansion of y in y 2.672 * [taylor]: Taking taylor expansion of 0.125 in y 2.675 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in (x y) around 0 2.675 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in y 2.675 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in y 2.675 * [taylor]: Taking taylor expansion of (log 2.0) in y 2.675 * [taylor]: Taking taylor expansion of 2.0 in y 2.675 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in y 2.675 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in y 2.675 * [taylor]: Taking taylor expansion of 0.25 in y 2.675 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 2.675 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.675 * [taylor]: Taking taylor expansion of x in y 2.675 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.675 * [taylor]: Taking taylor expansion of 0.5 in y 2.675 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.675 * [taylor]: Taking taylor expansion of x in y 2.676 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y))) in y 2.676 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in y 2.676 * [taylor]: Taking taylor expansion of 1/2 in y 2.676 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in y 2.676 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in y 2.676 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.676 * [taylor]: Taking taylor expansion of x in y 2.676 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 2.676 * [taylor]: Taking taylor expansion of 2.0 in y 2.676 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.676 * [taylor]: Taking taylor expansion of (* x y) in y 2.676 * [taylor]: Taking taylor expansion of x in y 2.676 * [taylor]: Taking taylor expansion of y in y 2.676 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in x 2.676 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in x 2.677 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.677 * [taylor]: Taking taylor expansion of 2.0 in x 2.677 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x 2.677 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.677 * [taylor]: Taking taylor expansion of 0.25 in x 2.677 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.677 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.677 * [taylor]: Taking taylor expansion of x in x 2.677 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.677 * [taylor]: Taking taylor expansion of 0.5 in x 2.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.677 * [taylor]: Taking taylor expansion of x in x 2.678 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y))) in x 2.678 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.678 * [taylor]: Taking taylor expansion of 1/2 in x 2.678 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.678 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.678 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.678 * [taylor]: Taking taylor expansion of x in x 2.678 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.678 * [taylor]: Taking taylor expansion of 2.0 in x 2.679 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.679 * [taylor]: Taking taylor expansion of (* x y) in x 2.679 * [taylor]: Taking taylor expansion of x in x 2.679 * [taylor]: Taking taylor expansion of y in x 2.679 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in x 2.679 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in x 2.679 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.679 * [taylor]: Taking taylor expansion of 2.0 in x 2.680 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x 2.680 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.680 * [taylor]: Taking taylor expansion of 0.25 in x 2.680 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.680 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.680 * [taylor]: Taking taylor expansion of x in x 2.680 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.680 * [taylor]: Taking taylor expansion of 0.5 in x 2.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.680 * [taylor]: Taking taylor expansion of x in x 2.680 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y))) in x 2.680 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.680 * [taylor]: Taking taylor expansion of 1/2 in x 2.681 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.681 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.681 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.681 * [taylor]: Taking taylor expansion of x in x 2.681 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.681 * [taylor]: Taking taylor expansion of 2.0 in x 2.682 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.682 * [taylor]: Taking taylor expansion of (* x y) in x 2.682 * [taylor]: Taking taylor expansion of x in x 2.682 * [taylor]: Taking taylor expansion of y in x 2.684 * [taylor]: Taking taylor expansion of 0.125 in y 2.688 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 2.688 * [taylor]: Taking taylor expansion of 0.5 in y 2.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.688 * [taylor]: Taking taylor expansion of y in y 2.696 * [taylor]: Taking taylor expansion of (log 2.0) in y 2.696 * [taylor]: Taking taylor expansion of 2.0 in y 2.699 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in (x y) around 0 2.699 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in y 2.699 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in y 2.699 * [taylor]: Taking taylor expansion of (log 2.0) in y 2.699 * [taylor]: Taking taylor expansion of 2.0 in y 2.699 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in y 2.699 * [taylor]: Taking taylor expansion of 0.25 in y 2.699 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 2.699 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.699 * [taylor]: Taking taylor expansion of x in y 2.700 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x)))) in y 2.700 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in y 2.700 * [taylor]: Taking taylor expansion of 1/2 in y 2.700 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in y 2.700 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in y 2.700 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.700 * [taylor]: Taking taylor expansion of x in y 2.700 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 2.700 * [taylor]: Taking taylor expansion of 2.0 in y 2.700 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in y 2.700 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.700 * [taylor]: Taking taylor expansion of (* x y) in y 2.700 * [taylor]: Taking taylor expansion of x in y 2.700 * [taylor]: Taking taylor expansion of y in y 2.701 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 2.701 * [taylor]: Taking taylor expansion of 0.5 in y 2.701 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.701 * [taylor]: Taking taylor expansion of x in y 2.701 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in x 2.701 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in x 2.701 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.701 * [taylor]: Taking taylor expansion of 2.0 in x 2.701 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.701 * [taylor]: Taking taylor expansion of 0.25 in x 2.701 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.701 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.701 * [taylor]: Taking taylor expansion of x in x 2.702 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x)))) in x 2.702 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.702 * [taylor]: Taking taylor expansion of 1/2 in x 2.702 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.702 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.702 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.702 * [taylor]: Taking taylor expansion of x in x 2.702 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.702 * [taylor]: Taking taylor expansion of 2.0 in x 2.703 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 2.703 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.703 * [taylor]: Taking taylor expansion of (* x y) in x 2.703 * [taylor]: Taking taylor expansion of x in x 2.703 * [taylor]: Taking taylor expansion of y in x 2.703 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.703 * [taylor]: Taking taylor expansion of 0.5 in x 2.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.703 * [taylor]: Taking taylor expansion of x in x 2.703 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in x 2.703 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in x 2.703 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.703 * [taylor]: Taking taylor expansion of 2.0 in x 2.704 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x 2.704 * [taylor]: Taking taylor expansion of 0.25 in x 2.704 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.704 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.704 * [taylor]: Taking taylor expansion of x in x 2.704 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x)))) in x 2.704 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x 2.704 * [taylor]: Taking taylor expansion of 1/2 in x 2.704 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x 2.704 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.704 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.704 * [taylor]: Taking taylor expansion of x in x 2.704 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.704 * [taylor]: Taking taylor expansion of 2.0 in x 2.705 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 2.706 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.706 * [taylor]: Taking taylor expansion of (* x y) in x 2.706 * [taylor]: Taking taylor expansion of x in x 2.706 * [taylor]: Taking taylor expansion of y in x 2.706 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 2.706 * [taylor]: Taking taylor expansion of 0.5 in x 2.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.706 * [taylor]: Taking taylor expansion of x in x 2.708 * [taylor]: Taking taylor expansion of 0.125 in y 2.712 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 0.5)) in y 2.712 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 2.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.712 * [taylor]: Taking taylor expansion of y in y 2.712 * [taylor]: Taking taylor expansion of 0.5 in y 2.720 * [taylor]: Taking taylor expansion of (log 2.0) in y 2.720 * [taylor]: Taking taylor expansion of 2.0 in y 2.722 * * * [progress]: simplifying candidates 2.723 * [simplify]: Simplifying using # : (* (exp (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))))) (exp (* 0.5 x))) (log (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (exp (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (* (cbrt (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (cbrt (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)))) (cbrt (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (* (* (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (sqrt (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (sqrt (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) (+ (pow (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) 3) (pow (* 0.5 x) 3)) (+ (* (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))))) (- (* (* 0.5 x) (* 0.5 x)) (* (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)))) (- (* (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))))) (* (* 0.5 x) (* 0.5 x))) (- (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (+ (* (pow x 2) (- (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (+ (* (pow x 2) (- (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (+ (* (- (/ 1/2 (pow 2.0 2))) (pow x 2)) (* 0.5 x)) (+ (* (- (/ 1/2 (pow 2.0 2))) (pow x 2)) (* 0.5 x)) (/ (* (* (exp (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))))) (exp (* 0.5 x))) 2.0) (exp (* x y))) (/ (* (exp (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x))) 2.0) (exp (* x y))) (/ (exp (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0))) (exp (* x y))) (log (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (exp (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (* (cbrt (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (cbrt (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y)))) (cbrt (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (* (* (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y)) (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (sqrt (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (sqrt (- (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y))) (- (pow (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) 3) (pow (* x y) 3)) (+ (* (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0))) (+ (* (* x y) (* x y)) (* (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y)))) (- (* x y)) (- (* (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0))) (* (* x y) (* x y))) (+ (+ (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* 0.5 x)) (log 2.0)) (* x y)) (- (log 2.0) (* x y)) (- (* x y)) (+ (* 0.125 (pow x 2)) (* 0.5 x)) (+ (* 0.125 (pow x 2)) (* 0.5 x)) (+ (* 0.125 (pow x 2)) (* 0.5 x)) (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x))) (- (+ (* 0.125 (pow x 2)) (* 0.5 x)) (* x y)) (- (+ (* 0.125 (pow x 2)) (* 0.5 x)) (* x y)) 2.725 * * [simplify]: iteration 0 : 75 enodes (cost 886 ) 2.742 * * [simplify]: iteration 1 : 229 enodes (cost 871 ) 2.817 * * [simplify]: iteration 2 : 849 enodes (cost 785 ) 3.278 * * [simplify]: iteration 3 : 3602 enodes (cost 686 ) 4.218 * * [simplify]: iteration done : 5001 enodes (cost 686 ) 4.219 * [simplify]: Simplified to: (exp (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (log (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (exp (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (* (cbrt (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (cbrt (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)))) (cbrt (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (pow (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)) 3) (sqrt (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (sqrt (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (+ (pow (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) 3) (pow (* 0.5 x) 3)) (- (* (* 0.5 x) (* 0.5 x)) (* (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 (* (- 0.25 (/ 1/2 (pow 2.0 2))) x))))) (- (* (* (- 0.25 (/ 1/2 (pow 2.0 2))) (pow x 4)) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* (* 0.5 x) (* 0.5 x))) (* x (- (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)) (* x (- 0.5 (* x (/ 1/2 (pow 2.0 2))))) (* x (- 0.5 (* x (/ 1/2 (pow 2.0 2))))) (* x (- 0.5 (* x (/ 1/2 (pow 2.0 2))))) (* x (- 0.5 (* x (/ 1/2 (pow 2.0 2))))) (* (exp (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y)))) 2.0) (* (exp (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y)))) 2.0) (* (exp (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y)))) 2.0) (log (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y))))) (* (exp (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y)))) 2.0) (* (cbrt (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y))))) (cbrt (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y)))))) (cbrt (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y))))) (pow (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y)))) 3) (sqrt (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y))))) (sqrt (+ (log 2.0) (+ (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2)))) (* x (- 0.5 y))))) (- (pow (+ (log 2.0) (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) 3) (pow (* x y) 3)) (+ (* (+ (log 2.0) (+ (* x y) (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)))) (+ (log 2.0) (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)))) (* (* x y) (* x y))) (- (* x y)) (- (* (+ (log 2.0) (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5))) (+ (log 2.0) (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)))) (* (* x y) (* x y))) (+ (log 2.0) (+ (* x y) (* x (+ (* (- 0.25 (/ 1/2 (pow 2.0 2))) x) 0.5)))) (- (log 2.0) (* x y)) (- (* x y)) (* x (+ 0.5 (* x 0.125))) (* x (+ 0.5 (* x 0.125))) (* x (+ 0.5 (* x 0.125))) (+ (* x (+ 0.5 (* x 0.125))) (log 2.0)) (* x (+ (* x 0.125) (- 0.5 y))) (* x (+ (* x 0.125) (- 0.5 y))) 4.219 * * * [progress]: adding candidates to table 4.312 * * [progress]: iteration 3 / 4 4.312 * * * [progress]: picking best candidate 4.316 * * * * [pick]: Picked # 4.316 * * * [progress]: localizing error 4.327 * * * [progress]: generating rewritten candidates 4.327 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.331 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 4.335 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 4.338 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.345 * * * [progress]: generating series expansions 4.345 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.345 * [approximate]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in (x y) around 0 4.345 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y 4.345 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y 4.345 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y 4.345 * [taylor]: Taking taylor expansion of (exp x) in y 4.345 * [taylor]: Taking taylor expansion of x in y 4.346 * [taylor]: Taking taylor expansion of 1.0 in y 4.346 * [taylor]: Taking taylor expansion of (* x y) in y 4.346 * [taylor]: Taking taylor expansion of x in y 4.346 * [taylor]: Taking taylor expansion of y in y 4.346 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 4.346 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.346 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.346 * [taylor]: Taking taylor expansion of (exp x) in x 4.346 * [taylor]: Taking taylor expansion of x in x 4.346 * [taylor]: Taking taylor expansion of 1.0 in x 4.347 * [taylor]: Taking taylor expansion of (* x y) in x 4.347 * [taylor]: Taking taylor expansion of x in x 4.347 * [taylor]: Taking taylor expansion of y in x 4.347 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 4.347 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.347 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.347 * [taylor]: Taking taylor expansion of (exp x) in x 4.347 * [taylor]: Taking taylor expansion of x in x 4.347 * [taylor]: Taking taylor expansion of 1.0 in x 4.347 * [taylor]: Taking taylor expansion of (* x y) in x 4.347 * [taylor]: Taking taylor expansion of x in x 4.347 * [taylor]: Taking taylor expansion of y in x 4.348 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.348 * [taylor]: Taking taylor expansion of 2.0 in y 4.353 * [taylor]: Taking taylor expansion of (- 0.5 y) in y 4.353 * [taylor]: Taking taylor expansion of 0.5 in y 4.353 * [taylor]: Taking taylor expansion of y in y 4.366 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y 4.366 * [taylor]: Taking taylor expansion of 0.25 in y 4.366 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y 4.366 * [taylor]: Taking taylor expansion of 1/2 in y 4.366 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y 4.366 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 4.366 * [taylor]: Taking taylor expansion of 2.0 in y 4.368 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0 4.368 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y 4.368 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.368 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.368 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.368 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.368 * [taylor]: Taking taylor expansion of x in y 4.368 * [taylor]: Taking taylor expansion of 1.0 in y 4.368 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.368 * [taylor]: Taking taylor expansion of (* x y) in y 4.368 * [taylor]: Taking taylor expansion of x in y 4.368 * [taylor]: Taking taylor expansion of y in y 4.369 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 4.369 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.369 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.369 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.369 * [taylor]: Taking taylor expansion of 1.0 in x 4.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.369 * [taylor]: Taking taylor expansion of (* x y) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.369 * [taylor]: Taking taylor expansion of y in x 4.370 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 4.370 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.370 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.370 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.370 * [taylor]: Taking taylor expansion of x in x 4.370 * [taylor]: Taking taylor expansion of 1.0 in x 4.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.370 * [taylor]: Taking taylor expansion of (* x y) in x 4.370 * [taylor]: Taking taylor expansion of x in x 4.370 * [taylor]: Taking taylor expansion of y in x 4.371 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.371 * [taylor]: Taking taylor expansion of y in y 4.372 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.372 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.372 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.372 * [taylor]: Taking taylor expansion of x in y 4.372 * [taylor]: Taking taylor expansion of 1.0 in y 4.375 * [taylor]: Taking taylor expansion of 0 in y 4.382 * [taylor]: Taking taylor expansion of 0 in y 4.388 * [taylor]: Taking taylor expansion of 0 in y 4.388 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0 4.388 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y 4.388 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.388 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.388 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.388 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.388 * [taylor]: Taking taylor expansion of -1 in y 4.388 * [taylor]: Taking taylor expansion of x in y 4.388 * [taylor]: Taking taylor expansion of 1.0 in y 4.388 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.388 * [taylor]: Taking taylor expansion of (* x y) in y 4.388 * [taylor]: Taking taylor expansion of x in y 4.388 * [taylor]: Taking taylor expansion of y in y 4.389 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 4.389 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.389 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.389 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.389 * [taylor]: Taking taylor expansion of -1 in x 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [taylor]: Taking taylor expansion of 1.0 in x 4.390 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.390 * [taylor]: Taking taylor expansion of (* x y) in x 4.390 * [taylor]: Taking taylor expansion of x in x 4.390 * [taylor]: Taking taylor expansion of y in x 4.390 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 4.390 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.390 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.390 * [taylor]: Taking taylor expansion of -1 in x 4.390 * [taylor]: Taking taylor expansion of x in x 4.390 * [taylor]: Taking taylor expansion of 1.0 in x 4.390 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.391 * [taylor]: Taking taylor expansion of (* x y) in x 4.391 * [taylor]: Taking taylor expansion of x in x 4.391 * [taylor]: Taking taylor expansion of y in x 4.391 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.391 * [taylor]: Taking taylor expansion of y in y 4.392 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.392 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.392 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.392 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.392 * [taylor]: Taking taylor expansion of -1 in y 4.392 * [taylor]: Taking taylor expansion of x in y 4.393 * [taylor]: Taking taylor expansion of 1.0 in y 4.395 * [taylor]: Taking taylor expansion of 0 in y 4.399 * [taylor]: Taking taylor expansion of 0 in y 4.405 * [taylor]: Taking taylor expansion of 0 in y 4.405 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 4.405 * [approximate]: Taking taylor expansion of (pow (- (log (+ (exp x) 1.0)) (* x y)) 3) in (x y) around 0 4.405 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp x) 1.0)) (* x y)) 3) in y 4.405 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y 4.405 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y 4.405 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y 4.405 * [taylor]: Taking taylor expansion of (exp x) in y 4.405 * [taylor]: Taking taylor expansion of x in y 4.405 * [taylor]: Taking taylor expansion of 1.0 in y 4.405 * [taylor]: Taking taylor expansion of (* x y) in y 4.405 * [taylor]: Taking taylor expansion of x in y 4.405 * [taylor]: Taking taylor expansion of y in y 4.406 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp x) 1.0)) (* x y)) 3) in x 4.406 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 4.406 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.406 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.406 * [taylor]: Taking taylor expansion of (exp x) in x 4.406 * [taylor]: Taking taylor expansion of x in x 4.406 * [taylor]: Taking taylor expansion of 1.0 in x 4.406 * [taylor]: Taking taylor expansion of (* x y) in x 4.406 * [taylor]: Taking taylor expansion of x in x 4.406 * [taylor]: Taking taylor expansion of y in x 4.407 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp x) 1.0)) (* x y)) 3) in x 4.407 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 4.407 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.407 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.407 * [taylor]: Taking taylor expansion of (exp x) in x 4.407 * [taylor]: Taking taylor expansion of x in x 4.407 * [taylor]: Taking taylor expansion of 1.0 in x 4.408 * [taylor]: Taking taylor expansion of (* x y) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of y in x 4.411 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in y 4.411 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.411 * [taylor]: Taking taylor expansion of 2.0 in y 4.420 * [taylor]: Taking taylor expansion of (- (* 1.5 (pow (log 2.0) 2)) (* 3 (* (pow (log 2.0) 2) y))) in y 4.420 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in y 4.420 * [taylor]: Taking taylor expansion of 1.5 in y 4.420 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in y 4.420 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.420 * [taylor]: Taking taylor expansion of 2.0 in y 4.420 * [taylor]: Taking taylor expansion of (* 3 (* (pow (log 2.0) 2) y)) in y 4.420 * [taylor]: Taking taylor expansion of 3 in y 4.420 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) y) in y 4.420 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in y 4.420 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.420 * [taylor]: Taking taylor expansion of 2.0 in y 4.421 * [taylor]: Taking taylor expansion of y in y 4.451 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (log 2.0)) (+ (* 0.75 (pow (log 2.0) 2)) (* 3 (* (log 2.0) (pow y 2))))) (+ (* 3.0 (* (log 2.0) y)) (* 3/2 (/ (pow (log 2.0) 2) (pow 2.0 2))))) in y 4.451 * [taylor]: Taking taylor expansion of (+ (* 0.75 (log 2.0)) (+ (* 0.75 (pow (log 2.0) 2)) (* 3 (* (log 2.0) (pow y 2))))) in y 4.451 * [taylor]: Taking taylor expansion of (* 0.75 (log 2.0)) in y 4.451 * [taylor]: Taking taylor expansion of 0.75 in y 4.451 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.451 * [taylor]: Taking taylor expansion of 2.0 in y 4.451 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow (log 2.0) 2)) (* 3 (* (log 2.0) (pow y 2)))) in y 4.451 * [taylor]: Taking taylor expansion of (* 0.75 (pow (log 2.0) 2)) in y 4.451 * [taylor]: Taking taylor expansion of 0.75 in y 4.451 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in y 4.451 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.451 * [taylor]: Taking taylor expansion of 2.0 in y 4.452 * [taylor]: Taking taylor expansion of (* 3 (* (log 2.0) (pow y 2))) in y 4.452 * [taylor]: Taking taylor expansion of 3 in y 4.452 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow y 2)) in y 4.452 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.452 * [taylor]: Taking taylor expansion of 2.0 in y 4.452 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.452 * [taylor]: Taking taylor expansion of y in y 4.452 * [taylor]: Taking taylor expansion of (+ (* 3.0 (* (log 2.0) y)) (* 3/2 (/ (pow (log 2.0) 2) (pow 2.0 2)))) in y 4.452 * [taylor]: Taking taylor expansion of (* 3.0 (* (log 2.0) y)) in y 4.452 * [taylor]: Taking taylor expansion of 3.0 in y 4.452 * [taylor]: Taking taylor expansion of (* (log 2.0) y) in y 4.452 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.452 * [taylor]: Taking taylor expansion of 2.0 in y 4.452 * [taylor]: Taking taylor expansion of y in y 4.452 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (pow 2.0 2))) in y 4.452 * [taylor]: Taking taylor expansion of 3/2 in y 4.452 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow 2.0 2)) in y 4.452 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in y 4.452 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.452 * [taylor]: Taking taylor expansion of 2.0 in y 4.453 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 4.453 * [taylor]: Taking taylor expansion of 2.0 in y 4.479 * [approximate]: Taking taylor expansion of (pow (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) 3) in (x y) around 0 4.479 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) 3) in y 4.479 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y 4.479 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.479 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.479 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.479 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.479 * [taylor]: Taking taylor expansion of x in y 4.479 * [taylor]: Taking taylor expansion of 1.0 in y 4.479 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.479 * [taylor]: Taking taylor expansion of (* x y) in y 4.479 * [taylor]: Taking taylor expansion of x in y 4.479 * [taylor]: Taking taylor expansion of y in y 4.480 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) 3) in x 4.480 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 4.480 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.480 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.480 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.480 * [taylor]: Taking taylor expansion of x in x 4.480 * [taylor]: Taking taylor expansion of 1.0 in x 4.480 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.480 * [taylor]: Taking taylor expansion of (* x y) in x 4.480 * [taylor]: Taking taylor expansion of x in x 4.480 * [taylor]: Taking taylor expansion of y in x 4.481 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) 3) in x 4.481 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 4.481 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.481 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.481 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.481 * [taylor]: Taking taylor expansion of x in x 4.481 * [taylor]: Taking taylor expansion of 1.0 in x 4.481 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.481 * [taylor]: Taking taylor expansion of (* x y) in x 4.481 * [taylor]: Taking taylor expansion of x in x 4.481 * [taylor]: Taking taylor expansion of y in x 4.482 * [taylor]: Taking taylor expansion of (/ -1 (pow y 3)) in y 4.482 * [taylor]: Taking taylor expansion of -1 in y 4.482 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.482 * [taylor]: Taking taylor expansion of y in y 4.484 * [taylor]: Taking taylor expansion of (* 3 (/ (log (+ (exp (/ 1 x)) 1.0)) (pow y 2))) in y 4.484 * [taylor]: Taking taylor expansion of 3 in y 4.484 * [taylor]: Taking taylor expansion of (/ (log (+ (exp (/ 1 x)) 1.0)) (pow y 2)) in y 4.484 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.484 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.484 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.484 * [taylor]: Taking taylor expansion of x in y 4.484 * [taylor]: Taking taylor expansion of 1.0 in y 4.484 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.484 * [taylor]: Taking taylor expansion of y in y 4.488 * [taylor]: Taking taylor expansion of (- (* 3 (/ (pow (log (+ (exp (/ 1 x)) 1.0)) 2) y))) in y 4.488 * [taylor]: Taking taylor expansion of (* 3 (/ (pow (log (+ (exp (/ 1 x)) 1.0)) 2) y)) in y 4.488 * [taylor]: Taking taylor expansion of 3 in y 4.489 * [taylor]: Taking taylor expansion of (/ (pow (log (+ (exp (/ 1 x)) 1.0)) 2) y) in y 4.489 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 2) in y 4.489 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.489 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.489 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.489 * [taylor]: Taking taylor expansion of x in y 4.489 * [taylor]: Taking taylor expansion of 1.0 in y 4.489 * [taylor]: Taking taylor expansion of y in y 4.494 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in y 4.494 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.494 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.494 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.494 * [taylor]: Taking taylor expansion of x in y 4.495 * [taylor]: Taking taylor expansion of 1.0 in y 4.503 * [taylor]: Taking taylor expansion of 0 in y 4.505 * [approximate]: Taking taylor expansion of (pow (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) 3) in (x y) around 0 4.505 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) 3) in y 4.505 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y 4.505 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.505 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.505 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.505 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.505 * [taylor]: Taking taylor expansion of -1 in y 4.505 * [taylor]: Taking taylor expansion of x in y 4.505 * [taylor]: Taking taylor expansion of 1.0 in y 4.505 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.505 * [taylor]: Taking taylor expansion of (* x y) in y 4.505 * [taylor]: Taking taylor expansion of x in y 4.505 * [taylor]: Taking taylor expansion of y in y 4.505 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) 3) in x 4.505 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 4.505 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.505 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.506 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.506 * [taylor]: Taking taylor expansion of -1 in x 4.506 * [taylor]: Taking taylor expansion of x in x 4.506 * [taylor]: Taking taylor expansion of 1.0 in x 4.506 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.506 * [taylor]: Taking taylor expansion of (* x y) in x 4.506 * [taylor]: Taking taylor expansion of x in x 4.506 * [taylor]: Taking taylor expansion of y in x 4.506 * [taylor]: Taking taylor expansion of (pow (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) 3) in x 4.506 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 4.506 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.506 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.506 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.507 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.507 * [taylor]: Taking taylor expansion of -1 in x 4.507 * [taylor]: Taking taylor expansion of x in x 4.507 * [taylor]: Taking taylor expansion of 1.0 in x 4.507 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.507 * [taylor]: Taking taylor expansion of (* x y) in x 4.507 * [taylor]: Taking taylor expansion of x in x 4.507 * [taylor]: Taking taylor expansion of y in x 4.508 * [taylor]: Taking taylor expansion of (/ -1 (pow y 3)) in y 4.508 * [taylor]: Taking taylor expansion of -1 in y 4.508 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.508 * [taylor]: Taking taylor expansion of y in y 4.510 * [taylor]: Taking taylor expansion of (* 3 (/ (log (+ (exp (/ -1 x)) 1.0)) (pow y 2))) in y 4.510 * [taylor]: Taking taylor expansion of 3 in y 4.510 * [taylor]: Taking taylor expansion of (/ (log (+ (exp (/ -1 x)) 1.0)) (pow y 2)) in y 4.510 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.510 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.510 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.510 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.510 * [taylor]: Taking taylor expansion of -1 in y 4.510 * [taylor]: Taking taylor expansion of x in y 4.510 * [taylor]: Taking taylor expansion of 1.0 in y 4.510 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.510 * [taylor]: Taking taylor expansion of y in y 4.514 * [taylor]: Taking taylor expansion of (- (* 3 (/ (pow (log (+ (exp (/ -1 x)) 1.0)) 2) y))) in y 4.514 * [taylor]: Taking taylor expansion of (* 3 (/ (pow (log (+ (exp (/ -1 x)) 1.0)) 2) y)) in y 4.514 * [taylor]: Taking taylor expansion of 3 in y 4.514 * [taylor]: Taking taylor expansion of (/ (pow (log (+ (exp (/ -1 x)) 1.0)) 2) y) in y 4.514 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 2) in y 4.514 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.514 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.514 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.514 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.514 * [taylor]: Taking taylor expansion of -1 in y 4.514 * [taylor]: Taking taylor expansion of x in y 4.514 * [taylor]: Taking taylor expansion of 1.0 in y 4.515 * [taylor]: Taking taylor expansion of y in y 4.520 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in y 4.520 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.520 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.520 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.520 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.520 * [taylor]: Taking taylor expansion of -1 in y 4.520 * [taylor]: Taking taylor expansion of x in y 4.520 * [taylor]: Taking taylor expansion of 1.0 in y 4.529 * [taylor]: Taking taylor expansion of 0 in y 4.530 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 4.530 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0 4.530 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.530 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.530 * [taylor]: Taking taylor expansion of (exp x) in x 4.530 * [taylor]: Taking taylor expansion of x in x 4.530 * [taylor]: Taking taylor expansion of 1.0 in x 4.531 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.531 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.531 * [taylor]: Taking taylor expansion of (exp x) in x 4.531 * [taylor]: Taking taylor expansion of x in x 4.531 * [taylor]: Taking taylor expansion of 1.0 in x 4.550 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0 4.550 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.550 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.550 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.550 * [taylor]: Taking taylor expansion of x in x 4.551 * [taylor]: Taking taylor expansion of 1.0 in x 4.551 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.551 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.551 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.551 * [taylor]: Taking taylor expansion of x in x 4.551 * [taylor]: Taking taylor expansion of 1.0 in x 4.571 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0 4.571 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.571 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.571 * [taylor]: Taking taylor expansion of -1 in x 4.571 * [taylor]: Taking taylor expansion of x in x 4.571 * [taylor]: Taking taylor expansion of 1.0 in x 4.571 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.571 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.571 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.571 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.571 * [taylor]: Taking taylor expansion of -1 in x 4.571 * [taylor]: Taking taylor expansion of x in x 4.572 * [taylor]: Taking taylor expansion of 1.0 in x 4.592 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 4.592 * [approximate]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in (x y) around 0 4.592 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y 4.592 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y 4.592 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y 4.592 * [taylor]: Taking taylor expansion of (exp x) in y 4.592 * [taylor]: Taking taylor expansion of x in y 4.592 * [taylor]: Taking taylor expansion of 1.0 in y 4.592 * [taylor]: Taking taylor expansion of (* x y) in y 4.592 * [taylor]: Taking taylor expansion of x in y 4.592 * [taylor]: Taking taylor expansion of y in y 4.592 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 4.592 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.592 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.592 * [taylor]: Taking taylor expansion of (exp x) in x 4.592 * [taylor]: Taking taylor expansion of x in x 4.592 * [taylor]: Taking taylor expansion of 1.0 in x 4.593 * [taylor]: Taking taylor expansion of (* x y) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.593 * [taylor]: Taking taylor expansion of y in x 4.593 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x 4.593 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 4.593 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 4.593 * [taylor]: Taking taylor expansion of (exp x) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.593 * [taylor]: Taking taylor expansion of 1.0 in x 4.594 * [taylor]: Taking taylor expansion of (* x y) in x 4.594 * [taylor]: Taking taylor expansion of x in x 4.594 * [taylor]: Taking taylor expansion of y in x 4.595 * [taylor]: Taking taylor expansion of (log 2.0) in y 4.595 * [taylor]: Taking taylor expansion of 2.0 in y 4.599 * [taylor]: Taking taylor expansion of (- 0.5 y) in y 4.599 * [taylor]: Taking taylor expansion of 0.5 in y 4.599 * [taylor]: Taking taylor expansion of y in y 4.612 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y 4.612 * [taylor]: Taking taylor expansion of 0.25 in y 4.612 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y 4.612 * [taylor]: Taking taylor expansion of 1/2 in y 4.612 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y 4.612 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y 4.612 * [taylor]: Taking taylor expansion of 2.0 in y 4.614 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0 4.614 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y 4.614 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.614 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.614 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.614 * [taylor]: Taking taylor expansion of x in y 4.614 * [taylor]: Taking taylor expansion of 1.0 in y 4.615 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.615 * [taylor]: Taking taylor expansion of (* x y) in y 4.615 * [taylor]: Taking taylor expansion of x in y 4.615 * [taylor]: Taking taylor expansion of y in y 4.615 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 4.615 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.615 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.615 * [taylor]: Taking taylor expansion of x in x 4.615 * [taylor]: Taking taylor expansion of 1.0 in x 4.615 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.615 * [taylor]: Taking taylor expansion of (* x y) in x 4.615 * [taylor]: Taking taylor expansion of x in x 4.615 * [taylor]: Taking taylor expansion of y in x 4.616 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x 4.616 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 4.616 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 4.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.616 * [taylor]: Taking taylor expansion of x in x 4.616 * [taylor]: Taking taylor expansion of 1.0 in x 4.616 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.616 * [taylor]: Taking taylor expansion of (* x y) in x 4.616 * [taylor]: Taking taylor expansion of x in x 4.616 * [taylor]: Taking taylor expansion of y in x 4.617 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.617 * [taylor]: Taking taylor expansion of y in y 4.618 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y 4.618 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y 4.618 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y 4.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.618 * [taylor]: Taking taylor expansion of x in y 4.618 * [taylor]: Taking taylor expansion of 1.0 in y 4.621 * [taylor]: Taking taylor expansion of 0 in y 4.625 * [taylor]: Taking taylor expansion of 0 in y 4.630 * [taylor]: Taking taylor expansion of 0 in y 4.631 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0 4.631 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y 4.631 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.631 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.631 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.631 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.631 * [taylor]: Taking taylor expansion of -1 in y 4.631 * [taylor]: Taking taylor expansion of x in y 4.631 * [taylor]: Taking taylor expansion of 1.0 in y 4.631 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.631 * [taylor]: Taking taylor expansion of (* x y) in y 4.631 * [taylor]: Taking taylor expansion of x in y 4.631 * [taylor]: Taking taylor expansion of y in y 4.632 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 4.632 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.632 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.634 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.634 * [taylor]: Taking taylor expansion of -1 in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.635 * [taylor]: Taking taylor expansion of 1.0 in x 4.635 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.635 * [taylor]: Taking taylor expansion of (* x y) in x 4.635 * [taylor]: Taking taylor expansion of x in x 4.635 * [taylor]: Taking taylor expansion of y in x 4.635 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x 4.635 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 4.635 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 4.635 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.635 * [taylor]: Taking taylor expansion of -1 in x 4.635 * [taylor]: Taking taylor expansion of x in x 4.636 * [taylor]: Taking taylor expansion of 1.0 in x 4.636 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.636 * [taylor]: Taking taylor expansion of (* x y) in x 4.636 * [taylor]: Taking taylor expansion of x in x 4.636 * [taylor]: Taking taylor expansion of y in x 4.636 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 4.636 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.636 * [taylor]: Taking taylor expansion of y in y 4.638 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y 4.638 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y 4.638 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y 4.638 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.638 * [taylor]: Taking taylor expansion of -1 in y 4.638 * [taylor]: Taking taylor expansion of x in y 4.638 * [taylor]: Taking taylor expansion of 1.0 in y 4.641 * [taylor]: Taking taylor expansion of 0 in y 4.645 * [taylor]: Taking taylor expansion of 0 in y 4.651 * [taylor]: Taking taylor expansion of 0 in y 4.651 * * * [progress]: simplifying candidates 4.652 * [simplify]: Simplifying using # : (log (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (exp (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (pow (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) 3)) (cbrt (pow (cbrt (- (log (+ 1.0 (exp x))) (* x y))) 3)) (cbrt (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3)) (cbrt (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (cbrt (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (* (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)))) (cbrt (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (pow (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) 3)) (cbrt (pow (cbrt (- (log (+ 1.0 (exp x))) (* x y))) 3)) (cbrt (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3)) (cbrt (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt 1) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) (/ 3 2))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) (/ 3 2))) (cbrt (pow (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) 3)) (cbrt (pow (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))) 3)) (cbrt (pow (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) 3)) (cbrt (pow (+ (log (+ 1.0 (exp x))) (* x y)) 3)) (* (cbrt (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)))) (cbrt (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (* (* (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (sqrt (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (sqrt (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (* (log (- (log (+ 1.0 (exp x))) (* x y))) 3) (* (log (- (log (+ 1.0 (exp x))) (* x y))) 3) (* 1 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) (* (cbrt 3) (cbrt 3))) (pow (- (log (+ 1.0 (exp x))) (* x y)) (sqrt 3)) (pow (- (log (+ 1.0 (exp x))) (* x y)) 1) (pow (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) 3) (pow (cbrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow 1 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y))) (log (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (exp (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (* (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (* (* (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (pow (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) 3) (pow (cbrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow 1 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (pow (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) 3) (pow (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))) 3) (pow (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) 3) (pow (+ (log (+ 1.0 (exp x))) (* x y)) 3) (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (pow (- (log (+ 1.0 (exp x))) (* x y)) (/ 3 2)) (pow (- (log (+ 1.0 (exp x))) (* x y)) (/ 3 2)) (log (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log 1) (log (+ 1.0 (exp x))) (log 1) (log (+ 1.0 (exp x))) (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (log (- (* 1.0 1.0) (* (exp x) (exp x)))) (log (- 1.0 (exp x))) (log (+ 1.0 (exp x))) (log (log (+ 1.0 (exp x)))) (exp (log (+ 1.0 (exp x)))) (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) (cbrt (log (+ 1.0 (exp x)))) (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (/ (+ 1.0 (exp x)) (exp (* x y))) (log (- (log (+ 1.0 (exp x))) (* x y))) (exp (- (log (+ 1.0 (exp x))) (* x y))) (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y)))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (* (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y))) (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y)))) (- (* x y)) (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) (+ (log (+ 1.0 (exp x))) (* x y)) (- (log (cbrt (+ 1.0 (exp x)))) (* x y)) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (+ (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (* x y)) (+ (log (- 1.0 (exp x))) (* x y)) (- (* x y)) (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x))) (- (log (+ (exp x) 1.0)) (* x y)) (- (log (+ (exp x) 1.0)) (* x y)) (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (- (* 3 (* (pow x 2) (* (pow y 2) (log (+ (exp x) 1.0))))) (+ (* (pow x 3) (pow y 3)) (* 3 (* x (* y (pow (log (+ (exp x) 1.0)) 2)))))) (- (* 3 (* (pow x 2) (* (pow y 2) (log (+ (exp x) 1.0))))) (+ (* (pow x 3) (pow y 3)) (* 3 (* x (* y (pow (log (+ (exp x) 1.0)) 2)))))) (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x))) (- (log (+ (exp x) 1.0)) (* x y)) (- (log (+ (exp x) 1.0)) (* x y)) 4.656 * * [simplify]: iteration 0 : 155 enodes (cost 1610 ) 4.688 * * [simplify]: iteration 1 : 363 enodes (cost 1365 ) 4.769 * * [simplify]: iteration 2 : 1118 enodes (cost 1255 ) 5.079 * * [simplify]: iteration done : 5000 enodes (cost 1241 ) 5.080 * [simplify]: Simplified to: (log (- (log (+ (exp x) 1.0)) (* x y))) (/ (+ 1.0 (exp x)) (exp (* x y))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 1 (- (log (+ 1.0 (exp x))) (* x y)) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 1 (- (log (+ 1.0 (exp x))) (* x y)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) (cbrt (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3))) 1 (- (log (+ 1.0 (exp x))) (* x y)) (cbrt (pow (- (log (+ (exp x) 1.0)) (* x y)) 3/2)) (cbrt (pow (- (log (+ (exp x) 1.0)) (* x y)) 3/2)) (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (log (+ 1.0 (exp x))) (* x y))) (pow (log (+ (exp x) 1.0)) 2)) (- (pow (log (+ (exp x) 1.0)) 2) (* (* x y) (* x y))) (+ (* x y) (log (+ 1.0 (exp x)))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (log (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (log (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) 3 (pow (- (log (+ 1.0 (exp x))) (* x y)) (* (cbrt 3) (cbrt 3))) (pow (- (log (+ 1.0 (exp x))) (* x y)) (sqrt 3)) (- (log (+ 1.0 (exp x))) (* x y)) (pow (- (log (+ 1.0 (exp x))) (* x y)) 2) (- (log (+ 1.0 (exp x))) (* x y)) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) 1 (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) 2) (log (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (exp (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (pow (- (log (+ 1.0 (exp x))) (* x y)) 2) (- (log (+ 1.0 (exp x))) (* x y)) (pow (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) 2) (- (log (+ 1.0 (exp x))) (* x y)) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) (pow (sqrt (- (log (+ 1.0 (exp x))) (* x y))) 3) 1 (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (pow (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) 3) (pow (+ (* (* x y) (+ (log (+ 1.0 (exp x))) (* x y))) (pow (log (+ (exp x) 1.0)) 2)) 3) (pow (- (pow (log (+ (exp x) 1.0)) 2) (* (* x y) (* x y))) 3) (pow (+ (log (+ 1.0 (exp x))) (* x y)) 3) (pow (- (log (+ 1.0 (exp x))) (* x y)) 2) (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (sqrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 3)) (pow (- (log (+ (exp x) 1.0)) (* x y)) 3/2) (pow (- (log (+ (exp x) 1.0)) (* x y)) 3/2) (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) 0 (log (+ 1.0 (exp x))) 0 (log (+ 1.0 (exp x))) (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0)))) (log (- (* 1.0 1.0) (exp (+ x x)))) (log (- 1.0 (exp x))) (log (+ 1.0 (exp x))) (log (log (+ 1.0 (exp x)))) (+ (exp x) 1.0) (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) (cbrt (log (+ 1.0 (exp x)))) (pow (log (+ 1.0 (exp x))) 3) (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (/ (+ 1.0 (exp x)) (exp (* x y))) (log (- (log (+ (exp x) 1.0)) (* x y))) (/ (+ 1.0 (exp x)) (exp (* x y))) (cbrt (pow (- (log (+ 1.0 (exp x))) (* x y)) 2)) (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (pow (- (log (+ 1.0 (exp x))) (* x y)) 3) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (sqrt (- (log (+ 1.0 (exp x))) (* x y))) (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (log (+ 1.0 (exp x))) (* x y))) (pow (log (+ (exp x) 1.0)) 2)) (- (* x y)) (- (pow (log (+ (exp x) 1.0)) 2) (* (* x y) (* x y))) (+ (* x y) (log (+ 1.0 (exp x)))) (- (log (cbrt (+ 1.0 (exp x)))) (* x y)) (- (log (sqrt (+ 1.0 (exp x)))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (+ (* x y) (log (+ (* 1.0 1.0) (* (exp x) (- (exp x) 1.0))))) (+ (log (- 1.0 (exp x))) (* x y)) (- (* x y)) (+ (* x (+ 0.5 (* x 0.125))) (log 2.0)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))) (- (* (* (* x y) (* x y)) (- (* (log (+ 1.0 (exp x))) 3) (* x y))) (* 3 (* x (* y (pow (log (+ (exp x) 1.0)) 2))))) (- (* (* (* x y) (* x y)) (- (* (log (+ 1.0 (exp x))) 3) (* x y))) (* 3 (* x (* y (pow (log (+ (exp x) 1.0)) 2))))) (+ (* x (+ (* 0.25 x) 0.5)) (- (log 2.0) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))) (+ (* x (+ 0.5 (* x 0.125))) (log 2.0)) (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y)) 5.081 * * * [progress]: adding candidates to table 5.299 * * [progress]: iteration 4 / 4 5.299 * * * [progress]: picking best candidate 5.304 * * * * [pick]: Picked # 5.304 * * * [progress]: localizing error 5.325 * * * [progress]: generating rewritten candidates 5.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.371 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 5.372 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2 2) 5.374 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1) 5.377 * * * [progress]: generating series expansions 5.377 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.381 * [approximate]: Taking taylor expansion of (pow (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) 1/3) in (x) around 0 5.381 * [taylor]: Taking taylor expansion of (pow (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) 1/3) in x 5.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))))))) in x 5.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))))) in x 5.381 * [taylor]: Taking taylor expansion of 1/3 in x 5.381 * [taylor]: Taking taylor expansion of (log (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))))) in x 5.381 * [taylor]: Taking taylor expansion of (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) in x 5.381 * [taylor]: Taking taylor expansion of (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) in x 5.381 * [taylor]: Taking taylor expansion of 0.375 in x 5.381 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 5.381 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.381 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.381 * [taylor]: Taking taylor expansion of 2.0 in x 5.381 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.381 * [taylor]: Taking taylor expansion of x in x 5.381 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))) in x 5.381 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 5.381 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.382 * [taylor]: Taking taylor expansion of 2.0 in x 5.382 * [taylor]: Taking taylor expansion of (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))) in x 5.382 * [taylor]: Taking taylor expansion of (* 1.5 (* (pow (log 2.0) 2) x)) in x 5.382 * [taylor]: Taking taylor expansion of 1.5 in x 5.382 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) x) in x 5.382 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.382 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.382 * [taylor]: Taking taylor expansion of 2.0 in x 5.382 * [taylor]: Taking taylor expansion of x in x 5.382 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x 5.382 * [taylor]: Taking taylor expansion of 0.75 in x 5.382 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x 5.382 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.382 * [taylor]: Taking taylor expansion of 2.0 in x 5.383 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.383 * [taylor]: Taking taylor expansion of x in x 5.392 * [taylor]: Taking taylor expansion of (pow (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) 1/3) in x 5.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))))))) in x 5.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))))) in x 5.393 * [taylor]: Taking taylor expansion of 1/3 in x 5.393 * [taylor]: Taking taylor expansion of (log (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))))) in x 5.393 * [taylor]: Taking taylor expansion of (+ (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) in x 5.393 * [taylor]: Taking taylor expansion of (* 0.375 (* (pow (log 2.0) 2) (pow x 2))) in x 5.393 * [taylor]: Taking taylor expansion of 0.375 in x 5.393 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 5.393 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.393 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.393 * [taylor]: Taking taylor expansion of 2.0 in x 5.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.393 * [taylor]: Taking taylor expansion of x in x 5.393 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))) in x 5.393 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 5.393 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.393 * [taylor]: Taking taylor expansion of 2.0 in x 5.397 * [taylor]: Taking taylor expansion of (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))) in x 5.397 * [taylor]: Taking taylor expansion of (* 1.5 (* (pow (log 2.0) 2) x)) in x 5.397 * [taylor]: Taking taylor expansion of 1.5 in x 5.397 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) x) in x 5.397 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.397 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.397 * [taylor]: Taking taylor expansion of 2.0 in x 5.397 * [taylor]: Taking taylor expansion of x in x 5.397 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x 5.397 * [taylor]: Taking taylor expansion of 0.75 in x 5.397 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x 5.397 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.397 * [taylor]: Taking taylor expansion of 2.0 in x 5.397 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.398 * [taylor]: Taking taylor expansion of x in x 5.503 * [approximate]: Taking taylor expansion of (pow (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))) 1/3) in (x) around 0 5.504 * [taylor]: Taking taylor expansion of (pow (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))) 1/3) in x 5.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))))))) in x 5.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))))) in x 5.504 * [taylor]: Taking taylor expansion of 1/3 in x 5.504 * [taylor]: Taking taylor expansion of (log (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))))) in x 5.504 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))) in x 5.504 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 5.504 * [taylor]: Taking taylor expansion of 0.75 in x 5.504 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 5.504 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.504 * [taylor]: Taking taylor expansion of 2.0 in x 5.504 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.504 * [taylor]: Taking taylor expansion of x in x 5.505 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) in x 5.505 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x 5.505 * [taylor]: Taking taylor expansion of 1.5 in x 5.505 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x 5.505 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.505 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.505 * [taylor]: Taking taylor expansion of 2.0 in x 5.505 * [taylor]: Taking taylor expansion of x in x 5.507 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))) in x 5.508 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 5.508 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.508 * [taylor]: Taking taylor expansion of 2.0 in x 5.508 * [taylor]: Taking taylor expansion of (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))) in x 5.508 * [taylor]: Taking taylor expansion of 0.375 in x 5.508 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 5.508 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.508 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.508 * [taylor]: Taking taylor expansion of 2.0 in x 5.508 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.508 * [taylor]: Taking taylor expansion of x in x 5.528 * [taylor]: Taking taylor expansion of (pow (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))) 1/3) in x 5.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))))))) in x 5.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))))) in x 5.529 * [taylor]: Taking taylor expansion of 1/3 in x 5.529 * [taylor]: Taking taylor expansion of (log (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))))) in x 5.529 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))))) in x 5.529 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 5.529 * [taylor]: Taking taylor expansion of 0.75 in x 5.529 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 5.529 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.529 * [taylor]: Taking taylor expansion of 2.0 in x 5.529 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.529 * [taylor]: Taking taylor expansion of x in x 5.530 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) in x 5.530 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x 5.530 * [taylor]: Taking taylor expansion of 1.5 in x 5.530 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x 5.530 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.530 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.530 * [taylor]: Taking taylor expansion of 2.0 in x 5.530 * [taylor]: Taking taylor expansion of x in x 5.532 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))) in x 5.532 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 5.532 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.532 * [taylor]: Taking taylor expansion of 2.0 in x 5.533 * [taylor]: Taking taylor expansion of (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))) in x 5.533 * [taylor]: Taking taylor expansion of 0.375 in x 5.533 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 5.533 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.533 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.533 * [taylor]: Taking taylor expansion of 2.0 in x 5.533 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.533 * [taylor]: Taking taylor expansion of x in x 5.751 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))) 1/3) in (x) around 0 5.751 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))) 1/3) in x 5.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x)))))) in x 5.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))))) in x 5.752 * [taylor]: Taking taylor expansion of 1/3 in x 5.752 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x)))) in x 5.752 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))) in x 5.752 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) in x 5.752 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 5.752 * [taylor]: Taking taylor expansion of 0.75 in x 5.752 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 5.752 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.752 * [taylor]: Taking taylor expansion of 2.0 in x 5.752 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.752 * [taylor]: Taking taylor expansion of x in x 5.753 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))) in x 5.753 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 5.753 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.753 * [taylor]: Taking taylor expansion of 2.0 in x 5.753 * [taylor]: Taking taylor expansion of (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))) in x 5.753 * [taylor]: Taking taylor expansion of 0.375 in x 5.753 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 5.753 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.753 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.753 * [taylor]: Taking taylor expansion of 2.0 in x 5.754 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.754 * [taylor]: Taking taylor expansion of x in x 5.756 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x 5.756 * [taylor]: Taking taylor expansion of 1.5 in x 5.756 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x 5.756 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.756 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.756 * [taylor]: Taking taylor expansion of 2.0 in x 5.756 * [taylor]: Taking taylor expansion of x in x 5.778 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))) 1/3) in x 5.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x)))))) in x 5.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))))) in x 5.778 * [taylor]: Taking taylor expansion of 1/3 in x 5.778 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x)))) in x 5.778 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) (* 1.5 (/ (pow (log 2.0) 2) x))) in x 5.778 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))))) in x 5.778 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 5.778 * [taylor]: Taking taylor expansion of 0.75 in x 5.778 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 5.778 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.778 * [taylor]: Taking taylor expansion of 2.0 in x 5.778 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.778 * [taylor]: Taking taylor expansion of x in x 5.779 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.375 (/ (pow (log 2.0) 2) (pow x 2)))) in x 5.779 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 5.779 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.779 * [taylor]: Taking taylor expansion of 2.0 in x 5.779 * [taylor]: Taking taylor expansion of (* 0.375 (/ (pow (log 2.0) 2) (pow x 2))) in x 5.779 * [taylor]: Taking taylor expansion of 0.375 in x 5.779 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 5.779 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.779 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.780 * [taylor]: Taking taylor expansion of 2.0 in x 5.780 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.780 * [taylor]: Taking taylor expansion of x in x 5.782 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x 5.782 * [taylor]: Taking taylor expansion of 1.5 in x 5.782 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x 5.782 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 5.782 * [taylor]: Taking taylor expansion of (log 2.0) in x 5.782 * [taylor]: Taking taylor expansion of 2.0 in x 5.782 * [taylor]: Taking taylor expansion of x in x 6.004 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 6.004 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2 2) 6.004 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1) 6.004 * * * [progress]: simplifying candidates 6.006 * [simplify]: Simplifying using # : (log (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (exp (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (* (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (sqrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (sqrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt 1) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (* (+ (pow (pow (log 2.0) 3) 3) (pow (* 1.5 (* (pow (log 2.0) 2) x)) 3)) (+ (* (* 0.75 (log 2.0)) (* 0.75 (log 2.0))) (- (* (* 0.375 (pow (log 2.0) 2)) (* 0.375 (pow (log 2.0) 2))) (* (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (* (+ (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (- (* (* 1.5 (* (pow (log 2.0) 2) x)) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))))) (* (pow x 2) (+ (pow (* 0.75 (log 2.0)) 3) (pow (* 0.375 (pow (log 2.0) 2)) 3)))))) (cbrt (* (+ (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (- (* (* 1.5 (* (pow (log 2.0) 2) x)) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))))) (+ (* (* 0.75 (log 2.0)) (* 0.75 (log 2.0))) (- (* (* 0.375 (pow (log 2.0) 2)) (* 0.375 (pow (log 2.0) 2))) (* (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (+ (* (+ (pow (pow (log 2.0) 3) 3) (pow (* 1.5 (* (pow (log 2.0) 2) x)) 3)) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (+ (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (- (* (* 1.5 (* (pow (log 2.0) 2) x)) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))))) (* (pow x 2) (- (* (* 0.75 (log 2.0)) (* 0.75 (log 2.0))) (* (* 0.375 (pow (log 2.0) 2)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (* (+ (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (- (* (* 1.5 (* (pow (log 2.0) 2) x)) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))))) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))) (cbrt (+ (* (- (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (* (* 1.5 (* (pow (log 2.0) 2) x)) (* 1.5 (* (pow (log 2.0) 2) x)))) (+ (* (* 0.75 (log 2.0)) (* 0.75 (log 2.0))) (- (* (* 0.375 (pow (log 2.0) 2)) (* 0.375 (pow (log 2.0) 2))) (* (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (pow (* 0.75 (log 2.0)) 3) (pow (* 0.375 (pow (log 2.0) 2)) 3)))))) (cbrt (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (+ (* (* 0.75 (log 2.0)) (* 0.75 (log 2.0))) (- (* (* 0.375 (pow (log 2.0) 2)) (* 0.375 (pow (log 2.0) 2))) (* (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (+ (* (- (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (* (* 1.5 (* (pow (log 2.0) 2) x)) (* 1.5 (* (pow (log 2.0) 2) x)))) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (- (* (* 0.75 (log 2.0)) (* 0.75 (log 2.0))) (* (* 0.375 (pow (log 2.0) 2)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))) (cbrt (+ (pow (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) 3) (pow (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) 3))) (cbrt (+ (* (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x)))) (- (* (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))) (* (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (- (* (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x)))) (* (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (- (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (* (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (* (* (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (sqrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (sqrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (* (log (log 2.0)) 3) (* (log (log 2.0)) 3) (* 1 3) (pow (log 2.0) (* (cbrt 3) (cbrt 3))) (pow (log 2.0) (sqrt 3)) (pow (log 2.0) 1) (pow 1 3) (pow (log 2.0) 3) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 3) (pow (cbrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow 1 3) (pow (log 2.0) 3) (* (log 2.0) (log 2.0)) (log (pow (log 2.0) 3)) (exp (pow (log 2.0) 3)) (* (cbrt (pow (log 2.0) 3)) (cbrt (pow (log 2.0) 3))) (cbrt (pow (log 2.0) 3)) (* (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (pow (log 2.0) 3)) (pow 1 3) (pow (log 2.0) 3) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 3) (pow (cbrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow 1 3) (pow (log 2.0) 3) (* (log 2.0) (log 2.0)) (sqrt (pow (log 2.0) 3)) (sqrt (pow (log 2.0) 3)) (pow (log 2.0) (/ 3 2)) (pow (log 2.0) (/ 3 2)) (* (log (log 2.0)) 2) (* (log (log 2.0)) 2) (* 1 2) (pow (log 2.0) (* (cbrt 2) (cbrt 2))) (pow (log 2.0) (sqrt 2)) (pow (log 2.0) 1) (pow 1 2) (pow (log 2.0) 2) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 2) (pow (cbrt (log 2.0)) 2) (pow (sqrt (log 2.0)) 2) (pow (sqrt (log 2.0)) 2) (pow 1 2) (pow (log 2.0) 2) (log (pow (log 2.0) 2)) (exp (pow (log 2.0) 2)) (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2))) (cbrt (pow (log 2.0) 2)) (* (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (pow (log 2.0) 2)) (sqrt (pow (log 2.0) 2)) (sqrt (pow (log 2.0) 2)) (pow (log 2.0) (/ 2 2)) (pow (log 2.0) (/ 2 2)) (* (log (log 2.0)) 2) (* (log (log 2.0)) 2) (* 1 2) (pow (log 2.0) (* (cbrt 2) (cbrt 2))) (pow (log 2.0) (sqrt 2)) (pow (log 2.0) 1) (pow 1 2) (pow (log 2.0) 2) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 2) (pow (cbrt (log 2.0)) 2) (pow (sqrt (log 2.0)) 2) (pow (sqrt (log 2.0)) 2) (pow 1 2) (pow (log 2.0) 2) (log (pow (log 2.0) 2)) (exp (pow (log 2.0) 2)) (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2))) (cbrt (pow (log 2.0) 2)) (* (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (pow (log 2.0) 2)) (sqrt (pow (log 2.0) 2)) (sqrt (pow (log 2.0) 2)) (pow (log 2.0) (/ 2 2)) (pow (log 2.0) (/ 2 2)) (+ (* 0.125 (pow x 2)) (+ (* 0.5 x) (pow (pow (log 2.0) 3) 1/3))) (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2))))) (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) 6.012 * * [simplify]: iteration 0 : 189 enodes (cost 2179 ) 6.062 * * [simplify]: iteration 1 : 566 enodes (cost 1936 ) 6.294 * * [simplify]: iteration 2 : 2625 enodes (cost 1810 ) 7.034 * * [simplify]: iteration done : 5000 enodes (cost 1810 ) 7.035 * [simplify]: Simplified to: (log (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (exp (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (* (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (sqrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (sqrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) 1 (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (* (+ (pow (log 2.0) 6) (* (* 1.5 (* (pow (log 2.0) 2) x)) (- (* 1.5 (* (pow (log 2.0) 2) x)) (pow (log 2.0) 3)))) (* (pow x 2) (+ (pow (* 0.75 (log 2.0)) 3) (pow (* 0.375 (pow (log 2.0) 2)) 3)))) (* (- (+ (* (* 0.75 0.75) (pow (log 2.0) 2)) (* (* 0.375 0.375) (pow (log 2.0) 4))) (* 0.75 (* (pow (log 2.0) 3) 0.375))) (+ (pow (pow (log 2.0) 3) 3) (pow (* 1.5 (* (pow (log 2.0) 2) x)) 3))))) (cbrt (* (- (+ (* (* 0.75 0.75) (pow (log 2.0) 2)) (* (* 0.375 0.375) (pow (log 2.0) 4))) (* 0.75 (* (pow (log 2.0) 3) 0.375))) (+ (pow (log 2.0) 6) (* (* 1.5 (* (pow (log 2.0) 2) x)) (- (* 1.5 (* (pow (log 2.0) 2) x)) (pow (log 2.0) 3)))))) (cbrt (+ (* (+ (pow (pow (log 2.0) 3) 3) (pow (* 1.5 (* (pow (log 2.0) 2) x)) 3)) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (* (+ (pow (log 2.0) 6) (* (* 1.5 (* (pow (log 2.0) 2) x)) (- (* 1.5 (* (pow (log 2.0) 2) x)) (pow (log 2.0) 3)))) (pow x 2)) (- (* (* 0.75 0.75) (pow (log 2.0) 2)) (* (* 0.375 0.375) (pow (log 2.0) 4)))))) (cbrt (* (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) (+ (pow (log 2.0) 6) (* (* 1.5 (* (pow (log 2.0) 2) x)) (- (* 1.5 (* (pow (log 2.0) 2) x)) (pow (log 2.0) 3)))))) (cbrt (+ (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (pow (* 0.75 (log 2.0)) 3) (pow (* 0.375 (pow (log 2.0) 2)) 3)))) (* (- (+ (* (* 0.75 0.75) (pow (log 2.0) 2)) (* (* 0.375 0.375) (pow (log 2.0) 4))) (* 0.75 (* (pow (log 2.0) 3) 0.375))) (- (pow (log 2.0) 6) (* 1.5 (* (* (pow (log 2.0) 4) (pow x 2)) 1.5)))))) (cbrt (* (- (+ (* (* 0.75 0.75) (pow (log 2.0) 2)) (* (* 0.375 0.375) (pow (log 2.0) 4))) (* 0.75 (* (pow (log 2.0) 3) 0.375))) (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))))) (cbrt (+ (* (- (pow (log 2.0) 6) (* 1.5 (* (* (pow (log 2.0) 4) (pow x 2)) 1.5))) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (pow x 2)) (- (* (* 0.75 0.75) (pow (log 2.0) 2)) (* (* 0.375 0.375) (pow (log 2.0) 4)))))) (cbrt (* (- (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (- (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))) (cbrt (+ (pow (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) 3) (pow (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) 3))) (cbrt (+ (* (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x)))) (* (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (- (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))))))) (cbrt (- (* (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x)))) (* (pow x 4) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2)))) (cbrt (- (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (* (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (cbrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (pow (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) 3) (sqrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (sqrt (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))))) (log (pow (log 2.0) 3)) (log (pow (log 2.0) 3)) 3 (pow (log 2.0) (* (cbrt 3) (cbrt 3))) (pow (log 2.0) (sqrt 3)) (log 2.0) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (log 2.0) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (log (pow (log 2.0) 3)) (exp (pow (log 2.0) 3)) (pow (log 2.0) 2) (log 2.0) (pow (pow (log 2.0) 3) 3) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (log 2.0) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (sqrt (pow (log 2.0) 3)) (sqrt (pow (log 2.0) 3)) (pow (log 2.0) 3/2) (pow (log 2.0) 3/2) (log (pow (log 2.0) 2)) (log (pow (log 2.0) 2)) 2 (pow (log 2.0) (* (cbrt 2) (cbrt 2))) (pow (log 2.0) (sqrt 2)) (log 2.0) 1 (pow (log 2.0) 2) (pow (cbrt (log 2.0)) 4) (pow (cbrt (log 2.0)) 2) (log 2.0) (log 2.0) 1 (pow (log 2.0) 2) (log (pow (log 2.0) 2)) (pow 2.0 (log 2.0)) (pow (cbrt (log 2.0)) 4) (pow (cbrt (log 2.0)) 2) (pow (log 2.0) 6) (fabs (log 2.0)) (fabs (log 2.0)) (log 2.0) (log 2.0) (log (pow (log 2.0) 2)) (log (pow (log 2.0) 2)) 2 (pow (log 2.0) (* (cbrt 2) (cbrt 2))) (pow (log 2.0) (sqrt 2)) (log 2.0) 1 (pow (log 2.0) 2) (pow (cbrt (log 2.0)) 4) (pow (cbrt (log 2.0)) 2) (log 2.0) (log 2.0) 1 (pow (log 2.0) 2) (log (pow (log 2.0) 2)) (pow 2.0 (log 2.0)) (pow (cbrt (log 2.0)) 4) (pow (cbrt (log 2.0)) 2) (pow (log 2.0) 6) (fabs (log 2.0)) (fabs (log 2.0)) (log 2.0) (log 2.0) (+ (* 0.125 (pow x 2)) (+ (log 2.0) (* 0.5 x))) (- (+ (+ (* 1/3 (/ (pow (log 2.0) 3) (/ (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (pow (exp 1/3) (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (- (log x)) 2)))))) (* (/ (* (pow (log 2.0) 2) (pow (exp 1/3) (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (- (log x)) 2)))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))) 0.5)) (pow (exp 1/3) (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (- (log x)) 2)))) (/ (* 0.25 (* (pow (log 2.0) 4) (pow (exp 1/3) (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (- (log x)) 2))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2)))) (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (cbrt (+ (+ (pow (log 2.0) 3) (* 1.5 (* (pow (log 2.0) 2) x))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) 7.035 * * * [progress]: adding candidates to table 7.300 * [progress]: [Phase 3 of 3] Extracting. 7.300 * * [regime]: Finding splitpoints for: (# # # #) 7.303 * * * [regime-changes]: Trying 3 branch expressions: ((- (log (+ 1.0 (exp x))) (* x y)) y x) 7.303 * * * * [regimes]: Trying to branch on (- (log (+ 1.0 (exp x))) (* x y)) from (# # # #) 7.336 * * * * [regimes]: Trying to branch on y from (# # # #) 7.362 * * * * [regimes]: Trying to branch on x from (# # # #) 7.385 * * * [regime]: Found split indices: #