6.403 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.013 * [progress]: [Phase 2 of 3] Improving. 0.013 * [simplify]: Simplifying using # : (/ (- (* x x) 3.0) 6.0) 0.014 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.015 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.016 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 0.018 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 0.020 * * [simplify]: iteration 4 : 21 enodes (cost 7 ) 0.022 * * [simplify]: iteration done : 21 enodes (cost 7 ) 0.022 * [simplify]: Simplified to: (/ (- (* x x) 3.0) 6.0) 0.022 * * [progress]: iteration 1 / 4 0.022 * * * [progress]: picking best candidate 0.023 * * * * [pick]: Picked # 0.023 * * * [progress]: localizing error 0.027 * * * [progress]: generating rewritten candidates 0.028 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.036 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.043 * * * [progress]: generating series expansions 0.044 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.044 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in (x) around 0 0.044 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 0.044 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.044 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.044 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of 3.0 in x 0.044 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 0.044 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.044 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.044 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.044 * [taylor]: Taking taylor expansion of x in x 0.044 * [taylor]: Taking taylor expansion of 3.0 in x 0.061 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 0.062 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.062 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.062 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.062 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.062 * [taylor]: Taking taylor expansion of 3.0 in x 0.062 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.062 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.062 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.062 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.062 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.062 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of 3.0 in x 0.085 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 0.085 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.085 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.085 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.085 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of 3.0 in x 0.086 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 0.086 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 0.086 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.086 * [taylor]: Taking taylor expansion of 3.0 in x 0.108 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.108 * [approximate]: Taking taylor expansion of (- (pow x 2) 3.0) in (x) around 0 0.108 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.108 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of 3.0 in x 0.108 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 0.108 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.108 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of 3.0 in x 0.117 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in (x) around 0 0.117 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.117 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of 3.0 in x 0.118 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.118 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.118 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of 3.0 in x 0.134 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in (x) around 0 0.134 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.134 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of 3.0 in x 0.135 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.135 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of 3.0 in x 0.149 * * * [progress]: simplifying candidates 0.150 * [simplify]: Simplifying using # : (- (log (- (* x x) 3.0)) (log 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (exp (/ (- (* x x) 3.0) 6.0)) (/ (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (* (* 6.0 6.0) 6.0)) (* (cbrt (/ (- (* x x) 3.0) 6.0)) (cbrt (/ (- (* x x) 3.0) 6.0))) (cbrt (/ (- (* x x) 3.0) 6.0)) (* (* (/ (- (* x x) 3.0) 6.0) (/ (- (* x x) 3.0) 6.0)) (/ (- (* x x) 3.0) 6.0)) (sqrt (/ (- (* x x) 3.0) 6.0)) (sqrt (/ (- (* x x) 3.0) 6.0)) (- (- (* x x) 3.0)) (- 6.0) (/ (* x x) 6.0) (/ 3.0 6.0) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (cbrt (- (* x x) 3.0)) (cbrt 6.0)) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (sqrt 6.0)) (/ (cbrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) 1) (/ (cbrt (- (* x x) 3.0)) 6.0) (/ (sqrt (- (* x x) 3.0)) (* (cbrt 6.0) (cbrt 6.0))) (/ (sqrt (- (* x x) 3.0)) (cbrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (sqrt (- (* x x) 3.0)) 1) (/ (sqrt (- (* x x) 3.0)) 6.0) (/ 1 (* (cbrt 6.0) (cbrt 6.0))) (/ (- (* x x) 3.0) (cbrt 6.0)) (/ 1 (sqrt 6.0)) (/ (- (* x x) 3.0) (sqrt 6.0)) (/ 1 1) (/ (- (* x x) 3.0) 6.0) (/ (+ x (sqrt 3.0)) (* (cbrt 6.0) (cbrt 6.0))) (/ (- x (sqrt 3.0)) (cbrt 6.0)) (/ (+ x (sqrt 3.0)) (sqrt 6.0)) (/ (- x (sqrt 3.0)) (sqrt 6.0)) (/ (+ x (sqrt 3.0)) 1) (/ (- x (sqrt 3.0)) 6.0) (/ 1 6.0) (/ 6.0 (- (* x x) 3.0)) (/ (- (* x x) 3.0) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (* x x) 3.0) (sqrt 6.0)) (/ (- (* x x) 3.0) 1) (/ 6.0 (cbrt (- (* x x) 3.0))) (/ 6.0 (sqrt (- (* x x) 3.0))) (/ 6.0 (- (* x x) 3.0)) (/ 6.0 (- x (sqrt 3.0))) (* 6.0 (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (* 6.0 (+ (* x x) 3.0)) (/ (exp (* x x)) (exp 3.0)) (log (- (* x x) 3.0)) (exp (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)) (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (sqrt (- (* x x) 3.0)) (sqrt (- (* x x) 3.0)) (- (pow (* x x) 3) (pow 3.0 3)) (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))) (- 3.0) (- (* (* x x) (* x x)) (* 3.0 3.0)) (+ (* x x) 3.0) (+ x (sqrt 3.0)) (- x (sqrt 3.0)) (- 3.0) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (pow x 2) 3.0) (- (pow x 2) 3.0) (- (pow x 2) 3.0) 0.152 * * [simplify]: iteration 0 : 89 enodes (cost 587 ) 0.167 * * [simplify]: iteration 1 : 204 enodes (cost 571 ) 0.214 * * [simplify]: iteration 2 : 548 enodes (cost 519 ) 0.442 * * [simplify]: iteration 3 : 2251 enodes (cost 519 ) 1.269 * * [simplify]: iteration done : 5000 enodes (cost 518 ) 1.270 * [simplify]: Simplified to: (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (exp (/ (- (* x x) 3.0) 6.0)) (pow (/ (- (* x x) 3.0) 6.0) 3) (* (cbrt (/ (- (* x x) 3.0) 6.0)) (cbrt (/ (- (* x x) 3.0) 6.0))) (cbrt (/ (- (* x x) 3.0) 6.0)) (pow (/ (- (* x x) 3.0) 6.0) 3) (sqrt (/ (- (* x x) 3.0) 6.0)) (sqrt (/ (- (* x x) 3.0) 6.0)) (- 3.0 (pow x 2)) (- 6.0) (/ (* x x) 6.0) (/ 3.0 6.0) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (cbrt (- (* x x) 3.0)) (cbrt 6.0)) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (sqrt 6.0)) (/ (cbrt (- (* x x) 3.0)) (sqrt 6.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (/ (cbrt (- (* x x) 3.0)) 6.0) (/ (sqrt (- (* x x) 3.0)) (* (cbrt 6.0) (cbrt 6.0))) (/ (sqrt (- (* x x) 3.0)) (cbrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (sqrt (- (* x x) 3.0)) (/ (sqrt (- (* x x) 3.0)) 6.0) (/ 1 (* (cbrt 6.0) (cbrt 6.0))) (/ (- (* x x) 3.0) (cbrt 6.0)) (/ 1 (sqrt 6.0)) (/ (- (* x x) 3.0) (sqrt 6.0)) 1 (/ (- (pow x 2) 3.0) 6.0) (/ (+ x (sqrt 3.0)) (* (cbrt 6.0) (cbrt 6.0))) (/ (- x (sqrt 3.0)) (cbrt 6.0)) (/ (+ x (sqrt 3.0)) (sqrt 6.0)) (/ (- x (sqrt 3.0)) (sqrt 6.0)) (+ (sqrt 3.0) x) (/ (- x (sqrt 3.0)) 6.0) (/ 1 6.0) (/ 6.0 (- (* x x) 3.0)) (/ (- (* x x) 3.0) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (* x x) 3.0) (sqrt 6.0)) (- (pow x 2) 3.0) (/ 6.0 (cbrt (- (* x x) 3.0))) (/ 6.0 (sqrt (- (* x x) 3.0))) (/ 6.0 (- (* x x) 3.0)) (/ 6.0 (- x (sqrt 3.0))) (* 6.0 (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (* 6.0 (+ (* x x) 3.0)) (exp (- (* x x) 3.0)) (log (- (* x x) 3.0)) (exp (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)) (pow (- (pow x 2) 3.0) 3) (sqrt (- (* x x) 3.0)) (sqrt (- (* x x) 3.0)) (- (pow x 6) (pow 3.0 3)) (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)) (- 3.0) (- (pow x 4) (* 3.0 3.0)) (+ (* x x) 3.0) (+ (sqrt 3.0) x) (- x (sqrt 3.0)) (- 3.0) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (pow x 2) 3.0) (- (pow x 2) 3.0) (- (pow x 2) 3.0) 1.270 * * * [progress]: adding candidates to table 1.358 * * [progress]: iteration 2 / 4 1.358 * * * [progress]: picking best candidate 1.366 * * * * [pick]: Picked # 1.366 * * * [progress]: localizing error 1.371 * * * [progress]: generating rewritten candidates 1.371 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.388 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.392 * * * [progress]: generating series expansions 1.392 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.393 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in (x) around 0 1.393 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 1.393 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.393 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 1.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of 3.0 in x 1.393 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 1.393 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.393 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 1.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.393 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of 3.0 in x 1.410 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 1.410 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 1.410 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.410 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.410 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.411 * [taylor]: Taking taylor expansion of 3.0 in x 1.411 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 1.411 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.411 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.411 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.411 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.411 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of 3.0 in x 1.437 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 1.437 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 1.437 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.437 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.437 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.438 * [taylor]: Taking taylor expansion of x in x 1.438 * [taylor]: Taking taylor expansion of 3.0 in x 1.438 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 1.438 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 1.438 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.438 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.438 * [taylor]: Taking taylor expansion of x in x 1.439 * [taylor]: Taking taylor expansion of 3.0 in x 1.461 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.461 * [approximate]: Taking taylor expansion of (- (pow x 2) 3.0) in (x) around 0 1.461 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 1.461 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of 3.0 in x 1.461 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 1.461 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.461 * [taylor]: Taking taylor expansion of 3.0 in x 1.470 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in (x) around 0 1.470 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.470 * [taylor]: Taking taylor expansion of 3.0 in x 1.470 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 3.0 in x 1.485 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in (x) around 0 1.485 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.485 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.485 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of 3.0 in x 1.485 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 1.485 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.485 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.486 * [taylor]: Taking taylor expansion of 3.0 in x 1.502 * * * [progress]: simplifying candidates 1.503 * [simplify]: Simplifying using # : (* (- (* x x) 3.0) (/ 1 6.0)) (+ (log (- (* x x) 3.0)) (- (log 6.0))) (+ (log (- (* x x) 3.0)) (- 0 (log 6.0))) (+ (log (- (* x x) 3.0)) (- (log 1) (log 6.0))) (+ (log (- (* x x) 3.0)) (log (/ 1 6.0))) (log (* (- (* x x) 3.0) (/ 1 6.0))) (exp (* (- (* x x) 3.0) (/ 1 6.0))) (* (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (/ (* (* 1 1) 1) (* (* 6.0 6.0) 6.0))) (* (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (* (* (/ 1 6.0) (/ 1 6.0)) (/ 1 6.0))) (* (cbrt (* (- (* x x) 3.0) (/ 1 6.0))) (cbrt (* (- (* x x) 3.0) (/ 1 6.0)))) (cbrt (* (- (* x x) 3.0) (/ 1 6.0))) (* (* (* (- (* x x) 3.0) (/ 1 6.0)) (* (- (* x x) 3.0) (/ 1 6.0))) (* (- (* x x) 3.0) (/ 1 6.0))) (sqrt (* (- (* x x) 3.0) (/ 1 6.0))) (sqrt (* (- (* x x) 3.0) (/ 1 6.0))) (* (- (pow (* x x) 3) (pow 3.0 3)) 1) (* (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))) 6.0) (* (- (* (* x x) (* x x)) (* 3.0 3.0)) 1) (* (+ (* x x) 3.0) 6.0) (* (sqrt (- (* x x) 3.0)) (sqrt (/ 1 6.0))) (* (sqrt (- (* x x) 3.0)) (sqrt (/ 1 6.0))) (* (sqrt (- (* x x) 3.0)) (/ (sqrt 1) (sqrt 6.0))) (* (sqrt (- (* x x) 3.0)) (/ (sqrt 1) (sqrt 6.0))) (* (sqrt (- (* x x) 3.0)) (/ 1 (sqrt 6.0))) (* (sqrt (- (* x x) 3.0)) (/ 1 (sqrt 6.0))) (* (- (* x x) 3.0) (* (cbrt (/ 1 6.0)) (cbrt (/ 1 6.0)))) (* (- (* x x) 3.0) (sqrt (/ 1 6.0))) (* (- (* x x) 3.0) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 6.0) (cbrt 6.0)))) (* (- (* x x) 3.0) (/ (* (cbrt 1) (cbrt 1)) (sqrt 6.0))) (* (- (* x x) 3.0) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (- (* x x) 3.0) (/ (sqrt 1) (* (cbrt 6.0) (cbrt 6.0)))) (* (- (* x x) 3.0) (/ (sqrt 1) (sqrt 6.0))) (* (- (* x x) 3.0) (/ (sqrt 1) 1)) (* (- (* x x) 3.0) (/ 1 (* (cbrt 6.0) (cbrt 6.0)))) (* (- (* x x) 3.0) (/ 1 (sqrt 6.0))) (* (- (* x x) 3.0) (/ 1 1)) (* (- (* x x) 3.0) 1) (* (- (* x x) 3.0) 1) (* (cbrt (- (* x x) 3.0)) (/ 1 6.0)) (* (sqrt (- (* x x) 3.0)) (/ 1 6.0)) (* (- (* x x) 3.0) (/ 1 6.0)) (* (- x (sqrt 3.0)) (/ 1 6.0)) (* (- (* x x) 3.0) 1) (* (- (pow (* x x) 3) (pow 3.0 3)) (/ 1 6.0)) (* (- (* (* x x) (* x x)) (* 3.0 3.0)) (/ 1 6.0)) (/ (exp (* x x)) (exp 3.0)) (log (- (* x x) 3.0)) (exp (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)) (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (sqrt (- (* x x) 3.0)) (sqrt (- (* x x) 3.0)) (- (pow (* x x) 3) (pow 3.0 3)) (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))) (- 3.0) (- (* (* x x) (* x x)) (* 3.0 3.0)) (+ (* x x) 3.0) (+ x (sqrt 3.0)) (- x (sqrt 3.0)) (- 3.0) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (pow x 2) 3.0) (- (pow x 2) 3.0) (- (pow x 2) 3.0) 1.506 * * [simplify]: iteration 0 : 109 enodes (cost 708 ) 1.533 * * [simplify]: iteration 1 : 262 enodes (cost 608 ) 1.596 * * [simplify]: iteration 2 : 826 enodes (cost 508 ) 2.246 * * [simplify]: iteration 3 : 4274 enodes (cost 508 ) 3.804 * * [simplify]: iteration done : 5000 enodes (cost 508 ) 3.804 * [simplify]: Simplified to: (/ (- (* x x) 3.0) 6.0) (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (exp (/ (- (* x x) 3.0) 6.0)) (pow (/ (- (* x x) 3.0) 6.0) 3) (pow (/ (- (* x x) 3.0) 6.0) 3) (* (cbrt (/ (- (* x x) 3.0) 6.0)) (cbrt (/ (- (* x x) 3.0) 6.0))) (cbrt (/ (- (* x x) 3.0) 6.0)) (pow (/ (- (* x x) 3.0) 6.0) 3) (sqrt (/ (- (* x x) 3.0) 6.0)) (sqrt (/ (- (* x x) 3.0) 6.0)) (- (pow x 6) (pow 3.0 3)) (* (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)) 6.0) (- (pow x 4) (* 3.0 3.0)) (* (+ (* x x) 3.0) 6.0) (* (sqrt (- (* x x) 3.0)) (sqrt (/ 1 6.0))) (* (sqrt (- (* x x) 3.0)) (sqrt (/ 1 6.0))) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (/ (sqrt (- (* x x) 3.0)) (sqrt 6.0)) (* (- (* x x) 3.0) (* (cbrt (/ 1 6.0)) (cbrt (/ 1 6.0)))) (* (- (* x x) 3.0) (sqrt (/ 1 6.0))) (/ (- (* x x) 3.0) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (pow x 2) 3.0) (sqrt 6.0)) (- (* x x) 3.0) (/ (- (* x x) 3.0) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (pow x 2) 3.0) (sqrt 6.0)) (- (* x x) 3.0) (/ (- (* x x) 3.0) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (pow x 2) 3.0) (sqrt 6.0)) (- (* x x) 3.0) (- (* x x) 3.0) (- (* x x) 3.0) (/ (cbrt (- (* x x) 3.0)) 6.0) (/ (sqrt (- (* x x) 3.0)) 6.0) (/ (- (* x x) 3.0) 6.0) (/ (- x (sqrt 3.0)) 6.0) (- (* x x) 3.0) (/ (- (pow x 6) (pow 3.0 3)) 6.0) (/ (- (pow x 4) (* 3.0 3.0)) 6.0) (exp (- (* x x) 3.0)) (log (- (* x x) 3.0)) (exp (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)) (pow (- (* x x) 3.0) 3) (sqrt (- (* x x) 3.0)) (sqrt (- (* x x) 3.0)) (- (pow x 6) (pow 3.0 3)) (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)) (- 3.0) (- (pow x 4) (* 3.0 3.0)) (+ (* x x) 3.0) (+ x (sqrt 3.0)) (- x (sqrt 3.0)) (- 3.0) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* x x) 3.0) (- (* x x) 3.0) (- (* x x) 3.0) 3.805 * * * [progress]: adding candidates to table 3.896 * * [progress]: iteration 3 / 4 3.896 * * * [progress]: picking best candidate 3.902 * * * * [pick]: Picked # 3.902 * * * [progress]: localizing error 3.912 * * * [progress]: generating rewritten candidates 3.912 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.936 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 4.087 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 4.090 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 4.104 * * * [progress]: generating series expansions 4.104 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 4.104 * [approximate]: Taking taylor expansion of (pow (pow (- (pow x 2) 3.0) 2) 1/3) in (x) around 0 4.104 * [taylor]: Taking taylor expansion of (pow (pow (- (pow x 2) 3.0) 2) 1/3) in x 4.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (pow x 2) 3.0) 2)))) in x 4.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (pow x 2) 3.0) 2))) in x 4.104 * [taylor]: Taking taylor expansion of 1/3 in x 4.104 * [taylor]: Taking taylor expansion of (log (pow (- (pow x 2) 3.0) 2)) in x 4.104 * [taylor]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 2) in x 4.104 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.104 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.105 * [taylor]: Taking taylor expansion of x in x 4.105 * [taylor]: Taking taylor expansion of 3.0 in x 4.108 * [taylor]: Taking taylor expansion of (pow (pow (- (pow x 2) 3.0) 2) 1/3) in x 4.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (pow x 2) 3.0) 2)))) in x 4.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (pow x 2) 3.0) 2))) in x 4.108 * [taylor]: Taking taylor expansion of 1/3 in x 4.108 * [taylor]: Taking taylor expansion of (log (pow (- (pow x 2) 3.0) 2)) in x 4.109 * [taylor]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 2) in x 4.109 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.109 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.109 * [taylor]: Taking taylor expansion of x in x 4.109 * [taylor]: Taking taylor expansion of 3.0 in x 4.194 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 2)) 3.0) 2) 1/3) in (x) around 0 4.194 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 2)) 3.0) 2) 1/3) in x 4.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2)))) in x 4.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2))) in x 4.194 * [taylor]: Taking taylor expansion of 1/3 in x 4.194 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 2)) 3.0) 2)) in x 4.194 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 2) in x 4.194 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.194 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.194 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.194 * [taylor]: Taking taylor expansion of x in x 4.195 * [taylor]: Taking taylor expansion of 3.0 in x 4.196 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 2)) 3.0) 2) 1/3) in x 4.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2)))) in x 4.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2))) in x 4.196 * [taylor]: Taking taylor expansion of 1/3 in x 4.196 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 2)) 3.0) 2)) in x 4.196 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 2) in x 4.196 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.196 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.196 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.196 * [taylor]: Taking taylor expansion of x in x 4.197 * [taylor]: Taking taylor expansion of 3.0 in x 4.261 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 2)) 3.0) 2) 1/3) in (x) around 0 4.261 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 2)) 3.0) 2) 1/3) in x 4.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2)))) in x 4.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2))) in x 4.261 * [taylor]: Taking taylor expansion of 1/3 in x 4.261 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 2)) 3.0) 2)) in x 4.261 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 2) in x 4.261 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.261 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.261 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.261 * [taylor]: Taking taylor expansion of x in x 4.261 * [taylor]: Taking taylor expansion of 3.0 in x 4.262 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 (pow x 2)) 3.0) 2) 1/3) in x 4.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2)))) in x 4.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 (pow x 2)) 3.0) 2))) in x 4.263 * [taylor]: Taking taylor expansion of 1/3 in x 4.263 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 (pow x 2)) 3.0) 2)) in x 4.263 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 2) in x 4.263 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.263 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.263 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.263 * [taylor]: Taking taylor expansion of x in x 4.263 * [taylor]: Taking taylor expansion of 3.0 in x 4.327 * * * * [progress]: [ 2 / 4 ] generating series at (2) 4.327 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in (x) around 0 4.327 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 4.327 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 4.327 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.327 * [taylor]: Taking taylor expansion of x in x 4.327 * [taylor]: Taking taylor expansion of 3.0 in x 4.327 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (pow x 2) 3.0)) in x 4.327 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 4.327 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.327 * [taylor]: Taking taylor expansion of x in x 4.327 * [taylor]: Taking taylor expansion of 3.0 in x 4.344 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 4.344 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 4.344 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 4.345 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.345 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.345 * [taylor]: Taking taylor expansion of x in x 4.345 * [taylor]: Taking taylor expansion of 3.0 in x 4.345 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 4.345 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 4.345 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.345 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.345 * [taylor]: Taking taylor expansion of x in x 4.346 * [taylor]: Taking taylor expansion of 3.0 in x 4.372 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in (x) around 0 4.373 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 4.373 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 4.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.373 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.373 * [taylor]: Taking taylor expansion of x in x 4.373 * [taylor]: Taking taylor expansion of 3.0 in x 4.373 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 (pow x 2)) 3.0)) in x 4.373 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 4.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.373 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.373 * [taylor]: Taking taylor expansion of x in x 4.374 * [taylor]: Taking taylor expansion of 3.0 in x 4.396 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 4.396 * [approximate]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 1/3) in (x) around 0 4.396 * [taylor]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 1/3) in x 4.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 2) 3.0)))) in x 4.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 2) 3.0))) in x 4.396 * [taylor]: Taking taylor expansion of 1/3 in x 4.396 * [taylor]: Taking taylor expansion of (log (- (pow x 2) 3.0)) in x 4.396 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.396 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.396 * [taylor]: Taking taylor expansion of x in x 4.396 * [taylor]: Taking taylor expansion of 3.0 in x 4.400 * [taylor]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 1/3) in x 4.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 2) 3.0)))) in x 4.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 2) 3.0))) in x 4.400 * [taylor]: Taking taylor expansion of 1/3 in x 4.400 * [taylor]: Taking taylor expansion of (log (- (pow x 2) 3.0)) in x 4.400 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.400 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.400 * [taylor]: Taking taylor expansion of x in x 4.400 * [taylor]: Taking taylor expansion of 3.0 in x 4.474 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in (x) around 0 4.474 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.474 * [taylor]: Taking taylor expansion of 1/3 in x 4.474 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.474 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.474 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.474 * [taylor]: Taking taylor expansion of x in x 4.475 * [taylor]: Taking taylor expansion of 3.0 in x 4.475 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.475 * [taylor]: Taking taylor expansion of 1/3 in x 4.476 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.476 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [taylor]: Taking taylor expansion of 3.0 in x 4.531 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in (x) around 0 4.531 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.531 * [taylor]: Taking taylor expansion of 1/3 in x 4.531 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.531 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.531 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.531 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.531 * [taylor]: Taking taylor expansion of x in x 4.532 * [taylor]: Taking taylor expansion of 3.0 in x 4.533 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.533 * [taylor]: Taking taylor expansion of 1/3 in x 4.533 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.533 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.533 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.533 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.533 * [taylor]: Taking taylor expansion of x in x 4.533 * [taylor]: Taking taylor expansion of 3.0 in x 4.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 4.584 * [approximate]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 1/3) in (x) around 0 4.584 * [taylor]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 1/3) in x 4.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 2) 3.0)))) in x 4.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 2) 3.0))) in x 4.584 * [taylor]: Taking taylor expansion of 1/3 in x 4.584 * [taylor]: Taking taylor expansion of (log (- (pow x 2) 3.0)) in x 4.584 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.584 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.584 * [taylor]: Taking taylor expansion of x in x 4.584 * [taylor]: Taking taylor expansion of 3.0 in x 4.588 * [taylor]: Taking taylor expansion of (pow (- (pow x 2) 3.0) 1/3) in x 4.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (pow x 2) 3.0)))) in x 4.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (pow x 2) 3.0))) in x 4.589 * [taylor]: Taking taylor expansion of 1/3 in x 4.589 * [taylor]: Taking taylor expansion of (log (- (pow x 2) 3.0)) in x 4.589 * [taylor]: Taking taylor expansion of (- (pow x 2) 3.0) in x 4.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.589 * [taylor]: Taking taylor expansion of x in x 4.589 * [taylor]: Taking taylor expansion of 3.0 in x 4.690 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in (x) around 0 4.690 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.690 * [taylor]: Taking taylor expansion of 1/3 in x 4.690 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.690 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.690 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.690 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.690 * [taylor]: Taking taylor expansion of x in x 4.691 * [taylor]: Taking taylor expansion of 3.0 in x 4.692 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.692 * [taylor]: Taking taylor expansion of 1/3 in x 4.692 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.692 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.692 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.692 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.692 * [taylor]: Taking taylor expansion of x in x 4.692 * [taylor]: Taking taylor expansion of 3.0 in x 4.747 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in (x) around 0 4.747 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.747 * [taylor]: Taking taylor expansion of 1/3 in x 4.747 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.747 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.747 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.747 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.747 * [taylor]: Taking taylor expansion of x in x 4.748 * [taylor]: Taking taylor expansion of 3.0 in x 4.749 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 2)) 3.0) 1/3) in x 4.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 (pow x 2)) 3.0)))) in x 4.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 (pow x 2)) 3.0))) in x 4.749 * [taylor]: Taking taylor expansion of 1/3 in x 4.749 * [taylor]: Taking taylor expansion of (log (- (/ 1 (pow x 2)) 3.0)) in x 4.749 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 3.0) in x 4.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.749 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.749 * [taylor]: Taking taylor expansion of x in x 4.749 * [taylor]: Taking taylor expansion of 3.0 in x 4.805 * * * [progress]: simplifying candidates 4.809 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* (- (* x x) 3.0) (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (+ 1 1) (+ (log (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0)))) (log (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (exp (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (- (* x x) 3.0) (- (* x x) 3.0)) (* (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (sqrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (sqrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* x x) 3.0))) (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (* (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))))) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (+ x (sqrt 3.0))) (cbrt (+ x (sqrt 3.0)))) (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (* (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0))))) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0)))) (* 1 1) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0)))) (* 2 1/3) (* 2 1) (* (cbrt (- (* x x) 3.0)) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))))) (* (cbrt (- (* x x) 3.0)) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (- (* x x) 3.0)) (cbrt 1)) (* (cbrt (- (* x x) 3.0)) (cbrt (+ x (sqrt 3.0)))) (* (cbrt (- (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0))))) (* (cbrt (- (* x x) 3.0)) (sqrt (cbrt (- (* x x) 3.0)))) (* (cbrt (- (* x x) 3.0)) 1) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- x (sqrt 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (+ (+ (+ (log (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (- (log 6.0))) (+ (+ (+ (log (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (- 0 (log 6.0))) (+ (+ (+ (log (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (- (log 1) (log 6.0))) (+ (+ (+ (log (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (log (/ 1 6.0))) (+ (+ (log (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (- (log 6.0))) (+ (+ (log (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (- 0 (log 6.0))) (+ (+ (log (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (- (log 1) (log 6.0))) (+ (+ (log (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (log (cbrt (- (* x x) 3.0)))) (log (/ 1 6.0))) (+ (log (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (- (log 6.0))) (+ (log (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (- 0 (log 6.0))) (+ (log (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (- (log 1) (log 6.0))) (+ (log (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (log (/ 1 6.0))) (log (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (exp (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (* (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (/ (* (* 1 1) 1) (* (* 6.0 6.0) 6.0))) (* (* (* (- (* x x) 3.0) (- (* x x) 3.0)) (- (* x x) 3.0)) (* (* (/ 1 6.0) (/ 1 6.0)) (/ 1 6.0))) (* (* (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (- (* x x) 3.0)) (/ (* (* 1 1) 1) (* (* 6.0 6.0) 6.0))) (* (* (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (- (* x x) 3.0)) (* (* (/ 1 6.0) (/ 1 6.0)) (/ 1 6.0))) (* (* (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (/ (* (* 1 1) 1) (* (* 6.0 6.0) 6.0))) (* (* (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0)))) (* (* (/ 1 6.0) (/ 1 6.0)) (/ 1 6.0))) (* (cbrt (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (cbrt (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)))) (cbrt (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (* (* (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (sqrt (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (sqrt (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0))) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* x x) 3.0))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* x x) 3.0))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) 1) (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) 1) (* (cbrt (+ (* x x) 3.0)) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* x x) 3.0))) 1) (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) 1) (* (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* x x) 3.0))) 1) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0))))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) 1) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* x x) 3.0))) 1) (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) 1) (* (cbrt (+ (* x x) 3.0)) 6.0) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) 1) (* (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) 6.0) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) 1) (* (cbrt (+ (* x x) 3.0)) 6.0) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (/ 1 6.0)) (cbrt (/ 1 6.0)))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (sqrt (/ 1 6.0))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt 6.0) (cbrt 6.0)))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ (* (cbrt 1) (cbrt 1)) (sqrt 6.0))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ (sqrt 1) (* (cbrt 6.0) (cbrt 6.0)))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ (sqrt 1) (sqrt 6.0))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ (sqrt 1) 1)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 (* (cbrt 6.0) (cbrt 6.0)))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 (sqrt 6.0))) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 1)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) 1) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) 1) (* (cbrt (- (* x x) 3.0)) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) 1) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow (* x x) 3) (pow 3.0 3)))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (* (* (* (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (/ 1 6.0)) (log (cbrt (- (* x x) 3.0))) (exp (cbrt (- (* x x) 3.0))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) (cbrt 1) (cbrt (- (* x x) 3.0)) (cbrt (+ x (sqrt 3.0))) (cbrt (- x (sqrt 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (+ (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0))) (exp (cbrt (- (* x x) 3.0))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) (cbrt 1) (cbrt (- (* x x) 3.0)) (cbrt (+ x (sqrt 3.0))) (cbrt (- x (sqrt 3.0))) (cbrt (- (pow (* x x) 3) (pow 3.0 3))) (cbrt (+ (* (* x x) (* x x)) (+ (* 3.0 3.0) (* (* x x) 3.0)))) (cbrt (- (* (* x x) (* x x)) (* 3.0 3.0))) (cbrt (+ (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (* (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0))) (- (+ (pow 9.0 1/3) (* 0.06172839506172839 (* (pow x 4) (pow 9.0 1/3)))) (+ (* 0.2222222222222222 (* (pow x 2) (pow 9.0 1/3))) (* 6.0 (* (pow x 4) (pow (/ 1 (pow 9.0 5)) 1/3))))) (- (pow (/ 1 x) -4/3) (+ (* 2.0 (pow (/ 1 (pow x 2)) 1/3)) (* 1.0 (pow (/ 1 (pow x 8)) 1/3)))) (- (pow (/ -1 x) -4/3) (+ (* 2.0 (pow (/ 1 (pow x 2)) 1/3)) (* 1.0 (pow (/ 1 (pow x 8)) 1/3)))) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (+ (* 0.006172839506172839 (* (pow x 4) (pow -3.0 1/3))) (pow (- 3.0) 1/3)) (+ (* 0.1111111111111111 (* (pow x 2) (pow -3.0 1/3))) (* 1/6 (* (pow x 4) (pow (/ 1 (pow -3.0 5)) 1/3))))) (- (pow (/ 1 x) -2/3) (+ (* 1.0 (pow (/ 1 (pow x 10)) 1/3)) (* 1.0 (pow (/ 1 (pow x 4)) 1/3)))) (- (pow (/ -1 x) -2/3) (+ (* 1.0 (pow (/ 1 (pow x 10)) 1/3)) (* 1.0 (pow (/ 1 (pow x 4)) 1/3)))) (- (+ (* 0.006172839506172839 (* (pow x 4) (pow -3.0 1/3))) (pow (- 3.0) 1/3)) (+ (* 0.1111111111111111 (* (pow x 2) (pow -3.0 1/3))) (* 1/6 (* (pow x 4) (pow (/ 1 (pow -3.0 5)) 1/3))))) (- (pow (/ 1 x) -2/3) (+ (* 1.0 (pow (/ 1 (pow x 10)) 1/3)) (* 1.0 (pow (/ 1 (pow x 4)) 1/3)))) (- (pow (/ -1 x) -2/3) (+ (* 1.0 (pow (/ 1 (pow x 10)) 1/3)) (* 1.0 (pow (/ 1 (pow x 4)) 1/3)))) 4.823 * * [simplify]: iteration 0 : 336 enodes (cost 5422 ) 4.918 * * [simplify]: iteration 1 : 826 enodes (cost 4584 ) 5.140 * * [simplify]: iteration 2 : 2592 enodes (cost 3941 ) 5.877 * * [simplify]: iteration done : 5001 enodes (cost 3941 ) 5.879 * [simplify]: Simplified to: 2/3 2 (* (- (* x x) 3.0) (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) 2 (* 2 (log (cbrt (- (* x x) 3.0)))) (* 2 (log (cbrt (- (* x x) 3.0)))) (exp (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (- (* x x) 3.0) (- (* x x) 3.0)) (* (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (pow (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) 3) (fabs (cbrt (- (* x x) 3.0))) (fabs (cbrt (- (* x x) 3.0))) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3)))) (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (* (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))))) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) 1 (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (+ x (sqrt 3.0))) (cbrt (+ x (sqrt 3.0)))) (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (* (cbrt (cbrt (- (* x x) 3.0))) (pow (cbrt (cbrt (- (* x x) 3.0))) 3)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)) 1 (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (* (sqrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0)))) (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)) 2/3 2 (* (cbrt (- (* x x) 3.0)) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))))) (* (cbrt (- (* x x) 3.0)) (cbrt (sqrt (- (* x x) 3.0)))) (cbrt (- (* x x) 3.0)) (* (cbrt (- (* x x) 3.0)) (cbrt (+ x (sqrt 3.0)))) (* (cbrt (- (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0))))) (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (cbrt (- (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (sqrt (- (* x x) 3.0)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- x (sqrt 3.0))) (cbrt (- (* x x) 3.0))) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (- (* x x) 3.0))) (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 6) (pow 3.0 3)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 6) (pow 3.0 3)))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (- (* 3 (log (cbrt (- (* x x) 3.0)))) (log 6.0)) (exp (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0)) (/ (pow (- (* x x) 3.0) 3) (pow 6.0 3)) (/ (pow (- (* x x) 3.0) 3) (pow 6.0 3)) (/ (* (- (* x x) 3.0) (pow (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) 3)) (pow 6.0 3)) (/ (* (- (* x x) 3.0) (pow (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) 3)) (pow 6.0 3)) (pow (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0) 3) (pow (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0) 3) (* (cbrt (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0)) (cbrt (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0))) (cbrt (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0)) (pow (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0) 3) (sqrt (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0)) (sqrt (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) 6.0)) (pow (cbrt (- (pow x 6) (pow 3.0 3))) 3) (* (pow (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) 3) 6.0) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (pow x 6) (pow 3.0 3)))) (* (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (+ (* x x) 3.0)) 6.0)) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (pow x 6) (pow 3.0 3)))) (* (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (+ (* x x) 3.0)) 6.0)) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (* 6.0 (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (pow x 6) (pow 3.0 3)))) (* (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (+ (* x x) 3.0)) 6.0)) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (* 6.0 (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) (* 6.0 (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (pow (cbrt (- (pow x 4) (* 3.0 3.0))) 3) (* 6.0 (pow (cbrt (+ (* x x) 3.0)) 3)) (* (cbrt (- (* x x) 3.0)) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3))))) (* (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) 6.0) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* 6.0 (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* 6.0 (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) 6.0) (* (cbrt (- (* x x) 3.0)) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3))))) (* (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) 6.0) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* 6.0 (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* 6.0 (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) 6.0) (* (cbrt (- (pow x 6) (pow 3.0 3))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* 6.0 (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (+ (* x x) 3.0)) 6.0) (* (cbrt (- (* x x) 3.0)) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3))))) (* (* (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) 6.0) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* 6.0 (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* 6.0 (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))))) (* (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (cbrt (- (* x x) 3.0))) (* (* (cbrt (+ (* x x) 3.0)) (cbrt (+ (* x x) 3.0))) 6.0) (* (cbrt (- (pow x 6) (pow 3.0 3))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* 6.0 (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (+ (* x x) 3.0)) 6.0) (* (cbrt (- (pow x 6) (pow 3.0 3))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* 6.0 (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4)))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (* (cbrt (+ (* x x) 3.0)) 6.0) (* (* (cbrt (/ 1 6.0)) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3))) (cbrt (/ 1 6.0))) (* (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (sqrt (/ 1 6.0))) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (* (cbrt 6.0) (cbrt 6.0))) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (sqrt 6.0)) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (* (cbrt 6.0) (cbrt 6.0))) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (sqrt 6.0)) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (* (cbrt 6.0) (cbrt 6.0))) (/ (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (sqrt 6.0)) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (/ (cbrt (- (* x x) 3.0)) 6.0) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (/ (pow (cbrt (- (pow x 6) (pow 3.0 3))) 3) 6.0) (/ (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3)))) (/ 6.0 (cbrt (- (pow x 4) (* 3.0 3.0))))) (/ (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3)))) (/ 6.0 (cbrt (- (pow x 4) (* 3.0 3.0))))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (pow x 6) (pow 3.0 3))) (/ (cbrt (- (pow x 4) (* 3.0 3.0))) 6.0))) (/ (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3)))) (/ 6.0 (cbrt (- (pow x 4) (* 3.0 3.0))))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (pow x 6) (pow 3.0 3))) (/ (cbrt (- (pow x 4) (* 3.0 3.0))) 6.0))) (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (pow x 6) (pow 3.0 3))) (/ (cbrt (- (pow x 4) (* 3.0 3.0))) 6.0))) (/ (pow (cbrt (- (pow x 4) (* 3.0 3.0))) 3) 6.0) (* (/ (cbrt (- (* x x) 3.0)) 6.0) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3))))) (/ (cbrt (- (pow x 6) (pow 3.0 3))) (/ 6.0 (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))))) (/ (cbrt (- (pow x 6) (pow 3.0 3))) (/ 6.0 (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))))) (* (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (/ (cbrt (- (* x x) 3.0)) 6.0)) (* (/ (cbrt (- (* x x) 3.0)) 6.0) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3))))) (/ (cbrt (- (pow x 6) (pow 3.0 3))) (/ 6.0 (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))))) (/ (cbrt (- (pow x 6) (pow 3.0 3))) (/ 6.0 (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))))) (* (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (/ (cbrt (- (* x x) 3.0)) 6.0)) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (/ 6.0 (cbrt (- (pow x 6) (pow 3.0 3))))) (/ (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) 6.0) (* (/ (cbrt (- (* x x) 3.0)) 6.0) (* (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (- (pow x 6) (pow 3.0 3))))) (/ (cbrt (- (pow x 6) (pow 3.0 3))) (/ 6.0 (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))))) (/ (cbrt (- (pow x 6) (pow 3.0 3))) (/ 6.0 (* (cbrt (- (* x x) 3.0)) (cbrt (- (pow x 4) (* 3.0 3.0)))))) (* (* (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (- (pow x 4) (* 3.0 3.0)))) (/ (cbrt (- (* x x) 3.0)) 6.0)) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (/ 6.0 (cbrt (- (pow x 6) (pow 3.0 3))))) (/ (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) 6.0) (/ (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0))) (/ 6.0 (cbrt (- (pow x 6) (pow 3.0 3))))) (/ (* (cbrt (- (pow x 4) (* 3.0 3.0))) (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) 6.0) (log (cbrt (- (* x x) 3.0))) (exp (cbrt (- (* x x) 3.0))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) 1 (cbrt (- (* x x) 3.0)) (cbrt (+ x (sqrt 3.0))) (cbrt (- x (sqrt 3.0))) (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (+ (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0))) (log (cbrt (- (* x x) 3.0))) (exp (cbrt (- (* x x) 3.0))) (cbrt (* (cbrt (- (* x x) 3.0)) (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) (cbrt (sqrt (- (* x x) 3.0))) 1 (cbrt (- (* x x) 3.0)) (cbrt (+ x (sqrt 3.0))) (cbrt (- x (sqrt 3.0))) (cbrt (- (pow x 6) (pow 3.0 3))) (cbrt (+ (* 3.0 (+ (* x x) 3.0)) (pow x 4))) (cbrt (- (pow x 4) (* 3.0 3.0))) (cbrt (+ (* x x) 3.0)) (* (cbrt (cbrt (- (* x x) 3.0))) (cbrt (cbrt (- (* x x) 3.0)))) (cbrt (cbrt (- (* x x) 3.0))) (* (pow (sqrt (cbrt (- (* x x) 3.0))) 3) (pow (sqrt (cbrt (- (* x x) 3.0))) 3)) (sqrt (cbrt (- (* x x) 3.0))) (sqrt (cbrt (- (* x x) 3.0))) (- (- (* (+ (* 0.06172839506172839 (pow x 4)) 1) (cbrt 9.0)) (* (* (* x x) (cbrt 9.0)) 0.2222222222222222)) (* 6.0 (* (pow x 4) (cbrt (/ 1 (pow 9.0 5)))))) (- (- (pow (/ 1 x) -4/3) (* (cbrt (/ 1 (pow x 2))) 2.0)) (* (cbrt (/ 1 (pow x 8))) 1.0)) (- (- (pow (/ -1 x) -4/3) (* (cbrt (/ 1 (pow x 2))) 2.0)) (* (cbrt (/ 1 (pow x 8))) 1.0)) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (* 0.16666666666666666 (pow x 2)) 0.5) (- (- (+ (cbrt (- 3.0)) (* (* 0.006172839506172839 (pow x 4)) (cbrt -3.0))) (* (* (cbrt -3.0) (* x x)) 0.1111111111111111)) (* (* 1/6 (pow x 4)) (cbrt (/ 1 (pow -3.0 5))))) (- (pow (/ 1 x) -2/3) (* 1.0 (+ (cbrt (/ 1 (pow x 10))) (cbrt (/ 1 (pow x 4)))))) (- (pow (/ -1 x) -2/3) (* 1.0 (+ (cbrt (/ 1 (pow x 10))) (cbrt (/ 1 (pow x 4)))))) (- (- (+ (cbrt (- 3.0)) (* (* 0.006172839506172839 (pow x 4)) (cbrt -3.0))) (* (* (cbrt -3.0) (* x x)) 0.1111111111111111)) (* (* 1/6 (pow x 4)) (cbrt (/ 1 (pow -3.0 5))))) (- (pow (/ 1 x) -2/3) (* 1.0 (+ (cbrt (/ 1 (pow x 10))) (cbrt (/ 1 (pow x 4)))))) (- (pow (/ -1 x) -2/3) (* 1.0 (+ (cbrt (/ 1 (pow x 10))) (cbrt (/ 1 (pow x 4)))))) 5.880 * * * [progress]: adding candidates to table 6.303 * * [progress]: iteration 4 / 4 6.303 * * * [progress]: picking best candidate 6.308 * * * * [pick]: Picked # 6.308 * * * [progress]: localizing error 6.315 * * * [progress]: generating rewritten candidates 6.315 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 6.349 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 6.359 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 6.362 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.370 * * * [progress]: generating series expansions 6.370 * * * * [progress]: [ 1 / 4 ] generating series at (2) 6.371 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (* (+ x (sqrt 3.0)) (- x (sqrt 3.0)))) in (x) around 0 6.371 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (+ x (sqrt 3.0)) (- x (sqrt 3.0)))) in x 6.371 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.371 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 3.0)) (- x (sqrt 3.0))) in x 6.371 * [taylor]: Taking taylor expansion of (+ x (sqrt 3.0)) in x 6.371 * [taylor]: Taking taylor expansion of x in x 6.371 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.371 * [taylor]: Taking taylor expansion of 3.0 in x 6.372 * [taylor]: Taking taylor expansion of (- x (sqrt 3.0)) in x 6.372 * [taylor]: Taking taylor expansion of x in x 6.372 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.372 * [taylor]: Taking taylor expansion of 3.0 in x 6.373 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (+ x (sqrt 3.0)) (- x (sqrt 3.0)))) in x 6.373 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.373 * [taylor]: Taking taylor expansion of (* (+ x (sqrt 3.0)) (- x (sqrt 3.0))) in x 6.373 * [taylor]: Taking taylor expansion of (+ x (sqrt 3.0)) in x 6.373 * [taylor]: Taking taylor expansion of x in x 6.373 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.373 * [taylor]: Taking taylor expansion of 3.0 in x 6.373 * [taylor]: Taking taylor expansion of (- x (sqrt 3.0)) in x 6.374 * [taylor]: Taking taylor expansion of x in x 6.374 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.374 * [taylor]: Taking taylor expansion of 3.0 in x 6.423 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (* (+ (sqrt 3.0) (/ 1 x)) (- (/ 1 x) (sqrt 3.0)))) in (x) around 0 6.423 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (+ (sqrt 3.0) (/ 1 x)) (- (/ 1 x) (sqrt 3.0)))) in x 6.423 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.423 * [taylor]: Taking taylor expansion of (* (+ (sqrt 3.0) (/ 1 x)) (- (/ 1 x) (sqrt 3.0))) in x 6.423 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.423 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.423 * [taylor]: Taking taylor expansion of 3.0 in x 6.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.424 * [taylor]: Taking taylor expansion of x in x 6.424 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in x 6.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.424 * [taylor]: Taking taylor expansion of x in x 6.424 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.424 * [taylor]: Taking taylor expansion of 3.0 in x 6.425 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (+ (sqrt 3.0) (/ 1 x)) (- (/ 1 x) (sqrt 3.0)))) in x 6.425 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.425 * [taylor]: Taking taylor expansion of (* (+ (sqrt 3.0) (/ 1 x)) (- (/ 1 x) (sqrt 3.0))) in x 6.425 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.425 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.425 * [taylor]: Taking taylor expansion of 3.0 in x 6.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.426 * [taylor]: Taking taylor expansion of x in x 6.426 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in x 6.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.426 * [taylor]: Taking taylor expansion of x in x 6.426 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.426 * [taylor]: Taking taylor expansion of 3.0 in x 6.478 * [approximate]: Taking taylor expansion of (* -0.16666666666666666 (* (- (sqrt 3.0) (/ 1 x)) (+ (sqrt 3.0) (/ 1 x)))) in (x) around 0 6.478 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (* (- (sqrt 3.0) (/ 1 x)) (+ (sqrt 3.0) (/ 1 x)))) in x 6.478 * [taylor]: Taking taylor expansion of -0.16666666666666666 in x 6.478 * [taylor]: Taking taylor expansion of (* (- (sqrt 3.0) (/ 1 x)) (+ (sqrt 3.0) (/ 1 x))) in x 6.478 * [taylor]: Taking taylor expansion of (- (sqrt 3.0) (/ 1 x)) in x 6.478 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.478 * [taylor]: Taking taylor expansion of 3.0 in x 6.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.479 * [taylor]: Taking taylor expansion of x in x 6.479 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.479 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.479 * [taylor]: Taking taylor expansion of 3.0 in x 6.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.480 * [taylor]: Taking taylor expansion of x in x 6.480 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (* (- (sqrt 3.0) (/ 1 x)) (+ (sqrt 3.0) (/ 1 x)))) in x 6.480 * [taylor]: Taking taylor expansion of -0.16666666666666666 in x 6.480 * [taylor]: Taking taylor expansion of (* (- (sqrt 3.0) (/ 1 x)) (+ (sqrt 3.0) (/ 1 x))) in x 6.480 * [taylor]: Taking taylor expansion of (- (sqrt 3.0) (/ 1 x)) in x 6.480 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.480 * [taylor]: Taking taylor expansion of 3.0 in x 6.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.481 * [taylor]: Taking taylor expansion of x in x 6.481 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.481 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.481 * [taylor]: Taking taylor expansion of 3.0 in x 6.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.482 * [taylor]: Taking taylor expansion of x in x 6.534 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 6.534 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- x (sqrt 3.0))) in (x) around 0 6.534 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- x (sqrt 3.0))) in x 6.534 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.534 * [taylor]: Taking taylor expansion of (- x (sqrt 3.0)) in x 6.534 * [taylor]: Taking taylor expansion of x in x 6.534 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.534 * [taylor]: Taking taylor expansion of 3.0 in x 6.535 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- x (sqrt 3.0))) in x 6.535 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.535 * [taylor]: Taking taylor expansion of (- x (sqrt 3.0)) in x 6.535 * [taylor]: Taking taylor expansion of x in x 6.535 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.535 * [taylor]: Taking taylor expansion of 3.0 in x 6.554 * [approximate]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 x) (sqrt 3.0))) in (x) around 0 6.554 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 x) (sqrt 3.0))) in x 6.554 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.554 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in x 6.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.554 * [taylor]: Taking taylor expansion of x in x 6.555 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.555 * [taylor]: Taking taylor expansion of 3.0 in x 6.555 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (- (/ 1 x) (sqrt 3.0))) in x 6.555 * [taylor]: Taking taylor expansion of 0.16666666666666666 in x 6.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in x 6.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.556 * [taylor]: Taking taylor expansion of x in x 6.556 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.556 * [taylor]: Taking taylor expansion of 3.0 in x 6.583 * [approximate]: Taking taylor expansion of (* -0.16666666666666666 (+ (sqrt 3.0) (/ 1 x))) in (x) around 0 6.583 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (+ (sqrt 3.0) (/ 1 x))) in x 6.583 * [taylor]: Taking taylor expansion of -0.16666666666666666 in x 6.583 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.583 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.583 * [taylor]: Taking taylor expansion of 3.0 in x 6.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.584 * [taylor]: Taking taylor expansion of x in x 6.584 * [taylor]: Taking taylor expansion of (* -0.16666666666666666 (+ (sqrt 3.0) (/ 1 x))) in x 6.584 * [taylor]: Taking taylor expansion of -0.16666666666666666 in x 6.584 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.584 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.584 * [taylor]: Taking taylor expansion of 3.0 in x 6.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.585 * [taylor]: Taking taylor expansion of x in x 6.603 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 6.603 * [approximate]: Taking taylor expansion of (- x (sqrt 3.0)) in (x) around 0 6.603 * [taylor]: Taking taylor expansion of (- x (sqrt 3.0)) in x 6.603 * [taylor]: Taking taylor expansion of x in x 6.604 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.604 * [taylor]: Taking taylor expansion of 3.0 in x 6.604 * [taylor]: Taking taylor expansion of (- x (sqrt 3.0)) in x 6.604 * [taylor]: Taking taylor expansion of x in x 6.604 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.604 * [taylor]: Taking taylor expansion of 3.0 in x 6.615 * [approximate]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in (x) around 0 6.615 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in x 6.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.615 * [taylor]: Taking taylor expansion of x in x 6.615 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.615 * [taylor]: Taking taylor expansion of 3.0 in x 6.616 * [taylor]: Taking taylor expansion of (- (/ 1 x) (sqrt 3.0)) in x 6.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.616 * [taylor]: Taking taylor expansion of x in x 6.616 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.616 * [taylor]: Taking taylor expansion of 3.0 in x 6.629 * [approximate]: Taking taylor expansion of (- (+ (sqrt 3.0) (/ 1 x))) in (x) around 0 6.629 * [taylor]: Taking taylor expansion of (- (+ (sqrt 3.0) (/ 1 x))) in x 6.629 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.629 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.629 * [taylor]: Taking taylor expansion of 3.0 in x 6.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.629 * [taylor]: Taking taylor expansion of x in x 6.630 * [taylor]: Taking taylor expansion of (- (+ (sqrt 3.0) (/ 1 x))) in x 6.630 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.630 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.630 * [taylor]: Taking taylor expansion of 3.0 in x 6.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.630 * [taylor]: Taking taylor expansion of x in x 6.642 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.643 * [approximate]: Taking taylor expansion of (+ x (sqrt 3.0)) in (x) around 0 6.643 * [taylor]: Taking taylor expansion of (+ x (sqrt 3.0)) in x 6.643 * [taylor]: Taking taylor expansion of x in x 6.643 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.643 * [taylor]: Taking taylor expansion of 3.0 in x 6.644 * [taylor]: Taking taylor expansion of (+ x (sqrt 3.0)) in x 6.644 * [taylor]: Taking taylor expansion of x in x 6.644 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.644 * [taylor]: Taking taylor expansion of 3.0 in x 6.651 * [approximate]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in (x) around 0 6.651 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.651 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.651 * [taylor]: Taking taylor expansion of 3.0 in x 6.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.652 * [taylor]: Taking taylor expansion of x in x 6.652 * [taylor]: Taking taylor expansion of (+ (sqrt 3.0) (/ 1 x)) in x 6.652 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.652 * [taylor]: Taking taylor expansion of 3.0 in x 6.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.653 * [taylor]: Taking taylor expansion of x in x 6.668 * [approximate]: Taking taylor expansion of (- (sqrt 3.0) (/ 1 x)) in (x) around 0 6.668 * [taylor]: Taking taylor expansion of (- (sqrt 3.0) (/ 1 x)) in x 6.668 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.668 * [taylor]: Taking taylor expansion of 3.0 in x 6.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.669 * [taylor]: Taking taylor expansion of x in x 6.669 * [taylor]: Taking taylor expansion of (- (sqrt 3.0) (/ 1 x)) in x 6.669 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 6.669 * [taylor]: Taking taylor expansion of 3.0 in x 6.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.670 * [taylor]: Taking taylor expansion of x in x 6.681 * * * [progress]: simplifying candidates 6.683 * [simplify]: Simplifying using # : (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0)) (+ (log (+ x (sqrt 3.0))) (- (log (- x (sqrt 3.0))) (log 6.0))) (+ (log (+ x (sqrt 3.0))) (log (/ (- x (sqrt 3.0)) 6.0))) (log (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (exp (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (* (* (* (+ x (sqrt 3.0)) (+ x (sqrt 3.0))) (+ x (sqrt 3.0))) (/ (* (* (- x (sqrt 3.0)) (- x (sqrt 3.0))) (- x (sqrt 3.0))) (* (* 6.0 6.0) 6.0))) (* (* (* (+ x (sqrt 3.0)) (+ x (sqrt 3.0))) (+ x (sqrt 3.0))) (* (* (/ (- x (sqrt 3.0)) 6.0) (/ (- x (sqrt 3.0)) 6.0)) (/ (- x (sqrt 3.0)) 6.0))) (* (cbrt (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (cbrt (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0)))) (cbrt (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (* (* (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0)) (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (sqrt (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (sqrt (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0))) (* (+ (pow x 3) (pow (sqrt 3.0) 3)) (- x (sqrt 3.0))) (* (+ (* x x) (- (* (sqrt 3.0) (sqrt 3.0)) (* x (sqrt 3.0)))) 6.0) (* (- (* x x) (* (sqrt 3.0) (sqrt 3.0))) (- x (sqrt 3.0))) (* (- x (sqrt 3.0)) 6.0) (* (sqrt (+ x (sqrt 3.0))) (sqrt (/ (- x (sqrt 3.0)) 6.0))) (* (sqrt (+ x (sqrt 3.0))) (sqrt (/ (- x (sqrt 3.0)) 6.0))) (* (sqrt (+ x (sqrt 3.0))) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0))) (* (sqrt (+ x (sqrt 3.0))) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (* (cbrt (/ (- x (sqrt 3.0)) 6.0)) (cbrt (/ (- x (sqrt 3.0)) 6.0)))) (* (+ x (sqrt 3.0)) (sqrt (/ (- x (sqrt 3.0)) 6.0))) (* (+ x (sqrt 3.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) 1)) (* (+ x (sqrt 3.0)) (/ (sqrt (- x (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (/ (sqrt (- x (sqrt 3.0))) 1)) (* (+ x (sqrt 3.0)) (/ 1 (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ 1 (sqrt 6.0))) (* (+ x (sqrt 3.0)) (/ 1 1)) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) 1)) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) 1)) (* (+ x (sqrt 3.0)) (/ 1 (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ 1 (sqrt 6.0))) (* (+ x (sqrt 3.0)) (/ 1 1)) (* (+ x (sqrt 3.0)) 1) (* (+ x (sqrt 3.0)) (- x (sqrt 3.0))) (* (cbrt (+ x (sqrt 3.0))) (/ (- x (sqrt 3.0)) 6.0)) (* (sqrt (+ x (sqrt 3.0))) (/ (- x (sqrt 3.0)) 6.0)) (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0)) (* (+ x (sqrt 3.0)) (/ (- x (sqrt 3.0)) 6.0)) (* (+ x (sqrt 3.0)) (- x (sqrt 3.0))) (* (+ (pow x 3) (pow (sqrt 3.0) 3)) (/ (- x (sqrt 3.0)) 6.0)) (* (- (* x x) (* (sqrt 3.0) (sqrt 3.0))) (/ (- x (sqrt 3.0)) 6.0)) (- (log (- x (sqrt 3.0))) (log 6.0)) (log (/ (- x (sqrt 3.0)) 6.0)) (exp (/ (- x (sqrt 3.0)) 6.0)) (/ (* (* (- x (sqrt 3.0)) (- x (sqrt 3.0))) (- x (sqrt 3.0))) (* (* 6.0 6.0) 6.0)) (* (cbrt (/ (- x (sqrt 3.0)) 6.0)) (cbrt (/ (- x (sqrt 3.0)) 6.0))) (cbrt (/ (- x (sqrt 3.0)) 6.0)) (* (* (/ (- x (sqrt 3.0)) 6.0) (/ (- x (sqrt 3.0)) 6.0)) (/ (- x (sqrt 3.0)) 6.0)) (sqrt (/ (- x (sqrt 3.0)) 6.0)) (sqrt (/ (- x (sqrt 3.0)) 6.0)) (- (- x (sqrt 3.0))) (- 6.0) (/ x 6.0) (/ (sqrt 3.0) 6.0) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (* (cbrt 6.0) (cbrt 6.0))) (/ (cbrt (- x (sqrt 3.0))) (cbrt 6.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (sqrt 6.0)) (/ (cbrt (- x (sqrt 3.0))) (sqrt 6.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) 1) (/ (cbrt (- x (sqrt 3.0))) 6.0) (/ (sqrt (- x (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (sqrt (- x (sqrt 3.0))) (cbrt 6.0)) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0)) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0)) (/ (sqrt (- x (sqrt 3.0))) 1) (/ (sqrt (- x (sqrt 3.0))) 6.0) (/ 1 (* (cbrt 6.0) (cbrt 6.0))) (/ (- x (sqrt 3.0)) (cbrt 6.0)) (/ 1 (sqrt 6.0)) (/ (- x (sqrt 3.0)) (sqrt 6.0)) (/ 1 1) (/ (- x (sqrt 3.0)) 6.0) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (cbrt 6.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) 1) (/ (- (sqrt x) (sqrt (sqrt 3.0))) 6.0) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (cbrt 6.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) 1) (/ (- (sqrt x) (sqrt (sqrt 3.0))) 6.0) (/ 1 (* (cbrt 6.0) (cbrt 6.0))) (/ (- x (sqrt 3.0)) (cbrt 6.0)) (/ 1 (sqrt 6.0)) (/ (- x (sqrt 3.0)) (sqrt 6.0)) (/ 1 1) (/ (- x (sqrt 3.0)) 6.0) (/ 1 6.0) (/ 6.0 (- x (sqrt 3.0))) (/ (- x (sqrt 3.0)) (* (cbrt 6.0) (cbrt 6.0))) (/ (- x (sqrt 3.0)) (sqrt 6.0)) (/ (- x (sqrt 3.0)) 1) (/ 6.0 (cbrt (- x (sqrt 3.0)))) (/ 6.0 (sqrt (- x (sqrt 3.0)))) (/ 6.0 (- x (sqrt 3.0))) (/ 6.0 (- (sqrt x) (sqrt (sqrt 3.0)))) (/ 6.0 (- (sqrt x) (sqrt (sqrt 3.0)))) (/ 6.0 (- x (sqrt 3.0))) (* 6.0 (+ (* x x) (+ (* (sqrt 3.0) (sqrt 3.0)) (* x (sqrt 3.0))))) (* 6.0 (+ x (sqrt 3.0))) (/ (exp x) (exp (sqrt 3.0))) (log (- x (sqrt 3.0))) (exp (- x (sqrt 3.0))) (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (cbrt (- x (sqrt 3.0))) (* (* (- x (sqrt 3.0)) (- x (sqrt 3.0))) (- x (sqrt 3.0))) (sqrt (- x (sqrt 3.0))) (sqrt (- x (sqrt 3.0))) (- (pow x 3) (pow (sqrt 3.0) 3)) (+ (* x x) (+ (* (sqrt 3.0) (sqrt 3.0)) (* x (sqrt 3.0)))) (- (sqrt 3.0)) (- (* x x) (* (sqrt 3.0) (sqrt 3.0))) (+ x (sqrt 3.0)) (+ (sqrt x) (sqrt (sqrt 3.0))) (- (sqrt x) (sqrt (sqrt 3.0))) (+ (sqrt x) (sqrt (sqrt 3.0))) (- (sqrt x) (sqrt (sqrt 3.0))) (- x (sqrt 3.0)) (- (sqrt 3.0)) (* (exp x) (exp (sqrt 3.0))) (log (+ x (sqrt 3.0))) (exp (+ x (sqrt 3.0))) (* (cbrt (+ x (sqrt 3.0))) (cbrt (+ x (sqrt 3.0)))) (cbrt (+ x (sqrt 3.0))) (* (* (+ x (sqrt 3.0)) (+ x (sqrt 3.0))) (+ x (sqrt 3.0))) (sqrt (+ x (sqrt 3.0))) (sqrt (+ x (sqrt 3.0))) (+ (pow x 3) (pow (sqrt 3.0) 3)) (+ (* x x) (- (* (sqrt 3.0) (sqrt 3.0)) (* x (sqrt 3.0)))) (- (* x x) (* (sqrt 3.0) (sqrt 3.0))) (- x (sqrt 3.0)) (+ x (sqrt 3.0)) (- (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow (sqrt 3.0) 2))) (- (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow (sqrt 3.0) 2))) (- (* 0.16666666666666666 (pow x 2)) (* 0.16666666666666666 (pow (sqrt 3.0) 2))) (- (* 0.16666666666666666 x) (* 0.16666666666666666 (sqrt 3.0))) (- (* 0.16666666666666666 x) (* 0.16666666666666666 (sqrt 3.0))) (- (* 0.16666666666666666 x) (* 0.16666666666666666 (sqrt 3.0))) (- x (sqrt 3.0)) (- x (sqrt 3.0)) (- x (sqrt 3.0)) (+ x (sqrt 3.0)) (+ x (sqrt 3.0)) (+ x (sqrt 3.0)) 6.687 * * [simplify]: iteration 0 : 142 enodes (cost 1516 ) 6.713 * * [simplify]: iteration 1 : 349 enodes (cost 1349 ) 6.826 * * [simplify]: iteration 2 : 1308 enodes (cost 1239 ) 7.303 * * [simplify]: iteration done : 5000 enodes (cost 1239 ) 7.304 * [simplify]: Simplified to: (/ (- (* x x) 3.0) 6.0) (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (log (/ (- (* x x) 3.0) 6.0)) (exp (/ (- (* x x) 3.0) 6.0)) (pow (/ (- (* x x) 3.0) 6.0) 3) (pow (/ (- (* x x) 3.0) 6.0) 3) (* (cbrt (/ (- (* x x) 3.0) 6.0)) (cbrt (/ (- (* x x) 3.0) 6.0))) (cbrt (/ (- (* x x) 3.0) 6.0)) (pow (/ (- (* x x) 3.0) 6.0) 3) (sqrt (/ (- (* x x) 3.0) 6.0)) (sqrt (/ (- (* x x) 3.0) 6.0)) (* (+ (pow x 3) (pow (sqrt 3.0) 3)) (- x (sqrt 3.0))) (* (- (+ (* x x) 3.0) (* x (sqrt 3.0))) 6.0) (* (- x (sqrt 3.0)) (- (* x x) 3.0)) (* (- x (sqrt 3.0)) 6.0) (* (sqrt (+ x (sqrt 3.0))) (sqrt (/ (- x (sqrt 3.0)) 6.0))) (* (sqrt (+ x (sqrt 3.0))) (sqrt (/ (- x (sqrt 3.0)) 6.0))) (* (sqrt (+ x (sqrt 3.0))) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0))) (* (sqrt (+ x (sqrt 3.0))) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (* (cbrt (/ (- x (sqrt 3.0)) 6.0)) (cbrt (/ (- x (sqrt 3.0)) 6.0)))) (* (+ x (sqrt 3.0)) (sqrt (/ (- x (sqrt 3.0)) 6.0))) (* (+ x (sqrt 3.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (sqrt 6.0))) (* (+ x (sqrt 3.0)) (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0))))) (* (+ x (sqrt 3.0)) (/ (sqrt (- x (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0))) (* (sqrt (- x (sqrt 3.0))) (+ (sqrt 3.0) x)) (/ (+ (sqrt 3.0) x) (* (cbrt 6.0) (cbrt 6.0))) (/ (+ x (sqrt 3.0)) (sqrt 6.0)) (+ x (sqrt 3.0)) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0))) (* (+ (sqrt x) (sqrt (sqrt 3.0))) (+ (sqrt 3.0) x)) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0)))) (* (+ x (sqrt 3.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0))) (* (+ (sqrt x) (sqrt (sqrt 3.0))) (+ (sqrt 3.0) x)) (/ (+ (sqrt 3.0) x) (* (cbrt 6.0) (cbrt 6.0))) (/ (+ x (sqrt 3.0)) (sqrt 6.0)) (+ x (sqrt 3.0)) (+ x (sqrt 3.0)) (- (* x x) 3.0) (* (cbrt (+ x (sqrt 3.0))) (/ (- x (sqrt 3.0)) 6.0)) (* (sqrt (+ x (sqrt 3.0))) (/ (- x (sqrt 3.0)) 6.0)) (/ (- (* x x) 3.0) 6.0) (/ (- (* x x) 3.0) 6.0) (- (* x x) 3.0) (* (+ (pow x 3) (pow (sqrt 3.0) 3)) (/ (- x (sqrt 3.0)) 6.0)) (* (/ (- x (sqrt 3.0)) 6.0) (- (* x x) 3.0)) (log (/ (- x (sqrt 3.0)) 6.0)) (log (/ (- x (sqrt 3.0)) 6.0)) (exp (/ (- x (sqrt 3.0)) 6.0)) (pow (/ (- x (sqrt 3.0)) 6.0) 3) (* (cbrt (/ (- x (sqrt 3.0)) 6.0)) (cbrt (/ (- x (sqrt 3.0)) 6.0))) (cbrt (/ (- x (sqrt 3.0)) 6.0)) (pow (/ (- x (sqrt 3.0)) 6.0) 3) (sqrt (/ (- x (sqrt 3.0)) 6.0)) (sqrt (/ (- x (sqrt 3.0)) 6.0)) (- (- x (sqrt 3.0))) (- 6.0) (/ x 6.0) (/ (sqrt 3.0) 6.0) (/ (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (* (cbrt 6.0) (cbrt 6.0))) (/ (cbrt (- x (sqrt 3.0))) (cbrt 6.0)) (/ (cbrt (- x (sqrt 3.0))) (/ (sqrt 6.0) (cbrt (- x (sqrt 3.0))))) (/ (cbrt (- x (sqrt 3.0))) (sqrt 6.0)) (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (/ (cbrt (- x (sqrt 3.0))) 6.0) (/ (sqrt (- x (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (sqrt (- x (sqrt 3.0))) (cbrt 6.0)) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0)) (/ (sqrt (- x (sqrt 3.0))) (sqrt 6.0)) (sqrt (- x (sqrt 3.0))) (/ (sqrt (- x (sqrt 3.0))) 6.0) (/ (/ 1 (cbrt 6.0)) (cbrt 6.0)) (/ (- x (sqrt 3.0)) (cbrt 6.0)) (/ 1 (sqrt 6.0)) (/ (- x (sqrt 3.0)) (sqrt 6.0)) 1 (/ (- x (sqrt 3.0)) 6.0) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (cbrt 6.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (+ (sqrt x) (sqrt (sqrt 3.0))) (/ (- (sqrt x) (sqrt (sqrt 3.0))) 6.0) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (* (cbrt 6.0) (cbrt 6.0))) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (cbrt 6.0)) (/ (+ (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (/ (- (sqrt x) (sqrt (sqrt 3.0))) (sqrt 6.0)) (+ (sqrt x) (sqrt (sqrt 3.0))) (/ (- (sqrt x) (sqrt (sqrt 3.0))) 6.0) (/ (/ 1 (cbrt 6.0)) (cbrt 6.0)) (/ (- x (sqrt 3.0)) (cbrt 6.0)) (/ 1 (sqrt 6.0)) (/ (- x (sqrt 3.0)) (sqrt 6.0)) 1 (/ (- x (sqrt 3.0)) 6.0) (/ 1 6.0) (/ 6.0 (- x (sqrt 3.0))) (/ (- x (sqrt 3.0)) (* (cbrt 6.0) (cbrt 6.0))) (/ (- x (sqrt 3.0)) (sqrt 6.0)) (- x (sqrt 3.0)) (/ 6.0 (cbrt (- x (sqrt 3.0)))) (/ 6.0 (sqrt (- x (sqrt 3.0)))) (/ 6.0 (- x (sqrt 3.0))) (/ 6.0 (- (sqrt x) (sqrt (sqrt 3.0)))) (/ 6.0 (- (sqrt x) (sqrt (sqrt 3.0)))) (/ 6.0 (- x (sqrt 3.0))) (* 6.0 (+ 3.0 (* (+ x (sqrt 3.0)) x))) (* 6.0 (+ x (sqrt 3.0))) (exp (- x (sqrt 3.0))) (log (- x (sqrt 3.0))) (exp (- x (sqrt 3.0))) (* (cbrt (- x (sqrt 3.0))) (cbrt (- x (sqrt 3.0)))) (cbrt (- x (sqrt 3.0))) (pow (- x (sqrt 3.0)) 3) (sqrt (- x (sqrt 3.0))) (sqrt (- x (sqrt 3.0))) (- (pow x 3) (pow (sqrt 3.0) 3)) (+ 3.0 (* (+ x (sqrt 3.0)) x)) (- (sqrt 3.0)) (- (* x x) 3.0) (+ x (sqrt 3.0)) (+ (sqrt x) (sqrt (sqrt 3.0))) (- (sqrt x) (sqrt (sqrt 3.0))) (+ (sqrt x) (sqrt (sqrt 3.0))) (- (sqrt x) (sqrt (sqrt 3.0))) (- x (sqrt 3.0)) (- (sqrt 3.0)) (exp (+ x (sqrt 3.0))) (log (+ x (sqrt 3.0))) (exp (+ x (sqrt 3.0))) (* (cbrt (+ x (sqrt 3.0))) (cbrt (+ x (sqrt 3.0)))) (cbrt (+ x (sqrt 3.0))) (pow (+ x (sqrt 3.0)) 3) (sqrt (+ x (sqrt 3.0))) (sqrt (+ x (sqrt 3.0))) (+ (pow x 3) (pow (sqrt 3.0) 3)) (- (+ (* x x) 3.0) (* x (sqrt 3.0))) (- (* x x) 3.0) (- x (sqrt 3.0)) (+ x (sqrt 3.0)) (* 0.16666666666666666 (- (* x x) 3.0)) (* 0.16666666666666666 (- (* x x) 3.0)) (* 0.16666666666666666 (- (* x x) 3.0)) (* 0.16666666666666666 (- x (sqrt 3.0))) (* 0.16666666666666666 (- x (sqrt 3.0))) (* 0.16666666666666666 (- x (sqrt 3.0))) (- x (sqrt 3.0)) (- x (sqrt 3.0)) (- x (sqrt 3.0)) (+ x (sqrt 3.0)) (+ x (sqrt 3.0)) (+ x (sqrt 3.0)) 7.304 * * * [progress]: adding candidates to table 7.502 * [progress]: [Phase 3 of 3] Extracting. 7.502 * * [regime]: Finding splitpoints for: (# # # # #) 7.502 * * * [regime-changes]: Trying 4 branch expressions: ((* x x) (- (* x x) 3.0) (/ (- (* x x) 3.0) 6.0) x) 7.502 * * * * [regimes]: Trying to branch on (* x x) from (# # # # #) 7.520 * * * * [regimes]: Trying to branch on (- (* x x) 3.0) from (# # # # #) 7.534 * * * * [regimes]: Trying to branch on (/ (- (* x x) 3.0) 6.0) from (# # # # #) 7.548 * * * * [regimes]: Trying to branch on x from (# # # # #) 7.566 * * * [regime]: Found split indices: #