13.614 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.049 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.051 * [simplify]: Simplifying using # : (- (log (+ 1.0 (exp x))) (* x y)) 0.054 * * [simplify]: iteration 0 : 12 enodes (cost 5 ) 0.055 * * [simplify]: iteration 1 : 19 enodes (cost 5 ) 0.056 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 0.057 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 0.057 * [simplify]: Simplified to: (- (log (+ 1.0 (exp x))) (* x y)) 0.058 * * [progress]: iteration 1 / 4 0.058 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.060 * * * [progress]: localizing error 0.067 * * * [progress]: generating rewritten candidates 0.067 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.070 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 0.074 * * * [progress]: generating series expansions 0.074 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.074 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0 0.074 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.074 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.074 * [taylor]: Taking taylor expansion of (exp x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of 1.0 in x 0.075 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.075 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.075 * [taylor]: Taking taylor expansion of (exp x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0 0.092 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.092 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.092 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.092 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.117 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0 0.117 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.117 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.117 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.117 * [taylor]: Taking taylor expansion of -1 in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of 1.0 in x 0.117 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.117 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.117 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.117 * [taylor]: Taking taylor expansion of -1 in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of 1.0 in x 0.138 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 0.138 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 0.138 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.138 * [taylor]: Taking taylor expansion of (exp x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of 1.0 in x 0.138 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.138 * [taylor]: Taking taylor expansion of (exp x) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of 1.0 in x 0.141 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 0.141 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.141 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.141 * [taylor]: Taking taylor expansion of 1.0 in x 0.141 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.141 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.142 * [taylor]: Taking taylor expansion of 1.0 in x 0.143 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 0.143 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.143 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.143 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of 1.0 in x 0.144 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.144 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.144 * [taylor]: Taking taylor expansion of -1 in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of 1.0 in x 0.146 * * * [progress]: simplifying candidates 0.146 * [simplify]: Simplifying using # : (expm1 (log (+ 1.0 (exp x)))) (log1p (log (+ 1.0 (exp x)))) (log (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log 1) (log (+ 1.0 (exp x))) (log 1) (log (+ 1.0 (exp x))) (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (log (- (* 1.0 1.0) (* (exp x) (exp x)))) (log (- 1.0 (exp x))) (log (+ 1.0 (exp x))) (log (log (+ 1.0 (exp x)))) (exp (log (+ 1.0 (exp x)))) (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) (cbrt (log (+ 1.0 (exp x)))) (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (expm1 (+ 1.0 (exp x))) (log1p (+ 1.0 (exp x))) (* (exp 1.0) (exp (exp x))) (log (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))) (cbrt (+ 1.0 (exp x))) (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (+ (pow 1.0 3) (pow (exp x) 3)) (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))) (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x)) (+ 1.0 (exp x)) (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 0.150 * * [simplify]: iteration 0 : 137 enodes (cost 181 ) 0.152 * * [simplify]: iteration 1 : 364 enodes (cost 163 ) 0.158 * * [simplify]: iteration 2 : 1024 enodes (cost 163 ) 0.175 * * [simplify]: iteration 3 : 3614 enodes (cost 161 ) 0.247 * * [simplify]: iteration 4 : 5001 enodes (cost 159 ) 0.248 * [simplify]: Simplified to: (expm1 (log (+ 1.0 (exp x)))) (log1p (log (+ 1.0 (exp x)))) (* 2 (log (cbrt (+ 1.0 (exp x))))) (log (cbrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) (log (sqrt (+ 1.0 (exp x)))) 0 (log (+ (exp x) 1.0)) 0 (log (+ (exp x) 1.0)) (log (+ (pow 1.0 3) (pow (exp x) 3))) (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (log (- (* 1.0 1.0) (* (exp x) (exp x)))) (log (- 1.0 (exp x))) (log (+ (exp x) 1.0)) (log (log (+ 1.0 (exp x)))) (+ 1.0 (exp x)) (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) (cbrt (log (+ 1.0 (exp x)))) (pow (log (+ (exp x) 1.0)) 3) (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))) (expm1 (+ 1.0 (exp x))) (log1p (+ 1.0 (exp x))) (exp (+ 1.0 (exp x))) (log (+ (exp x) 1.0)) (exp (+ 1.0 (exp x))) (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))) (cbrt (+ 1.0 (exp x))) (pow (+ 1.0 (exp x)) 3) (sqrt (+ 1.0 (exp x))) (sqrt (+ 1.0 (exp x))) (+ (pow 1.0 3) (pow (exp x) 3)) (fma (exp x) (- (exp x) 1.0) (* 1.0 1.0)) (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x)) (+ 1.0 (exp x)) (fma (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))) (fma x 0.5 (log 2.0))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (fma x (fma 1/2 x 1) 2.0) (+ 1.0 (exp x)) (+ 1.0 (exp x)) 0.248 * * * [progress]: adding candidates to table 0.342 * * [progress]: iteration 2 / 4 0.342 * * * [progress]: picking best candidate 0.349 * * * * [pick]: Picked # 0.349 * * * [progress]: localizing error 0.359 * * * [progress]: generating rewritten candidates 0.359 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.361 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.363 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.367 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 0.373 * * * [progress]: generating series expansions 0.373 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.373 * [approximate]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in (x) around 0 0.373 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x 0.373 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.373 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.373 * [taylor]: Taking taylor expansion of (exp x) in x 0.373 * [taylor]: Taking taylor expansion of x in x 0.373 * [taylor]: Taking taylor expansion of 1.0 in x 0.374 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x 0.374 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.374 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.374 * [taylor]: Taking taylor expansion of (exp x) in x 0.374 * [taylor]: Taking taylor expansion of x in x 0.374 * [taylor]: Taking taylor expansion of 1.0 in x 0.428 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in (x) around 0 0.428 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x 0.428 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.428 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.428 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.428 * [taylor]: Taking taylor expansion of x in x 0.428 * [taylor]: Taking taylor expansion of 1.0 in x 0.429 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x 0.429 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.429 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.429 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of 1.0 in x 0.459 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in (x) around 0 0.459 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x 0.459 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.459 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.459 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.459 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.459 * [taylor]: Taking taylor expansion of -1 in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of 1.0 in x 0.460 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x 0.460 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.460 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.460 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.460 * [taylor]: Taking taylor expansion of -1 in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of 1.0 in x 0.492 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.492 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0 0.492 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.493 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.493 * [taylor]: Taking taylor expansion of (exp x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 1.0 in x 0.493 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.493 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.493 * [taylor]: Taking taylor expansion of (exp x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 1.0 in x 0.510 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0 0.510 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.510 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.510 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of 1.0 in x 0.511 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.511 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.511 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.511 * [taylor]: Taking taylor expansion of x in x 0.511 * [taylor]: Taking taylor expansion of 1.0 in x 0.532 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0 0.532 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.532 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.532 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.532 * [taylor]: Taking taylor expansion of -1 in x 0.532 * [taylor]: Taking taylor expansion of x in x 0.532 * [taylor]: Taking taylor expansion of 1.0 in x 0.533 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.533 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.533 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.533 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.533 * [taylor]: Taking taylor expansion of -1 in x 0.533 * [taylor]: Taking taylor expansion of x in x 0.533 * [taylor]: Taking taylor expansion of 1.0 in x 0.557 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.558 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0 0.558 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.558 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.558 * [taylor]: Taking taylor expansion of (exp x) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of 1.0 in x 0.558 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.558 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.558 * [taylor]: Taking taylor expansion of (exp x) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of 1.0 in x 0.575 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0 0.575 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.575 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.575 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.575 * [taylor]: Taking taylor expansion of 1.0 in x 0.576 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.576 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.576 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of 1.0 in x 0.596 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0 0.596 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.596 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.597 * [taylor]: Taking taylor expansion of -1 in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of 1.0 in x 0.597 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.597 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.597 * [taylor]: Taking taylor expansion of -1 in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of 1.0 in x 0.619 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 0.619 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0 0.619 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.619 * [taylor]: Taking taylor expansion of (exp x) 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 (+ (exp x) 1.0) in x 0.619 * [taylor]: Taking taylor expansion of (exp x) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of 1.0 in x 0.621 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0 0.621 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.621 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.621 * [taylor]: Taking taylor expansion of (/ 1 x) 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 (+ (exp (/ 1 x)) 1.0) in x 0.622 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.622 * [taylor]: Taking taylor expansion of x in x 0.622 * [taylor]: Taking taylor expansion of 1.0 in x 0.624 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0 0.624 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.624 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.624 * [taylor]: Taking taylor expansion of 1.0 in x 0.624 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.624 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.624 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.624 * [taylor]: Taking taylor expansion of -1 in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * * * [progress]: simplifying candidates 0.628 * [simplify]: Simplifying using # : (expm1 (pow (log (+ (exp x) 1.0)) 3)) (log1p (pow (log (+ (exp x) 1.0)) 3)) (* (log (log (+ (exp x) 1.0))) 3) (* (log (log (+ (exp x) 1.0))) 3) (* 1 3) (pow (log (+ (exp x) 1.0)) (* (cbrt 3) (cbrt 3))) (pow (log (+ (exp x) 1.0)) (sqrt 3)) (pow (log (+ (exp x) 1.0)) 1) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3) (pow (cbrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (log (pow (log (+ (exp x) 1.0)) 3)) (exp (pow (log (+ (exp x) 1.0)) 3)) (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (* (* (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 3)) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3) (pow (cbrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) (/ 3 2)) (pow (log (+ (exp x) 1.0)) (/ 3 2)) (expm1 (cbrt (pow (log (+ (exp x) 1.0)) 3))) (log1p (cbrt (pow (log (+ (exp x) 1.0)) 3))) (log (cbrt (pow (log (+ (exp x) 1.0)) 3))) (exp (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (pow 1 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3)) (cbrt (pow (cbrt (log (+ (exp x) 1.0))) 3)) (cbrt (pow (sqrt (log (+ (exp x) 1.0))) 3)) (cbrt (pow (sqrt (log (+ (exp x) 1.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (cbrt (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (pow 1 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3)) (cbrt (pow (cbrt (log (+ (exp x) 1.0))) 3)) (cbrt (pow (sqrt (log (+ (exp x) 1.0))) 3)) (cbrt (pow (sqrt (log (+ (exp x) 1.0))) 3)) (cbrt (pow 1 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (log (+ (exp x) 1.0))) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt 1) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) (/ 3 2))) (cbrt (pow (log (+ (exp x) 1.0)) (/ 3 2))) (* (cbrt (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (cbrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (cbrt (pow (log (+ (exp x) 1.0)) 3))) (* (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (pow (log (+ (exp x) 1.0)) 3))) (sqrt (cbrt (pow (log (+ (exp x) 1.0)) 3))) (sqrt (cbrt (pow (log (+ (exp x) 1.0)) 3))) (expm1 (log (+ (exp x) 1.0))) (log1p (log (+ (exp x) 1.0))) (log (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))) (log (cbrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (log 1) (log (+ (exp x) 1.0)) (log 1) (log (+ (exp x) 1.0)) (log (+ (pow (exp x) 3) (pow 1.0 3))) (log (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0)))) (log (- (* (exp x) (exp x)) (* 1.0 1.0))) (log (- (exp x) 1.0)) (log (+ (exp x) 1.0)) (log (log (+ (exp x) 1.0))) (exp (log (+ (exp x) 1.0))) (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (* (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (* (exp (exp x)) (exp 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (* (* (+ (exp x) 1.0) (+ (exp x) 1.0)) (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0))) (- (* (exp x) (exp x)) (* 1.0 1.0)) (- (exp x) 1.0) (+ (exp x) 1.0) (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3) (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (+ (* 1/2 (pow x 2)) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 0.633 * * [simplify]: iteration 0 : 269 enodes (cost 526 ) 0.638 * * [simplify]: iteration 1 : 1001 enodes (cost 494 ) 0.662 * * [simplify]: iteration 2 : 5001 enodes (cost 485 ) 0.668 * [simplify]: Simplified to: (expm1 (pow (log (+ (exp x) 1.0)) 3)) (log1p (pow (log (+ (exp x) 1.0)) 3)) (log (pow (log (+ (exp x) 1.0)) 3)) (log (pow (log (+ (exp x) 1.0)) 3)) 3 (pow (log (+ (exp x) 1.0)) (* (cbrt 3) (cbrt 3))) (pow (log (+ (exp x) 1.0)) (sqrt 3)) (log (+ (exp x) 1.0)) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (pow (log (+ (exp x) 1.0)) 3)) (exp (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (pow (log (+ (exp x) 1.0)) 3) 3) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) (expm1 (log (+ (exp x) 1.0))) (log1p (log (+ (exp x) 1.0))) (log (log (+ (exp x) 1.0))) (+ (exp x) 1.0) 1 (log (+ (exp x) 1.0)) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) 1 (log (+ (exp x) 1.0)) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) 1 (log (+ (exp x) 1.0)) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) 1 (log (+ (exp x) 1.0)) (cbrt (log (+ (exp x) 1.0))) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) 1 (log (+ (exp x) 1.0)) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (pow (log (+ (exp x) 1.0)) 3) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (expm1 (log (+ (exp x) 1.0))) (log1p (log (+ (exp x) 1.0))) (* 2 (log (cbrt (+ (exp x) 1.0)))) (log (cbrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) (log (sqrt (+ (exp x) 1.0))) 0 (log (+ (exp x) 1.0)) 0 (log (+ (exp x) 1.0)) (log (+ (pow (exp x) 3) (pow 1.0 3))) (log (+ (* (exp x) (exp x)) (- (* 1.0 1.0) (* (exp x) 1.0)))) (log (- (* (exp x) (exp x)) (* 1.0 1.0))) (log (- (exp x) 1.0)) (log (+ (exp x) 1.0)) (log (log (+ (exp x) 1.0))) (+ (exp x) 1.0) (cbrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)))) (cbrt (log (+ (exp x) 1.0))) (pow (log (+ (exp x) 1.0)) 3) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (expm1 (+ (exp x) 1.0)) (log1p (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (exp (+ (exp x) 1.0)) (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0))) (cbrt (+ (exp x) 1.0)) (pow (+ (exp x) 1.0) 3) (sqrt (+ (exp x) 1.0)) (sqrt (+ (exp x) 1.0)) (+ (pow (exp x) 3) (pow 1.0 3)) (fma 1.0 (- 1.0 (exp x)) (exp (+ x x))) (fma (- 1.0) 1.0 (exp (+ x x))) (- (exp x) 1.0) (+ (exp x) 1.0) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3) (+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (+ (log 2.0) (- (fma 0.25 (pow x 2) (* 0.5 x)) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0)) (fma 1/2 (pow x 2) (+ x 2.0)) (+ (exp x) 1.0) (+ (exp x) 1.0) 0.669 * * * [progress]: adding candidates to table 0.877 * * [progress]: iteration 3 / 4 0.877 * * * [progress]: picking best candidate 0.884 * * * * [pick]: Picked # 0.884 * * * [progress]: localizing error 0.897 * * * [progress]: generating rewritten candidates 0.897 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 0.899 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1) 0.900 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.903 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.908 * * * [progress]: generating series expansions 0.908 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 0.908 * [approximate]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in (x) around 0 0.908 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x 0.908 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.908 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.908 * [taylor]: Taking taylor expansion of (exp x) in x 0.908 * [taylor]: Taking taylor expansion of x in x 0.908 * [taylor]: Taking taylor expansion of 1.0 in x 0.909 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x 0.909 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 0.909 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 0.909 * [taylor]: Taking taylor expansion of (exp x) in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.909 * [taylor]: Taking taylor expansion of 1.0 in x 0.964 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in (x) around 0 0.964 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x 0.964 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.964 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.964 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.964 * [taylor]: Taking taylor expansion of x in x 0.965 * [taylor]: Taking taylor expansion of 1.0 in x 0.965 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x 0.965 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 0.965 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 0.965 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.965 * [taylor]: Taking taylor expansion of x in x 0.965 * [taylor]: Taking taylor expansion of 1.0 in x 0.995 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in (x) around 0 0.995 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x 0.995 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.995 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.995 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.995 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.995 * [taylor]: Taking taylor expansion of -1 in x 0.995 * [taylor]: Taking taylor expansion of x in x 0.995 * [taylor]: Taking taylor expansion of 1.0 in x 0.996 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x 0.996 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 0.996 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 0.996 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.996 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.996 * [taylor]: Taking taylor expansion of -1 in x 0.996 * [taylor]: Taking taylor expansion of x in x 0.996 * [taylor]: Taking taylor expansion of 1.0 in x 1.026 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1) 1.026 * [approximate]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in (x) around 0 1.026 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x 1.026 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 1.026 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.026 * [taylor]: Taking taylor expansion of (exp x) in x 1.026 * [taylor]: Taking taylor expansion of x in x 1.026 * [taylor]: Taking taylor expansion of 1.0 in x 1.027 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x 1.027 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 1.027 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.027 * [taylor]: Taking taylor expansion of (exp x) in x 1.027 * [taylor]: Taking taylor expansion of x in x 1.027 * [taylor]: Taking taylor expansion of 1.0 in x 1.080 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in (x) around 0 1.081 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x 1.081 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 1.081 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.081 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [taylor]: Taking taylor expansion of 1.0 in x 1.081 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x 1.081 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 1.081 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.081 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.081 * [taylor]: Taking taylor expansion of x in x 1.081 * [taylor]: Taking taylor expansion of 1.0 in x 1.111 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in (x) around 0 1.112 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x 1.112 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 1.112 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.112 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.112 * [taylor]: Taking taylor expansion of -1 in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of 1.0 in x 1.112 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x 1.112 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 1.112 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.112 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.112 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.112 * [taylor]: Taking taylor expansion of -1 in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.113 * [taylor]: Taking taylor expansion of 1.0 in x 1.145 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1.145 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in (x) around 0 1.145 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x 1.145 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 1.145 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.145 * [taylor]: Taking taylor expansion of (exp x) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of 1.0 in x 1.152 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x 1.152 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 1.152 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.152 * [taylor]: Taking taylor expansion of (exp x) in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of 1.0 in x 1.193 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in (x) around 0 1.193 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x 1.193 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 1.193 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.194 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of 1.0 in x 1.195 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x 1.195 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 1.195 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.195 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.195 * [taylor]: Taking taylor expansion of 1.0 in x 1.222 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in (x) around 0 1.222 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x 1.222 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 1.222 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.222 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.222 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.222 * [taylor]: Taking taylor expansion of -1 in x 1.222 * [taylor]: Taking taylor expansion of x in x 1.223 * [taylor]: Taking taylor expansion of 1.0 in x 1.224 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x 1.224 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 1.224 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.224 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.224 * [taylor]: Taking taylor expansion of -1 in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of 1.0 in x 1.247 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.247 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in (x) around 0 1.247 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x 1.247 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 1.247 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.247 * [taylor]: Taking taylor expansion of (exp x) in x 1.247 * [taylor]: Taking taylor expansion of x in x 1.247 * [taylor]: Taking taylor expansion of 1.0 in x 1.253 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x 1.253 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x 1.253 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x 1.253 * [taylor]: Taking taylor expansion of (exp x) in x 1.254 * [taylor]: Taking taylor expansion of x in x 1.254 * [taylor]: Taking taylor expansion of 1.0 in x 1.298 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in (x) around 0 1.298 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x 1.298 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 1.298 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.298 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of 1.0 in x 1.299 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x 1.299 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x 1.299 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x 1.299 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of 1.0 in x 1.322 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in (x) around 0 1.322 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x 1.322 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 1.322 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.322 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.322 * [taylor]: Taking taylor expansion of -1 in x 1.322 * [taylor]: Taking taylor expansion of x in x 1.323 * [taylor]: Taking taylor expansion of 1.0 in x 1.324 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x 1.324 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x 1.324 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x 1.324 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.324 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.324 * [taylor]: Taking taylor expansion of -1 in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of 1.0 in x 1.348 * * * [progress]: simplifying candidates 1.350 * [simplify]: Simplifying using # : (expm1 (pow (log (+ (exp x) 1.0)) 3)) (log1p (pow (log (+ (exp x) 1.0)) 3)) (* (log (log (+ (exp x) 1.0))) 3) (* (log (log (+ (exp x) 1.0))) 3) (* 1 3) (pow (log (+ (exp x) 1.0)) (* (cbrt 3) (cbrt 3))) (pow (log (+ (exp x) 1.0)) (sqrt 3)) (pow (log (+ (exp x) 1.0)) 1) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3) (pow (cbrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (log (pow (log (+ (exp x) 1.0)) 3)) (exp (pow (log (+ (exp x) 1.0)) 3)) (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (* (* (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 3)) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3) (pow (cbrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) (/ 3 2)) (pow (log (+ (exp x) 1.0)) (/ 3 2)) (expm1 (pow (log (+ (exp x) 1.0)) 3)) (log1p (pow (log (+ (exp x) 1.0)) 3)) (* (log (log (+ (exp x) 1.0))) 3) (* (log (log (+ (exp x) 1.0))) 3) (* 1 3) (pow (log (+ (exp x) 1.0)) (* (cbrt 3) (cbrt 3))) (pow (log (+ (exp x) 1.0)) (sqrt 3)) (pow (log (+ (exp x) 1.0)) 1) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3) (pow (cbrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (log (pow (log (+ (exp x) 1.0)) 3)) (exp (pow (log (+ (exp x) 1.0)) 3)) (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (pow (log (+ (exp x) 1.0)) 3)) (* (* (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 3)) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3) (pow (cbrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow (sqrt (log (+ (exp x) 1.0))) 3) (pow 1 3) (pow (log (+ (exp x) 1.0)) 3) (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) (/ 3 2)) (pow (log (+ (exp x) 1.0)) (/ 3 2)) (expm1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log1p (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (exp (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (* (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (sqrt (cbrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt 1)) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) (/ 3 2)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) (/ 3 2)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt 1) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (* (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (* (* (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (expm1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log1p (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (exp (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (* (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (cbrt (pow (log (+ (exp x) 1.0)) 3)) (cbrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (sqrt (cbrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ (exp x) 1.0))) (cbrt (log (+ (exp x) 1.0)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow (sqrt (log (+ (exp x) 1.0))) 3))) (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt 1)) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) (/ 3 2)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) (/ 3 2)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt 1) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (* (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (* (* (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3) (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3) (- (+ (* 0.25 (* (sqrt (/ 1 (log 2.0))) x)) (+ (sqrt (log 2.0)) (* 0.125 (* (sqrt (/ 1 (log 2.0))) (pow x 2))))) (+ (* 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2)))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2))))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (- (+ (* 0.25 (* (sqrt (/ 1 (log 2.0))) x)) (+ (sqrt (log 2.0)) (* 0.125 (* (sqrt (/ 1 (log 2.0))) (pow x 2))))) (+ (* 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2)))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2))))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) 1.355 * * [simplify]: iteration 0 : 233 enodes (cost 1030 ) 1.360 * * [simplify]: iteration 1 : 880 enodes (cost 938 ) 1.382 * * [simplify]: iteration 2 : 5001 enodes (cost 908 ) 1.387 * [simplify]: Simplified to: (expm1 (pow (log (+ (exp x) 1.0)) 3)) (log1p (pow (log (+ (exp x) 1.0)) 3)) (log (pow (log (+ (exp x) 1.0)) 3)) (log (pow (log (+ (exp x) 1.0)) 3)) 3 (pow (log (+ (exp x) 1.0)) (* (cbrt 3) (cbrt 3))) (pow (log (+ (exp x) 1.0)) (sqrt 3)) (log (+ (exp x) 1.0)) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (pow (log (+ (exp x) 1.0)) 3)) (exp (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (pow (log (+ (exp x) 1.0)) 3) 3) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) (expm1 (pow (log (+ (exp x) 1.0)) 3)) (log1p (pow (log (+ (exp x) 1.0)) 3)) (log (pow (log (+ (exp x) 1.0)) 3)) (log (pow (log (+ (exp x) 1.0)) 3)) 3 (pow (log (+ (exp x) 1.0)) (* (cbrt 3) (cbrt 3))) (pow (log (+ (exp x) 1.0)) (sqrt 3)) (log (+ (exp x) 1.0)) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (pow (log (+ (exp x) 1.0)) 3)) (exp (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (pow (log (+ (exp x) 1.0)) 3) 3) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (log (+ (exp x) 1.0)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) 1 (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 2) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (pow (log (+ (exp x) 1.0)) 3/2) (pow (log (+ (exp x) 1.0)) 3/2) (expm1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log1p (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (exp (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (* (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (* (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (expm1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log1p (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (log (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (exp (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (* (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (log (+ (exp x) 1.0)))) (cbrt (sqrt (* (log (+ (exp x) 1.0)) (log (+ (exp x) 1.0))))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3/2))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (sqrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) 1 (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))) (* (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3))))) (cbrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (pow (log (+ (exp x) 1.0)) 3)) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (sqrt (cbrt (sqrt (pow (log (+ (exp x) 1.0)) 3)))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (pow (log (+ (exp x) 1.0)) 3) (pow (log (+ (exp x) 1.0)) 3) (+ (* (sqrt (/ 1 (log 2.0))) (+ (* x 0.25) (* (pow x 2) 0.125))) (- (sqrt (log 2.0)) (fma 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2)))))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) (+ (* (sqrt (/ 1 (log 2.0))) (+ (* x 0.25) (* (pow x 2) 0.125))) (- (sqrt (log 2.0)) (fma 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2)))))) (sqrt (log (+ (exp x) 1.0))) (sqrt (log (+ (exp x) 1.0))) 1.387 * * * [progress]: adding candidates to table 1.672 * * [progress]: iteration 4 / 4 1.672 * * * [progress]: picking best candidate 1.676 * * * * [pick]: Picked # 1.676 * * * [progress]: localizing error 1.704 * * * [progress]: generating rewritten candidates 1.704 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.742 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.759 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 3) 1.764 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2 1 1) 1.768 * * * [progress]: generating series expansions 1.768 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.772 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 1/3) in (x) around 0 1.772 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 1/3) in x 1.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) in x 1.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) in x 1.772 * [taylor]: Taking taylor expansion of 1/3 in x 1.772 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) in x 1.772 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x 1.773 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) in x 1.773 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x 1.773 * [taylor]: Taking taylor expansion of 0.75 in x 1.773 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 1.773 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.773 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.773 * [taylor]: Taking taylor expansion of 2.0 in x 1.773 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.773 * [taylor]: Taking taylor expansion of x in x 1.773 * [taylor]: Taking taylor expansion of (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2)))) in x 1.773 * [taylor]: Taking taylor expansion of (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) in x 1.773 * [taylor]: Rewrote expression to (+ (* (* 1.5 (pow (log 2.0) 2)) x) (pow (log 2.0) 3)) 1.773 * [taylor]: Taking taylor expansion of (* (* 1.5 (pow (log 2.0) 2)) x) in x 1.773 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in x 1.773 * [taylor]: Taking taylor expansion of 1.5 in x 1.773 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.773 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.773 * [taylor]: Taking taylor expansion of 2.0 in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.774 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 1.774 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.774 * [taylor]: Taking taylor expansion of 2.0 in x 1.774 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x 1.774 * [taylor]: Taking taylor expansion of 0.75 in x 1.774 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x 1.774 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.774 * [taylor]: Taking taylor expansion of 2.0 in x 1.774 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.774 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x 1.774 * [taylor]: Taking taylor expansion of 3/2 in x 1.775 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x 1.775 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 1.775 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.775 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.775 * [taylor]: Taking taylor expansion of 2.0 in x 1.775 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.775 * [taylor]: Taking taylor expansion of x in x 1.775 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 1.775 * [taylor]: Taking taylor expansion of 2.0 in x 1.791 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 1/3) in x 1.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) in x 1.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) in x 1.791 * [taylor]: Taking taylor expansion of 1/3 in x 1.791 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) in x 1.791 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x 1.791 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2))))) in x 1.791 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x 1.791 * [taylor]: Taking taylor expansion of 0.75 in x 1.791 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 1.791 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.791 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.792 * [taylor]: Taking taylor expansion of 2.0 in x 1.792 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (* 0.75 (* (log 2.0) (pow x 2)))) in x 1.792 * [taylor]: Taking taylor expansion of (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) in x 1.792 * [taylor]: Rewrote expression to (+ (* (* 1.5 (pow (log 2.0) 2)) x) (pow (log 2.0) 3)) 1.792 * [taylor]: Taking taylor expansion of (* (* 1.5 (pow (log 2.0) 2)) x) in x 1.792 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in x 1.792 * [taylor]: Taking taylor expansion of 1.5 in x 1.792 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.792 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.792 * [taylor]: Taking taylor expansion of 2.0 in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 1.792 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.792 * [taylor]: Taking taylor expansion of 2.0 in x 1.793 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x 1.793 * [taylor]: Taking taylor expansion of 0.75 in x 1.793 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x 1.793 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.793 * [taylor]: Taking taylor expansion of 2.0 in x 1.793 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.793 * [taylor]: Taking taylor expansion of x in x 1.793 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x 1.793 * [taylor]: Taking taylor expansion of 3/2 in x 1.793 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x 1.793 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 1.793 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.793 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.793 * [taylor]: Taking taylor expansion of 2.0 in x 1.794 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.794 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 1.794 * [taylor]: Taking taylor expansion of 2.0 in x 1.914 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in (x) around 0 1.914 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in x 1.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x 1.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x 1.915 * [taylor]: Taking taylor expansion of 1/3 in x 1.915 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x 1.915 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 1.915 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) in x 1.915 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 1.915 * [taylor]: Taking taylor expansion of 0.75 in x 1.915 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 1.915 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.915 * [taylor]: Taking taylor expansion of 2.0 in x 1.915 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.916 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3))) in x 1.916 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 1.916 * [taylor]: Taking taylor expansion of 0.75 in x 1.916 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 1.916 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.916 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.916 * [taylor]: Taking taylor expansion of 2.0 in x 1.916 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.916 * [taylor]: Taking taylor expansion of x in x 1.918 * [taylor]: Taking taylor expansion of (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)) in x 1.918 * [taylor]: Rewrote expression to (+ (* (* 1.5 (pow (log 2.0) 2)) (/ 1 x)) (pow (log 2.0) 3)) 1.918 * [taylor]: Taking taylor expansion of (* (* 1.5 (pow (log 2.0) 2)) (/ 1 x)) in x 1.919 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in x 1.919 * [taylor]: Taking taylor expansion of 1.5 in x 1.919 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.919 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.919 * [taylor]: Taking taylor expansion of 2.0 in x 1.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.919 * [taylor]: Taking taylor expansion of x in x 1.919 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 1.919 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.919 * [taylor]: Taking taylor expansion of 2.0 in x 1.919 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 1.919 * [taylor]: Taking taylor expansion of 3/2 in x 1.920 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 1.920 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.920 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.920 * [taylor]: Taking taylor expansion of 2.0 in x 1.920 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 1.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.920 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 1.920 * [taylor]: Taking taylor expansion of 2.0 in x 1.954 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in x 1.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x 1.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x 1.954 * [taylor]: Taking taylor expansion of 1/3 in x 1.954 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x 1.954 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 1.954 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)))) in x 1.954 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 1.954 * [taylor]: Taking taylor expansion of 0.75 in x 1.954 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 1.954 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.954 * [taylor]: Taking taylor expansion of 2.0 in x 1.954 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.954 * [taylor]: Taking taylor expansion of x in x 1.955 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3))) in x 1.955 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 1.955 * [taylor]: Taking taylor expansion of 0.75 in x 1.955 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 1.955 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.955 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.955 * [taylor]: Taking taylor expansion of 2.0 in x 1.956 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.956 * [taylor]: Taking taylor expansion of x in x 1.958 * [taylor]: Taking taylor expansion of (fma (* 1.5 (pow (log 2.0) 2)) (/ 1 x) (pow (log 2.0) 3)) in x 1.958 * [taylor]: Rewrote expression to (+ (* (* 1.5 (pow (log 2.0) 2)) (/ 1 x)) (pow (log 2.0) 3)) 1.958 * [taylor]: Taking taylor expansion of (* (* 1.5 (pow (log 2.0) 2)) (/ 1 x)) in x 1.958 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in x 1.958 * [taylor]: Taking taylor expansion of 1.5 in x 1.958 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.958 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.958 * [taylor]: Taking taylor expansion of 2.0 in x 1.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 1.959 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.959 * [taylor]: Taking taylor expansion of 2.0 in x 1.959 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 1.959 * [taylor]: Taking taylor expansion of 3/2 in x 1.959 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 1.959 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 1.959 * [taylor]: Taking taylor expansion of (log 2.0) in x 1.959 * [taylor]: Taking taylor expansion of 2.0 in x 1.960 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 1.960 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.960 * [taylor]: Taking taylor expansion of x in x 1.960 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 1.960 * [taylor]: Taking taylor expansion of 2.0 in x 2.208 * [approximate]: Taking taylor expansion of (pow (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in (x) around 0 2.208 * [taylor]: Taking taylor expansion of (pow (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in x 2.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x 2.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x 2.208 * [taylor]: Taking taylor expansion of 1/3 in x 2.208 * [taylor]: Taking taylor expansion of (log (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x 2.209 * [taylor]: Taking taylor expansion of (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 2.209 * [taylor]: Taking taylor expansion of (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) in x 2.209 * [taylor]: Taking taylor expansion of (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) in x 2.209 * [taylor]: Rewrote expression to (+ (* (* 1.5 (pow (log 2.0) 2)) (/ -1 x)) (pow (log 2.0) 3)) 2.209 * [taylor]: Taking taylor expansion of (* (* 1.5 (pow (log 2.0) 2)) (/ -1 x)) in x 2.209 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in x 2.209 * [taylor]: Taking taylor expansion of 1.5 in x 2.209 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.209 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.209 * [taylor]: Taking taylor expansion of 2.0 in x 2.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.209 * [taylor]: Taking taylor expansion of -1 in x 2.209 * [taylor]: Taking taylor expansion of x in x 2.209 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 2.210 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.210 * [taylor]: Taking taylor expansion of 2.0 in x 2.210 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x 2.210 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 2.210 * [taylor]: Taking taylor expansion of 0.75 in x 2.210 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 2.210 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.210 * [taylor]: Taking taylor expansion of 2.0 in x 2.210 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.210 * [taylor]: Taking taylor expansion of x in x 2.211 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 2.211 * [taylor]: Taking taylor expansion of 0.75 in x 2.211 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 2.211 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.211 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.211 * [taylor]: Taking taylor expansion of 2.0 in x 2.211 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.212 * [taylor]: Taking taylor expansion of x in x 2.214 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 2.214 * [taylor]: Taking taylor expansion of 3/2 in x 2.214 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 2.214 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.214 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.214 * [taylor]: Taking taylor expansion of 2.0 in x 2.214 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.214 * [taylor]: Taking taylor expansion of x in x 2.214 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.214 * [taylor]: Taking taylor expansion of 2.0 in x 2.243 * [taylor]: Taking taylor expansion of (pow (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in x 2.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x 2.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x 2.243 * [taylor]: Taking taylor expansion of 1/3 in x 2.243 * [taylor]: Taking taylor expansion of (log (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x 2.243 * [taylor]: Taking taylor expansion of (- (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 2.243 * [taylor]: Taking taylor expansion of (+ (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) in x 2.243 * [taylor]: Taking taylor expansion of (fma (* 1.5 (pow (log 2.0) 2)) (/ -1 x) (pow (log 2.0) 3)) in x 2.243 * [taylor]: Rewrote expression to (+ (* (* 1.5 (pow (log 2.0) 2)) (/ -1 x)) (pow (log 2.0) 3)) 2.243 * [taylor]: Taking taylor expansion of (* (* 1.5 (pow (log 2.0) 2)) (/ -1 x)) in x 2.244 * [taylor]: Taking taylor expansion of (* 1.5 (pow (log 2.0) 2)) in x 2.244 * [taylor]: Taking taylor expansion of 1.5 in x 2.244 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.244 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.244 * [taylor]: Taking taylor expansion of 2.0 in x 2.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.244 * [taylor]: Taking taylor expansion of -1 in x 2.244 * [taylor]: Taking taylor expansion of x in x 2.244 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x 2.244 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.244 * [taylor]: Taking taylor expansion of 2.0 in x 2.245 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x 2.245 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 2.245 * [taylor]: Taking taylor expansion of 0.75 in x 2.245 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 2.245 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.245 * [taylor]: Taking taylor expansion of 2.0 in x 2.245 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.245 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 2.246 * [taylor]: Taking taylor expansion of 0.75 in x 2.246 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 2.246 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.246 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.246 * [taylor]: Taking taylor expansion of 2.0 in x 2.246 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.248 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 2.248 * [taylor]: Taking taylor expansion of 3/2 in x 2.248 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 2.248 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.248 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.248 * [taylor]: Taking taylor expansion of 2.0 in x 2.249 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.249 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.249 * [taylor]: Taking taylor expansion of x in x 2.249 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.249 * [taylor]: Taking taylor expansion of 2.0 in x 2.503 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 2.506 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in (x) around 0 2.506 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x 2.506 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) in x 2.506 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x 2.506 * [taylor]: Taking taylor expansion of 0.75 in x 2.506 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 2.506 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.506 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.506 * [taylor]: Taking taylor expansion of 2.0 in x 2.507 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.507 * [taylor]: Taking taylor expansion of x in x 2.507 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x 2.507 * [taylor]: Taking taylor expansion of 0.75 in x 2.507 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x 2.507 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.507 * [taylor]: Taking taylor expansion of 2.0 in x 2.507 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.507 * [taylor]: Taking taylor expansion of x in x 2.507 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x 2.507 * [taylor]: Taking taylor expansion of 3/2 in x 2.507 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x 2.507 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 2.507 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.507 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.507 * [taylor]: Taking taylor expansion of 2.0 in x 2.507 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.507 * [taylor]: Taking taylor expansion of x in x 2.507 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.507 * [taylor]: Taking taylor expansion of 2.0 in x 2.511 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x 2.511 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) in x 2.511 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x 2.511 * [taylor]: Taking taylor expansion of 0.75 in x 2.511 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 2.511 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.511 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.511 * [taylor]: Taking taylor expansion of 2.0 in x 2.511 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.511 * [taylor]: Taking taylor expansion of x in x 2.511 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x 2.511 * [taylor]: Taking taylor expansion of 0.75 in x 2.511 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x 2.512 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.512 * [taylor]: Taking taylor expansion of 2.0 in x 2.512 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.512 * [taylor]: Taking taylor expansion of x in x 2.512 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x 2.512 * [taylor]: Taking taylor expansion of 3/2 in x 2.512 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x 2.512 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x 2.512 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.512 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.512 * [taylor]: Taking taylor expansion of 2.0 in x 2.512 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.512 * [taylor]: Taking taylor expansion of x in x 2.512 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.512 * [taylor]: Taking taylor expansion of 2.0 in x 2.716 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in (x) around 0 2.716 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 2.716 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x 2.716 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 2.716 * [taylor]: Taking taylor expansion of 0.75 in x 2.716 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 2.716 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.716 * [taylor]: Taking taylor expansion of 2.0 in x 2.717 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.717 * [taylor]: Taking taylor expansion of x in x 2.718 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 2.718 * [taylor]: Taking taylor expansion of 0.75 in x 2.718 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 2.718 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.718 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.718 * [taylor]: Taking taylor expansion of 2.0 in x 2.718 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.718 * [taylor]: Taking taylor expansion of x in x 2.720 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 2.720 * [taylor]: Taking taylor expansion of 3/2 in x 2.720 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 2.720 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.720 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.720 * [taylor]: Taking taylor expansion of 2.0 in x 2.721 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.721 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.721 * [taylor]: Taking taylor expansion of x in x 2.721 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.721 * [taylor]: Taking taylor expansion of 2.0 in x 2.723 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 2.723 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x 2.723 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 2.723 * [taylor]: Taking taylor expansion of 0.75 in x 2.723 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 2.723 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.723 * [taylor]: Taking taylor expansion of 2.0 in x 2.724 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.724 * [taylor]: Taking taylor expansion of x in x 2.724 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 2.724 * [taylor]: Taking taylor expansion of 0.75 in x 2.725 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 2.725 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.725 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.725 * [taylor]: Taking taylor expansion of 2.0 in x 2.725 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.725 * [taylor]: Taking taylor expansion of x in x 2.727 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 2.727 * [taylor]: Taking taylor expansion of 3/2 in x 2.727 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 2.727 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.727 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.727 * [taylor]: Taking taylor expansion of 2.0 in x 2.727 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.727 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.727 * [taylor]: Taking taylor expansion of x in x 2.727 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.727 * [taylor]: Taking taylor expansion of 2.0 in x 2.927 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in (x) around 0 2.927 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 2.927 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x 2.927 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 2.927 * [taylor]: Taking taylor expansion of 0.75 in x 2.927 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 2.927 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.927 * [taylor]: Taking taylor expansion of 2.0 in x 2.927 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.927 * [taylor]: Taking taylor expansion of x in x 2.928 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 2.928 * [taylor]: Taking taylor expansion of 0.75 in x 2.928 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 2.928 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.928 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.928 * [taylor]: Taking taylor expansion of 2.0 in x 2.929 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.929 * [taylor]: Taking taylor expansion of x in x 2.931 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 2.931 * [taylor]: Taking taylor expansion of 3/2 in x 2.931 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 2.931 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.931 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.931 * [taylor]: Taking taylor expansion of 2.0 in x 2.931 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.931 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.931 * [taylor]: Taking taylor expansion of x in x 2.931 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.931 * [taylor]: Taking taylor expansion of 2.0 in x 2.934 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x 2.934 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x 2.934 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x 2.934 * [taylor]: Taking taylor expansion of 0.75 in x 2.934 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x 2.934 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.934 * [taylor]: Taking taylor expansion of 2.0 in x 2.934 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.934 * [taylor]: Taking taylor expansion of x in x 2.935 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x 2.935 * [taylor]: Taking taylor expansion of 0.75 in x 2.935 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x 2.935 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.935 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.935 * [taylor]: Taking taylor expansion of 2.0 in x 2.936 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.936 * [taylor]: Taking taylor expansion of x in x 2.938 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x 2.938 * [taylor]: Taking taylor expansion of 3/2 in x 2.938 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x 2.938 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x 2.938 * [taylor]: Taking taylor expansion of (log 2.0) in x 2.938 * [taylor]: Taking taylor expansion of 2.0 in x 2.938 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x 2.938 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.938 * [taylor]: Taking taylor expansion of x in x 2.938 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x 2.938 * [taylor]: Taking taylor expansion of 2.0 in x 3.130 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 3) 3.130 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2 1 1) 3.130 * * * [progress]: simplifying candidates 3.132 * [simplify]: Simplifying using # : (expm1 (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (log1p (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (log (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (exp (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (* (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt 1) (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt 1) (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (pow (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) 3) (pow (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 3))) (cbrt (+ (* (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3))) (- (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (cbrt (- (* (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3))) (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (- (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (* (* (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (sqrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (sqrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (fma (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)) (- (* (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) 3/2))) (fma (- (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3/2 (* (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) 3/2)) (expm1 (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (log1p (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (/ (exp (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (exp (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (log (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (exp (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (- (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2)) (- (* (* (* 0.75 (pow x 2)) (- (* (log 2.0) (log 2.0)) (* (pow (log 2.0) 2) (pow (log 2.0) 2)))) (pow 2.0 2)) (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2)) (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3)) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (pow (log 2.0) 2)) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (pow (log 2.0) 2) (* 0.75 (pow x 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (expm1 (pow (log 2.0) 3)) (log1p (pow (log 2.0) 3)) (* (log (log 2.0)) 3) (* (log (log 2.0)) 3) (* 1 3) (pow (log 2.0) (* (cbrt 3) (cbrt 3))) (pow (log 2.0) (sqrt 3)) (pow (log 2.0) 1) (pow 1 3) (pow (log 2.0) 3) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 3) (pow (cbrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow 1 3) (pow (log 2.0) 3) (* (log 2.0) (log 2.0)) (log (pow (log 2.0) 3)) (exp (pow (log 2.0) 3)) (* (cbrt (pow (log 2.0) 3)) (cbrt (pow (log 2.0) 3))) (cbrt (pow (log 2.0) 3)) (* (* (pow (log 2.0) 3) (pow (log 2.0) 3)) (pow (log 2.0) 3)) (pow 1 3) (pow (log 2.0) 3) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 3) (pow (cbrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) (pow 1 3) (pow (log 2.0) 3) (* (log 2.0) (log 2.0)) (sqrt (pow (log 2.0) 3)) (sqrt (pow (log 2.0) 3)) (pow (log 2.0) (/ 3 2)) (pow (log 2.0) (/ 3 2)) (expm1 (pow (log 2.0) 2)) (log1p (pow (log 2.0) 2)) (* (log (log 2.0)) 2) (* (log (log 2.0)) 2) (* 1 2) (pow (log 2.0) (* (cbrt 2) (cbrt 2))) (pow (log 2.0) (sqrt 2)) (pow (log 2.0) 1) (pow 1 2) (pow (log 2.0) 2) (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 2) (pow (cbrt (log 2.0)) 2) (pow (sqrt (log 2.0)) 2) (pow (sqrt (log 2.0)) 2) (pow 1 2) (pow (log 2.0) 2) (log (pow (log 2.0) 2)) (exp (pow (log 2.0) 2)) (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2))) (cbrt (pow (log 2.0) 2)) (* (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (pow (log 2.0) 2)) (sqrt (pow (log 2.0) 2)) (sqrt (pow (log 2.0) 2)) (pow (log 2.0) (/ 2 2)) (pow (log 2.0) (/ 2 2)) (+ (* 0.125 (pow x 2)) (+ (* 0.5 x) (pow (pow (log 2.0) 3) 1/3))) (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2))))) (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (- (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y)) (- (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y)) 3.141 * * [simplify]: iteration 0 : 590 enodes (cost 1455 ) 3.154 * * [simplify]: iteration 1 : 3145 enodes (cost 1367 ) 3.229 * * [simplify]: iteration 2 : 5001 enodes (cost 1360 ) 3.235 * [simplify]: Simplified to: (expm1 (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (log1p (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (log (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (exp (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (* (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) 1 (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) 1 (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (pow (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) 3) (pow (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 3))) (cbrt (+ (* (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3))) (- (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (cbrt (- (* (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3))) (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (- (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (cbrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (pow (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) 3) (sqrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (sqrt (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) (+ (- 3/2) 3/2)) (expm1 (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (log1p (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (exp (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (log (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (exp (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (pow (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 3) (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (fma (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) 2.0) 2.0 (* (- (* (- (+ (pow (log 2.0) 2) (pow (log 2.0) 4)) (pow (log 2.0) 3)) 3/2)) (* (pow (log 2.0) 2) (pow x 2)))) (* (pow 2.0 2) (- (+ (pow (log 2.0) 2) (pow (log 2.0) 4)) (pow (log 2.0) 3))) (fma (* (pow 2.0 2) (* 0.75 (pow x 2))) (- (pow (log 2.0) 2) (pow (log 2.0) 4)) (- (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2)))))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2)) (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3)) (fma (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (fma (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))))) (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (fma (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (fma (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (pow (log 2.0) 2) (* 0.75 (pow x 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (pow (log 2.0) 2) (* 0.75 (pow x 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (expm1 (pow (log 2.0) 3)) (log1p (pow (log 2.0) 3)) (log (pow (log 2.0) 3)) (log (pow (log 2.0) 3)) 3 (pow (log 2.0) (* (cbrt 3) (cbrt 3))) (pow (log 2.0) (sqrt 3)) (log 2.0) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (log 2.0) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (log (pow (log 2.0) 3)) (exp (pow (log 2.0) 3)) (pow (log 2.0) 2) (log 2.0) (pow (pow (log 2.0) 3) 3) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (log 2.0) (pow (sqrt (log 2.0)) 3) (pow (sqrt (log 2.0)) 3) 1 (pow (log 2.0) 3) (pow (log 2.0) 2) (sqrt (pow (log 2.0) 3)) (sqrt (pow (log 2.0) 3)) (pow (log 2.0) 3/2) (pow (log 2.0) 3/2) (expm1 (pow (log 2.0) 2)) (log1p (pow (log 2.0) 2)) (log (pow (log 2.0) 2)) (log (pow (log 2.0) 2)) 2 (pow (log 2.0) (* (cbrt 2) (cbrt 2))) (pow (log 2.0) (sqrt 2)) (log 2.0) 1 (pow (log 2.0) 2) (pow (cbrt (log 2.0)) 4) (pow (cbrt (log 2.0)) 2) (log 2.0) (log 2.0) 1 (pow (log 2.0) 2) (log (pow (log 2.0) 2)) (pow 2.0 (log 2.0)) (pow (cbrt (log 2.0)) 4) (pow (cbrt (log 2.0)) 2) (pow (log 2.0) 6) (fabs (log 2.0)) (fabs (log 2.0)) (log 2.0) (log 2.0) (fma (pow x 2) 0.125 (fma x 0.5 (log 2.0))) (fma (- 0.25) (/ (* (/ (pow (log 2.0) 4) (pow x 2)) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (pow (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))) 2)) (fma (* (/ (pow (log 2.0) 3) (pow x 2)) (/ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x)))))) (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))))) 1/3 (fma (* (/ (pow (log 2.0) 2) x) (/ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x)))))) (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))))) 0.5 (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))))) (fma (- 0.25) (/ (* (/ (pow (log 2.0) 4) (pow x 2)) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (pow (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))) 2)) (fma (* (/ (pow (log 2.0) 3) (pow x 2)) (/ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))))) 1/3 (fma 0.5 (* (/ (pow (log 2.0) 2) x) (/ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))))) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))))) (* (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))) (pow x 2)) (* (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))) (pow x 2)) (* (fma 0.75 (log 2.0) (* 0.375 (pow (log 2.0) 2))) (pow x 2)) (- (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y)) (- (cbrt (+ (fma (* 1.5 (pow (log 2.0) 2)) x (pow (log 2.0) 3)) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y)) 3.236 * * * [progress]: adding candidates to table 3.616 * [progress]: [Phase 3 of 3] Extracting. 3.616 * * [regime]: Finding splitpoints for: (# # #) 3.619 * * * [regime-changes]: Trying 2 branch expressions: (y x) 3.619 * * * * [regimes]: Trying to branch on y from (# # #) 3.642 * * * * [regimes]: Trying to branch on x from (# # #) 3.668 * * * [regime]: Found split indices: #