9.966 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.016 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.017 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.020 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 0.025 * * [simplify]: iteration 3 : 77 enodes (cost 8 ) 0.036 * * [simplify]: iteration 4 : 124 enodes (cost 8 ) 0.059 * * [simplify]: iteration 5 : 164 enodes (cost 8 ) 0.089 * * [simplify]: iteration 6 : 220 enodes (cost 8 ) 0.143 * * [simplify]: iteration 7 : 322 enodes (cost 8 ) 0.220 * * [simplify]: iteration 8 : 374 enodes (cost 8 ) 0.306 * * [simplify]: iteration 9 : 375 enodes (cost 8 ) 0.392 * * [simplify]: iteration done : 375 enodes (cost 8 ) 0.392 * [simplify]: Simplified to: (- 1.0 (* (fma 0.12 x 0.253) x)) 0.395 * * [progress]: iteration 1 / 4 0.395 * * * [progress]: picking best candidate 0.396 * * * * [pick]: Picked # 0.396 * * * [progress]: localizing error 0.402 * * * [progress]: generating rewritten candidates 0.402 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.409 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.412 * * * [progress]: generating series expansions 0.412 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.413 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 0.413 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.413 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.413 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.413 * [taylor]: Taking taylor expansion of 0.12 in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of 0.253 in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 0.413 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.413 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.413 * [taylor]: Taking taylor expansion of 0.12 in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.413 * [taylor]: Taking taylor expansion of 0.253 in x 0.413 * [taylor]: Taking taylor expansion of x in x 0.431 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 0.431 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.431 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.431 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.431 * [taylor]: Taking taylor expansion of 0.12 in x 0.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.431 * [taylor]: Taking taylor expansion of x in x 0.431 * [taylor]: Taking taylor expansion of 0.253 in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.432 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 0.432 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.432 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.432 * [taylor]: Taking taylor expansion of 0.12 in x 0.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.432 * [taylor]: Taking taylor expansion of x in x 0.433 * [taylor]: Taking taylor expansion of 0.253 in x 0.433 * [taylor]: Taking taylor expansion of x in x 0.449 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 0.449 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.449 * [taylor]: Taking taylor expansion of -1 in x 0.449 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.449 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.449 * [taylor]: Taking taylor expansion of 0.253 in x 0.449 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.449 * [taylor]: Taking taylor expansion of 0.12 in x 0.449 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.449 * [taylor]: Taking taylor expansion of x in x 0.449 * [taylor]: Taking taylor expansion of x in x 0.451 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 0.451 * [taylor]: Taking taylor expansion of -1 in x 0.451 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 0.451 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.451 * [taylor]: Taking taylor expansion of 0.253 in x 0.451 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.451 * [taylor]: Taking taylor expansion of 0.12 in x 0.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.451 * [taylor]: Taking taylor expansion of x in x 0.451 * [taylor]: Taking taylor expansion of x in x 0.482 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.482 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 0.482 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.482 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.482 * [taylor]: Taking taylor expansion of 0.12 in x 0.482 * [taylor]: Taking taylor expansion of x in x 0.482 * [taylor]: Taking taylor expansion of 0.253 in x 0.482 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 0.482 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.482 * [taylor]: Taking taylor expansion of 0.12 in x 0.482 * [taylor]: Taking taylor expansion of x in x 0.482 * [taylor]: Taking taylor expansion of 0.253 in x 0.490 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 0.490 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.490 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of 0.12 in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of 0.253 in x 0.490 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 0.490 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.490 * [taylor]: Taking taylor expansion of 0.12 in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.490 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of 0.253 in x 0.501 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 0.501 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.501 * [taylor]: Taking taylor expansion of 0.253 in x 0.501 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.501 * [taylor]: Taking taylor expansion of 0.12 in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.501 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 0.501 * [taylor]: Taking taylor expansion of 0.253 in x 0.501 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.501 * [taylor]: Taking taylor expansion of 0.12 in x 0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.501 * [taylor]: Taking taylor expansion of x in x 0.514 * * * [progress]: simplifying candidates 0.515 * [simplify]: Simplifying using # : (expm1 (* x (+ 0.253 (* x 0.12)))) (log1p (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (expm1 (+ 0.253 (* x 0.12))) (log1p (+ 0.253 (* x 0.12))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 0.517 * * [simplify]: iteration 0 : 64 enodes (cost 405 ) 0.535 * * [simplify]: iteration 1 : 172 enodes (cost 344 ) 0.575 * * [simplify]: iteration 2 : 626 enodes (cost 312 ) 0.998 * * [simplify]: iteration 3 : 2910 enodes (cost 312 ) 2.120 * * [simplify]: iteration done : 5000 enodes (cost 312 ) 2.121 * [simplify]: Simplified to: (expm1 (* (fma 0.12 x 0.253) x)) (log1p (* (fma 0.12 x 0.253) x)) (* (fma 0.12 x 0.253) x) (log (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) (pow (exp x) (fma 0.12 x 0.253)) (pow (* (fma 0.12 x 0.253) x) 3) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x)) (pow (* (fma 0.12 x 0.253) x) 3) (sqrt (* (fma 0.12 x 0.253) x)) (sqrt (* (fma 0.12 x 0.253) x)) (* (sqrt (fma 0.12 x 0.253)) (sqrt x)) (* (sqrt (fma 0.12 x 0.253)) (sqrt x)) (* x 0.253) (* (* x 0.12) x) (* x 0.253) (* (* x 0.12) x) (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (* (sqrt (fma 0.12 x 0.253)) x) x (* (cbrt x) (fma 0.12 x 0.253)) (* (sqrt x) (fma 0.12 x 0.253)) (* (fma 0.12 x 0.253) x) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (expm1 (fma 0.12 x 0.253)) (log1p (fma 0.12 x 0.253)) (exp (fma 0.12 x 0.253)) (log (fma 0.12 x 0.253)) (exp (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)) (pow (fma 0.12 x 0.253) 3) (sqrt (fma 0.12 x 0.253)) (sqrt (fma 0.12 x 0.253)) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (fma 0.253 0.253 (* (* x 0.12) (- (* x 0.12) 0.253))) (* (- 0.253 (* x 0.12)) (fma 0.12 x 0.253)) (- 0.253 (* x 0.12)) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (fma 0.12 x 0.253) (fma 0.12 x 0.253) (fma 0.12 x 0.253) 2.121 * * * [progress]: adding candidates to table 2.219 * * [progress]: iteration 2 / 4 2.219 * * * [progress]: picking best candidate 2.234 * * * * [pick]: Picked # 2.234 * * * [progress]: localizing error 2.241 * * * [progress]: generating rewritten candidates 2.241 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.245 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 2.246 * * * [progress]: generating series expansions 2.246 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.246 * [approximate]: Taking taylor expansion of (* x (fma 1 0.253 (* 0.12 x))) in (x) around 0 2.246 * [taylor]: Taking taylor expansion of (* x (fma 1 0.253 (* 0.12 x))) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [taylor]: Taking taylor expansion of (fma 1 0.253 (* 0.12 x)) in x 2.247 * [taylor]: Rewrote expression to (+ (* 1 0.253) (* 0.12 x)) 2.247 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.247 * [taylor]: Taking taylor expansion of 1 in x 2.247 * [taylor]: Taking taylor expansion of 0.253 in x 2.247 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.247 * [taylor]: Taking taylor expansion of 0.12 in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (* x (fma 1 0.253 (* 0.12 x))) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [taylor]: Taking taylor expansion of (fma 1 0.253 (* 0.12 x)) in x 2.247 * [taylor]: Rewrote expression to (+ (* 1 0.253) (* 0.12 x)) 2.247 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.247 * [taylor]: Taking taylor expansion of 1 in x 2.247 * [taylor]: Taking taylor expansion of 0.253 in x 2.247 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.247 * [taylor]: Taking taylor expansion of 0.12 in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.275 * [approximate]: Taking taylor expansion of (/ (fma 1 0.253 (/ 0.12 x)) x) in (x) around 0 2.275 * [taylor]: Taking taylor expansion of (/ (fma 1 0.253 (/ 0.12 x)) x) in x 2.275 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ 0.12 x)) in x 2.275 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ 0.12 x)) 2.275 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.275 * [taylor]: Taking taylor expansion of 1 in x 2.275 * [taylor]: Taking taylor expansion of 0.253 in x 2.275 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 2.275 * [taylor]: Taking taylor expansion of 0.12 in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of (/ (fma 1 0.253 (/ 0.12 x)) x) in x 2.276 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ 0.12 x)) in x 2.277 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ 0.12 x)) 2.277 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.277 * [taylor]: Taking taylor expansion of 1 in x 2.277 * [taylor]: Taking taylor expansion of 0.253 in x 2.277 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 2.277 * [taylor]: Taking taylor expansion of 0.12 in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.277 * [taylor]: Taking taylor expansion of x in x 2.292 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 1 0.253 (/ -0.12 x)) x)) in (x) around 0 2.293 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1 0.253 (/ -0.12 x)) x)) in x 2.293 * [taylor]: Taking taylor expansion of -1 in x 2.293 * [taylor]: Taking taylor expansion of (/ (fma 1 0.253 (/ -0.12 x)) x) in x 2.293 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ -0.12 x)) in x 2.293 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ -0.12 x)) 2.293 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.293 * [taylor]: Taking taylor expansion of 1 in x 2.293 * [taylor]: Taking taylor expansion of 0.253 in x 2.293 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 2.293 * [taylor]: Taking taylor expansion of -0.12 in x 2.293 * [taylor]: Taking taylor expansion of x in x 2.293 * [taylor]: Taking taylor expansion of x in x 2.294 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1 0.253 (/ -0.12 x)) x)) in x 2.294 * [taylor]: Taking taylor expansion of -1 in x 2.294 * [taylor]: Taking taylor expansion of (/ (fma 1 0.253 (/ -0.12 x)) x) in x 2.294 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ -0.12 x)) in x 2.294 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ -0.12 x)) 2.294 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.294 * [taylor]: Taking taylor expansion of 1 in x 2.294 * [taylor]: Taking taylor expansion of 0.253 in x 2.294 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 2.294 * [taylor]: Taking taylor expansion of -0.12 in x 2.294 * [taylor]: Taking taylor expansion of x in x 2.295 * [taylor]: Taking taylor expansion of x in x 2.317 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 2.317 * [approximate]: Taking taylor expansion of (fma 1 0.253 (* 0.12 x)) in (x) around 0 2.317 * [taylor]: Taking taylor expansion of (fma 1 0.253 (* 0.12 x)) in x 2.317 * [taylor]: Rewrote expression to (+ (* 1 0.253) (* 0.12 x)) 2.317 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.317 * [taylor]: Taking taylor expansion of 1 in x 2.317 * [taylor]: Taking taylor expansion of 0.253 in x 2.317 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.317 * [taylor]: Taking taylor expansion of 0.12 in x 2.317 * [taylor]: Taking taylor expansion of x in x 2.317 * [taylor]: Taking taylor expansion of (fma 1 0.253 (* 0.12 x)) in x 2.318 * [taylor]: Rewrote expression to (+ (* 1 0.253) (* 0.12 x)) 2.318 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.318 * [taylor]: Taking taylor expansion of 1 in x 2.318 * [taylor]: Taking taylor expansion of 0.253 in x 2.318 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.318 * [taylor]: Taking taylor expansion of 0.12 in x 2.318 * [taylor]: Taking taylor expansion of x in x 2.330 * [approximate]: Taking taylor expansion of (fma 1 0.253 (/ 0.12 x)) in (x) around 0 2.330 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ 0.12 x)) in x 2.330 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ 0.12 x)) 2.330 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.330 * [taylor]: Taking taylor expansion of 1 in x 2.330 * [taylor]: Taking taylor expansion of 0.253 in x 2.330 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 2.330 * [taylor]: Taking taylor expansion of 0.12 in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.331 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ 0.12 x)) in x 2.331 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ 0.12 x)) 2.331 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.331 * [taylor]: Taking taylor expansion of 1 in x 2.331 * [taylor]: Taking taylor expansion of 0.253 in x 2.331 * [taylor]: Taking taylor expansion of (/ 0.12 x) in x 2.331 * [taylor]: Taking taylor expansion of 0.12 in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.341 * [approximate]: Taking taylor expansion of (fma 1 0.253 (/ -0.12 x)) in (x) around 0 2.341 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ -0.12 x)) in x 2.342 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ -0.12 x)) 2.342 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.342 * [taylor]: Taking taylor expansion of 1 in x 2.342 * [taylor]: Taking taylor expansion of 0.253 in x 2.342 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 2.342 * [taylor]: Taking taylor expansion of -0.12 in x 2.342 * [taylor]: Taking taylor expansion of x in x 2.342 * [taylor]: Taking taylor expansion of (fma 1 0.253 (/ -0.12 x)) in x 2.342 * [taylor]: Rewrote expression to (+ (* 1 0.253) (/ -0.12 x)) 2.342 * [taylor]: Taking taylor expansion of (* 1 0.253) in x 2.342 * [taylor]: Taking taylor expansion of 1 in x 2.342 * [taylor]: Taking taylor expansion of 0.253 in x 2.342 * [taylor]: Taking taylor expansion of (/ -0.12 x) in x 2.342 * [taylor]: Taking taylor expansion of -0.12 in x 2.342 * [taylor]: Taking taylor expansion of x in x 2.359 * * * [progress]: simplifying candidates 2.359 * [simplify]: Simplifying using # : (expm1 (* x (fma 1 0.253 (* x 0.12)))) (log1p (* x (fma 1 0.253 (* x 0.12)))) (* x (fma 1 0.253 (* x 0.12))) (+ (log x) (log (fma 1 0.253 (* x 0.12)))) (log (* x (fma 1 0.253 (* x 0.12)))) (exp (* x (fma 1 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (fma 1 0.253 (* x 0.12)) (fma 1 0.253 (* x 0.12))) (fma 1 0.253 (* x 0.12)))) (* (cbrt (* x (fma 1 0.253 (* x 0.12)))) (cbrt (* x (fma 1 0.253 (* x 0.12))))) (cbrt (* x (fma 1 0.253 (* x 0.12)))) (* (* (* x (fma 1 0.253 (* x 0.12))) (* x (fma 1 0.253 (* x 0.12)))) (* x (fma 1 0.253 (* x 0.12)))) (sqrt (* x (fma 1 0.253 (* x 0.12)))) (sqrt (* x (fma 1 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (fma 1 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (fma 1 0.253 (* x 0.12)))) (* x (* 1 0.253)) (* x (* x 0.12)) (* (* 1 0.253) x) (* (* x 0.12) x) (* x (* (cbrt (fma 1 0.253 (* x 0.12))) (cbrt (fma 1 0.253 (* x 0.12))))) (* x (sqrt (fma 1 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (fma 1 0.253 (* x 0.12))) (* (sqrt x) (fma 1 0.253 (* x 0.12))) (* x (fma 1 0.253 (* x 0.12))) (expm1 (fma 1 0.253 (* x 0.12))) (log1p (fma 1 0.253 (* x 0.12))) (* 1 0.253) (log (fma 1 0.253 (* x 0.12))) (exp (fma 1 0.253 (* x 0.12))) (* (cbrt (fma 1 0.253 (* x 0.12))) (cbrt (fma 1 0.253 (* x 0.12)))) (cbrt (fma 1 0.253 (* x 0.12))) (* (* (fma 1 0.253 (* x 0.12)) (fma 1 0.253 (* x 0.12))) (fma 1 0.253 (* x 0.12))) (sqrt (fma 1 0.253 (* x 0.12))) (sqrt (fma 1 0.253 (* x 0.12))) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 (pow x 2)) (* 0.253 x)) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) 2.361 * * [simplify]: iteration 0 : 50 enodes (cost 376 ) 2.371 * * [simplify]: iteration 1 : 92 enodes (cost 287 ) 2.393 * * [simplify]: iteration 2 : 301 enodes (cost 249 ) 2.520 * * [simplify]: iteration 3 : 1254 enodes (cost 249 ) 3.925 * * [simplify]: iteration done : 5000 enodes (cost 249 ) 3.926 * [simplify]: Simplified to: (expm1 (* (fma 0.12 x 0.253) x)) (log1p (* (fma 0.12 x 0.253) x)) (* (fma 0.12 x 0.253) x) (log (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) (pow (exp x) (fma 0.12 x 0.253)) (pow (* (fma 0.12 x 0.253) x) 3) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x)) (pow (* (fma 0.12 x 0.253) x) 3) (sqrt (* (fma 0.12 x 0.253) x)) (sqrt (* (fma 0.12 x 0.253) x)) (* (sqrt x) (sqrt (fma 0.12 x 0.253))) (* (sqrt x) (sqrt (fma 0.12 x 0.253))) (* x 0.253) (* (* x 0.12) x) (* x 0.253) (* (* x 0.12) x) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x) (* (sqrt (fma 0.12 x 0.253)) x) x (* (fma 0.12 x 0.253) (cbrt x)) (* (fma 0.12 x 0.253) (sqrt x)) (* (fma 0.12 x 0.253) x) (expm1 (fma 0.12 x 0.253)) (log1p (fma 0.12 x 0.253)) 0.253 (log (fma 0.12 x 0.253)) (exp (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)) (pow (fma x 0.12 0.253) 3) (sqrt (fma 0.12 x 0.253)) (sqrt (fma 0.12 x 0.253)) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x) (fma x 0.12 0.253) (fma x 0.12 0.253) (fma x 0.12 0.253) 3.926 * * * [progress]: adding candidates to table 4.006 * * [progress]: iteration 3 / 4 4.006 * * * [progress]: picking best candidate 4.020 * * * * [pick]: Picked # 4.020 * * * [progress]: localizing error 4.034 * * * [progress]: generating rewritten candidates 4.034 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 4.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 4.035 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 4.037 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.076 * * * [progress]: generating series expansions 4.076 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 4.076 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0 4.076 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 4.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 4.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 4.076 * [taylor]: Taking taylor expansion of 1/3 in x 4.076 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 4.076 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 4.077 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 4.077 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.077 * [taylor]: Taking taylor expansion of 0.12 in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of 0.253 in x 4.079 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 4.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 4.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 4.079 * [taylor]: Taking taylor expansion of 1/3 in x 4.079 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 4.079 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 4.080 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 4.080 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.080 * [taylor]: Taking taylor expansion of 0.12 in x 4.080 * [taylor]: Taking taylor expansion of x in x 4.080 * [taylor]: Taking taylor expansion of 0.253 in x 4.118 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0 4.118 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 4.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 4.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 4.118 * [taylor]: Taking taylor expansion of 1/3 in x 4.118 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 4.118 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 4.118 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 4.118 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.118 * [taylor]: Taking taylor expansion of 0.12 in x 4.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.118 * [taylor]: Taking taylor expansion of x in x 4.119 * [taylor]: Taking taylor expansion of 0.253 in x 4.120 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 4.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 4.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 4.121 * [taylor]: Taking taylor expansion of 1/3 in x 4.121 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 4.121 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 4.121 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 4.121 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.121 * [taylor]: Taking taylor expansion of 0.12 in x 4.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.121 * [taylor]: Taking taylor expansion of x in x 4.121 * [taylor]: Taking taylor expansion of 0.253 in x 4.156 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0 4.156 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 4.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 4.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 4.156 * [taylor]: Taking taylor expansion of 1/3 in x 4.156 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 4.156 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 4.157 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 4.157 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 4.157 * [taylor]: Taking taylor expansion of 0.12 in x 4.157 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.157 * [taylor]: Taking taylor expansion of -1 in x 4.157 * [taylor]: Taking taylor expansion of x in x 4.157 * [taylor]: Taking taylor expansion of 0.253 in x 4.160 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 4.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 4.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 4.160 * [taylor]: Taking taylor expansion of 1/3 in x 4.160 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 4.160 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 4.160 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 4.160 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 4.160 * [taylor]: Taking taylor expansion of 0.12 in x 4.160 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.160 * [taylor]: Taking taylor expansion of -1 in x 4.160 * [taylor]: Taking taylor expansion of x in x 4.160 * [taylor]: Taking taylor expansion of 0.253 in x 4.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 4.199 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0 4.199 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 4.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 4.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 4.200 * [taylor]: Taking taylor expansion of 1/3 in x 4.200 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 4.200 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 4.200 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 4.200 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.200 * [taylor]: Taking taylor expansion of 0.12 in x 4.200 * [taylor]: Taking taylor expansion of x in x 4.200 * [taylor]: Taking taylor expansion of 0.253 in x 4.202 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 4.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 4.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 4.202 * [taylor]: Taking taylor expansion of 1/3 in x 4.202 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 4.202 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 4.202 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 4.202 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.202 * [taylor]: Taking taylor expansion of 0.12 in x 4.202 * [taylor]: Taking taylor expansion of x in x 4.202 * [taylor]: Taking taylor expansion of 0.253 in x 4.245 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0 4.245 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 4.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 4.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 4.245 * [taylor]: Taking taylor expansion of 1/3 in x 4.245 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 4.245 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 4.245 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 4.245 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.245 * [taylor]: Taking taylor expansion of 0.12 in x 4.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.245 * [taylor]: Taking taylor expansion of x in x 4.246 * [taylor]: Taking taylor expansion of 0.253 in x 4.248 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 4.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 4.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 4.248 * [taylor]: Taking taylor expansion of 1/3 in x 4.248 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 4.248 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 4.248 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 4.248 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.248 * [taylor]: Taking taylor expansion of 0.12 in x 4.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.248 * [taylor]: Taking taylor expansion of x in x 4.248 * [taylor]: Taking taylor expansion of 0.253 in x 4.280 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0 4.280 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 4.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 4.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 4.280 * [taylor]: Taking taylor expansion of 1/3 in x 4.280 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 4.280 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 4.280 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 4.280 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 4.280 * [taylor]: Taking taylor expansion of 0.12 in x 4.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.280 * [taylor]: Taking taylor expansion of -1 in x 4.280 * [taylor]: Taking taylor expansion of x in x 4.281 * [taylor]: Taking taylor expansion of 0.253 in x 4.284 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 4.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 4.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 4.284 * [taylor]: Taking taylor expansion of 1/3 in x 4.284 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 4.284 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 4.284 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 4.284 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 4.284 * [taylor]: Taking taylor expansion of 0.12 in x 4.284 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.284 * [taylor]: Taking taylor expansion of -1 in x 4.284 * [taylor]: Taking taylor expansion of x in x 4.284 * [taylor]: Taking taylor expansion of 0.253 in x 4.327 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 4.327 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in (x) around 0 4.327 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 4.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 4.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 4.327 * [taylor]: Taking taylor expansion of 1/3 in x 4.327 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 4.327 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 4.327 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.327 * [taylor]: Taking taylor expansion of 0.12 in x 4.327 * [taylor]: Taking taylor expansion of x in x 4.327 * [taylor]: Taking taylor expansion of 0.253 in x 4.330 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 x) 0.253) 1/3) in x 4.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 x) 0.253)))) in x 4.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 x) 0.253))) in x 4.330 * [taylor]: Taking taylor expansion of 1/3 in x 4.330 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 x) 0.253)) in x 4.330 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 4.330 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.330 * [taylor]: Taking taylor expansion of 0.12 in x 4.330 * [taylor]: Taking taylor expansion of x in x 4.330 * [taylor]: Taking taylor expansion of 0.253 in x 4.368 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 1/3) in (x) around 0 4.368 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 1/3) in x 4.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253)))) in x 4.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253))) in x 4.369 * [taylor]: Taking taylor expansion of 1/3 in x 4.369 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 (/ 1 x)) 0.253)) in x 4.369 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 4.369 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.369 * [taylor]: Taking taylor expansion of 0.12 in x 4.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.369 * [taylor]: Taking taylor expansion of 0.253 in x 4.371 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 1/3) in x 4.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253)))) in x 4.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253))) in x 4.371 * [taylor]: Taking taylor expansion of 1/3 in x 4.371 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 (/ 1 x)) 0.253)) in x 4.371 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 4.371 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.371 * [taylor]: Taking taylor expansion of 0.12 in x 4.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.371 * [taylor]: Taking taylor expansion of x in x 4.372 * [taylor]: Taking taylor expansion of 0.253 in x 4.407 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 4.407 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 4.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 4.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 4.408 * [taylor]: Taking taylor expansion of 1/3 in x 4.408 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 4.408 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 4.408 * [taylor]: Taking taylor expansion of 0.253 in x 4.408 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.408 * [taylor]: Taking taylor expansion of 0.12 in x 4.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.412 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 4.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 4.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 4.412 * [taylor]: Taking taylor expansion of 1/3 in x 4.412 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 4.412 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 4.412 * [taylor]: Taking taylor expansion of 0.253 in x 4.412 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.412 * [taylor]: Taking taylor expansion of 0.12 in x 4.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.412 * [taylor]: Taking taylor expansion of x in x 4.451 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.452 * [approximate]: Taking taylor expansion of (* (pow (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) 1/3) x) in (x) around 0 4.452 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) 1/3) x) in x 4.452 * [taylor]: Taking taylor expansion of (pow (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) 1/3) in x 4.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2))))) in x 4.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)))) in x 4.452 * [taylor]: Taking taylor expansion of 1/3 in x 4.452 * [taylor]: Taking taylor expansion of (log (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2))) in x 4.452 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) in x 4.452 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 4.452 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.452 * [taylor]: Taking taylor expansion of 0.12 in x 4.452 * [taylor]: Taking taylor expansion of x in x 4.452 * [taylor]: Taking taylor expansion of 0.253 in x 4.452 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x 4.452 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 4.452 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 4.452 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.452 * [taylor]: Taking taylor expansion of 0.12 in x 4.452 * [taylor]: Taking taylor expansion of x in x 4.452 * [taylor]: Taking taylor expansion of 0.253 in x 4.455 * [taylor]: Taking taylor expansion of x in x 4.455 * [taylor]: Taking taylor expansion of (* (pow (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) 1/3) x) in x 4.455 * [taylor]: Taking taylor expansion of (pow (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) 1/3) in x 4.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2))))) in x 4.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)))) in x 4.455 * [taylor]: Taking taylor expansion of 1/3 in x 4.456 * [taylor]: Taking taylor expansion of (log (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2))) in x 4.456 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) (pow (fma 0.12 x 0.253) 2)) in x 4.456 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 4.456 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.456 * [taylor]: Taking taylor expansion of 0.12 in x 4.456 * [taylor]: Taking taylor expansion of x in x 4.456 * [taylor]: Taking taylor expansion of 0.253 in x 4.456 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x 4.456 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 4.456 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 4.456 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 4.456 * [taylor]: Taking taylor expansion of 0.12 in x 4.456 * [taylor]: Taking taylor expansion of x in x 4.456 * [taylor]: Taking taylor expansion of 0.253 in x 4.459 * [taylor]: Taking taylor expansion of x in x 4.591 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3)) in (x) around 0 4.591 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3)) in x 4.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.591 * [taylor]: Taking taylor expansion of x in x 4.592 * [taylor]: Taking taylor expansion of (pow (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3) in x 4.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253))))) in x 4.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)))) in x 4.592 * [taylor]: Taking taylor expansion of 1/3 in x 4.592 * [taylor]: Taking taylor expansion of (log (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253))) in x 4.592 * [taylor]: Taking taylor expansion of (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) in x 4.592 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x 4.592 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 4.592 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 4.592 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.592 * [taylor]: Taking taylor expansion of 0.12 in x 4.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.592 * [taylor]: Taking taylor expansion of x in x 4.592 * [taylor]: Taking taylor expansion of 0.253 in x 4.593 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 4.593 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.593 * [taylor]: Taking taylor expansion of 0.12 in x 4.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.593 * [taylor]: Taking taylor expansion of 0.253 in x 4.596 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3)) in x 4.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.596 * [taylor]: Taking taylor expansion of x in x 4.596 * [taylor]: Taking taylor expansion of (pow (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3) in x 4.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253))))) in x 4.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)))) in x 4.596 * [taylor]: Taking taylor expansion of 1/3 in x 4.596 * [taylor]: Taking taylor expansion of (log (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253))) in x 4.596 * [taylor]: Taking taylor expansion of (* (pow (fma 0.12 (/ 1 x) 0.253) 2) (+ (* 0.12 (/ 1 x)) 0.253)) in x 4.596 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x 4.596 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 4.596 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 4.596 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.596 * [taylor]: Taking taylor expansion of 0.12 in x 4.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.596 * [taylor]: Taking taylor expansion of x in x 4.597 * [taylor]: Taking taylor expansion of 0.253 in x 4.597 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 4.597 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.597 * [taylor]: Taking taylor expansion of 0.12 in x 4.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.597 * [taylor]: Taking taylor expansion of x in x 4.597 * [taylor]: Taking taylor expansion of 0.253 in x 4.650 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3))) in (x) around 0 4.650 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3))) in x 4.650 * [taylor]: Taking taylor expansion of -1 in x 4.650 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3)) in x 4.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3) in x 4.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x))))))) in x 4.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))))) in x 4.650 * [taylor]: Taking taylor expansion of 1/3 in x 4.650 * [taylor]: Taking taylor expansion of (log (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x))))) in x 4.650 * [taylor]: Taking taylor expansion of (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) in x 4.650 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x 4.650 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 4.651 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 4.651 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 4.651 * [taylor]: Taking taylor expansion of 0.12 in x 4.651 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.651 * [taylor]: Taking taylor expansion of -1 in x 4.651 * [taylor]: Taking taylor expansion of x in x 4.651 * [taylor]: Taking taylor expansion of 0.253 in x 4.652 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 4.652 * [taylor]: Taking taylor expansion of 0.253 in x 4.652 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.652 * [taylor]: Taking taylor expansion of 0.12 in x 4.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.652 * [taylor]: Taking taylor expansion of x in x 4.656 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3))) in x 4.656 * [taylor]: Taking taylor expansion of -1 in x 4.656 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3)) in x 4.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.656 * [taylor]: Taking taylor expansion of x in x 4.656 * [taylor]: Taking taylor expansion of (pow (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) 1/3) in x 4.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x))))))) in x 4.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))))) in x 4.657 * [taylor]: Taking taylor expansion of 1/3 in x 4.657 * [taylor]: Taking taylor expansion of (log (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x))))) in x 4.657 * [taylor]: Taking taylor expansion of (* (pow (fma 0.12 (/ -1 x) 0.253) 2) (- 0.253 (* 0.12 (/ 1 x)))) in x 4.657 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x 4.657 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 4.657 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 4.657 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 4.657 * [taylor]: Taking taylor expansion of 0.12 in x 4.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.657 * [taylor]: Taking taylor expansion of -1 in x 4.657 * [taylor]: Taking taylor expansion of x in x 4.657 * [taylor]: Taking taylor expansion of 0.253 in x 4.658 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 4.658 * [taylor]: Taking taylor expansion of 0.253 in x 4.658 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 4.658 * [taylor]: Taking taylor expansion of 0.12 in x 4.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.658 * [taylor]: Taking taylor expansion of x in x 4.715 * * * [progress]: simplifying candidates 4.716 * [simplify]: Simplifying using # : (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt 1) (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt 1) (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt (+ 0.253 (* x 0.12)))) (log1p (cbrt (+ 0.253 (* x 0.12)))) (log (cbrt (+ 0.253 (* x 0.12)))) (exp (cbrt (+ 0.253 (* x 0.12)))) (cbrt (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (cbrt (cbrt (+ 0.253 (* x 0.12)))) (cbrt (sqrt (+ 0.253 (* x 0.12)))) (cbrt (sqrt (+ 0.253 (* x 0.12)))) (cbrt 1) (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ (pow 0.253 3) (pow (* x 0.12) 3))) (cbrt (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))) (cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (cbrt (- 0.253 (* x 0.12))) (* (cbrt (cbrt (+ 0.253 (* x 0.12)))) (cbrt (cbrt (+ 0.253 (* x 0.12))))) (cbrt (cbrt (+ 0.253 (* x 0.12)))) (* (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12)))) (sqrt (cbrt (+ 0.253 (* x 0.12)))) (sqrt (cbrt (+ 0.253 (* x 0.12)))) (expm1 (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (log1p (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12)))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12)))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12)))) (+ (+ (+ (log x) (log (cbrt (fma 0.12 x 0.253)))) (log (cbrt (fma 0.12 x 0.253)))) (log (cbrt (+ 0.253 (* x 0.12))))) (+ (+ (log (* x (cbrt (fma 0.12 x 0.253)))) (log (cbrt (fma 0.12 x 0.253)))) (log (cbrt (+ 0.253 (* x 0.12))))) (+ (log (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))) (log (cbrt (+ 0.253 (* x 0.12))))) (log (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (exp (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (* (* (* (* (* x x) x) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)) (+ 0.253 (* x 0.12))) (* (* (* (* (* x (cbrt (fma 0.12 x 0.253))) (* x (cbrt (fma 0.12 x 0.253)))) (* x (cbrt (fma 0.12 x 0.253)))) (fma 0.12 x 0.253)) (+ 0.253 (* x 0.12))) (* (* (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))) (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))) (+ 0.253 (* x 0.12))) (* (cbrt (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (cbrt (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12)))))) (cbrt (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (* (* (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12)))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (sqrt (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (sqrt (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ 0.253 (* x 0.12))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (+ 0.253 (* x 0.12))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt 1)) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (* (cbrt (cbrt (+ 0.253 (* x 0.12)))) (cbrt (cbrt (+ 0.253 (* x 0.12)))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (+ 0.253 (* x 0.12))))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) 1) (* (cbrt (fma 0.12 x 0.253)) (cbrt (+ 0.253 (* x 0.12)))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ (pow 0.253 3) (pow (* x 0.12) 3)))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* x (pow 0.016194277 1/3)) (+ (* 0.4743083003952569 (* (pow x 2) (pow 0.016194277 1/3))) (* 0.3374525457357559 (* (pow x 3) (pow 0.016194277 1/3))))) (* 8.849848494959999e-05 (* (pow x 3) (pow (/ 1 (pow 0.016194277 5)) 1/3)))) (- (+ (* 2.1083333333333334 (exp (* 1/3 (- (log 0.001728) (* 3 (log (/ 1 x))))))) (+ (* 6.667604166666667 (/ (exp (* 1/3 (- (log 0.001728) (* 3 (log (/ 1 x)))))) x)) (* (exp (* 1/3 (- (log 0.001728) (* 3 (log (/ 1 x)))))) x))) (* 1.9909359359999998e-05 (/ (exp (* 1/3 (- (log 0.001728) (* 3 (log (/ 1 x)))))) (* x (pow 0.001728 2))))) (- (+ (* 2.1083333333333334 (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x))))))) (+ (* 6.667604166666667 (/ (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x)))))) x)) (* x (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x))))))))) (* 1.9909359359999998e-05 (/ (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x)))))) (* x (pow -0.001728 2))))) 4.728 * * [simplify]: iteration 0 : 207 enodes (cost 1734 ) 4.767 * * [simplify]: iteration 1 : 540 enodes (cost 1615 ) 4.901 * * [simplify]: iteration 2 : 1962 enodes (cost 1323 ) 5.392 * * [simplify]: iteration done : 5001 enodes (cost 1323 ) 5.393 * [simplify]: Simplified to: (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) 1 (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (pow (cbrt (fma 0.12 x 0.253)) 3) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) 1 (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (pow (cbrt (fma 0.12 x 0.253)) 3) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) 1 (cbrt (fma 0.12 x 0.253)) (cbrt (+ (pow 0.253 3) (pow (* x 0.12) 3))) (cbrt (fma 0.253 0.253 (* (* x 0.12) (- (* x 0.12) 0.253)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (- 0.253 (* x 0.12))) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (pow (cbrt (fma 0.12 x 0.253)) 3) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (log1p (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (* x (pow (cbrt (fma 0.12 x 0.253)) 3)) (* x (pow (cbrt (fma 0.12 x 0.253)) 3)) (* x (pow (cbrt (fma 0.12 x 0.253)) 3)) (log (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (log (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (log (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (log (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (exp (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (* (fma 0.12 x 0.253) (* (* (pow x 3) (fma 0.12 x 0.253)) (fma 0.12 x 0.253))) (* (fma 0.12 x 0.253) (* (pow (* x (cbrt (fma 0.12 x 0.253))) 3) (fma 0.12 x 0.253))) (* (pow (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253)))) 3) (fma 0.12 x 0.253)) (* (cbrt (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (cbrt (* x (pow (cbrt (fma 0.12 x 0.253)) 3)))) (cbrt (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (pow (* x (pow (cbrt (fma 0.12 x 0.253)) 3)) 3) (sqrt (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (sqrt (* x (pow (cbrt (fma 0.12 x 0.253)) 3))) (* (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253)))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))) (* (cbrt (sqrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253))))) (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253)))) (* (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253))))) (* (sqrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253))))) (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253)))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (* (* x (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (cbrt (+ (pow 0.253 3) (pow (* x 0.12) 3)))) (* (* (cbrt (fma 0.12 x 0.253)) (* x (cbrt (fma 0.12 x 0.253)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (fma 0.15810276679841895 (* x (cbrt 0.253)) (- (fma (* (cbrt 0.253) (* x x)) 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (* (* x x) (cbrt (/ 1 (pow 0.253 5))))))) (fma (/ (pow (exp 1/3) (+ (log x) (log 0.12))) (* x x)) 0.24694830246913577 (- (fma 0.7027777777777777 (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) (pow (exp 1/3) (+ (log x) (log 0.12)))) (* (/ 0.010668166666666666 x) (/ (pow (exp 1/3) (+ (log x) (log 0.12))) (* 0.12 (* x 0.12)))))) (fma (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (- (fma (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2)) 0.24694830246913577 (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x)))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))) (fma 0.15810276679841895 (* x (cbrt 0.253)) (- (fma (* (cbrt 0.253) (* x x)) 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (* (* x x) (cbrt (/ 1 (pow 0.253 5))))))) (fma (/ (pow (exp 1/3) (+ (log x) (log 0.12))) (* x x)) 0.24694830246913577 (- (fma 0.7027777777777777 (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) (pow (exp 1/3) (+ (log x) (log 0.12)))) (* (/ 0.010668166666666666 x) (/ (pow (exp 1/3) (+ (log x) (log 0.12))) (* 0.12 (* x 0.12)))))) (fma (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (- (fma (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2)) 0.24694830246913577 (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x)))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))) (fma 0.15810276679841895 (* x (cbrt 0.253)) (- (fma (* (cbrt 0.253) (* x x)) 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (* (* x x) (cbrt (/ 1 (pow 0.253 5))))))) (fma (/ (pow (exp 1/3) (+ (log x) (log 0.12))) (* x x)) 0.24694830246913577 (- (fma 0.7027777777777777 (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) (pow (exp 1/3) (+ (log x) (log 0.12)))) (* (/ 0.010668166666666666 x) (/ (pow (exp 1/3) (+ (log x) (log 0.12))) (* 0.12 (* x 0.12)))))) (fma (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (- (fma (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2)) 0.24694830246913577 (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x)))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))) (fma (cbrt 0.016194277) x (- (* (cbrt 0.016194277) (+ (* 0.3374525457357559 (pow x 3)) (* 0.4743083003952569 (* x x)))) (* (* (pow x 3) (cbrt (/ 1 (pow 0.016194277 5)))) 8.849848494959999e-05))) (- (fma (pow (exp 1/3) (+ (* (log x) 3) (log 0.001728))) 2.1083333333333334 (fma (pow (exp 1/3) (+ (* (log x) 3) (log 0.001728))) x (/ (* 6.667604166666667 (pow (exp 1/3) (+ (* (log x) 3) (log 0.001728)))) x))) (/ (/ (* (pow (exp 1/3) (+ (* (log x) 3) (log 0.001728))) 1.9909359359999998e-05) x) (pow 0.001728 2))) (- (fma 2.1083333333333334 (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x)))))) (fma 6.667604166666667 (/ (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x)))))) x) (* x (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x))))))))) (* 1.9909359359999998e-05 (/ (exp (* 1/3 (- (log -0.001728) (* 3 (log (/ -1 x)))))) (* x (pow -0.001728 2))))) 5.394 * * * [progress]: adding candidates to table 5.686 * * [progress]: iteration 4 / 4 5.686 * * * [progress]: picking best candidate 5.703 * * * * [pick]: Picked # 5.703 * * * [progress]: localizing error 5.720 * * * [progress]: generating rewritten candidates 5.720 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 5.723 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 5.725 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 5.726 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2) 5.727 * * * [progress]: generating series expansions 5.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 5.727 * [approximate]: Taking taylor expansion of (pow (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) 1/3) in (x) around 0 5.727 * [taylor]: Taking taylor expansion of (pow (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) 1/3) in x 5.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))))) in x 5.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))))) in x 5.727 * [taylor]: Taking taylor expansion of 1/3 in x 5.727 * [taylor]: Taking taylor expansion of (log (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))) in x 5.727 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 5.727 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.727 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.728 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.728 * [taylor]: Taking taylor expansion of 0.12 in x 5.728 * [taylor]: Taking taylor expansion of x in x 5.728 * [taylor]: Taking taylor expansion of 0.253 in x 5.728 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 5.728 * [taylor]: Taking taylor expansion of 0.253 in x 5.728 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.728 * [taylor]: Taking taylor expansion of 0.12 in x 5.728 * [taylor]: Taking taylor expansion of x in x 5.731 * [taylor]: Taking taylor expansion of (pow (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) 1/3) in x 5.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))))) in x 5.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))))) in x 5.731 * [taylor]: Taking taylor expansion of 1/3 in x 5.731 * [taylor]: Taking taylor expansion of (log (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x)))) in x 5.731 * [taylor]: Taking taylor expansion of (* (fma 0.12 x 0.253) (- 0.253 (* 0.12 x))) in x 5.731 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.731 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.731 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.731 * [taylor]: Taking taylor expansion of 0.12 in x 5.731 * [taylor]: Taking taylor expansion of x in x 5.731 * [taylor]: Taking taylor expansion of 0.253 in x 5.731 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 5.731 * [taylor]: Taking taylor expansion of 0.253 in x 5.732 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.732 * [taylor]: Taking taylor expansion of 0.12 in x 5.732 * [taylor]: Taking taylor expansion of x in x 5.817 * [approximate]: Taking taylor expansion of (pow (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) 1/3) in (x) around 0 5.817 * [taylor]: Taking taylor expansion of (pow (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) 1/3) in x 5.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x))))))) in x 5.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))))) in x 5.817 * [taylor]: Taking taylor expansion of 1/3 in x 5.817 * [taylor]: Taking taylor expansion of (log (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x))))) in x 5.817 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 5.817 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.817 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.817 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.817 * [taylor]: Taking taylor expansion of 0.12 in x 5.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.817 * [taylor]: Taking taylor expansion of x in x 5.818 * [taylor]: Taking taylor expansion of 0.253 in x 5.818 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 5.818 * [taylor]: Taking taylor expansion of 0.253 in x 5.818 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.818 * [taylor]: Taking taylor expansion of 0.12 in x 5.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.818 * [taylor]: Taking taylor expansion of x in x 5.821 * [taylor]: Taking taylor expansion of (pow (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) 1/3) in x 5.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x))))))) in x 5.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))))) in x 5.822 * [taylor]: Taking taylor expansion of 1/3 in x 5.822 * [taylor]: Taking taylor expansion of (log (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x))))) in x 5.822 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ 1 x) 0.253) (- 0.253 (* 0.12 (/ 1 x)))) in x 5.822 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.822 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.822 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.822 * [taylor]: Taking taylor expansion of 0.12 in x 5.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.822 * [taylor]: Taking taylor expansion of x in x 5.822 * [taylor]: Taking taylor expansion of 0.253 in x 5.822 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 5.822 * [taylor]: Taking taylor expansion of 0.253 in x 5.822 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.822 * [taylor]: Taking taylor expansion of 0.12 in x 5.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.822 * [taylor]: Taking taylor expansion of x in x 5.903 * [approximate]: Taking taylor expansion of (pow (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3) in (x) around 0 5.903 * [taylor]: Taking taylor expansion of (pow (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3) in x 5.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253))))) in x 5.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)))) in x 5.903 * [taylor]: Taking taylor expansion of 1/3 in x 5.903 * [taylor]: Taking taylor expansion of (log (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253))) in x 5.904 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 5.904 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.904 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.904 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.904 * [taylor]: Taking taylor expansion of 0.12 in x 5.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.904 * [taylor]: Taking taylor expansion of -1 in x 5.904 * [taylor]: Taking taylor expansion of x in x 5.904 * [taylor]: Taking taylor expansion of 0.253 in x 5.904 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 5.904 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.904 * [taylor]: Taking taylor expansion of 0.12 in x 5.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.904 * [taylor]: Taking taylor expansion of x in x 5.905 * [taylor]: Taking taylor expansion of 0.253 in x 5.908 * [taylor]: Taking taylor expansion of (pow (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) 1/3) in x 5.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253))))) in x 5.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)))) in x 5.908 * [taylor]: Taking taylor expansion of 1/3 in x 5.908 * [taylor]: Taking taylor expansion of (log (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253))) in x 5.908 * [taylor]: Taking taylor expansion of (* (fma 0.12 (/ -1 x) 0.253) (+ (* 0.12 (/ 1 x)) 0.253)) in x 5.908 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.908 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.908 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.908 * [taylor]: Taking taylor expansion of 0.12 in x 5.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.908 * [taylor]: Taking taylor expansion of -1 in x 5.908 * [taylor]: Taking taylor expansion of x in x 5.908 * [taylor]: Taking taylor expansion of 0.253 in x 5.908 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 5.908 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.908 * [taylor]: Taking taylor expansion of 0.12 in x 5.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.908 * [taylor]: Taking taylor expansion of x in x 5.909 * [taylor]: Taking taylor expansion of 0.253 in x 5.991 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 5.991 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 x)) 1/3) in (x) around 0 5.991 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 x)) 1/3) in x 5.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 x))))) in x 5.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 x)))) in x 5.991 * [taylor]: Taking taylor expansion of 1/3 in x 5.991 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 x))) in x 5.991 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 5.991 * [taylor]: Taking taylor expansion of 0.253 in x 5.991 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.991 * [taylor]: Taking taylor expansion of 0.12 in x 5.991 * [taylor]: Taking taylor expansion of x in x 5.994 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 x)) 1/3) in x 5.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 x))))) in x 5.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 x)))) in x 5.994 * [taylor]: Taking taylor expansion of 1/3 in x 5.994 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 x))) in x 5.994 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 x)) in x 5.994 * [taylor]: Taking taylor expansion of 0.253 in x 5.994 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.994 * [taylor]: Taking taylor expansion of 0.12 in x 5.994 * [taylor]: Taking taylor expansion of x in x 6.043 * [approximate]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in (x) around 0 6.043 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 6.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 6.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 6.043 * [taylor]: Taking taylor expansion of 1/3 in x 6.043 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 6.043 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 6.043 * [taylor]: Taking taylor expansion of 0.253 in x 6.043 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.043 * [taylor]: Taking taylor expansion of 0.12 in x 6.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.043 * [taylor]: Taking taylor expansion of x in x 6.047 * [taylor]: Taking taylor expansion of (pow (- 0.253 (* 0.12 (/ 1 x))) 1/3) in x 6.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x)))))) in x 6.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 0.253 (* 0.12 (/ 1 x))))) in x 6.047 * [taylor]: Taking taylor expansion of 1/3 in x 6.047 * [taylor]: Taking taylor expansion of (log (- 0.253 (* 0.12 (/ 1 x)))) in x 6.047 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 6.047 * [taylor]: Taking taylor expansion of 0.253 in x 6.047 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.047 * [taylor]: Taking taylor expansion of 0.12 in x 6.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.092 * [approximate]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 1/3) in (x) around 0 6.092 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 1/3) in x 6.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253)))) in x 6.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253))) in x 6.092 * [taylor]: Taking taylor expansion of 1/3 in x 6.092 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 (/ 1 x)) 0.253)) in x 6.092 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 6.093 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.093 * [taylor]: Taking taylor expansion of 0.12 in x 6.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.093 * [taylor]: Taking taylor expansion of x in x 6.093 * [taylor]: Taking taylor expansion of 0.253 in x 6.095 * [taylor]: Taking taylor expansion of (pow (+ (* 0.12 (/ 1 x)) 0.253) 1/3) in x 6.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253)))) in x 6.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.12 (/ 1 x)) 0.253))) in x 6.095 * [taylor]: Taking taylor expansion of 1/3 in x 6.095 * [taylor]: Taking taylor expansion of (log (+ (* 0.12 (/ 1 x)) 0.253)) in x 6.095 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 6.095 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.095 * [taylor]: Taking taylor expansion of 0.12 in x 6.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.095 * [taylor]: Taking taylor expansion of x in x 6.095 * [taylor]: Taking taylor expansion of 0.253 in x 6.127 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 6.127 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0 6.127 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 6.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 6.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 6.127 * [taylor]: Taking taylor expansion of 1/3 in x 6.127 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 6.127 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.127 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.127 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.127 * [taylor]: Taking taylor expansion of 0.12 in x 6.127 * [taylor]: Taking taylor expansion of x in x 6.127 * [taylor]: Taking taylor expansion of 0.253 in x 6.129 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 6.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 6.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 6.130 * [taylor]: Taking taylor expansion of 1/3 in x 6.130 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 6.130 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.130 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.130 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.130 * [taylor]: Taking taylor expansion of 0.12 in x 6.130 * [taylor]: Taking taylor expansion of x in x 6.130 * [taylor]: Taking taylor expansion of 0.253 in x 6.168 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0 6.168 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 6.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 6.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 6.168 * [taylor]: Taking taylor expansion of 1/3 in x 6.168 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 6.168 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.168 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.168 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.168 * [taylor]: Taking taylor expansion of 0.12 in x 6.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.168 * [taylor]: Taking taylor expansion of x in x 6.169 * [taylor]: Taking taylor expansion of 0.253 in x 6.177 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 6.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 6.177 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 6.177 * [taylor]: Taking taylor expansion of 1/3 in x 6.177 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 6.177 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.177 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.177 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.177 * [taylor]: Taking taylor expansion of 0.12 in x 6.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.177 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of 0.253 in x 6.209 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0 6.209 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 6.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 6.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 6.209 * [taylor]: Taking taylor expansion of 1/3 in x 6.209 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 6.209 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.209 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.209 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.209 * [taylor]: Taking taylor expansion of 0.12 in x 6.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.209 * [taylor]: Taking taylor expansion of -1 in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.210 * [taylor]: Taking taylor expansion of 0.253 in x 6.213 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 6.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 6.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 6.213 * [taylor]: Taking taylor expansion of 1/3 in x 6.213 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 6.213 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.213 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.213 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.213 * [taylor]: Taking taylor expansion of 0.12 in x 6.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.213 * [taylor]: Taking taylor expansion of x in x 6.213 * [taylor]: Taking taylor expansion of 0.253 in x 6.252 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2) 6.252 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0 6.252 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 6.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 6.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 6.252 * [taylor]: Taking taylor expansion of 1/3 in x 6.252 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 6.252 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.252 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.252 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.252 * [taylor]: Taking taylor expansion of 0.12 in x 6.252 * [taylor]: Taking taylor expansion of x in x 6.252 * [taylor]: Taking taylor expansion of 0.253 in x 6.254 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 6.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 6.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 6.254 * [taylor]: Taking taylor expansion of 1/3 in x 6.254 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 6.254 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.254 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.254 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.255 * [taylor]: Taking taylor expansion of 0.12 in x 6.255 * [taylor]: Taking taylor expansion of x in x 6.255 * [taylor]: Taking taylor expansion of 0.253 in x 6.298 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0 6.298 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 6.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 6.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 6.298 * [taylor]: Taking taylor expansion of 1/3 in x 6.298 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 6.298 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.298 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.298 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.298 * [taylor]: Taking taylor expansion of 0.12 in x 6.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.298 * [taylor]: Taking taylor expansion of x in x 6.298 * [taylor]: Taking taylor expansion of 0.253 in x 6.300 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 6.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 6.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 6.300 * [taylor]: Taking taylor expansion of 1/3 in x 6.300 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 6.300 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.300 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.300 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.301 * [taylor]: Taking taylor expansion of 0.12 in x 6.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.301 * [taylor]: Taking taylor expansion of x in x 6.301 * [taylor]: Taking taylor expansion of 0.253 in x 6.333 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0 6.333 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 6.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 6.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 6.333 * [taylor]: Taking taylor expansion of 1/3 in x 6.333 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 6.333 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.333 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.333 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.333 * [taylor]: Taking taylor expansion of 0.12 in x 6.333 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.333 * [taylor]: Taking taylor expansion of -1 in x 6.334 * [taylor]: Taking taylor expansion of x in x 6.334 * [taylor]: Taking taylor expansion of 0.253 in x 6.337 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 6.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 6.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 6.337 * [taylor]: Taking taylor expansion of 1/3 in x 6.337 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 6.337 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.337 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.337 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.337 * [taylor]: Taking taylor expansion of 0.12 in x 6.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.337 * [taylor]: Taking taylor expansion of -1 in x 6.337 * [taylor]: Taking taylor expansion of x in x 6.337 * [taylor]: Taking taylor expansion of 0.253 in x 6.381 * * * [progress]: simplifying candidates 6.382 * [simplify]: Simplifying using # : (expm1 (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (log1p (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (log (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (exp (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (fma 0.12 x 0.253)) (cbrt (- 0.253 (* x 0.12))) (cbrt (* (fma 0.12 x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3)))) (cbrt (+ (* 0.253 0.253) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))) (cbrt (* (fma 0.12 x 0.253) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))) (cbrt (+ 0.253 (* x 0.12))) (* (cbrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))))) (cbrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (* (* (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (sqrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (sqrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (expm1 (cbrt (- 0.253 (* x 0.12)))) (log1p (cbrt (- 0.253 (* x 0.12)))) (log (cbrt (- 0.253 (* x 0.12)))) (exp (cbrt (- 0.253 (* x 0.12)))) (cbrt (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (cbrt (cbrt (- 0.253 (* x 0.12)))) (cbrt (sqrt (- 0.253 (* x 0.12)))) (cbrt (sqrt (- 0.253 (* x 0.12)))) (cbrt 1) (cbrt (- 0.253 (* x 0.12))) (cbrt (- (pow 0.253 3) (pow (* x 0.12) 3))) (cbrt (+ (* 0.253 0.253) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))) (cbrt (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (cbrt (cbrt (- 0.253 (* x 0.12)))) (cbrt (cbrt (- 0.253 (* x 0.12))))) (cbrt (cbrt (- 0.253 (* x 0.12)))) (* (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12)))) (cbrt (- 0.253 (* x 0.12)))) (sqrt (cbrt (- 0.253 (* x 0.12)))) (sqrt (cbrt (- 0.253 (* x 0.12)))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt 1) (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt 1) (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (- (+ (pow 0.064009 1/3) (* 0.0028117091511985787 (* (pow x 4) (pow 0.064009 1/3)))) (+ (* 0.07498945460794576 (* (pow x 2) (pow 0.064009 1/3))) (* 3.4559999999999994e-05 (* (pow x 4) (pow (/ 1 (pow 0.064009 5)) 1/3))))) (- (+ (* 1.0977023536629797 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ 1 x)))))) (pow x 4))) (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ 1 x))))))) (+ (* 1.4816898148148145 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ 1 x)))))) (pow x 2))) (* 0.0006828586801666666 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ 1 x)))))) (* (pow x 4) (pow -0.0144 2)))))) (- (+ (* 1.0977023536629797 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x)))))) (pow x 4))) (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x))))))) (+ (* 0.0006828586801666666 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x)))))) (* (pow x 4) (pow -0.0144 2)))) (* 1.4816898148148145 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x)))))) (pow x 2))))) (- (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2)))) (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 x))))) (pow x 2))) (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 x)))))) (+ (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 x))))) (* (pow -0.12 2) (pow x 2)))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ 1 x))))) x)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ -1 x))))) (pow x 2))) (exp (* 1/3 (- (log 0.12) (log (/ -1 x)))))) (+ (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ -1 x))))) (* (pow 0.12 2) (pow x 2)))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ -1 x))))) x)))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) 6.388 * * [simplify]: iteration 0 : 203 enodes (cost 1280 ) 6.427 * * [simplify]: iteration 1 : 490 enodes (cost 1211 ) 6.526 * * [simplify]: iteration 2 : 1594 enodes (cost 1135 ) 6.847 * * [simplify]: iteration done : 5000 enodes (cost 1135 ) 6.848 * [simplify]: Simplified to: (expm1 (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (log1p (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (log (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (exp (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (fma 0.12 x 0.253)) (cbrt (- 0.253 (* x 0.12))) (cbrt (* (fma 0.12 x 0.253) (- (pow 0.253 3) (pow (* x 0.12) 3)))) (cbrt (fma 0.253 0.253 (* (* x 0.12) (fma 0.12 x 0.253)))) (cbrt (* (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))) (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (cbrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))))) (cbrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (pow (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) 3) (sqrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (sqrt (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12))))) (expm1 (cbrt (- 0.253 (* x 0.12)))) (log1p (cbrt (- 0.253 (* x 0.12)))) (log (cbrt (- 0.253 (* x 0.12)))) (exp (cbrt (- 0.253 (* x 0.12)))) (cbrt (* (cbrt (- 0.253 (* x 0.12))) (cbrt (- 0.253 (* x 0.12))))) (cbrt (cbrt (- 0.253 (* x 0.12)))) (cbrt (sqrt (- 0.253 (* x 0.12)))) (cbrt (sqrt (- 0.253 (* x 0.12)))) 1 (cbrt (- 0.253 (* x 0.12))) (cbrt (- (pow 0.253 3) (pow (* x 0.12) 3))) (cbrt (fma 0.253 0.253 (* (* x 0.12) (fma 0.12 x 0.253)))) (cbrt (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))) (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (- 0.253 (* x 0.12)))) (cbrt (cbrt (- 0.253 (* x 0.12))))) (cbrt (cbrt (- 0.253 (* x 0.12)))) (pow (cbrt (- 0.253 (* x 0.12))) 3) (sqrt (cbrt (- 0.253 (* x 0.12)))) (sqrt (cbrt (- 0.253 (* x 0.12)))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) 1 (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (pow (cbrt (fma 0.12 x 0.253)) 3) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt (fma 0.12 x 0.253))) (log1p (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253))) (exp (cbrt (fma 0.12 x 0.253))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) (cbrt (sqrt (fma 0.12 x 0.253))) 1 (cbrt (fma 0.12 x 0.253)) (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253)))) (cbrt (cbrt (fma 0.12 x 0.253))) (pow (cbrt (fma 0.12 x 0.253)) 3) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (- (fma (* (pow x 4) (cbrt 0.064009)) 0.0028117091511985787 (cbrt 0.064009)) (fma 0.07498945460794576 (* (pow x 2) (cbrt 0.064009)) (* (* 3.4559999999999994e-05 (pow x 4)) (cbrt (/ 1 (pow 0.064009 5)))))) (- (fma 1.0977023536629797 (/ (pow (exp 1/3) (+ (log -0.0144) (* 2 (log x)))) (pow x 4)) (pow (exp 1/3) (+ (log -0.0144) (* 2 (log x))))) (fma (/ (pow (exp 1/3) (+ (log -0.0144) (* 2 (log x)))) (pow x 2)) 1.4816898148148145 (* (/ 0.0006828586801666666 (pow x 4)) (/ (pow (exp 1/3) (+ (log -0.0144) (* 2 (log x)))) (pow -0.0144 2))))) (- (fma 1.0977023536629797 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x)))))) (pow x 4)) (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x))))))) (fma 0.0006828586801666666 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x)))))) (* (pow x 4) (pow -0.0144 2))) (* 1.4816898148148145 (/ (exp (* 1/3 (- (log -0.0144) (* 2 (log (/ -1 x)))))) (pow x 2))))) (- (fma (* (pow x 2) (cbrt 0.253)) 0.012498242434657622 (cbrt 0.253)) (fma 0.15810276679841895 (* (cbrt 0.253) x) (* 0.0024 (* (cbrt (/ 1 (pow 0.253 5))) (pow x 2))))) (- (fma (/ (/ (pow (exp 1/3) (+ (log (- 0.12)) (log x))) x) x) 0.24694830246913577 (pow (exp 1/3) (+ (log (- 0.12)) (log x)))) (fma 0.7027777777777777 (/ (pow (exp 1/3) (+ (log (- 0.12)) (log x))) x) (/ 0.010668166666666666 (/ (* (pow x 2) (pow -0.12 2)) (pow (exp 1/3) (+ (log (- 0.12)) (log x))))))) (- (fma 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ -1 x))))) (pow x 2)) (exp (* 1/3 (- (log 0.12) (log (/ -1 x)))))) (fma 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ -1 x))))) (* (pow 0.12 2) (pow x 2))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ -1 x))))) x)))) (fma (* 0.15810276679841895 (cbrt 0.253)) x (- (fma (* (pow x 2) (cbrt 0.253)) 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (* (cbrt (/ 1 (pow 0.253 5))) (pow x 2))))) (- (fma 0.24694830246913577 (/ (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) x) (fma 0.7027777777777777 (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) (pow (exp 1/3) (+ (log x) (log 0.12))))) (/ (* (pow (exp 1/3) (+ (log x) (log 0.12))) 0.010668166666666666) (* (* x 0.12) (* x 0.12)))) (- (fma 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x) (fma 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2)) (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) (fma (* 0.15810276679841895 (cbrt 0.253)) x (- (fma (* (pow x 2) (cbrt 0.253)) 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (* (cbrt (/ 1 (pow 0.253 5))) (pow x 2))))) (- (fma 0.24694830246913577 (/ (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) x) (fma 0.7027777777777777 (/ (pow (exp 1/3) (+ (log x) (log 0.12))) x) (pow (exp 1/3) (+ (log x) (log 0.12))))) (/ (* (pow (exp 1/3) (+ (log x) (log 0.12))) 0.010668166666666666) (* (* x 0.12) (* x 0.12)))) (- (fma 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x) (fma 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2)) (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2))))) 6.848 * * * [progress]: adding candidates to table 7.151 * [progress]: [Phase 3 of 3] Extracting. 7.152 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 7.154 * * * [regime-changes]: Trying 1 branch expressions: (x) 7.154 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 7.189 * * * [regime]: Found split indices: #