12.864 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.024 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.025 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.026 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.029 * * [simplify]: iteration 3 : 42 enodes (cost 7 ) 0.034 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 0.043 * * [simplify]: iteration 5 : 110 enodes (cost 7 ) 0.065 * * [simplify]: iteration 6 : 144 enodes (cost 7 ) 0.090 * * [simplify]: iteration 7 : 165 enodes (cost 7 ) 0.120 * * [simplify]: iteration 8 : 201 enodes (cost 7 ) 0.156 * * [simplify]: iteration 9 : 242 enodes (cost 7 ) 0.203 * * [simplify]: iteration done : 242 enodes (cost 7 ) 0.203 * [simplify]: Simplified to: (fma y (sqrt x) (- 1.0 x)) 0.206 * * [progress]: iteration 1 / 4 0.206 * * * [progress]: picking best candidate 0.208 * * * * [pick]: Picked # 0.208 * * * [progress]: localizing error 0.214 * * * [progress]: generating rewritten candidates 0.214 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.219 * * * [progress]: generating series expansions 0.219 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.219 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.219 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.219 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.221 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.221 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of 0 in x 0.221 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of 0 in x 0.224 * [taylor]: Taking taylor expansion of 0 in x 0.227 * [taylor]: Taking taylor expansion of 0 in x 0.230 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.230 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.230 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.231 * [taylor]: Taking taylor expansion of y in x 0.231 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.231 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.231 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.231 * [taylor]: Taking taylor expansion of x in y 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.232 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.232 * [taylor]: Taking taylor expansion of x in y 0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of 0 in x 0.236 * [taylor]: Taking taylor expansion of 0 in x 0.239 * [taylor]: Taking taylor expansion of 0 in x 0.242 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 0.242 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 0.242 * [taylor]: Taking taylor expansion of -1 in x 0.242 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.242 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.242 * [taylor]: Taking taylor expansion of -1 in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.244 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.244 * [taylor]: Taking taylor expansion of -1 in y 0.244 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.244 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.244 * [taylor]: Taking taylor expansion of -1 in y 0.244 * [taylor]: Taking taylor expansion of x in y 0.244 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.244 * [taylor]: Taking taylor expansion of -1 in y 0.244 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.244 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.244 * [taylor]: Taking taylor expansion of -1 in y 0.244 * [taylor]: Taking taylor expansion of x in y 0.244 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 0.244 * [taylor]: Taking taylor expansion of -1 in x 0.244 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.244 * [taylor]: Taking taylor expansion of -1 in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of 0 in x 0.253 * [taylor]: Taking taylor expansion of 0 in x 0.258 * * * [progress]: simplifying candidates 0.259 * [simplify]: Simplifying using # : (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* y (sqrt x)) (+ (log y) (log (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (* (* (* y y) y) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (* (* (* y (sqrt x)) (* y (sqrt x))) (* y (sqrt x))) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* y (sqrt (* (cbrt x) (cbrt x)))) (* y (sqrt (sqrt x))) (* y (sqrt 1)) (* y (sqrt (sqrt x))) (* y 1) (* (cbrt y) (sqrt x)) (* (sqrt y) (sqrt x)) (* y (sqrt x)) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 0.261 * * [simplify]: iteration 0 : 65 enodes (cost 220 ) 0.276 * * [simplify]: iteration 1 : 157 enodes (cost 199 ) 0.307 * * [simplify]: iteration 2 : 636 enodes (cost 183 ) 0.577 * * [simplify]: iteration 3 : 3094 enodes (cost 175 ) 2.732 * * [simplify]: iteration done : 5000 enodes (cost 172 ) 2.732 * [simplify]: Simplified to: (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* y (sqrt x)) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (pow (* y (sqrt x)) 3) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (fabs (cbrt x)) y) (* y (sqrt (sqrt x))) y (* y (sqrt (sqrt x))) y (* (cbrt y) (sqrt x)) (* (sqrt y) (sqrt x)) (* y (sqrt x)) (* (- (* y (- x (pow x 3))) (* (pow x 2) y)) +nan.0) (* +nan.0 (- (- (/ y x) y) (/ y (pow x 2)))) (* +nan.0 (- (- (/ y x) y) (/ y (pow x 2)))) 2.732 * * * [progress]: adding candidates to table 2.773 * * [progress]: iteration 2 / 4 2.773 * * * [progress]: picking best candidate 2.785 * * * * [pick]: Picked # 2.785 * * * [progress]: localizing error 2.793 * * * [progress]: generating rewritten candidates 2.793 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.809 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 2.815 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 2.816 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.820 * * * [progress]: generating series expansions 2.820 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.820 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 2.820 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 2.820 * [taylor]: Taking taylor expansion of (sqrt x) in x 2.820 * [taylor]: Taking taylor expansion of x in x 2.822 * [taylor]: Taking taylor expansion of y in x 2.822 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 2.822 * [taylor]: Taking taylor expansion of (sqrt x) in y 2.822 * [taylor]: Taking taylor expansion of x in y 2.822 * [taylor]: Taking taylor expansion of y in y 2.822 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 2.822 * [taylor]: Taking taylor expansion of (sqrt x) in y 2.822 * [taylor]: Taking taylor expansion of x in y 2.822 * [taylor]: Taking taylor expansion of y in y 2.822 * [taylor]: Taking taylor expansion of 0 in x 2.822 * [taylor]: Taking taylor expansion of (sqrt x) in x 2.822 * [taylor]: Taking taylor expansion of x in x 2.824 * [taylor]: Taking taylor expansion of 0 in x 2.825 * [taylor]: Taking taylor expansion of 0 in x 2.828 * [taylor]: Taking taylor expansion of 0 in x 2.830 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 2.830 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 2.830 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 2.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.831 * [taylor]: Taking taylor expansion of x in x 2.832 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.832 * [taylor]: Taking taylor expansion of y in x 2.832 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 2.832 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 2.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.832 * [taylor]: Taking taylor expansion of x in y 2.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.832 * [taylor]: Taking taylor expansion of y in y 2.832 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 2.832 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 2.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.832 * [taylor]: Taking taylor expansion of x in y 2.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.833 * [taylor]: Taking taylor expansion of y in y 2.833 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 2.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.833 * [taylor]: Taking taylor expansion of x in x 2.835 * [taylor]: Taking taylor expansion of 0 in x 2.836 * [taylor]: Taking taylor expansion of 0 in x 2.840 * [taylor]: Taking taylor expansion of 0 in x 2.843 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 2.843 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 2.843 * [taylor]: Taking taylor expansion of -1 in x 2.843 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 2.843 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.843 * [taylor]: Taking taylor expansion of -1 in x 2.843 * [taylor]: Taking taylor expansion of x in x 2.845 * [taylor]: Taking taylor expansion of y in x 2.845 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 2.845 * [taylor]: Taking taylor expansion of -1 in y 2.845 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 2.845 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.845 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.845 * [taylor]: Taking taylor expansion of -1 in y 2.845 * [taylor]: Taking taylor expansion of x in y 2.845 * [taylor]: Taking taylor expansion of y in y 2.845 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 2.845 * [taylor]: Taking taylor expansion of -1 in y 2.845 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 2.845 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.845 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.845 * [taylor]: Taking taylor expansion of -1 in y 2.845 * [taylor]: Taking taylor expansion of x in y 2.845 * [taylor]: Taking taylor expansion of y in y 2.845 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 2.845 * [taylor]: Taking taylor expansion of -1 in x 2.845 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.845 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.845 * [taylor]: Taking taylor expansion of -1 in x 2.845 * [taylor]: Taking taylor expansion of x in x 2.848 * [taylor]: Taking taylor expansion of 0 in x 2.854 * [taylor]: Taking taylor expansion of 0 in x 2.863 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 2.863 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 2.863 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 2.863 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.863 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.863 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.863 * [taylor]: Taking taylor expansion of 1/4 in x 2.863 * [taylor]: Taking taylor expansion of (log x) in x 2.863 * [taylor]: Taking taylor expansion of x in x 2.864 * [taylor]: Taking taylor expansion of y in x 2.864 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 2.864 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 2.864 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 2.864 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 2.864 * [taylor]: Taking taylor expansion of 1/4 in y 2.864 * [taylor]: Taking taylor expansion of (log x) in y 2.864 * [taylor]: Taking taylor expansion of x in y 2.864 * [taylor]: Taking taylor expansion of y in y 2.864 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 2.864 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 2.864 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 2.864 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 2.864 * [taylor]: Taking taylor expansion of 1/4 in y 2.864 * [taylor]: Taking taylor expansion of (log x) in y 2.864 * [taylor]: Taking taylor expansion of x in y 2.864 * [taylor]: Taking taylor expansion of y in y 2.865 * [taylor]: Taking taylor expansion of 0 in x 2.866 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.866 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.866 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.866 * [taylor]: Taking taylor expansion of 1/4 in x 2.866 * [taylor]: Taking taylor expansion of (log x) in x 2.866 * [taylor]: Taking taylor expansion of x in x 2.869 * [taylor]: Taking taylor expansion of 0 in x 2.875 * [taylor]: Taking taylor expansion of 0 in x 2.875 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 2.875 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 2.875 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.875 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.875 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.875 * [taylor]: Taking taylor expansion of 1/4 in x 2.875 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.875 * [taylor]: Taking taylor expansion of x in x 2.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.876 * [taylor]: Taking taylor expansion of y in x 2.876 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 2.876 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 2.876 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 2.876 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 2.876 * [taylor]: Taking taylor expansion of 1/4 in y 2.876 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 2.876 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.876 * [taylor]: Taking taylor expansion of x in y 2.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.876 * [taylor]: Taking taylor expansion of y in y 2.877 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 2.877 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 2.877 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 2.877 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 2.877 * [taylor]: Taking taylor expansion of 1/4 in y 2.877 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 2.877 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.877 * [taylor]: Taking taylor expansion of x in y 2.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.877 * [taylor]: Taking taylor expansion of y in y 2.877 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.877 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.877 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.877 * [taylor]: Taking taylor expansion of 1/4 in x 2.877 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.877 * [taylor]: Taking taylor expansion of x in x 2.880 * [taylor]: Taking taylor expansion of 0 in x 2.886 * [taylor]: Taking taylor expansion of 0 in x 2.894 * [taylor]: Taking taylor expansion of 0 in x 2.894 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 2.894 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 2.894 * [taylor]: Taking taylor expansion of -1 in x 2.894 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 2.894 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.894 * [taylor]: Taking taylor expansion of y in x 2.894 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.894 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.894 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.894 * [taylor]: Taking taylor expansion of -1 in x 2.894 * [taylor]: Taking taylor expansion of x in x 2.899 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 2.899 * [taylor]: Taking taylor expansion of -1 in y 2.899 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 2.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.899 * [taylor]: Taking taylor expansion of y in y 2.899 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 2.899 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.899 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.899 * [taylor]: Taking taylor expansion of -1 in y 2.899 * [taylor]: Taking taylor expansion of x in y 2.899 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 2.899 * [taylor]: Taking taylor expansion of -1 in y 2.899 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 2.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.899 * [taylor]: Taking taylor expansion of y in y 2.900 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 2.900 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.900 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.900 * [taylor]: Taking taylor expansion of -1 in y 2.900 * [taylor]: Taking taylor expansion of x in y 2.900 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 2.900 * [taylor]: Taking taylor expansion of -1 in x 2.900 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.900 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.900 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.900 * [taylor]: Taking taylor expansion of -1 in x 2.900 * [taylor]: Taking taylor expansion of x in x 2.907 * [taylor]: Taking taylor expansion of 0 in x 2.912 * [taylor]: Taking taylor expansion of 0 in x 2.936 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.936 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 2.936 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.936 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.936 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.936 * [taylor]: Taking taylor expansion of 1/4 in x 2.936 * [taylor]: Taking taylor expansion of (log x) in x 2.936 * [taylor]: Taking taylor expansion of x in x 2.937 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.937 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.937 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.937 * [taylor]: Taking taylor expansion of 1/4 in x 2.937 * [taylor]: Taking taylor expansion of (log x) in x 2.937 * [taylor]: Taking taylor expansion of x in x 2.989 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 2.989 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.989 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.989 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.989 * [taylor]: Taking taylor expansion of 1/4 in x 2.989 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.989 * [taylor]: Taking taylor expansion of x in x 2.990 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.990 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.990 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.990 * [taylor]: Taking taylor expansion of 1/4 in x 2.990 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.990 * [taylor]: Taking taylor expansion of x in x 3.046 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 3.046 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.046 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.046 * [taylor]: Taking taylor expansion of -1 in x 3.046 * [taylor]: Taking taylor expansion of x in x 3.051 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.051 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.051 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.051 * [taylor]: Taking taylor expansion of -1 in x 3.051 * [taylor]: Taking taylor expansion of x in x 3.071 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 3.071 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 3.071 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.071 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.071 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.071 * [taylor]: Taking taylor expansion of 1/4 in x 3.071 * [taylor]: Taking taylor expansion of (log x) in x 3.071 * [taylor]: Taking taylor expansion of x in x 3.071 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.071 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.071 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.071 * [taylor]: Taking taylor expansion of 1/4 in x 3.071 * [taylor]: Taking taylor expansion of (log x) in x 3.071 * [taylor]: Taking taylor expansion of x in x 3.124 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 3.124 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.124 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.124 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.124 * [taylor]: Taking taylor expansion of 1/4 in x 3.124 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.124 * [taylor]: Taking taylor expansion of x in x 3.125 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.125 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.125 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.125 * [taylor]: Taking taylor expansion of 1/4 in x 3.125 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.125 * [taylor]: Taking taylor expansion of x in x 3.180 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 3.180 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.180 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.180 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.180 * [taylor]: Taking taylor expansion of -1 in x 3.180 * [taylor]: Taking taylor expansion of x in x 3.185 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.185 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.185 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.185 * [taylor]: Taking taylor expansion of -1 in x 3.185 * [taylor]: Taking taylor expansion of x in x 3.205 * * * [progress]: simplifying candidates 3.206 * [simplify]: Simplifying using # : (expm1 (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (log1p (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x)))) (+ (log (* y (sqrt (sqrt x)))) (log (sqrt (sqrt x)))) (log (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (exp (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt 1)) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) 1) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* y (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt x)))) (* y 1) (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)) (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt 1) (sqrt (sqrt x)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)) (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt 1) (sqrt (sqrt x)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) 3.211 * * [simplify]: iteration 0 : 138 enodes (cost 963 ) 3.241 * * [simplify]: iteration 1 : 360 enodes (cost 766 ) 3.322 * * [simplify]: iteration 2 : 1508 enodes (cost 688 ) 3.906 * * [simplify]: iteration done : 5000 enodes (cost 685 ) 3.906 * [simplify]: Simplified to: (expm1 (* y (sqrt x))) (log1p (* y (sqrt x))) (* y (sqrt x)) (* y (sqrt x)) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (pow (* y (sqrt x)) 3) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt x))) (* y (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt x)) y) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt x)) y) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt x)) y) (sqrt x) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* (sqrt (sqrt x)) y) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (fabs (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt x))) y) (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt (sqrt x)) y) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (- (* +nan.0 (- (* x y) (* (pow x 3) y))) (* +nan.0 (* (pow x 2) y))) (- (* +nan.0 (- (/ y x) y)) (* +nan.0 (/ y (pow x 2)))) (- (* +nan.0 (- (/ y x) y)) (* +nan.0 (/ y (pow x 2)))) (* (pow x 1/4) y) (* (pow x 1/4) y) (+ (- (* (sqrt +nan.0) y) (* +nan.0 (/ y (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow x 2))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))) 3.907 * * * [progress]: adding candidates to table 4.120 * * [progress]: iteration 3 / 4 4.120 * * * [progress]: picking best candidate 4.129 * * * * [pick]: Picked # 4.129 * * * [progress]: localizing error 4.144 * * * [progress]: generating rewritten candidates 4.144 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 4.172 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 4.173 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 4.184 * * * [progress]: generating series expansions 4.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 4.184 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 4.184 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 4.184 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.184 * [taylor]: Taking taylor expansion of x in x 4.185 * [taylor]: Taking taylor expansion of y in x 4.186 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 4.186 * [taylor]: Taking taylor expansion of (sqrt x) in y 4.186 * [taylor]: Taking taylor expansion of x in y 4.186 * [taylor]: Taking taylor expansion of y in y 4.186 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 4.186 * [taylor]: Taking taylor expansion of (sqrt x) in y 4.186 * [taylor]: Taking taylor expansion of x in y 4.186 * [taylor]: Taking taylor expansion of y in y 4.186 * [taylor]: Taking taylor expansion of 0 in x 4.186 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.186 * [taylor]: Taking taylor expansion of x in x 4.188 * [taylor]: Taking taylor expansion of 0 in x 4.189 * [taylor]: Taking taylor expansion of 0 in x 4.192 * [taylor]: Taking taylor expansion of 0 in x 4.195 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 4.195 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 4.195 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 4.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.195 * [taylor]: Taking taylor expansion of x in x 4.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.196 * [taylor]: Taking taylor expansion of y in x 4.196 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 4.197 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 4.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.197 * [taylor]: Taking taylor expansion of x in y 4.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.197 * [taylor]: Taking taylor expansion of y in y 4.197 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 4.197 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 4.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.197 * [taylor]: Taking taylor expansion of x in y 4.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.197 * [taylor]: Taking taylor expansion of y in y 4.198 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 4.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.198 * [taylor]: Taking taylor expansion of x in x 4.199 * [taylor]: Taking taylor expansion of 0 in x 4.201 * [taylor]: Taking taylor expansion of 0 in x 4.205 * [taylor]: Taking taylor expansion of 0 in x 4.208 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0 4.208 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x 4.208 * [taylor]: Taking taylor expansion of -1 in x 4.208 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 4.208 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 4.208 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 4.208 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 4.208 * [taylor]: Taking taylor expansion of 1/4 in x 4.208 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 4.208 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 4.208 * [taylor]: Taking taylor expansion of (* -1 x) in x 4.208 * [taylor]: Taking taylor expansion of -1 in x 4.208 * [taylor]: Taking taylor expansion of x in x 4.210 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 4.210 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.210 * [taylor]: Taking taylor expansion of y in x 4.210 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 4.210 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.210 * [taylor]: Taking taylor expansion of -1 in x 4.210 * [taylor]: Taking taylor expansion of x in x 4.215 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 4.215 * [taylor]: Taking taylor expansion of -1 in y 4.215 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 4.215 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y 4.215 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y 4.215 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y 4.215 * [taylor]: Taking taylor expansion of 1/4 in y 4.215 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y 4.215 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y 4.215 * [taylor]: Taking taylor expansion of (* -1 x) in y 4.215 * [taylor]: Taking taylor expansion of -1 in y 4.215 * [taylor]: Taking taylor expansion of x in y 4.215 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 4.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.215 * [taylor]: Taking taylor expansion of y in y 4.216 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 4.216 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.216 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.216 * [taylor]: Taking taylor expansion of -1 in y 4.216 * [taylor]: Taking taylor expansion of x in y 4.216 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 4.216 * [taylor]: Taking taylor expansion of -1 in y 4.216 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 4.216 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y 4.216 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y 4.216 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y 4.216 * [taylor]: Taking taylor expansion of 1/4 in y 4.216 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y 4.216 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y 4.216 * [taylor]: Taking taylor expansion of (* -1 x) in y 4.216 * [taylor]: Taking taylor expansion of -1 in y 4.216 * [taylor]: Taking taylor expansion of x in y 4.216 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 4.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.216 * [taylor]: Taking taylor expansion of y in y 4.216 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 4.216 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.216 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.216 * [taylor]: Taking taylor expansion of -1 in y 4.217 * [taylor]: Taking taylor expansion of x in y 4.217 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x 4.217 * [taylor]: Taking taylor expansion of -1 in x 4.217 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x 4.217 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 4.217 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 4.217 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 4.217 * [taylor]: Taking taylor expansion of 1/4 in x 4.217 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 4.217 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.217 * [taylor]: Taking taylor expansion of -1 in x 4.217 * [taylor]: Taking taylor expansion of x in x 4.219 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 4.219 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.219 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.219 * [taylor]: Taking taylor expansion of -1 in x 4.219 * [taylor]: Taking taylor expansion of x in x 4.228 * [taylor]: Taking taylor expansion of 0 in x 4.239 * [taylor]: Taking taylor expansion of 0 in x 4.448 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 4.448 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 4.448 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 4.448 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 4.448 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 4.448 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 4.448 * [taylor]: Taking taylor expansion of 1/4 in x 4.448 * [taylor]: Taking taylor expansion of (log x) in x 4.448 * [taylor]: Taking taylor expansion of x in x 4.449 * [taylor]: Taking taylor expansion of y in x 4.449 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 4.449 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 4.449 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 4.449 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 4.449 * [taylor]: Taking taylor expansion of 1/4 in y 4.449 * [taylor]: Taking taylor expansion of (log x) in y 4.449 * [taylor]: Taking taylor expansion of x in y 4.449 * [taylor]: Taking taylor expansion of y in y 4.449 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 4.449 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 4.449 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 4.449 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 4.449 * [taylor]: Taking taylor expansion of 1/4 in y 4.449 * [taylor]: Taking taylor expansion of (log x) in y 4.449 * [taylor]: Taking taylor expansion of x in y 4.449 * [taylor]: Taking taylor expansion of y in y 4.449 * [taylor]: Taking taylor expansion of 0 in x 4.451 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 4.451 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 4.451 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 4.451 * [taylor]: Taking taylor expansion of 1/4 in x 4.451 * [taylor]: Taking taylor expansion of (log x) in x 4.451 * [taylor]: Taking taylor expansion of x in x 4.454 * [taylor]: Taking taylor expansion of 0 in x 4.460 * [taylor]: Taking taylor expansion of 0 in x 4.460 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 4.460 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 4.460 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 4.460 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 4.460 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 4.460 * [taylor]: Taking taylor expansion of 1/4 in x 4.460 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.460 * [taylor]: Taking taylor expansion of x in x 4.461 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.461 * [taylor]: Taking taylor expansion of y in x 4.461 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 4.461 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 4.461 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 4.461 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 4.461 * [taylor]: Taking taylor expansion of 1/4 in y 4.461 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.461 * [taylor]: Taking taylor expansion of x in y 4.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.461 * [taylor]: Taking taylor expansion of y in y 4.462 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 4.462 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 4.462 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 4.462 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 4.462 * [taylor]: Taking taylor expansion of 1/4 in y 4.462 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.462 * [taylor]: Taking taylor expansion of x in y 4.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.462 * [taylor]: Taking taylor expansion of y in y 4.462 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 4.462 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 4.462 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 4.463 * [taylor]: Taking taylor expansion of 1/4 in x 4.463 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.463 * [taylor]: Taking taylor expansion of x in x 4.465 * [taylor]: Taking taylor expansion of 0 in x 4.471 * [taylor]: Taking taylor expansion of 0 in x 4.479 * [taylor]: Taking taylor expansion of 0 in x 4.479 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 4.479 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 4.479 * [taylor]: Taking taylor expansion of -1 in x 4.479 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 4.479 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.479 * [taylor]: Taking taylor expansion of y in x 4.479 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 4.479 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.479 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.479 * [taylor]: Taking taylor expansion of -1 in x 4.479 * [taylor]: Taking taylor expansion of x in x 4.484 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 4.484 * [taylor]: Taking taylor expansion of -1 in y 4.484 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 4.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.484 * [taylor]: Taking taylor expansion of y in y 4.484 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 4.484 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.484 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.484 * [taylor]: Taking taylor expansion of -1 in y 4.484 * [taylor]: Taking taylor expansion of x in y 4.484 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 4.484 * [taylor]: Taking taylor expansion of -1 in y 4.484 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 4.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.484 * [taylor]: Taking taylor expansion of y in y 4.485 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 4.485 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.485 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.485 * [taylor]: Taking taylor expansion of -1 in y 4.485 * [taylor]: Taking taylor expansion of x in y 4.485 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 4.485 * [taylor]: Taking taylor expansion of -1 in x 4.485 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 4.485 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.485 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.485 * [taylor]: Taking taylor expansion of -1 in x 4.485 * [taylor]: Taking taylor expansion of x in x 4.492 * [taylor]: Taking taylor expansion of 0 in x 4.497 * [taylor]: Taking taylor expansion of 0 in x 4.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 4.522 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 4.522 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 4.522 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 4.522 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 4.522 * [taylor]: Taking taylor expansion of 1/4 in x 4.522 * [taylor]: Taking taylor expansion of (log x) in x 4.522 * [taylor]: Taking taylor expansion of x in x 4.526 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 4.526 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 4.526 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 4.526 * [taylor]: Taking taylor expansion of 1/4 in x 4.526 * [taylor]: Taking taylor expansion of (log x) in x 4.526 * [taylor]: Taking taylor expansion of x in x 4.574 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 4.574 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 4.574 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 4.574 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 4.574 * [taylor]: Taking taylor expansion of 1/4 in x 4.574 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.574 * [taylor]: Taking taylor expansion of x in x 4.575 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 4.575 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 4.575 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 4.575 * [taylor]: Taking taylor expansion of 1/4 in x 4.575 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.575 * [taylor]: Taking taylor expansion of x in x 4.629 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 4.629 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 4.629 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.629 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.629 * [taylor]: Taking taylor expansion of -1 in x 4.629 * [taylor]: Taking taylor expansion of x in x 4.634 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 4.634 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.634 * [taylor]: Taking taylor expansion of -1 in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.654 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 4.654 * [approximate]: Taking taylor expansion of (pow (/ 1 x) -1/4) in (x) around 0 4.654 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/4) in x 4.654 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 x)))) in x 4.654 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 x))) in x 4.654 * [taylor]: Taking taylor expansion of -1/4 in x 4.654 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.654 * [taylor]: Taking taylor expansion of x in x 4.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/4) in x 4.655 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 x)))) in x 4.655 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 x))) in x 4.655 * [taylor]: Taking taylor expansion of -1/4 in x 4.655 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.655 * [taylor]: Taking taylor expansion of x in x 4.709 * [approximate]: Taking taylor expansion of (pow x -1/4) in (x) around 0 4.709 * [taylor]: Taking taylor expansion of (pow x -1/4) in x 4.709 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in x 4.709 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in x 4.709 * [taylor]: Taking taylor expansion of -1/4 in x 4.709 * [taylor]: Taking taylor expansion of (log x) in x 4.709 * [taylor]: Taking taylor expansion of x in x 4.710 * [taylor]: Taking taylor expansion of (pow x -1/4) in x 4.710 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in x 4.710 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in x 4.710 * [taylor]: Taking taylor expansion of -1/4 in x 4.710 * [taylor]: Taking taylor expansion of (log x) in x 4.710 * [taylor]: Taking taylor expansion of x in x 4.760 * [approximate]: Taking taylor expansion of (pow (* -1 x) -1/4) in (x) around 0 4.760 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/4) in x 4.760 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 x)))) in x 4.760 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 x))) in x 4.760 * [taylor]: Taking taylor expansion of -1/4 in x 4.760 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 4.760 * [taylor]: Taking taylor expansion of (* -1 x) in x 4.760 * [taylor]: Taking taylor expansion of -1 in x 4.760 * [taylor]: Taking taylor expansion of x in x 4.762 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/4) in x 4.762 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 x)))) in x 4.762 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 x))) in x 4.762 * [taylor]: Taking taylor expansion of -1/4 in x 4.762 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 4.762 * [taylor]: Taking taylor expansion of (* -1 x) in x 4.762 * [taylor]: Taking taylor expansion of -1 in x 4.762 * [taylor]: Taking taylor expansion of x in x 4.824 * * * [progress]: simplifying candidates 4.826 * [simplify]: Simplifying using # : (expm1 (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (log1p (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (- (log x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (- 0 (log x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (- (log 1) (log x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (pow (/ 1 x) -1/4))) (+ (log (* y (sqrt (sqrt x)))) (* (- (log x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (- 0 (log x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (- (log 1) (log x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (* (log (/ 1 x)) -1/4)) (+ (log (* y (sqrt (sqrt x)))) (log (pow (/ 1 x) -1/4))) (log (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (exp (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4))) (* (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (sqrt (/ 1 x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ (sqrt 1) 1) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 (sqrt x)) -1/4)) (* (* y (sqrt (sqrt x))) (pow (/ 1 1) -1/4)) (* (* y (sqrt (sqrt x))) (pow 1 -1/4)) (* (* y (sqrt (sqrt x))) (pow 1 -1/4)) (* (* y (sqrt (sqrt x))) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))) (* (* y (sqrt (sqrt x))) (sqrt (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) 1) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) (/ -1/4 2))) (* (sqrt (sqrt x)) (pow (/ 1 x) -1/4)) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* y (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt x)))) (* y 1) (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)) (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt 1) (sqrt (sqrt x)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (expm1 (pow (/ 1 x) -1/4)) (log1p (pow (/ 1 x) -1/4)) (* (- (log x)) -1/4) (* (- 0 (log x)) -1/4) (* (- (log 1) (log x)) -1/4) (* (log (/ 1 x)) -1/4) (* (log (/ 1 x)) -1/4) (* -1 -1/4) (* (- 1) -1/4) (* 1 -1/4) (pow (/ 1 x) (* (cbrt -1/4) (cbrt -1/4))) (pow (/ 1 x) (sqrt -1/4)) (pow (/ 1 x) 1) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4) (pow (cbrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4) (pow (/ (cbrt 1) (cbrt x)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4) (pow (/ (cbrt 1) (sqrt x)) -1/4) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4) (pow (/ (cbrt 1) x) -1/4) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/4) (pow (/ (sqrt 1) (cbrt x)) -1/4) (pow (/ (sqrt 1) (sqrt x)) -1/4) (pow (/ (sqrt 1) (sqrt x)) -1/4) (pow (/ (sqrt 1) 1) -1/4) (pow (/ (sqrt 1) x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 1) -1/4) (pow (/ 1 x) -1/4) (pow 1 -1/4) (pow (/ 1 x) -1/4) (pow 1 -1/4) (pow (/ 1 x) -1/4) (log (pow (/ 1 x) -1/4)) (exp (pow (/ 1 x) -1/4)) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))) (cbrt (pow (/ 1 x) -1/4)) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (pow (/ 1 x) (/ -1/4 2)) (pow (/ 1 x) (/ -1/4 2)) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x))) (- (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2))))))))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* -1/4 (+ (log -1) (log (/ -1 x))))) 4.833 * * [simplify]: iteration 0 : 250 enodes (cost 1503 ) 4.886 * * [simplify]: iteration 1 : 657 enodes (cost 1315 ) 5.074 * * [simplify]: iteration 2 : 2799 enodes (cost 1204 ) 6.496 * * [simplify]: iteration done : 5000 enodes (cost 1202 ) 6.496 * [simplify]: Simplified to: (expm1 (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (log1p (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (- (log (* y (sqrt (sqrt x)))) (* (log x) -1/4)) (exp (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (pow (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) 3) (pow (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) 3) (* (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)))) (cbrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (pow (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4)) 3) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (sqrt (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/4))) (* (* y (sqrt (sqrt x))) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)) (* (* y (sqrt (sqrt x))) (pow (sqrt (/ 1 x)) -1/4)) (* (* (sqrt (sqrt x)) y) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (sqrt x)) y)) (* (sqrt (sqrt x)) y) (* (* (sqrt (sqrt x)) y) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (sqrt x)) y)) (* (sqrt (sqrt x)) y) (* (* (sqrt (sqrt x)) y) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* (pow (/ 1 (sqrt x)) -1/4) (* (sqrt (sqrt x)) y)) (* (sqrt (sqrt x)) y) (* (sqrt (sqrt x)) y) (* (sqrt (sqrt x)) y) (* (* y (sqrt (sqrt x))) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))) (* (* y (sqrt (sqrt x))) (sqrt (pow (/ 1 x) -1/4))) (* (sqrt (sqrt x)) y) (* (* (sqrt (sqrt x)) y) (pow (/ 1 x) -1/8)) (* (sqrt (sqrt x)) (pow (/ 1 x) -1/4)) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* (sqrt (sqrt x)) y) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (fabs (cbrt (sqrt x)))) (* y (sqrt (fabs (cbrt x)))) (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* (sqrt (sqrt x)) y) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (expm1 (pow (/ 1 x) -1/4)) (log1p (pow (/ 1 x) -1/4)) (* (log x) 1/4) (* (log x) 1/4) (* (log x) 1/4) (* (log x) 1/4) (* (log x) 1/4) 1/4 1/4 -1/4 (pow (/ 1 x) (* (cbrt -1/4) (cbrt -1/4))) (pow (/ 1 x) (sqrt -1/4)) (/ 1 x) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4) (pow (cbrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) (* (log x) 1/4) (exp (pow (/ 1 x) -1/4)) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))) (cbrt (pow (/ 1 x) -1/4)) (pow (pow (/ 1 x) -1/4) 3) (sqrt (pow (/ 1 x) -1/4)) (sqrt (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (- (* +nan.0 (- (* x y) (* (pow x 3) y))) (* +nan.0 (* (pow x 2) y))) (- (* +nan.0 (- (/ y x) y)) (* +nan.0 (/ y (pow x 2)))) (+ (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2))))) (* +nan.0 (- (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x)) (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2)))))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (fma (/ y (* (sqrt +nan.0) x)) +nan.0 (- (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow x 2))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2))))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* -1/4 (+ (log -1) (log (/ -1 x))))) 6.497 * * * [progress]: adding candidates to table 6.787 * * [progress]: iteration 4 / 4 6.787 * * * [progress]: picking best candidate 6.794 * * * * [pick]: Picked # 6.795 * * * [progress]: localizing error 6.810 * * * [progress]: generating rewritten candidates 6.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.841 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 6.876 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 6.882 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 6.900 * * * [progress]: generating series expansions 6.900 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.901 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 6.901 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 6.901 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 6.901 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 6.901 * [taylor]: Taking taylor expansion of 1/4 in x 6.901 * [taylor]: Taking taylor expansion of (log x) in x 6.901 * [taylor]: Taking taylor expansion of x in x 6.902 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 6.902 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 6.902 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 6.902 * [taylor]: Taking taylor expansion of 1/4 in x 6.902 * [taylor]: Taking taylor expansion of (log x) in x 6.902 * [taylor]: Taking taylor expansion of x in x 6.955 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 6.955 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 6.955 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 6.955 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 6.955 * [taylor]: Taking taylor expansion of 1/4 in x 6.955 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.955 * [taylor]: Taking taylor expansion of x in x 6.956 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 6.956 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 6.956 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 6.956 * [taylor]: Taking taylor expansion of 1/4 in x 6.956 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.956 * [taylor]: Taking taylor expansion of x in x 7.013 * [approximate]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in (x) around 0 7.013 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 7.013 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 7.013 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 7.013 * [taylor]: Taking taylor expansion of 1/4 in x 7.013 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 7.013 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 7.013 * [taylor]: Taking taylor expansion of (* -1 x) in x 7.013 * [taylor]: Taking taylor expansion of -1 in x 7.013 * [taylor]: Taking taylor expansion of x in x 7.015 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 7.015 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 7.015 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 7.015 * [taylor]: Taking taylor expansion of 1/4 in x 7.015 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 7.015 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 7.015 * [taylor]: Taking taylor expansion of (* -1 x) in x 7.015 * [taylor]: Taking taylor expansion of -1 in x 7.015 * [taylor]: Taking taylor expansion of x in x 7.084 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 7.085 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 7.085 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 7.085 * [taylor]: Taking taylor expansion of (sqrt x) in x 7.085 * [taylor]: Taking taylor expansion of x in x 7.086 * [taylor]: Taking taylor expansion of y in x 7.086 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 7.086 * [taylor]: Taking taylor expansion of (sqrt x) in y 7.086 * [taylor]: Taking taylor expansion of x in y 7.086 * [taylor]: Taking taylor expansion of y in y 7.086 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 7.086 * [taylor]: Taking taylor expansion of (sqrt x) in y 7.086 * [taylor]: Taking taylor expansion of x in y 7.086 * [taylor]: Taking taylor expansion of y in y 7.086 * [taylor]: Taking taylor expansion of 0 in x 7.087 * [taylor]: Taking taylor expansion of (sqrt x) in x 7.087 * [taylor]: Taking taylor expansion of x in x 7.089 * [taylor]: Taking taylor expansion of 0 in x 7.090 * [taylor]: Taking taylor expansion of 0 in x 7.093 * [taylor]: Taking taylor expansion of 0 in x 7.096 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 7.096 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 7.096 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 7.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.096 * [taylor]: Taking taylor expansion of x in x 7.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.097 * [taylor]: Taking taylor expansion of y in x 7.097 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 7.097 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 7.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.097 * [taylor]: Taking taylor expansion of x in y 7.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.097 * [taylor]: Taking taylor expansion of y in y 7.098 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 7.098 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 7.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.098 * [taylor]: Taking taylor expansion of x in y 7.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.098 * [taylor]: Taking taylor expansion of y in y 7.098 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 7.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.098 * [taylor]: Taking taylor expansion of x in x 7.100 * [taylor]: Taking taylor expansion of 0 in x 7.102 * [taylor]: Taking taylor expansion of 0 in x 7.105 * [taylor]: Taking taylor expansion of 0 in x 7.109 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0 7.109 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x 7.109 * [taylor]: Taking taylor expansion of -1 in x 7.109 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 7.109 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 7.109 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 7.109 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 7.109 * [taylor]: Taking taylor expansion of 1/4 in x 7.109 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 7.109 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.109 * [taylor]: Taking taylor expansion of -1 in x 7.109 * [taylor]: Taking taylor expansion of x in x 7.111 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 7.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.111 * [taylor]: Taking taylor expansion of y in x 7.111 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 7.111 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.111 * [taylor]: Taking taylor expansion of -1 in x 7.111 * [taylor]: Taking taylor expansion of x in x 7.115 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 7.115 * [taylor]: Taking taylor expansion of -1 in y 7.115 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 7.115 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y 7.115 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y 7.115 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y 7.115 * [taylor]: Taking taylor expansion of 1/4 in y 7.116 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 7.116 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.116 * [taylor]: Taking taylor expansion of -1 in y 7.116 * [taylor]: Taking taylor expansion of x in y 7.116 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 7.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.116 * [taylor]: Taking taylor expansion of y in y 7.116 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 7.116 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 7.116 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.116 * [taylor]: Taking taylor expansion of -1 in y 7.116 * [taylor]: Taking taylor expansion of x in y 7.116 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 7.116 * [taylor]: Taking taylor expansion of -1 in y 7.116 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 7.116 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y 7.116 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y 7.116 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y 7.116 * [taylor]: Taking taylor expansion of 1/4 in y 7.116 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 7.116 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.116 * [taylor]: Taking taylor expansion of -1 in y 7.116 * [taylor]: Taking taylor expansion of x in y 7.117 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 7.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.117 * [taylor]: Taking taylor expansion of y in y 7.117 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 7.117 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 7.117 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.117 * [taylor]: Taking taylor expansion of -1 in y 7.117 * [taylor]: Taking taylor expansion of x in y 7.118 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x 7.118 * [taylor]: Taking taylor expansion of -1 in x 7.118 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x 7.118 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 7.118 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 7.118 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 7.118 * [taylor]: Taking taylor expansion of 1/4 in x 7.118 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 7.118 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.118 * [taylor]: Taking taylor expansion of -1 in x 7.118 * [taylor]: Taking taylor expansion of x in x 7.119 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 7.119 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.119 * [taylor]: Taking taylor expansion of -1 in x 7.119 * [taylor]: Taking taylor expansion of x in x 7.128 * [taylor]: Taking taylor expansion of 0 in x 7.140 * [taylor]: Taking taylor expansion of 0 in x 7.169 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 7.169 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 7.169 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 7.169 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 7.169 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 7.169 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 7.169 * [taylor]: Taking taylor expansion of 1/4 in x 7.169 * [taylor]: Taking taylor expansion of (log x) in x 7.169 * [taylor]: Taking taylor expansion of x in x 7.169 * [taylor]: Taking taylor expansion of y in x 7.169 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 7.169 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 7.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 7.170 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 7.170 * [taylor]: Taking taylor expansion of 1/4 in y 7.170 * [taylor]: Taking taylor expansion of (log x) in y 7.170 * [taylor]: Taking taylor expansion of x in y 7.170 * [taylor]: Taking taylor expansion of y in y 7.170 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 7.170 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 7.170 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 7.170 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 7.170 * [taylor]: Taking taylor expansion of 1/4 in y 7.170 * [taylor]: Taking taylor expansion of (log x) in y 7.170 * [taylor]: Taking taylor expansion of x in y 7.170 * [taylor]: Taking taylor expansion of y in y 7.170 * [taylor]: Taking taylor expansion of 0 in x 7.172 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 7.172 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 7.172 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 7.172 * [taylor]: Taking taylor expansion of 1/4 in x 7.172 * [taylor]: Taking taylor expansion of (log x) in x 7.172 * [taylor]: Taking taylor expansion of x in x 7.175 * [taylor]: Taking taylor expansion of 0 in x 7.181 * [taylor]: Taking taylor expansion of 0 in x 7.181 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 7.181 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 7.181 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 7.181 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 7.181 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 7.181 * [taylor]: Taking taylor expansion of 1/4 in x 7.181 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.181 * [taylor]: Taking taylor expansion of x in x 7.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.182 * [taylor]: Taking taylor expansion of y in x 7.182 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 7.182 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 7.182 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 7.182 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 7.182 * [taylor]: Taking taylor expansion of 1/4 in y 7.182 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 7.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.182 * [taylor]: Taking taylor expansion of x in y 7.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.182 * [taylor]: Taking taylor expansion of y in y 7.182 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 7.183 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 7.183 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 7.183 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 7.183 * [taylor]: Taking taylor expansion of 1/4 in y 7.183 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 7.183 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.183 * [taylor]: Taking taylor expansion of x in y 7.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.183 * [taylor]: Taking taylor expansion of y in y 7.183 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 7.183 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 7.183 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 7.183 * [taylor]: Taking taylor expansion of 1/4 in x 7.183 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.183 * [taylor]: Taking taylor expansion of x in x 7.186 * [taylor]: Taking taylor expansion of 0 in x 7.192 * [taylor]: Taking taylor expansion of 0 in x 7.200 * [taylor]: Taking taylor expansion of 0 in x 7.200 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 7.200 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 7.200 * [taylor]: Taking taylor expansion of -1 in x 7.200 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 7.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.200 * [taylor]: Taking taylor expansion of y in x 7.200 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 7.200 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.200 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.200 * [taylor]: Taking taylor expansion of -1 in x 7.200 * [taylor]: Taking taylor expansion of x in x 7.205 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 7.205 * [taylor]: Taking taylor expansion of -1 in y 7.205 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 7.205 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.205 * [taylor]: Taking taylor expansion of y in y 7.205 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 7.205 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 7.205 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.205 * [taylor]: Taking taylor expansion of -1 in y 7.205 * [taylor]: Taking taylor expansion of x in y 7.206 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 7.206 * [taylor]: Taking taylor expansion of -1 in y 7.206 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 7.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.206 * [taylor]: Taking taylor expansion of y in y 7.206 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 7.206 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 7.206 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.206 * [taylor]: Taking taylor expansion of -1 in y 7.206 * [taylor]: Taking taylor expansion of x in y 7.206 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 7.206 * [taylor]: Taking taylor expansion of -1 in x 7.206 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 7.206 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.207 * [taylor]: Taking taylor expansion of -1 in x 7.207 * [taylor]: Taking taylor expansion of x in x 7.213 * [taylor]: Taking taylor expansion of 0 in x 7.219 * [taylor]: Taking taylor expansion of 0 in x 7.248 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 7.248 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 7.248 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 7.248 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 7.248 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 7.248 * [taylor]: Taking taylor expansion of 1/4 in x 7.248 * [taylor]: Taking taylor expansion of (log x) in x 7.248 * [taylor]: Taking taylor expansion of x in x 7.249 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 7.249 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 7.249 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 7.249 * [taylor]: Taking taylor expansion of 1/4 in x 7.249 * [taylor]: Taking taylor expansion of (log x) in x 7.249 * [taylor]: Taking taylor expansion of x in x 7.297 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 7.297 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 7.297 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 7.297 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 7.297 * [taylor]: Taking taylor expansion of 1/4 in x 7.297 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.297 * [taylor]: Taking taylor expansion of x in x 7.298 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 7.298 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 7.298 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 7.298 * [taylor]: Taking taylor expansion of 1/4 in x 7.298 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.298 * [taylor]: Taking taylor expansion of x in x 7.355 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 7.355 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 7.355 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.355 * [taylor]: Taking taylor expansion of -1 in x 7.355 * [taylor]: Taking taylor expansion of x in x 7.360 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 7.360 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 7.360 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.360 * [taylor]: Taking taylor expansion of -1 in x 7.360 * [taylor]: Taking taylor expansion of x in x 7.380 * * * [progress]: simplifying candidates 7.391 * [simplify]: Simplifying using # : (expm1 (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (log1p (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (+ -1/8 -1/8) (* (/ 1 x) (/ 1 x)) (+ (* (- (log x)) -1/8) (* (- (log x)) -1/8)) (+ (* (- (log x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (- (log x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (- 0 (log x)) -1/8) (* (- (log x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- 0 (log x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (- (log 1) (log x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8)) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (- 0 (log x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (- (log 1) (log x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8)) (+ (log (pow (/ 1 x) -1/8)) (log (pow (/ 1 x) -1/8))) (log (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (exp (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8))) (* (cbrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (cbrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (cbrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (sqrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (sqrt (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8)) (* (pow (cbrt (/ 1 x)) -1/8) (pow (cbrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ (cbrt 1) (cbrt x)) -1/8) (pow (/ (cbrt 1) (cbrt x)) -1/8)) (* (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/8)) (* (pow (/ (cbrt 1) (sqrt x)) -1/8) (pow (/ (cbrt 1) (sqrt x)) -1/8)) (* (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/8)) (* (pow (/ (cbrt 1) x) -1/8) (pow (/ (cbrt 1) x) -1/8)) (* (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/8) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ (sqrt 1) (cbrt x)) -1/8) (pow (/ (sqrt 1) (cbrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) 1) -1/8) (pow (/ (sqrt 1) 1) -1/8)) (* (pow (/ (sqrt 1) x) -1/8) (pow (/ (sqrt 1) x) -1/8)) (* (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 (cbrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 1) -1/8) (pow (/ 1 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow 1 -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8))) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8)))) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* 1 1) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (sqrt (/ 1 x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 (sqrt x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (sqrt (pow (/ 1 x) -1/8))) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) (/ -1/8 2))) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) (/ -1/8 2)) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) (/ -1/8 2))) (* 2 -1/8) (* (pow (/ 1 x) -1/8) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (sqrt 1) (sqrt x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ (sqrt 1) 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 (sqrt x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 1) -1/8)) (* (pow (/ 1 x) -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (pow 1 -1/8)) (* (pow (/ 1 x) -1/8) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8)))) (* (pow (/ 1 x) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) 1) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) (/ -1/8 2))) (* (pow (cbrt (/ 1 x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (sqrt (/ 1 x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (cbrt 1) (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (cbrt 1) (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (cbrt 1) x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (sqrt 1) (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (sqrt 1) (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ (sqrt 1) x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (cbrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) (/ -1/8 2)) (pow (/ 1 x) -1/8)) (expm1 (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (log1p (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- 0 (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log 1) (log x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (+ (log y) (log (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (log (pow (/ 1 x) -1/8)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- 0 (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (- (log 1) (log x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (* (log (/ 1 x)) -1/8) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- 0 (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (- (log 1) (log x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (* (log (/ 1 x)) -1/8))) (+ (log (* y (sqrt (sqrt x)))) (+ (log (pow (/ 1 x) -1/8)) (log (pow (/ 1 x) -1/8)))) (+ (log (* y (sqrt (sqrt x)))) (log (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (log (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (exp (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (cbrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (cbrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))))) (cbrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (sqrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (sqrt (* (* y (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8)))) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/8)) (* (sqrt (sqrt x)) (* (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8))) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* y (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt x)))) (* y 1) (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (sqrt (cbrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt 1)) (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (sqrt 1) (sqrt (sqrt x)) (/ 1/2 2) (/ 1 2) (/ (/ 1 2) 2) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* x y)) (- (* +nan.0 (* (pow x 3) y))))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (+ (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x))) (- (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2))))))))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (+ (* +nan.0 (/ y (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ y (* (sqrt +nan.0) (pow x 2)))) (- (* +nan.0 (/ y (* (pow (sqrt +nan.0) 3) (pow x 2))))))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2))))))))) 7.406 * * [simplify]: iteration 0 : 375 enodes (cost 4879 ) 7.493 * * [simplify]: iteration 1 : 943 enodes (cost 3137 ) 7.862 * * [simplify]: iteration 2 : 3380 enodes (cost 2832 ) 9.824 * * [simplify]: iteration done : 5001 enodes (cost 2830 ) 9.826 * [simplify]: Simplified to: (expm1 (pow (/ 1 x) -1/4)) (log1p (pow (/ 1 x) -1/4)) -1/4 (/ 1 (pow x 2)) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (* (- (log x)) -1/4) (exp (pow (/ 1 x) -1/4)) (pow (pow (/ 1 x) -1/4) 3) (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4))) (cbrt (pow (/ 1 x) -1/4)) (pow (pow (/ 1 x) -1/4) 3) (fabs (pow (/ 1 x) -1/8)) (fabs (pow (/ 1 x) -1/8)) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4) (pow (cbrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4) (pow (/ 1 (cbrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) 1 (pow (/ 1 x) -1/4) (* (pow (cbrt (pow (/ 1 x) -1/8)) 3) (cbrt (pow (/ 1 x) -1/8))) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8))) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) 1 (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/4) (pow (sqrt (/ 1 x)) -1/4) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (pow (/ 1 (sqrt x)) -1/4) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (sqrt (pow (/ 1 x) -1/8)) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 (sqrt x)) -1/8) (sqrt (pow (/ 1 x) -1/8))) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/16) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/16)) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (* (pow (/ 1 x) -1/16) (sqrt (pow (/ 1 x) -1/8))) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) -1/4 (* (pow (/ 1 x) -1/8) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/8)) (* (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 x) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8) (* (pow (/ 1 x) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8) (* (pow (/ 1 x) -1/8) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (pow (/ 1 x) -1/8) (* (pow (/ 1 x) -1/8) (* (cbrt (pow (/ 1 x) -1/8)) (cbrt (pow (/ 1 x) -1/8)))) (pow (sqrt (pow (/ 1 x) -1/8)) 3) (pow (/ 1 x) -1/8) (pow (pow (/ 1 x) -1/16) 3) (* (pow (cbrt (/ 1 x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 x) -1/8) (pow (sqrt (/ 1 x)) -1/8)) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/4) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/4) (* (pow (/ 1 (cbrt x)) -1/8) (pow (/ 1 x) -1/8)) (* (pow (/ 1 (sqrt x)) -1/8) (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4) (* (cbrt (pow (/ 1 x) -1/8)) (pow (/ 1 x) -1/8)) (pow (sqrt (pow (/ 1 x) -1/8)) 3) (pow (/ 1 x) -1/4) (pow (pow (/ 1 x) -1/16) 3) (expm1 (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (log1p (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (fma (- (log x)) -1/4 (log (* y (sqrt (sqrt x))))) (pow (exp (* y (sqrt (sqrt x)))) (pow (/ 1 x) -1/4)) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (* (cbrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (cbrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))))) (cbrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (pow (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x)))) 3) (sqrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (sqrt (* (pow (/ 1 x) -1/4) (* y (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (pow (/ 1 x) -1/8)) (* (sqrt (sqrt x)) (pow (/ 1 x) -1/4)) (expm1 (* y (sqrt (sqrt x)))) (log1p (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (sqrt (* y (sqrt (sqrt x)))) (sqrt (* y (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) y) (* (sqrt (fabs (cbrt x))) y) (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (sqrt (sqrt x))) (log1p (sqrt (sqrt x))) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (pow x 1/4) (pow (/ 1 x) -1/4) (exp (* 1/4 (- (log -1) (log (/ -1 x))))) (- (* +nan.0 (- (* x y) (* (pow x 3) y))) (* +nan.0 (* (pow x 2) y))) (- (* +nan.0 (- (/ y x) y)) (* +nan.0 (/ y (pow x 2)))) (+ (- (* (sqrt +nan.0) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y)) (* +nan.0 (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (pow (sqrt +nan.0) 3) (pow x 2))))) (* +nan.0 (- (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) x)) (/ (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (* (sqrt +nan.0) (pow x 2)))))) (* (pow x 1/4) y) (* (pow x 1/4) y) (+ (- (* (sqrt +nan.0) y) (* +nan.0 (/ y (* (sqrt +nan.0) x)))) (* +nan.0 (- (/ y (* (sqrt +nan.0) (pow x 2))) (/ y (* (pow (sqrt +nan.0) 3) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2))))) 9.828 * * * [progress]: adding candidates to table 10.227 * [progress]: [Phase 3 of 3] Extracting. 10.228 * * [regime]: Finding splitpoints for: (# # # # #) 10.229 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 10.229 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # #) 10.256 * * * * [regimes]: Trying to branch on y from (# # # # #) 10.281 * * * * [regimes]: Trying to branch on x from (# # # # #) 10.303 * * * [regime]: Found split indices: #