14.203 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (/ 1.0 (* x x)) 0.013 * * [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.021 * * * [progress]: generating rewritten candidates 0.021 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.024 * * * [progress]: generating series expansions 0.024 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.025 * [approximate]: Taking taylor expansion of (/ 1.0 (pow x 2)) in (x) around 0 0.025 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 0.025 * [taylor]: Taking taylor expansion of 1.0 in x 0.025 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.025 * [taylor]: Taking taylor expansion of x in x 0.025 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 0.025 * [taylor]: Taking taylor expansion of 1.0 in x 0.025 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.025 * [taylor]: Taking taylor expansion of x in x 0.033 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 0.033 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.033 * [taylor]: Taking taylor expansion of 1.0 in x 0.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.033 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.033 * [taylor]: Taking taylor expansion of 1.0 in x 0.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.033 * [taylor]: Taking taylor expansion of x in x 0.041 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 0.041 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.041 * [taylor]: Taking taylor expansion of 1.0 in x 0.041 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.041 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 0.041 * [taylor]: Taking taylor expansion of 1.0 in x 0.041 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.041 * [taylor]: Taking taylor expansion of x in x 0.049 * * * [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.058 * * [simplify]: iteration 1 : 94 enodes (cost 182 ) 0.078 * * [simplify]: iteration 2 : 275 enodes (cost 152 ) 0.238 * * [simplify]: iteration 3 : 1009 enodes (cost 152 ) 2.342 * * [simplify]: iteration 4 : 3808 enodes (cost 152 ) 3.222 * * [simplify]: iteration done : 5000 enodes (cost 152 ) 3.223 * [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 (/ 1.0 x)) (/ 1.0 x) (/ (* x x) (cbrt 1.0)) (/ (* x x) (sqrt 1.0)) (/ x (/ 1.0 x)) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) (/ 1.0 (pow x 2)) 3.223 * * * [progress]: adding candidates to table 3.256 * * [progress]: iteration 2 / 4 3.256 * * * [progress]: picking best candidate 3.260 * * * * [pick]: Picked # 3.260 * * * [progress]: localizing error 3.263 * * * [progress]: generating rewritten candidates 3.263 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.272 * * * [progress]: generating series expansions 3.272 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.272 * [approximate]: Taking taylor expansion of (/ 1.0 (pow x 2)) in (x) around 0 3.272 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 3.272 * [taylor]: Taking taylor expansion of 1.0 in x 3.272 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.272 * [taylor]: Taking taylor expansion of x in x 3.273 * [taylor]: Taking taylor expansion of (/ 1.0 (pow x 2)) in x 3.273 * [taylor]: Taking taylor expansion of 1.0 in x 3.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.273 * [taylor]: Taking taylor expansion of x in x 3.282 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 3.282 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 3.282 * [taylor]: Taking taylor expansion of 1.0 in x 3.282 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.282 * [taylor]: Taking taylor expansion of x in x 3.282 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 3.282 * [taylor]: Taking taylor expansion of 1.0 in x 3.282 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.282 * [taylor]: Taking taylor expansion of x in x 3.290 * [approximate]: Taking taylor expansion of (* 1.0 (pow x 2)) in (x) around 0 3.290 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 3.290 * [taylor]: Taking taylor expansion of 1.0 in x 3.290 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.290 * [taylor]: Taking taylor expansion of x in x 3.290 * [taylor]: Taking taylor expansion of (* 1.0 (pow x 2)) in x 3.290 * [taylor]: Taking taylor expansion of 1.0 in x 3.290 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.290 * [taylor]: Taking taylor expansion of x in x 3.298 * * * [progress]: simplifying candidates 3.299 * [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)) 3.302 * * [simplify]: iteration 0 : 140 enodes (cost 862 ) 3.338 * * [simplify]: iteration 1 : 311 enodes (cost 813 ) 3.425 * * [simplify]: iteration 2 : 746 enodes (cost 757 ) 3.965 * * [simplify]: iteration 3 : 2175 enodes (cost 745 ) 5.406 * * [simplify]: iteration done : 5000 enodes (cost 745 ) 5.407 * [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) (cbrt 1.0)) (pow (cbrt x) 3)) (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 x)) (/ (cbrt 1.0) (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 x)) (/ (cbrt 1.0) (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) (* x (/ x 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))) (* x (/ x 1.0)) (* x (/ x 1.0)) (pow x 2) (pow x 2) (/ (/ 1.0 x) x) (/ (/ 1.0 x) x) (/ (/ 1.0 x) x) 5.408 * * * [progress]: adding candidates to table 5.515 * * [progress]: iteration 3 / 4 5.515 * * * [progress]: picking best candidate 5.523 * * * * [pick]: Picked # 5.523 * * * [progress]: localizing error 5.533 * * * [progress]: generating rewritten candidates 5.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 5.534 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 5.534 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 5.535 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.593 * * * [progress]: generating series expansions 5.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 5.593 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.593 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.593 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.593 * [taylor]: Taking taylor expansion of 1/3 in x 5.593 * [taylor]: Taking taylor expansion of (log x) in x 5.593 * [taylor]: Taking taylor expansion of x in x 5.594 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.594 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.594 * [taylor]: Taking taylor expansion of 1/3 in x 5.594 * [taylor]: Taking taylor expansion of (log x) in x 5.595 * [taylor]: Taking taylor expansion of x in x 5.642 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.642 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.642 * [taylor]: Taking taylor expansion of 1/3 in x 5.642 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.642 * [taylor]: Taking taylor expansion of x in x 5.643 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.643 * [taylor]: Taking taylor expansion of 1/3 in x 5.643 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.643 * [taylor]: Taking taylor expansion of x in x 5.697 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.697 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.697 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.697 * [taylor]: Taking taylor expansion of -1 in x 5.697 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.698 * [taylor]: Taking taylor expansion of 1/3 in x 5.698 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.698 * [taylor]: Taking taylor expansion of x in x 5.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.699 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.699 * [taylor]: Taking taylor expansion of -1 in x 5.699 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.699 * [taylor]: Taking taylor expansion of 1/3 in x 5.699 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.699 * [taylor]: Taking taylor expansion of x in x 5.764 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 5.764 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.764 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.764 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.764 * [taylor]: Taking taylor expansion of 1/3 in x 5.764 * [taylor]: Taking taylor expansion of (log x) in x 5.764 * [taylor]: Taking taylor expansion of x in x 5.765 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.765 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.765 * [taylor]: Taking taylor expansion of 1/3 in x 5.765 * [taylor]: Taking taylor expansion of (log x) in x 5.765 * [taylor]: Taking taylor expansion of x in x 5.815 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.815 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.815 * [taylor]: Taking taylor expansion of 1/3 in x 5.815 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.815 * [taylor]: Taking taylor expansion of x in x 5.816 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.816 * [taylor]: Taking taylor expansion of 1/3 in x 5.816 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.816 * [taylor]: Taking taylor expansion of x in x 5.866 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.866 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.866 * [taylor]: Taking taylor expansion of -1 in x 5.867 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.867 * [taylor]: Taking taylor expansion of 1/3 in x 5.867 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.867 * [taylor]: Taking taylor expansion of x in x 5.867 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.867 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.867 * [taylor]: Taking taylor expansion of -1 in x 5.868 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.868 * [taylor]: Taking taylor expansion of 1/3 in x 5.868 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.868 * [taylor]: Taking taylor expansion of x in x 5.935 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 5.935 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.935 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.935 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.935 * [taylor]: Taking taylor expansion of 1/3 in x 5.935 * [taylor]: Taking taylor expansion of (log x) in x 5.935 * [taylor]: Taking taylor expansion of x in x 5.936 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.936 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.936 * [taylor]: Taking taylor expansion of 1/3 in x 5.936 * [taylor]: Taking taylor expansion of (log x) in x 5.936 * [taylor]: Taking taylor expansion of x in x 5.988 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.989 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.989 * [taylor]: Taking taylor expansion of 1/3 in x 5.989 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.989 * [taylor]: Taking taylor expansion of x in x 5.989 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.990 * [taylor]: Taking taylor expansion of 1/3 in x 5.990 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.990 * [taylor]: Taking taylor expansion of x in x 6.048 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.048 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.048 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.048 * [taylor]: Taking taylor expansion of -1 in x 6.049 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.049 * [taylor]: Taking taylor expansion of 1/3 in x 6.049 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.049 * [taylor]: Taking taylor expansion of x in x 6.050 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.050 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.050 * [taylor]: Taking taylor expansion of -1 in x 6.051 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.051 * [taylor]: Taking taylor expansion of 1/3 in x 6.051 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.051 * [taylor]: Taking taylor expansion of x in x 6.117 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.118 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt 1.0) 2)) in (x) around 0 6.118 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt 1.0) 2)) in x 6.118 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 6.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 6.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 6.118 * [taylor]: Taking taylor expansion of 1/3 in x 6.118 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 6.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.118 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.118 * [taylor]: Taking taylor expansion of x in x 6.119 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 6.119 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 6.119 * [taylor]: Taking taylor expansion of 1.0 in x 6.120 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt 1.0) 2)) in x 6.120 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 6.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 6.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 6.120 * [taylor]: Taking taylor expansion of 1/3 in x 6.120 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 6.120 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.120 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.120 * [taylor]: Taking taylor expansion of x in x 6.121 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 6.121 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 6.121 * [taylor]: Taking taylor expansion of 1.0 in x 6.199 * [approximate]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow (cbrt 1.0) 2)) in (x) around 0 6.199 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow (cbrt 1.0) 2)) in x 6.199 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 6.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 6.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 6.199 * [taylor]: Taking taylor expansion of 1/3 in x 6.199 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 6.199 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.200 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 6.200 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 6.200 * [taylor]: Taking taylor expansion of 1.0 in x 6.201 * [taylor]: Taking taylor expansion of (* (pow (pow x 2) 1/3) (pow (cbrt 1.0) 2)) in x 6.201 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 6.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 6.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 6.201 * [taylor]: Taking taylor expansion of 1/3 in x 6.201 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 6.201 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.201 * [taylor]: Taking taylor expansion of x in x 6.202 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 6.202 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 6.202 * [taylor]: Taking taylor expansion of 1.0 in x 6.274 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2)) (pow (pow x 2) 1/3)) in (x) around 0 6.274 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2)) (pow (pow x 2) 1/3)) in x 6.274 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2)) in x 6.274 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 6.274 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 6.274 * [taylor]: Taking taylor expansion of 1.0 in x 6.275 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 6.275 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.275 * [taylor]: Taking taylor expansion of -1 in x 6.279 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 6.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 6.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 6.279 * [taylor]: Taking taylor expansion of 1/3 in x 6.279 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 6.279 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.279 * [taylor]: Taking taylor expansion of x in x 6.280 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2)) (pow (pow x 2) 1/3)) in x 6.280 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2)) in x 6.280 * [taylor]: Taking taylor expansion of (pow (cbrt 1.0) 2) in x 6.280 * [taylor]: Taking taylor expansion of (cbrt 1.0) in x 6.280 * [taylor]: Taking taylor expansion of 1.0 in x 6.281 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 6.281 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.281 * [taylor]: Taking taylor expansion of -1 in x 6.284 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 6.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 6.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 6.285 * [taylor]: Taking taylor expansion of 1/3 in x 6.285 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 6.285 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.285 * [taylor]: Taking taylor expansion of x in x 6.376 * * * [progress]: simplifying candidates 6.379 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (+ 1 1) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (+ 1 1) (+ (- (log (cbrt 1.0)) (log (cbrt x))) (- (log (cbrt 1.0)) (log (cbrt x)))) (+ (- (log (cbrt 1.0)) (log (cbrt x))) (log (/ (cbrt 1.0) (cbrt x)))) (+ (log (/ (cbrt 1.0) (cbrt x))) (- (log (cbrt 1.0)) (log (cbrt x)))) (+ (log (/ (cbrt 1.0) (cbrt x))) (log (/ (cbrt 1.0) (cbrt x)))) (log (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (exp (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 x) (* (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x)))) (* (* (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (/ 1.0 x)) (* (* (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x)))) (* (cbrt (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (cbrt (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))))) (cbrt (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (* (* (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (sqrt (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (sqrt (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)))) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt x) (cbrt x)) (* (* (cbrt (/ (cbrt 1.0) (cbrt x))) (cbrt (/ (cbrt 1.0) (cbrt x)))) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (cbrt (/ (cbrt 1.0) (cbrt x))))) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (cbrt (/ (cbrt 1.0) (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt x) (cbrt x)))) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt x))) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt x)))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1))) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt (cbrt 1.0)) (cbrt x))) (* (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt x))) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt x)))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) 1) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) 1)) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt (cbrt 1.0)) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt x) (cbrt x)))) (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt 1)) (/ (cbrt (sqrt 1.0)) (cbrt 1))) (* (/ (cbrt (sqrt 1.0)) (cbrt x)) (/ (cbrt (sqrt 1.0)) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) 1) (/ (cbrt (sqrt 1.0)) 1)) (* (/ (cbrt (sqrt 1.0)) (cbrt x)) (/ (cbrt (sqrt 1.0)) (cbrt x))) (* (/ (cbrt 1) (cbrt (* (cbrt x) (cbrt x)))) (/ (cbrt 1) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt (cbrt x)))) (* (/ (cbrt 1) (cbrt (sqrt x))) (/ (cbrt 1) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt (sqrt x)))) (* (/ (cbrt 1) (cbrt 1)) (/ (cbrt 1) (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt 1) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt (cbrt x)))) (* (/ (cbrt 1) (sqrt (cbrt x))) (/ (cbrt 1) (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (sqrt (cbrt x))) (/ (cbrt 1.0) (sqrt (cbrt x)))) (* (/ (cbrt 1) 1) (/ (cbrt 1) 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt x))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt x)))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt 1)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt 1))) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt (cbrt 1.0)) (cbrt x))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt x))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt x)))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) 1) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) 1)) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt (cbrt 1.0)) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt x) (cbrt x)))) (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt 1)) (/ (sqrt (cbrt 1.0)) (cbrt 1))) (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) 1) (/ (sqrt (cbrt 1.0)) 1)) (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt x))) (* (/ 1 (cbrt (* (cbrt x) (cbrt x)))) (/ 1 (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt (cbrt x)))) (* (/ 1 (cbrt (sqrt x))) (/ 1 (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt (sqrt x)))) (* (/ 1 (cbrt 1)) (/ 1 (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt (cbrt x)))) (* (/ 1 (sqrt (cbrt x))) (/ 1 (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (sqrt (cbrt x))) (/ (cbrt 1.0) (sqrt (cbrt x)))) (* (/ 1 1) (/ 1 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* 1 1) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (cbrt 1.0) (cbrt 1.0)) (* (/ 1 (cbrt x)) (/ 1 (cbrt x))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* 2 1) (* (/ (cbrt 1.0) (cbrt x)) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (cbrt (/ (cbrt 1.0) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (sqrt (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (* (cbrt 1.0) (cbrt 1.0))) 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1) (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1) (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1) 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) 1)) (* (/ (cbrt 1.0) (cbrt x)) (/ 1 (cbrt (* (cbrt x) (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ 1 (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ 1 (cbrt 1))) (* (/ (cbrt 1.0) (cbrt x)) (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ 1 (sqrt (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ 1 1)) (* (/ (cbrt 1.0) (cbrt x)) 1) (* (/ (cbrt 1.0) (cbrt x)) (cbrt 1.0)) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ 1 (cbrt x)) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (cbrt 1.0)) (* (cbrt 1.0) (/ (cbrt 1.0) (cbrt x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt 1.0) 2)) (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt 1.0) 2)) (* (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2)) (pow (/ 1 (pow x 2)) 1/3)) 6.387 * * [simplify]: iteration 0 : 247 enodes (cost 3545 ) 6.496 * * [simplify]: iteration 1 : 800 enodes (cost 3252 ) 6.762 * * [simplify]: iteration 2 : 2632 enodes (cost 2944 ) 7.251 * * [simplify]: iteration done : 5000 enodes (cost 2922 ) 7.253 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) 2 (/ (pow (cbrt 1.0) 2) (pow x 2/3)) 2 (* 2 (log (/ (cbrt 1.0) (cbrt x)))) (* 2 (log (/ (cbrt 1.0) (cbrt x)))) (* 2 (log (/ (cbrt 1.0) (cbrt x)))) (* 2 (log (/ (cbrt 1.0) (cbrt x)))) (* 2 (log (/ (cbrt 1.0) (cbrt x)))) (exp (/ (pow (cbrt 1.0) 2) (pow x 2/3))) (* (/ 1.0 x) (/ 1.0 x)) (* (pow (/ (cbrt 1.0) (cbrt x)) 3) (/ 1.0 x)) (* (pow (/ (cbrt 1.0) (cbrt x)) 3) (/ 1.0 x)) (pow (/ (pow (cbrt 1.0) 2) (pow x 2/3)) 3) (* (cbrt (/ (pow (cbrt 1.0) 2) (pow x 2/3))) (cbrt (/ (pow (cbrt 1.0) 2) (pow x 2/3)))) (cbrt (/ (pow (cbrt 1.0) 2) (pow x 2/3))) (pow (/ (pow (cbrt 1.0) 2) (pow x 2/3)) 3) (fabs (/ (cbrt 1.0) (cbrt x))) (fabs (/ (cbrt 1.0) (cbrt x))) (pow (cbrt 1.0) 2) (pow x 2/3) (* (pow (cbrt (/ (cbrt 1.0) (cbrt x))) 3) (cbrt (/ (cbrt 1.0) (cbrt x)))) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (cbrt (/ (cbrt 1.0) (cbrt x)))) (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)) (/ (/ (cbrt (pow (cbrt 1.0) 2)) (cbrt (pow x 2/3))) (/ (cbrt (pow x 2/3)) (cbrt (pow (cbrt 1.0) 2)))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (cbrt (pow (cbrt 1.0) 2)) (cbrt (sqrt x))) (/ (cbrt (pow (cbrt 1.0) 2)) (cbrt (sqrt x)))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (cbrt (pow (cbrt 1.0) 2)) (cbrt (pow (cbrt 1.0) 2))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (pow x 2/3)) (* (/ (cbrt (pow (cbrt 1.0) 2)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt (pow (cbrt 1.0) 2)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (/ (* (/ (cbrt (pow (cbrt 1.0) 2)) (sqrt (cbrt x))) (cbrt (pow (cbrt 1.0) 2))) (sqrt (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (cbrt (pow (cbrt 1.0) 2)) (cbrt (pow (cbrt 1.0) 2))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (pow x 2/3)) (/ (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (pow x 2/3))) (cbrt (pow x 2/3))) (* (cbrt (sqrt 1.0)) (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (pow x 2/3)) (* (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (cbrt (sqrt 1.0)) (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (pow x 2/3)) (/ (/ 1 (cbrt (pow x 2/3))) (cbrt (pow x 2/3))) (/ (/ (pow (cbrt 1.0) 2) (cbrt (cbrt x))) (cbrt (cbrt x))) (/ (/ 1 (cbrt (sqrt x))) (cbrt (sqrt x))) (/ (/ (pow (cbrt 1.0) 2) (cbrt (sqrt x))) (cbrt (sqrt x))) 1 (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (/ (pow (cbrt 1.0) 2) (cbrt (cbrt x))) (cbrt (cbrt x))) (/ (/ 1 (sqrt (cbrt x))) (sqrt (cbrt x))) (/ (/ (pow (cbrt 1.0) 2) (sqrt (cbrt x))) (sqrt (cbrt x))) 1 (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (* (cbrt (cbrt 1.0)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (pow x 2/3)))) (/ (cbrt (pow x 2/3)) (cbrt (cbrt 1.0)))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt x))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt x)))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0)))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (pow x 2/3)) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x)))) (* (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt x))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt x)))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0)))) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (pow x 2/3)) (/ (/ (cbrt 1.0) (cbrt (pow x 2/3))) (cbrt (pow x 2/3))) (/ (cbrt 1.0) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (cbrt (sqrt x))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (cbrt (sqrt x))) (cbrt 1.0) (/ (cbrt 1.0) (pow x 2/3)) (/ (/ (cbrt 1.0) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt 1.0) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (/ (cbrt 1.0) (sqrt (cbrt x))) (sqrt (cbrt x))) (/ (/ (cbrt 1.0) (sqrt (cbrt x))) (sqrt (cbrt x))) (cbrt 1.0) (/ (cbrt 1.0) (pow x 2/3)) (/ (/ 1 (cbrt (pow x 2/3))) (cbrt (pow x 2/3))) (/ (/ (pow (cbrt 1.0) 2) (cbrt (cbrt x))) (cbrt (cbrt x))) (/ (/ 1 (cbrt (sqrt x))) (cbrt (sqrt x))) (/ (/ (pow (cbrt 1.0) 2) (cbrt (sqrt x))) (cbrt (sqrt x))) 1 (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (/ (pow (cbrt 1.0) 2) (cbrt (cbrt x))) (cbrt (cbrt x))) (/ (/ 1 (sqrt (cbrt x))) (sqrt (cbrt x))) (/ (/ (pow (cbrt 1.0) 2) (sqrt (cbrt x))) (sqrt (cbrt x))) 1 (/ (pow (cbrt 1.0) 2) (pow x 2/3)) 1 (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (pow (cbrt 1.0) 2) (/ 1 (pow x 2/3)) (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (cbrt (sqrt x))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (cbrt (sqrt x))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (sqrt (cbrt x))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (sqrt (cbrt x))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (sqrt (/ (cbrt 1.0) (cbrt x))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (sqrt (cbrt x))) (/ (/ (cbrt 1.0) (cbrt (sqrt x))) (sqrt (cbrt x))) (/ (/ (cbrt 1.0) (sqrt (cbrt x))) (sqrt (cbrt x))) (/ (/ (cbrt 1.0) (sqrt (cbrt x))) (sqrt (cbrt x))) 2 (* (/ (cbrt 1.0) (cbrt x)) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (cbrt (/ (cbrt 1.0) (cbrt x))))) (pow (sqrt (/ (cbrt 1.0) (cbrt x))) 3) (/ (* (/ (cbrt 1.0) (cbrt x)) (cbrt (pow (cbrt 1.0) 2))) (cbrt (pow x 2/3))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (pow (cbrt 1.0) 2)) (cbrt (sqrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (cbrt (pow (cbrt 1.0) 2))) (* (/ (cbrt (pow (cbrt 1.0) 2)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (cbrt 1.0) (cbrt x))) (/ (* (/ (cbrt 1.0) (cbrt x)) (cbrt (pow (cbrt 1.0) 2))) (sqrt (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (cbrt (pow (cbrt 1.0) 2))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (cbrt (pow x 2/3)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt x)) (cbrt 1.0)) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (* (/ (cbrt (sqrt 1.0)) (cbrt x)) (cbrt 1.0)) (/ (/ (cbrt 1.0) (cbrt x)) (cbrt (pow x 2/3))) (/ (/ (cbrt 1.0) (cbrt x)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x)) (/ (/ (cbrt 1.0) (cbrt x)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (/ (cbrt 1.0) (cbrt x)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (/ (cbrt (pow x 2/3)) (/ (cbrt 1.0) (cbrt x)))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (cbrt (sqrt x)))) (* (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (sqrt (cbrt x)))) (* (* (cbrt (cbrt 1.0)) (cbrt (cbrt 1.0))) (/ (cbrt 1.0) (cbrt x))) (/ (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (cbrt 1.0)) (cbrt (pow x 2/3))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (cbrt 1.0)) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (* (/ (sqrt (cbrt 1.0)) (cbrt x)) (cbrt 1.0)) (/ (/ (cbrt 1.0) (cbrt x)) (cbrt (pow x 2/3))) (/ (/ (cbrt 1.0) (cbrt x)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x)) (/ (/ (cbrt 1.0) (cbrt x)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (/ (/ (cbrt 1.0) (cbrt x)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x)) (/ (cbrt 1.0) (cbrt x)) (/ (pow (cbrt 1.0) 2) (cbrt x)) (* (cbrt (/ (cbrt 1.0) (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (pow (sqrt (/ (cbrt 1.0) (cbrt x))) 3) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (/ (* (cbrt 1.0) (cbrt (cbrt 1.0))) (pow x 2/3)) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (/ (* (cbrt 1.0) (cbrt (cbrt 1.0))) (pow x 2/3)) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (/ (* (cbrt 1.0) (cbrt (sqrt 1.0))) (pow x 2/3)) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt x)))) (/ (* (cbrt 1.0) (cbrt (sqrt 1.0))) (pow x 2/3)) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt (cbrt x))) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt (sqrt x))) (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt (cbrt x))) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (sqrt (cbrt x))) (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (cbrt (sqrt x))) (/ (cbrt 1.0) (cbrt x))) (/ (* (cbrt 1.0) (cbrt (cbrt 1.0))) (pow x 2/3)) (* (/ (cbrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt (cbrt 1.0)) (sqrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (/ (* (cbrt 1.0) (cbrt (cbrt 1.0))) (pow x 2/3)) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt x)))) (/ (* (cbrt 1.0) (sqrt (cbrt 1.0))) (pow x 2/3)) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt x))) (/ (cbrt 1.0) (cbrt x))) (* (/ (cbrt 1.0) (cbrt x)) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt x)))) (/ (* (cbrt 1.0) (sqrt (cbrt 1.0))) (pow x 2/3)) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt (cbrt x))) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt (sqrt x))) (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt (cbrt x))) (/ (/ (pow (cbrt 1.0) 2) (cbrt x)) (sqrt (cbrt x))) (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (pow (cbrt 1.0) 2) (pow x 2/3)) (/ (cbrt 1.0) (pow x 2/3)) (/ (pow (cbrt 1.0) 2) (cbrt x)) (/ (pow (cbrt 1.0) 2) (cbrt x)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (* (pow (cbrt 1.0) 2) (cbrt (/ 1 (pow x 2)))) (* (pow (cbrt 1.0) 2) (cbrt (/ 1 (pow x 2)))) (* (cbrt (/ 1 (pow x 2))) (/ (pow (cbrt 1.0) 2) (pow (cbrt -1) 2))) 7.254 * * * [progress]: adding candidates to table 7.772 * * [progress]: iteration 4 / 4 7.772 * * * [progress]: picking best candidate 7.780 * * * * [pick]: Picked # 7.780 * * * [progress]: localizing error 7.793 * * * [progress]: generating rewritten candidates 7.793 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1) 7.795 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 7.797 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 7.797 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 1) 7.800 * * * [progress]: generating series expansions 7.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1) 7.800 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 3) in (x) around 0 7.800 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 7.800 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.800 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.800 * [taylor]: Taking taylor expansion of 1/3 in x 7.800 * [taylor]: Taking taylor expansion of (log x) in x 7.800 * [taylor]: Taking taylor expansion of x in x 7.801 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 7.801 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.801 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.801 * [taylor]: Taking taylor expansion of 1/3 in x 7.801 * [taylor]: Taking taylor expansion of (log x) in x 7.801 * [taylor]: Taking taylor expansion of x in x 7.862 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in (x) around 0 7.862 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 7.862 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.862 * [taylor]: Taking taylor expansion of 1/3 in x 7.862 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.862 * [taylor]: Taking taylor expansion of x in x 7.863 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 7.863 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.863 * [taylor]: Taking taylor expansion of 1/3 in x 7.863 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.863 * [taylor]: Taking taylor expansion of x in x 7.930 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in (x) around 0 7.930 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 7.930 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.930 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.930 * [taylor]: Taking taylor expansion of -1 in x 7.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.931 * [taylor]: Taking taylor expansion of 1/3 in x 7.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.931 * [taylor]: Taking taylor expansion of x in x 7.932 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 7.932 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.932 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.932 * [taylor]: Taking taylor expansion of -1 in x 7.932 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.933 * [taylor]: Taking taylor expansion of 1/3 in x 7.933 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.933 * [taylor]: Taking taylor expansion of x in x 8.020 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 8.020 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.020 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.020 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.020 * [taylor]: Taking taylor expansion of 1/3 in x 8.020 * [taylor]: Taking taylor expansion of (log x) in x 8.020 * [taylor]: Taking taylor expansion of x in x 8.021 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.021 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.021 * [taylor]: Taking taylor expansion of 1/3 in x 8.021 * [taylor]: Taking taylor expansion of (log x) in x 8.021 * [taylor]: Taking taylor expansion of x in x 8.074 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.074 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.074 * [taylor]: Taking taylor expansion of 1/3 in x 8.074 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.074 * [taylor]: Taking taylor expansion of x in x 8.075 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.075 * [taylor]: Taking taylor expansion of 1/3 in x 8.075 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.075 * [taylor]: Taking taylor expansion of x in x 8.132 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.132 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.132 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.132 * [taylor]: Taking taylor expansion of -1 in x 8.133 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.133 * [taylor]: Taking taylor expansion of 1/3 in x 8.133 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.133 * [taylor]: Taking taylor expansion of x in x 8.134 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.134 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.134 * [taylor]: Taking taylor expansion of -1 in x 8.134 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.134 * [taylor]: Taking taylor expansion of 1/3 in x 8.134 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.135 * [taylor]: Taking taylor expansion of x in x 8.201 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 8.201 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.201 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.201 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.201 * [taylor]: Taking taylor expansion of 1/3 in x 8.201 * [taylor]: Taking taylor expansion of (log x) in x 8.201 * [taylor]: Taking taylor expansion of x in x 8.202 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.202 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.202 * [taylor]: Taking taylor expansion of 1/3 in x 8.202 * [taylor]: Taking taylor expansion of (log x) in x 8.202 * [taylor]: Taking taylor expansion of x in x 8.249 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.249 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.249 * [taylor]: Taking taylor expansion of 1/3 in x 8.249 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.249 * [taylor]: Taking taylor expansion of x in x 8.250 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.250 * [taylor]: Taking taylor expansion of 1/3 in x 8.250 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.250 * [taylor]: Taking taylor expansion of x in x 8.306 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.306 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.306 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.306 * [taylor]: Taking taylor expansion of -1 in x 8.307 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.307 * [taylor]: Taking taylor expansion of 1/3 in x 8.307 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.307 * [taylor]: Taking taylor expansion of x in x 8.308 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.308 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.308 * [taylor]: Taking taylor expansion of -1 in x 8.308 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.308 * [taylor]: Taking taylor expansion of 1/3 in x 8.308 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.308 * [taylor]: Taking taylor expansion of x in x 8.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 1) 8.374 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.375 * [taylor]: Taking taylor expansion of 1/3 in x 8.375 * [taylor]: Taking taylor expansion of (log x) in x 8.375 * [taylor]: Taking taylor expansion of x in x 8.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.375 * [taylor]: Taking taylor expansion of 1/3 in x 8.375 * [taylor]: Taking taylor expansion of (log x) in x 8.375 * [taylor]: Taking taylor expansion of x in x 8.429 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.429 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.429 * [taylor]: Taking taylor expansion of 1/3 in x 8.429 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.429 * [taylor]: Taking taylor expansion of x in x 8.430 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.430 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.430 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.430 * [taylor]: Taking taylor expansion of 1/3 in x 8.430 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.430 * [taylor]: Taking taylor expansion of x in x 8.481 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.481 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.481 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.481 * [taylor]: Taking taylor expansion of -1 in x 8.482 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.482 * [taylor]: Taking taylor expansion of 1/3 in x 8.482 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.482 * [taylor]: Taking taylor expansion of x in x 8.483 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.483 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.483 * [taylor]: Taking taylor expansion of -1 in x 8.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.484 * [taylor]: Taking taylor expansion of 1/3 in x 8.484 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.484 * [taylor]: Taking taylor expansion of x in x 8.552 * * * [progress]: simplifying candidates 8.553 * [simplify]: Simplifying using # : (* (log (cbrt x)) 3) (* (log (cbrt x)) 3) (* 1/3 3) (* 1 3) (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (log (pow (cbrt x) 3)) (exp (pow (cbrt x) 3)) (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3)) (* (* (pow (cbrt x) 3) (pow (cbrt x) 3)) (pow (cbrt x) 3)) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (sqrt (pow (cbrt x) 3)) (sqrt (pow (cbrt x) 3)) (pow (cbrt x) (/ 3 2)) (pow (cbrt x) (/ 3 2)) (log (cbrt (pow (cbrt x) 3))) (exp (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt 1) (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) (/ 3 2))) (cbrt (pow (cbrt x) (/ 3 2))) (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (* (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) x x x (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 8.555 * * [simplify]: iteration 0 : 68 enodes (cost 655 ) 8.577 * * [simplify]: iteration 1 : 140 enodes (cost 385 ) 8.604 * * [simplify]: iteration 2 : 269 enodes (cost 345 ) 8.666 * * [simplify]: iteration 3 : 643 enodes (cost 345 ) 9.050 * * [simplify]: iteration 4 : 2052 enodes (cost 337 ) 10.314 * * [simplify]: iteration done : 5000 enodes (cost 337 ) 10.314 * [simplify]: Simplified to: (log x) (log x) 1 3 (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (cbrt x) (pow x 2/3) (cbrt x) (sqrt x) (sqrt x) 1 x (pow x 2/3) (cbrt x) (pow (cbrt x) 3/2) (pow (cbrt x) 3/2) 1 x (pow x 2/3) (log x) (exp x) (pow x 2/3) (cbrt x) (pow x 3) (pow x 2/3) (cbrt x) (sqrt x) (sqrt x) 1 x (pow x 2/3) (cbrt x) (pow (cbrt x) 3/2) (pow (cbrt x) 3/2) 1 x (pow x 2/3) (sqrt x) (sqrt x) (pow (cbrt x) 3/2) (pow (cbrt x) 3/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (sqrt (cbrt x)) (sqrt (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow x 2/3)) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) x x x (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 10.315 * * * [progress]: adding candidates to table 10.463 * [progress]: [Phase 3 of 3] Extracting. 10.463 * * [regime]: Finding splitpoints for: (# # # # # # #) 10.464 * * * [regime-changes]: Trying 3 branch expressions: ((* x x) (/ 1.0 (* x x)) x) 10.464 * * * * [regimes]: Trying to branch on (* x x) from (# # # # # # #) 10.485 * * * * [regimes]: Trying to branch on (/ 1.0 (* x x)) from (# # # # # # #) 10.502 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 10.524 * * * [regime]: Found split indices: #