27.059 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.010 * * * [progress]: [2/2] Setting up program. 0.011 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (/ 1.0 (* x x)) 0.012 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.013 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.014 * * [simplify]: iteration done : 6 enodes (cost 5 ) 0.014 * [simplify]: Simplified to: (/ 1.0 (* x x)) 0.014 * * [progress]: iteration 1 / 4 0.014 * * * [progress]: picking best candidate 0.015 * * * * [pick]: Picked # 0.015 * * * [progress]: localizing error 0.018 * * * [progress]: generating rewritten candidates 0.018 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.022 * * * [progress]: generating series expansions 0.022 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.022 * [approximate]: Taking taylor expansion of (/ 1.0 (pow x 2)) in (x) around 0 0.022 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 0.022 * [taylor]: Taking taylor expansion of 1.0 in x 0.022 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.022 * [taylor]: Taking taylor expansion of x in x 0.023 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 0.023 * [taylor]: Taking taylor expansion of 1.0 in x 0.023 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.023 * [taylor]: Taking taylor expansion of x in x 0.031 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 0.031 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.031 * [taylor]: Taking taylor expansion of 1.0 in x 0.031 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.031 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.031 * [taylor]: Taking taylor expansion of 1.0 in x 0.031 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.040 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 0.040 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.040 * [taylor]: Taking taylor expansion of 1.0 in x 0.040 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.040 * [taylor]: Taking taylor expansion of 1.0 in x 0.040 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.048 * * * [progress]: simplifying candidates 0.049 * [simplify]: Simplifying using # : (- (log 1.0) (+ (log x) (log x))) (- (log 1.0) (log (* x x))) (log (/ 1.0 (* x x))) (exp (/ 1.0 (* x x))) (/ (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* x x) x))) (/ (* (* 1.0 1.0) 1.0) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (/ 1.0 (* x x))) (cbrt (/ 1.0 (* x x)))) (cbrt (/ 1.0 (* x x))) (* (* (/ 1.0 (* x x)) (/ 1.0 (* x x))) (/ 1.0 (* x x))) (sqrt (/ 1.0 (* x x))) (sqrt (/ 1.0 (* x x))) (- 1.0) (- (* x x)) (/ (* (cbrt 1.0) (cbrt 1.0)) x) (/ (cbrt 1.0) x) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (/ 1 x) (/ 1.0 x) (/ 1 (* x x)) (/ (* x x) 1.0) (/ 1.0 x) (/ (* x x) (cbrt 1.0)) (/ (* x x) (sqrt 1.0)) (/ (* x x) 1.0) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) 0.050 * * [simplify]: iteration 0 : 43 enodes (cost 185 ) 0.057 * * [simplify]: iteration 1 : 94 enodes (cost 182 ) 0.083 * * [simplify]: iteration 2 : 275 enodes (cost 152 ) 0.208 * * [simplify]: iteration 3 : 1010 enodes (cost 152 ) 2.923 * * [simplify]: iteration 4 : 4711 enodes (cost 152 ) 4.527 * * [simplify]: iteration done : 5000 enodes (cost 152 ) 4.528 * [simplify]: Simplified to: (log (/ 1.0 (* x x))) (log (/ 1.0 (* x x))) (log (/ 1.0 (* x x))) (exp (/ 1.0 (* x x))) (pow (/ 1.0 (pow x 2)) 3) (pow (/ 1.0 (pow x 2)) 3) (* (cbrt (/ 1.0 (* x x))) (cbrt (/ 1.0 (* x x)))) (cbrt (/ 1.0 (* x x))) (pow (/ 1.0 (pow x 2)) 3) (sqrt (/ 1.0 (* x x))) (sqrt (/ 1.0 (* x x))) (- 1.0) (- (* x x)) (/ (* (cbrt 1.0) (cbrt 1.0)) x) (/ (cbrt 1.0) x) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (/ 1 x) (/ 1.0 x) (/ 1 (* x x)) (* x (/ x 1.0)) (/ 1.0 x) (/ (* x x) (cbrt 1.0)) (/ (* x x) (sqrt 1.0)) (* x (/ x 1.0)) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) 4.528 * * * [progress]: adding candidates to table 4.562 * * [progress]: iteration 2 / 4 4.562 * * * [progress]: picking best candidate 4.564 * * * * [pick]: Picked # 4.564 * * * [progress]: localizing error 4.567 * * * [progress]: generating rewritten candidates 4.567 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.576 * * * [progress]: generating series expansions 4.576 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.576 * [approximate]: Taking taylor expansion of (/ 1.0 (pow x 2)) in (x) around 0 4.576 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 4.576 * [taylor]: Taking taylor expansion of 1.0 in x 4.576 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.576 * [taylor]: Taking taylor expansion of x in x 4.577 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 4.577 * [taylor]: Taking taylor expansion of 1.0 in x 4.577 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.577 * [taylor]: Taking taylor expansion of x in x 4.585 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 4.585 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 4.585 * [taylor]: Taking taylor expansion of 1.0 in x 4.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.585 * [taylor]: Taking taylor expansion of x in x 4.585 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 4.585 * [taylor]: Taking taylor expansion of 1.0 in x 4.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.585 * [taylor]: Taking taylor expansion of x in x 4.593 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 4.593 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 4.593 * [taylor]: Taking taylor expansion of 1.0 in x 4.593 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.593 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 4.593 * [taylor]: Taking taylor expansion of 1.0 in x 4.593 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.593 * [taylor]: Taking taylor expansion of x in x 4.601 * * * [progress]: simplifying candidates 4.602 * [simplify]: Simplifying using # : (- (- (log 1.0) (log x)) (log x)) (- (log (/ 1.0 x)) (log x)) (log (/ (/ 1.0 x) x)) (exp (/ (/ 1.0 x) x)) (/ (/ (* (* 1.0 1.0) 1.0) (* (* x x) x)) (* (* x x) x)) (/ (* (* (/ 1.0 x) (/ 1.0 x)) (/ 1.0 x)) (* (* x x) x)) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x)) (* (* (/ (/ 1.0 x) x) (/ (/ 1.0 x) x)) (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 x) x)) (- (/ 1.0 x)) (- x) (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x))) (/ (cbrt (/ 1.0 x)) (cbrt x)) (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x)) (/ (cbrt (/ 1.0 x)) (sqrt x)) (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1) (/ (cbrt (/ 1.0 x)) x) (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x))) (/ (sqrt (/ 1.0 x)) (cbrt x)) (/ (sqrt (/ 1.0 x)) (sqrt x)) (/ (sqrt (/ 1.0 x)) (sqrt x)) (/ (sqrt (/ 1.0 x)) 1) (/ (sqrt (/ 1.0 x)) x) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1) (/ (/ (cbrt 1.0) (cbrt x)) x) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x)) (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1) (/ (/ (cbrt 1.0) (sqrt x)) x) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x))) (/ (/ (cbrt 1.0) x) (cbrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x)) (/ (/ (cbrt 1.0) x) (sqrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1) (/ (/ (cbrt 1.0) x) x) (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)) (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x)) (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1) (/ (/ (sqrt 1.0) (cbrt x)) x) (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x)) (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)) (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)) (/ (/ (sqrt 1.0) (sqrt x)) 1) (/ (/ (sqrt 1.0) (sqrt x)) x) (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x))) (/ (/ (sqrt 1.0) x) (cbrt x)) (/ (/ (sqrt 1.0) 1) (sqrt x)) (/ (/ (sqrt 1.0) x) (sqrt x)) (/ (/ (sqrt 1.0) 1) 1) (/ (/ (sqrt 1.0) x) x) (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (/ (/ 1.0 (cbrt x)) (cbrt x)) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ 1.0 (cbrt x)) (sqrt x)) (/ (/ 1 (* (cbrt x) (cbrt x))) 1) (/ (/ 1.0 (cbrt x)) x) (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))) (/ (/ 1.0 (sqrt x)) (cbrt x)) (/ (/ 1 (sqrt x)) (sqrt x)) (/ (/ 1.0 (sqrt x)) (sqrt x)) (/ (/ 1 (sqrt x)) 1) (/ (/ 1.0 (sqrt x)) x) (/ (/ 1 1) (* (cbrt x) (cbrt x))) (/ (/ 1.0 x) (cbrt x)) (/ (/ 1 1) (sqrt x)) (/ (/ 1.0 x) (sqrt x)) (/ (/ 1 1) 1) (/ (/ 1.0 x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ 1.0 x) (cbrt x)) (/ 1 (sqrt x)) (/ (/ 1.0 x) (sqrt x)) (/ 1 1) (/ (/ 1.0 x) x) (/ 1.0 (* (cbrt x) (cbrt x))) (/ (/ 1 x) (cbrt x)) (/ 1.0 (sqrt x)) (/ (/ 1 x) (sqrt x)) (/ 1.0 1) (/ (/ 1 x) x) (/ 1 x) (/ x (/ 1.0 x)) (/ (/ 1.0 x) (* (cbrt x) (cbrt x))) (/ (/ 1.0 x) (sqrt x)) (/ (/ 1.0 x) 1) (/ x (cbrt (/ 1.0 x))) (/ x (sqrt (/ 1.0 x))) (/ x (/ (cbrt 1.0) (cbrt x))) (/ x (/ (cbrt 1.0) (sqrt x))) (/ x (/ (cbrt 1.0) x)) (/ x (/ (sqrt 1.0) (cbrt x))) (/ x (/ (sqrt 1.0) (sqrt x))) (/ x (/ (sqrt 1.0) x)) (/ x (/ 1.0 (cbrt x))) (/ x (/ 1.0 (sqrt x))) (/ x (/ 1.0 x)) (/ x (/ 1.0 x)) (/ x (/ 1 x)) (* x x) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) 4.606 * * [simplify]: iteration 0 : 140 enodes (cost 862 ) 4.643 * * [simplify]: iteration 1 : 311 enodes (cost 813 ) 4.742 * * [simplify]: iteration 2 : 747 enodes (cost 757 ) 5.306 * * [simplify]: iteration 3 : 2184 enodes (cost 745 ) 8.248 * * [simplify]: iteration done : 5000 enodes (cost 745 ) 8.248 * [simplify]: Simplified to: (log (/ 1.0 (pow x 2))) (log (/ 1.0 (pow x 2))) (log (/ 1.0 (pow x 2))) (exp (/ (/ 1.0 x) x)) (pow (/ 1.0 (pow x 2)) 3) (pow (/ 1.0 (pow x 2)) 3) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x)) (pow (/ 1.0 (pow x 2)) 3) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 x) x)) (- (/ 1.0 x)) (- x) (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x))) (/ (cbrt (/ 1.0 x)) (cbrt x)) (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x)) (/ (cbrt (/ 1.0 x)) (sqrt x)) (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (/ (cbrt (/ 1.0 x)) x) (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x))) (/ (sqrt (/ 1.0 x)) (cbrt x)) (/ (sqrt (/ 1.0 x)) (sqrt x)) (/ (sqrt (/ 1.0 x)) (sqrt x)) (sqrt (/ 1.0 x)) (/ (sqrt (/ 1.0 x)) x) (/ (/ (cbrt 1.0) (/ (pow (cbrt x) 3) (cbrt 1.0))) (cbrt x)) (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x)) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt 1.0) (cbrt x)) x) (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x)) (/ (* (cbrt 1.0) (cbrt 1.0)) x) (/ (cbrt 1.0) x) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (/ (/ (cbrt 1.0) x) (sqrt x)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (/ (/ (cbrt 1.0) (cbrt x)) x) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (/ (/ (cbrt 1.0) x) (sqrt x)) (* (cbrt 1.0) (cbrt 1.0)) (/ (/ (cbrt 1.0) x) x) (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x)) (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)) (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x)) (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)) (/ (/ (sqrt 1.0) (cbrt x)) x) (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x)) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (/ (sqrt 1.0) (sqrt x)) (/ (/ (sqrt 1.0) x) (sqrt x)) (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)) (/ (/ (sqrt 1.0) (cbrt x)) x) (/ (sqrt 1.0) (sqrt x)) (/ (/ (sqrt 1.0) x) (sqrt x)) (sqrt 1.0) (/ (/ (sqrt 1.0) x) x) (/ (/ 1 (cbrt x)) (pow (cbrt x) 3)) (/ 1.0 (* (cbrt x) (cbrt x))) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ 1.0 (cbrt x)) (sqrt x)) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ 1.0 (cbrt x)) x) (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)) (/ (/ 1.0 (cbrt x)) (sqrt x)) (/ 1 x) (/ 1.0 x) (/ 1 (sqrt x)) (/ (/ 1.0 x) (sqrt x)) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ 1.0 (cbrt x)) x) (/ 1 (sqrt x)) (/ (/ 1.0 x) (sqrt x)) 1 (/ (/ 1.0 x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (/ 1.0 (cbrt x)) x) (/ 1 (sqrt x)) (/ (/ 1.0 x) (sqrt x)) 1 (/ (/ 1.0 x) x) (/ 1.0 (* (cbrt x) (cbrt x))) (/ (/ 1 x) (cbrt x)) (/ 1.0 (sqrt x)) (/ (/ 1 x) (sqrt x)) 1.0 (/ (/ 1 x) x) (/ 1 x) (/ (pow x 2) 1.0) (/ (/ 1.0 x) (* (cbrt x) (cbrt x))) (/ (/ 1.0 x) (sqrt x)) (/ 1.0 x) (/ x (cbrt (/ 1.0 x))) (/ x (sqrt (/ 1.0 x))) (/ x (/ (cbrt 1.0) (cbrt x))) (/ x (/ (cbrt 1.0) (sqrt x))) (/ x (/ (cbrt 1.0) x)) (/ x (/ (sqrt 1.0) (cbrt x))) (/ x (/ (sqrt 1.0) (sqrt x))) (/ x (/ (sqrt 1.0) x)) (/ x (/ 1.0 (cbrt x))) (/ x (/ 1.0 (sqrt x))) (/ (pow x 2) 1.0) (/ (pow x 2) 1.0) (pow x 2) (pow x 2) (/ (/ 1.0 x) x) (/ (/ 1.0 x) x) (/ (/ 1.0 x) x) 8.249 * * * [progress]: adding candidates to table 8.354 * * [progress]: iteration 3 / 4 8.354 * * * [progress]: picking best candidate 8.361 * * * * [pick]: Picked # 8.362 * * * [progress]: localizing error 8.369 * * * [progress]: generating rewritten candidates 8.369 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.373 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 8.377 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 8.381 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.473 * * * [progress]: generating series expansions 8.473 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.473 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in (x) around 0 8.473 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 8.473 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 8.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 8.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 8.473 * [taylor]: Taking taylor expansion of 1/3 in x 8.473 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 8.473 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.473 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.473 * [taylor]: Taking taylor expansion of x in x 8.475 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.475 * [taylor]: Taking taylor expansion of 1.0 in x 8.476 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 8.476 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 8.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 8.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 8.476 * [taylor]: Taking taylor expansion of 1/3 in x 8.476 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 8.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.476 * [taylor]: Taking taylor expansion of x in x 8.477 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.477 * [taylor]: Taking taylor expansion of 1.0 in x 8.549 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 8.549 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.549 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.549 * [taylor]: Taking taylor expansion of 1/3 in x 8.549 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.549 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.549 * [taylor]: Taking taylor expansion of x in x 8.550 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.550 * [taylor]: Taking taylor expansion of 1.0 in x 8.551 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.551 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.551 * [taylor]: Taking taylor expansion of 1/3 in x 8.551 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.551 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.551 * [taylor]: Taking taylor expansion of x in x 8.552 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.552 * [taylor]: Taking taylor expansion of 1.0 in x 8.619 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 8.619 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.620 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.620 * [taylor]: Taking taylor expansion of 1/3 in x 8.620 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.620 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.620 * [taylor]: Taking taylor expansion of x in x 8.621 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.621 * [taylor]: Taking taylor expansion of 1.0 in x 8.621 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.621 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.621 * [taylor]: Taking taylor expansion of 1/3 in x 8.621 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.621 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.621 * [taylor]: Taking taylor expansion of x in x 8.622 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.622 * [taylor]: Taking taylor expansion of 1.0 in x 8.691 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 8.691 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in (x) around 0 8.691 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 8.691 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 8.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 8.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 8.691 * [taylor]: Taking taylor expansion of 1/3 in x 8.691 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 8.691 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.691 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.692 * [taylor]: Taking taylor expansion of x in x 8.693 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.693 * [taylor]: Taking taylor expansion of 1.0 in x 8.693 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 8.693 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 8.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 8.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 8.693 * [taylor]: Taking taylor expansion of 1/3 in x 8.693 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 8.694 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.694 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.694 * [taylor]: Taking taylor expansion of x in x 8.695 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.695 * [taylor]: Taking taylor expansion of 1.0 in x 8.761 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 8.762 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.762 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.762 * [taylor]: Taking taylor expansion of 1/3 in x 8.762 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.762 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.762 * [taylor]: Taking taylor expansion of x in x 8.763 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.763 * [taylor]: Taking taylor expansion of 1.0 in x 8.763 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.763 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.763 * [taylor]: Taking taylor expansion of 1/3 in x 8.763 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.763 * [taylor]: Taking taylor expansion of x in x 8.764 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.764 * [taylor]: Taking taylor expansion of 1.0 in x 8.835 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 8.835 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.835 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.835 * [taylor]: Taking taylor expansion of 1/3 in x 8.835 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.835 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.835 * [taylor]: Taking taylor expansion of x in x 8.836 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.836 * [taylor]: Taking taylor expansion of 1.0 in x 8.837 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.837 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.837 * [taylor]: Taking taylor expansion of 1/3 in x 8.837 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.837 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.837 * [taylor]: Taking taylor expansion of x in x 8.838 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.838 * [taylor]: Taking taylor expansion of 1.0 in x 8.908 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 8.908 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in (x) around 0 8.908 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 8.908 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 8.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 8.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 8.908 * [taylor]: Taking taylor expansion of 1/3 in x 8.908 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 8.908 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.908 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.908 * [taylor]: Taking taylor expansion of x in x 8.909 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.909 * [taylor]: Taking taylor expansion of 1.0 in x 8.910 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 8.910 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 8.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 8.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 8.910 * [taylor]: Taking taylor expansion of 1/3 in x 8.910 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 8.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.910 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.910 * [taylor]: Taking taylor expansion of x in x 8.912 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.912 * [taylor]: Taking taylor expansion of 1.0 in x 8.984 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 8.985 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.985 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.985 * [taylor]: Taking taylor expansion of 1/3 in x 8.985 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.985 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.985 * [taylor]: Taking taylor expansion of x in x 8.986 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.986 * [taylor]: Taking taylor expansion of 1.0 in x 8.986 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 8.986 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 8.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 8.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 8.986 * [taylor]: Taking taylor expansion of 1/3 in x 8.986 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 8.986 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.986 * [taylor]: Taking taylor expansion of x in x 8.987 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 8.987 * [taylor]: Taking taylor expansion of 1.0 in x 9.057 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 9.057 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 9.057 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 9.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 9.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 9.057 * [taylor]: Taking taylor expansion of 1/3 in x 9.057 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 9.057 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.057 * [taylor]: Taking taylor expansion of x in x 9.058 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.058 * [taylor]: Taking taylor expansion of 1.0 in x 9.059 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 9.059 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 9.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 9.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 9.059 * [taylor]: Taking taylor expansion of 1/3 in x 9.059 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 9.059 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.059 * [taylor]: Taking taylor expansion of x in x 9.060 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.060 * [taylor]: Taking taylor expansion of 1.0 in x 9.131 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 9.131 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt 1.0) 2)) in (x) around 0 9.131 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt 1.0) 2)) in x 9.131 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 9.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 9.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 9.131 * [taylor]: Taking taylor expansion of 1/3 in x 9.131 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 9.131 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 9.131 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.131 * [taylor]: Taking taylor expansion of x in x 9.132 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 9.132 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.132 * [taylor]: Taking taylor expansion of 1.0 in x 9.133 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt 1.0) 2)) in x 9.133 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x 9.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x 9.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x 9.133 * [taylor]: Taking taylor expansion of 1/3 in x 9.133 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in x 9.133 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 9.133 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.133 * [taylor]: Taking taylor expansion of x in x 9.135 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 9.135 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.135 * [taylor]: Taking taylor expansion of 1.0 in x 9.217 * [approximate]: Taking taylor expansion of (* (pow (pow x 4) 1/3) (pow (cbrt 1.0) 2)) in (x) around 0 9.217 * [taylor]: Taking taylor expansion of (* (pow (pow x 4) 1/3) (pow (cbrt 1.0) 2)) in x 9.217 * [taylor]: Taking taylor expansion of (pow (pow x 4) 1/3) in x 9.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 9.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 9.217 * [taylor]: Taking taylor expansion of 1/3 in x 9.217 * [taylor]: Taking taylor expansion of (log (pow x 4)) in x 9.217 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.217 * [taylor]: Taking taylor expansion of x in x 9.218 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 9.219 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.219 * [taylor]: Taking taylor expansion of 1.0 in x 9.219 * [taylor]: Taking taylor expansion of (* (pow (pow x 4) 1/3) (pow (cbrt 1.0) 2)) in x 9.219 * [taylor]: Taking taylor expansion of (pow (pow x 4) 1/3) in x 9.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 9.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 9.219 * [taylor]: Taking taylor expansion of 1/3 in x 9.219 * [taylor]: Taking taylor expansion of (log (pow x 4)) in x 9.219 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.219 * [taylor]: Taking taylor expansion of x in x 9.220 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 9.220 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.220 * [taylor]: Taking taylor expansion of 1.0 in x 9.297 * [approximate]: Taking taylor expansion of (* (pow (pow x 4) 1/3) (pow (cbrt 1.0) 2)) in (x) around 0 9.297 * [taylor]: Taking taylor expansion of (* (pow (pow x 4) 1/3) (pow (cbrt 1.0) 2)) in x 9.297 * [taylor]: Taking taylor expansion of (pow (pow x 4) 1/3) in x 9.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 9.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 9.297 * [taylor]: Taking taylor expansion of 1/3 in x 9.297 * [taylor]: Taking taylor expansion of (log (pow x 4)) in x 9.297 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.297 * [taylor]: Taking taylor expansion of x in x 9.298 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 9.298 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.298 * [taylor]: Taking taylor expansion of 1.0 in x 9.299 * [taylor]: Taking taylor expansion of (* (pow (pow x 4) 1/3) (pow (cbrt 1.0) 2)) in x 9.299 * [taylor]: Taking taylor expansion of (pow (pow x 4) 1/3) in x 9.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 4)))) in x 9.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 4))) in x 9.299 * [taylor]: Taking taylor expansion of 1/3 in x 9.299 * [taylor]: Taking taylor expansion of (log (pow x 4)) in x 9.299 * [taylor]: Taking taylor expansion of (pow x 4) in x 9.299 * [taylor]: Taking taylor expansion of x in x 9.300 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 9.300 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 9.300 * [taylor]: Taking taylor expansion of 1.0 in x 9.377 * * * [progress]: simplifying candidates 9.383 * [simplify]: Simplifying using # : (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) 1)) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) 1) 1)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1 (sqrt x)) 1)) (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 1) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1 1) 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ 1.0 1)) (cbrt (/ (/ 1 x) x)) (cbrt 1) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (* (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) 1)) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) 1) 1)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1 (sqrt x)) 1)) (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 1) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1 1) 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ 1.0 1)) (cbrt (/ (/ 1 x) x)) (cbrt 1) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (* (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) 1)) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) 1) 1)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1 (sqrt x)) 1)) (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 1) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1 1) 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ 1.0 1)) (cbrt (/ (/ 1 x) x)) (cbrt 1) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (* (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (+ 1/3 1/3) (+ 1 1) (* (/ (/ 1.0 x) x) (/ (/ 1.0 x) x)) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (+ 1 1) (+ (log (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x)))) (log (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (exp (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (* (/ (/ 1.0 x) x) (/ (/ 1.0 x) x)) (* (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (* (* (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (sqrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (sqrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)) (* (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))))) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x)))) (* (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x)))) (* (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1))) (* (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (cbrt (/ 1.0 x)) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) 1)) (cbrt (/ (sqrt (/ 1.0 x)) 1))) (* (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) x))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x)))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x)))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x)))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) x) (sqrt x)))) (* (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1))) (* (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (cbrt 1.0) x) x))) (* (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x))) (* (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) x) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) 1) 1)) (cbrt (/ (/ (sqrt 1.0) 1) 1))) (* (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) x) x))) (* (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x)))) (* (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1))) (* (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1.0 (cbrt x)) x))) (* (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x)))) (* (cbrt (/ (/ 1 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1 (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ 1 (sqrt x)) 1)) (cbrt (/ (/ 1 (sqrt x)) 1))) (* (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1.0 (sqrt x)) x))) (* (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) (cbrt x)))) (* (cbrt (/ (/ 1 1) (sqrt x))) (cbrt (/ (/ 1 1) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x)))) (* (cbrt (/ (/ 1 1) 1)) (cbrt (/ (/ 1 1) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) (cbrt x)))) (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x)))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ (/ 1 x) (cbrt x)))) (* (cbrt (/ 1.0 (sqrt x))) (cbrt (/ 1.0 (sqrt x)))) (* (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x)))) (* (cbrt (/ 1.0 1)) (cbrt (/ 1.0 1))) (* (cbrt (/ (/ 1 x) x)) (cbrt (/ (/ 1 x) x))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x))))) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* 1 1) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* 2 1/3) (* 2 1) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt (/ 1.0 x)) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) 1) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (sqrt x)) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (sqrt x)) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 1) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 1) 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 1))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt 1)) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x))) (* (cbrt (/ (/ 1.0 x) x)) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x))))) (* (cbrt (/ (/ 1.0 x) x)) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ 1.0 x) x)) 1) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1 x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x))) (* (cbrt (/ 1.0 x)) (cbrt (/ (/ 1.0 x) x))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt 1.0) 2)) (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt 1.0) 2)) (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt 1.0) 2)) 9.399 * * [simplify]: iteration 0 : 384 enodes (cost 6494 ) 9.508 * * [simplify]: iteration 1 : 609 enodes (cost 6070 ) 9.786 * * [simplify]: iteration 2 : 1648 enodes (cost 5758 ) 12.021 * * [simplify]: iteration 3 : 4309 enodes (cost 5565 ) 12.831 * * [simplify]: iteration done : 5000 enodes (cost 5562 ) 12.834 * [simplify]: Simplified to: (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ 1.0 x))) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (pow (cbrt x) 3) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) x)) (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (pow (cbrt 1.0) 2)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (sqrt 1.0)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (cbrt x)) (pow (cbrt x) 3))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt 1.0) (cbrt (/ 1 (pow x 2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (/ (/ 1.0 x) x) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ 1.0 x))) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (pow (cbrt x) 3) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) x)) (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (pow (cbrt 1.0) 2)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (sqrt 1.0)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (cbrt x)) (pow (cbrt x) 3))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt 1.0) (cbrt (/ 1 (pow x 2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (/ (/ 1.0 x) x) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ 1.0 x))) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (pow (cbrt x) 3) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) x)) (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (pow (cbrt 1.0) 2)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (sqrt 1.0)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (cbrt x)) (pow (cbrt x) 3))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt 1.0) (cbrt (/ 1 (pow x 2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (/ (/ 1.0 x) x) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) 2/3 2 (/ (* 1.0 1.0) (pow x 4)) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) 2 (* 2 (log (cbrt (/ (/ 1.0 x) x)))) (* 2 (log (cbrt (/ (/ 1.0 x) x)))) (exp (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (/ (* 1.0 1.0) (pow x 4)) (* (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4))) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (/ (* 1.0 1.0) (pow x 4)) (fabs (cbrt (/ (/ 1.0 x) x))) (fabs (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)) (* (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4)) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4))) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x)))) (* (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x)))) (* (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))))) (* (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (cbrt (/ 1.0 x)) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (sqrt (/ 1.0 x))) (cbrt (sqrt (/ 1.0 x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) x))) (* (cbrt (/ (pow (cbrt 1.0) 2) (* (pow (cbrt x) 3) (cbrt x)))) (cbrt (/ (pow (cbrt 1.0) 2) (* (pow (cbrt x) 3) (cbrt x))))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x)))) (* (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x)))) (* (cbrt (/ (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x)))) (* (cbrt (/ (pow (cbrt 1.0) 2) x)) (cbrt (/ (pow (cbrt 1.0) 2) x))) (* (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (cbrt 1.0) x))) (* (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x))) (* (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x)))) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x)))) (* (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x)))) (* (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x))) (* (cbrt (pow (cbrt 1.0) 2)) (cbrt (pow (cbrt 1.0) 2))) (* (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (cbrt 1.0) x) x))) (* (cbrt (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x)))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (sqrt 1.0) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x))) (* (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (sqrt 1.0) (sqrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) x) x))) (* (cbrt (/ (/ 1 (cbrt x)) (pow (cbrt x) 3))) (cbrt (/ (/ 1 (cbrt x)) (pow (cbrt x) 3)))) (* (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x)))) (* (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1.0 (cbrt x)) x))) (* (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x)))) (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x)))) (* (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1.0 (cbrt x)) x))) (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x)))) 1 (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1.0 (cbrt x)) x))) (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x)))) 1 (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ (/ 1 x) (cbrt x)))) (* (cbrt (/ 1.0 (sqrt x))) (cbrt (/ 1.0 (sqrt x)))) (* (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x)))) (pow (cbrt 1.0) 2) (pow (/ 1 (pow x 2)) 2/3) 1 (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (pow (cbrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)) 1 (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt 1.0) x))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (sqrt 1.0) x)) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt 1.0) x)) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (sqrt (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x)))) (* (cbrt (/ (sqrt 1.0) x)) (sqrt (cbrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (sqrt 1.0) x)) (sqrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)) 2/3 2 (* (cbrt (/ (/ 1.0 x) x)) (cbrt (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ 1.0 x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (pow (cbrt x) 3) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (pow (cbrt 1.0) 2) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (pow (cbrt 1.0) 2) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (pow (cbrt 1.0) 2) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (pow (cbrt 1.0) 2))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (pow (cbrt x) 3)) (cbrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt 1.0) (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt 1.0) (sqrt x)))) (* (cbrt (sqrt 1.0)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 (cbrt x)) (pow (cbrt x) 3))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x))))) (* (cbrt (/ 1 x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (sqrt x)))) (cbrt (/ (/ 1.0 x) x)) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (sqrt x)))) (cbrt (/ (/ 1.0 x) x)) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (sqrt x)))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt 1.0)) (cbrt (/ (/ 1.0 x) x)) (* (cbrt (/ 1.0 x)) (cbrt (/ (/ 1.0 x) x))) (* (pow (cbrt (cbrt (/ (/ 1.0 x) x))) 4) (cbrt (cbrt (/ (/ 1.0 x) x)))) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 3) (cbrt (/ (/ 1.0 x) x)) (pow (cbrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (sqrt (/ (/ 1.0 x) x)))) (* (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x)))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (sqrt 1.0) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x))))) (* (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1.0 x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1.0 x) x))) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 x) x)) (cbrt (/ (/ 1.0 x) x))) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ 1 x)) (cbrt (/ (/ 1.0 x) x))) (pow (cbrt (cbrt (/ (/ 1.0 x) x))) 4) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 3) (pow (sqrt (cbrt (/ (/ 1.0 x) x))) 4) (* (cbrt (/ 1.0 x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt (/ 1.0 x)) (cbrt (/ (/ 1.0 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt 1.0) (cbrt (/ (/ 1 x) x))) (* (cbrt (/ 1 (pow x 4))) (pow (cbrt 1.0) 2)) (* (cbrt (/ 1 (pow x 4))) (pow (cbrt 1.0) 2)) (* (cbrt (/ 1 (pow x 4))) (pow (cbrt 1.0) 2)) 12.837 * * * [progress]: adding candidates to table 13.698 * * [progress]: iteration 4 / 4 13.698 * * * [progress]: picking best candidate 13.718 * * * * [pick]: Picked # 13.718 * * * [progress]: localizing error 13.729 * * * [progress]: generating rewritten candidates 13.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 13.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 13.738 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 13.745 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 13.765 * * * [progress]: generating series expansions 13.765 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 13.765 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in (x) around 0 13.765 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 13.765 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 13.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 13.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 13.765 * [taylor]: Taking taylor expansion of 1/3 in x 13.765 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 13.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.765 * [taylor]: Taking taylor expansion of x in x 13.767 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.767 * [taylor]: Taking taylor expansion of 1.0 in x 13.768 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 13.768 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 13.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 13.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 13.768 * [taylor]: Taking taylor expansion of 1/3 in x 13.768 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 13.768 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.768 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.768 * [taylor]: Taking taylor expansion of x in x 13.769 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.769 * [taylor]: Taking taylor expansion of 1.0 in x 13.842 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 13.842 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 13.842 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 13.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 13.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 13.842 * [taylor]: Taking taylor expansion of 1/3 in x 13.842 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 13.842 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.842 * [taylor]: Taking taylor expansion of x in x 13.843 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.843 * [taylor]: Taking taylor expansion of 1.0 in x 13.844 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 13.844 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 13.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 13.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 13.844 * [taylor]: Taking taylor expansion of 1/3 in x 13.844 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 13.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.844 * [taylor]: Taking taylor expansion of x in x 13.845 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.845 * [taylor]: Taking taylor expansion of 1.0 in x 13.918 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 13.918 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 13.918 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 13.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 13.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 13.918 * [taylor]: Taking taylor expansion of 1/3 in x 13.918 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 13.918 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.918 * [taylor]: Taking taylor expansion of x in x 13.919 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.919 * [taylor]: Taking taylor expansion of 1.0 in x 13.920 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 13.920 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 13.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 13.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 13.920 * [taylor]: Taking taylor expansion of 1/3 in x 13.920 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 13.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.920 * [taylor]: Taking taylor expansion of x in x 13.921 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.921 * [taylor]: Taking taylor expansion of 1.0 in x 13.992 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 13.992 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in (x) around 0 13.992 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 13.992 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 13.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 13.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 13.992 * [taylor]: Taking taylor expansion of 1/3 in x 13.992 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 13.992 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.992 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.992 * [taylor]: Taking taylor expansion of x in x 13.993 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.993 * [taylor]: Taking taylor expansion of 1.0 in x 13.994 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) in x 13.994 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 13.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 13.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 13.994 * [taylor]: Taking taylor expansion of 1/3 in x 13.994 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 13.994 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 13.994 * [taylor]: Taking taylor expansion of (pow x 2) in x 13.994 * [taylor]: Taking taylor expansion of x in x 13.995 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 13.995 * [taylor]: Taking taylor expansion of 1.0 in x 14.070 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 14.070 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 14.070 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 14.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 14.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 14.070 * [taylor]: Taking taylor expansion of 1/3 in x 14.070 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 14.070 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.070 * [taylor]: Taking taylor expansion of x in x 14.071 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 14.071 * [taylor]: Taking taylor expansion of 1.0 in x 14.072 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 14.072 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 14.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 14.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 14.072 * [taylor]: Taking taylor expansion of 1/3 in x 14.072 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 14.072 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.072 * [taylor]: Taking taylor expansion of x in x 14.073 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 14.073 * [taylor]: Taking taylor expansion of 1.0 in x 14.142 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in (x) around 0 14.143 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 14.143 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 14.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 14.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 14.143 * [taylor]: Taking taylor expansion of 1/3 in x 14.143 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 14.143 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.143 * [taylor]: Taking taylor expansion of x in x 14.144 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 14.144 * [taylor]: Taking taylor expansion of 1.0 in x 14.144 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (cbrt 1.0)) in x 14.144 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 14.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 14.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 14.144 * [taylor]: Taking taylor expansion of 1/3 in x 14.144 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 14.144 * [taylor]: Taking taylor expansion of (pow x 2) in x 14.144 * [taylor]: Taking taylor expansion of x in x 14.145 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 14.145 * [taylor]: Taking taylor expansion of 1.0 in x 14.215 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 14.215 * [approximate]: Taking taylor expansion of (/ (sqrt 1.0) x) in (x) around 0 14.215 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) x) in x 14.215 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.215 * [taylor]: Taking taylor expansion of 1.0 in x 14.216 * [taylor]: Taking taylor expansion of x in x 14.216 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) x) in x 14.216 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.216 * [taylor]: Taking taylor expansion of 1.0 in x 14.217 * [taylor]: Taking taylor expansion of x in x 14.226 * [approximate]: Taking taylor expansion of (* x (sqrt 1.0)) in (x) around 0 14.226 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.226 * [taylor]: Taking taylor expansion of x in x 14.226 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.226 * [taylor]: Taking taylor expansion of 1.0 in x 14.227 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.227 * [taylor]: Taking taylor expansion of x in x 14.227 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.227 * [taylor]: Taking taylor expansion of 1.0 in x 14.239 * [approximate]: Taking taylor expansion of (* x (sqrt 1.0)) in (x) around 0 14.239 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.239 * [taylor]: Taking taylor expansion of x in x 14.239 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.239 * [taylor]: Taking taylor expansion of 1.0 in x 14.240 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.240 * [taylor]: Taking taylor expansion of x in x 14.240 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.240 * [taylor]: Taking taylor expansion of 1.0 in x 14.252 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 14.252 * [approximate]: Taking taylor expansion of (/ (sqrt 1.0) x) in (x) around 0 14.252 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) x) in x 14.252 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.252 * [taylor]: Taking taylor expansion of 1.0 in x 14.253 * [taylor]: Taking taylor expansion of x in x 14.254 * [taylor]: Taking taylor expansion of (/ (sqrt 1.0) x) in x 14.254 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.254 * [taylor]: Taking taylor expansion of 1.0 in x 14.254 * [taylor]: Taking taylor expansion of x in x 14.263 * [approximate]: Taking taylor expansion of (* x (sqrt 1.0)) in (x) around 0 14.263 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.263 * [taylor]: Taking taylor expansion of x in x 14.263 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.263 * [taylor]: Taking taylor expansion of 1.0 in x 14.264 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.264 * [taylor]: Taking taylor expansion of x in x 14.264 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.264 * [taylor]: Taking taylor expansion of 1.0 in x 14.285 * [approximate]: Taking taylor expansion of (* x (sqrt 1.0)) in (x) around 0 14.285 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.285 * [taylor]: Taking taylor expansion of x in x 14.285 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.285 * [taylor]: Taking taylor expansion of 1.0 in x 14.285 * [taylor]: Taking taylor expansion of (* x (sqrt 1.0)) in x 14.285 * [taylor]: Taking taylor expansion of x in x 14.285 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 14.286 * [taylor]: Taking taylor expansion of 1.0 in x 14.298 * * * [progress]: simplifying candidates 14.302 * [simplify]: Simplifying using # : (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) 1)) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) 1) 1)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1 (sqrt x)) 1)) (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 1) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1 1) 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ 1.0 1)) (cbrt (/ (/ 1 x) x)) (cbrt 1) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (* (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) 1)) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (cbrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) x) (sqrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (cbrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) x) (cbrt x))) (cbrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) x) (sqrt x))) (cbrt (/ (/ (sqrt 1.0) 1) 1)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (cbrt (/ (/ 1.0 (cbrt x)) x)) (cbrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ (/ 1 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (cbrt (/ (/ 1 (sqrt x)) 1)) (cbrt (/ (/ 1.0 (sqrt x)) x)) (cbrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 1) (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ (/ 1 1) 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ (/ 1.0 x) (sqrt x))) (cbrt (/ 1 1)) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ (/ 1 x) (sqrt x))) (cbrt (/ 1.0 1)) (cbrt (/ (/ 1 x) x)) (cbrt 1) (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (* (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x))) (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (sqrt (/ (/ 1.0 x) x))) (exp (sqrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (cbrt (sqrt (/ (/ 1.0 x) x))) (* (* (sqrt (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 x) x))) (sqrt (/ (/ 1.0 x) x))) (sqrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (sqrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (sqrt (/ (cbrt (/ 1.0 x)) x)) (sqrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (sqrt (/ 1.0 x)) 1)) (sqrt (/ (sqrt (/ 1.0 x)) x)) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (cbrt 1.0) x) (cbrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (sqrt (/ (/ (cbrt 1.0) x) (sqrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (sqrt (/ (/ (cbrt 1.0) x) x)) (sqrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (sqrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) x) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) x) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) 1) 1)) (sqrt (/ (/ (sqrt 1.0) x) x)) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (sqrt (/ (/ 1.0 (cbrt x)) x)) (sqrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (sqrt (/ (/ 1 (sqrt x)) (sqrt x))) (sqrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (sqrt (/ (/ 1 (sqrt x)) 1)) (sqrt (/ (/ 1.0 (sqrt x)) x)) (sqrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ (/ 1 1) (sqrt x))) (sqrt (/ (/ 1.0 x) (sqrt x))) (sqrt (/ (/ 1 1) 1)) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ 1 (sqrt x))) (sqrt (/ (/ 1.0 x) (sqrt x))) (sqrt (/ 1 1)) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1.0 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1 x) (cbrt x))) (sqrt (/ 1.0 (sqrt x))) (sqrt (/ (/ 1 x) (sqrt x))) (sqrt (/ 1.0 1)) (sqrt (/ (/ 1 x) x)) (sqrt 1) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1.0 x)) (sqrt (/ 1 x)) (sqrt (/ 1.0 x)) (sqrt x) (/ 1 2) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (log (sqrt (/ (/ 1.0 x) x))) (exp (sqrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (cbrt (sqrt (/ (/ 1.0 x) x))) (* (* (sqrt (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 x) x))) (sqrt (/ (/ 1.0 x) x))) (sqrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (sqrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) 1)) (sqrt (/ (cbrt (/ 1.0 x)) x)) (sqrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (sqrt (/ 1.0 x)) 1)) (sqrt (/ (sqrt (/ 1.0 x)) x)) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) 1)) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) (sqrt x))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (sqrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x)) 1)) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) x)) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (cbrt 1.0) x) (cbrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (sqrt x))) (sqrt (/ (/ (cbrt 1.0) x) (sqrt x))) (sqrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) 1) 1)) (sqrt (/ (/ (cbrt 1.0) x) x)) (sqrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (* (cbrt x) (cbrt x))) 1)) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) 1)) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) x)) (sqrt (/ (/ (sqrt 1.0) 1) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) x) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) 1) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) x) (sqrt x))) (sqrt (/ (/ (sqrt 1.0) 1) 1)) (sqrt (/ (/ (sqrt 1.0) x) x)) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) 1)) (sqrt (/ (/ 1.0 (cbrt x)) x)) (sqrt (/ (/ 1 (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (sqrt (/ (/ 1 (sqrt x)) (sqrt x))) (sqrt (/ (/ 1.0 (sqrt x)) (sqrt x))) (sqrt (/ (/ 1 (sqrt x)) 1)) (sqrt (/ (/ 1.0 (sqrt x)) x)) (sqrt (/ (/ 1 1) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ (/ 1 1) (sqrt x))) (sqrt (/ (/ 1.0 x) (sqrt x))) (sqrt (/ (/ 1 1) 1)) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ 1 (sqrt x))) (sqrt (/ (/ 1.0 x) (sqrt x))) (sqrt (/ 1 1)) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1.0 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1 x) (cbrt x))) (sqrt (/ 1.0 (sqrt x))) (sqrt (/ (/ 1 x) (sqrt x))) (sqrt (/ 1.0 1)) (sqrt (/ (/ 1 x) x)) (sqrt 1) (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1.0 x)) (sqrt (/ 1 x)) (sqrt (/ 1.0 x)) (sqrt x) (/ 1 2) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (* (pow (/ 1 (pow x 2)) 1/3) (cbrt 1.0)) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (* -1 (/ (sqrt 1.0) x)) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (* -1 (/ (sqrt 1.0) x)) 14.310 * * [simplify]: iteration 0 : 274 enodes (cost 3402 ) 14.360 * * [simplify]: iteration 1 : 401 enodes (cost 3172 ) 14.424 * * [simplify]: iteration 2 : 652 enodes (cost 2988 ) 14.662 * * [simplify]: iteration 3 : 1274 enodes (cost 2920 ) 15.323 * * [simplify]: iteration 4 : 1757 enodes (cost 2858 ) 15.953 * * [simplify]: iteration 5 : 3334 enodes (cost 2822 ) 16.765 * * [simplify]: iteration done : 5000 enodes (cost 2822 ) 16.771 * [simplify]: Simplified to: (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ 1.0 x))) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (/ x (cbrt 1.0)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) x)) (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x))) (cbrt (/ (cbrt 1.0) (pow x 3/2))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x))) (cbrt (/ (cbrt 1.0) (pow x 3/2))) (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (sqrt 1.0) (* (cbrt x) x))) (cbrt (/ (sqrt 1.0) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt 1.0) (* (cbrt x) x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (sqrt 1.0) (pow x 3/2))) (cbrt (/ (sqrt 1.0) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt 1.0) (* (cbrt x) x))) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (sqrt 1.0) (pow x 3/2))) (cbrt (sqrt 1.0)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 (sqrt x))) (cbrt (/ 1.0 (pow x 3/2))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ 1.0 (pow x 3/2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ 1.0 (pow x 3/2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ 1 (pow x 3/2))) (cbrt 1.0) (cbrt (/ (/ 1 x) x)) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (/ (/ 1.0 x) x) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (cbrt (/ (/ 1.0 x) x))) (exp (cbrt (/ (/ 1.0 x) x))) (cbrt (* (cbrt (/ (/ 1.0 x) x)) (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* (cbrt x) (cbrt x)))) (cbrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt x))) (cbrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (cbrt (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x)))) (cbrt (/ (cbrt (/ 1.0 x)) x)) (cbrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (cbrt (sqrt (/ 1.0 x))) (cbrt (/ (sqrt (/ 1.0 x)) x)) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (/ x (cbrt 1.0)))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ (cbrt 1.0) (cbrt x)) (sqrt x))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) x)) (cbrt (/ (cbrt 1.0) x)) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x))) (cbrt (/ (cbrt 1.0) (pow x 3/2))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (cbrt 1.0) x) (cbrt x))) (cbrt (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt x))) (cbrt (/ (cbrt 1.0) (pow x 3/2))) (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (/ (/ (cbrt 1.0) x) x)) (cbrt (/ (sqrt 1.0) (* (cbrt x) x))) (cbrt (/ (sqrt 1.0) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt 1.0) (* (cbrt x) x))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (cbrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) x)) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (sqrt 1.0) (pow x 3/2))) (cbrt (/ (sqrt 1.0) (* (cbrt x) (cbrt x)))) (cbrt (/ (sqrt 1.0) (* (cbrt x) x))) (cbrt (/ (sqrt 1.0) (sqrt x))) (cbrt (/ (sqrt 1.0) (pow x 3/2))) (cbrt (sqrt 1.0)) (cbrt (/ (/ (sqrt 1.0) x) x)) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (cbrt (/ (/ 1.0 (sqrt x)) (cbrt x))) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 (sqrt x))) (cbrt (/ 1.0 (pow x 3/2))) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ 1.0 (pow x 3/2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1.0 x) (cbrt x))) (cbrt (/ 1 (sqrt x))) (cbrt (/ 1.0 (pow x 3/2))) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 (* (cbrt x) (cbrt x)))) (cbrt (/ (/ 1 x) (cbrt x))) (cbrt (/ 1.0 (sqrt x))) (cbrt (/ 1 (pow x 3/2))) (cbrt 1.0) (cbrt (/ (/ 1 x) x)) 1 (cbrt (/ (/ 1.0 x) x)) (cbrt (/ 1.0 x)) (cbrt (/ 1 x)) (cbrt (/ 1.0 x)) (cbrt x) (* (cbrt (cbrt (/ (/ 1.0 x) x))) (cbrt (cbrt (/ (/ 1.0 x) x)))) (cbrt (cbrt (/ (/ 1.0 x) x))) (/ (/ 1.0 x) x) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (log (sqrt (/ (/ 1.0 x) x))) (exp (sqrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (cbrt (sqrt (/ (/ 1.0 x) x))) (pow (sqrt (/ (/ 1.0 x) x)) 3) (fabs (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (fabs (/ (cbrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (fabs (/ (cbrt (/ 1.0 x)) (pow x 1/4))) (sqrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (fabs (cbrt (/ 1.0 x))) (sqrt (/ (cbrt (/ 1.0 x)) x)) (sqrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (sqrt (/ 1.0 x))) (sqrt (/ (sqrt (/ 1.0 x)) x)) (fabs (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (fabs (/ (/ (cbrt 1.0) (cbrt x)) (pow x 1/4))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (fabs (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (/ (cbrt 1.0) x) (cbrt x))) (fabs (/ (/ (cbrt 1.0) (cbrt x)) (pow x 1/4))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (fabs (/ (cbrt 1.0) (sqrt x))) (sqrt (/ (cbrt 1.0) x)) (fabs (/ (cbrt 1.0) (pow x 1/4))) (sqrt (/ (cbrt 1.0) (pow x 3/2))) (fabs (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (/ (cbrt 1.0) x) (cbrt x))) (fabs (/ (cbrt 1.0) (pow x 1/4))) (sqrt (/ (cbrt 1.0) (pow x 3/2))) (fabs (cbrt 1.0)) (sqrt (/ (/ (cbrt 1.0) x) x)) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (sqrt 1.0) x)) (sqrt (/ (sqrt 1.0) x)) (sqrt (/ (sqrt 1.0) (sqrt x))) (sqrt (/ (sqrt 1.0) (pow x 3/2))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (sqrt 1.0) (sqrt x))) (sqrt (/ (sqrt 1.0) (pow x 3/2))) (sqrt (sqrt 1.0)) (sqrt (/ (/ (sqrt 1.0) x) x)) (sqrt (/ (/ 1 x) (cbrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (sqrt (/ 1 x)) (sqrt (/ 1.0 x)) (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (pow x 3/2))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (pow x 3/2))) 1 (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (pow x 3/2))) 1 (sqrt (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (sqrt (/ (/ 1 x) (cbrt x))) (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1 (pow x 3/2))) (sqrt 1.0) (sqrt (/ (/ 1 x) x)) 1 (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1.0 x)) (sqrt (/ 1 x)) (sqrt (/ 1.0 x)) (sqrt x) 1/2 (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (log (sqrt (/ (/ 1.0 x) x))) (exp (sqrt (/ (/ 1.0 x) x))) (* (cbrt (sqrt (/ (/ 1.0 x) x))) (cbrt (sqrt (/ (/ 1.0 x) x)))) (cbrt (sqrt (/ (/ 1.0 x) x))) (pow (sqrt (/ (/ 1.0 x) x)) 3) (fabs (cbrt (/ (/ 1.0 x) x))) (sqrt (cbrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (fabs (/ (cbrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (cbrt (/ 1.0 x)) (cbrt x))) (fabs (/ (cbrt (/ 1.0 x)) (pow x 1/4))) (sqrt (/ (cbrt (/ 1.0 x)) (sqrt x))) (fabs (cbrt (/ 1.0 x))) (sqrt (/ (cbrt (/ 1.0 x)) x)) (sqrt (/ (sqrt (/ 1.0 x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (sqrt (/ 1.0 x)) (cbrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (/ (sqrt (/ 1.0 x)) (sqrt x))) (sqrt (sqrt (/ 1.0 x))) (sqrt (/ (sqrt (/ 1.0 x)) x)) (fabs (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (cbrt 1.0) (cbrt x)) (cbrt x))) (fabs (/ (/ (cbrt 1.0) (cbrt x)) (pow x 1/4))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (fabs (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (/ (cbrt 1.0) x) (cbrt x))) (fabs (/ (/ (cbrt 1.0) (cbrt x)) (pow x 1/4))) (sqrt (/ (/ (cbrt 1.0) (sqrt x)) (cbrt x))) (fabs (/ (cbrt 1.0) (sqrt x))) (sqrt (/ (cbrt 1.0) x)) (fabs (/ (cbrt 1.0) (pow x 1/4))) (sqrt (/ (cbrt 1.0) (pow x 3/2))) (fabs (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (/ (cbrt 1.0) x) (cbrt x))) (fabs (/ (cbrt 1.0) (pow x 1/4))) (sqrt (/ (cbrt 1.0) (pow x 3/2))) (fabs (cbrt 1.0)) (sqrt (/ (/ (cbrt 1.0) x) x)) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (* (cbrt x) (cbrt x)))) (sqrt (/ (/ (sqrt 1.0) (sqrt x)) (cbrt x))) (sqrt (/ (sqrt 1.0) x)) (sqrt (/ (sqrt 1.0) x)) (sqrt (/ (sqrt 1.0) (sqrt x))) (sqrt (/ (sqrt 1.0) (pow x 3/2))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) (cbrt x))) (sqrt (/ (/ (sqrt 1.0) (cbrt x)) x)) (sqrt (/ (sqrt 1.0) (sqrt x))) (sqrt (/ (sqrt 1.0) (pow x 3/2))) (sqrt (sqrt 1.0)) (sqrt (/ (/ (sqrt 1.0) x) x)) (sqrt (/ (/ 1 x) (cbrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ (/ 1 (* (cbrt x) (cbrt x))) (sqrt x))) (sqrt (/ (/ 1.0 (cbrt x)) (sqrt x))) (sqrt (/ 1 x)) (sqrt (/ 1.0 x)) (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (pow x 3/2))) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (pow x 3/2))) 1 (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1 (* (cbrt x) (cbrt x)))) (sqrt (/ (/ 1.0 x) (cbrt x))) (sqrt (/ 1 (sqrt x))) (sqrt (/ 1.0 (pow x 3/2))) 1 (sqrt (/ (/ 1.0 x) x)) (sqrt (/ (/ 1.0 (cbrt x)) (cbrt x))) (sqrt (/ (/ 1 x) (cbrt x))) (sqrt (/ 1.0 (sqrt x))) (sqrt (/ 1 (pow x 3/2))) (sqrt 1.0) (sqrt (/ (/ 1 x) x)) 1 (sqrt (/ (/ 1.0 x) x)) (sqrt (/ 1.0 x)) (sqrt (/ 1 x)) (sqrt (/ 1.0 x)) (sqrt x) 1/2 (sqrt (sqrt (/ (/ 1.0 x) x))) (sqrt (sqrt (/ (/ 1.0 x) x))) (* (cbrt (/ (/ 1 x) x)) (cbrt 1.0)) (* (cbrt (/ (/ 1 x) x)) (cbrt 1.0)) (* (cbrt (/ (/ 1 x) x)) (cbrt 1.0)) (* (cbrt (/ (/ 1 x) x)) (cbrt 1.0)) (* (cbrt (/ (/ 1 x) x)) (cbrt 1.0)) (* (cbrt (/ (/ 1 x) x)) (cbrt 1.0)) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (- (/ (sqrt 1.0) x)) (/ (sqrt 1.0) x) (/ (sqrt 1.0) x) (- (/ (sqrt 1.0) x)) 16.773 * * * [progress]: adding candidates to table 17.399 * [progress]: [Phase 3 of 3] Extracting. 17.399 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 17.401 * * * [regime-changes]: Trying 3 branch expressions: ((* x x) (/ 1.0 (* x x)) x) 17.401 * * * * [regimes]: Trying to branch on (* x x) from (# # # # # # # # #) 17.430 * * * * [regimes]: Trying to branch on (/ 1.0 (* x x)) from (# # # # # # # # #) 17.455 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 17.484 * * * [regime]: Found split indices: #