8.132 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.015 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.016 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.019 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 0.025 * * [simplify]: iteration 3 : 77 enodes (cost 8 ) 0.038 * * [simplify]: iteration 4 : 124 enodes (cost 8 ) 0.063 * * [simplify]: iteration 5 : 164 enodes (cost 8 ) 0.097 * * [simplify]: iteration 6 : 220 enodes (cost 8 ) 0.196 * * [simplify]: iteration 7 : 324 enodes (cost 8 ) 0.301 * * [simplify]: iteration 8 : 370 enodes (cost 8 ) 0.369 * * [simplify]: iteration 9 : 371 enodes (cost 8 ) 0.428 * * [simplify]: iteration done : 371 enodes (cost 8 ) 0.428 * [simplify]: Simplified to: (- 1.0 (* (fma 0.12 x 0.253) x)) 0.431 * * [progress]: iteration 1 / 4 0.431 * * * [progress]: picking best candidate 0.432 * * * * [pick]: Picked # 0.432 * * * [progress]: localizing error 0.437 * * * [progress]: generating rewritten candidates 0.437 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.441 * * * [progress]: generating series expansions 0.441 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.441 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0 0.441 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.441 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.441 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.441 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.441 * [taylor]: Taking taylor expansion of 0.12 in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.441 * [taylor]: Taking taylor expansion of 0.253 in x 0.441 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.441 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 0.441 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 0.441 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 0.441 * [taylor]: Taking taylor expansion of 0.12 in x 0.441 * [taylor]: Taking taylor expansion of x in x 0.441 * [taylor]: Taking taylor expansion of 0.253 in x 0.459 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0 0.459 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.459 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.459 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.459 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.459 * [taylor]: Taking taylor expansion of 0.12 in x 0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.459 * [taylor]: Taking taylor expansion of 0.253 in x 0.459 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 0.460 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 0.460 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 0.460 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 0.460 * [taylor]: Taking taylor expansion of 0.12 in x 0.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.460 * [taylor]: Taking taylor expansion of 0.253 in x 0.460 * [taylor]: Taking taylor expansion of x in x 0.476 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0 0.476 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.476 * [taylor]: Taking taylor expansion of -1 in x 0.476 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.476 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.477 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.477 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.477 * [taylor]: Taking taylor expansion of 0.12 in x 0.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.477 * [taylor]: Taking taylor expansion of -1 in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of 0.253 in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 0.478 * [taylor]: Taking taylor expansion of -1 in x 0.478 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 0.478 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 0.478 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 0.478 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 0.478 * [taylor]: Taking taylor expansion of 0.12 in x 0.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.478 * [taylor]: Taking taylor expansion of -1 in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.483 * [taylor]: Taking taylor expansion of 0.253 in x 0.483 * [taylor]: Taking taylor expansion of x in x 0.506 * * * [progress]: simplifying candidates 0.506 * [simplify]: Simplifying using # : (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)) (log x)) (log (* (fma 0.12 x 0.253) x)) (exp (* (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)) (* (* x x) x)) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (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) x)) (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)) (* (fma 0.12 x 0.253) (* (cbrt x) (cbrt x))) (* (fma 0.12 x 0.253) (sqrt x)) (* (fma 0.12 x 0.253) 1) (* (cbrt (fma 0.12 x 0.253)) x) (* (sqrt (fma 0.12 x 0.253)) x) (* (fma 0.12 x 0.253) x) (+ (* 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.508 * * [simplify]: iteration 0 : 39 enodes (cost 204 ) 0.514 * * [simplify]: iteration 1 : 77 enodes (cost 198 ) 0.531 * * [simplify]: iteration 2 : 255 enodes (cost 168 ) 0.702 * * [simplify]: iteration 3 : 1005 enodes (cost 168 ) 2.169 * * [simplify]: iteration 4 : 3234 enodes (cost 168 ) 4.948 * * [simplify]: iteration done : 5000 enodes (cost 168 ) 4.949 * [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)) (exp (* (fma 0.12 x 0.253) x)) (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)) (* (fma 0.12 x 0.253) (* (cbrt x) (cbrt x))) (* (fma 0.12 x 0.253) (sqrt x)) (fma 0.12 x 0.253) (* (cbrt (fma 0.12 x 0.253)) x) (* (sqrt (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) x) (* (fma 0.12 x 0.253) x) 4.949 * * * [progress]: adding candidates to table 4.988 * * [progress]: iteration 2 / 4 4.988 * * * [progress]: picking best candidate 4.995 * * * * [pick]: Picked # 4.995 * * * [progress]: localizing error 5.004 * * * [progress]: generating rewritten candidates 5.004 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 5.007 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 5.009 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 5.017 * * * [progress]: generating series expansions 5.017 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.017 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 5.018 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 5.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 5.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 5.018 * [taylor]: Taking taylor expansion of 1/3 in x 5.018 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 5.018 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 5.018 * [taylor]: Taking taylor expansion of x in x 5.018 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.018 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.018 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.018 * [taylor]: Taking taylor expansion of 0.12 in x 5.018 * [taylor]: Taking taylor expansion of x in x 5.018 * [taylor]: Taking taylor expansion of 0.253 in x 5.022 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 5.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 5.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 5.022 * [taylor]: Taking taylor expansion of 1/3 in x 5.022 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 5.022 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 5.022 * [taylor]: Taking taylor expansion of x in x 5.022 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.022 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.022 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.023 * [taylor]: Taking taylor expansion of 0.12 in x 5.023 * [taylor]: Taking taylor expansion of x in x 5.023 * [taylor]: Taking taylor expansion of 0.253 in x 5.057 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 5.057 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 5.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 5.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 5.057 * [taylor]: Taking taylor expansion of 1/3 in x 5.057 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 5.057 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 5.057 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.057 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.057 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.057 * [taylor]: Taking taylor expansion of 0.12 in x 5.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.057 * [taylor]: Taking taylor expansion of 0.253 in x 5.057 * [taylor]: Taking taylor expansion of x in x 5.060 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 5.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 5.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 5.060 * [taylor]: Taking taylor expansion of 1/3 in x 5.060 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 5.060 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 5.060 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.060 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.060 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.060 * [taylor]: Taking taylor expansion of 0.12 in x 5.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.060 * [taylor]: Taking taylor expansion of x in x 5.060 * [taylor]: Taking taylor expansion of 0.253 in x 5.060 * [taylor]: Taking taylor expansion of x in x 5.096 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 5.096 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 5.096 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.096 * [taylor]: Taking taylor expansion of -1 in x 5.096 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 5.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 5.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 5.097 * [taylor]: Taking taylor expansion of 1/3 in x 5.097 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 5.097 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 5.097 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.097 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.097 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.097 * [taylor]: Taking taylor expansion of 0.12 in x 5.097 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.097 * [taylor]: Taking taylor expansion of -1 in x 5.097 * [taylor]: Taking taylor expansion of x in x 5.097 * [taylor]: Taking taylor expansion of 0.253 in x 5.097 * [taylor]: Taking taylor expansion of x in x 5.099 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 5.100 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.100 * [taylor]: Taking taylor expansion of -1 in x 5.100 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 5.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 5.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 5.100 * [taylor]: Taking taylor expansion of 1/3 in x 5.100 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 5.100 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 5.100 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.100 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.101 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.101 * [taylor]: Taking taylor expansion of 0.12 in x 5.101 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.101 * [taylor]: Taking taylor expansion of -1 in x 5.101 * [taylor]: Taking taylor expansion of x in x 5.101 * [taylor]: Taking taylor expansion of 0.253 in x 5.101 * [taylor]: Taking taylor expansion of x in x 5.141 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 5.141 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 5.141 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 5.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 5.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 5.141 * [taylor]: Taking taylor expansion of 1/3 in x 5.141 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 5.141 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 5.141 * [taylor]: Taking taylor expansion of x in x 5.141 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.141 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.141 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.141 * [taylor]: Taking taylor expansion of 0.12 in x 5.141 * [taylor]: Taking taylor expansion of x in x 5.141 * [taylor]: Taking taylor expansion of 0.253 in x 5.145 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 5.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 5.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 5.145 * [taylor]: Taking taylor expansion of 1/3 in x 5.146 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 5.146 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 5.146 * [taylor]: Taking taylor expansion of x in x 5.146 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.146 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.146 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.146 * [taylor]: Taking taylor expansion of 0.12 in x 5.146 * [taylor]: Taking taylor expansion of x in x 5.146 * [taylor]: Taking taylor expansion of 0.253 in x 5.182 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 5.182 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 5.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 5.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 5.182 * [taylor]: Taking taylor expansion of 1/3 in x 5.182 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 5.182 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 5.182 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.182 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.182 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.182 * [taylor]: Taking taylor expansion of 0.12 in x 5.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.182 * [taylor]: Taking taylor expansion of x in x 5.183 * [taylor]: Taking taylor expansion of 0.253 in x 5.183 * [taylor]: Taking taylor expansion of x in x 5.185 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 5.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 5.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 5.185 * [taylor]: Taking taylor expansion of 1/3 in x 5.185 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 5.185 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 5.185 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.185 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.185 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.185 * [taylor]: Taking taylor expansion of 0.12 in x 5.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.185 * [taylor]: Taking taylor expansion of x in x 5.186 * [taylor]: Taking taylor expansion of 0.253 in x 5.186 * [taylor]: Taking taylor expansion of x in x 5.218 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 5.218 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 5.218 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.218 * [taylor]: Taking taylor expansion of -1 in x 5.218 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 5.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 5.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 5.219 * [taylor]: Taking taylor expansion of 1/3 in x 5.219 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 5.219 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 5.219 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.219 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.219 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.219 * [taylor]: Taking taylor expansion of 0.12 in x 5.219 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.219 * [taylor]: Taking taylor expansion of -1 in x 5.219 * [taylor]: Taking taylor expansion of x in x 5.219 * [taylor]: Taking taylor expansion of 0.253 in x 5.219 * [taylor]: Taking taylor expansion of x in x 5.222 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 5.222 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.222 * [taylor]: Taking taylor expansion of -1 in x 5.222 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 5.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 5.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 5.222 * [taylor]: Taking taylor expansion of 1/3 in x 5.222 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 5.222 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 5.222 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.223 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.223 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.223 * [taylor]: Taking taylor expansion of 0.12 in x 5.223 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.223 * [taylor]: Taking taylor expansion of -1 in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.223 * [taylor]: Taking taylor expansion of 0.253 in x 5.223 * [taylor]: Taking taylor expansion of x in x 5.267 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 5.267 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 5.267 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 5.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 5.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 5.267 * [taylor]: Taking taylor expansion of 1/3 in x 5.267 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 5.267 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 5.267 * [taylor]: Taking taylor expansion of x in x 5.267 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.267 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.267 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.267 * [taylor]: Taking taylor expansion of 0.12 in x 5.268 * [taylor]: Taking taylor expansion of x in x 5.268 * [taylor]: Taking taylor expansion of 0.253 in x 5.272 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 5.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 5.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 5.272 * [taylor]: Taking taylor expansion of 1/3 in x 5.272 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 5.272 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.272 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.272 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.272 * [taylor]: Taking taylor expansion of 0.12 in x 5.272 * [taylor]: Taking taylor expansion of x in x 5.272 * [taylor]: Taking taylor expansion of 0.253 in x 5.306 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 5.306 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 5.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 5.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 5.306 * [taylor]: Taking taylor expansion of 1/3 in x 5.306 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 5.306 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 5.306 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.306 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.306 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.306 * [taylor]: Taking taylor expansion of 0.12 in x 5.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.306 * [taylor]: Taking taylor expansion of x in x 5.307 * [taylor]: Taking taylor expansion of 0.253 in x 5.307 * [taylor]: Taking taylor expansion of x in x 5.309 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 5.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 5.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 5.309 * [taylor]: Taking taylor expansion of 1/3 in x 5.309 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 5.309 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 5.309 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.309 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.309 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.309 * [taylor]: Taking taylor expansion of 0.12 in x 5.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.309 * [taylor]: Taking taylor expansion of x in x 5.310 * [taylor]: Taking taylor expansion of 0.253 in x 5.310 * [taylor]: Taking taylor expansion of x in x 5.345 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 5.346 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 5.346 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.346 * [taylor]: Taking taylor expansion of -1 in x 5.346 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 5.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 5.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 5.346 * [taylor]: Taking taylor expansion of 1/3 in x 5.346 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 5.346 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 5.346 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.347 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.347 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.347 * [taylor]: Taking taylor expansion of 0.12 in x 5.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.347 * [taylor]: Taking taylor expansion of -1 in x 5.347 * [taylor]: Taking taylor expansion of x in x 5.347 * [taylor]: Taking taylor expansion of 0.253 in x 5.347 * [taylor]: Taking taylor expansion of x in x 5.349 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 5.349 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.349 * [taylor]: Taking taylor expansion of -1 in x 5.350 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 5.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 5.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 5.350 * [taylor]: Taking taylor expansion of 1/3 in x 5.350 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 5.350 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 5.350 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.350 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.350 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.350 * [taylor]: Taking taylor expansion of 0.12 in x 5.350 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.350 * [taylor]: Taking taylor expansion of -1 in x 5.350 * [taylor]: Taking taylor expansion of x in x 5.351 * [taylor]: Taking taylor expansion of 0.253 in x 5.351 * [taylor]: Taking taylor expansion of x in x 5.393 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 5.393 * [approximate]: Taking taylor expansion of (pow (* (pow x 2) (pow (fma 0.12 x 0.253) 2)) 1/3) in (x) around 0 5.393 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (fma 0.12 x 0.253) 2)) 1/3) in x 5.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (fma 0.12 x 0.253) 2))))) in x 5.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (fma 0.12 x 0.253) 2)))) in x 5.393 * [taylor]: Taking taylor expansion of 1/3 in x 5.393 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (fma 0.12 x 0.253) 2))) in x 5.393 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (fma 0.12 x 0.253) 2)) in x 5.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.393 * [taylor]: Taking taylor expansion of x in x 5.393 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x 5.393 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.393 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.393 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.393 * [taylor]: Taking taylor expansion of 0.12 in x 5.393 * [taylor]: Taking taylor expansion of x in x 5.393 * [taylor]: Taking taylor expansion of 0.253 in x 5.396 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (fma 0.12 x 0.253) 2)) 1/3) in x 5.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (fma 0.12 x 0.253) 2))))) in x 5.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (fma 0.12 x 0.253) 2)))) in x 5.396 * [taylor]: Taking taylor expansion of 1/3 in x 5.396 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (fma 0.12 x 0.253) 2))) in x 5.396 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (fma 0.12 x 0.253) 2)) in x 5.396 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.396 * [taylor]: Taking taylor expansion of x in x 5.396 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x 5.396 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 5.396 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 5.396 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 5.396 * [taylor]: Taking taylor expansion of 0.12 in x 5.396 * [taylor]: Taking taylor expansion of x in x 5.396 * [taylor]: Taking taylor expansion of 0.253 in x 5.441 * [approximate]: Taking taylor expansion of (pow (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)) 1/3) in (x) around 0 5.441 * [taylor]: Taking taylor expansion of (pow (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)) 1/3) in x 5.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2))))) in x 5.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)))) in x 5.441 * [taylor]: Taking taylor expansion of 1/3 in x 5.441 * [taylor]: Taking taylor expansion of (log (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2))) in x 5.441 * [taylor]: Taking taylor expansion of (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)) in x 5.441 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x 5.441 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.441 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.441 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.441 * [taylor]: Taking taylor expansion of 0.12 in x 5.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.441 * [taylor]: Taking taylor expansion of x in x 5.442 * [taylor]: Taking taylor expansion of 0.253 in x 5.442 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.442 * [taylor]: Taking taylor expansion of x in x 5.444 * [taylor]: Taking taylor expansion of (pow (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)) 1/3) in x 5.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2))))) in x 5.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)))) in x 5.444 * [taylor]: Taking taylor expansion of 1/3 in x 5.444 * [taylor]: Taking taylor expansion of (log (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2))) in x 5.444 * [taylor]: Taking taylor expansion of (/ (pow (fma 0.12 (/ 1 x) 0.253) 2) (pow x 2)) in x 5.444 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x 5.444 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 5.445 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 5.445 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 5.445 * [taylor]: Taking taylor expansion of 0.12 in x 5.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.445 * [taylor]: Taking taylor expansion of x in x 5.445 * [taylor]: Taking taylor expansion of 0.253 in x 5.445 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.445 * [taylor]: Taking taylor expansion of x in x 5.488 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) 1/3)) in (x) around 0 5.488 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) 1/3)) in x 5.488 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 5.488 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.488 * [taylor]: Taking taylor expansion of -1 in x 5.489 * [taylor]: Taking taylor expansion of (pow (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) 1/3) in x 5.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2))))) in x 5.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)))) in x 5.489 * [taylor]: Taking taylor expansion of 1/3 in x 5.489 * [taylor]: Taking taylor expansion of (log (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2))) in x 5.489 * [taylor]: Taking taylor expansion of (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) in x 5.489 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x 5.489 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.489 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.489 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.489 * [taylor]: Taking taylor expansion of 0.12 in x 5.489 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.489 * [taylor]: Taking taylor expansion of -1 in x 5.489 * [taylor]: Taking taylor expansion of x in x 5.490 * [taylor]: Taking taylor expansion of 0.253 in x 5.490 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.490 * [taylor]: Taking taylor expansion of x in x 5.493 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) 1/3)) in x 5.493 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 5.493 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.493 * [taylor]: Taking taylor expansion of -1 in x 5.494 * [taylor]: Taking taylor expansion of (pow (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) 1/3) in x 5.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2))))) in x 5.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)))) in x 5.494 * [taylor]: Taking taylor expansion of 1/3 in x 5.494 * [taylor]: Taking taylor expansion of (log (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2))) in x 5.494 * [taylor]: Taking taylor expansion of (/ (pow (fma 0.12 (/ -1 x) 0.253) 2) (pow x 2)) in x 5.494 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x 5.494 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 5.494 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 5.494 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 5.494 * [taylor]: Taking taylor expansion of 0.12 in x 5.494 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.494 * [taylor]: Taking taylor expansion of -1 in x 5.494 * [taylor]: Taking taylor expansion of x in x 5.495 * [taylor]: Taking taylor expansion of 0.253 in x 5.495 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.495 * [taylor]: Taking taylor expansion of x in x 5.564 * * * [progress]: simplifying candidates 5.565 * [simplify]: Simplifying using # : (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (log1p (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (+ 1/3 1/3) (+ 1 1) (* (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x)) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (+ 1 1) (+ (log (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x)))) (log (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (exp (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (* (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x)) (* (cbrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))))) (cbrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (* (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (sqrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (sqrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))))) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (* (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x)))) (* (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x)))) (* 1 1) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (* (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x)))) (* (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x)))) (* 2 1/3) (* 2 1) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (* (fma 0.12 x 0.253) x)) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))))) (* (cbrt (* (fma 0.12 x 0.253) x)) (sqrt (cbrt (* (fma 0.12 x 0.253) x)))) (* (cbrt (* (fma 0.12 x 0.253) x)) 1) (* (cbrt x) (cbrt (* (fma 0.12 x 0.253) x))) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (* (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.3162055335968379 (* (exp (* 1/3 (+ (* 2 (log x)) (log 0.064009)))) x)) (+ (exp (* 1/3 (+ (* 2 (log x)) (log 0.064009)))) (* 0.12498242434657625 (* (exp (* 1/3 (+ (* 2 (log x)) (log 0.064009)))) (pow x 2))))) (* 0.0006144863999999999 (/ (* (exp (* 1/3 (+ (* 2 (log x)) (log 0.064009)))) (pow x 2)) (pow 0.064009 2)))) (- (+ (* 1.4055555555555554 (/ (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ 1 x)))))) x)) (+ (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ 1 x)))))) (* 2.4694830246913577 (/ (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ 1 x)))))) (pow x 2))))) (* 0.0006144863999999999 (/ (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ 1 x)))))) (* (pow 0.0144 2) (pow x 2))))) (- (+ (* 2.4694830246913577 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) (pow x 2))) (+ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) (* 1.4055555555555554 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) x)))) (* 0.0006144863999999999 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) (* (pow 0.0144 2) (pow x 2))))) 5.571 * * [simplify]: iteration 0 : 163 enodes (cost 1700 ) 5.608 * * [simplify]: iteration 1 : 413 enodes (cost 1581 ) 5.692 * * [simplify]: iteration 2 : 1437 enodes (cost 1473 ) 6.047 * * [simplify]: iteration done : 5001 enodes (cost 1473 ) 6.048 * [simplify]: Simplified to: (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (log1p (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) 2/3 2 (* (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x)) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) 2 (* 2 (log (cbrt (* (fma 0.12 x 0.253) x)))) (* 2 (log (cbrt (* (fma 0.12 x 0.253) x)))) (exp (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (* (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x)) (* (cbrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))))) (cbrt (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))) (pow (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) 3) (fabs (cbrt (* (fma 0.12 x 0.253) x))) (fabs (cbrt (* (fma 0.12 x 0.253) x))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt x) (cbrt x)) (* (pow (cbrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)) 1 (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)) 2/3 2 (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (* (fma 0.12 x 0.253) x)) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))))) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (cbrt (* (fma 0.12 x 0.253) x)) (* (cbrt x) (cbrt (* (fma 0.12 x 0.253) x))) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (- (fma (* 0.15810276679841895 (exp (* 1/3 (+ (log x) (log 0.253))))) x (fma (* 0.012498242434657622 (exp (* 1/3 (+ (log x) (log 0.253))))) (pow x 2) (exp (* 1/3 (+ (log x) (log 0.253)))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (fma 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (- (log x)))))) (pow x 2)) (- (fma 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (- (log x)))))) x) (exp (* 1/3 (- (log 0.12) (* 2 (- (log x))))))) (/ (* 0.010668166666666666 (exp (* 1/3 (- (log 0.12) (* 2 (- (log x))))))) (* (pow 0.12 2) (pow x 2))))) (- (fma 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x) (fma (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (fma (* 0.15810276679841895 (exp (* 1/3 (+ (log x) (log 0.253))))) x (fma (* 0.012498242434657622 (exp (* 1/3 (+ (log x) (log 0.253))))) (pow x 2) (exp (* 1/3 (+ (log x) (log 0.253)))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (fma 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (- (log x)))))) (pow x 2)) (- (fma 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (- (log x)))))) x) (exp (* 1/3 (- (log 0.12) (* 2 (- (log x))))))) (/ (* 0.010668166666666666 (exp (* 1/3 (- (log 0.12) (* 2 (- (log x))))))) (* (pow 0.12 2) (pow x 2))))) (- (fma 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x) (fma (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (fma (* 0.15810276679841895 (exp (* 1/3 (+ (log x) (log 0.253))))) x (fma (* 0.012498242434657622 (exp (* 1/3 (+ (log x) (log 0.253))))) (pow x 2) (exp (* 1/3 (+ (log x) (log 0.253)))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (fma 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (- (log x)))))) (pow x 2)) (- (fma 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (- (log x)))))) x) (exp (* 1/3 (- (log 0.12) (* 2 (- (log x))))))) (/ (* 0.010668166666666666 (exp (* 1/3 (- (log 0.12) (* 2 (- (log x))))))) (* (pow 0.12 2) (pow x 2))))) (- (fma 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x) (fma (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (fma (* 0.3162055335968379 (pow (exp 1/3) (fma 2 (log x) (log 0.064009)))) x (- (fma (* (pow (exp 1/3) (fma 2 (log x) (log 0.064009))) (pow x 2)) 0.12498242434657625 (pow (exp 1/3) (fma 2 (log x) (log 0.064009)))) (* (/ (pow (exp 1/3) (fma 2 (log x) (log 0.064009))) (/ (pow 0.064009 2) (pow x 2))) 0.0006144863999999999))) (- (fma 1.4055555555555554 (/ (exp (* (- (log 0.0144) (* 4 (- (log x)))) 1/3)) x) (fma 2.4694830246913577 (/ (exp (* (- (log 0.0144) (* 4 (- (log x)))) 1/3)) (pow x 2)) (exp (* (- (log 0.0144) (* 4 (- (log x)))) 1/3)))) (* 0.0006144863999999999 (/ (exp (* (- (log 0.0144) (* 4 (- (log x)))) 1/3)) (* (pow 0.0144 2) (pow x 2))))) (- (fma 2.4694830246913577 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) (pow x 2)) (fma (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x)))))) (* 1.4055555555555554 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) x)))) (* 0.0006144863999999999 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 0.0144) (* 4 (log (/ -1 x))))))) (* (pow 0.0144 2) (pow x 2))))) 6.048 * * * [progress]: adding candidates to table 6.308 * * [progress]: iteration 3 / 4 6.308 * * * [progress]: picking best candidate 6.338 * * * * [pick]: Picked # 6.338 * * * [progress]: localizing error 6.352 * * * [progress]: generating rewritten candidates 6.352 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 6.353 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 6.354 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 6.355 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 6.358 * * * [progress]: generating series expansions 6.358 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 6.358 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0 6.358 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 6.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 6.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 6.358 * [taylor]: Taking taylor expansion of 1/3 in x 6.358 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 6.358 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.358 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.358 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.358 * [taylor]: Taking taylor expansion of 0.12 in x 6.358 * [taylor]: Taking taylor expansion of x in x 6.358 * [taylor]: Taking taylor expansion of 0.253 in x 6.361 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x 6.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x 6.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x 6.361 * [taylor]: Taking taylor expansion of 1/3 in x 6.361 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x 6.361 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.361 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.361 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.361 * [taylor]: Taking taylor expansion of 0.12 in x 6.361 * [taylor]: Taking taylor expansion of x in x 6.361 * [taylor]: Taking taylor expansion of 0.253 in x 6.401 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0 6.401 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 6.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 6.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 6.401 * [taylor]: Taking taylor expansion of 1/3 in x 6.401 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 6.401 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.401 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.401 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.401 * [taylor]: Taking taylor expansion of 0.12 in x 6.401 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.401 * [taylor]: Taking taylor expansion of x in x 6.402 * [taylor]: Taking taylor expansion of 0.253 in x 6.404 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x 6.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x 6.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x 6.404 * [taylor]: Taking taylor expansion of 1/3 in x 6.404 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x 6.404 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.404 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.404 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.404 * [taylor]: Taking taylor expansion of 0.12 in x 6.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.404 * [taylor]: Taking taylor expansion of x in x 6.404 * [taylor]: Taking taylor expansion of 0.253 in x 6.442 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0 6.442 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 6.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 6.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 6.442 * [taylor]: Taking taylor expansion of 1/3 in x 6.442 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 6.442 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.443 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.443 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.443 * [taylor]: Taking taylor expansion of 0.12 in x 6.443 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.443 * [taylor]: Taking taylor expansion of -1 in x 6.443 * [taylor]: Taking taylor expansion of x in x 6.443 * [taylor]: Taking taylor expansion of 0.253 in x 6.446 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x 6.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x 6.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x 6.446 * [taylor]: Taking taylor expansion of 1/3 in x 6.446 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x 6.446 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.447 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.447 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.447 * [taylor]: Taking taylor expansion of 0.12 in x 6.447 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.447 * [taylor]: Taking taylor expansion of -1 in x 6.447 * [taylor]: Taking taylor expansion of x in x 6.447 * [taylor]: Taking taylor expansion of 0.253 in x 6.486 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 6.486 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.486 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.486 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.486 * [taylor]: Taking taylor expansion of 1/3 in x 6.486 * [taylor]: Taking taylor expansion of (log x) in x 6.486 * [taylor]: Taking taylor expansion of x in x 6.487 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.487 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.487 * [taylor]: Taking taylor expansion of 1/3 in x 6.487 * [taylor]: Taking taylor expansion of (log x) in x 6.487 * [taylor]: Taking taylor expansion of x in x 6.543 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.543 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.543 * [taylor]: Taking taylor expansion of 1/3 in x 6.543 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.543 * [taylor]: Taking taylor expansion of x in x 6.544 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.544 * [taylor]: Taking taylor expansion of 1/3 in x 6.544 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.544 * [taylor]: Taking taylor expansion of x in x 6.604 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.604 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.604 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.604 * [taylor]: Taking taylor expansion of -1 in x 6.605 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.605 * [taylor]: Taking taylor expansion of 1/3 in x 6.605 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.605 * [taylor]: Taking taylor expansion of x in x 6.606 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.606 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.606 * [taylor]: Taking taylor expansion of -1 in x 6.607 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.607 * [taylor]: Taking taylor expansion of 1/3 in x 6.607 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.607 * [taylor]: Taking taylor expansion of x in x 6.678 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 6.678 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 6.678 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 6.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 6.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 6.678 * [taylor]: Taking taylor expansion of 1/3 in x 6.678 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 6.678 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 6.678 * [taylor]: Taking taylor expansion of x in x 6.678 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.678 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.678 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.678 * [taylor]: Taking taylor expansion of 0.12 in x 6.678 * [taylor]: Taking taylor expansion of x in x 6.679 * [taylor]: Taking taylor expansion of 0.253 in x 6.683 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 6.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 6.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 6.683 * [taylor]: Taking taylor expansion of 1/3 in x 6.683 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 6.683 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 6.683 * [taylor]: Taking taylor expansion of x in x 6.683 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.683 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.683 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.683 * [taylor]: Taking taylor expansion of 0.12 in x 6.683 * [taylor]: Taking taylor expansion of x in x 6.683 * [taylor]: Taking taylor expansion of 0.253 in x 6.720 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 6.720 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 6.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 6.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 6.720 * [taylor]: Taking taylor expansion of 1/3 in x 6.720 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 6.720 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 6.720 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.720 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.720 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.720 * [taylor]: Taking taylor expansion of 0.12 in x 6.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.720 * [taylor]: Taking taylor expansion of x in x 6.720 * [taylor]: Taking taylor expansion of 0.253 in x 6.720 * [taylor]: Taking taylor expansion of x in x 6.723 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 6.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 6.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 6.723 * [taylor]: Taking taylor expansion of 1/3 in x 6.723 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 6.723 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 6.723 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.723 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.723 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.723 * [taylor]: Taking taylor expansion of 0.12 in x 6.723 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.723 * [taylor]: Taking taylor expansion of x in x 6.723 * [taylor]: Taking taylor expansion of 0.253 in x 6.723 * [taylor]: Taking taylor expansion of x in x 6.765 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 6.765 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 6.765 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.765 * [taylor]: Taking taylor expansion of -1 in x 6.766 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 6.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 6.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 6.766 * [taylor]: Taking taylor expansion of 1/3 in x 6.766 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 6.766 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 6.766 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.766 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.766 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.766 * [taylor]: Taking taylor expansion of 0.12 in x 6.766 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.766 * [taylor]: Taking taylor expansion of -1 in x 6.766 * [taylor]: Taking taylor expansion of x in x 6.767 * [taylor]: Taking taylor expansion of 0.253 in x 6.767 * [taylor]: Taking taylor expansion of x in x 6.769 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 6.769 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.769 * [taylor]: Taking taylor expansion of -1 in x 6.770 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 6.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 6.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 6.770 * [taylor]: Taking taylor expansion of 1/3 in x 6.770 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 6.770 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 6.770 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.770 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.770 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.770 * [taylor]: Taking taylor expansion of 0.12 in x 6.770 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.771 * [taylor]: Taking taylor expansion of -1 in x 6.771 * [taylor]: Taking taylor expansion of x in x 6.771 * [taylor]: Taking taylor expansion of 0.253 in x 6.771 * [taylor]: Taking taylor expansion of x in x 6.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 6.815 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 6.815 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 6.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 6.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 6.815 * [taylor]: Taking taylor expansion of 1/3 in x 6.815 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 6.815 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 6.815 * [taylor]: Taking taylor expansion of x in x 6.815 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.815 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.815 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.815 * [taylor]: Taking taylor expansion of 0.12 in x 6.815 * [taylor]: Taking taylor expansion of x in x 6.815 * [taylor]: Taking taylor expansion of 0.253 in x 6.819 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 6.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 6.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 6.819 * [taylor]: Taking taylor expansion of 1/3 in x 6.819 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 6.820 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 6.820 * [taylor]: Taking taylor expansion of x in x 6.820 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 6.820 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 6.820 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 6.820 * [taylor]: Taking taylor expansion of 0.12 in x 6.820 * [taylor]: Taking taylor expansion of x in x 6.820 * [taylor]: Taking taylor expansion of 0.253 in x 6.861 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 6.862 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 6.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 6.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 6.862 * [taylor]: Taking taylor expansion of 1/3 in x 6.862 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 6.862 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 6.862 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.862 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.862 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.862 * [taylor]: Taking taylor expansion of 0.12 in x 6.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.862 * [taylor]: Taking taylor expansion of x in x 6.862 * [taylor]: Taking taylor expansion of 0.253 in x 6.862 * [taylor]: Taking taylor expansion of x in x 6.865 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 6.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 6.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 6.865 * [taylor]: Taking taylor expansion of 1/3 in x 6.865 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 6.865 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 6.865 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 6.865 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 6.865 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 6.865 * [taylor]: Taking taylor expansion of 0.12 in x 6.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.865 * [taylor]: Taking taylor expansion of x in x 6.865 * [taylor]: Taking taylor expansion of 0.253 in x 6.865 * [taylor]: Taking taylor expansion of x in x 6.899 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 6.899 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 6.899 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.899 * [taylor]: Taking taylor expansion of -1 in x 6.900 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 6.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 6.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 6.900 * [taylor]: Taking taylor expansion of 1/3 in x 6.900 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 6.900 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 6.900 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.900 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.900 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.900 * [taylor]: Taking taylor expansion of 0.12 in x 6.900 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.900 * [taylor]: Taking taylor expansion of -1 in x 6.900 * [taylor]: Taking taylor expansion of x in x 6.901 * [taylor]: Taking taylor expansion of 0.253 in x 6.901 * [taylor]: Taking taylor expansion of x in x 6.903 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 6.903 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.903 * [taylor]: Taking taylor expansion of -1 in x 6.904 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 6.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 6.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 6.904 * [taylor]: Taking taylor expansion of 1/3 in x 6.904 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 6.904 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 6.904 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 6.904 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 6.904 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 6.904 * [taylor]: Taking taylor expansion of 0.12 in x 6.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.904 * [taylor]: Taking taylor expansion of -1 in x 6.904 * [taylor]: Taking taylor expansion of x in x 6.904 * [taylor]: Taking taylor expansion of 0.253 in x 6.905 * [taylor]: Taking taylor expansion of x in x 6.953 * * * [progress]: simplifying candidates 6.954 * [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 x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) 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))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) 6.959 * * [simplify]: iteration 0 : 153 enodes (cost 969 ) 6.985 * * [simplify]: iteration 1 : 366 enodes (cost 936 ) 7.069 * * [simplify]: iteration 2 : 1145 enodes (cost 874 ) 7.530 * * [simplify]: iteration done : 5000 enodes (cost 714 ) 7.531 * [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))) (fma 0.12 x 0.253) (sqrt (cbrt (fma 0.12 x 0.253))) (sqrt (cbrt (fma 0.12 x 0.253))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (fma 0.12 x 0.253) x) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (fma 0.12 x 0.253) x) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (+ (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))) (fma (* (cbrt 0.253) x) 0.15810276679841895 (cbrt 0.253))) (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (pow x 2)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma (/ (cbrt (exp (+ (log 0.12) (log x)))) x) 0.7027777777777777 (cbrt (exp (+ (log 0.12) (log x)))))) (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (+ (* (* (cbrt x) (cbrt 0.253)) (+ (* 0.15810276679841895 x) (* 0.012498242434657622 (pow x 2)))) (fma (cbrt x) (cbrt 0.253) (* (/ (* (cbrt x) (* (pow x 2) (cbrt 0.253))) (pow 0.253 2)) (- 0.0024)))) (+ (fma 0.7027777777777777 (/ (cbrt (exp (+ (* (log x) 2) (log 0.12)))) x) (cbrt (exp (+ (* (log x) 2) (log 0.12))))) (* (/ (cbrt (exp (+ (* (log x) 2) (log 0.12)))) (pow x 2)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2))))) (fma (* (/ (cbrt (exp (- (log -0.12) (* 2 (log (/ -1 x)))))) x) (cbrt -1)) 0.7027777777777777 (fma (cbrt -1) (cbrt (exp (- (log -0.12) (* 2 (log (/ -1 x)))))) (* (* (/ (cbrt -1) (pow x 2)) (cbrt (exp (- (log -0.12) (* 2 (log (/ -1 x))))))) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))))) (+ (* (* (cbrt x) (cbrt 0.253)) (+ (* 0.15810276679841895 x) (* 0.012498242434657622 (pow x 2)))) (fma (cbrt x) (cbrt 0.253) (* (/ (* (cbrt x) (* (pow x 2) (cbrt 0.253))) (pow 0.253 2)) (- 0.0024)))) (+ (fma 0.7027777777777777 (/ (cbrt (exp (+ (* (log x) 2) (log 0.12)))) x) (cbrt (exp (+ (* (log x) 2) (log 0.12))))) (* (/ (cbrt (exp (+ (* (log x) 2) (log 0.12)))) (pow x 2)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2))))) (fma (* (/ (cbrt (exp (- (log -0.12) (* 2 (log (/ -1 x)))))) x) (cbrt -1)) 0.7027777777777777 (fma (cbrt -1) (cbrt (exp (- (log -0.12) (* 2 (log (/ -1 x)))))) (* (* (/ (cbrt -1) (pow x 2)) (cbrt (exp (- (log -0.12) (* 2 (log (/ -1 x))))))) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))))) 7.531 * * * [progress]: adding candidates to table 7.787 * * [progress]: iteration 4 / 4 7.787 * * * [progress]: picking best candidate 7.811 * * * * [pick]: Picked # 7.811 * * * [progress]: localizing error 7.829 * * * [progress]: generating rewritten candidates 7.829 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 7.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 7.833 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 7.834 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 7.837 * * * [progress]: generating series expansions 7.837 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 7.837 * [approximate]: Taking taylor expansion of (pow (pow (* x (fma 0.12 x 0.253)) 1/3) 3) in (x) around 0 7.837 * [taylor]: Taking taylor expansion of (pow (pow (* x (fma 0.12 x 0.253)) 1/3) 3) in x 7.837 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 7.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 7.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 7.837 * [taylor]: Taking taylor expansion of 1/3 in x 7.837 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 7.837 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 7.837 * [taylor]: Taking taylor expansion of x in x 7.837 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 7.837 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 7.837 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 7.837 * [taylor]: Taking taylor expansion of 0.12 in x 7.837 * [taylor]: Taking taylor expansion of x in x 7.837 * [taylor]: Taking taylor expansion of 0.253 in x 7.842 * [taylor]: Taking taylor expansion of (pow (pow (* x (fma 0.12 x 0.253)) 1/3) 3) in x 7.842 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 7.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 7.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 7.842 * [taylor]: Taking taylor expansion of 1/3 in x 7.843 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 7.843 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 7.843 * [taylor]: Taking taylor expansion of x in x 7.843 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 7.843 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 7.843 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 7.843 * [taylor]: Taking taylor expansion of 0.12 in x 7.843 * [taylor]: Taking taylor expansion of x in x 7.843 * [taylor]: Taking taylor expansion of 0.253 in x 7.892 * [approximate]: Taking taylor expansion of (pow (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) 3) in (x) around 0 7.892 * [taylor]: Taking taylor expansion of (pow (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) 3) in x 7.892 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 7.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 7.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 7.892 * [taylor]: Taking taylor expansion of 1/3 in x 7.892 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 7.892 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 7.893 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 7.893 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 7.893 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 7.893 * [taylor]: Taking taylor expansion of 0.12 in x 7.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.893 * [taylor]: Taking taylor expansion of 0.253 in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.895 * [taylor]: Taking taylor expansion of (pow (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) 3) in x 7.895 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 7.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 7.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 7.895 * [taylor]: Taking taylor expansion of 1/3 in x 7.895 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 7.895 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 7.895 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 7.896 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 7.896 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 7.896 * [taylor]: Taking taylor expansion of 0.12 in x 7.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.896 * [taylor]: Taking taylor expansion of x in x 7.896 * [taylor]: Taking taylor expansion of 0.253 in x 7.896 * [taylor]: Taking taylor expansion of x in x 7.952 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) 3) in (x) around 0 7.952 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) 3) in x 7.952 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 7.952 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.952 * [taylor]: Taking taylor expansion of -1 in x 7.952 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 7.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 7.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 7.953 * [taylor]: Taking taylor expansion of 1/3 in x 7.953 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 7.953 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 7.953 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 7.953 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 7.953 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 7.953 * [taylor]: Taking taylor expansion of 0.12 in x 7.953 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.953 * [taylor]: Taking taylor expansion of -1 in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.953 * [taylor]: Taking taylor expansion of 0.253 in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.956 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) 3) in x 7.956 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 7.956 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.956 * [taylor]: Taking taylor expansion of -1 in x 7.957 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 7.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 7.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 7.957 * [taylor]: Taking taylor expansion of 1/3 in x 7.957 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 7.957 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 7.957 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 7.958 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 7.958 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 7.958 * [taylor]: Taking taylor expansion of 0.12 in x 7.958 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.958 * [taylor]: Taking taylor expansion of -1 in x 7.958 * [taylor]: Taking taylor expansion of x in x 7.958 * [taylor]: Taking taylor expansion of 0.253 in x 7.958 * [taylor]: Taking taylor expansion of x in x 8.032 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 8.032 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 8.032 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 8.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 8.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 8.032 * [taylor]: Taking taylor expansion of 1/3 in x 8.032 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 8.032 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 8.032 * [taylor]: Taking taylor expansion of x in x 8.032 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 8.033 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 8.033 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 8.033 * [taylor]: Taking taylor expansion of 0.12 in x 8.033 * [taylor]: Taking taylor expansion of x in x 8.033 * [taylor]: Taking taylor expansion of 0.253 in x 8.037 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 8.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 8.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 8.037 * [taylor]: Taking taylor expansion of 1/3 in x 8.037 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 8.037 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 8.037 * [taylor]: Taking taylor expansion of x in x 8.037 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 8.037 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 8.037 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 8.037 * [taylor]: Taking taylor expansion of 0.12 in x 8.037 * [taylor]: Taking taylor expansion of x in x 8.037 * [taylor]: Taking taylor expansion of 0.253 in x 8.073 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 8.073 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 8.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 8.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 8.073 * [taylor]: Taking taylor expansion of 1/3 in x 8.073 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 8.073 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 8.073 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 8.073 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 8.073 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 8.073 * [taylor]: Taking taylor expansion of 0.12 in x 8.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.073 * [taylor]: Taking taylor expansion of x in x 8.074 * [taylor]: Taking taylor expansion of 0.253 in x 8.074 * [taylor]: Taking taylor expansion of x in x 8.076 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 8.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 8.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 8.076 * [taylor]: Taking taylor expansion of 1/3 in x 8.076 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 8.076 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 8.076 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 8.076 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 8.076 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 8.076 * [taylor]: Taking taylor expansion of 0.12 in x 8.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.076 * [taylor]: Taking taylor expansion of x in x 8.077 * [taylor]: Taking taylor expansion of 0.253 in x 8.077 * [taylor]: Taking taylor expansion of x in x 8.117 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 8.117 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 8.117 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.118 * [taylor]: Taking taylor expansion of -1 in x 8.118 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 8.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 8.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 8.118 * [taylor]: Taking taylor expansion of 1/3 in x 8.118 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 8.118 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 8.118 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 8.119 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 8.119 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 8.119 * [taylor]: Taking taylor expansion of 0.12 in x 8.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.119 * [taylor]: Taking taylor expansion of -1 in x 8.119 * [taylor]: Taking taylor expansion of x in x 8.119 * [taylor]: Taking taylor expansion of 0.253 in x 8.119 * [taylor]: Taking taylor expansion of x in x 8.121 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 8.121 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.121 * [taylor]: Taking taylor expansion of -1 in x 8.122 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 8.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 8.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 8.122 * [taylor]: Taking taylor expansion of 1/3 in x 8.122 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 8.122 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 8.122 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 8.122 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 8.122 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 8.122 * [taylor]: Taking taylor expansion of 0.12 in x 8.122 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.122 * [taylor]: Taking taylor expansion of -1 in x 8.122 * [taylor]: Taking taylor expansion of x in x 8.123 * [taylor]: Taking taylor expansion of 0.253 in x 8.123 * [taylor]: Taking taylor expansion of x in x 8.165 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 8.165 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 8.166 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 8.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 8.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 8.166 * [taylor]: Taking taylor expansion of 1/3 in x 8.166 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 8.166 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 8.166 * [taylor]: Taking taylor expansion of x in x 8.166 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 8.166 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 8.166 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 8.166 * [taylor]: Taking taylor expansion of 0.12 in x 8.166 * [taylor]: Taking taylor expansion of x in x 8.166 * [taylor]: Taking taylor expansion of 0.253 in x 8.170 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 8.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 8.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 8.170 * [taylor]: Taking taylor expansion of 1/3 in x 8.170 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 8.170 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 8.170 * [taylor]: Taking taylor expansion of x in x 8.170 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 8.170 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 8.170 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 8.170 * [taylor]: Taking taylor expansion of 0.12 in x 8.170 * [taylor]: Taking taylor expansion of x in x 8.170 * [taylor]: Taking taylor expansion of 0.253 in x 8.212 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 8.212 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 8.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 8.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 8.212 * [taylor]: Taking taylor expansion of 1/3 in x 8.213 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 8.213 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 8.213 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 8.213 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 8.213 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 8.213 * [taylor]: Taking taylor expansion of 0.12 in x 8.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.213 * [taylor]: Taking taylor expansion of x in x 8.213 * [taylor]: Taking taylor expansion of 0.253 in x 8.213 * [taylor]: Taking taylor expansion of x in x 8.215 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 8.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 8.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 8.215 * [taylor]: Taking taylor expansion of 1/3 in x 8.215 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 8.215 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 8.215 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 8.216 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 8.216 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 8.216 * [taylor]: Taking taylor expansion of 0.12 in x 8.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.216 * [taylor]: Taking taylor expansion of x in x 8.216 * [taylor]: Taking taylor expansion of 0.253 in x 8.216 * [taylor]: Taking taylor expansion of x in x 8.250 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 8.250 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 8.250 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.250 * [taylor]: Taking taylor expansion of -1 in x 8.251 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 8.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 8.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 8.251 * [taylor]: Taking taylor expansion of 1/3 in x 8.251 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 8.251 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 8.251 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 8.251 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 8.251 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 8.251 * [taylor]: Taking taylor expansion of 0.12 in x 8.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.252 * [taylor]: Taking taylor expansion of -1 in x 8.252 * [taylor]: Taking taylor expansion of x in x 8.252 * [taylor]: Taking taylor expansion of 0.253 in x 8.252 * [taylor]: Taking taylor expansion of x in x 8.254 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 8.254 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.254 * [taylor]: Taking taylor expansion of -1 in x 8.255 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 8.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 8.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 8.255 * [taylor]: Taking taylor expansion of 1/3 in x 8.255 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 8.255 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 8.255 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 8.255 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 8.255 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 8.255 * [taylor]: Taking taylor expansion of 0.12 in x 8.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.255 * [taylor]: Taking taylor expansion of -1 in x 8.255 * [taylor]: Taking taylor expansion of x in x 8.256 * [taylor]: Taking taylor expansion of 0.253 in x 8.256 * [taylor]: Taking taylor expansion of x in x 8.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 8.305 * [approximate]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in (x) around 0 8.305 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 8.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 8.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 8.305 * [taylor]: Taking taylor expansion of 1/3 in x 8.305 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 8.305 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 8.305 * [taylor]: Taking taylor expansion of x in x 8.305 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 8.305 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 8.305 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 8.305 * [taylor]: Taking taylor expansion of 0.12 in x 8.305 * [taylor]: Taking taylor expansion of x in x 8.305 * [taylor]: Taking taylor expansion of 0.253 in x 8.309 * [taylor]: Taking taylor expansion of (pow (* x (fma 0.12 x 0.253)) 1/3) in x 8.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (fma 0.12 x 0.253))))) in x 8.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (fma 0.12 x 0.253)))) in x 8.309 * [taylor]: Taking taylor expansion of 1/3 in x 8.309 * [taylor]: Taking taylor expansion of (log (* x (fma 0.12 x 0.253))) in x 8.309 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x 8.309 * [taylor]: Taking taylor expansion of x in x 8.309 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x 8.310 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253) 8.310 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 8.310 * [taylor]: Taking taylor expansion of 0.12 in x 8.310 * [taylor]: Taking taylor expansion of x in x 8.310 * [taylor]: Taking taylor expansion of 0.253 in x 8.347 * [approximate]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in (x) around 0 8.347 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 8.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 8.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 8.347 * [taylor]: Taking taylor expansion of 1/3 in x 8.348 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 8.348 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 8.348 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 8.348 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 8.348 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 8.348 * [taylor]: Taking taylor expansion of 0.12 in x 8.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.348 * [taylor]: Taking taylor expansion of x in x 8.348 * [taylor]: Taking taylor expansion of 0.253 in x 8.348 * [taylor]: Taking taylor expansion of x in x 8.350 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ 1 x) 0.253) x) 1/3) in x 8.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x)))) in x 8.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ 1 x) 0.253) x))) in x 8.350 * [taylor]: Taking taylor expansion of 1/3 in x 8.350 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ 1 x) 0.253) x)) in x 8.350 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x 8.350 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x 8.350 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253) 8.350 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 8.350 * [taylor]: Taking taylor expansion of 0.12 in x 8.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.351 * [taylor]: Taking taylor expansion of x in x 8.351 * [taylor]: Taking taylor expansion of 0.253 in x 8.351 * [taylor]: Taking taylor expansion of x in x 8.392 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in (x) around 0 8.393 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 8.393 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.393 * [taylor]: Taking taylor expansion of -1 in x 8.393 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 8.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 8.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 8.393 * [taylor]: Taking taylor expansion of 1/3 in x 8.393 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 8.393 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 8.393 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 8.394 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 8.394 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 8.394 * [taylor]: Taking taylor expansion of 0.12 in x 8.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.394 * [taylor]: Taking taylor expansion of -1 in x 8.394 * [taylor]: Taking taylor expansion of x in x 8.394 * [taylor]: Taking taylor expansion of 0.253 in x 8.394 * [taylor]: Taking taylor expansion of x in x 8.396 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3)) in x 8.396 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.397 * [taylor]: Taking taylor expansion of -1 in x 8.397 * [taylor]: Taking taylor expansion of (pow (/ (fma 0.12 (/ -1 x) 0.253) x) 1/3) in x 8.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x)))) in x 8.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (fma 0.12 (/ -1 x) 0.253) x))) in x 8.397 * [taylor]: Taking taylor expansion of 1/3 in x 8.397 * [taylor]: Taking taylor expansion of (log (/ (fma 0.12 (/ -1 x) 0.253) x)) in x 8.397 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x 8.397 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x 8.397 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253) 8.398 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x 8.398 * [taylor]: Taking taylor expansion of 0.12 in x 8.398 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.398 * [taylor]: Taking taylor expansion of -1 in x 8.398 * [taylor]: Taking taylor expansion of x in x 8.398 * [taylor]: Taking taylor expansion of 0.253 in x 8.398 * [taylor]: Taking taylor expansion of x in x 8.440 * * * [progress]: simplifying candidates 8.442 * [simplify]: Simplifying using # : (expm1 (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (log1p (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (* (log (cbrt (* (fma 0.12 x 0.253) x))) 3) (* (log (cbrt (* (fma 0.12 x 0.253) x))) 3) (* 1/3 3) (* 1 3) (pow (cbrt (* (fma 0.12 x 0.253) x)) (* (cbrt 3) (cbrt 3))) (pow (cbrt (* (fma 0.12 x 0.253) x)) (sqrt 3)) (pow (cbrt (* (fma 0.12 x 0.253) x)) 1) (pow (cbrt (fma 0.12 x 0.253)) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) 3) (pow (cbrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow 1 3) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (log (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (exp (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (* (cbrt (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (cbrt (pow (cbrt (* (fma 0.12 x 0.253) x)) 3))) (cbrt (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (* (* (pow (cbrt (* (fma 0.12 x 0.253) x)) 3) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (pow (cbrt (fma 0.12 x 0.253)) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) 3) (pow (cbrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow 1 3) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3) (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (sqrt (pow (cbrt (* (fma 0.12 x 0.253) x)) 3)) (pow (cbrt (* (fma 0.12 x 0.253) x)) (/ 3 2)) (pow (cbrt (* (fma 0.12 x 0.253) x)) (/ 3 2)) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (- (+ (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) (+ (* 0.47430830039525684 (* (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) x)) (* 0.1124841819119186 (* (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) (pow x 2))))) (* 0.0072 (/ (* (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) (pow x 2)) (pow 0.253 2)))) (- (+ (* 2.1083333333333334 (/ (pow (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) 3) x)) (+ (* 2.222534722222222 (/ (pow (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) 3) (pow x 2))) (pow (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) 3))) (* 0.0320045 (/ (pow (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) 3) (* (pow 0.12 2) (pow x 2))))) (- (* 0.0320045 (/ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) (* (pow x 2) (pow -0.12 2)))) (+ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) (+ (* 2.1083333333333334 (/ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) x)) (* 2.222534722222222 (/ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) (pow x 2)))))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (+ (* 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x)) (+ (exp (* 1/3 (+ (log x) (log 0.253)))) (* 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) x)))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (* 2 (log (/ 1 x)))))) (* (pow 0.12 2) (pow x 2))))) (- (+ (* 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x)) (+ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) 8.453 * * [simplify]: iteration 0 : 146 enodes (cost 1531 ) 8.486 * * [simplify]: iteration 1 : 393 enodes (cost 1356 ) 8.586 * * [simplify]: iteration 2 : 1491 enodes (cost 1312 ) 8.976 * * [simplify]: iteration done : 5001 enodes (cost 1312 ) 8.977 * [simplify]: Simplified to: (expm1 (* (fma 0.12 x 0.253) x)) (log1p (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) (log (* (fma 0.12 x 0.253) x)) 1 3 (pow (cbrt (* (fma 0.12 x 0.253) x)) (* (cbrt 3) (cbrt 3))) (pow (cbrt (* (fma 0.12 x 0.253) x)) (sqrt 3)) (cbrt (* (fma 0.12 x 0.253) x)) (fma 0.12 x 0.253) x (pow (cbrt (* (fma 0.12 x 0.253) x)) 2) (cbrt (* (fma 0.12 x 0.253) x)) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) 1 (* x (fma 0.12 x 0.253)) (pow (cbrt (* (fma 0.12 x 0.253) x)) 2) (log (* (fma 0.12 x 0.253) x)) (exp (* (fma 0.12 x 0.253) x)) (pow (cbrt (* (fma 0.12 x 0.253) x)) 2) (cbrt (* (fma 0.12 x 0.253) x)) (pow (* (fma 0.12 x 0.253) x) 3) (fma 0.12 x 0.253) x (pow (cbrt (* (fma 0.12 x 0.253) x)) 2) (cbrt (* (fma 0.12 x 0.253) x)) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) (pow (sqrt (cbrt (* (fma 0.12 x 0.253) x))) 3) 1 (* x (fma 0.12 x 0.253)) (pow (cbrt (* (fma 0.12 x 0.253) x)) 2) (sqrt (* (fma 0.12 x 0.253) x)) (sqrt (* (fma 0.12 x 0.253) x)) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3/2) (pow (cbrt (* (fma 0.12 x 0.253) x)) 3/2) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* x (fma 0.12 x 0.253)) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* x (fma 0.12 x 0.253)) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (expm1 (cbrt (* (fma 0.12 x 0.253) x))) (log1p (cbrt (* (fma 0.12 x 0.253) x))) (log (cbrt (* (fma 0.12 x 0.253) x))) (exp (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (fma 0.12 x 0.253)) (cbrt x) (* (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (cbrt (* (fma 0.12 x 0.253) x)))) (cbrt (cbrt (* (fma 0.12 x 0.253) x))) (* x (fma 0.12 x 0.253)) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (sqrt (cbrt (* (fma 0.12 x 0.253) x))) (- (+ (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) (fma 0.47430830039525684 (* (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) x) (* 0.1124841819119186 (* (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) (pow x 2))))) (* 0.0072 (/ (* (pow (exp (* 1/3 (+ (log x) (log 0.253)))) 3) (pow x 2)) (pow 0.253 2)))) (- (fma 2.1083333333333334 (/ (pow (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) 3) x) (fma 2.222534722222222 (/ (pow (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) 3) (pow x 2)) (pow (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) 3))) (* (/ (pow (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) 3) (* (pow 0.12 2) (pow x 2))) 0.0320045)) (- (* 0.0320045 (/ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) (* (pow x 2) (pow -0.12 2)))) (+ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) (fma 2.1083333333333334 (/ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) x) (* 2.222534722222222 (/ (pow (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) 3) (pow x 2)))))) (- (fma 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x) (fma 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (exp (* 1/3 (+ (log x) (log 0.253)))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (fma 0.24694830246913577 (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) (pow x 2)) (fma (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) x) 0.7027777777777777 (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)))) (* 0.010668166666666666 (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) (* (pow 0.12 2) (pow x 2))))) (- (fma 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x) (fma (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (fma 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x) (fma 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (exp (* 1/3 (+ (log x) (log 0.253)))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (fma 0.24694830246913577 (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) (pow x 2)) (fma (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) x) 0.7027777777777777 (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)))) (* 0.010668166666666666 (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) (* (pow 0.12 2) (pow x 2))))) (- (fma 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x) (fma (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) (- (fma 0.15810276679841895 (* (exp (* 1/3 (+ (log x) (log 0.253)))) x) (fma 0.012498242434657622 (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (exp (* 1/3 (+ (log x) (log 0.253)))))) (* 0.0024 (/ (* (exp (* 1/3 (+ (log x) (log 0.253)))) (pow x 2)) (pow 0.253 2)))) (- (fma 0.24694830246913577 (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) (pow x 2)) (fma (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) x) 0.7027777777777777 (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)))) (* 0.010668166666666666 (/ (exp (* (- (log 0.12) (* 2 (- (log x)))) 1/3)) (* (pow 0.12 2) (pow x 2))))) (- (fma 0.7027777777777777 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) x) (fma (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x)))))) (* 0.24694830246913577 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (pow x 2))))) (* 0.010668166666666666 (/ (* (cbrt -1) (exp (* 1/3 (- (log -0.12) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow -0.12 2))))) 8.978 * * * [progress]: adding candidates to table 9.292 * [progress]: [Phase 3 of 3] Extracting. 9.292 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 9.295 * * * [regime-changes]: Trying 1 branch expressions: (x) 9.295 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 9.335 * * * [regime]: Found split indices: #