0.758 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.040 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (sqrt (+ (pow x 2.0) (pow x 2.0))) 0.666 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.666 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.666 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.666 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 0.666 * * [simplify]: iteration 4 : 109 enodes (cost 6 ) 0.666 * * [simplify]: iteration 5 : 287 enodes (cost 6 ) 0.666 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 0.666 * * [simplify]: iteration 7 : 1667 enodes (cost 6 ) 0.666 * * [simplify]: iteration 8 : 2139 enodes (cost 6 ) 0.666 * * [simplify]: iteration 9 : 2870 enodes (cost 6 ) 0.666 * * [simplify]: iteration 10 : 4346 enodes (cost 6 ) 0.666 * * [simplify]: iteration 11 : 4966 enodes (cost 6 ) 0.666 * * [simplify]: iteration 12 : 5092 enodes (cost 6 ) 0.667 * [simplify]: Simplified to: (sqrt (* (pow x 2.0) 2)) 0.675 * * [progress]: iteration 1 / 4 0.675 * * * [progress]: picking best candidate 0.677 * * * * [pick]: Picked # 0.677 * * * [progress]: localizing error 0.685 * * * [progress]: generating rewritten candidates 0.685 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.690 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.697 * * * [progress]: generating series expansions 0.697 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.700 * [approximate]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in (x) around 0 0.701 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 0.701 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 0.701 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 0.701 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 0.701 * [taylor]: Taking taylor expansion of 1.0 in x 0.701 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 0.701 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 0.701 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 0.701 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 0.701 * [taylor]: Taking taylor expansion of 1.0 in x 0.701 * [taylor]: Taking taylor expansion of (log x) in x 0.701 * [taylor]: Taking taylor expansion of x in x 0.712 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.712 * [taylor]: Taking taylor expansion of 2 in x 0.712 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 0.713 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 0.713 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 0.713 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 0.713 * [taylor]: Taking taylor expansion of 1.0 in x 0.713 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 0.713 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 0.713 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 0.713 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 0.713 * [taylor]: Taking taylor expansion of 1.0 in x 0.713 * [taylor]: Taking taylor expansion of (log x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.713 * [taylor]: Taking taylor expansion of 2 in x 0.730 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 0.730 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 0.730 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 0.730 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 0.730 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 0.730 * [taylor]: Taking taylor expansion of 1.0 in x 0.730 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 0.730 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 0.730 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 0.730 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 0.730 * [taylor]: Taking taylor expansion of 1.0 in x 0.730 * [taylor]: Taking taylor expansion of (log x) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.731 * [taylor]: Taking taylor expansion of 2 in x 0.731 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 0.731 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 0.731 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 0.731 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 0.731 * [taylor]: Taking taylor expansion of 1.0 in x 0.731 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 0.731 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 0.731 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 0.731 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 0.731 * [taylor]: Taking taylor expansion of 1.0 in x 0.731 * [taylor]: Taking taylor expansion of (log x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.731 * [taylor]: Taking taylor expansion of 2 in x 0.748 * [approximate]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 0.748 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 0.748 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 0.748 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 0.748 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 0.748 * [taylor]: Taking taylor expansion of 1.0 in x 0.748 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 0.748 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 0.748 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 0.748 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 0.748 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 0.748 * [taylor]: Taking taylor expansion of 1.0 in x 0.748 * [taylor]: Taking taylor expansion of (log -1) in x 0.748 * [taylor]: Taking taylor expansion of -1 in x 0.748 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 0.748 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 0.748 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 0.748 * [taylor]: Taking taylor expansion of 1.0 in x 0.748 * [taylor]: Taking taylor expansion of (log x) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.749 * [taylor]: Taking taylor expansion of 2 in x 0.749 * [taylor]: Taking taylor expansion of (* (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 0.749 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 1.0) (pow x 1.0)) 1.0) in x 0.749 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0))))) in x 0.749 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 1.0) (pow x 1.0)))) in x 0.749 * [taylor]: Taking taylor expansion of 1.0 in x 0.749 * [taylor]: Taking taylor expansion of (log (/ (pow -1 1.0) (pow x 1.0))) in x 0.749 * [taylor]: Taking taylor expansion of (/ (pow -1 1.0) (pow x 1.0)) in x 0.749 * [taylor]: Taking taylor expansion of (pow -1 1.0) in x 0.749 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log -1))) in x 0.749 * [taylor]: Taking taylor expansion of (* 1.0 (log -1)) in x 0.749 * [taylor]: Taking taylor expansion of 1.0 in x 0.749 * [taylor]: Taking taylor expansion of (log -1) in x 0.749 * [taylor]: Taking taylor expansion of -1 in x 0.750 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 0.750 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 0.750 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 0.750 * [taylor]: Taking taylor expansion of 1.0 in x 0.750 * [taylor]: Taking taylor expansion of (log x) in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.750 * [taylor]: Taking taylor expansion of (sqrt 2) in x 0.750 * [taylor]: Taking taylor expansion of 2 in x 0.776 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.776 * [approximate]: Taking taylor expansion of (* 2 (pow (pow x 2.0) 1.0)) in (x) around 0 0.776 * [taylor]: Taking taylor expansion of (* 2 (pow (pow x 2.0) 1.0)) in x 0.776 * [taylor]: Taking taylor expansion of 2 in x 0.776 * [taylor]: Taking taylor expansion of (pow (pow x 2.0) 1.0) in x 0.776 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 2.0)))) in x 0.776 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 2.0))) in x 0.776 * [taylor]: Taking taylor expansion of 1.0 in x 0.776 * [taylor]: Taking taylor expansion of (log (pow x 2.0)) in x 0.776 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 0.776 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 0.776 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 0.776 * [taylor]: Taking taylor expansion of 2.0 in x 0.776 * [taylor]: Taking taylor expansion of (log x) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (* 2 (pow (pow x 2.0) 1.0)) in x 0.777 * [taylor]: Taking taylor expansion of 2 in x 0.777 * [taylor]: Taking taylor expansion of (pow (pow x 2.0) 1.0) in x 0.777 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 2.0)))) in x 0.777 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 2.0))) in x 0.777 * [taylor]: Taking taylor expansion of 1.0 in x 0.777 * [taylor]: Taking taylor expansion of (log (pow x 2.0)) in x 0.777 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 0.777 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 0.777 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 0.777 * [taylor]: Taking taylor expansion of 2.0 in x 0.777 * [taylor]: Taking taylor expansion of (log x) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.790 * [approximate]: Taking taylor expansion of (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) in (x) around 0 0.790 * [taylor]: Taking taylor expansion of (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) in x 0.790 * [taylor]: Taking taylor expansion of 2 in x 0.790 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2.0)) 1.0) in x 0.790 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 2.0))))) in x 0.790 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 2.0)))) in x 0.790 * [taylor]: Taking taylor expansion of 1.0 in x 0.790 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2.0))) in x 0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2.0)) in x 0.790 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 0.790 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 0.790 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 0.790 * [taylor]: Taking taylor expansion of 2.0 in x 0.790 * [taylor]: Taking taylor expansion of (log x) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.791 * [taylor]: Taking taylor expansion of (* 2 (pow (/ 1 (pow x 2.0)) 1.0)) in x 0.791 * [taylor]: Taking taylor expansion of 2 in x 0.791 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2.0)) 1.0) in x 0.791 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 2.0))))) in x 0.791 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 2.0)))) in x 0.791 * [taylor]: Taking taylor expansion of 1.0 in x 0.791 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2.0))) in x 0.791 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2.0)) in x 0.791 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 0.791 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 0.791 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 0.791 * [taylor]: Taking taylor expansion of 2.0 in x 0.791 * [taylor]: Taking taylor expansion of (log x) in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.809 * [approximate]: Taking taylor expansion of (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in (x) around 0 0.809 * [taylor]: Taking taylor expansion of (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in x 0.809 * [taylor]: Taking taylor expansion of 2 in x 0.809 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0) in x 0.809 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0))))) in x 0.809 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0)))) in x 0.809 * [taylor]: Taking taylor expansion of 1.0 in x 0.809 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow x 2.0))) in x 0.809 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow x 2.0)) in x 0.809 * [taylor]: Taking taylor expansion of (pow -1 2.0) in x 0.809 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in x 0.809 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in x 0.810 * [taylor]: Taking taylor expansion of 2.0 in x 0.810 * [taylor]: Taking taylor expansion of (log -1) in x 0.810 * [taylor]: Taking taylor expansion of -1 in x 0.810 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 0.810 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 0.810 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 0.810 * [taylor]: Taking taylor expansion of 2.0 in x 0.810 * [taylor]: Taking taylor expansion of (log x) in x 0.810 * [taylor]: Taking taylor expansion of x in x 0.810 * [taylor]: Taking taylor expansion of (* 2 (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0)) in x 0.810 * [taylor]: Taking taylor expansion of 2 in x 0.810 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 2.0) (pow x 2.0)) 1.0) in x 0.810 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0))))) in x 0.810 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 2.0) (pow x 2.0)))) in x 0.810 * [taylor]: Taking taylor expansion of 1.0 in x 0.810 * [taylor]: Taking taylor expansion of (log (/ (pow -1 2.0) (pow x 2.0))) in x 0.810 * [taylor]: Taking taylor expansion of (/ (pow -1 2.0) (pow x 2.0)) in x 0.810 * [taylor]: Taking taylor expansion of (pow -1 2.0) in x 0.811 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log -1))) in x 0.811 * [taylor]: Taking taylor expansion of (* 2.0 (log -1)) in x 0.811 * [taylor]: Taking taylor expansion of 2.0 in x 0.811 * [taylor]: Taking taylor expansion of (log -1) in x 0.811 * [taylor]: Taking taylor expansion of -1 in x 0.811 * [taylor]: Taking taylor expansion of (pow x 2.0) in x 0.811 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log x))) in x 0.811 * [taylor]: Taking taylor expansion of (* 2.0 (log x)) in x 0.811 * [taylor]: Taking taylor expansion of 2.0 in x 0.811 * [taylor]: Taking taylor expansion of (log x) in x 0.811 * [taylor]: Taking taylor expansion of x in x 0.836 * * * [progress]: simplifying candidates 0.837 * [simplify]: Simplifying using # : (log (sqrt (* (pow x 2.0) 2))) (exp (sqrt (* (pow x 2.0) 2))) (* (cbrt (sqrt (* (pow x 2.0) 2))) (cbrt (sqrt (* (pow x 2.0) 2)))) (cbrt (sqrt (* (pow x 2.0) 2))) (* (* (sqrt (* (pow x 2.0) 2)) (sqrt (* (pow x 2.0) 2))) (sqrt (* (pow x 2.0) 2))) (sqrt (pow x 2.0)) (sqrt 2) (/ 1 2) (sqrt (sqrt (* (pow x 2.0) 2))) (sqrt (sqrt (* (pow x 2.0) 2))) (+ (* (log x) 2.0) (log 2)) (+ (* (log x) 2.0) (log 2)) (+ (log (pow x 2.0)) (log 2)) (log (* (pow x 2.0) 2)) (exp (* (pow x 2.0) 2)) (* (* (* (pow x 2.0) (pow x 2.0)) (pow x 2.0)) (* (* 2 2) 2)) (* (cbrt (* (pow x 2.0) 2)) (cbrt (* (pow x 2.0) 2))) (cbrt (* (pow x 2.0) 2)) (* (* (* (pow x 2.0) 2) (* (pow x 2.0) 2)) (* (pow x 2.0) 2)) (sqrt (* (pow x 2.0) 2)) (sqrt (* (pow x 2.0) 2)) (* (pow (sqrt x) 2.0) (sqrt 2)) (* (pow (sqrt x) 2.0) (sqrt 2)) (* (sqrt (pow x 2.0)) (sqrt 2)) (* (sqrt (pow x 2.0)) (sqrt 2)) (* (pow x (/ 2.0 2)) (sqrt 2)) (* (pow x (/ 2.0 2)) (sqrt 2)) (* (pow x 2.0) (* (cbrt 2) (cbrt 2))) (* (pow x 2.0) (sqrt 2)) (* (pow x 2.0) 1) (* (pow (cbrt x) 2.0) 2) (* (pow (sqrt x) 2.0) 2) (* (pow x 2.0) 2) (* (cbrt (pow x 2.0)) 2) (* (sqrt (pow x 2.0)) 2) (* (pow x 2.0) 2) (* (pow x (/ 2.0 2)) 2) (* (sqrt 2) (exp (* 1.0 (+ (log 1) (log x))))) (* (pow (/ 1 (pow (exp (* 1.0 (+ (log 1) (log (/ 1 x))))) 1.0)) 1.0) (sqrt 2)) (* (pow (/ (pow -1 1.0) (pow (exp (* 1.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0) (sqrt 2)) (* 2 (exp (* 2.0 (+ (log 1) (log x))))) (* 2 (pow (/ 1 (pow (exp (* 2.0 (+ (log 1) (log (/ 1 x))))) 1.0)) 1.0)) (* 2 (pow (/ (pow -1 2.0) (pow (exp (* 2.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0)) 0.893 * * [simplify]: iteration 0 : 96 enodes (cost 362 ) 0.893 * * [simplify]: iteration 1 : 216 enodes (cost 332 ) 0.893 * * [simplify]: iteration 2 : 529 enodes (cost 314 ) 0.893 * * [simplify]: iteration 3 : 1440 enodes (cost 312 ) 0.894 * * [simplify]: iteration 4 : 3151 enodes (cost 309 ) 0.894 * * [simplify]: iteration 5 : 4863 enodes (cost 309 ) 0.894 * * [simplify]: iteration 6 : 5025 enodes (cost 309 ) 0.896 * [simplify]: Simplified to: (log (sqrt (* (pow x 2.0) 2))) (exp (sqrt (* (pow x 2.0) 2))) (* (cbrt (sqrt (* (pow x 2.0) 2))) (cbrt (sqrt (* (pow x 2.0) 2)))) (cbrt (sqrt (* (pow x 2.0) 2))) (pow (sqrt (* (pow x 2.0) 2)) 3) (sqrt (pow x 2.0)) (sqrt 2) (/ 1 2) (sqrt (sqrt (* (pow x 2.0) 2))) (sqrt (sqrt (* (pow x 2.0) 2))) (log (* (pow x 2.0) 2)) (log (* (pow x 2.0) 2)) (log (* (pow x 2.0) 2)) (log (* (pow x 2.0) 2)) (pow (exp (pow x 2.0)) 2) (pow (* (pow x 2.0) 2) 3) (* (cbrt (* (pow x 2.0) 2)) (cbrt (* (pow x 2.0) 2))) (cbrt (* (pow x 2.0) 2)) (pow (* (pow x 2.0) 2) 3) (sqrt (* (pow x 2.0) 2)) (sqrt (* (pow x 2.0) 2)) (* (sqrt 2) (pow (sqrt x) 2.0)) (* (sqrt 2) (pow (sqrt x) 2.0)) (* (sqrt (pow x 2.0)) (sqrt 2)) (* (sqrt (pow x 2.0)) (sqrt 2)) (* (sqrt (pow x 2.0)) (sqrt 2)) (* (sqrt (pow x 2.0)) (sqrt 2)) (* (pow x 2.0) (* (cbrt 2) (cbrt 2))) (* (pow x 2.0) (sqrt 2)) (pow x 2.0) (* 2 (pow (cbrt x) 2.0)) (* 2 (pow (sqrt x) 2.0)) (* (pow x 2.0) 2) (* 2 (cbrt (pow x 2.0))) (* 2 (sqrt (pow x 2.0))) (* (pow x 2.0) 2) (* 2 (sqrt (pow x 2.0))) (* (sqrt 2) (pow x 1.0)) (* (sqrt 2) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0)) (* (sqrt 2) (pow (/ (pow -1 1.0) (pow (pow (/ -1 x) 1.0) 1.0)) 1.0)) (* (pow x 2.0) 2) (* 2 (pow (/ 1 (pow (pow x (neg 2.0)) 1.0)) 1.0)) (* 2 (pow (/ (pow -1 2.0) (pow (pow (/ -1 x) 2.0) 1.0)) 1.0)) 0.896 * * * [progress]: adding candidates to table 0.969 * * [progress]: iteration 2 / 4 0.969 * * * [progress]: picking best candidate 0.986 * * * * [pick]: Picked # 0.986 * * * [progress]: localizing error 0.999 * * * [progress]: generating rewritten candidates 0.999 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.005 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1) 1.006 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 1.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.009 * * * [progress]: generating series expansions 1.009 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.009 * [approximate]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in (x) around 0 1.009 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 1.009 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 1.009 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 1.009 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 1.010 * [taylor]: Taking taylor expansion of 1.0 in x 1.010 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 1.010 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 1.010 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 1.010 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 1.010 * [taylor]: Taking taylor expansion of 1.0 in x 1.010 * [taylor]: Taking taylor expansion of (log x) in x 1.010 * [taylor]: Taking taylor expansion of x in x 1.010 * [taylor]: Taking taylor expansion of (sqrt 2) in x 1.010 * [taylor]: Taking taylor expansion of 2 in x 1.010 * [taylor]: Taking taylor expansion of (* (pow (pow x 1.0) 1.0) (sqrt 2)) in x 1.010 * [taylor]: Taking taylor expansion of (pow (pow x 1.0) 1.0) in x 1.010 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow x 1.0)))) in x 1.010 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow x 1.0))) in x 1.010 * [taylor]: Taking taylor expansion of 1.0 in x 1.010 * [taylor]: Taking taylor expansion of (log (pow x 1.0)) in x 1.010 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 1.010 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 1.010 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 1.010 * [taylor]: Taking taylor expansion of 1.0 in x 1.010 * [taylor]: Taking taylor expansion of (log x) in x 1.010 * [taylor]: Taking taylor expansion of x in x 1.011 * [taylor]: Taking taylor expansion of (sqrt 2) in x 1.011 * [taylor]: Taking taylor expansion of 2 in x 1.024 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 1.024 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 1.024 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 1.024 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 1.024 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 1.024 * [taylor]: Taking taylor expansion of 1.0 in x 1.024 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 1.024 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 1.024 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 1.024 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 1.024 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 1.024 * [taylor]: Taking taylor expansion of 1.0 in x 1.024 * [taylor]: Taking taylor expansion of (log x) in x 1.024 * [taylor]: Taking taylor expansion of x in x 1.025 * [taylor]: Taking taylor expansion of (sqrt 2) in x 1.025 * [taylor]: Taking taylor expansion of 2 in x 1.025 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 1.0)) 1.0) (sqrt 2)) in x 1.025 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 1.0)) 1.0) in x 1.025 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow x 1.0))))) in x 1.025 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow x 1.0)))) in x 1.025 * [taylor]: Taking taylor expansion of 1.0 in x 1.025 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 1.0))) in x 1.025 * [taylor]: Taking taylor expansion of (/ 1 (pow x 1.0)) in x 1.025 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 1.025 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 1.025 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 1.025 * [taylor]: Taking taylor expansion of 1.0 in x 1.025 * [taylor]: Taking taylor expansion of (log x) in x 1.025 * [taylor]: Taking taylor expansion of x in x 1.025 * [taylor]: Taking taylor expansion of (sqrt 2) in x 1.025 * [taylor]: Taking taylor expansion of 2 in x 1.042 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (cbrt -1) 3.0) (pow x 1.0)) 1.0) (sqrt 2)) in (x) around 0 1.042 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (cbrt -1) 3.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 1.042 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 3.0) (pow x 1.0)) 1.0) in x 1.042 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow (cbrt -1) 3.0) (pow x 1.0))))) in x 1.042 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow (cbrt -1) 3.0) (pow x 1.0)))) in x 1.042 * [taylor]: Taking taylor expansion of 1.0 in x 1.042 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 3.0) (pow x 1.0))) in x 1.042 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3.0) (pow x 1.0)) in x 1.042 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3.0) in x 1.042 * [taylor]: Taking taylor expansion of (exp (* 3.0 (log (cbrt -1)))) in x 1.042 * [taylor]: Taking taylor expansion of (* 3.0 (log (cbrt -1))) in x 1.042 * [taylor]: Taking taylor expansion of 3.0 in x 1.042 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.042 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.042 * [taylor]: Taking taylor expansion of -1 in x 1.043 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 1.043 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 1.043 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 1.043 * [taylor]: Taking taylor expansion of 1.0 in x 1.043 * [taylor]: Taking taylor expansion of (log x) in x 1.043 * [taylor]: Taking taylor expansion of x in x 1.044 * [taylor]: Taking taylor expansion of (sqrt 2) in x 1.044 * [taylor]: Taking taylor expansion of 2 in x 1.044 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (cbrt -1) 3.0) (pow x 1.0)) 1.0) (sqrt 2)) in x 1.044 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 3.0) (pow x 1.0)) 1.0) in x 1.044 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow (cbrt -1) 3.0) (pow x 1.0))))) in x 1.044 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow (cbrt -1) 3.0) (pow x 1.0)))) in x 1.044 * [taylor]: Taking taylor expansion of 1.0 in x 1.044 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 3.0) (pow x 1.0))) in x 1.044 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3.0) (pow x 1.0)) in x 1.044 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3.0) in x 1.044 * [taylor]: Taking taylor expansion of (exp (* 3.0 (log (cbrt -1)))) in x 1.044 * [taylor]: Taking taylor expansion of (* 3.0 (log (cbrt -1))) in x 1.044 * [taylor]: Taking taylor expansion of 3.0 in x 1.044 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.044 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.044 * [taylor]: Taking taylor expansion of -1 in x 1.044 * [taylor]: Taking taylor expansion of (pow x 1.0) in x 1.044 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log x))) in x 1.044 * [taylor]: Taking taylor expansion of (* 1.0 (log x)) in x 1.044 * [taylor]: Taking taylor expansion of 1.0 in x 1.044 * [taylor]: Taking taylor expansion of (log x) in x 1.044 * [taylor]: Taking taylor expansion of x in x 1.045 * [taylor]: Taking taylor expansion of (sqrt 2) in x 1.045 * [taylor]: Taking taylor expansion of 2 in x 1.078 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1) 1.078 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.078 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.078 * [taylor]: Taking taylor expansion of 1/3 in x 1.078 * [taylor]: Taking taylor expansion of (log x) in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.078 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.078 * [taylor]: Taking taylor expansion of 1/3 in x 1.078 * [taylor]: Taking taylor expansion of (log x) in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.084 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.084 * [taylor]: Taking taylor expansion of 1/3 in x 1.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.084 * [taylor]: Taking taylor expansion of x in x 1.085 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.085 * [taylor]: Taking taylor expansion of 1/3 in x 1.085 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.093 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.093 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.093 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.093 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.093 * [taylor]: Taking taylor expansion of 1/3 in x 1.093 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.093 * [taylor]: Taking taylor expansion of x in x 1.093 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.093 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.093 * [taylor]: Taking taylor expansion of -1 in x 1.094 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.094 * [taylor]: Taking taylor expansion of 1/3 in x 1.094 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.102 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 1.102 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.102 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.102 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.102 * [taylor]: Taking taylor expansion of 1/3 in x 1.102 * [taylor]: Taking taylor expansion of (log x) in x 1.102 * [taylor]: Taking taylor expansion of x in x 1.102 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.102 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.102 * [taylor]: Taking taylor expansion of 1/3 in x 1.102 * [taylor]: Taking taylor expansion of (log x) in x 1.102 * [taylor]: Taking taylor expansion of x in x 1.108 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.108 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.108 * [taylor]: Taking taylor expansion of 1/3 in x 1.108 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.108 * [taylor]: Taking taylor expansion of x in x 1.109 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.109 * [taylor]: Taking taylor expansion of 1/3 in x 1.109 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.109 * [taylor]: Taking taylor expansion of x in x 1.115 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.115 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.115 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.115 * [taylor]: Taking taylor expansion of -1 in x 1.115 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.115 * [taylor]: Taking taylor expansion of 1/3 in x 1.115 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.115 * [taylor]: Taking taylor expansion of x in x 1.115 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.115 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.115 * [taylor]: Taking taylor expansion of -1 in x 1.116 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.116 * [taylor]: Taking taylor expansion of 1/3 in x 1.116 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.116 * [taylor]: Taking taylor expansion of x in x 1.123 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.123 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.123 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.124 * [taylor]: Taking taylor expansion of 1/3 in x 1.124 * [taylor]: Taking taylor expansion of (log x) in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.124 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.124 * [taylor]: Taking taylor expansion of 1/3 in x 1.124 * [taylor]: Taking taylor expansion of (log x) in x 1.124 * [taylor]: Taking taylor expansion of x in x 1.130 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.130 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.130 * [taylor]: Taking taylor expansion of 1/3 in x 1.130 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.130 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.130 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.130 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.130 * [taylor]: Taking taylor expansion of 1/3 in x 1.130 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.130 * [taylor]: Taking taylor expansion of x in x 1.136 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.137 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.137 * [taylor]: Taking taylor expansion of -1 in x 1.137 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.137 * [taylor]: Taking taylor expansion of 1/3 in x 1.137 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.137 * [taylor]: Taking taylor expansion of x in x 1.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.137 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.137 * [taylor]: Taking taylor expansion of -1 in x 1.137 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.137 * [taylor]: Taking taylor expansion of 1/3 in x 1.137 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.137 * [taylor]: Taking taylor expansion of x in x 1.145 * * * [progress]: simplifying candidates 1.146 * [simplify]: Simplifying using # : (log (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (exp (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (* (cbrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (cbrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0)))))) (cbrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (* (* (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0)))) (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (* 2 (pow (cbrt x) 2.0))) (/ 1 2) (sqrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (sqrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (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)) (* (sqrt 2) (exp (* 1.0 (+ (log 1) (log x))))) (* (pow (/ 1 (pow (exp (* 1.0 (+ (log 1) (log (/ 1 x))))) 1.0)) 1.0) (sqrt 2)) (* (pow (/ (pow (cbrt -1) 3.0) (pow (exp (* 1.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.0) (sqrt 2)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.167 * * [simplify]: iteration 0 : 71 enodes (cost 449 ) 1.167 * * [simplify]: iteration 1 : 145 enodes (cost 407 ) 1.167 * * [simplify]: iteration 2 : 266 enodes (cost 359 ) 1.167 * * [simplify]: iteration 3 : 623 enodes (cost 346 ) 1.168 * * [simplify]: iteration 4 : 1956 enodes (cost 340 ) 1.168 * * [simplify]: iteration 5 : 5474 enodes (cost 340 ) 1.170 * [simplify]: Simplified to: (log (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (exp (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (* (cbrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (cbrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0)))))) (cbrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (pow (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0)))) 3) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (* 2 (pow (cbrt x) 2.0))) (/ 1 2) (sqrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (sqrt (sqrt (* (pow (* (cbrt x) (cbrt x)) 2.0) (* 2 (pow (cbrt x) 2.0))))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* (sqrt 2) (pow x 1.0)) (* (sqrt 2) (pow (/ 1 (pow (pow x (neg 1.0)) 1.0)) 1.0)) (* (sqrt 2) (pow (/ (pow (cbrt -1) 3.0) (pow (pow (/ -1 x) 1.0) 1.0)) 1.0)) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) 1.170 * * * [progress]: adding candidates to table 1.252 * * [progress]: iteration 3 / 4 1.252 * * * [progress]: picking best candidate 1.266 * * * * [pick]: Picked # 1.266 * * * [progress]: localizing error 1.278 * * * [progress]: generating rewritten candidates 1.278 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.281 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1.282 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2) 1.283 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.285 * * * [progress]: generating series expansions 1.285 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.285 * [approximate]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in (x) around 0 1.285 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x 1.285 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x 1.285 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x 1.285 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.285 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x 1.285 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.285 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.285 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.285 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.285 * [taylor]: Taking taylor expansion of (log x) in x 1.285 * [taylor]: Taking taylor expansion of x in x 1.286 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x 1.286 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x 1.286 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x 1.286 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.286 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x 1.286 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.286 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.286 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.286 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.286 * [taylor]: Taking taylor expansion of (log x) in x 1.286 * [taylor]: Taking taylor expansion of x in x 1.299 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in (x) around 0 1.299 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.299 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.299 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.299 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.299 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.299 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.299 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.299 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.299 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.299 * [taylor]: Taking taylor expansion of (log x) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.299 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.299 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.299 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.299 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.299 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.299 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.299 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.300 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.300 * [taylor]: Taking taylor expansion of (log x) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.315 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in (x) around 0 1.315 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x 1.315 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x 1.315 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x 1.315 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x 1.315 * [taylor]: Taking taylor expansion of 1.0 in x 1.315 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x 1.315 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x 1.315 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x 1.315 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x 1.315 * [taylor]: Taking taylor expansion of 2.0 in x 1.315 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.315 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.315 * [taylor]: Taking taylor expansion of -1 in x 1.315 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.315 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.315 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.316 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.316 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.316 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.316 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.316 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.316 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.316 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.316 * [taylor]: Taking taylor expansion of (log x) in x 1.316 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x 1.316 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x 1.316 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x 1.316 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x 1.316 * [taylor]: Taking taylor expansion of 1.0 in x 1.316 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x 1.316 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x 1.316 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x 1.316 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x 1.316 * [taylor]: Taking taylor expansion of 2.0 in x 1.316 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.316 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.316 * [taylor]: Taking taylor expansion of -1 in x 1.317 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x 1.317 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x 1.317 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x 1.317 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x 1.317 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x 1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x 1.317 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x 1.317 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x 1.317 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x 1.317 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x 1.317 * [taylor]: Taking taylor expansion of (log x) in x 1.317 * [taylor]: Taking taylor expansion of x in x 1.353 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1.353 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.353 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.353 * [taylor]: Taking taylor expansion of 1/3 in x 1.353 * [taylor]: Taking taylor expansion of (log x) in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.353 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.353 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.353 * [taylor]: Taking taylor expansion of 1/3 in x 1.353 * [taylor]: Taking taylor expansion of (log x) in x 1.353 * [taylor]: Taking taylor expansion of x in x 1.359 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.359 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.359 * [taylor]: Taking taylor expansion of 1/3 in x 1.359 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.359 * [taylor]: Taking taylor expansion of x in x 1.360 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.360 * [taylor]: Taking taylor expansion of 1/3 in x 1.360 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.360 * [taylor]: Taking taylor expansion of x in x 1.366 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.366 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.366 * [taylor]: Taking taylor expansion of -1 in x 1.366 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.366 * [taylor]: Taking taylor expansion of 1/3 in x 1.366 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.366 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.366 * [taylor]: Taking taylor expansion of -1 in x 1.367 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.367 * [taylor]: Taking taylor expansion of 1/3 in x 1.367 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.375 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2) 1.375 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.375 * [taylor]: Taking taylor expansion of 1/3 in x 1.375 * [taylor]: Taking taylor expansion of (log x) in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.375 * [taylor]: Taking taylor expansion of 1/3 in x 1.375 * [taylor]: Taking taylor expansion of (log x) in x 1.375 * [taylor]: Taking taylor expansion of x in x 1.381 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.381 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.381 * [taylor]: Taking taylor expansion of 1/3 in x 1.381 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.381 * [taylor]: Taking taylor expansion of x in x 1.381 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.381 * [taylor]: Taking taylor expansion of 1/3 in x 1.381 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.381 * [taylor]: Taking taylor expansion of x in x 1.388 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.388 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.388 * [taylor]: Taking taylor expansion of -1 in x 1.388 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.388 * [taylor]: Taking taylor expansion of 1/3 in x 1.388 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.388 * [taylor]: Taking taylor expansion of x in x 1.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.388 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.388 * [taylor]: Taking taylor expansion of -1 in x 1.388 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.388 * [taylor]: Taking taylor expansion of 1/3 in x 1.388 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.388 * [taylor]: Taking taylor expansion of x in x 1.396 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.396 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.396 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.396 * [taylor]: Taking taylor expansion of 1/3 in x 1.396 * [taylor]: Taking taylor expansion of (log x) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.397 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.397 * [taylor]: Taking taylor expansion of 1/3 in x 1.397 * [taylor]: Taking taylor expansion of (log x) in x 1.397 * [taylor]: Taking taylor expansion of x in x 1.403 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.403 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.403 * [taylor]: Taking taylor expansion of 1/3 in x 1.403 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.403 * [taylor]: Taking taylor expansion of 1/3 in x 1.403 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.410 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.410 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.410 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.410 * [taylor]: Taking taylor expansion of -1 in x 1.410 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.410 * [taylor]: Taking taylor expansion of 1/3 in x 1.410 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.410 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.410 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.410 * [taylor]: Taking taylor expansion of -1 in x 1.410 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.410 * [taylor]: Taking taylor expansion of 1/3 in x 1.410 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.418 * * * [progress]: simplifying candidates 1.419 * [simplify]: Simplifying using # : (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (exp (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (* (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (* (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)) (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt 1) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (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)) (exp (* 0.6666666666666666 (+ (log 1) (log x)))) (pow (/ 1 (exp (* 6004799503160661.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16) (* (pow (/ 1 (pow (exp (* 6004799503160661.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.1102230246251565e-16) (pow (pow (cbrt -1) 2.0) 1.0)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 1.463 * * [simplify]: iteration 0 : 74 enodes (cost 439 ) 1.463 * * [simplify]: iteration 1 : 149 enodes (cost 402 ) 1.464 * * [simplify]: iteration 2 : 262 enodes (cost 353 ) 1.464 * * [simplify]: iteration 3 : 529 enodes (cost 341 ) 1.464 * * [simplify]: iteration 4 : 1511 enodes (cost 334 ) 1.464 * * [simplify]: iteration 5 : 4498 enodes (cost 334 ) 1.464 * * [simplify]: iteration 6 : 5035 enodes (cost 334 ) 1.467 * [simplify]: Simplified to: (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (exp (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (pow (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) 3) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) 1 (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2))) (/ 2.0 2) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 0.6666666666666666) (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) (* (pow (/ 1 (pow (pow (/ -1 x) 6004799503160661.0) 1.0)) 1.1102230246251565e-16) (pow (pow (cbrt -1) 2.0) 1.0)) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) 1.467 * * * [progress]: adding candidates to table 1.571 * * [progress]: iteration 4 / 4 1.571 * * * [progress]: picking best candidate 1.606 * * * * [pick]: Picked # 1.606 * * * [progress]: localizing error 1.615 * * * [progress]: generating rewritten candidates 1.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 1.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.618 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 1.620 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.624 * * * [progress]: generating series expansions 1.624 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 1.624 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.624 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.624 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.624 * [taylor]: Taking taylor expansion of 1/3 in x 1.624 * [taylor]: Taking taylor expansion of (log x) in x 1.624 * [taylor]: Taking taylor expansion of x in x 1.625 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.625 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.625 * [taylor]: Taking taylor expansion of 1/3 in x 1.625 * [taylor]: Taking taylor expansion of (log x) in x 1.625 * [taylor]: Taking taylor expansion of x in x 1.631 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.631 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.631 * [taylor]: Taking taylor expansion of 1/3 in x 1.631 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.631 * [taylor]: Taking taylor expansion of x in x 1.631 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.631 * [taylor]: Taking taylor expansion of 1/3 in x 1.631 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.631 * [taylor]: Taking taylor expansion of x in x 1.637 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.637 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.637 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.638 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.638 * [taylor]: Taking taylor expansion of 1/3 in x 1.638 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.638 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.638 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.638 * [taylor]: Taking taylor expansion of -1 in x 1.638 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.638 * [taylor]: Taking taylor expansion of 1/3 in x 1.638 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.646 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.646 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.646 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.646 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.646 * [taylor]: Taking taylor expansion of 1/3 in x 1.646 * [taylor]: Taking taylor expansion of (log x) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.646 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.646 * [taylor]: Taking taylor expansion of 1/3 in x 1.646 * [taylor]: Taking taylor expansion of (log x) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.652 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.652 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.652 * [taylor]: Taking taylor expansion of 1/3 in x 1.652 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.652 * [taylor]: Taking taylor expansion of x in x 1.653 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.653 * [taylor]: Taking taylor expansion of 1/3 in x 1.653 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.653 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.653 * [taylor]: Taking taylor expansion of x in x 1.659 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.659 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.659 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.659 * [taylor]: Taking taylor expansion of -1 in x 1.659 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.659 * [taylor]: Taking taylor expansion of 1/3 in x 1.659 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.660 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.660 * [taylor]: Taking taylor expansion of -1 in x 1.660 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.660 * [taylor]: Taking taylor expansion of 1/3 in x 1.660 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.660 * [taylor]: Taking taylor expansion of x in x 1.669 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 1.670 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0 1.670 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x 1.670 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x 1.670 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x 1.670 * [taylor]: Taking taylor expansion of 2.0 in x 1.670 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 1.670 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.670 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.670 * [taylor]: Taking taylor expansion of 1/3 in x 1.670 * [taylor]: Taking taylor expansion of (log x) in x 1.670 * [taylor]: Taking taylor expansion of x in x 1.670 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x 1.670 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x 1.670 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x 1.670 * [taylor]: Taking taylor expansion of 2.0 in x 1.670 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 1.670 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.670 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.670 * [taylor]: Taking taylor expansion of 1/3 in x 1.670 * [taylor]: Taking taylor expansion of (log x) in x 1.670 * [taylor]: Taking taylor expansion of x in x 1.683 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0 1.683 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x 1.683 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x 1.683 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x 1.683 * [taylor]: Taking taylor expansion of 2.0 in x 1.683 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 1.683 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.683 * [taylor]: Taking taylor expansion of 1/3 in x 1.683 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.683 * [taylor]: Taking taylor expansion of x in x 1.683 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x 1.683 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x 1.683 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x 1.683 * [taylor]: Taking taylor expansion of 2.0 in x 1.683 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 1.683 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.684 * [taylor]: Taking taylor expansion of 1/3 in x 1.684 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.684 * [taylor]: Taking taylor expansion of x in x 1.697 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0 1.697 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x 1.697 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x 1.697 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 1.697 * [taylor]: Taking taylor expansion of 2.0 in x 1.697 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 1.697 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.697 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.697 * [taylor]: Taking taylor expansion of -1 in x 1.697 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.697 * [taylor]: Taking taylor expansion of 1/3 in x 1.697 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.697 * [taylor]: Taking taylor expansion of x in x 1.698 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x 1.698 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x 1.698 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 1.698 * [taylor]: Taking taylor expansion of 2.0 in x 1.698 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 1.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.698 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.698 * [taylor]: Taking taylor expansion of -1 in x 1.698 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.698 * [taylor]: Taking taylor expansion of 1/3 in x 1.698 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.698 * [taylor]: Taking taylor expansion of x in x 1.716 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.716 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0 1.716 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x 1.716 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x 1.716 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x 1.716 * [taylor]: Taking taylor expansion of 2.0 in x 1.716 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 1.716 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.716 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.716 * [taylor]: Taking taylor expansion of 1/3 in x 1.716 * [taylor]: Taking taylor expansion of (log x) in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x 1.716 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x 1.716 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x 1.716 * [taylor]: Taking taylor expansion of 2.0 in x 1.716 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 1.716 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.716 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.716 * [taylor]: Taking taylor expansion of 1/3 in x 1.716 * [taylor]: Taking taylor expansion of (log x) in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.729 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0 1.729 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x 1.729 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x 1.729 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x 1.729 * [taylor]: Taking taylor expansion of 2.0 in x 1.729 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 1.729 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.729 * [taylor]: Taking taylor expansion of 1/3 in x 1.729 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x 1.730 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x 1.730 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x 1.730 * [taylor]: Taking taylor expansion of 2.0 in x 1.730 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 1.730 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.730 * [taylor]: Taking taylor expansion of 1/3 in x 1.730 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.743 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0 1.743 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x 1.743 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x 1.743 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 1.743 * [taylor]: Taking taylor expansion of 2.0 in x 1.743 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 1.743 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.743 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.743 * [taylor]: Taking taylor expansion of -1 in x 1.743 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.743 * [taylor]: Taking taylor expansion of 1/3 in x 1.743 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x 1.744 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x 1.744 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 1.744 * [taylor]: Taking taylor expansion of 2.0 in x 1.744 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 1.744 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.744 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.744 * [taylor]: Taking taylor expansion of -1 in x 1.744 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.744 * [taylor]: Taking taylor expansion of 1/3 in x 1.744 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.763 * * * [progress]: simplifying candidates 1.764 * [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)) 2.0) (* (log (cbrt x)) 2.0) (* 1/3 2.0) (* 1 2.0) (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0))) (pow (cbrt x) (sqrt 2.0)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt 1) 2.0) (pow (cbrt x) 2.0) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow 1 2.0) (pow (cbrt x) 2.0) (log (pow (cbrt x) 2.0)) (exp (pow (cbrt x) 2.0)) (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)) (* (* (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)) (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (pow (cbrt x) (/ 2.0 2)) (pow (cbrt x) (/ 2.0 2)) (* (log (cbrt x)) 2.0) (* (log (cbrt x)) 2.0) (* 1/3 2.0) (* 1 2.0) (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0))) (pow (cbrt x) (sqrt 2.0)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt 1) 2.0) (pow (cbrt x) 2.0) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow 1 2.0) (pow (cbrt x) 2.0) (log (pow (cbrt x) 2.0)) (exp (pow (cbrt x) 2.0)) (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)) (* (* (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)) (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (pow (cbrt x) (/ 2.0 2)) (pow (cbrt x) (/ 2.0 2)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 0.6666666666666666 (+ (log 1) (log x)))) (exp (* 0.6666666666666666 (- (log 1) (log (/ 1 x))))) (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0) (exp (* 0.6666666666666666 (+ (log 1) (log x)))) (exp (* 0.6666666666666666 (- (log 1) (log (/ 1 x))))) (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0) 1.854 * * [simplify]: iteration 0 : 67 enodes (cost 518 ) 1.854 * * [simplify]: iteration 1 : 139 enodes (cost 484 ) 1.854 * * [simplify]: iteration 2 : 277 enodes (cost 434 ) 1.855 * * [simplify]: iteration 3 : 624 enodes (cost 418 ) 1.855 * * [simplify]: iteration 4 : 2696 enodes (cost 410 ) 1.855 * * [simplify]: iteration 5 : 4754 enodes (cost 410 ) 1.855 * * [simplify]: iteration 6 : 5036 enodes (cost 410 ) 1.858 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow (cbrt x) 2)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow (cbrt x) 2)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* (log (cbrt x)) 2.0) (* (log (cbrt x)) 2.0) (* 2.0 1/3) 2.0 (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0))) (pow (cbrt x) (sqrt 2.0)) (cbrt x) (pow (cbrt (pow (cbrt x) 2)) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) 1 (pow (cbrt x) 2.0) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) 1 (pow (cbrt x) 2.0) (* (log (cbrt x)) 2.0) (exp (pow (cbrt x) 2.0)) (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)) (pow (pow (cbrt x) 2.0) 3) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (pow (cbrt x) (/ 2.0 2)) (pow (cbrt x) (/ 2.0 2)) (* (log (cbrt x)) 2.0) (* (log (cbrt x)) 2.0) (* 2.0 1/3) 2.0 (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0))) (pow (cbrt x) (sqrt 2.0)) (cbrt x) (pow (cbrt (pow (cbrt x) 2)) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) (pow (cbrt (sqrt x)) 2.0) 1 (pow (cbrt x) 2.0) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0) (pow (cbrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 2.0) 1 (pow (cbrt x) 2.0) (* (log (cbrt x)) 2.0) (exp (pow (cbrt x) 2.0)) (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)) (pow (pow (cbrt x) 2.0) 3) (sqrt (pow (cbrt x) 2.0)) (sqrt (pow (cbrt x) 2.0)) (pow (cbrt x) (/ 2.0 2)) (pow (cbrt x) (/ 2.0 2)) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) (cbrt x) (cbrt x) (* (cbrt -1) (cbrt (/ x -1))) (pow x 0.6666666666666666) (pow x 0.6666666666666666) (pow (* (cbrt -1) (cbrt (/ x -1))) 2.0) (pow x 0.6666666666666666) (pow x 0.6666666666666666) (pow (* (cbrt -1) (cbrt (/ x -1))) 2.0) 1.858 * * * [progress]: adding candidates to table 1.977 * [progress]: [Phase 3 of 3] Extracting. 1.977 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 1.980 * * * [regime-changes]: Trying 2 branch expressions: ((pow x 2.0) x) 1.980 * * * * [regimes]: Trying to branch on (pow x 2.0) from (# # # # # # # # # # # # # #) 2.060 * * * * [regimes]: Trying to branch on (pow x 2.0) from (# #) 2.091 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # #) 2.168 * * * [regime]: Found split indices: #