9.264 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.093 * * * [progress]: [2/2] Setting up program. 0.095 * [progress]: [Phase 2 of 3] Improving. 0.095 * [simplify]: Simplifying using # : (* (/ 1.0 2.0) (log (/ (+ 1.0 x) (- 1.0 x)))) 0.098 * * [simplify]: iteration 0 : 18 enodes (cost 6 ) 0.099 * * [simplify]: iteration 1 : 25 enodes (cost 6 ) 0.100 * * [simplify]: iteration 2 : 40 enodes (cost 6 ) 0.102 * * [simplify]: iteration 3 : 65 enodes (cost 6 ) 0.103 * * [simplify]: iteration 4 : 98 enodes (cost 6 ) 0.105 * * [simplify]: iteration 5 : 122 enodes (cost 6 ) 0.107 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 0.109 * * [simplify]: iteration 7 : 137 enodes (cost 6 ) 0.111 * * [simplify]: iteration 8 : 137 enodes (cost 6 ) 0.111 * [simplify]: Simplified to: (* (/ 1.0 2.0) (log (/ (+ 1.0 x) (- 1.0 x)))) 0.111 * * [progress]: iteration 1 / 4 0.111 * * * [progress]: picking best candidate 0.113 * * * * [pick]: Picked # 0.113 * * * [progress]: localizing error 0.121 * * * [progress]: generating rewritten candidates 0.121 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.124 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 0.129 * * * [progress]: generating series expansions 0.129 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.129 * [approximate]: Taking taylor expansion of (log (/ (+ x 1.0) (- 1.0 x))) in (x) around 0 0.129 * [taylor]: Taking taylor expansion of (log (/ (+ x 1.0) (- 1.0 x))) in x 0.129 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x 0.129 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (log (/ (+ x 1.0) (- 1.0 x))) in x 0.131 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x 0.131 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.160 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in (x) around 0 0.160 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in x 0.160 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x 0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of 1.0 in x 0.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.160 * [taylor]: Taking taylor expansion of 1.0 in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in x 0.162 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x 0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) 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.0 (/ 1 x)) in x 0.162 * [taylor]: Taking taylor expansion of 1.0 in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.206 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in (x) around 0 0.206 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in x 0.206 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x 0.206 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of 1.0 in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in x 0.208 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x 0.208 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.255 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 0.255 * [approximate]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in (x) around 0 0.255 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x 0.255 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.255 * [taylor]: Taking taylor expansion of x in x 0.255 * [taylor]: Taking taylor expansion of 1.0 in x 0.255 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 0.255 * [taylor]: Taking taylor expansion of 1.0 in x 0.255 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x 0.256 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of 1.0 in x 0.256 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 0.256 * [taylor]: Taking taylor expansion of 1.0 in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.263 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in (x) around 0 0.263 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x 0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of 1.0 in x 0.263 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of 1.0 in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x 0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of 1.0 in x 0.265 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of 1.0 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.275 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in (x) around 0 0.275 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x 0.275 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.275 * [taylor]: Taking taylor expansion of 1.0 in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.276 * [taylor]: Taking taylor expansion of 1.0 in x 0.277 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x 0.277 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.277 * [taylor]: Taking taylor expansion of 1.0 in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of 1.0 in x 0.286 * * * [progress]: simplifying candidates 0.287 * [simplify]: Simplifying using # : (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))) (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (/ (+ 1.0 x) (- (* 1.0 1.0) (* x x)))) (log (+ 1.0 x)) (log (+ 1.0 x)) (log (- 1.0 x)) (log (- (+ 1.0 x))) (log (- (- 1.0 x))) (log 1) (log (/ (- 1.0 x) (+ 1.0 x))) (log (+ (pow 1.0 3) (pow x 3))) (log (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))) (log (- (* 1.0 1.0) (* x x))) (log (* (- 1.0 x) (- 1.0 x))) (log (/ (- 1.0 x) (+ 1.0 x))) (- (+ 1.0 x)) (- (- 1.0 x)) (/ 1 (- 1.0 x)) (/ (- 1.0 x) (+ 1.0 x)) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (/ (+ 1.0 x) (- (* 1.0 1.0) (* x x))) (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (* (- 1.0 x) (- 1.0 x)) (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 x) (log 1.0))) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (+ (log -1) (+ (* 2.0 (/ 1 x)) (* 0.6666666666666666 (/ 1 (pow x 3))))) (+ (log -1) (+ (* 2.0 (/ 1 x)) (* 0.6666666666666666 (/ 1 (pow x 3))))) (+ (* 2.0 (pow x 2)) (+ (* 2.0 x) 1.0)) (- (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 2.0 (/ 1 x)) 1))) (- (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 2.0 (/ 1 x)) 1))) 0.290 * * [simplify]: iteration 0 : 170 enodes (cost 135 ) 0.294 * * [simplify]: iteration 1 : 520 enodes (cost 128 ) 0.302 * * [simplify]: iteration 2 : 1878 enodes (cost 119 ) 0.337 * * [simplify]: iteration 3 : 5003 enodes (cost 117 ) 0.338 * [simplify]: Simplified to: (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))) (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (/ 1 (- 1.0 x))) (log (+ 1.0 x)) (log (+ 1.0 x)) (log (- 1.0 x)) (log (- (+ 1.0 x))) (log (- (- 1.0 x))) 0 (log (/ (- 1.0 x) (+ 1.0 x))) (log (+ (pow 1.0 3) (pow x 3))) (log (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))) (log (- (* 1.0 1.0) (* x x))) (* 2 (log (- 1.0 x))) (log (/ (- 1.0 x) (+ 1.0 x))) (- (+ 1.0 x)) (- x 1.0) (/ 1 (- 1.0 x)) (/ (- 1.0 x) (+ 1.0 x)) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (/ 1 (- 1.0 x)) (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (- 1.0 x)) (* (- 1.0 x) (- 1.0 x)) (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))) (+ (fma 0.6666666666666666 (/ 1 (pow x 3)) (log -1)) (/ 2.0 x)) (+ (fma 0.6666666666666666 (/ 1 (pow x 3)) (log -1)) (/ 2.0 x)) (fma (fma x x x) 2.0 1.0) (- (/ (- 2.0) (pow x 2)) (fma 2.0 (/ 1 x) 1)) (- (/ (- 2.0) (pow x 2)) (fma 2.0 (/ 1 x) 1)) 0.338 * * * [progress]: adding candidates to table 0.396 * * [progress]: iteration 2 / 4 0.396 * * * [progress]: picking best candidate 0.404 * * * * [pick]: Picked # 0.404 * * * [progress]: localizing error 0.420 * * * [progress]: generating rewritten candidates 0.420 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2 3 2) 0.426 * * * [progress]: generating series expansions 0.426 * * * * [progress]: [ 1 / 1 ] generating series at (2 2 3 2) 0.427 * [approximate]: Taking taylor expansion of (* 2.0 (/ (pow x 2) (pow 1.0 2))) in (x) around 0 0.427 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow x 2) (pow 1.0 2))) in x 0.427 * [taylor]: Taking taylor expansion of 2.0 in x 0.427 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 1.0 2)) in x 0.427 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.427 * [taylor]: Taking taylor expansion of x in x 0.427 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 0.427 * [taylor]: Taking taylor expansion of 1.0 in x 0.428 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow x 2) (pow 1.0 2))) in x 0.428 * [taylor]: Taking taylor expansion of 2.0 in x 0.428 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 1.0 2)) in x 0.428 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 0.428 * [taylor]: Taking taylor expansion of 1.0 in x 0.442 * [approximate]: Taking taylor expansion of (/ 2.0 (* (pow x 2) (pow 1.0 2))) in (x) around 0 0.443 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow x 2) (pow 1.0 2))) in x 0.443 * [taylor]: Taking taylor expansion of 2.0 in x 0.443 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 1.0 2)) in x 0.443 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.443 * [taylor]: Taking taylor expansion of x in x 0.443 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 0.443 * [taylor]: Taking taylor expansion of 1.0 in x 0.444 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow x 2) (pow 1.0 2))) in x 0.444 * [taylor]: Taking taylor expansion of 2.0 in x 0.444 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 1.0 2)) in x 0.444 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 0.444 * [taylor]: Taking taylor expansion of 1.0 in x 0.458 * [approximate]: Taking taylor expansion of (/ 2.0 (* (pow x 2) (pow 1.0 2))) in (x) around 0 0.458 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow x 2) (pow 1.0 2))) in x 0.458 * [taylor]: Taking taylor expansion of 2.0 in x 0.458 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 1.0 2)) in x 0.459 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 0.459 * [taylor]: Taking taylor expansion of 1.0 in x 0.460 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow x 2) (pow 1.0 2))) in x 0.460 * [taylor]: Taking taylor expansion of 2.0 in x 0.460 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 1.0 2)) in x 0.460 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of (pow 1.0 2) in x 0.460 * [taylor]: Taking taylor expansion of 1.0 in x 0.474 * * * [progress]: simplifying candidates 0.474 * [simplify]: Simplifying using # : (* 2.0 (/ x 1.0)) (* 2.0 (/ x (pow 1.0 (/ 2 2)))) (* 2.0 (/ (pow x (/ 2 2)) 1.0)) (* 2.0 (/ (pow x (/ 2 2)) (pow 1.0 (/ 2 2)))) (* 2.0 (pow x 2)) (* 2.0 (pow x 2)) (* 2.0 (- (pow x 2))) (* 2.0 1) (* 2.0 (/ (pow x 2) 1.0)) (* 2.0 (/ (pow x 2) (pow 1.0 (/ 2 2)))) (* 2.0 x) (* 2.0 (pow x (/ 2 2))) (* 2.0 (pow x 2)) (* 2.0 (pow x 2)) (* 2.0 (pow x 2)) 0.477 * * [simplify]: iteration 0 : 54 enodes (cost 29 ) 0.478 * * [simplify]: iteration 1 : 175 enodes (cost 29 ) 0.482 * * [simplify]: iteration 2 : 890 enodes (cost 29 ) 0.508 * * [simplify]: iteration 3 : 5002 enodes (cost 29 ) 0.508 * [simplify]: Simplified to: (/ (* 2.0 x) 1.0) (/ (* 2.0 x) 1.0) (/ (* 2.0 x) 1.0) (/ (* 2.0 x) 1.0) (* 2.0 (pow x 2)) (* 2.0 (pow x 2)) (* 2.0 (- (pow x 2))) 2.0 (/ (* 2.0 (pow x 2)) 1.0) (/ (* 2.0 (pow x 2)) 1.0) (* x 2.0) (* x 2.0) (* 2.0 (pow x 2)) (* 2.0 (pow x 2)) (* 2.0 (pow x 2)) 0.508 * * * [progress]: adding candidates to table 0.557 * * [progress]: iteration 3 / 4 0.557 * * * [progress]: picking best candidate 0.563 * * * * [pick]: Picked # 0.563 * * * [progress]: localizing error 0.582 * * * [progress]: generating rewritten candidates 0.582 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.597 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.610 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 2 2) 0.618 * * * [progress]: generating series expansions 0.618 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.619 * [approximate]: Taking taylor expansion of (log (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3)))) in (x) around 0 0.619 * [taylor]: Taking taylor expansion of (log (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3)))) in x 0.619 * [taylor]: Taking taylor expansion of (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3))) in x 0.619 * [taylor]: Taking taylor expansion of (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) in x 0.619 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1.0 x) 1.0)) in x 0.619 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.619 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.619 * [taylor]: Taking taylor expansion of 1.0 in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of 1.0 in x 0.619 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of 1.0 in x 0.619 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x 0.619 * [taylor]: Taking taylor expansion of 1.0 in x 0.619 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of (log (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3)))) in x 0.622 * [taylor]: Taking taylor expansion of (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3))) in x 0.622 * [taylor]: Taking taylor expansion of (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) in x 0.622 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1.0 x) 1.0)) in x 0.622 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.622 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.622 * [taylor]: Taking taylor expansion of 1.0 in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of 1.0 in x 0.622 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of 1.0 in x 0.622 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x 0.622 * [taylor]: Taking taylor expansion of 1.0 in x 0.622 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.649 * [approximate]: Taking taylor expansion of (log (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3))))) in (x) around 0 0.649 * [taylor]: Taking taylor expansion of (log (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3))))) in x 0.649 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x 0.649 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x 0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.650 * [taylor]: Taking taylor expansion of 1.0 in x 0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x 0.650 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.650 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.650 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 0.650 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.650 * [taylor]: Taking taylor expansion of 1.0 in x 0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of 1.0 in x 0.651 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.651 * [taylor]: Taking taylor expansion of 1.0 in x 0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.651 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.653 * [taylor]: Taking taylor expansion of (log (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3))))) in x 0.653 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x 0.653 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x 0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.653 * [taylor]: Taking taylor expansion of x in x 0.653 * [taylor]: Taking taylor expansion of 1.0 in x 0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x 0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.654 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 0.654 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.654 * [taylor]: Taking taylor expansion of 1.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.654 * [taylor]: Taking taylor expansion of 1.0 in x 0.654 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.654 * [taylor]: Taking taylor expansion of 1.0 in x 0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.654 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.654 * [taylor]: Taking taylor expansion of x in x 0.715 * [approximate]: Taking taylor expansion of (log (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0))) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (log (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0))) in x 0.715 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x 0.715 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x 0.715 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.715 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.716 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.716 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.717 * [taylor]: Taking taylor expansion of 1.0 in x 0.719 * [taylor]: Taking taylor expansion of (log (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0))) in x 0.719 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x 0.719 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x 0.719 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.719 * [taylor]: Taking taylor expansion of 1.0 in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.719 * [taylor]: Taking taylor expansion of x in x 0.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.719 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.719 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.719 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of 1.0 in x 0.720 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.720 * [taylor]: Taking taylor expansion of 1.0 in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.720 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of 1.0 in x 0.779 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.780 * [approximate]: Taking taylor expansion of (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3))) in (x) around 0 0.780 * [taylor]: Taking taylor expansion of (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3))) in x 0.780 * [taylor]: Taking taylor expansion of (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) in x 0.780 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1.0 x) 1.0)) in x 0.780 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.780 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.780 * [taylor]: Taking taylor expansion of 1.0 in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of 1.0 in x 0.781 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of 1.0 in x 0.781 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x 0.781 * [taylor]: Taking taylor expansion of 1.0 in x 0.781 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (/ (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) (- 1.0 (pow x 3))) in x 0.782 * [taylor]: Taking taylor expansion of (* (+ (pow x 2) (+ (* 1.0 x) 1.0)) (+ x 1.0)) in x 0.782 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1.0 x) 1.0)) in x 0.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.782 * [taylor]: Taking taylor expansion of x in x 0.782 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.783 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.783 * [taylor]: Taking taylor expansion of 1.0 in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of 1.0 in x 0.783 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of 1.0 in x 0.783 * [taylor]: Taking taylor expansion of (- 1.0 (pow x 3)) in x 0.783 * [taylor]: Taking taylor expansion of 1.0 in x 0.783 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.793 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in (x) around 0 0.793 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x 0.794 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x 0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of 1.0 in x 0.794 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.794 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 0.794 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of 1.0 in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of 1.0 in x 0.795 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.795 * [taylor]: Taking taylor expansion of 1.0 in x 0.795 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.795 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) (- 1.0 (/ 1 (pow x 3)))) in x 0.797 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0))) in x 0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of 1.0 in x 0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (* 1.0 (/ 1 x)) 1.0)) in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.797 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 0.798 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.798 * [taylor]: Taking taylor expansion of 1.0 in x 0.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of 1.0 in x 0.798 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x 0.798 * [taylor]: Taking taylor expansion of 1.0 in x 0.798 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.798 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.820 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in (x) around 0 0.820 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x 0.820 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x 0.820 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of 1.0 in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.821 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of 1.0 in x 0.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.821 * [taylor]: Taking taylor expansion of 1.0 in x 0.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.822 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of 1.0 in x 0.824 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) (+ (/ 1 (pow x 3)) 1.0)) in x 0.824 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x 0.824 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.824 * [taylor]: Taking taylor expansion of 1.0 in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x 0.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.824 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.825 * [taylor]: Taking taylor expansion of 1.0 in x 0.825 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.825 * [taylor]: Taking taylor expansion of 1.0 in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.825 * [taylor]: Taking taylor expansion of x in x 0.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) 1.0) in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.825 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.825 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of 1.0 in x 0.843 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 2 2) 0.843 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 1.0 x)) in (x) around 0 0.843 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 1.0 x)) in x 0.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.844 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.844 * [taylor]: Taking taylor expansion of 1.0 in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.844 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 1.0 x)) in x 0.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.844 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.844 * [taylor]: Taking taylor expansion of 1.0 in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.856 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in (x) around 0 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.856 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.856 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.856 * [taylor]: Taking taylor expansion of 1.0 in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.856 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.856 * [taylor]: Taking taylor expansion of x in x 0.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.857 * [taylor]: Taking taylor expansion of 1.0 in x 0.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.857 * [taylor]: Taking taylor expansion of x in x 0.873 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in (x) around 0 0.873 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.873 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.873 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.874 * [taylor]: Taking taylor expansion of 1.0 in x 0.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.874 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.875 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.875 * [taylor]: Taking taylor expansion of 1.0 in x 0.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.875 * [taylor]: Taking taylor expansion of x in x 0.898 * * * [progress]: simplifying candidates 0.900 * [simplify]: Simplifying using # : (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (+ 1.0 x)) (log (* (/ 1 (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (/ (+ 1.0 x) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))) (log (* (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (/ (+ 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))) (log (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (* (+ 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (- (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (+ 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (+ 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (- (- (pow 1.0 3) (pow x 3))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (- (+ 1.0 x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (- (- (pow 1.0 3) (pow x 3))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* 1 (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* 1 (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (/ (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (/ (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (- 1.0 x) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (/ (+ 1.0 x) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (- (pow 1.0 (/ 3 2)) (pow x (/ 3 2))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (/ (+ 1.0 x) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (- (pow 1.0 (/ 3 2)) (pow x (/ 3 2))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (+ (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (+ (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (- (* 1.0 1.0) (* x x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- (pow 1.0 3) (pow x 3))) (log (* (- (+ 1.0 x)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- (- (pow 1.0 3) (pow x 3)))) (log (* 1 (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x))) (log (* (/ (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- 1.0 x)) (log (* (/ (+ 1.0 x) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (log (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))) (log (* (- (* 1.0 1.0) (* x x)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x))) (* (+ 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (- (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* (+ 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (- (+ 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (- (- (pow 1.0 3) (pow x 3))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* (- (+ 1.0 x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (- (- (pow 1.0 3) (pow x 3))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* 1 (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* 1 (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (/ (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* (/ (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (- 1.0 x) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (/ (+ 1.0 x) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (- (pow 1.0 (/ 3 2)) (pow x (/ 3 2))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* (/ (+ 1.0 x) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (- (pow 1.0 (/ 3 2)) (pow x (/ 3 2))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (+ (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* (+ (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (* (- (* 1.0 1.0) (* x x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 1.0)) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* x x) (* 1.0 x))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (* x x))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 x)) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (* 1.0 x))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* x x)) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (* x x) (* 1.0 x))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 1.0)) (* (* 1.0 1.0) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (+ (* x x) (* 1.0 x)) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (+ (* 1.0 1.0) (* x x)) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (* 1.0 x) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (+ (* 1.0 1.0) (* 1.0 x)) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (* x x) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (+ (* x x) (* 1.0 x)) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (* 1.0 1.0) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (/ 1 (- (pow 1.0 3) (pow x 3))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (+ (* (pow 1.0 3) (pow 1.0 3)) (+ (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow x 3)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (- (+ 1.0 x)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* 1 (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (/ (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (/ (+ 1.0 x) (+ (pow 1.0 (/ 3 2)) (pow x (/ 3 2)))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (* (- (* 1.0 1.0) (* x x)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (+ (pow (* x x) 3) (pow (* 1.0 x) 3)) (+ (* (* x x) (* x x)) (- (* (* 1.0 x) (* 1.0 x)) (* (* x x) (* 1.0 x)))) (- (* (* x x) (* x x)) (* (* 1.0 x) (* 1.0 x))) (- (* x x) (* 1.0 x)) (+ x 1.0) (+ x 1.0) (+ x 1.0) (+ x 1.0) (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 x) (log 1.0))) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (+ (log -1) (+ (* 2.0 (/ 1 x)) (* 0.6666666666666666 (/ 1 (pow x 3))))) (+ (log -1) (+ (* 2.0 (/ 1 x)) (* 0.6666666666666666 (/ 1 (pow x 3))))) (+ (* 2.0 (pow x 2)) (+ (* 2.0 x) 1.0)) (- (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 2.0 (/ 1 x)) 1))) (- (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 2.0 (/ 1 x)) 1))) (+ (pow x 2) (* 1.0 x)) (+ (pow x 2) (* 1.0 x)) (+ (pow x 2) (* 1.0 x)) 0.908 * * [simplify]: iteration 0 : 701 enodes (cost 1309 ) 0.921 * * [simplify]: iteration 1 : 3438 enodes (cost 1284 ) 0.975 * * [simplify]: iteration 2 : 5001 enodes (cost 1248 ) 0.981 * [simplify]: Simplified to: (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (+ 1.0 x)) (- 0 (log (/ (- (pow 1.0 3) (pow x 3)) (fma 1.0 1.0 (fma x x (* 1.0 x)))))) (log (/ (+ 1.0 x) (- (pow (pow 1.0 3) 3) (pow (pow x 3) 3)))) (+ (log (* (fma (pow x 3) (+ (pow 1.0 3) (pow x 3)) (pow 1.0 6)) 1)) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (/ (+ 1.0 x) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow x 3))))) (log (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (* (+ 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (- (pow 1.0 3) (pow x 3)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (+ 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (+ 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (+ (log (- (fma (pow 1.0 3) 1.0 (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2)))))) (log (- (pow 1.0 3) (pow x 3)))) (+ (log (- (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (+ 1.0 x))) (log (* (- (- (pow 1.0 3) (pow x 3))) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (- (log (- (pow 1.0 3) (pow x 3))) (log (/ (+ 1.0 x) (fma (pow 1.0 3) 1.0 (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2))))))) (log (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))))) (log (* (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (- (log (+ 1.0 x)) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))))) (log (* (- 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (log (* (- 1.0 x) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (/ (+ 1.0 x) (+ (pow 1.0 3/2) (pow x 3/2))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (- (pow 1.0 3/2) (pow x 3/2)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (/ (+ 1.0 x) (+ (pow 1.0 3/2) (pow x 3/2))) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (- (pow 1.0 3/2) (pow x 3/2)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (+ (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (+ (log (- (pow 1.0 3) (pow x 3))) (log (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma (* 1.0 1.0) (* 1.0 1.0) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))))) (log (* (+ (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (+ (log (- (pow 1.0 3) (pow x 3))) (log (* (fma 1.0 1.0 (- (* x x) (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (+ (log (+ 1.0 x)) (log (* (- 1.0 x) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))))) (log (* (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (- (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (+ (log (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- (pow 1.0 3) (pow x 3))) (+ (log (- (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (+ 1.0 x))) (log (- (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x))) (+ (log (/ (+ 1.0 x) 1)) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (fma x x (* 1.0 x)))))) (log (- 1.0 x)) (log (* (/ (+ 1.0 x) (+ (pow 1.0 3/2) (pow x 3/2))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (- (pow 1.0 3/2) (pow x 3/2))) (log (* (+ (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (pow 1.0 3) (pow x 3)) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))) (+ (log (+ 1.0 x)) (log (* (- 1.0 x) (fma 1.0 1.0 (fma x x (* 1.0 x)))))) (log (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x))) (fma (+ 1.0 x) (pow 1.0 6) (* (+ 1.0 x) (pow (fma x x (* 1.0 x)) 3))) (* (+ (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2))) (* (* 1.0 1.0) (* 1.0 1.0))) (- (pow 1.0 3) (pow x 3))) (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (+ 1.0 x)) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (- (pow 1.0 3) (pow x 3))) (* (- (+ 1.0 x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (- (fma (pow 1.0 3) 1.0 (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2))))) (- (pow 1.0 3) (pow x 3))) (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (- (+ 1.0 x))) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (- (- (pow 1.0 3) (pow x 3)))) (+ (pow (fma x x (* 1.0 x)) 3) (pow 1.0 6)) (/ (- (pow 1.0 3) (pow x 3)) (/ (+ 1.0 x) (fma (pow 1.0 3) 1.0 (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2)))))) (fma (- (fma x x (* 1.0 x))) (fma x x (* 1.0 x)) (pow 1.0 4)) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (/ (- (pow 1.0 3) (pow x 3)) (+ 1.0 x))) (/ (* (+ 1.0 x) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (fma 1.0 1.0 (fma x x (* 1.0 x)))) (fma (pow 1.0 4) (- 1.0 x) (* (* (- 1.0 x) (fma x x (* 1.0 x))) (- (fma x x (* 1.0 x)) (pow 1.0 2)))) (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ 1.0 x))) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (- 1.0 x)) (* (/ (+ 1.0 x) (+ (pow 1.0 3/2) (pow x 3/2))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (+ (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2))) (* (* 1.0 1.0) (* 1.0 1.0))) (- (pow 1.0 3/2) (pow x 3/2))) (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (/ (+ 1.0 x) (+ (pow 1.0 3/2) (pow x 3/2)))) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (- (pow 1.0 3/2) (pow x 3/2))) (* (+ (pow 1.0 3) (pow x 3)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (* (fma (pow 1.0 3) 1.0 (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2)))) (fma x (- x 1.0) (pow 1.0 2))) (- (pow 1.0 3) (pow x 3))) (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (+ (pow 1.0 3) (pow x 3))) (* (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (- (pow 1.0 3) (pow x 3))) (fma x (- x 1.0) (pow 1.0 2))) (* (- (* 1.0 1.0) (* x x)) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (+ (* (fma x x (* 1.0 x)) (- (fma x x (* 1.0 x)) (pow 1.0 2))) (* (* 1.0 1.0) (* 1.0 1.0))) (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x))) (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (- (* 1.0 1.0) (* x x))) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (* (- (pow 1.0 3) (pow x 3)) (- 1.0 x))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 1.0)) (/ (* (+ 1.0 x) (fma x x (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (/ (* (+ 1.0 x) (fma 1.0 1.0 (* x x))) (- (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 x)) (/ (* (+ 1.0 x) (fma 1.0 1.0 (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* x x)) (/ (* (+ 1.0 x) (fma x x (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 1.0)) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 1.0)) (/ (* (+ 1.0 x) (fma x x (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (/ (* (+ 1.0 x) (fma 1.0 1.0 (* x x))) (- (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 x)) (/ (* (+ 1.0 x) (fma 1.0 1.0 (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* x x)) (/ (* (+ 1.0 x) (fma x x (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (* 1.0 1.0)) (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (- (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ (+ (pow 1.0 6) (pow x 6)) (* (pow 1.0 3) (pow x 3)))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ (pow 1.0 3) (pow x 3))) (* (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))) (+ (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3))) (* (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ 1.0 x)) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (- (+ 1.0 x))) (fma 1.0 1.0 (fma x x (* 1.0 x))) (/ (+ 1.0 x) (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (/ (+ 1.0 x) (+ (pow 1.0 3/2) (pow x 3/2)))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (+ (pow 1.0 3) (pow x 3))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (- (* 1.0 1.0) (* x x))) (fma (pow x 3) (pow 1.0 3) (pow x 6)) (fma (* x (* 1.0 x)) (- 1.0 x) (pow x 4)) (* (pow x 2) (- (pow x 2) (pow 1.0 2))) (* x (- x 1.0)) (+ 1.0 x) (+ 1.0 x) (+ 1.0 x) (+ 1.0 x) (fma (pow x 2) 2.0 (- (fma 2.0 x (log 1.0)) (* 2.0 (/ (pow x 2) (pow 1.0 2))))) (+ (fma 2.0 (/ 1 x) (* 0.6666666666666666 (/ 1 (pow x 3)))) (log -1)) (+ (fma 2.0 (/ 1 x) (* 0.6666666666666666 (/ 1 (pow x 3)))) (log -1)) (fma 2.0 (pow x 2) (fma 2.0 x 1.0)) (- (/ (- 2.0) (pow x 2)) (fma 2.0 (/ 1 x) 1)) (- (/ (- 2.0) (pow x 2)) (fma 2.0 (/ 1 x) 1)) (fma x x (* 1.0 x)) (fma x x (* 1.0 x)) (fma x x (* 1.0 x)) 0.982 * * * [progress]: adding candidates to table 1.272 * * [progress]: iteration 4 / 4 1.272 * * * [progress]: picking best candidate 1.280 * * * * [pick]: Picked # 1.281 * * * [progress]: localizing error 1.313 * * * [progress]: generating rewritten candidates 1.313 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 1.316 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.319 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1.330 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.338 * * * [progress]: generating series expansions 1.338 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 1.339 * [approximate]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) in (x) around 0 1.339 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) in x 1.339 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) in x 1.339 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma x x (* 1.0 x)))) 1.339 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.339 * [taylor]: Taking taylor expansion of 1.0 in x 1.339 * [taylor]: Taking taylor expansion of 1.0 in x 1.339 * [taylor]: Taking taylor expansion of (- (fma x x (* 1.0 x))) in x 1.339 * [taylor]: Taking taylor expansion of (fma x x (* 1.0 x)) in x 1.339 * [taylor]: Rewrote expression to (+ (* x x) (* 1.0 x)) 1.339 * [taylor]: Taking taylor expansion of (* x x) in x 1.339 * [taylor]: Taking taylor expansion of x in x 1.339 * [taylor]: Taking taylor expansion of x in x 1.339 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.339 * [taylor]: Taking taylor expansion of 1.0 in x 1.339 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) in x 1.341 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) in x 1.341 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma x x (* 1.0 x)))) 1.341 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.341 * [taylor]: Taking taylor expansion of 1.0 in x 1.341 * [taylor]: Taking taylor expansion of 1.0 in x 1.341 * [taylor]: Taking taylor expansion of (- (fma x x (* 1.0 x))) in x 1.341 * [taylor]: Taking taylor expansion of (fma x x (* 1.0 x)) in x 1.342 * [taylor]: Rewrote expression to (+ (* x x) (* 1.0 x)) 1.342 * [taylor]: Taking taylor expansion of (* x x) in x 1.342 * [taylor]: Taking taylor expansion of x in x 1.342 * [taylor]: Taking taylor expansion of x in x 1.342 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.342 * [taylor]: Taking taylor expansion of 1.0 in x 1.342 * [taylor]: Taking taylor expansion of x in x 1.365 * [approximate]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))))) in (x) around 0 1.365 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))))) in x 1.365 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) in x 1.365 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) 1.365 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.365 * [taylor]: Taking taylor expansion of 1.0 in x 1.365 * [taylor]: Taking taylor expansion of 1.0 in x 1.365 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))) in x 1.365 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1.0 x)) in x 1.365 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1.0 x)) 1.365 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.366 * [taylor]: Taking taylor expansion of 1.0 in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))))) in x 1.368 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) in x 1.368 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) 1.368 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.368 * [taylor]: Taking taylor expansion of 1.0 in x 1.368 * [taylor]: Taking taylor expansion of 1.0 in x 1.368 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))) in x 1.368 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1.0 x)) in x 1.368 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1.0 x)) 1.368 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.368 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.368 * [taylor]: Taking taylor expansion of 1.0 in x 1.368 * [taylor]: Taking taylor expansion of x in x 1.396 * [approximate]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) in (x) around 0 1.396 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) in x 1.396 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) in x 1.396 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) 1.396 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.396 * [taylor]: Taking taylor expansion of 1.0 in x 1.396 * [taylor]: Taking taylor expansion of 1.0 in x 1.396 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))) in x 1.396 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1.0 x)) in x 1.396 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1.0 x)) 1.396 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.396 * [taylor]: Taking taylor expansion of -1 in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.396 * [taylor]: Taking taylor expansion of -1 in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of (/ -1.0 x) in x 1.397 * [taylor]: Taking taylor expansion of -1.0 in x 1.397 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) in x 1.398 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) in x 1.398 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) 1.398 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.398 * [taylor]: Taking taylor expansion of 1.0 in x 1.398 * [taylor]: Taking taylor expansion of 1.0 in x 1.398 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))) in x 1.398 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1.0 x)) in x 1.398 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1.0 x)) 1.398 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.399 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.399 * [taylor]: Taking taylor expansion of -1 in x 1.399 * [taylor]: Taking taylor expansion of x in x 1.399 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.399 * [taylor]: Taking taylor expansion of -1 in x 1.399 * [taylor]: Taking taylor expansion of x in x 1.399 * [taylor]: Taking taylor expansion of (/ -1.0 x) in x 1.399 * [taylor]: Taking taylor expansion of -1.0 in x 1.399 * [taylor]: Taking taylor expansion of x in x 1.418 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.418 * [approximate]: Taking taylor expansion of (log (+ x 1.0)) in (x) around 0 1.418 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 1.418 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.418 * [taylor]: Taking taylor expansion of x in x 1.418 * [taylor]: Taking taylor expansion of 1.0 in x 1.419 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 1.419 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.419 * [taylor]: Taking taylor expansion of x in x 1.419 * [taylor]: Taking taylor expansion of 1.0 in x 1.431 * [approximate]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in (x) around 0 1.431 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 1.431 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.431 * [taylor]: Taking taylor expansion of x in x 1.431 * [taylor]: Taking taylor expansion of 1.0 in x 1.432 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 1.432 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.432 * [taylor]: Taking taylor expansion of x in x 1.432 * [taylor]: Taking taylor expansion of 1.0 in x 1.444 * [approximate]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in (x) around 0 1.444 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 1.444 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.444 * [taylor]: Taking taylor expansion of 1.0 in x 1.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.444 * [taylor]: Taking taylor expansion of x in x 1.445 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 1.445 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.445 * [taylor]: Taking taylor expansion of 1.0 in x 1.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.445 * [taylor]: Taking taylor expansion of x in x 1.458 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.459 * [approximate]: Taking taylor expansion of (log (* (- 1.0 (+ (pow x 2) (* 1.0 x))) (- 1.0 x))) in (x) around 0 1.459 * [taylor]: Taking taylor expansion of (log (* (- 1.0 (+ (pow x 2) (* 1.0 x))) (- 1.0 x))) in x 1.459 * [taylor]: Taking taylor expansion of (* (- 1.0 (+ (pow x 2) (* 1.0 x))) (- 1.0 x)) in x 1.459 * [taylor]: Taking taylor expansion of (- 1.0 (+ (pow x 2) (* 1.0 x))) in x 1.459 * [taylor]: Taking taylor expansion of 1.0 in x 1.459 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 1.0 x)) in x 1.459 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.459 * [taylor]: Taking taylor expansion of x in x 1.459 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.459 * [taylor]: Taking taylor expansion of 1.0 in x 1.459 * [taylor]: Taking taylor expansion of x in x 1.459 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 1.459 * [taylor]: Taking taylor expansion of 1.0 in x 1.459 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of (log (* (- 1.0 (+ (pow x 2) (* 1.0 x))) (- 1.0 x))) in x 1.461 * [taylor]: Taking taylor expansion of (* (- 1.0 (+ (pow x 2) (* 1.0 x))) (- 1.0 x)) in x 1.461 * [taylor]: Taking taylor expansion of (- 1.0 (+ (pow x 2) (* 1.0 x))) in x 1.461 * [taylor]: Taking taylor expansion of 1.0 in x 1.461 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 1.0 x)) in x 1.461 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.461 * [taylor]: Taking taylor expansion of 1.0 in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 1.461 * [taylor]: Taking taylor expansion of 1.0 in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.490 * [approximate]: Taking taylor expansion of (log (* (- 1.0 (/ 1 x)) (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in (x) around 0 1.490 * [taylor]: Taking taylor expansion of (log (* (- 1.0 (/ 1 x)) (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x 1.490 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x 1.490 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.490 * [taylor]: Taking taylor expansion of 1.0 in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x 1.490 * [taylor]: Taking taylor expansion of 1.0 in x 1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.490 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.491 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.491 * [taylor]: Taking taylor expansion of 1.0 in x 1.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.491 * [taylor]: Taking taylor expansion of x in x 1.493 * [taylor]: Taking taylor expansion of (log (* (- 1.0 (/ 1 x)) (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x 1.493 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x 1.493 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.493 * [taylor]: Taking taylor expansion of 1.0 in x 1.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.493 * [taylor]: Taking taylor expansion of (- 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x 1.493 * [taylor]: Taking taylor expansion of 1.0 in x 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x 1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.493 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.494 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.494 * [taylor]: Taking taylor expansion of 1.0 in x 1.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.494 * [taylor]: Taking taylor expansion of x in x 1.528 * [approximate]: Taking taylor expansion of (log (* (+ (/ 1 x) 1.0) (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2))))) in (x) around 0 1.528 * [taylor]: Taking taylor expansion of (log (* (+ (/ 1 x) 1.0) (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2))))) in x 1.528 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2)))) in x 1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.528 * [taylor]: Taking taylor expansion of x in x 1.528 * [taylor]: Taking taylor expansion of 1.0 in x 1.528 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2))) in x 1.528 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 1.528 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.528 * [taylor]: Taking taylor expansion of 1.0 in x 1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.528 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of 1.0 in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.529 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.530 * [taylor]: Taking taylor expansion of (log (* (+ (/ 1 x) 1.0) (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2))))) in x 1.530 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2)))) in x 1.530 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.530 * [taylor]: Taking taylor expansion of x in x 1.531 * [taylor]: Taking taylor expansion of 1.0 in x 1.531 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 x)) 1.0) (/ 1 (pow x 2))) in x 1.531 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) 1.0) in x 1.531 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.531 * [taylor]: Taking taylor expansion of 1.0 in x 1.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.531 * [taylor]: Taking taylor expansion of x in x 1.531 * [taylor]: Taking taylor expansion of 1.0 in x 1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.531 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.531 * [taylor]: Taking taylor expansion of x in x 1.569 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.569 * [approximate]: Taking taylor expansion of (+ (log (+ x 1.0)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) in (x) around 0 1.569 * [taylor]: Taking taylor expansion of (+ (log (+ x 1.0)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) in x 1.569 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 1.569 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.569 * [taylor]: Taking taylor expansion of x in x 1.569 * [taylor]: Taking taylor expansion of 1.0 in x 1.570 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) in x 1.570 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) in x 1.570 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma x x (* 1.0 x)))) 1.570 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.570 * [taylor]: Taking taylor expansion of 1.0 in x 1.570 * [taylor]: Taking taylor expansion of 1.0 in x 1.570 * [taylor]: Taking taylor expansion of (- (fma x x (* 1.0 x))) in x 1.570 * [taylor]: Taking taylor expansion of (fma x x (* 1.0 x)) in x 1.570 * [taylor]: Rewrote expression to (+ (* x x) (* 1.0 x)) 1.570 * [taylor]: Taking taylor expansion of (* x x) in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.570 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.570 * [taylor]: Taking taylor expansion of 1.0 in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of (+ (log (+ x 1.0)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) in x 1.572 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 1.572 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 1.572 * [taylor]: Taking taylor expansion of x in x 1.572 * [taylor]: Taking taylor expansion of 1.0 in x 1.573 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) in x 1.573 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) in x 1.573 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma x x (* 1.0 x)))) 1.573 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.573 * [taylor]: Taking taylor expansion of 1.0 in x 1.573 * [taylor]: Taking taylor expansion of 1.0 in x 1.573 * [taylor]: Taking taylor expansion of (- (fma x x (* 1.0 x))) in x 1.573 * [taylor]: Taking taylor expansion of (fma x x (* 1.0 x)) in x 1.573 * [taylor]: Rewrote expression to (+ (* x x) (* 1.0 x)) 1.573 * [taylor]: Taking taylor expansion of (* x x) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.573 * [taylor]: Taking taylor expansion of 1.0 in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.649 * [approximate]: Taking taylor expansion of (+ (log (+ (/ 1 x) 1.0)) (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))))) in (x) around 0 1.649 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 x) 1.0)) (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))))) in x 1.649 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 1.649 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.649 * [taylor]: Taking taylor expansion of x in x 1.650 * [taylor]: Taking taylor expansion of 1.0 in x 1.650 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))))) in x 1.650 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) in x 1.650 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) 1.650 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.650 * [taylor]: Taking taylor expansion of 1.0 in x 1.650 * [taylor]: Taking taylor expansion of 1.0 in x 1.650 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))) in x 1.650 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1.0 x)) in x 1.650 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1.0 x)) 1.650 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.650 * [taylor]: Taking taylor expansion of x in x 1.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.651 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.651 * [taylor]: Taking taylor expansion of 1.0 in x 1.651 * [taylor]: Taking taylor expansion of x in x 1.652 * [taylor]: Taking taylor expansion of (+ (log (+ (/ 1 x) 1.0)) (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))))) in x 1.652 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 1.652 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.653 * [taylor]: Taking taylor expansion of x in x 1.653 * [taylor]: Taking taylor expansion of 1.0 in x 1.653 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))))) in x 1.653 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) in x 1.653 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x)))) 1.653 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.653 * [taylor]: Taking taylor expansion of 1.0 in x 1.653 * [taylor]: Taking taylor expansion of 1.0 in x 1.654 * [taylor]: Taking taylor expansion of (- (fma (/ 1 x) (/ 1 x) (/ 1.0 x))) in x 1.654 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (/ 1.0 x)) in x 1.654 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (/ 1.0 x)) 1.654 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x 1.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.654 * [taylor]: Taking taylor expansion of (/ 1.0 x) in x 1.654 * [taylor]: Taking taylor expansion of 1.0 in x 1.654 * [taylor]: Taking taylor expansion of x in x 1.687 * [approximate]: Taking taylor expansion of (+ (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) (log (- 1.0 (/ 1 x)))) in (x) around 0 1.687 * [taylor]: Taking taylor expansion of (+ (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) (log (- 1.0 (/ 1 x)))) in x 1.687 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) in x 1.687 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) in x 1.687 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) 1.687 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.687 * [taylor]: Taking taylor expansion of 1.0 in x 1.687 * [taylor]: Taking taylor expansion of 1.0 in x 1.687 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))) in x 1.687 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1.0 x)) in x 1.687 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1.0 x)) 1.687 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.687 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.687 * [taylor]: Taking taylor expansion of -1 in x 1.687 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.688 * [taylor]: Taking taylor expansion of -1 in x 1.688 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (/ -1.0 x) in x 1.688 * [taylor]: Taking taylor expansion of -1.0 in x 1.688 * [taylor]: Taking taylor expansion of x in x 1.689 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 1.690 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.690 * [taylor]: Taking taylor expansion of 1.0 in x 1.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.690 * [taylor]: Taking taylor expansion of x in x 1.691 * [taylor]: Taking taylor expansion of (+ (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) (log (- 1.0 (/ 1 x)))) in x 1.691 * [taylor]: Taking taylor expansion of (log (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))))) in x 1.691 * [taylor]: Taking taylor expansion of (fma 1.0 1.0 (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) in x 1.691 * [taylor]: Rewrote expression to (+ (* 1.0 1.0) (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x)))) 1.691 * [taylor]: Taking taylor expansion of (* 1.0 1.0) in x 1.691 * [taylor]: Taking taylor expansion of 1.0 in x 1.691 * [taylor]: Taking taylor expansion of 1.0 in x 1.691 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 x) (/ -1.0 x))) in x 1.691 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (/ -1.0 x)) in x 1.691 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (/ -1.0 x)) 1.691 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x 1.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.691 * [taylor]: Taking taylor expansion of -1 in x 1.691 * [taylor]: Taking taylor expansion of x in x 1.692 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.692 * [taylor]: Taking taylor expansion of -1 in x 1.692 * [taylor]: Taking taylor expansion of x in x 1.692 * [taylor]: Taking taylor expansion of (/ -1.0 x) in x 1.692 * [taylor]: Taking taylor expansion of -1.0 in x 1.692 * [taylor]: Taking taylor expansion of x in x 1.693 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 1.693 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 1.693 * [taylor]: Taking taylor expansion of 1.0 in x 1.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.693 * [taylor]: Taking taylor expansion of x in x 1.732 * * * [progress]: simplifying candidates 1.733 * [simplify]: Simplifying using # : (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (/ 1 (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (- (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (- (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log 1) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (+ 1.0 x)) (log (/ 1 1)) (log (+ 1.0 x)) (log 1) (log (- (+ 1.0 x))) (log (- 1)) (log 1) (log (/ 1 (+ 1.0 x))) (log (+ (pow 1.0 3) (pow x 3))) (log (* 1 (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))) (log (- (* 1.0 1.0) (* x x))) (log (* 1 (- 1.0 x))) (log (/ 1 (+ 1.0 x))) (log (- 1.0 x)) (log (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (- (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (- 1.0 x)) (log (* (- (pow 1.0 3) (pow x 3)) (- (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (- (pow 1.0 3) (pow x 3)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- (* 1.0 1.0) (* x x)) (- (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (+ 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (log (* (- (* 1.0 1.0) (* x x)) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (* (+ 1.0 x) (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (* (- 1.0 x) (- (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (log (* (- 1.0 x) (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x)))))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (log (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (+ 1.0 x)) (* (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x)))) (/ (+ 1.0 x) 1)) (+ (pow (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) 3) (pow (log (/ (+ 1.0 x) 1)) 3)) (+ (* (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x)))))) (- (* (log (/ (+ 1.0 x) 1)) (log (/ (+ 1.0 x) 1))) (* (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))))) (- (* (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x)))))) (* (log (/ (+ 1.0 x) 1)) (log (/ (+ 1.0 x) 1)))) (- (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (+ (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (/ 1 (+ 1.0 x)))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (+ 1.0 x))) (+ (log (/ 1 (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (+ 1.0 x))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (- (+ 1.0 x)))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log 1)) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (+ (pow 1.0 3) (pow x 3)))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (- (* 1.0 1.0) (* x x)))) (- (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (/ (+ 1.0 x) 1))) (- (log (- (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (- (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (/ (+ 1.0 x) 1))) (- (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (/ (+ 1.0 x) 1))) (- (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (- (log 1.0) (+ (* 1.0 (pow x 2)) (+ (* 1.0 x) (* 0.5 (/ (pow x 2) (pow 1.0 2)))))) (- (+ (log -1) (* 1.0 (/ 1 x))) (+ (* 1.5 (/ 1 (pow x 2))) (* 2 (log (/ 1 x))))) (- (+ (log -1) (* 1.0 (/ 1 x))) (+ (* 1.5 (/ 1 (pow x 2))) (* 2 (log (/ -1 x))))) (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2)))) (- (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 (pow x 2))) (log (/ 1 x)))) (- (+ (log -1) (* 1.0 (/ 1 x))) (+ (* 0.5 (/ 1 (pow x 2))) (log (/ -1 x)))) (- (log 1.0) (+ (* 2.0 x) (* 2.0 (/ (pow x 2) (pow 1.0 2))))) (- (* 1.0 (/ 1 (pow x 3))) (+ (* 2.0 (/ 1 (pow x 2))) (* 3 (log (/ 1 x))))) (- (+ (log -1) (* 1.0 (/ 1 (pow x 3)))) (+ (* 2.0 (/ 1 (pow x 2))) (* 3 (log (/ -1 x))))) (- (* 2 (log 1.0)) (+ (* 1.0 (pow x 2)) (+ (* 1.0 (/ (pow x 3) (pow 1.0 2))) (* 1.0 (/ (pow x 2) (pow 1.0 2)))))) (- (+ (log -1) (* 2.0 (/ 1 x))) (+ (* 2.0 (/ 1 (pow x 2))) (* 3 (log (/ 1 x))))) (- (+ (* 2 (log -1)) (* 2.0 (/ 1 x))) (+ (* 2.0 (/ 1 (pow x 2))) (* 3 (log (/ -1 x))))) 1.739 * * [simplify]: iteration 0 : 529 enodes (cost 761 ) 1.748 * * [simplify]: iteration 1 : 2209 enodes (cost 704 ) 1.785 * * [simplify]: iteration 2 : 5001 enodes (cost 654 ) 1.788 * [simplify]: Simplified to: (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (/ 1 (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (- (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (log (- (fma 1.0 1.0 (fma x x (* 1.0 x))))) 0 (- (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) 0 (- (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (+ 1.0 x)) 0 (log (+ 1.0 x)) 0 (log (- (+ 1.0 x))) (log (- 1)) 0 (log (/ 1 (+ 1.0 x))) (log (+ (pow 1.0 3) (pow x 3))) (log (fma 1.0 1.0 (- (* x x) (* 1.0 x)))) (log (- (* 1.0 1.0) (* x x))) (log (- 1.0 x)) (log (/ 1 (+ 1.0 x))) (log (- 1.0 x)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (log (- 1.0 x)) (log (* (- (pow 1.0 3) (pow x 3)) (- (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (+ (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (log (fma 1.0 1.0 (fma x x (* 1.0 x))))) (+ (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (- (pow 1.0 3) (pow x 3)))) (* 2 (log (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (* (- (* 1.0 1.0) (* x x)) (- (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (* (+ 1.0 x) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x))))))) (+ (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (- (* 1.0 1.0) (* x x)))) (+ (log (+ 1.0 x)) (log (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (* (- 1.0 x) (- (pow (* 1.0 1.0) 3) (pow (+ (* x x) (* 1.0 x)) 3)))) (log (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (+ (* x x) (* 1.0 x)) (+ (* x x) (* 1.0 x))) (* (* 1.0 1.0) (+ (* x x) (* 1.0 x)))))) (+ (log (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (- 1.0 x))) (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (* (- (pow 1.0 3) (pow x 3)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (log (+ 1.0 x)) (* (fma 1.0 1.0 (- (fma x x (* 1.0 x)))) (+ 1.0 x)) (+ (pow (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) 3) (pow (log (/ (+ 1.0 x) 1)) 3)) (fma (log (+ 1.0 x)) (- (log (/ (+ 1.0 x) 1)) (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x)))))) (* (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))))) (fma (log (/ 1 (+ 1.0 x))) (log (+ 1.0 x)) (* (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))))) (- (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (- (+ (log (+ 1.0 x)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (+ (log (+ 1.0 x)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (- (log (+ 1.0 x)) (log (fma 1.0 1.0 (fma x x (* 1.0 x))))) (+ (log (+ 1.0 x)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (- (+ 1.0 x)))) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (+ (log (/ (* (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x))))) (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (+ (pow 1.0 3) (pow x 3)))) (log (* (- (* 1.0 1.0) (* x x)) (- (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (- (log (fma 1.0 1.0 (fma x x (* 1.0 x)))) (log (+ 1.0 x))) (- (log (- (fma 1.0 1.0 (fma x x (* 1.0 x))))) (log (/ (+ 1.0 x) 1))) (- (+ (log (+ 1.0 x)) (log (fma 1.0 1.0 (- (fma x x (* 1.0 x))))))) (- (log (/ (fma 1.0 1.0 (fma x x (* 1.0 x))) (fma 1.0 1.0 (- (fma x x (* 1.0 x)))))) (log (/ (+ 1.0 x) 1))) (log (/ 1 (+ 1.0 x))) (- (- (log 1.0) (* 1.0 (pow x 2))) (fma 1.0 x (* 0.5 (/ (pow x 2) (pow 1.0 2))))) (fma 1.0 (/ 1 x) (- (log -1) (fma 1.5 (/ 1 (pow x 2)) (* 2 (log (/ 1 x)))))) (fma 1.0 (/ 1 x) (- (log -1) (fma 1.5 (/ 1 (pow x 2)) (* 2 (log (/ -1 x)))))) (fma x 1.0 (- (log 1.0) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (fma 1.0 (/ 1 x) (- (fma 0.5 (/ 1 (pow x 2)) (log (/ 1 x))))) (fma 1.0 (/ 1 x) (- (log -1) (fma 0.5 (/ 1 (pow x 2)) (log (/ -1 x))))) (fma (- 2.0) (+ x (/ (pow x 2) (pow 1.0 2))) (log 1.0)) (fma 1.0 (/ 1 (pow x 3)) (- (fma 2.0 (/ 1 (pow x 2)) (* 3 (log (/ 1 x)))))) (fma 1.0 (/ 1 (pow x 3)) (- (log -1) (fma 2.0 (/ 1 (pow x 2)) (* 3 (log (/ -1 x)))))) (fma 2 (log 1.0) (- (fma 1.0 (pow x 2) (fma 1.0 (/ (pow x 3) (pow 1.0 2)) (* 1.0 (/ (pow x 2) (pow 1.0 2))))))) (fma 2.0 (/ 1 x) (- (log -1) (fma 2.0 (/ 1 (pow x 2)) (* 3 (log (/ 1 x)))))) (fma (log -1) 2 (- (* 2.0 (/ 1 x)) (fma 2.0 (/ 1 (pow x 2)) (* 3 (log (/ -1 x)))))) 1.789 * * * [progress]: adding candidates to table 2.054 * [progress]: [Phase 3 of 3] Extracting. 2.054 * * [regime]: Finding splitpoints for: (# # # #) 2.057 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.057 * * * * [regimes]: Trying to branch on x from (# # # #) 2.082 * * * [regime]: Found split indices: #