7.779 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.024 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.025 * * [simplify]: iteration 1 : 25 enodes (cost 3 ) 0.026 * * [simplify]: iteration 2 : 44 enodes (cost 3 ) 0.028 * * [simplify]: iteration 3 : 69 enodes (cost 3 ) 0.029 * * [simplify]: iteration 4 : 102 enodes (cost 3 ) 0.031 * * [simplify]: iteration 5 : 171 enodes (cost 3 ) 0.033 * * [simplify]: iteration 6 : 192 enodes (cost 3 ) 0.035 * * [simplify]: iteration 7 : 225 enodes (cost 3 ) 0.037 * * [simplify]: iteration 8 : 316 enodes (cost 3 ) 0.039 * * [simplify]: iteration 9 : 351 enodes (cost 3 ) 0.041 * * [simplify]: iteration 10 : 351 enodes (cost 3 ) 0.041 * [simplify]: Simplified to: (fma (sqrt x) y (- 1.0 x)) 0.044 * * [progress]: iteration 1 / 4 0.044 * * * [progress]: picking best candidate 0.045 * * * * [pick]: Picked # 0.046 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.057 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.057 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.057 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.058 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.058 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of 0 in x 0.059 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of 0 in x 0.062 * [taylor]: Taking taylor expansion of 0 in x 0.065 * [taylor]: Taking taylor expansion of 0 in x 0.067 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.067 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.068 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.069 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.069 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of 0 in x 0.073 * [taylor]: Taking taylor expansion of 0 in x 0.080 * [taylor]: Taking taylor expansion of 0 in x 0.083 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 0.083 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 0.083 * [taylor]: Taking taylor expansion of -1 in x 0.083 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.083 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.084 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.084 * [taylor]: Taking taylor expansion of -1 in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.085 * [taylor]: Taking taylor expansion of -1 in y 0.085 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.085 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.085 * [taylor]: Taking taylor expansion of -1 in y 0.085 * [taylor]: Taking taylor expansion of x in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.085 * [taylor]: Taking taylor expansion of -1 in y 0.085 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.085 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.085 * [taylor]: Taking taylor expansion of -1 in y 0.085 * [taylor]: Taking taylor expansion of x in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 0.086 * [taylor]: Taking taylor expansion of -1 in x 0.086 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.086 * [taylor]: Taking taylor expansion of -1 in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.089 * [taylor]: Taking taylor expansion of 0 in x 0.095 * [taylor]: Taking taylor expansion of 0 in x 0.100 * * * [progress]: simplifying candidates 0.100 * [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.104 * * [simplify]: iteration 0 : 153 enodes (cost 119 ) 0.107 * * [simplify]: iteration 1 : 621 enodes (cost 106 ) 0.122 * * [simplify]: iteration 2 : 3130 enodes (cost 100 ) 0.190 * * [simplify]: iteration 3 : 5001 enodes (cost 100 ) 0.191 * [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)) (- (* (* +nan.0 y) (- x (pow x 3))) (* +nan.0 (* (pow x 2) y))) (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y))) (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y))) 0.191 * * * [progress]: adding candidates to table 0.227 * * [progress]: iteration 2 / 4 0.227 * * * [progress]: picking best candidate 0.238 * * * * [pick]: Picked # 0.238 * * * [progress]: localizing error 0.246 * * * [progress]: generating rewritten candidates 0.246 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.261 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.267 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.269 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.275 * * * [progress]: generating series expansions 0.275 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.275 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.275 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.275 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.275 * [taylor]: Taking taylor expansion of x in x 0.276 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.277 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.277 * [taylor]: Taking taylor expansion of x in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.277 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.277 * [taylor]: Taking taylor expansion of x in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of 0 in x 0.277 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of 0 in x 0.280 * [taylor]: Taking taylor expansion of 0 in x 0.283 * [taylor]: Taking taylor expansion of 0 in x 0.286 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.286 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.286 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.287 * [taylor]: Taking taylor expansion of y in x 0.287 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.287 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.287 * [taylor]: Taking taylor expansion of x in y 0.287 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.287 * [taylor]: Taking taylor expansion of y in y 0.287 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.288 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.288 * [taylor]: Taking taylor expansion of x in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.288 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.290 * [taylor]: Taking taylor expansion of 0 in x 0.295 * [taylor]: Taking taylor expansion of 0 in x 0.299 * [taylor]: Taking taylor expansion of 0 in x 0.302 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 0.302 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 0.302 * [taylor]: Taking taylor expansion of -1 in x 0.302 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 0.302 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.302 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.302 * [taylor]: Taking taylor expansion of -1 in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.304 * [taylor]: Taking taylor expansion of y in x 0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.304 * [taylor]: Taking taylor expansion of -1 in y 0.304 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.304 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.304 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.304 * [taylor]: Taking taylor expansion of -1 in y 0.304 * [taylor]: Taking taylor expansion of x in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 0.304 * [taylor]: Taking taylor expansion of -1 in y 0.304 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 0.304 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.304 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.304 * [taylor]: Taking taylor expansion of -1 in y 0.304 * [taylor]: Taking taylor expansion of x in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 0.304 * [taylor]: Taking taylor expansion of -1 in x 0.304 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.304 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.304 * [taylor]: Taking taylor expansion of -1 in x 0.304 * [taylor]: Taking taylor expansion of x in x 0.308 * [taylor]: Taking taylor expansion of 0 in x 0.313 * [taylor]: Taking taylor expansion of 0 in x 0.318 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 0.319 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 0.319 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 0.319 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 0.319 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 0.319 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 0.319 * [taylor]: Taking taylor expansion of 1/4 in x 0.319 * [taylor]: Taking taylor expansion of (log x) in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of y in x 0.319 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 0.319 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 0.319 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 0.319 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 0.319 * [taylor]: Taking taylor expansion of 1/4 in y 0.319 * [taylor]: Taking taylor expansion of (log x) in y 0.319 * [taylor]: Taking taylor expansion of x in y 0.320 * [taylor]: Taking taylor expansion of y in y 0.320 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 0.320 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 0.320 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 0.320 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 0.320 * [taylor]: Taking taylor expansion of 1/4 in y 0.320 * [taylor]: Taking taylor expansion of (log x) in y 0.320 * [taylor]: Taking taylor expansion of x in y 0.320 * [taylor]: Taking taylor expansion of y in y 0.320 * [taylor]: Taking taylor expansion of 0 in x 0.321 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 0.321 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 0.322 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 0.322 * [taylor]: Taking taylor expansion of 1/4 in x 0.322 * [taylor]: Taking taylor expansion of (log x) in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.325 * [taylor]: Taking taylor expansion of 0 in x 0.331 * [taylor]: Taking taylor expansion of 0 in x 0.331 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 0.331 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 0.331 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 0.331 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 0.331 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 0.331 * [taylor]: Taking taylor expansion of 1/4 in x 0.331 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.332 * [taylor]: Taking taylor expansion of y in x 0.332 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 0.332 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 0.332 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 0.332 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 0.332 * [taylor]: Taking taylor expansion of 1/4 in y 0.332 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.332 * [taylor]: Taking taylor expansion of x in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.332 * [taylor]: Taking taylor expansion of y in y 0.332 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 0.332 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 0.332 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 0.332 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 0.332 * [taylor]: Taking taylor expansion of 1/4 in y 0.332 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.332 * [taylor]: Taking taylor expansion of x in y 0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.333 * [taylor]: Taking taylor expansion of y in y 0.333 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 0.333 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 0.333 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 0.333 * [taylor]: Taking taylor expansion of 1/4 in x 0.333 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.333 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of 0 in x 0.342 * [taylor]: Taking taylor expansion of 0 in x 0.350 * [taylor]: Taking taylor expansion of 0 in x 0.350 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 0.350 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 0.350 * [taylor]: Taking taylor expansion of -1 in x 0.350 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.350 * [taylor]: Taking taylor expansion of y in x 0.350 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 0.350 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.350 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.350 * [taylor]: Taking taylor expansion of -1 in x 0.350 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 0.355 * [taylor]: Taking taylor expansion of -1 in y 0.355 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.355 * [taylor]: Taking taylor expansion of y in y 0.355 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 0.355 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.355 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.355 * [taylor]: Taking taylor expansion of -1 in y 0.355 * [taylor]: Taking taylor expansion of x in y 0.356 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 0.356 * [taylor]: Taking taylor expansion of -1 in y 0.356 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.356 * [taylor]: Taking taylor expansion of y in y 0.356 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 0.356 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 0.356 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.356 * [taylor]: Taking taylor expansion of -1 in y 0.356 * [taylor]: Taking taylor expansion of x in y 0.356 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 0.356 * [taylor]: Taking taylor expansion of -1 in x 0.356 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 0.356 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.356 * [taylor]: Taking taylor expansion of -1 in x 0.356 * [taylor]: Taking taylor expansion of x in x 0.363 * [taylor]: Taking taylor expansion of 0 in x 0.372 * [taylor]: Taking taylor expansion of 0 in x 0.396 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.396 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 0.396 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 0.396 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 0.396 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 0.396 * [taylor]: Taking taylor expansion of 1/4 in x 0.396 * [taylor]: Taking taylor expansion of (log x) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 0.397 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 0.397 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 0.397 * [taylor]: Taking taylor expansion of 1/4 in x 0.397 * [taylor]: Taking taylor expansion of (log x) in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.446 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 0.446 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 0.446 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 0.446 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 0.446 * [taylor]: Taking taylor expansion of 1/4 in x 0.446 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.446 * [taylor]: Taking taylor expansion of x in x 0.447 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 0.447 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 0.447 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 0.447 * [taylor]: Taking taylor expansion of 1/4 in x 0.447 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.447 * [taylor]: Taking taylor expansion of x in x 0.497 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 0.497 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 0.497 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.497 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.497 * [taylor]: Taking taylor expansion of -1 in x 0.497 * [taylor]: Taking taylor expansion of x in x 0.502 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 0.502 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.502 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.502 * [taylor]: Taking taylor expansion of -1 in x 0.502 * [taylor]: Taking taylor expansion of x in x 0.525 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 0.526 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 0.526 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 0.526 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 0.526 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 0.526 * [taylor]: Taking taylor expansion of 1/4 in x 0.526 * [taylor]: Taking taylor expansion of (log x) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.526 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 0.526 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 0.526 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 0.526 * [taylor]: Taking taylor expansion of 1/4 in x 0.526 * [taylor]: Taking taylor expansion of (log x) in x 0.526 * [taylor]: Taking taylor expansion of x in x 0.573 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 0.573 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 0.573 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 0.573 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 0.573 * [taylor]: Taking taylor expansion of 1/4 in x 0.573 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 0.574 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 0.574 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 0.574 * [taylor]: Taking taylor expansion of 1/4 in x 0.574 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.627 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 0.627 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 0.627 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.627 * [taylor]: Taking taylor expansion of -1 in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.632 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 0.632 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.632 * [taylor]: Taking taylor expansion of -1 in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.655 * * * [progress]: simplifying candidates 0.657 * [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)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (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))) (* (cbrt (* y (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (cbrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt x))) (* (* (cbrt y) (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* y (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))))))))) 0.663 * * [simplify]: iteration 0 : 375 enodes (cost 849 ) 0.670 * * [simplify]: iteration 1 : 1547 enodes (cost 698 ) 0.699 * * [simplify]: iteration 2 : 5001 enodes (cost 662 ) 0.703 * [simplify]: Simplified to: (expm1 (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (log1p (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* y (sqrt x)) (* y (sqrt x)) (+ (log y) (log (sqrt x))) (+ (log y) (log (sqrt x))) (+ (log y) (log (sqrt x))) (pow (exp y) (sqrt x)) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (pow (* y (sqrt x)) 3) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (sqrt (sqrt x)) (sqrt y)) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (* (sqrt (sqrt x)) (fabs (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* (pow (sqrt (sqrt (sqrt x))) 3) 1) y) (* y (sqrt (sqrt x))) (* (* (pow (sqrt (sqrt (sqrt x))) 3) 1) y) (* y (sqrt (sqrt x))) (* (* (pow (sqrt (sqrt (sqrt x))) 3) 1) y) (* y (sqrt (sqrt x))) (sqrt x) (* (cbrt (* y (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (sqrt (* y (sqrt (sqrt x)))) (sqrt (sqrt x))) (* y (sqrt x)) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (cbrt (sqrt x))) (sqrt (sqrt x))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt x))) (pow (sqrt (sqrt (sqrt x))) 3) (sqrt x) (pow (sqrt (sqrt (sqrt x))) 3) (sqrt x) (pow (sqrt (sqrt (sqrt x))) 3) (sqrt x) (* (cbrt y) (sqrt x)) (* (sqrt y) (sqrt x)) (* y (sqrt x)) (* y (sqrt (sqrt x))) (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) (* y (sqrt (sqrt (* (cbrt x) (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 (sqrt x)) (sqrt y)) (* 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 (sqrt (* (cbrt x) (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 (sqrt (* (cbrt x) (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))) (fma (- (* +nan.0 (pow x 2))) y (* +nan.0 (- (* x y) (* (pow x 3) y)))) (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y))) (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) y))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (* (sqrt +nan.0) y) (- (* +nan.0 (/ y (* (sqrt +nan.0) x))) (* (/ y (pow x 2)) (- (/ +nan.0 (sqrt +nan.0)) (/ +nan.0 (pow (sqrt +nan.0) 3)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (* (/ +nan.0 (pow x 2)) (- (/ 1 (pow (sqrt +nan.0) 3)) (/ 1 (sqrt +nan.0)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (- (sqrt +nan.0) (- (/ +nan.0 (* (sqrt +nan.0) x)) (* (/ +nan.0 (pow x 2)) (- (/ 1 (pow (sqrt +nan.0) 3)) (/ 1 (sqrt +nan.0)))))) 0.704 * * * [progress]: adding candidates to table 0.902 * * [progress]: iteration 3 / 4 0.902 * * * [progress]: picking best candidate 0.915 * * * * [pick]: Picked # 0.915 * * * [progress]: localizing error 0.930 * * * [progress]: generating rewritten candidates 0.930 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.953 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 0.964 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.966 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 0.977 * * * [progress]: generating series expansions 0.977 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.978 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 0.978 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 0.978 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.978 * [taylor]: Taking taylor expansion of x in x 0.979 * [taylor]: Taking taylor expansion of y in x 0.979 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.979 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.979 * [taylor]: Taking taylor expansion of x in y 0.979 * [taylor]: Taking taylor expansion of y in y 0.979 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 0.979 * [taylor]: Taking taylor expansion of (sqrt x) in y 0.979 * [taylor]: Taking taylor expansion of x in y 0.980 * [taylor]: Taking taylor expansion of y in y 0.980 * [taylor]: Taking taylor expansion of 0 in x 0.980 * [taylor]: Taking taylor expansion of (sqrt x) in x 0.980 * [taylor]: Taking taylor expansion of x in x 0.982 * [taylor]: Taking taylor expansion of 0 in x 0.983 * [taylor]: Taking taylor expansion of 0 in x 0.986 * [taylor]: Taking taylor expansion of 0 in x 0.989 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 0.989 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 0.989 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.989 * [taylor]: Taking taylor expansion of x in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.990 * [taylor]: Taking taylor expansion of y in x 0.990 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.990 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.990 * [taylor]: Taking taylor expansion of x in y 0.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.991 * [taylor]: Taking taylor expansion of y in y 0.991 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 0.991 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.991 * [taylor]: Taking taylor expansion of x in y 0.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.991 * [taylor]: Taking taylor expansion of y in y 0.991 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.991 * [taylor]: Taking taylor expansion of x in x 0.993 * [taylor]: Taking taylor expansion of 0 in x 0.995 * [taylor]: Taking taylor expansion of 0 in x 0.999 * [taylor]: Taking taylor expansion of 0 in x 1.002 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in (y x) around 0 1.002 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in x 1.002 * [taylor]: Taking taylor expansion of -1 in x 1.002 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 1.002 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 1.003 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 1.003 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 1.003 * [taylor]: Taking taylor expansion of 1/4 in x 1.003 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.003 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.003 * [taylor]: Taking taylor expansion of -1 in x 1.003 * [taylor]: Taking taylor expansion of x in x 1.004 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 1.004 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.004 * [taylor]: Taking taylor expansion of y in x 1.004 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 1.004 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.004 * [taylor]: Taking taylor expansion of -1 in x 1.004 * [taylor]: Taking taylor expansion of x in x 1.009 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 1.009 * [taylor]: Taking taylor expansion of -1 in y 1.009 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 1.009 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y 1.009 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y 1.009 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y 1.009 * [taylor]: Taking taylor expansion of 1/4 in y 1.009 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.009 * [taylor]: Taking taylor expansion of -1 in y 1.009 * [taylor]: Taking taylor expansion of x in y 1.010 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 1.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.010 * [taylor]: Taking taylor expansion of y in y 1.010 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 1.010 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.010 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.010 * [taylor]: Taking taylor expansion of -1 in y 1.010 * [taylor]: Taking taylor expansion of x in y 1.010 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))) in y 1.010 * [taylor]: Taking taylor expansion of -1 in y 1.010 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 1.010 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in y 1.010 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in y 1.010 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in y 1.010 * [taylor]: Taking taylor expansion of 1/4 in y 1.010 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in y 1.010 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.010 * [taylor]: Taking taylor expansion of -1 in y 1.010 * [taylor]: Taking taylor expansion of x in y 1.011 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 1.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.011 * [taylor]: Taking taylor expansion of y in y 1.011 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 1.011 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.011 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.011 * [taylor]: Taking taylor expansion of -1 in y 1.011 * [taylor]: Taking taylor expansion of x in y 1.012 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x))))) in x 1.012 * [taylor]: Taking taylor expansion of -1 in x 1.012 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 1/4) (sqrt (sqrt (/ -1 x)))) in x 1.012 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 1.012 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 1.012 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 1.012 * [taylor]: Taking taylor expansion of 1/4 in x 1.012 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.012 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.012 * [taylor]: Taking taylor expansion of -1 in x 1.012 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 1.019 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.019 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.019 * [taylor]: Taking taylor expansion of -1 in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.028 * [taylor]: Taking taylor expansion of 0 in x 1.041 * [taylor]: Taking taylor expansion of 0 in x 1.065 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.065 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 1.065 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 1.065 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 1.065 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 1.065 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 1.065 * [taylor]: Taking taylor expansion of 1/4 in x 1.065 * [taylor]: Taking taylor expansion of (log x) in x 1.065 * [taylor]: Taking taylor expansion of x in x 1.066 * [taylor]: Taking taylor expansion of y in x 1.066 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 1.066 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 1.066 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 1.066 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 1.066 * [taylor]: Taking taylor expansion of 1/4 in y 1.066 * [taylor]: Taking taylor expansion of (log x) in y 1.066 * [taylor]: Taking taylor expansion of x in y 1.066 * [taylor]: Taking taylor expansion of y in y 1.066 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 1.066 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 1.066 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 1.066 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 1.066 * [taylor]: Taking taylor expansion of 1/4 in y 1.066 * [taylor]: Taking taylor expansion of (log x) in y 1.066 * [taylor]: Taking taylor expansion of x in y 1.066 * [taylor]: Taking taylor expansion of y in y 1.066 * [taylor]: Taking taylor expansion of 0 in x 1.068 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 1.068 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 1.068 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 1.068 * [taylor]: Taking taylor expansion of 1/4 in x 1.068 * [taylor]: Taking taylor expansion of (log x) in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.072 * [taylor]: Taking taylor expansion of 0 in x 1.077 * [taylor]: Taking taylor expansion of 0 in x 1.078 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 1.078 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 1.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 1.078 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 1.078 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 1.078 * [taylor]: Taking taylor expansion of 1/4 in x 1.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.078 * [taylor]: Taking taylor expansion of x in x 1.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.079 * [taylor]: Taking taylor expansion of y in x 1.079 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 1.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 1.079 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 1.079 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 1.079 * [taylor]: Taking taylor expansion of 1/4 in y 1.079 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.079 * [taylor]: Taking taylor expansion of x in y 1.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.079 * [taylor]: Taking taylor expansion of y in y 1.079 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 1.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 1.079 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 1.079 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 1.079 * [taylor]: Taking taylor expansion of 1/4 in y 1.080 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.080 * [taylor]: Taking taylor expansion of x in y 1.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.080 * [taylor]: Taking taylor expansion of y in y 1.080 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 1.080 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 1.080 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 1.080 * [taylor]: Taking taylor expansion of 1/4 in x 1.080 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.080 * [taylor]: Taking taylor expansion of x in x 1.083 * [taylor]: Taking taylor expansion of 0 in x 1.089 * [taylor]: Taking taylor expansion of 0 in x 1.101 * [taylor]: Taking taylor expansion of 0 in x 1.101 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y))) in (y x) around 0 1.102 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y))) in x 1.102 * [taylor]: Taking taylor expansion of -1 in x 1.102 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y)) in x 1.102 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in x 1.102 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in x 1.102 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in x 1.102 * [taylor]: Taking taylor expansion of 1/4 in x 1.102 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 1.102 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 1.102 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.102 * [taylor]: Taking taylor expansion of -1 in x 1.102 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.104 * [taylor]: Taking taylor expansion of y in x 1.104 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y))) in y 1.104 * [taylor]: Taking taylor expansion of -1 in y 1.104 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y)) in y 1.104 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y 1.104 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y 1.104 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y 1.104 * [taylor]: Taking taylor expansion of 1/4 in y 1.104 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y 1.104 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y 1.104 * [taylor]: Taking taylor expansion of (* -1 x) in y 1.104 * [taylor]: Taking taylor expansion of -1 in y 1.104 * [taylor]: Taking taylor expansion of x in y 1.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.105 * [taylor]: Taking taylor expansion of y in y 1.105 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y))) in y 1.105 * [taylor]: Taking taylor expansion of -1 in y 1.105 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* -1 x)) 1/4) (/ 1 y)) in y 1.105 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/4) in y 1.105 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 (* -1 x))))) in y 1.105 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 (* -1 x)))) in y 1.105 * [taylor]: Taking taylor expansion of 1/4 in y 1.105 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in y 1.105 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in y 1.105 * [taylor]: Taking taylor expansion of (* -1 x) in y 1.105 * [taylor]: Taking taylor expansion of -1 in y 1.105 * [taylor]: Taking taylor expansion of x in y 1.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.105 * [taylor]: Taking taylor expansion of y in y 1.106 * [taylor]: Taking taylor expansion of (* -1 (pow (/ -1 x) 1/4)) in x 1.106 * [taylor]: Taking taylor expansion of -1 in x 1.106 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/4) in x 1.106 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ -1 x)))) in x 1.106 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ -1 x))) in x 1.106 * [taylor]: Taking taylor expansion of 1/4 in x 1.106 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 1.106 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.106 * [taylor]: Taking taylor expansion of -1 in x 1.106 * [taylor]: Taking taylor expansion of x in x 1.112 * [taylor]: Taking taylor expansion of 0 in x 1.120 * [taylor]: Taking taylor expansion of 0 in x 1.131 * [taylor]: Taking taylor expansion of 0 in x 1.132 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1.132 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 1.132 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 1.132 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 1.132 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 1.132 * [taylor]: Taking taylor expansion of 1/4 in x 1.132 * [taylor]: Taking taylor expansion of (log x) in x 1.132 * [taylor]: Taking taylor expansion of x in x 1.133 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 1.133 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 1.133 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 1.133 * [taylor]: Taking taylor expansion of 1/4 in x 1.133 * [taylor]: Taking taylor expansion of (log x) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.187 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 1.187 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 1.187 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 1.187 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 1.187 * [taylor]: Taking taylor expansion of 1/4 in x 1.187 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.187 * [taylor]: Taking taylor expansion of x in x 1.188 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 1.188 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 1.188 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 1.188 * [taylor]: Taking taylor expansion of 1/4 in x 1.188 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.243 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 1.243 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 1.243 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.243 * [taylor]: Taking taylor expansion of -1 in x 1.243 * [taylor]: Taking taylor expansion of x in x 1.251 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 1.251 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.251 * [taylor]: Taking taylor expansion of -1 in x 1.251 * [taylor]: Taking taylor expansion of x in x 1.273 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.273 * [approximate]: Taking taylor expansion of (pow (/ 1 x) -1/4) in (x) around 0 1.273 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/4) in x 1.273 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 x)))) in x 1.273 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 x))) in x 1.273 * [taylor]: Taking taylor expansion of -1/4 in x 1.273 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.273 * [taylor]: Taking taylor expansion of x in x 1.274 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/4) in x 1.274 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (/ 1 x)))) in x 1.274 * [taylor]: Taking taylor expansion of (* -1/4 (log (/ 1 x))) in x 1.274 * [taylor]: Taking taylor expansion of -1/4 in x 1.274 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.274 * [taylor]: Taking taylor expansion of x in x 1.330 * [approximate]: Taking taylor expansion of (pow x -1/4) in (x) around 0 1.330 * [taylor]: Taking taylor expansion of (pow x -1/4) in x 1.330 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in x 1.330 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in x 1.330 * [taylor]: Taking taylor expansion of -1/4 in x 1.330 * [taylor]: Taking taylor expansion of (log x) in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.330 * [taylor]: Taking taylor expansion of (pow x -1/4) in x 1.330 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log x))) in x 1.330 * [taylor]: Taking taylor expansion of (* -1/4 (log x)) in x 1.331 * [taylor]: Taking taylor expansion of -1/4 in x 1.331 * [taylor]: Taking taylor expansion of (log x) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.378 * [approximate]: Taking taylor expansion of (pow (* -1 x) -1/4) in (x) around 0 1.378 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/4) in x 1.378 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 x)))) in x 1.378 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 x))) in x 1.378 * [taylor]: Taking taylor expansion of -1/4 in x 1.378 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 1.378 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.378 * [taylor]: Taking taylor expansion of -1 in x 1.378 * [taylor]: Taking taylor expansion of x in x 1.380 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/4) in x 1.380 * [taylor]: Taking taylor expansion of (exp (* -1/4 (log (* -1 x)))) in x 1.380 * [taylor]: Taking taylor expansion of (* -1/4 (log (* -1 x))) in x 1.380 * [taylor]: Taking taylor expansion of -1/4 in x 1.380 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 1.381 * [taylor]: Taking taylor expansion of (* -1 x) in x 1.381 * [taylor]: Taking taylor expansion of -1 in x 1.381 * [taylor]: Taking taylor expansion of x in x 1.442 * * * [progress]: simplifying candidates 1.444 * [simplify]: Simplifying using # : (expm1 (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log1p (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (+ (+ (log y) (* (- (log x)) -1/4)) (log (sqrt (sqrt x)))) (+ (+ (log y) (* (- 0 (log x)) -1/4)) (log (sqrt (sqrt x)))) (+ (+ (log y) (* (- (log 1) (log x)) -1/4)) (log (sqrt (sqrt x)))) (+ (+ (log y) (* (log (/ 1 x)) -1/4)) (log (sqrt (sqrt x)))) (+ (+ (log y) (* (log (/ 1 x)) -1/4)) (log (sqrt (sqrt x)))) (+ (+ (log y) (log (pow (/ 1 x) -1/4))) (log (sqrt (sqrt x)))) (+ (log (* y (pow (/ 1 x) -1/4))) (log (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (exp (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (* (* (* y y) y) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* y (pow (/ 1 x) -1/4)) (* y (pow (/ 1 x) -1/4))) (* y (pow (/ 1 x) -1/4))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (cbrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))))) (cbrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (* (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (sqrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (sqrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt 1))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (sqrt 1)) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) 1) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (cbrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt x))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (sqrt (sqrt x))) (* (pow (cbrt (/ 1 x)) -1/4) (sqrt (sqrt x))) (* (pow (sqrt (/ 1 x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (cbrt 1) (cbrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (cbrt 1) (sqrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (cbrt 1) x) -1/4) (sqrt (sqrt x))) (* (pow (/ (sqrt 1) (cbrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (sqrt 1) (sqrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (sqrt 1) x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 (cbrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 (sqrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (cbrt (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (sqrt (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) (/ -1/4 2)) (sqrt (sqrt x))) (* (* (cbrt y) (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (* y (pow (/ 1 x) -1/4))) (log1p (* y (pow (/ 1 x) -1/4))) (* y (pow (/ 1 x) -1/4)) (+ (log y) (* (- (log x)) -1/4)) (+ (log y) (* (- 0 (log x)) -1/4)) (+ (log y) (* (- (log 1) (log x)) -1/4)) (+ (log y) (* (log (/ 1 x)) -1/4)) (+ (log y) (* (log (/ 1 x)) -1/4)) (+ (log y) (log (pow (/ 1 x) -1/4))) (log (* y (pow (/ 1 x) -1/4))) (exp (* y (pow (/ 1 x) -1/4))) (* (* (* y y) y) (* (* (pow (/ 1 x) -1/4) (pow (/ 1 x) -1/4)) (pow (/ 1 x) -1/4))) (* (cbrt (* y (pow (/ 1 x) -1/4))) (cbrt (* y (pow (/ 1 x) -1/4)))) (cbrt (* y (pow (/ 1 x) -1/4))) (* (* (* y (pow (/ 1 x) -1/4)) (* y (pow (/ 1 x) -1/4))) (* y (pow (/ 1 x) -1/4))) (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (* y (pow (/ 1 x) -1/4))) (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (* (sqrt y) (pow (/ (sqrt 1) (sqrt x)) -1/4)) (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (* (sqrt y) (pow (/ 1 x) (/ -1/4 2))) (* y (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)) (* y (pow (sqrt (/ 1 x)) -1/4)) (* y (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4)) (* y (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4)) (* y (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/4)) (* y (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/4)) (* y (pow (/ (sqrt 1) (sqrt x)) -1/4)) (* y (pow (/ (sqrt 1) 1) -1/4)) (* y (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* y (pow (/ 1 (sqrt x)) -1/4)) (* y (pow (/ 1 1) -1/4)) (* y (pow 1 -1/4)) (* y (pow 1 -1/4)) (* y (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))) (* y (sqrt (pow (/ 1 x) -1/4))) (* y 1) (* y (pow (/ 1 x) (/ -1/4 2))) (* (cbrt y) (pow (/ 1 x) -1/4)) (* (sqrt y) (pow (/ 1 x) -1/4)) (* y (pow (/ 1 x) -1/4)) (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) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (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))))) 1.453 * * [simplify]: iteration 0 : 663 enodes (cost 1289 ) 1.467 * * [simplify]: iteration 1 : 2805 enodes (cost 1198 ) 1.512 * * [simplify]: iteration 2 : 5001 enodes (cost 1187 ) 1.519 * [simplify]: Simplified to: (expm1 (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log1p (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (log (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (exp (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (pow (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) 3) (pow (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) 3) (* (cbrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (cbrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))))) (cbrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (pow (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) 3) (sqrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (sqrt (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt (sqrt x)))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt (sqrt x)))) (* (* y (pow (/ 1 x) -1/4)) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* y (* (pow (/ 1 x) -1/4) (fabs (cbrt (sqrt x))))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (sqrt x)))) (* y (pow (/ 1 x) -1/4)) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (sqrt x)))) (* y (pow (/ 1 x) -1/4)) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt (sqrt x)))) (* y (pow (/ 1 x) -1/4)) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (cbrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt x))) (* (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 x) -1/8)) (sqrt (sqrt x))) (* (pow (cbrt (/ 1 x)) -1/4) (sqrt (sqrt x))) (* (pow (sqrt (/ 1 x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (cbrt 1) (cbrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (cbrt 1) (sqrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ (cbrt 1) x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 (cbrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 (sqrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 (cbrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 (sqrt x)) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (cbrt (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (sqrt (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/4) (sqrt (sqrt x))) (* (pow (/ 1 x) -1/8) (sqrt (sqrt x))) (* (* (cbrt y) (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* (sqrt y) (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* (* y (pow (/ 1 x) -1/4)) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (expm1 (* y (pow (/ 1 x) -1/4))) (log1p (* y (pow (/ 1 x) -1/4))) (* y (pow (/ 1 x) -1/4)) (fma (log x) 1/4 (log y)) (fma (log x) 1/4 (log y)) (fma (log x) 1/4 (log y)) (fma (log x) 1/4 (log y)) (fma (log x) 1/4 (log y)) (fma (log x) 1/4 (log y)) (fma (log x) 1/4 (log y)) (exp (* y (pow (/ 1 x) -1/4))) (pow (* y (pow (/ 1 x) -1/4)) 3) (* (cbrt (* y (pow (/ 1 x) -1/4))) (cbrt (* y (pow (/ 1 x) -1/4)))) (cbrt (* y (pow (/ 1 x) -1/4))) (pow (* y (pow (/ 1 x) -1/4)) 3) (sqrt (* y (pow (/ 1 x) -1/4))) (sqrt (* y (pow (/ 1 x) -1/4))) (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (* (sqrt y) (pow (sqrt (/ 1 x)) -1/4)) (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (* (sqrt y) (pow (/ 1 (sqrt x)) -1/4)) (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (* (sqrt y) (sqrt (pow (/ 1 x) -1/4))) (* (sqrt y) (pow (/ 1 x) -1/8)) (* (sqrt y) (pow (/ 1 x) -1/8)) (* y (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/4)) (* y (pow (sqrt (/ 1 x)) -1/4)) (* y (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/4)) (* y (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/4)) (* y (pow (* (cbrt 1) (cbrt 1)) -1/4)) (* y (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* y (pow (/ 1 (sqrt x)) -1/4)) y (* y (pow (/ 1 (* (cbrt x) (cbrt x))) -1/4)) (* y (pow (/ 1 (sqrt x)) -1/4)) y y y (* y (* (cbrt (pow (/ 1 x) -1/4)) (cbrt (pow (/ 1 x) -1/4)))) (* y (sqrt (pow (/ 1 x) -1/4))) y (* y (pow (/ 1 x) -1/8)) (* (cbrt y) (pow (/ 1 x) -1/4)) (* (sqrt y) (pow (/ 1 x) -1/4)) (* y (pow (/ 1 x) -1/4)) (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 (sqrt (* (cbrt x) (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 (/ (* (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/4) (pow (/ (cbrt 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) (fma (- (* +nan.0 (pow x 2))) y (* +nan.0 (- (* x y) (* (pow x 3) y)))) (fma (- +nan.0) (/ y (pow x 2)) (* +nan.0 (- (/ y x) 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)) (/ (* (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) (* (exp (* 1/4 (- (log -1) (log (/ -1 x))))) y) (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))) (/ 1 (* (sqrt +nan.0) (pow x 2)))))) (pow x 1/4) (pow (/ 1 x) -1/4) (* (pow (/ -1 x) -1/4) (pow -1 -1/4)) 1.520 * * * [progress]: adding candidates to table 1.851 * * [progress]: iteration 4 / 4 1.851 * * * [progress]: picking best candidate 1.861 * * * * [pick]: Picked # 1.861 * * * [progress]: localizing error 1.882 * * * [progress]: generating rewritten candidates 1.882 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 1.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2) 1.884 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 1.886 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 1.893 * * * [progress]: generating series expansions 1.893 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 1.893 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.894 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.894 * [taylor]: Taking taylor expansion of 1/3 in x 1.894 * [taylor]: Taking taylor expansion of (log x) in x 1.894 * [taylor]: Taking taylor expansion of x in x 1.894 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.895 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.895 * [taylor]: Taking taylor expansion of 1/3 in x 1.895 * [taylor]: Taking taylor expansion of (log x) in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.944 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.944 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.944 * [taylor]: Taking taylor expansion of 1/3 in x 1.944 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.944 * [taylor]: Taking taylor expansion of x in x 1.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.945 * [taylor]: Taking taylor expansion of 1/3 in x 1.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.945 * [taylor]: Taking taylor expansion of x in x 1.997 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.997 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.997 * [taylor]: Taking taylor expansion of -1 in x 1.998 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.998 * [taylor]: Taking taylor expansion of 1/3 in x 1.998 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.998 * [taylor]: Taking taylor expansion of x in x 1.999 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.999 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.999 * [taylor]: Taking taylor expansion of -1 in x 2.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.000 * [taylor]: Taking taylor expansion of 1/3 in x 2.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.000 * [taylor]: Taking taylor expansion of x in x 2.063 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2) 2.063 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.063 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.063 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.063 * [taylor]: Taking taylor expansion of 1/3 in x 2.063 * [taylor]: Taking taylor expansion of (log x) in x 2.063 * [taylor]: Taking taylor expansion of x in x 2.063 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.063 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.063 * [taylor]: Taking taylor expansion of 1/3 in x 2.063 * [taylor]: Taking taylor expansion of (log x) in x 2.063 * [taylor]: Taking taylor expansion of x in x 2.110 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.110 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.110 * [taylor]: Taking taylor expansion of 1/3 in x 2.110 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.110 * [taylor]: Taking taylor expansion of x in x 2.111 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.111 * [taylor]: Taking taylor expansion of 1/3 in x 2.111 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.111 * [taylor]: Taking taylor expansion of x in x 2.163 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.163 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.163 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.163 * [taylor]: Taking taylor expansion of -1 in x 2.164 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.164 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.164 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.164 * [taylor]: Taking taylor expansion of 1/3 in x 2.164 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.164 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.164 * [taylor]: Taking taylor expansion of x in x 2.165 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.165 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.165 * [taylor]: Taking taylor expansion of -1 in x 2.166 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.166 * [taylor]: Taking taylor expansion of 1/3 in x 2.166 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.166 * [taylor]: Taking taylor expansion of x in x 2.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 2.229 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.230 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.230 * [taylor]: Taking taylor expansion of 1/3 in x 2.230 * [taylor]: Taking taylor expansion of (log x) in x 2.230 * [taylor]: Taking taylor expansion of x in x 2.230 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.230 * [taylor]: Taking taylor expansion of 1/3 in x 2.230 * [taylor]: Taking taylor expansion of (log x) in x 2.230 * [taylor]: Taking taylor expansion of x in x 2.280 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.280 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.280 * [taylor]: Taking taylor expansion of 1/3 in x 2.280 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.280 * [taylor]: Taking taylor expansion of x in x 2.281 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.281 * [taylor]: Taking taylor expansion of 1/3 in x 2.281 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.330 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.331 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.331 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.331 * [taylor]: Taking taylor expansion of -1 in x 2.331 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.331 * [taylor]: Taking taylor expansion of 1/3 in x 2.331 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.331 * [taylor]: Taking taylor expansion of x in x 2.332 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.332 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.332 * [taylor]: Taking taylor expansion of -1 in x 2.333 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.333 * [taylor]: Taking taylor expansion of 1/3 in x 2.333 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.333 * [taylor]: Taking taylor expansion of x in x 2.399 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 2.399 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 2.400 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.400 * [taylor]: Taking taylor expansion of 1/3 in x 2.400 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.400 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.400 * [taylor]: Taking taylor expansion of x in x 2.401 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.401 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.401 * [taylor]: Taking taylor expansion of 1/3 in x 2.401 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.401 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.401 * [taylor]: Taking taylor expansion of x in x 2.456 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 2.456 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.456 * [taylor]: Taking taylor expansion of 1/3 in x 2.456 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.456 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.457 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.457 * [taylor]: Taking taylor expansion of x in x 2.458 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.458 * [taylor]: Taking taylor expansion of 1/3 in x 2.458 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.458 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.458 * [taylor]: Taking taylor expansion of x in x 2.518 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 2.518 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 2.518 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.518 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.518 * [taylor]: Taking taylor expansion of -1 in x 2.518 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.518 * [taylor]: Taking taylor expansion of 1/3 in x 2.519 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.519 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.519 * [taylor]: Taking taylor expansion of x in x 2.520 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 2.520 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.520 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.520 * [taylor]: Taking taylor expansion of -1 in x 2.520 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.521 * [taylor]: Taking taylor expansion of 1/3 in x 2.521 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.521 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.521 * [taylor]: Taking taylor expansion of x in x 2.596 * * * [progress]: simplifying candidates 2.598 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (cbrt x) (cbrt x))) (log1p (* (cbrt x) (cbrt x))) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* x (* (* (cbrt x) (cbrt x)) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (cbrt x)) x) (* (* (* (cbrt x) (cbrt x)) (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) 2.602 * * [simplify]: iteration 0 : 128 enodes (cost 331 ) 2.606 * * [simplify]: iteration 1 : 526 enodes (cost 287 ) 2.621 * * [simplify]: iteration 2 : 3251 enodes (cost 261 ) 2.684 * * [simplify]: iteration 3 : 5002 enodes (cost 258 ) 2.687 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (cbrt x) (cbrt x))) (log1p (* (cbrt x) (cbrt x))) 2/3 2 (pow x 2) (pow x 2/3) 2 (* 2/3 (log x)) (* 2/3 (log x)) (exp (pow x 2/3)) (pow x 2) (pow x 2) (pow x 2) (pow x 2) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (pow x 2) (fabs (pow x 1/3)) (fabs (pow x 1/3)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (pow x 1/3) (pow x 1/3) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (pow x 1/3) (pow x 1/3) 2/3 2 (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (pow x 1/3) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 3) (pow x 1/3) (pow (cbrt (cbrt x)) 4) (* (cbrt x) (cbrt (sqrt x))) (pow x 2/3) (pow (cbrt (cbrt x)) 4) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) 2.687 * * * [progress]: adding candidates to table 2.980 * [progress]: [Phase 3 of 3] Extracting. 2.980 * * [regime]: Finding splitpoints for: (# # # # # #) 2.982 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 2.982 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # # #) 3.013 * * * * [regimes]: Trying to branch on y from (# # # # # #) 3.038 * * * * [regimes]: Trying to branch on x from (# # # # # #) 3.063 * * * [regime]: Found split indices: #